runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4255333-1501618991/watcher-4255333-1501618991 -o /tmp/evaluation-result-4255333-1501618991/solver-4255333-1501618991 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501617179-10853 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1940093500 HOME/instance-4255333-1501618991.xml
pid=11989
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.46 1.84 1.91 4/195 11992
/proc/meminfo: memFree=31656988/32770624 swapFree=0/189240
[pid=11992] ppid=11989 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/11992/stat : 11992 (runsolver) D 11989 11992 5091 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10522164 24240128 106 18446744073709551615 4194304 4338465 140723438836016 140723438833656 139680864293591 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 39419904 140723438841948 140723438842438 140723438842438 140723438845898 0
/proc/11992/statm: 5918 106 53 36 0 2156 0
[startup+0.100107 s]
/proc/loadavg: 1.46 1.84 1.91 4/195 11992
/proc/meminfo: memFree=31656988/32770624 swapFree=0/189240
[pid=11992] ppid=11989 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11992/stat : 11992 (xcsp3-exec) S 11989 11992 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10522164 9740288 344 18446744073709551615 4194304 5098028 140732044676272 140732044674376 140404190294652 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 18821120 140732044677531 140732044677735 140732044677735 140732044681195 0
/proc/11992/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200235 s]
/proc/loadavg: 1.46 1.84 1.91 4/195 11992
/proc/meminfo: memFree=31656988/32770624 swapFree=0/189240
[pid=11992] ppid=11989 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11992/stat : 11992 (xcsp3-exec) S 11989 11992 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10522164 9740288 344 18446744073709551615 4194304 5098028 140732044676272 140732044674376 140404190294652 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 18821120 140732044677531 140732044677735 140732044677735 140732044681195 0
/proc/11992/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.301232 s]
/proc/loadavg: 1.46 1.84 1.91 4/195 11992
/proc/meminfo: memFree=31656988/32770624 swapFree=0/189240
[pid=11992] ppid=11989 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11992/stat : 11992 (xcsp3-exec) S 11989 11992 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10522164 9740288 344 18446744073709551615 4194304 5098028 140732044676272 140732044674376 140404190294652 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 18821120 140732044677531 140732044677735 140732044677735 140732044681195 0
/proc/11992/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.706523 s]
/proc/loadavg: 1.46 1.84 1.91 4/195 11992
/proc/meminfo: memFree=31656988/32770624 swapFree=0/189240
[pid=11992] ppid=11989 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11992/stat : 11992 (xcsp3-exec) S 11989 11992 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10522164 9740288 344 18446744073709551615 4194304 5098028 140732044676272 140732044674376 140404190294652 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 18821120 140732044677531 140732044677735 140732044677735 140732044681195 0
/proc/11992/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50067 s]
/proc/loadavg: 1.46 1.84 1.91 5/211 12008
/proc/meminfo: memFree=31577996/32770624 swapFree=0/189264
[pid=11992] ppid=11989 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11992/stat : 11992 (xcsp3-exec) S 11989 11992 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10522164 9740288 344 18446744073709551615 4194304 5098028 140732044676272 140732044674376 140404190294652 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 18821120 140732044677531 140732044677735 140732044677735 140732044681195 0
/proc/11992/statm: 2378 344 289 221 0 87 0
[pid=11994] ppid=11992 vsize=13980732 CPUtime=3.86 cores=0,2,4,6
/proc/11994/stat : 11994 (java) S 11992 11992 5091 0 -1 1077944320 25818 0 0 0 378 8 0 0 20 0 15 0 10522171 14316269568 28964 18446744073709551615 4194304 4196468 140735540423488 140735540406032 139952948190967 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
/proc/11994/statm: 3495183 28964 3192 1 0 3483484 0
[pid=11994/tid=11995] ppid=11992 vsize=13980732 CPUtime=1.37 cores=0,2,4,6
/proc/11994/task/11995/stat : 11995 (java) R 11992 11992 5091 0 -1 4202560 9580 0 0 0 133 4 0 0 20 0 15 0 10522172 14316269568 28964 18446744073709551615 4194304 4196468 140735540423488 139952952430288 139952593660103 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=11996] ppid=11992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11994/task/11996/stat : 11996 (java) S 11992 11992 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10522172 14316269568 28964 18446744073709551615 4194304 4196468 140735540423488 139952920034192 139952948201173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=11997] ppid=11992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11994/task/11997/stat : 11997 (java) S 11992 11992 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10522172 14316269568 28964 18446744073709551615 4194304 4196468 140735540423488 139952547425040 139952948201173 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=11998] ppid=11992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11994/task/11998/stat : 11998 (java) S 11992 11992 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10522172 14316269568 28964 18446744073709551615 4194304 4196468 140735540423488 139952546372752 139952948201173 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=11999] ppid=11992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11994/task/11999/stat : 11999 (java) S 11992 11992 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10522172 14316269568 28964 18446744073709551615 4194304 4196468 140735540423488 139952545319952 139952948201173 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12000] ppid=11992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11994/task/12000/stat : 12000 (java) S 11992 11992 5091 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 10522174 14316269568 28964 18446744073709551615 4194304 4196468 140735540423488 139951865010288 139952948202114 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12001] ppid=11992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11994/task/12001/stat : 12001 (java) S 11992 11992 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10522174 14316269568 28964 18446744073709551615 4194304 4196468 140735540423488 139951863956256 139952948201173 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12002] ppid=11992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11994/task/12002/stat : 12002 (java) S 11992 11992 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10522174 14316269568 28964 18446744073709551615 4194304 4196468 140735540423488 139951862903920 139952948201173 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12003] ppid=11992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11994/task/12003/stat : 12003 (java) S 11992 11992 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10522177 14316269568 28964 18446744073709551615 4194304 4196468 140735540423488 139951861852240 139952948209563 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12004] ppid=11992 vsize=13980732 CPUtime=0.95 cores=0,2,4,6
/proc/11994/task/12004/stat : 12004 (java) R 11992 11992 5091 0 -1 4202560 4348 0 0 0 94 1 0 0 20 0 15 0 10522177 14316269568 28964 18446744073709551615 4194304 4196468 140735540423488 139951860789904 139952932479859 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12005] ppid=11992 vsize=13980732 CPUtime=0.94 cores=0,2,4,6
/proc/11994/task/12005/stat : 12005 (java) R 11992 11992 5091 0 -1 4202560 7413 0 0 0 94 0 0 0 20 0 15 0 10522177 14316269568 28964 18446744073709551615 4194304 4196468 140735540423488 139951859732776 139952925785744 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12006] ppid=11992 vsize=13980732 CPUtime=0.57 cores=0,2,4,6
/proc/11994/task/12006/stat : 12006 (java) S 11992 11992 5091 0 -1 1077944384 3158 0 0 0 56 1 0 0 20 0 15 0 10522177 14316269568 28964 18446744073709551615 4194304 4196468 140735540423488 139951858695024 139952948202114 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12007] ppid=11992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11994/task/12007/stat : 12007 (java) S 11992 11992 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10522177 14316269568 28964 18446744073709551615 4194304 4196468 140735540423488 139951857642464 139952948201173 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12008] ppid=11992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11994/task/12008/stat : 12008 (java) S 11992 11992 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10522180 14316269568 28964 18446744073709551615 4194304 4196468 140735540423488 139951856589232 139952948202114 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
Current children cumulated CPU time (s) 3.86
Current children cumulated vsize (KiB) 13990244
[startup+3.10068 s]
/proc/loadavg: 1.46 1.84 1.91 5/211 12008
/proc/meminfo: memFree=31479680/32770624 swapFree=0/189264
[pid=11992] ppid=11989 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11992/stat : 11992 (xcsp3-exec) S 11989 11992 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10522164 9740288 344 18446744073709551615 4194304 5098028 140732044676272 140732044674376 140404190294652 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 18821120 140732044677531 140732044677735 140732044677735 140732044681195 0
/proc/11992/statm: 2378 344 289 221 0 87 0
[pid=11994] ppid=11992 vsize=13980732 CPUtime=8.71 cores=0,2,4,6
/proc/11994/stat : 11994 (java) S 11992 11992 5091 0 -1 1077944320 52026 0 0 0 858 13 0 0 20 0 15 0 10522171 14316269568 65748 18446744073709551615 4194304 4196468 140735540423488 140735540406032 139952948190967 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
/proc/11994/statm: 3495183 65748 3213 1 0 3483484 0
[pid=11994/tid=11995] ppid=11992 vsize=13980732 CPUtime=2.95 cores=0,2,4,6
/proc/11994/task/11995/stat : 11995 (java) R 11992 11992 5091 0 -1 4202560 10329 0 0 0 290 5 0 0 20 0 15 0 10522172 14316269568 65748 18446744073709551615 4194304 4196468 140735540423488 139952952428968 139952933898711 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=11996] ppid=11992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11994/task/11996/stat : 11996 (java) S 11992 11992 5091 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 10522172 14316269568 65748 18446744073709551615 4194304 4196468 140735540423488 139952920034192 139952948201173 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=11997] ppid=11992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11994/task/11997/stat : 11997 (java) S 11992 11992 5091 0 -1 1077944384 249 0 0 0 0 0 0 0 20 0 15 0 10522172 14316269568 65748 18446744073709551615 4194304 4196468 140735540423488 139952547425040 139952948201173 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=11998] ppid=11992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11994/task/11998/stat : 11998 (java) S 11992 11992 5091 0 -1 1077944384 347 0 0 0 0 0 0 0 20 0 15 0 10522172 14316269568 65748 18446744073709551615 4194304 4196468 140735540423488 139952546372752 139952948201173 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=11999] ppid=11992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11994/task/11999/stat : 11999 (java) S 11992 11992 5091 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 10522172 14316269568 65748 18446744073709551615 4194304 4196468 140735540423488 139952545319952 139952948201173 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12000] ppid=11992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11994/task/12000/stat : 12000 (java) S 11992 11992 5091 0 -1 1077944384 229 0 0 0 0 0 0 0 20 0 15 0 10522174 14316269568 65748 18446744073709551615 4194304 4196468 140735540423488 139951865010288 139952948202114 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12001] ppid=11992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11994/task/12001/stat : 12001 (java) S 11992 11992 5091 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 10522174 14316269568 65748 18446744073709551615 4194304 4196468 140735540423488 139951863956256 139952948201173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12002] ppid=11992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11994/task/12002/stat : 12002 (java) S 11992 11992 5091 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 10522174 14316269568 65748 18446744073709551615 4194304 4196468 140735540423488 139951862903920 139952948201173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12003] ppid=11992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11994/task/12003/stat : 12003 (java) S 11992 11992 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10522177 14316269568 65748 18446744073709551615 4194304 4196468 140735540423488 139951861852240 139952948209563 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12004] ppid=11992 vsize=13980732 CPUtime=2.53 cores=0,2,4,6
/proc/11994/task/12004/stat : 12004 (java) R 11992 11992 5091 0 -1 4202560 9676 0 0 0 252 1 0 0 20 0 15 0 10522177 14316269568 65748 18446744073709551615 4194304 4196468 140735540423488 139951860793304 139952929735504 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12005] ppid=11992 vsize=13980732 CPUtime=2.54 cores=0,2,4,6
/proc/11994/task/12005/stat : 12005 (java) R 11992 11992 5091 0 -1 4202560 25053 0 0 0 251 3 0 0 20 0 15 0 10522177 14316269568 65748 18446744073709551615 4194304 4196468 140735540423488 139951859734192 139952929712367 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12006] ppid=11992 vsize=13980732 CPUtime=0.61 cores=0,2,4,6
/proc/11994/task/12006/stat : 12006 (java) S 11992 11992 5091 0 -1 1077944384 4643 0 0 0 60 1 0 0 20 0 15 0 10522177 14316269568 65748 18446744073709551615 4194304 4196468 140735540423488 139951858695024 139952948202114 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12007] ppid=11992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11994/task/12007/stat : 12007 (java) S 11992 11992 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10522177 14316269568 65748 18446744073709551615 4194304 4196468 140735540423488 139951857642464 139952948201173 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12008] ppid=11992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11994/task/12008/stat : 12008 (java) S 11992 11992 5091 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 10522180 14316269568 65748 18446744073709551615 4194304 4196468 140735540423488 139951856589232 139952948202114 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
Current children cumulated CPU time (s) 8.71
Current children cumulated vsize (KiB) 13990244
[startup+6.30067 s]
/proc/loadavg: 1.50 1.84 1.91 3/211 12008
/proc/meminfo: memFree=31400316/32770624 swapFree=0/189276
[pid=11992] ppid=11989 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11992/stat : 11992 (xcsp3-exec) S 11989 11992 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10522164 9740288 344 18446744073709551615 4194304 5098028 140732044676272 140732044674376 140404190294652 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 18821120 140732044677531 140732044677735 140732044677735 140732044681195 0
/proc/11992/statm: 2378 344 289 221 0 87 0
[pid=11994] ppid=11992 vsize=13980732 CPUtime=15.13 cores=0,2,4,6
/proc/11994/stat : 11994 (java) S 11992 11992 5091 0 -1 1077944320 53267 0 0 0 1498 15 0 0 20 0 15 0 10522171 14316269568 66993 18446744073709551615 4194304 4196468 140735540423488 140735540406032 139952948190967 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
/proc/11994/statm: 3495183 66993 3221 1 0 3483484 0
[pid=11994/tid=11995] ppid=11992 vsize=13980732 CPUtime=6.14 cores=0,2,4,6
/proc/11994/task/11995/stat : 11995 (java) R 11992 11992 5091 0 -1 4202560 10394 0 0 0 608 6 0 0 20 0 15 0 10522172 14316269568 66993 18446744073709551615 4194304 4196468 140735540423488 139952952429848 139952593316043 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=11996] ppid=11992 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/11994/task/11996/stat : 11996 (java) S 11992 11992 5091 0 -1 1077944384 68 0 0 0 1 0 0 0 20 0 15 0 10522172 14316269568 66993 18446744073709551615 4194304 4196468 140735540423488 139952920034192 139952948201173 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=11997] ppid=11992 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/11994/task/11997/stat : 11997 (java) S 11992 11992 5091 0 -1 1077944384 259 0 0 0 1 0 0 0 20 0 15 0 10522172 14316269568 66993 18446744073709551615 4194304 4196468 140735540423488 139952547425040 139952948201173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=11998] ppid=11992 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/11994/task/11998/stat : 11998 (java) S 11992 11992 5091 0 -1 1077944384 353 0 0 0 1 0 0 0 20 0 15 0 10522172 14316269568 66993 18446744073709551615 4194304 4196468 140735540423488 139952546372752 139952948201173 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=11999] ppid=11992 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/11994/task/11999/stat : 11999 (java) S 11992 11992 5091 0 -1 1077944384 75 0 0 0 1 0 0 0 20 0 15 0 10522172 14316269568 66993 18446744073709551615 4194304 4196468 140735540423488 139952545319952 139952948201173 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12000] ppid=11992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11994/task/12000/stat : 12000 (java) S 11992 11992 5091 0 -1 1077944384 230 0 0 0 0 0 0 0 20 0 15 0 10522174 14316269568 66993 18446744073709551615 4194304 4196468 140735540423488 139951865010288 139952948202114 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12001] ppid=11992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11994/task/12001/stat : 12001 (java) S 11992 11992 5091 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 10522174 14316269568 66993 18446744073709551615 4194304 4196468 140735540423488 139951863956256 139952948201173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12002] ppid=11992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11994/task/12002/stat : 12002 (java) S 11992 11992 5091 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 10522174 14316269568 66993 18446744073709551615 4194304 4196468 140735540423488 139951862903920 139952948201173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12003] ppid=11992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11994/task/12003/stat : 12003 (java) S 11992 11992 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10522177 14316269568 66993 18446744073709551615 4194304 4196468 140735540423488 139951861852240 139952948209563 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12004] ppid=11992 vsize=13980732 CPUtime=4.08 cores=0,2,4,6
/proc/11994/task/12004/stat : 12004 (java) S 11992 11992 5091 0 -1 1077944384 10471 0 0 0 406 2 0 0 20 0 15 0 10522177 14316269568 66993 18446744073709551615 4194304 4196468 140735540423488 139951860800112 139952948202114 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12005] ppid=11992 vsize=13980732 CPUtime=4.08 cores=0,2,4,6
/proc/11994/task/12005/stat : 12005 (java) S 11992 11992 5091 0 -1 1077944384 25291 0 0 0 405 3 0 0 20 0 15 0 10522177 14316269568 66993 18446744073709551615 4194304 4196468 140735540423488 139951859747312 139952948202114 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12006] ppid=11992 vsize=13980732 CPUtime=0.7 cores=0,2,4,6
/proc/11994/task/12006/stat : 12006 (java) S 11992 11992 5091 0 -1 1077944384 4750 0 0 0 69 1 0 0 20 0 15 0 10522177 14316269568 66993 18446744073709551615 4194304 4196468 140735540423488 139951858695024 139952948202114 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12007] ppid=11992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11994/task/12007/stat : 12007 (java) S 11992 11992 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10522177 14316269568 66993 18446744073709551615 4194304 4196468 140735540423488 139951857642464 139952948201173 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12008] ppid=11992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11994/task/12008/stat : 12008 (java) S 11992 11992 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10522180 14316269568 66993 18446744073709551615 4194304 4196468 140735540423488 139951856589232 139952948202114 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
Current children cumulated CPU time (s) 15.13
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 1.46 1.83 1.91 3/211 12008
/proc/meminfo: memFree=31400992/32770624 swapFree=0/189284
[pid=11992] ppid=11989 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11992/stat : 11992 (xcsp3-exec) S 11989 11992 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10522164 9740288 344 18446744073709551615 4194304 5098028 140732044676272 140732044674376 140404190294652 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 18821120 140732044677531 140732044677735 140732044677735 140732044681195 0
/proc/11992/statm: 2378 344 289 221 0 87 0
[pid=11994] ppid=11992 vsize=13980732 CPUtime=22.59 cores=0,2,4,6
/proc/11994/stat : 11994 (java) S 11992 11992 5091 0 -1 1077944320 65531 0 0 0 2242 17 0 0 20 0 15 0 10522171 14316269568 66776 18446744073709551615 4194304 4196468 140735540423488 140735540406032 139952948190967 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
/proc/11994/statm: 3495183 66776 3228 1 0 3483484 0
[pid=11994/tid=11995] ppid=11992 vsize=13980732 CPUtime=12.5 cores=0,2,4,6
/proc/11994/task/11995/stat : 11995 (java) R 11992 11992 5091 0 -1 4202560 11547 0 0 0 1244 6 0 0 20 0 15 0 10522172 14316269568 66776 18446744073709551615 4194304 4196468 140735540423488 139952952426960 139952589251800 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=11996] ppid=11992 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/11994/task/11996/stat : 11996 (java) S 11992 11992 5091 0 -1 1077944384 1031 0 0 0 4 0 0 0 20 0 15 0 10522172 14316269568 66776 18446744073709551615 4194304 4196468 140735540423488 139952920034192 139952948201173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=11997] ppid=11992 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/11994/task/11997/stat : 11997 (java) S 11992 11992 5091 0 -1 1077944384 351 0 0 0 4 0 0 0 20 0 15 0 10522172 14316269568 66776 18446744073709551615 4194304 4196468 140735540423488 139952547425040 139952948201173 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
################
# More data... #
################
/proc/11994/task/12006/stat : 12006 (java) S 11992 11992 5091 0 -1 1077944384 6604 0 0 0 73 2 0 0 20 0 15 0 10522177 14316269568 62170 18446744073709551615 4194304 4196468 140735540423488 139951858695024 139952948202114 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12007] ppid=11992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11994/task/12007/stat : 12007 (java) S 11992 11992 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10522177 14316269568 62170 18446744073709551615 4194304 4196468 140735540423488 139951857642464 139952948201173 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12008] ppid=11992 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/11994/task/12008/stat : 12008 (java) S 11992 11992 5091 0 -1 1077944384 225 0 0 0 0 1 0 0 20 0 15 0 10522180 14316269568 62170 18446744073709551615 4194304 4196468 140735540423488 139951856589232 139952948202114 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
Current children cumulated CPU time (s) 45.78
Current children cumulated vsize (KiB) 13990244
[startup+36.8007 s]
/proc/loadavg: 1.57 1.82 1.90 3/211 12008
/proc/meminfo: memFree=31420452/32770624 swapFree=0/189304
[pid=11992] ppid=11989 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11992/stat : 11992 (xcsp3-exec) S 11989 11992 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10522164 9740288 344 18446744073709551615 4194304 5098028 140732044676272 140732044674376 140404190294652 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 18821120 140732044677531 140732044677735 140732044677735 140732044681195 0
/proc/11992/statm: 2378 344 289 221 0 87 0
[pid=11994] ppid=11992 vsize=13980732 CPUtime=47.43 cores=0,2,4,6
/proc/11994/stat : 11994 (java) S 11992 11992 5091 0 -1 1077944320 77156 0 0 0 4723 20 0 0 20 0 15 0 10522171 14316269568 61535 18446744073709551615 4194304 4196468 140735540423488 140735540406032 139952948190967 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
/proc/11994/statm: 3495183 61535 3228 1 0 3483484 0
[pid=11994/tid=11995] ppid=11992 vsize=13980732 CPUtime=36.5 cores=0,2,4,6
/proc/11994/task/11995/stat : 11995 (java) R 11992 11992 5091 0 -1 4202560 13754 0 0 0 3644 6 0 0 20 0 15 0 10522172 14316269568 61535 18446744073709551615 4194304 4196468 140735540423488 139952952430448 139952595400254 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=11996] ppid=11992 vsize=13980732 CPUtime=0.12 cores=0,2,4,6
/proc/11994/task/11996/stat : 11996 (java) S 11992 11992 5091 0 -1 1077944384 1505 0 0 0 12 0 0 0 20 0 15 0 10522172 14316269568 61535 18446744073709551615 4194304 4196468 140735540423488 139952920034192 139952948201173 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=11997] ppid=11992 vsize=13980732 CPUtime=0.13 cores=0,2,4,6
/proc/11994/task/11997/stat : 11997 (java) S 11992 11992 5091 0 -1 1077944384 476 0 0 0 12 1 0 0 20 0 15 0 10522172 14316269568 61535 18446744073709551615 4194304 4196468 140735540423488 139952547425040 139952948201173 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=11998] ppid=11992 vsize=13980732 CPUtime=0.12 cores=0,2,4,6
/proc/11994/task/11998/stat : 11998 (java) S 11992 11992 5091 0 -1 1077944384 491 0 0 0 12 0 0 0 20 0 15 0 10522172 14316269568 61535 18446744073709551615 4194304 4196468 140735540423488 139952546372752 139952948201173 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=11999] ppid=11992 vsize=13980732 CPUtime=0.11 cores=0,2,4,6
/proc/11994/task/11999/stat : 11999 (java) S 11992 11992 5091 0 -1 1077944384 670 0 0 0 11 0 0 0 20 0 15 0 10522172 14316269568 61535 18446744073709551615 4194304 4196468 140735540423488 139952545319952 139952948201173 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12000] ppid=11992 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/11994/task/12000/stat : 12000 (java) S 11992 11992 5091 0 -1 1077944384 936 0 0 0 2 0 0 0 20 0 15 0 10522174 14316269568 61535 18446744073709551615 4194304 4196468 140735540423488 139951865010288 139952948202114 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12001] ppid=11992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11994/task/12001/stat : 12001 (java) S 11992 11992 5091 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 10522174 14316269568 61535 18446744073709551615 4194304 4196468 140735540423488 139951863956256 139952948201173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12002] ppid=11992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11994/task/12002/stat : 12002 (java) S 11992 11992 5091 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 10522174 14316269568 61535 18446744073709551615 4194304 4196468 140735540423488 139951862903920 139952948201173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12003] ppid=11992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11994/task/12003/stat : 12003 (java) S 11992 11992 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10522177 14316269568 61535 18446744073709551615 4194304 4196468 140735540423488 139951861852240 139952948209563 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12004] ppid=11992 vsize=13980732 CPUtime=4.95 cores=0,2,4,6
/proc/11994/task/12004/stat : 12004 (java) S 11992 11992 5091 0 -1 1077944384 19280 0 0 0 493 2 0 0 20 0 15 0 10522177 14316269568 61535 18446744073709551615 4194304 4196468 140735540423488 139951860800112 139952948202114 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12005] ppid=11992 vsize=13980732 CPUtime=4.61 cores=0,2,4,6
/proc/11994/task/12005/stat : 12005 (java) S 11992 11992 5091 0 -1 1077944384 31722 0 0 0 458 3 0 0 20 0 15 0 10522177 14316269568 61535 18446744073709551615 4194304 4196468 140735540423488 139951859747312 139952948202114 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12006] ppid=11992 vsize=13980732 CPUtime=0.75 cores=0,2,4,6
/proc/11994/task/12006/stat : 12006 (java) S 11992 11992 5091 0 -1 1077944384 6740 0 0 0 73 2 0 0 20 0 15 0 10522177 14316269568 61535 18446744073709551615 4194304 4196468 140735540423488 139951858695024 139952948202114 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12007] ppid=11992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11994/task/12007/stat : 12007 (java) S 11992 11992 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10522177 14316269568 61535 18446744073709551615 4194304 4196468 140735540423488 139951857642464 139952948201173 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12008] ppid=11992 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/11994/task/12008/stat : 12008 (java) S 11992 11992 5091 0 -1 1077944384 227 0 0 0 1 1 0 0 20 0 15 0 10522180 14316269568 61535 18446744073709551615 4194304 4196468 140735540423488 139951856589232 139952948202114 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
Current children cumulated CPU time (s) 47.43
Current children cumulated vsize (KiB) 13990244
[startup+38.4007 s]
/proc/loadavg: 1.57 1.82 1.90 3/211 12008
/proc/meminfo: memFree=31419892/32770624 swapFree=0/189304
[pid=11992] ppid=11989 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11992/stat : 11992 (xcsp3-exec) S 11989 11992 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10522164 9740288 344 18446744073709551615 4194304 5098028 140732044676272 140732044674376 140404190294652 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 18821120 140732044677531 140732044677735 140732044677735 140732044681195 0
/proc/11992/statm: 2378 344 289 221 0 87 0
[pid=11994] ppid=11992 vsize=13980732 CPUtime=49.07 cores=0,2,4,6
/proc/11994/stat : 11994 (java) S 11992 11992 5091 0 -1 1077944320 78386 0 0 0 4887 20 0 0 20 0 15 0 10522171 14316269568 61666 18446744073709551615 4194304 4196468 140735540423488 140735540406032 139952948190967 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
/proc/11994/statm: 3495183 61666 3228 1 0 3483484 0
[pid=11994/tid=11995] ppid=11992 vsize=13980732 CPUtime=38.09 cores=0,2,4,6
/proc/11994/task/11995/stat : 11995 (java) R 11992 11992 5091 0 -1 4202560 13775 0 0 0 3803 6 0 0 20 0 15 0 10522172 14316269568 61666 18446744073709551615 4194304 4196468 140735540423488 139952952429680 139952594647685 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=11996] ppid=11992 vsize=13980732 CPUtime=0.12 cores=0,2,4,6
/proc/11994/task/11996/stat : 11996 (java) S 11992 11992 5091 0 -1 1077944384 1507 0 0 0 12 0 0 0 20 0 15 0 10522172 14316269568 61666 18446744073709551615 4194304 4196468 140735540423488 139952920034192 139952948201173 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=11997] ppid=11992 vsize=13980732 CPUtime=0.13 cores=0,2,4,6
/proc/11994/task/11997/stat : 11997 (java) S 11992 11992 5091 0 -1 1077944384 482 0 0 0 12 1 0 0 20 0 15 0 10522172 14316269568 61666 18446744073709551615 4194304 4196468 140735540423488 139952547425040 139952948201173 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=11998] ppid=11992 vsize=13980732 CPUtime=0.13 cores=0,2,4,6
/proc/11994/task/11998/stat : 11998 (java) S 11992 11992 5091 0 -1 1077944384 494 0 0 0 12 1 0 0 20 0 15 0 10522172 14316269568 61666 18446744073709551615 4194304 4196468 140735540423488 139952546372752 139952948201173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=11999] ppid=11992 vsize=13980732 CPUtime=0.12 cores=0,2,4,6
/proc/11994/task/11999/stat : 11999 (java) S 11992 11992 5091 0 -1 1077944384 671 0 0 0 12 0 0 0 20 0 15 0 10522172 14316269568 61666 18446744073709551615 4194304 4196468 140735540423488 139952545319952 139952948201173 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12000] ppid=11992 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/11994/task/12000/stat : 12000 (java) S 11992 11992 5091 0 -1 1077944384 937 0 0 0 2 0 0 0 20 0 15 0 10522174 14316269568 61666 18446744073709551615 4194304 4196468 140735540423488 139951865010288 139952948202114 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12001] ppid=11992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11994/task/12001/stat : 12001 (java) S 11992 11992 5091 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 10522174 14316269568 61666 18446744073709551615 4194304 4196468 140735540423488 139951863956256 139952948201173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12002] ppid=11992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11994/task/12002/stat : 12002 (java) S 11992 11992 5091 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 10522174 14316269568 61666 18446744073709551615 4194304 4196468 140735540423488 139951862903920 139952948201173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12003] ppid=11992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11994/task/12003/stat : 12003 (java) S 11992 11992 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10522177 14316269568 61666 18446744073709551615 4194304 4196468 140735540423488 139951861852240 139952948209563 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12004] ppid=11992 vsize=13980732 CPUtime=4.96 cores=0,2,4,6
/proc/11994/task/12004/stat : 12004 (java) S 11992 11992 5091 0 -1 1077944384 19374 0 0 0 494 2 0 0 20 0 15 0 10522177 14316269568 61666 18446744073709551615 4194304 4196468 140735540423488 139951860800112 139952948202114 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12005] ppid=11992 vsize=13980732 CPUtime=4.63 cores=0,2,4,6
/proc/11994/task/12005/stat : 12005 (java) R 11992 11992 5091 0 -1 4202560 32131 0 0 0 460 3 0 0 20 0 15 0 10522177 14316269568 61666 18446744073709551615 4194304 4196468 140735540423488 139951859747312 139952926017793 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12006] ppid=11992 vsize=13980732 CPUtime=0.76 cores=0,2,4,6
/proc/11994/task/12006/stat : 12006 (java) S 11992 11992 5091 0 -1 1077944384 7438 0 0 0 74 2 0 0 20 0 15 0 10522177 14316269568 61666 18446744073709551615 4194304 4196468 140735540423488 139951858695024 139952948202114 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12007] ppid=11992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11994/task/12007/stat : 12007 (java) S 11992 11992 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10522177 14316269568 61666 18446744073709551615 4194304 4196468 140735540423488 139951857642464 139952948201173 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12008] ppid=11992 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/11994/task/12008/stat : 12008 (java) S 11992 11992 5091 0 -1 1077944384 227 0 0 0 1 1 0 0 20 0 15 0 10522180 14316269568 61666 18446744073709551615 4194304 4196468 140735540423488 139951856589232 139952948202114 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
Current children cumulated CPU time (s) 49.07
Current children cumulated vsize (KiB) 13990244
[startup+38.8008 s]
/proc/loadavg: 1.57 1.82 1.90 3/211 12008
/proc/meminfo: memFree=31420080/32770624 swapFree=0/189304
[pid=11992] ppid=11989 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11992/stat : 11992 (xcsp3-exec) S 11989 11992 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10522164 9740288 344 18446744073709551615 4194304 5098028 140732044676272 140732044674376 140404190294652 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 18821120 140732044677531 140732044677735 140732044677735 140732044681195 0
/proc/11992/statm: 2378 344 289 221 0 87 0
[pid=11994] ppid=11992 vsize=13980732 CPUtime=49.52 cores=0,2,4,6
/proc/11994/stat : 11994 (java) S 11992 11992 5091 0 -1 1077944320 78692 0 0 0 4932 20 0 0 20 0 15 0 10522171 14316269568 61034 18446744073709551615 4194304 4196468 140735540423488 140735540406032 139952948190967 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
/proc/11994/statm: 3495183 61034 3228 1 0 3483484 0
[pid=11994/tid=11995] ppid=11992 vsize=13980732 CPUtime=38.48 cores=0,2,4,6
/proc/11994/task/11995/stat : 11995 (java) R 11992 11992 5091 0 -1 4202560 13776 0 0 0 3842 6 0 0 20 0 15 0 10522172 14316269568 61034 18446744073709551615 4194304 4196468 140735540423488 139952952430688 139952595578667 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=11996] ppid=11992 vsize=13980732 CPUtime=0.13 cores=0,2,4,6
/proc/11994/task/11996/stat : 11996 (java) S 11992 11992 5091 0 -1 1077944384 1510 0 0 0 13 0 0 0 20 0 15 0 10522172 14316269568 61034 18446744073709551615 4194304 4196468 140735540423488 139952920034192 139952948201173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=11997] ppid=11992 vsize=13980732 CPUtime=0.14 cores=0,2,4,6
/proc/11994/task/11997/stat : 11997 (java) S 11992 11992 5091 0 -1 1077944384 485 0 0 0 13 1 0 0 20 0 15 0 10522172 14316269568 61034 18446744073709551615 4194304 4196468 140735540423488 139952547425040 139952948201173 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=11998] ppid=11992 vsize=13980732 CPUtime=0.13 cores=0,2,4,6
/proc/11994/task/11998/stat : 11998 (java) S 11992 11992 5091 0 -1 1077944384 494 0 0 0 12 1 0 0 20 0 15 0 10522172 14316269568 61034 18446744073709551615 4194304 4196468 140735540423488 139952546372752 139952948201173 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=11999] ppid=11992 vsize=13980732 CPUtime=0.12 cores=0,2,4,6
/proc/11994/task/11999/stat : 11999 (java) S 11992 11992 5091 0 -1 1077944384 687 0 0 0 12 0 0 0 20 0 15 0 10522172 14316269568 61034 18446744073709551615 4194304 4196468 140735540423488 139952545319952 139952948201173 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12000] ppid=11992 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/11994/task/12000/stat : 12000 (java) S 11992 11992 5091 0 -1 1077944384 940 0 0 0 2 0 0 0 20 0 15 0 10522174 14316269568 61034 18446744073709551615 4194304 4196468 140735540423488 139951865010288 139952948202114 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12001] ppid=11992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11994/task/12001/stat : 12001 (java) S 11992 11992 5091 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 10522174 14316269568 61034 18446744073709551615 4194304 4196468 140735540423488 139951863956256 139952948201173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12002] ppid=11992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11994/task/12002/stat : 12002 (java) S 11992 11992 5091 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 10522174 14316269568 61034 18446744073709551615 4194304 4196468 140735540423488 139951862903920 139952948201173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12003] ppid=11992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11994/task/12003/stat : 12003 (java) S 11992 11992 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10522177 14316269568 61034 18446744073709551615 4194304 4196468 140735540423488 139951861852240 139952948209563 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12004] ppid=11992 vsize=13980732 CPUtime=4.96 cores=0,2,4,6
/proc/11994/task/12004/stat : 12004 (java) S 11992 11992 5091 0 -1 1077944384 19374 0 0 0 494 2 0 0 20 0 15 0 10522177 14316269568 61034 18446744073709551615 4194304 4196468 140735540423488 139951860800112 139952948202114 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12005] ppid=11992 vsize=13980732 CPUtime=4.67 cores=0,2,4,6
/proc/11994/task/12005/stat : 12005 (java) S 11992 11992 5091 0 -1 1077944384 32406 0 0 0 464 3 0 0 20 0 15 0 10522177 14316269568 61034 18446744073709551615 4194304 4196468 140735540423488 139951859747312 139952948202114 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12006] ppid=11992 vsize=13980732 CPUtime=0.76 cores=0,2,4,6
/proc/11994/task/12006/stat : 12006 (java) S 11992 11992 5091 0 -1 1077944384 7438 0 0 0 74 2 0 0 20 0 15 0 10522177 14316269568 61034 18446744073709551615 4194304 4196468 140735540423488 139951858695024 139952948202114 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12007] ppid=11992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11994/task/12007/stat : 12007 (java) S 11992 11992 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10522177 14316269568 61034 18446744073709551615 4194304 4196468 140735540423488 139951857642464 139952948201173 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12008] ppid=11992 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/11994/task/12008/stat : 12008 (java) S 11992 11992 5091 0 -1 1077944384 227 0 0 0 1 1 0 0 20 0 15 0 10522180 14316269568 61034 18446744073709551615 4194304 4196468 140735540423488 139951856589232 139952948202114 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
Current children cumulated CPU time (s) 49.52
Current children cumulated vsize (KiB) 13990244
[startup+39.0007 s]
/proc/loadavg: 1.57 1.82 1.90 3/211 12008
/proc/meminfo: memFree=31420080/32770624 swapFree=0/189304
[pid=11992] ppid=11989 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11992/stat : 11992 (xcsp3-exec) S 11989 11992 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10522164 9740288 344 18446744073709551615 4194304 5098028 140732044676272 140732044674376 140404190294652 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 18821120 140732044677531 140732044677735 140732044677735 140732044681195 0
/proc/11992/statm: 2378 344 289 221 0 87 0
[pid=11994] ppid=11992 vsize=13980732 CPUtime=49.72 cores=0,2,4,6
/proc/11994/stat : 11994 (java) S 11992 11992 5091 0 -1 1077944320 78693 0 0 0 4952 20 0 0 20 0 15 0 10522171 14316269568 61034 18446744073709551615 4194304 4196468 140735540423488 140735540406032 139952948190967 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
/proc/11994/statm: 3495183 61034 3228 1 0 3483484 0
[pid=11994/tid=11995] ppid=11992 vsize=13980732 CPUtime=38.68 cores=0,2,4,6
/proc/11994/task/11995/stat : 11995 (java) R 11992 11992 5091 0 -1 4202560 13777 0 0 0 3862 6 0 0 20 0 15 0 10522172 14316269568 61034 18446744073709551615 4194304 4196468 140735540423488 139952952430688 139952595228194 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=11996] ppid=11992 vsize=13980732 CPUtime=0.13 cores=0,2,4,6
/proc/11994/task/11996/stat : 11996 (java) S 11992 11992 5091 0 -1 1077944384 1510 0 0 0 13 0 0 0 20 0 15 0 10522172 14316269568 61034 18446744073709551615 4194304 4196468 140735540423488 139952920034192 139952948201173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=11997] ppid=11992 vsize=13980732 CPUtime=0.14 cores=0,2,4,6
/proc/11994/task/11997/stat : 11997 (java) S 11992 11992 5091 0 -1 1077944384 485 0 0 0 13 1 0 0 20 0 15 0 10522172 14316269568 61034 18446744073709551615 4194304 4196468 140735540423488 139952547425040 139952948201173 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=11998] ppid=11992 vsize=13980732 CPUtime=0.13 cores=0,2,4,6
/proc/11994/task/11998/stat : 11998 (java) S 11992 11992 5091 0 -1 1077944384 494 0 0 0 12 1 0 0 20 0 15 0 10522172 14316269568 61034 18446744073709551615 4194304 4196468 140735540423488 139952546372752 139952948201173 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=11999] ppid=11992 vsize=13980732 CPUtime=0.12 cores=0,2,4,6
/proc/11994/task/11999/stat : 11999 (java) S 11992 11992 5091 0 -1 1077944384 687 0 0 0 12 0 0 0 20 0 15 0 10522172 14316269568 61034 18446744073709551615 4194304 4196468 140735540423488 139952545319952 139952948201173 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12000] ppid=11992 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/11994/task/12000/stat : 12000 (java) S 11992 11992 5091 0 -1 1077944384 940 0 0 0 2 0 0 0 20 0 15 0 10522174 14316269568 61034 18446744073709551615 4194304 4196468 140735540423488 139951865010288 139952948202114 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12001] ppid=11992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11994/task/12001/stat : 12001 (java) S 11992 11992 5091 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 10522174 14316269568 61034 18446744073709551615 4194304 4196468 140735540423488 139951863956256 139952948201173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12002] ppid=11992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11994/task/12002/stat : 12002 (java) S 11992 11992 5091 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 10522174 14316269568 61034 18446744073709551615 4194304 4196468 140735540423488 139951862903920 139952948201173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12003] ppid=11992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11994/task/12003/stat : 12003 (java) S 11992 11992 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10522177 14316269568 61034 18446744073709551615 4194304 4196468 140735540423488 139951861852240 139952948209563 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12004] ppid=11992 vsize=13980732 CPUtime=4.96 cores=0,2,4,6
/proc/11994/task/12004/stat : 12004 (java) S 11992 11992 5091 0 -1 1077944384 19374 0 0 0 494 2 0 0 20 0 15 0 10522177 14316269568 61034 18446744073709551615 4194304 4196468 140735540423488 139951860800112 139952948202114 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12005] ppid=11992 vsize=13980732 CPUtime=4.67 cores=0,2,4,6
/proc/11994/task/12005/stat : 12005 (java) S 11992 11992 5091 0 -1 1077944384 32406 0 0 0 464 3 0 0 20 0 15 0 10522177 14316269568 61034 18446744073709551615 4194304 4196468 140735540423488 139951859747312 139952948202114 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12006] ppid=11992 vsize=13980732 CPUtime=0.76 cores=0,2,4,6
/proc/11994/task/12006/stat : 12006 (java) S 11992 11992 5091 0 -1 1077944384 7438 0 0 0 74 2 0 0 20 0 15 0 10522177 14316269568 61034 18446744073709551615 4194304 4196468 140735540423488 139951858695024 139952948202114 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12007] ppid=11992 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11994/task/12007/stat : 12007 (java) S 11992 11992 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10522177 14316269568 61034 18446744073709551615 4194304 4196468 140735540423488 139951857642464 139952948201173 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
[pid=11994/tid=12008] ppid=11992 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/11994/task/12008/stat : 12008 (java) S 11992 11992 5091 0 -1 1077944384 227 0 0 0 1 1 0 0 20 0 15 0 10522180 14316269568 61034 18446744073709551615 4194304 4196468 140735540423488 139951856589232 139952948202114 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9461760 140735540425172 140735540425347 140735540425347 140735540428751 0
Current children cumulated CPU time (s) 49.72
Current children cumulated vsize (KiB) 13990244
Child status: 0
Real time (s): 39.0456
CPU time (s): 49.7796
CPU user time (s): 49.5611
CPU system time (s): 0.218584
CPU usage (%): 127.491
Max. virtual memory (cumulated for all children) (KiB): 13993880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 49.5611
system time used= 0.218584
maximum resident set size= 276884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79578
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4168
involuntary context switches= 82
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.185814 second user time and 0.240773 second system time
The end