runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14084 MiB free)
memory of node 1: 16384 MiB (14247 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292729-1532288890/watcher-4292729-1532288890 -o /tmp/evaluation-result-4292729-1532288890/solver-4292729-1532288890 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532288873-2252 --watchdog 2560 HOME/xcsp3-exec -seed 1896326745 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292729-1532288890.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=2379, runsolver pid=2376
[startup+0.10074 s]*
/proc/loadavg: 1.10 1.18 1.30 3/220 2395
/proc/meminfo: memFree=28996044/32770624 swapFree=67108860/67108860
[pid=2379] ppid=2376 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2379/stat : 2379 (xcsp3-exec) S 2376 2379 30989 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 46452223 115843072 363 33554432000 4194304 5098028 140724441383936 140724441382040 140539580682876 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26550272 140724441392186 140724441392388 140724441392388 140724441395146 0
/proc/2379/statm: 28282 363 305 221 0 87 0
[pid=2381] ppid=2379 vsize=14082840 memory=28716 CPUtime=0.12 cores=1,3,5,7
/proc/2381/stat : 2381 (java) S 2379 2379 30989 0 -1 1077944320 5537 0 0 0 11 1 0 0 20 0 15 0 46452223 14420828160 7179 33554432000 4194304 4196468 140721171039664 140721171022208 140669693341431 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
/proc/2381/statm: 3520710 7179 3002 1 0 3483008 0
[pid=2381/tid=2382] ppid=2379 vsize=14082840 memory=-8412652160985438067 CPUtime=0.08 cores=1,3,5,7
/proc/2381/task/2382/stat : 2382 (java) R 2379 2379 30989 0 -1 4202560 3552 0 0 0 8 0 0 0 20 0 15 0 46452223 14420828160 7244 33554432000 4194304 4196468 140721171039664 140669697574704 140669322661888 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2383] ppid=2379 vsize=14082840 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/2381/task/2383/stat : 2383 (java) S 2379 2379 30989 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46452224 14420828160 7244 33554432000 4194304 4196468 140721171039664 140669645961744 140669693351637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2384] ppid=2379 vsize=14082840 memory=140149544556160 CPUtime=0 cores=1,3,5,7
/proc/2381/task/2384/stat : 2384 (java) S 2379 2379 30989 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46452224 14420828160 7244 33554432000 4194304 4196468 140721171039664 140669644909200 140669693351637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2385] ppid=2379 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2381/task/2385/stat : 2385 (java) S 2379 2379 30989 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46452224 14420828160 7244 33554432000 4194304 4196468 140721171039664 140669643856144 140669693351637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2386] ppid=2379 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2381/task/2386/stat : 2386 (java) S 2379 2379 30989 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46452224 14420828160 7310 33554432000 4194304 4196468 140721171039664 140669642803600 140669693351637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2387] ppid=2379 vsize=14082840 memory=140149544556160 CPUtime=0 cores=1,3,5,7
/proc/2381/task/2387/stat : 2387 (java) S 2379 2379 30989 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46452225 14420828160 7310 33554432000 4194304 4196468 140721171039664 140669167315696 140669693352578 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2388] ppid=2379 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2381/task/2388/stat : 2388 (java) S 2379 2379 30989 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46452226 14420828160 7310 33554432000 4194304 4196468 140721171039664 140669166261920 140669693351637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2389] ppid=2379 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2381/task/2389/stat : 2389 (java) S 2379 2379 30989 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46452226 14420828160 7310 33554432000 4194304 4196468 140721171039664 140669165208816 140669693351637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2390] ppid=2379 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2381/task/2390/stat : 2390 (java) S 2379 2379 30989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46452228 14420828160 7310 33554432000 4194304 4196468 140721171039664 140669164157392 140669693360027 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2391] ppid=2379 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2381/task/2391/stat : 2391 (java) S 2379 2379 30989 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 15 0 46452228 14420828160 7310 33554432000 4194304 4196468 140721171039664 140669163104496 140669693352578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2392] ppid=2379 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2381/task/2392/stat : 2392 (java) S 2379 2379 30989 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46452228 14420828160 7310 33554432000 4194304 4196468 140721171039664 140669162051952 140669693352578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2393] ppid=2379 vsize=14082840 memory=140149544556160 CPUtime=0.01 cores=1,3,5,7
/proc/2381/task/2393/stat : 2393 (java) R 2379 2379 30989 0 -1 4202560 337 0 0 0 1 0 0 0 20 0 15 0 46452228 14420828160 7310 33554432000 4194304 4196468 140721171039664 140669160998896 140669686447133 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2394] ppid=2379 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2381/task/2394/stat : 2394 (java) S 2379 2379 30989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46452229 14420828160 7310 33554432000 4194304 4196468 140721171039664 140669159946592 140669693351637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2395] ppid=2379 vsize=14082840 memory=140149544556160 CPUtime=0 cores=1,3,5,7
/proc/2381/task/2395/stat : 2395 (java) S 2379 2379 30989 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46452229 14420828160 7310 33554432000 4194304 4196468 140721171039664 140669158894640 140669693352578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 30168 KiB
[startup+0.213917 s]*
/proc/loadavg: 1.10 1.18 1.30 3/220 2395
/proc/meminfo: memFree=28984320/32770624 swapFree=67108860/67108860
[pid=2379] ppid=2376 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2379/stat : 2379 (xcsp3-exec) S 2376 2379 30989 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 46452223 115843072 363 33554432000 4194304 5098028 140724441383936 140724441382040 140539580682876 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26550272 140724441392186 140724441392388 140724441392388 140724441395146 0
/proc/2379/statm: 28282 363 305 221 0 87 0
[pid=2381] ppid=2379 vsize=14087096 memory=41076 CPUtime=0.34 cores=1,3,5,7
/proc/2381/stat : 2381 (java) S 2379 2379 30989 0 -1 1077944320 8354 0 0 0 32 2 0 0 20 0 15 0 46452223 14425186304 10269 33554432000 4194304 4196468 140721171039664 140721171022208 140669693341431 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
/proc/2381/statm: 3521774 10269 3134 1 0 3483008 0
[pid=2381/tid=2382] ppid=2379 vsize=14087096 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/2381/task/2382/stat : 2382 (java) R 2379 2379 30989 0 -1 4202560 5472 0 0 0 19 1 0 0 20 0 15 0 46452223 14425186304 10269 33554432000 4194304 4196468 140721171039664 140669697562424 140669686019445 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2383] ppid=2379 vsize=14087096 memory=8948 CPUtime=0 cores=1,3,5,7
/proc/2381/task/2383/stat : 2383 (java) S 2379 2379 30989 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46452224 14425186304 10269 33554432000 4194304 4196468 140721171039664 140669645961744 140669693351637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2384] ppid=2379 vsize=14087096 memory=140149544731901 CPUtime=0 cores=1,3,5,7
/proc/2381/task/2384/stat : 2384 (java) S 2379 2379 30989 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46452224 14425186304 10269 33554432000 4194304 4196468 140721171039664 140669644909200 140669693351637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2385] ppid=2379 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2381/task/2385/stat : 2385 (java) S 2379 2379 30989 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46452224 14425186304 10269 33554432000 4194304 4196468 140721171039664 140669643856144 140669693351637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2386] ppid=2379 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2381/task/2386/stat : 2386 (java) S 2379 2379 30989 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46452224 14425186304 10269 33554432000 4194304 4196468 140721171039664 140669642803600 140669693351637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2387] ppid=2379 vsize=14087096 memory=140149544556160 CPUtime=0 cores=1,3,5,7
/proc/2381/task/2387/stat : 2387 (java) S 2379 2379 30989 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 46452225 14425186304 10269 33554432000 4194304 4196468 140721171039664 140669167315696 140669693352578 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2388] ppid=2379 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2381/task/2388/stat : 2388 (java) S 2379 2379 30989 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46452226 14425186304 10269 33554432000 4194304 4196468 140721171039664 140669166261920 140669693351637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2389] ppid=2379 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2381/task/2389/stat : 2389 (java) S 2379 2379 30989 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46452226 14425186304 10269 33554432000 4194304 4196468 140721171039664 140669165208816 140669693351637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2390] ppid=2379 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2381/task/2390/stat : 2390 (java) S 2379 2379 30989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46452228 14425186304 10269 33554432000 4194304 4196468 140721171039664 140669164157392 140669693360027 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2391] ppid=2379 vsize=14087096 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/2381/task/2391/stat : 2391 (java) S 2379 2379 30989 0 -1 1077944384 453 0 0 0 1 0 0 0 20 0 15 0 46452228 14425186304 10269 33554432000 4194304 4196468 140721171039664 140669163104592 140669693351637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2392] ppid=2379 vsize=14087096 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/2381/task/2392/stat : 2392 (java) S 2379 2379 30989 0 -1 1077944384 388 0 0 0 3 0 0 0 20 0 15 0 46452228 14425186304 10269 33554432000 4194304 4196468 140721171039664 140669162051952 140669693352578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2393] ppid=2379 vsize=14087096 memory=140149544556160 CPUtime=0.08 cores=1,3,5,7
/proc/2381/task/2393/stat : 2393 (java) R 2379 2379 30989 0 -1 4202560 743 0 0 0 8 0 0 0 20 0 15 0 46452228 14425186304 10269 33554432000 4194304 4196468 140721171039664 140669160998896 140669693353366 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2394] ppid=2379 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2381/task/2394/stat : 2394 (java) S 2379 2379 30989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46452229 14425186304 10269 33554432000 4194304 4196468 140721171039664 140669159946592 140669693351637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2395] ppid=2379 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2381/task/2395/stat : 2395 (java) S 2379 2379 30989 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46452229 14425186304 10269 33554432000 4194304 4196468 140721171039664 140669158894640 140669693352578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 42528 KiB
[startup+0.311005 s]*
/proc/loadavg: 1.10 1.18 1.30 4/220 2395
/proc/meminfo: memFree=28977620/32770624 swapFree=67108860/67108860
[pid=2379] ppid=2376 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2379/stat : 2379 (xcsp3-exec) S 2376 2379 30989 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 46452223 115843072 363 33554432000 4194304 5098028 140724441383936 140724441382040 140539580682876 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26550272 140724441392186 140724441392388 140724441392388 140724441395146 0
/proc/2379/statm: 28282 363 305 221 0 87 0
[pid=2381] ppid=2379 vsize=14087096 memory=48492 CPUtime=0.52 cores=1,3,5,7
/proc/2381/stat : 2381 (java) S 2379 2379 30989 0 -1 1077944320 9243 0 0 0 49 3 0 0 20 0 15 0 46452223 14425186304 12123 33554432000 4194304 4196468 140721171039664 140721171022208 140669693341431 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
/proc/2381/statm: 3521774 12123 3253 1 0 3483008 0
[pid=2381/tid=2382] ppid=2379 vsize=14087096 memory=6935054825532540783 CPUtime=0.29 cores=1,3,5,7
/proc/2381/task/2382/stat : 2382 (java) R 2379 2379 30989 0 -1 4202560 6156 0 0 0 27 2 0 0 20 0 15 0 46452223 14425186304 12123 33554432000 4194304 4196468 140721171039664 140669697572544 140669677421918 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2383] ppid=2379 vsize=14087096 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/2381/task/2383/stat : 2383 (java) S 2379 2379 30989 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46452224 14425186304 12123 33554432000 4194304 4196468 140721171039664 140669645961744 140669693351637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2384] ppid=2379 vsize=14087096 memory=-2245088631185882904 CPUtime=0 cores=1,3,5,7
/proc/2381/task/2384/stat : 2384 (java) S 2379 2379 30989 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46452224 14425186304 12123 33554432000 4194304 4196468 140721171039664 140669644909200 140669693351637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2385] ppid=2379 vsize=14087096 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/2381/task/2385/stat : 2385 (java) S 2379 2379 30989 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46452224 14425186304 12123 33554432000 4194304 4196468 140721171039664 140669643856144 140669693351637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2386] ppid=2379 vsize=14087096 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/2381/task/2386/stat : 2386 (java) S 2379 2379 30989 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46452224 14425186304 12123 33554432000 4194304 4196468 140721171039664 140669642803600 140669693351637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2387] ppid=2379 vsize=14087096 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/2381/task/2387/stat : 2387 (java) S 2379 2379 30989 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 46452225 14425186304 12123 33554432000 4194304 4196468 140721171039664 140669167315696 140669693352578 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2388] ppid=2379 vsize=14087096 memory=-2672971631234216029 CPUtime=0 cores=1,3,5,7
/proc/2381/task/2388/stat : 2388 (java) S 2379 2379 30989 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46452226 14425186304 12123 33554432000 4194304 4196468 140721171039664 140669166261920 140669693351637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2389] ppid=2379 vsize=14087096 memory=7680491646476169235 CPUtime=0 cores=1,3,5,7
/proc/2381/task/2389/stat : 2389 (java) S 2379 2379 30989 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46452226 14425186304 12123 33554432000 4194304 4196468 140721171039664 140669165208816 140669693351637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2390] ppid=2379 vsize=14087096 memory=7088771780547993696 CPUtime=0 cores=1,3,5,7
/proc/2381/task/2390/stat : 2390 (java) S 2379 2379 30989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46452228 14425186304 12123 33554432000 4194304 4196468 140721171039664 140669164157392 140669693360027 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2391] ppid=2379 vsize=14087096 memory=-9062862659931694204 CPUtime=0.04 cores=1,3,5,7
/proc/2381/task/2391/stat : 2391 (java) S 2379 2379 30989 0 -1 1077944384 572 0 0 0 4 0 0 0 20 0 15 0 46452228 14425186304 12123 33554432000 4194304 4196468 140721171039664 140669163104496 140669693352578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2392] ppid=2379 vsize=14087096 memory=3047711553320166262 CPUtime=0.04 cores=1,3,5,7
/proc/2381/task/2392/stat : 2392 (java) S 2379 2379 30989 0 -1 1077944384 403 0 0 0 4 0 0 0 20 0 15 0 46452228 14425186304 12123 33554432000 4194304 4196468 140721171039664 140669162051952 140669693352578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2393] ppid=2379 vsize=14087096 memory=-7022969359889120089 CPUtime=0.12 cores=1,3,5,7
/proc/2381/task/2393/stat : 2393 (java) S 2379 2379 30989 0 -1 1077944384 814 0 0 0 12 0 0 0 20 0 15 0 46452228 14425186304 12123 33554432000 4194304 4196468 140721171039664 140669160998896 140669693352578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2394] ppid=2379 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2381/task/2394/stat : 2394 (java) S 2379 2379 30989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46452229 14425186304 12123 33554432000 4194304 4196468 140721171039664 140669159946592 140669693351637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2395] ppid=2379 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2381/task/2395/stat : 2395 (java) S 2379 2379 30989 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46452229 14425186304 12123 33554432000 4194304 4196468 140721171039664 140669158894640 140669693352578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 49944 KiB
[startup+0.703747 s]
/proc/loadavg: 1.10 1.18 1.30 5/220 2395
/proc/meminfo: memFree=28894100/32770624 swapFree=67108860/67108860
[pid=2379] ppid=2376 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2379/stat : 2379 (xcsp3-exec) S 2376 2379 30989 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 46452223 115843072 363 33554432000 4194304 5098028 140724441383936 140724441382040 140539580682876 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26550272 140724441392186 140724441392388 140724441392388 140724441395146 0
/proc/2379/statm: 28282 363 305 221 0 87 0
[pid=2381] ppid=2379 vsize=14089220 memory=191396 CPUtime=1.77 cores=1,3,5,7
/proc/2381/stat : 2381 (java) S 2379 2379 30989 0 -1 1077944320 14355 0 0 0 172 5 0 0 20 0 15 0 46452223 14427361280 47849 33554432000 4194304 4196468 140721171039664 140721171022208 140669693341431 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
/proc/2381/statm: 3522305 47849 3335 1 0 3483520 0
[pid=2381/tid=2382] ppid=2379 vsize=14089220 memory=6221536460134388100 CPUtime=0.67 cores=1,3,5,7
/proc/2381/task/2382/stat : 2382 (java) R 2379 2379 30989 0 -1 1077944384 6785 0 0 0 63 4 0 0 20 0 15 0 46452223 14427361280 47849 33554432000 4194304 4196468 140721171039664 140669697576080 140669693351637 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2383] ppid=2379 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2381/task/2383/stat : 2383 (java) S 2379 2379 30989 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 46452224 14427361280 47849 33554432000 4194304 4196468 140721171039664 140669645961744 140669693351637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2384] ppid=2379 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2381/task/2384/stat : 2384 (java) S 2379 2379 30989 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 46452224 14427361280 47849 33554432000 4194304 4196468 140721171039664 140669644909200 140669693351637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2385] ppid=2379 vsize=14089220 memory=54 CPUtime=0 cores=1,3,5,7
/proc/2381/task/2385/stat : 2385 (java) S 2379 2379 30989 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46452224 14427361280 47849 33554432000 4194304 4196468 140721171039664 140669643856144 140669693351637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2386] ppid=2379 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2381/task/2386/stat : 2386 (java) S 2379 2379 30989 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 46452224 14427361280 47849 33554432000 4194304 4196468 140721171039664 140669642803600 140669693351637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2387] ppid=2379 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2381/task/2387/stat : 2387 (java) S 2379 2379 30989 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 46452225 14427361280 47849 33554432000 4194304 4196468 140721171039664 140669167315696 140669693352578 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2388] ppid=2379 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2381/task/2388/stat : 2388 (java) S 2379 2379 30989 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46452226 14427361280 47849 33554432000 4194304 4196468 140721171039664 140669166261920 140669693351637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2389] ppid=2379 vsize=14089220 memory=796 CPUtime=0 cores=1,3,5,7
/proc/2381/task/2389/stat : 2389 (java) S 2379 2379 30989 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 46452226 14427361280 47849 33554432000 4194304 4196468 140721171039664 140669165208816 140669693351637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2390] ppid=2379 vsize=14089220 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/2381/task/2390/stat : 2390 (java) S 2379 2379 30989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46452228 14427361280 47849 33554432000 4194304 4196468 140721171039664 140669164157392 140669693360027 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2391] ppid=2379 vsize=14089220 memory=1956 CPUtime=0.34 cores=1,3,5,7
/proc/2381/task/2391/stat : 2391 (java) R 2379 2379 30989 0 -1 4202560 2001 0 0 0 34 0 0 0 20 0 15 0 46452228 14427361280 47849 33554432000 4194304 4196468 140721171039664 140669163095328 140669693353366 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2392] ppid=2379 vsize=14089220 memory=1196 CPUtime=0.32 cores=1,3,5,7
/proc/2381/task/2392/stat : 2392 (java) R 2379 2379 30989 0 -1 4202560 1655 0 0 0 32 0 0 0 20 0 15 0 46452228 14427361280 47849 33554432000 4194304 4196468 140721171039664 140669162032944 140669674886714 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2393] ppid=2379 vsize=14089220 memory=8360 CPUtime=0.41 cores=1,3,5,7
/proc/2381/task/2393/stat : 2393 (java) R 2379 2379 30989 0 -1 4202560 2563 0 0 0 41 0 0 0 20 0 15 0 46452228 14427361280 47849 33554432000 4194304 4196468 140721171039664 140669160998080 140669693362778 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2394] ppid=2379 vsize=14089220 memory=5520 CPUtime=0 cores=1,3,5,7
/proc/2381/task/2394/stat : 2394 (java) S 2379 2379 30989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46452229 14427361280 47849 33554432000 4194304 4196468 140721171039664 140669159946592 140669693351637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2395] ppid=2379 vsize=14089220 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/2381/task/2395/stat : 2395 (java) S 2379 2379 30989 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46452229 14427361280 47849 33554432000 4194304 4196468 140721171039664 140669158894640 140669693352578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
Current children cumulated CPU time: 1.77 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 192848 KiB
[startup+1.50144 s]
/proc/loadavg: 1.33 1.23 1.31 5/220 2395
/proc/meminfo: memFree=28828888/32770624 swapFree=67108860/67108860
[pid=2379] ppid=2376 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2379/stat : 2379 (xcsp3-exec) S 2376 2379 30989 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 46452223 115843072 363 33554432000 4194304 5098028 140724441383936 140724441382040 140539580682876 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26550272 140724441392186 140724441392388 140724441392388 140724441395146 0
/proc/2379/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/2379/stat : 2379 (xcsp3-exec) S 2376 2379 30989 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 46452223 115843072 363 33554432000 4194304 5098028 140724441383936 140724441382040 140539580682876 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26550272 140724441392186 140724441392388 140724441392388 140724441395146 0
/proc/2379/statm: 28282 363 305 221 0 87 0
[pid=2381] ppid=2379 vsize=14091268 memory=252672 CPUtime=235.81 cores=1,3,5,7
/proc/2381/stat : 2381 (java) S 2379 2379 30989 0 -1 1077944320 58994 0 0 0 23555 26 0 0 20 0 15 0 46452223 14429458432 63168 33554432000 4194304 4196468 140721171039664 140721171022208 140669693341431 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
/proc/2381/statm: 3522817 63168 3396 1 0 3484032 0
[pid=2381/tid=2382] ppid=2379 vsize=14091268 memory=252672 CPUtime=228.77 cores=1,3,5,7
/proc/2381/task/2382/stat : 2382 (java) R 2379 2379 30989 0 -1 4202560 12417 0 0 0 22871 6 0 0 20 0 15 0 46452223 14429458432 63168 33554432000 4194304 4196468 140721171039664 140669697580048 140669330765646 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2383] ppid=2379 vsize=14091268 memory=245180 CPUtime=0.07 cores=1,3,5,7
/proc/2381/task/2383/stat : 2383 (java) S 2379 2379 30989 0 -1 1077944384 1491 0 0 0 5 2 0 0 20 0 15 0 46452224 14429458432 63168 33554432000 4194304 4196468 140721171039664 140669645961744 140669693351637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2384] ppid=2379 vsize=14091268 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/2381/task/2384/stat : 2384 (java) S 2379 2379 30989 0 -1 1077944384 2477 0 0 0 5 2 0 0 20 0 15 0 46452224 14429458432 63168 33554432000 4194304 4196468 140721171039664 140669644909200 140669693351637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2385] ppid=2379 vsize=14091268 memory=1452 CPUtime=0.07 cores=1,3,5,7
/proc/2381/task/2385/stat : 2385 (java) S 2379 2379 30989 0 -1 1077944384 1345 0 0 0 5 2 0 0 20 0 15 0 46452224 14429458432 63168 33554432000 4194304 4196468 140721171039664 140669643856144 140669693351637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2386] ppid=2379 vsize=14091268 memory=252672 CPUtime=0.07 cores=1,3,5,7
/proc/2381/task/2386/stat : 2386 (java) S 2379 2379 30989 0 -1 1077944384 1096 0 0 0 5 2 0 0 20 0 15 0 46452224 14429458432 63168 33554432000 4194304 4196468 140721171039664 140669642803600 140669693351637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2387] ppid=2379 vsize=14091268 memory=796 CPUtime=0.01 cores=1,3,5,7
/proc/2381/task/2387/stat : 2387 (java) S 2379 2379 30989 0 -1 1077944384 1238 0 0 0 1 0 0 0 20 0 15 0 46452225 14429458432 63168 33554432000 4194304 4196468 140721171039664 140669167315696 140669693352578 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2388] ppid=2379 vsize=14091268 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/2381/task/2388/stat : 2388 (java) S 2379 2379 30989 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 46452226 14429458432 63168 33554432000 4194304 4196468 140721171039664 140669166261984 140669693351637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2389] ppid=2379 vsize=14091268 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/2381/task/2389/stat : 2389 (java) S 2379 2379 30989 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 46452226 14429458432 63168 33554432000 4194304 4196468 140721171039664 140669165208832 140669693351637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2390] ppid=2379 vsize=14091268 memory=640 CPUtime=0 cores=1,3,5,7
/proc/2381/task/2390/stat : 2390 (java) S 2379 2379 30989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46452228 14429458432 63168 33554432000 4194304 4196468 140721171039664 140669164157392 140669693360027 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2391] ppid=2379 vsize=14091268 memory=1792 CPUtime=2.95 cores=1,3,5,7
/proc/2381/task/2391/stat : 2391 (java) S 2379 2379 30989 0 -1 1077944384 15468 0 0 0 293 2 0 0 20 0 15 0 46452228 14429458432 63168 33554432000 4194304 4196468 140721171039664 140669163104496 140669693352578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2392] ppid=2379 vsize=14091268 memory=1452 CPUtime=2.71 cores=1,3,5,7
/proc/2381/task/2392/stat : 2392 (java) S 2379 2379 30989 0 -1 1077944384 13671 0 0 0 270 1 0 0 20 0 15 0 46452228 14429458432 63168 33554432000 4194304 4196468 140721171039664 140669162051952 140669693352578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2393] ppid=2379 vsize=14091268 memory=8112282956445269571 CPUtime=0.91 cores=1,3,5,7
/proc/2381/task/2393/stat : 2393 (java) S 2379 2379 30989 0 -1 1077944384 7801 0 0 0 89 2 0 0 20 0 15 0 46452228 14429458432 63168 33554432000 4194304 4196468 140721171039664 140669160998896 140669693352578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2394] ppid=2379 vsize=14091268 memory=288230377108284106 CPUtime=0 cores=1,3,5,7
/proc/2381/task/2394/stat : 2394 (java) S 2379 2379 30989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46452229 14429458432 63168 33554432000 4194304 4196468 140721171039664 140669159946592 140669693351637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2395] ppid=2379 vsize=14091268 memory=288284485106271915 CPUtime=0.11 cores=1,3,5,7
/proc/2381/task/2395/stat : 2395 (java) S 2379 2379 30989 0 -1 1077944384 654 0 0 0 4 7 0 0 20 0 15 0 46452229 14429458432 63168 33554432000 4194304 4196468 140721171039664 140669158894640 140669693352578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
Current children cumulated CPU time: 235.81 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 254124 KiB
[startup+230.501 s]
/proc/loadavg: 1.99 1.65 1.46 3/221 2481
/proc/meminfo: memFree=28354824/32770624 swapFree=67108860/67108860
[pid=2379] ppid=2376 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2379/stat : 2379 (xcsp3-exec) S 2376 2379 30989 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 46452223 115843072 363 33554432000 4194304 5098028 140724441383936 140724441382040 140539580682876 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26550272 140724441392186 140724441392388 140724441392388 140724441395146 0
/proc/2379/statm: 28282 363 305 221 0 87 0
[pid=2381] ppid=2379 vsize=14091268 memory=252708 CPUtime=237.47 cores=1,3,5,7
/proc/2381/stat : 2381 (java) S 2379 2379 30989 0 -1 1077944320 60386 0 0 0 23720 27 0 0 20 0 15 0 46452223 14429458432 63177 33554432000 4194304 4196468 140721171039664 140721171022208 140669693341431 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
/proc/2381/statm: 3522817 63177 3398 1 0 3484032 0
[pid=2381/tid=2382] ppid=2379 vsize=14091268 memory=7 CPUtime=230.37 cores=1,3,5,7
/proc/2381/task/2382/stat : 2382 (java) R 2379 2379 30989 0 -1 4202560 12421 0 0 0 23031 6 0 0 20 0 15 0 46452223 14429458432 63177 33554432000 4194304 4196468 140721171039664 140669697577912 140669331178928 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2383] ppid=2379 vsize=14091268 memory=8112282956445269571 CPUtime=0.07 cores=1,3,5,7
/proc/2381/task/2383/stat : 2383 (java) S 2379 2379 30989 0 -1 1077944384 1491 0 0 0 5 2 0 0 20 0 15 0 46452224 14429458432 63177 33554432000 4194304 4196468 140721171039664 140669645961744 140669693351637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2384] ppid=2379 vsize=14091268 memory=3760564213711857765 CPUtime=0.07 cores=1,3,5,7
/proc/2381/task/2384/stat : 2384 (java) S 2379 2379 30989 0 -1 1077944384 2477 0 0 0 5 2 0 0 20 0 15 0 46452224 14429458432 63177 33554432000 4194304 4196468 140721171039664 140669644909200 140669693351637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2385] ppid=2379 vsize=14091268 memory=280298828310352 CPUtime=0.07 cores=1,3,5,7
/proc/2381/task/2385/stat : 2385 (java) S 2379 2379 30989 0 -1 1077944384 1345 0 0 0 5 2 0 0 20 0 15 0 46452224 14429458432 63177 33554432000 4194304 4196468 140721171039664 140669643856144 140669693351637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2386] ppid=2379 vsize=14091268 memory=219 CPUtime=0.07 cores=1,3,5,7
/proc/2381/task/2386/stat : 2386 (java) S 2379 2379 30989 0 -1 1077944384 1096 0 0 0 5 2 0 0 20 0 15 0 46452224 14429458432 63177 33554432000 4194304 4196468 140721171039664 140669642803600 140669693351637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2387] ppid=2379 vsize=14091268 memory=440 CPUtime=0.01 cores=1,3,5,7
/proc/2381/task/2387/stat : 2387 (java) S 2379 2379 30989 0 -1 1077944384 1238 0 0 0 1 0 0 0 20 0 15 0 46452225 14429458432 63177 33554432000 4194304 4196468 140721171039664 140669167315696 140669693352578 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2388] ppid=2379 vsize=14091268 memory=39 CPUtime=0 cores=1,3,5,7
/proc/2381/task/2388/stat : 2388 (java) S 2379 2379 30989 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 46452226 14429458432 63177 33554432000 4194304 4196468 140721171039664 140669166261984 140669693351637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2389] ppid=2379 vsize=14091268 memory=280298827451056 CPUtime=0 cores=1,3,5,7
/proc/2381/task/2389/stat : 2389 (java) S 2379 2379 30989 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 46452226 14429458432 63177 33554432000 4194304 4196468 140721171039664 140669165208832 140669693351637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2390] ppid=2379 vsize=14091268 memory=140149414009132 CPUtime=0 cores=1,3,5,7
/proc/2381/task/2390/stat : 2390 (java) S 2379 2379 30989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46452228 14429458432 63177 33554432000 4194304 4196468 140721171039664 140669164157392 140669693360027 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2391] ppid=2379 vsize=14091268 memory=-7595754389018307680 CPUtime=3 cores=1,3,5,7
/proc/2381/task/2391/stat : 2391 (java) S 2379 2379 30989 0 -1 1077944384 16856 0 0 0 298 2 0 0 20 0 15 0 46452228 14429458432 63177 33554432000 4194304 4196468 140721171039664 140669163104496 140669693352578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2392] ppid=2379 vsize=14091268 memory=8112282956445269571 CPUtime=2.71 cores=1,3,5,7
/proc/2381/task/2392/stat : 2392 (java) S 2379 2379 30989 0 -1 1077944384 13671 0 0 0 270 1 0 0 20 0 15 0 46452228 14429458432 63177 33554432000 4194304 4196468 140721171039664 140669162051952 140669693352578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2393] ppid=2379 vsize=14091268 memory=6944656592455097440 CPUtime=0.91 cores=1,3,5,7
/proc/2381/task/2393/stat : 2393 (java) S 2379 2379 30989 0 -1 1077944384 7801 0 0 0 89 2 0 0 20 0 15 0 46452228 14429458432 63177 33554432000 4194304 4196468 140721171039664 140669160998896 140669693352578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2394] ppid=2379 vsize=14091268 memory=27076 CPUtime=0 cores=1,3,5,7
/proc/2381/task/2394/stat : 2394 (java) S 2379 2379 30989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46452229 14429458432 63177 33554432000 4194304 4196468 140721171039664 140669159946592 140669693351637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2395] ppid=2379 vsize=14091268 memory=4140 CPUtime=0.11 cores=1,3,5,7
/proc/2381/task/2395/stat : 2395 (java) S 2379 2379 30989 0 -1 1077944384 654 0 0 0 4 7 0 0 20 0 15 0 46452229 14429458432 63177 33554432000 4194304 4196468 140721171039664 140669158894640 140669693352578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
Current children cumulated CPU time: 237.47 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 254160 KiB
[startup+231.301 s]
/proc/loadavg: 1.99 1.65 1.47 3/221 2481
/proc/meminfo: memFree=28354824/32770624 swapFree=67108860/67108860
[pid=2379] ppid=2376 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2379/stat : 2379 (xcsp3-exec) S 2376 2379 30989 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 46452223 115843072 363 33554432000 4194304 5098028 140724441383936 140724441382040 140539580682876 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26550272 140724441392186 140724441392388 140724441392388 140724441395146 0
/proc/2379/statm: 28282 363 305 221 0 87 0
[pid=2381] ppid=2379 vsize=14091268 memory=252708 CPUtime=238.27 cores=1,3,5,7
/proc/2381/stat : 2381 (java) S 2379 2379 30989 0 -1 1077944320 60392 0 0 0 23800 27 0 0 20 0 15 0 46452223 14429458432 63177 33554432000 4194304 4196468 140721171039664 140721171022208 140669693341431 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
/proc/2381/statm: 3522817 63177 3398 1 0 3484032 0
[pid=2381/tid=2382] ppid=2379 vsize=14091268 memory=4486604260213485459 CPUtime=231.17 cores=1,3,5,7
/proc/2381/task/2382/stat : 2382 (java) R 2379 2379 30989 0 -1 4202560 12421 0 0 0 23111 6 0 0 20 0 15 0 46452223 14429458432 63177 33554432000 4194304 4196468 140721171039664 140669697577912 140669331039995 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2383] ppid=2379 vsize=14091268 memory=932 CPUtime=0.07 cores=1,3,5,7
/proc/2381/task/2383/stat : 2383 (java) S 2379 2379 30989 0 -1 1077944384 1491 0 0 0 5 2 0 0 20 0 15 0 46452224 14429458432 63177 33554432000 4194304 4196468 140721171039664 140669645961744 140669693351637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2384] ppid=2379 vsize=14091268 memory=1568 CPUtime=0.07 cores=1,3,5,7
/proc/2381/task/2384/stat : 2384 (java) S 2379 2379 30989 0 -1 1077944384 2477 0 0 0 5 2 0 0 20 0 15 0 46452224 14429458432 63177 33554432000 4194304 4196468 140721171039664 140669644909200 140669693351637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2385] ppid=2379 vsize=14091268 memory=2240 CPUtime=0.07 cores=1,3,5,7
/proc/2381/task/2385/stat : 2385 (java) S 2379 2379 30989 0 -1 1077944384 1345 0 0 0 5 2 0 0 20 0 15 0 46452224 14429458432 63177 33554432000 4194304 4196468 140721171039664 140669643856144 140669693351637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2386] ppid=2379 vsize=14091268 memory=8112282956445269571 CPUtime=0.07 cores=1,3,5,7
/proc/2381/task/2386/stat : 2386 (java) S 2379 2379 30989 0 -1 1077944384 1096 0 0 0 5 2 0 0 20 0 15 0 46452224 14429458432 63177 33554432000 4194304 4196468 140721171039664 140669642803600 140669693351637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2387] ppid=2379 vsize=14091268 memory=4052 CPUtime=0.01 cores=1,3,5,7
/proc/2381/task/2387/stat : 2387 (java) S 2379 2379 30989 0 -1 1077944384 1238 0 0 0 1 0 0 0 20 0 15 0 46452225 14429458432 63177 33554432000 4194304 4196468 140721171039664 140669167315696 140669693352578 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2388] ppid=2379 vsize=14091268 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2381/task/2388/stat : 2388 (java) S 2379 2379 30989 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 46452226 14429458432 63177 33554432000 4194304 4196468 140721171039664 140669166261984 140669693351637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2389] ppid=2379 vsize=14091268 memory=252672 CPUtime=0 cores=1,3,5,7
/proc/2381/task/2389/stat : 2389 (java) S 2379 2379 30989 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 46452226 14429458432 63177 33554432000 4194304 4196468 140721171039664 140669165208832 140669693351637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2390] ppid=2379 vsize=14091268 memory=4486604260213485459 CPUtime=0 cores=1,3,5,7
/proc/2381/task/2390/stat : 2390 (java) S 2379 2379 30989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46452228 14429458432 63177 33554432000 4194304 4196468 140721171039664 140669164157392 140669693360027 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2391] ppid=2379 vsize=14091268 memory=2344 CPUtime=3 cores=1,3,5,7
/proc/2381/task/2391/stat : 2391 (java) S 2379 2379 30989 0 -1 1077944384 16856 0 0 0 298 2 0 0 20 0 15 0 46452228 14429458432 63177 33554432000 4194304 4196468 140721171039664 140669163104496 140669693352578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2392] ppid=2379 vsize=14091268 memory=1724 CPUtime=2.71 cores=1,3,5,7
/proc/2381/task/2392/stat : 2392 (java) S 2379 2379 30989 0 -1 1077944384 13671 0 0 0 270 1 0 0 20 0 15 0 46452228 14429458432 63177 33554432000 4194304 4196468 140721171039664 140669162051952 140669693352578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2393] ppid=2379 vsize=14091268 memory=1004 CPUtime=0.91 cores=1,3,5,7
/proc/2381/task/2393/stat : 2393 (java) S 2379 2379 30989 0 -1 1077944384 7801 0 0 0 89 2 0 0 20 0 15 0 46452228 14429458432 63177 33554432000 4194304 4196468 140721171039664 140669160998896 140669693352578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2394] ppid=2379 vsize=14091268 memory=796 CPUtime=0 cores=1,3,5,7
/proc/2381/task/2394/stat : 2394 (java) S 2379 2379 30989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46452229 14429458432 63177 33554432000 4194304 4196468 140721171039664 140669159946592 140669693351637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2395] ppid=2379 vsize=14091268 memory=1712 CPUtime=0.11 cores=1,3,5,7
/proc/2381/task/2395/stat : 2395 (java) S 2379 2379 30989 0 -1 1077944384 660 0 0 0 4 7 0 0 20 0 15 0 46452229 14429458432 63177 33554432000 4194304 4196468 140721171039664 140669158894640 140669693352578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
Current children cumulated CPU time: 238.27 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 254160 KiB
[startup+231.501 s]
/proc/loadavg: 1.99 1.65 1.47 3/221 2481
/proc/meminfo: memFree=28354824/32770624 swapFree=67108860/67108860
[pid=2379] ppid=2376 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2379/stat : 2379 (xcsp3-exec) S 2376 2379 30989 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 46452223 115843072 363 33554432000 4194304 5098028 140724441383936 140724441382040 140539580682876 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26550272 140724441392186 140724441392388 140724441392388 140724441395146 0
/proc/2379/statm: 28282 363 305 221 0 87 0
[pid=2381] ppid=2379 vsize=14091268 memory=252708 CPUtime=238.47 cores=1,3,5,7
/proc/2381/stat : 2381 (java) S 2379 2379 30989 0 -1 1077944320 60393 0 0 0 23820 27 0 0 20 0 15 0 46452223 14429458432 63177 33554432000 4194304 4196468 140721171039664 140721171022208 140669693341431 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
/proc/2381/statm: 3522817 63177 3398 1 0 3484032 0
[pid=2381/tid=2382] ppid=2379 vsize=14091268 memory=4420 CPUtime=231.37 cores=1,3,5,7
/proc/2381/task/2382/stat : 2382 (java) R 2379 2379 30989 0 -1 4202560 12422 0 0 0 23131 6 0 0 20 0 15 0 46452223 14429458432 63177 33554432000 4194304 4196468 140721171039664 140669697577912 140669332629750 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2383] ppid=2379 vsize=14091268 memory=6628 CPUtime=0.07 cores=1,3,5,7
/proc/2381/task/2383/stat : 2383 (java) S 2379 2379 30989 0 -1 1077944384 1491 0 0 0 5 2 0 0 20 0 15 0 46452224 14429458432 63177 33554432000 4194304 4196468 140721171039664 140669645961744 140669693351637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2384] ppid=2379 vsize=14091268 memory=8836 CPUtime=0.07 cores=1,3,5,7
/proc/2381/task/2384/stat : 2384 (java) S 2379 2379 30989 0 -1 1077944384 2477 0 0 0 5 2 0 0 20 0 15 0 46452224 14429458432 63177 33554432000 4194304 4196468 140721171039664 140669644909200 140669693351637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2385] ppid=2379 vsize=14091268 memory=8868 CPUtime=0.07 cores=1,3,5,7
/proc/2381/task/2385/stat : 2385 (java) S 2379 2379 30989 0 -1 1077944384 1345 0 0 0 5 2 0 0 20 0 15 0 46452224 14429458432 63177 33554432000 4194304 4196468 140721171039664 140669643856144 140669693351637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2386] ppid=2379 vsize=14091268 memory=7306916055891837009 CPUtime=0.07 cores=1,3,5,7
/proc/2381/task/2386/stat : 2386 (java) S 2379 2379 30989 0 -1 1077944384 1096 0 0 0 5 2 0 0 20 0 15 0 46452224 14429458432 63177 33554432000 4194304 4196468 140721171039664 140669642803600 140669693351637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2387] ppid=2379 vsize=14091268 memory=15872 CPUtime=0.01 cores=1,3,5,7
/proc/2381/task/2387/stat : 2387 (java) S 2379 2379 30989 0 -1 1077944384 1238 0 0 0 1 0 0 0 20 0 15 0 46452225 14429458432 63177 33554432000 4194304 4196468 140721171039664 140669167315696 140669693352578 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2388] ppid=2379 vsize=14091268 memory=4052 CPUtime=0 cores=1,3,5,7
/proc/2381/task/2388/stat : 2388 (java) S 2379 2379 30989 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 46452226 14429458432 63177 33554432000 4194304 4196468 140721171039664 140669166261984 140669693351637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2389] ppid=2379 vsize=14091268 memory=16248 CPUtime=0 cores=1,3,5,7
/proc/2381/task/2389/stat : 2389 (java) S 2379 2379 30989 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 46452226 14429458432 63177 33554432000 4194304 4196468 140721171039664 140669165208832 140669693351637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2390] ppid=2379 vsize=14091268 memory=10284 CPUtime=0 cores=1,3,5,7
/proc/2381/task/2390/stat : 2390 (java) S 2379 2379 30989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46452228 14429458432 63177 33554432000 4194304 4196468 140721171039664 140669164157392 140669693360027 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2391] ppid=2379 vsize=14091268 memory=1240 CPUtime=3 cores=1,3,5,7
/proc/2381/task/2391/stat : 2391 (java) S 2379 2379 30989 0 -1 1077944384 16856 0 0 0 298 2 0 0 20 0 15 0 46452228 14429458432 63177 33554432000 4194304 4196468 140721171039664 140669163104496 140669693352578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2392] ppid=2379 vsize=14091268 memory=640 CPUtime=2.71 cores=1,3,5,7
/proc/2381/task/2392/stat : 2392 (java) S 2379 2379 30989 0 -1 1077944384 13671 0 0 0 270 1 0 0 20 0 15 0 46452228 14429458432 63177 33554432000 4194304 4196468 140721171039664 140669162051952 140669693352578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2393] ppid=2379 vsize=14091268 memory=1792 CPUtime=0.91 cores=1,3,5,7
/proc/2381/task/2393/stat : 2393 (java) S 2379 2379 30989 0 -1 1077944384 7801 0 0 0 89 2 0 0 20 0 15 0 46452228 14429458432 63177 33554432000 4194304 4196468 140721171039664 140669160998896 140669693352578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2394] ppid=2379 vsize=14091268 memory=956 CPUtime=0 cores=1,3,5,7
/proc/2381/task/2394/stat : 2394 (java) S 2379 2379 30989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46452229 14429458432 63177 33554432000 4194304 4196468 140721171039664 140669159946592 140669693351637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
[pid=2381/tid=2395] ppid=2379 vsize=14091268 memory=2340 CPUtime=0.11 cores=1,3,5,7
/proc/2381/task/2395/stat : 2395 (java) S 2379 2379 30989 0 -1 1077944384 660 0 0 0 4 7 0 0 20 0 15 0 46452229 14429458432 63177 33554432000 4194304 4196468 140721171039664 140669158894640 140669693352578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19320832 140721171047553 140721171047729 140721171047729 140721171050447 0
Current children cumulated CPU time: 238.47 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 254160 KiB
Child status: 0
Real time (s): 231.588
CPU time (s): 238.566
CPU user time (s): 238.289
CPU system time (s): 0.277262
CPU usage (%): 103.013
Max. virtual memory (cumulated for all children) (KiB): 14204396
Max. memory (cumulated for all children) (KiB): 254160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 238.289
system time used= 0.277262
maximum resident set size= 253276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61392
page faults= 0
swaps= 0
block input operations= 0
block output operations= 352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7826
involuntary context switches= 131
# summary of solver processes directly reported to runsolver:
# pid: 2379
# total CPU time (s): 238.566
# total CPU user time (s): 238.289
# total CPU system time (s): 0.277262
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.69406 second user time and 2.09809 second system time
The end