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-4253969-1501981880/watcher-4253969-1501981880 -o /tmp/evaluation-result-4253969-1501981880/solver-4253969-1501981880 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501978181-12402 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1519088725 HOME/instance-4253969-1501981880.xml
pid=15187
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: 2.03 2.11 2.01 3/199 15190
/proc/meminfo: memFree=24599276/32770624 swapFree=0/318900
[pid=15190] ppid=15187 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/15190/stat : 15190 (runsolver) D 15187 15190 12039 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 97841272 24240128 106 18446744073709551615 4194304 4338465 140723372030480 140723372028120 140003909427927 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 35528704 140723372032098 140723372032588 140723372032588 140723372036042 0
/proc/15190/statm: 5918 106 53 36 0 2156 0
[startup+0.100106 s]
/proc/loadavg: 2.03 2.11 2.01 3/199 15190
/proc/meminfo: memFree=24599276/32770624 swapFree=0/318900
[pid=15190] ppid=15187 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15190/stat : 15190 (xcsp3-exec) S 15187 15190 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 97841272 9740288 345 18446744073709551615 4194304 5098028 140724196373376 140724196371480 140447638344316 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 37023744 140724196376993 140724196377197 140724196377197 140724196380651 0
/proc/15190/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200345 s]
/proc/loadavg: 2.03 2.11 2.01 3/199 15190
/proc/meminfo: memFree=24599276/32770624 swapFree=0/318900
[pid=15190] ppid=15187 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15190/stat : 15190 (xcsp3-exec) S 15187 15190 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 97841272 9740288 345 18446744073709551615 4194304 5098028 140724196373376 140724196371480 140447638344316 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 37023744 140724196376993 140724196377197 140724196377197 140724196380651 0
/proc/15190/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.305259 s]
/proc/loadavg: 2.03 2.11 2.01 3/199 15190
/proc/meminfo: memFree=24599276/32770624 swapFree=0/318900
[pid=15190] ppid=15187 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15190/stat : 15190 (xcsp3-exec) S 15187 15190 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 97841272 9740288 345 18446744073709551615 4194304 5098028 140724196373376 140724196371480 140447638344316 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 37023744 140724196376993 140724196377197 140724196377197 140724196380651 0
/proc/15190/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700862 s]
/proc/loadavg: 2.03 2.11 2.01 3/199 15190
/proc/meminfo: memFree=24599276/32770624 swapFree=0/318900
[pid=15190] ppid=15187 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15190/stat : 15190 (xcsp3-exec) S 15187 15190 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 97841272 9740288 345 18446744073709551615 4194304 5098028 140724196373376 140724196371480 140447638344316 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 37023744 140724196376993 140724196377197 140724196377197 140724196380651 0
/proc/15190/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50062 s]
/proc/loadavg: 2.03 2.11 2.01 4/215 15206
/proc/meminfo: memFree=24495148/32770624 swapFree=0/318932
[pid=15190] ppid=15187 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15190/stat : 15190 (xcsp3-exec) S 15187 15190 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 97841272 9740288 345 18446744073709551615 4194304 5098028 140724196373376 140724196371480 140447638344316 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 37023744 140724196376993 140724196377197 140724196377197 140724196380651 0
/proc/15190/statm: 2378 345 289 221 0 87 0
[pid=15192] ppid=15190 vsize=13980732 CPUtime=2.55 cores=0,2,4,6
/proc/15192/stat : 15192 (java) S 15190 15190 12039 0 -1 1077944320 16334 0 0 0 247 8 0 0 20 0 15 0 97841282 14316269568 43745 18446744073709551615 4194304 4196468 140721182835888 140721182818432 140415574380279 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
/proc/15192/statm: 3495183 43745 3200 1 0 3483476 0
[pid=15192/tid=15193] ppid=15190 vsize=13980732 CPUtime=1.3 cores=0,2,4,6
/proc/15192/task/15193/stat : 15193 (java) R 15190 15190 12039 0 -1 4202560 8996 0 0 0 125 5 0 0 20 0 15 0 97841282 14316269568 43745 18446744073709551615 4194304 4196468 140721182835888 140415578614576 140415186331951 0 4 1 16800974 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15194] ppid=15190 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15192/task/15194/stat : 15194 (java) S 15190 15190 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97841283 14316269568 43745 18446744073709551615 4194304 4196468 140721182835888 140415508814992 140415574390485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15195] ppid=15190 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15192/task/15195/stat : 15195 (java) S 15190 15190 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97841283 14316269568 43745 18446744073709551615 4194304 4196468 140721182835888 140415507762192 140415574390485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15196] ppid=15190 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15192/task/15196/stat : 15196 (java) S 15190 15190 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97841283 14316269568 43745 18446744073709551615 4194304 4196468 140721182835888 140415506709392 140415574390485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15197] ppid=15190 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15192/task/15197/stat : 15197 (java) S 15190 15190 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97841283 14316269568 43745 18446744073709551615 4194304 4196468 140721182835888 140415505656592 140415574390485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15198] ppid=15190 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15192/task/15198/stat : 15198 (java) S 15190 15190 12039 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 15 0 97841284 14316269568 43745 18446744073709551615 4194304 4196468 140721182835888 140415052765552 140415574391426 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15199] ppid=15190 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15192/task/15199/stat : 15199 (java) S 15190 15190 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97841285 14316269568 43745 18446744073709551615 4194304 4196468 140721182835888 140415051711520 140415574390485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15200] ppid=15190 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15192/task/15200/stat : 15200 (java) S 15190 15190 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97841285 14316269568 43745 18446744073709551615 4194304 4196468 140721182835888 140415050658672 140415574390485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15201] ppid=15190 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15192/task/15201/stat : 15201 (java) S 15190 15190 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97841287 14316269568 43745 18446744073709551615 4194304 4196468 140721182835888 140415049606992 140415574398875 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15202] ppid=15190 vsize=13980732 CPUtime=0.4 cores=0,2,4,6
/proc/15192/task/15202/stat : 15202 (java) S 15190 15190 12039 0 -1 1077944384 2390 0 0 0 40 0 0 0 20 0 15 0 97841287 14316269568 43745 18446744073709551615 4194304 4196468 140721182835888 140415048555376 140415574391426 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15203] ppid=15190 vsize=13980732 CPUtime=0.35 cores=0,2,4,6
/proc/15192/task/15203/stat : 15203 (java) S 15190 15190 12039 0 -1 1077944384 1543 0 0 0 35 0 0 0 20 0 15 0 97841287 14316269568 43745 18446744073709551615 4194304 4196468 140721182835888 140415047502576 140415574391426 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15204] ppid=15190 vsize=13980732 CPUtime=0.46 cores=0,2,4,6
/proc/15192/task/15204/stat : 15204 (java) S 15190 15190 12039 0 -1 1077944384 1980 0 0 0 46 0 0 0 20 0 15 0 97841287 14316269568 43745 18446744073709551615 4194304 4196468 140721182835888 140415046449776 140415574391426 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15205] ppid=15190 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15192/task/15205/stat : 15205 (java) S 15190 15190 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97841287 14316269568 43745 18446744073709551615 4194304 4196468 140721182835888 140415045397216 140415574390485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15206] ppid=15190 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15192/task/15206/stat : 15206 (java) S 15190 15190 12039 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 97841296 14316269568 43745 18446744073709551615 4194304 4196468 140721182835888 140415044344496 140415574391426 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
Current children cumulated CPU time (s) 2.55
Current children cumulated vsize (KiB) 13990244
[startup+3.10057 s]
/proc/loadavg: 2.03 2.11 2.01 3/215 15206
/proc/meminfo: memFree=24419812/32770624 swapFree=0/318932
[pid=15190] ppid=15187 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15190/stat : 15190 (xcsp3-exec) S 15187 15190 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 97841272 9740288 345 18446744073709551615 4194304 5098028 140724196373376 140724196371480 140447638344316 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 37023744 140724196376993 140724196377197 140724196377197 140724196380651 0
/proc/15190/statm: 2378 345 289 221 0 87 0
[pid=15192] ppid=15190 vsize=13980732 CPUtime=4.75 cores=0,2,4,6
/proc/15192/stat : 15192 (java) S 15190 15190 12039 0 -1 1077944320 21265 0 0 0 466 9 0 0 20 0 15 0 97841282 14316269568 48239 18446744073709551615 4194304 4196468 140721182835888 140721182818432 140415574380279 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
/proc/15192/statm: 3495183 48239 3229 1 0 3483476 0
[pid=15192/tid=15193] ppid=15190 vsize=13980732 CPUtime=2.89 cores=0,2,4,6
/proc/15192/task/15193/stat : 15193 (java) R 15190 15190 12039 0 -1 4202560 9334 0 0 0 284 5 0 0 20 0 15 0 97841282 14316269568 48239 18446744073709551615 4194304 4196468 140721182835888 140415578617320 140415181383424 0 4 1 16800974 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15194] ppid=15190 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15192/task/15194/stat : 15194 (java) S 15190 15190 12039 0 -1 1077944384 334 0 0 0 0 0 0 0 20 0 15 0 97841283 14316269568 48239 18446744073709551615 4194304 4196468 140721182835888 140415508814992 140415574390485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15195] ppid=15190 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15192/task/15195/stat : 15195 (java) S 15190 15190 12039 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 97841283 14316269568 48239 18446744073709551615 4194304 4196468 140721182835888 140415507762192 140415574390485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15196] ppid=15190 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15192/task/15196/stat : 15196 (java) S 15190 15190 12039 0 -1 1077944384 475 0 0 0 0 0 0 0 20 0 15 0 97841283 14316269568 48239 18446744073709551615 4194304 4196468 140721182835888 140415506709392 140415574390485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15197] ppid=15190 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15192/task/15197/stat : 15197 (java) S 15190 15190 12039 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 15 0 97841283 14316269568 48239 18446744073709551615 4194304 4196468 140721182835888 140415505656592 140415574390485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15198] ppid=15190 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15192/task/15198/stat : 15198 (java) S 15190 15190 12039 0 -1 1077944384 254 0 0 0 0 0 0 0 20 0 15 0 97841284 14316269568 48239 18446744073709551615 4194304 4196468 140721182835888 140415052765552 140415574391426 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15199] ppid=15190 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15192/task/15199/stat : 15199 (java) S 15190 15190 12039 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 97841285 14316269568 48239 18446744073709551615 4194304 4196468 140721182835888 140415051711520 140415574390485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15200] ppid=15190 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15192/task/15200/stat : 15200 (java) S 15190 15190 12039 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 97841285 14316269568 48239 18446744073709551615 4194304 4196468 140721182835888 140415050658672 140415574390485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15201] ppid=15190 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15192/task/15201/stat : 15201 (java) S 15190 15190 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97841287 14316269568 48239 18446744073709551615 4194304 4196468 140721182835888 140415049606992 140415574398875 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15202] ppid=15190 vsize=13980732 CPUtime=0.71 cores=0,2,4,6
/proc/15192/task/15202/stat : 15202 (java) S 15190 15190 12039 0 -1 1077944384 4001 0 0 0 70 1 0 0 20 0 15 0 97841287 14316269568 48239 18446744073709551615 4194304 4196468 140721182835888 140415048555376 140415574391426 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15203] ppid=15190 vsize=13980732 CPUtime=0.57 cores=0,2,4,6
/proc/15192/task/15203/stat : 15203 (java) S 15190 15190 12039 0 -1 1077944384 2422 0 0 0 57 0 0 0 20 0 15 0 97841287 14316269568 48239 18446744073709551615 4194304 4196468 140721182835888 140415047502576 140415574391426 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15204] ppid=15190 vsize=13980732 CPUtime=0.52 cores=0,2,4,6
/proc/15192/task/15204/stat : 15204 (java) S 15190 15190 12039 0 -1 1077944384 2890 0 0 0 52 0 0 0 20 0 15 0 97841287 14316269568 48239 18446744073709551615 4194304 4196468 140721182835888 140415046449776 140415574391426 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15205] ppid=15190 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15192/task/15205/stat : 15205 (java) S 15190 15190 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97841287 14316269568 48239 18446744073709551615 4194304 4196468 140721182835888 140415045397216 140415574390485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15206] ppid=15190 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15192/task/15206/stat : 15206 (java) S 15190 15190 12039 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 97841296 14316269568 48239 18446744073709551615 4194304 4196468 140721182835888 140415044344496 140415574391426 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
Current children cumulated CPU time (s) 4.75
Current children cumulated vsize (KiB) 13990244
[startup+6.30069 s]
/proc/loadavg: 2.02 2.11 2.01 3/215 15206
/proc/meminfo: memFree=24374812/32770624 swapFree=0/318936
[pid=15190] ppid=15187 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15190/stat : 15190 (xcsp3-exec) S 15187 15190 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 97841272 9740288 345 18446744073709551615 4194304 5098028 140724196373376 140724196371480 140447638344316 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 37023744 140724196376993 140724196377197 140724196377197 140724196380651 0
/proc/15190/statm: 2378 345 289 221 0 87 0
[pid=15192] ppid=15190 vsize=13980732 CPUtime=10.8 cores=0,2,4,6
/proc/15192/stat : 15192 (java) S 15190 15190 12039 0 -1 1077944320 32420 0 0 0 1067 13 0 0 20 0 15 0 97841282 14316269568 58528 18446744073709551615 4194304 4196468 140721182835888 140721182818432 140415574380279 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
/proc/15192/statm: 3495183 58528 3238 1 0 3483476 0
[pid=15192/tid=15193] ppid=15190 vsize=13980732 CPUtime=6.03 cores=0,2,4,6
/proc/15192/task/15193/stat : 15193 (java) R 15190 15190 12039 0 -1 4202560 9377 0 0 0 598 5 0 0 20 0 15 0 97841282 14316269568 58528 18446744073709551615 4194304 4196468 140721182835888 140415578617352 140415188185600 0 4 1 16800974 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15194] ppid=15190 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/15192/task/15194/stat : 15194 (java) S 15190 15190 12039 0 -1 1077944384 342 0 0 0 1 0 0 0 20 0 15 0 97841283 14316269568 58528 18446744073709551615 4194304 4196468 140721182835888 140415508814992 140415574390485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15195] ppid=15190 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/15192/task/15195/stat : 15195 (java) S 15190 15190 12039 0 -1 1077944384 72 0 0 0 1 0 0 0 20 0 15 0 97841283 14316269568 58528 18446744073709551615 4194304 4196468 140721182835888 140415507762192 140415574390485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15196] ppid=15190 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/15192/task/15196/stat : 15196 (java) S 15190 15190 12039 0 -1 1077944384 487 0 0 0 1 0 0 0 20 0 15 0 97841283 14316269568 58528 18446744073709551615 4194304 4196468 140721182835888 140415506709392 140415574390485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15197] ppid=15190 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15192/task/15197/stat : 15197 (java) S 15190 15190 12039 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 15 0 97841283 14316269568 58528 18446744073709551615 4194304 4196468 140721182835888 140415505656592 140415574390485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15198] ppid=15190 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15192/task/15198/stat : 15198 (java) S 15190 15190 12039 0 -1 1077944384 257 0 0 0 0 0 0 0 20 0 15 0 97841284 14316269568 58528 18446744073709551615 4194304 4196468 140721182835888 140415052765552 140415574391426 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15199] ppid=15190 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15192/task/15199/stat : 15199 (java) S 15190 15190 12039 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 97841285 14316269568 58528 18446744073709551615 4194304 4196468 140721182835888 140415051711584 140415574390485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15200] ppid=15190 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15192/task/15200/stat : 15200 (java) S 15190 15190 12039 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 97841285 14316269568 58528 18446744073709551615 4194304 4196468 140721182835888 140415050658688 140415574390485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15201] ppid=15190 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15192/task/15201/stat : 15201 (java) S 15190 15190 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97841287 14316269568 58528 18446744073709551615 4194304 4196468 140721182835888 140415049606992 140415574398875 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15202] ppid=15190 vsize=13980732 CPUtime=2.19 cores=0,2,4,6
/proc/15192/task/15202/stat : 15202 (java) S 15190 15190 12039 0 -1 1077944384 8835 0 0 0 217 2 0 0 20 0 15 0 97841287 14316269568 58528 18446744073709551615 4194304 4196468 140721182835888 140415048555376 140415574391426 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15203] ppid=15190 vsize=13980732 CPUtime=1.87 cores=0,2,4,6
/proc/15192/task/15203/stat : 15203 (java) S 15190 15190 12039 0 -1 1077944384 8293 0 0 0 186 1 0 0 20 0 15 0 97841287 14316269568 58528 18446744073709551615 4194304 4196468 140721182835888 140415047502576 140415574391426 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15204] ppid=15190 vsize=13980732 CPUtime=0.59 cores=0,2,4,6
/proc/15192/task/15204/stat : 15204 (java) S 15190 15190 12039 0 -1 1077944384 3253 0 0 0 58 1 0 0 20 0 15 0 97841287 14316269568 58528 18446744073709551615 4194304 4196468 140721182835888 140415046449776 140415574391426 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15205] ppid=15190 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15192/task/15205/stat : 15205 (java) S 15190 15190 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97841287 14316269568 58528 18446744073709551615 4194304 4196468 140721182835888 140415045397216 140415574390485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15206] ppid=15190 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15192/task/15206/stat : 15206 (java) S 15190 15190 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97841296 14316269568 58528 18446744073709551615 4194304 4196468 140721182835888 140415044344496 140415574391426 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
Current children cumulated CPU time (s) 10.8
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 1.94 2.09 2.00 3/215 15206
/proc/meminfo: memFree=24366064/32770624 swapFree=0/318940
[pid=15190] ppid=15187 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15190/stat : 15190 (xcsp3-exec) S 15187 15190 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 97841272 9740288 345 18446744073709551615 4194304 5098028 140724196373376 140724196371480 140447638344316 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 37023744 140724196376993 140724196377197 140724196377197 140724196380651 0
/proc/15190/statm: 2378 345 289 221 0 87 0
[pid=15192] ppid=15190 vsize=13980732 CPUtime=19.14 cores=0,2,4,6
/proc/15192/stat : 15192 (java) S 15190 15190 12039 0 -1 1077944320 47357 0 0 0 1901 13 0 0 20 0 15 0 97841282 14316269568 61036 18446744073709551615 4194304 4196468 140721182835888 140721182818432 140415574380279 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
/proc/15192/statm: 3495183 61036 3244 1 0 3483476 0
[pid=15192/tid=15193] ppid=15190 vsize=13980732 CPUtime=12.43 cores=0,2,4,6
/proc/15192/task/15193/stat : 15193 (java) R 15190 15190 12039 0 -1 4202560 10531 0 0 0 1238 5 0 0 20 0 15 0 97841282 14316269568 61036 18446744073709551615 4194304 4196468 140721182835888 140415578616528 140415188335743 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15194] ppid=15190 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/15192/task/15194/stat : 15194 (java) S 15190 15190 12039 0 -1 1077944384 342 0 0 0 1 0 0 0 20 0 15 0 97841283 14316269568 61036 18446744073709551615 4194304 4196468 140721182835888 140415508814992 140415574390485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15195] ppid=15190 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/15192/task/15195/stat : 15195 (java) S 15190 15190 12039 0 -1 1077944384 72 0 0 0 1 0 0 0 20 0 15 0 97841283 14316269568 61036 18446744073709551615 4194304 4196468 140721182835888 140415507762192 140415574390485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
################
# More data... #
################
/proc/15192/task/15204/stat : 15204 (java) S 15190 15190 12039 0 -1 1077944384 4043 0 0 0 61 1 0 0 20 0 15 0 97841287 14316269568 61036 18446744073709551615 4194304 4196468 140721182835888 140415046449776 140415574391426 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15205] ppid=15190 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15192/task/15205/stat : 15205 (java) S 15190 15190 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97841287 14316269568 61036 18446744073709551615 4194304 4196468 140721182835888 140415045397216 140415574390485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15206] ppid=15190 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15192/task/15206/stat : 15206 (java) S 15190 15190 12039 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 97841296 14316269568 61036 18446744073709551615 4194304 4196468 140721182835888 140415044344496 140415574391426 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
Current children cumulated CPU time (s) 19.24
Current children cumulated vsize (KiB) 13990244
[startup+14.4065 s]
/proc/loadavg: 1.95 2.09 2.00 3/215 15206
/proc/meminfo: memFree=24366064/32770624 swapFree=0/318940
[pid=15190] ppid=15187 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15190/stat : 15190 (xcsp3-exec) S 15187 15190 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 97841272 9740288 345 18446744073709551615 4194304 5098028 140724196373376 140724196371480 140447638344316 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 37023744 140724196376993 140724196377197 140724196377197 140724196380651 0
/proc/15190/statm: 2378 345 289 221 0 87 0
[pid=15192] ppid=15190 vsize=13980732 CPUtime=21.07 cores=0,2,4,6
/proc/15192/stat : 15192 (java) S 15190 15190 12039 0 -1 1077944320 48129 0 0 0 2094 13 0 0 20 0 15 0 97841282 14316269568 61135 18446744073709551615 4194304 4196468 140721182835888 140721182818432 140415574380279 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
/proc/15192/statm: 3495183 61135 3244 1 0 3483476 0
[pid=15192/tid=15193] ppid=15190 vsize=13980732 CPUtime=14.14 cores=0,2,4,6
/proc/15192/task/15193/stat : 15193 (java) R 15190 15190 12039 0 -1 4202560 10550 0 0 0 1409 5 0 0 20 0 15 0 97841282 14316269568 61135 18446744073709551615 4194304 4196468 140721182835888 140415578616800 140415189195750 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15194] ppid=15190 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/15192/task/15194/stat : 15194 (java) S 15190 15190 12039 0 -1 1077944384 342 0 0 0 1 0 0 0 20 0 15 0 97841283 14316269568 61135 18446744073709551615 4194304 4196468 140721182835888 140415508814992 140415574390485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15195] ppid=15190 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/15192/task/15195/stat : 15195 (java) S 15190 15190 12039 0 -1 1077944384 72 0 0 0 1 0 0 0 20 0 15 0 97841283 14316269568 61135 18446744073709551615 4194304 4196468 140721182835888 140415507762192 140415574390485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15196] ppid=15190 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/15192/task/15196/stat : 15196 (java) S 15190 15190 12039 0 -1 1077944384 487 0 0 0 1 0 0 0 20 0 15 0 97841283 14316269568 61135 18446744073709551615 4194304 4196468 140721182835888 140415506709392 140415574390485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15197] ppid=15190 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15192/task/15197/stat : 15197 (java) S 15190 15190 12039 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 15 0 97841283 14316269568 61135 18446744073709551615 4194304 4196468 140721182835888 140415505656592 140415574390485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15198] ppid=15190 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15192/task/15198/stat : 15198 (java) S 15190 15190 12039 0 -1 1077944384 318 0 0 0 0 0 0 0 20 0 15 0 97841284 14316269568 61135 18446744073709551615 4194304 4196468 140721182835888 140415052765552 140415574391426 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15199] ppid=15190 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15192/task/15199/stat : 15199 (java) S 15190 15190 12039 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 97841285 14316269568 61135 18446744073709551615 4194304 4196468 140721182835888 140415051711584 140415574390485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15200] ppid=15190 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15192/task/15200/stat : 15200 (java) S 15190 15190 12039 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 97841285 14316269568 61135 18446744073709551615 4194304 4196468 140721182835888 140415050658688 140415574390485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15201] ppid=15190 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15192/task/15201/stat : 15201 (java) S 15190 15190 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97841287 14316269568 61135 18446744073709551615 4194304 4196468 140721182835888 140415049606992 140415574398875 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15202] ppid=15190 vsize=13980732 CPUtime=3.28 cores=0,2,4,6
/proc/15192/task/15202/stat : 15202 (java) S 15190 15190 12039 0 -1 1077944384 14923 0 0 0 326 2 0 0 20 0 15 0 97841287 14316269568 61135 18446744073709551615 4194304 4196468 140721182835888 140415048555376 140415574391426 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15203] ppid=15190 vsize=13980732 CPUtime=2.9 cores=0,2,4,6
/proc/15192/task/15203/stat : 15203 (java) S 15190 15190 12039 0 -1 1077944384 15491 0 0 0 289 1 0 0 20 0 15 0 97841287 14316269568 61135 18446744073709551615 4194304 4196468 140721182835888 140415047502576 140415574391426 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15204] ppid=15190 vsize=13980732 CPUtime=0.64 cores=0,2,4,6
/proc/15192/task/15204/stat : 15204 (java) S 15190 15190 12039 0 -1 1077944384 4408 0 0 0 63 1 0 0 20 0 15 0 97841287 14316269568 61135 18446744073709551615 4194304 4196468 140721182835888 140415046449776 140415574391426 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15205] ppid=15190 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15192/task/15205/stat : 15205 (java) S 15190 15190 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97841287 14316269568 61135 18446744073709551615 4194304 4196468 140721182835888 140415045397216 140415574390485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15206] ppid=15190 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15192/task/15206/stat : 15206 (java) S 15190 15190 12039 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 97841296 14316269568 61135 18446744073709551615 4194304 4196468 140721182835888 140415044344496 140415574391426 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
Current children cumulated CPU time (s) 21.07
Current children cumulated vsize (KiB) 13990244
[startup+15.2007 s]
/proc/loadavg: 1.95 2.09 2.00 3/215 15206
/proc/meminfo: memFree=24366064/32770624 swapFree=0/318940
[pid=15190] ppid=15187 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15190/stat : 15190 (xcsp3-exec) S 15187 15190 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 97841272 9740288 345 18446744073709551615 4194304 5098028 140724196373376 140724196371480 140447638344316 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 37023744 140724196376993 140724196377197 140724196377197 140724196380651 0
/proc/15190/statm: 2378 345 289 221 0 87 0
[pid=15192] ppid=15190 vsize=13980732 CPUtime=21.87 cores=0,2,4,6
/proc/15192/stat : 15192 (java) S 15190 15190 12039 0 -1 1077944320 48172 0 0 0 2174 13 0 0 20 0 15 0 97841282 14316269568 61138 18446744073709551615 4194304 4196468 140721182835888 140721182818432 140415574380279 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
/proc/15192/statm: 3495183 61138 3244 1 0 3483476 0
[pid=15192/tid=15193] ppid=15190 vsize=13980732 CPUtime=14.93 cores=0,2,4,6
/proc/15192/task/15193/stat : 15193 (java) R 15190 15190 12039 0 -1 4202560 10558 0 0 0 1488 5 0 0 20 0 15 0 97841282 14316269568 61138 18446744073709551615 4194304 4196468 140721182835888 140415578617352 140415188335106 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15194] ppid=15190 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/15192/task/15194/stat : 15194 (java) S 15190 15190 12039 0 -1 1077944384 342 0 0 0 1 0 0 0 20 0 15 0 97841283 14316269568 61138 18446744073709551615 4194304 4196468 140721182835888 140415508814992 140415574390485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15195] ppid=15190 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/15192/task/15195/stat : 15195 (java) S 15190 15190 12039 0 -1 1077944384 72 0 0 0 1 0 0 0 20 0 15 0 97841283 14316269568 61138 18446744073709551615 4194304 4196468 140721182835888 140415507762192 140415574390485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15196] ppid=15190 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/15192/task/15196/stat : 15196 (java) S 15190 15190 12039 0 -1 1077944384 487 0 0 0 1 0 0 0 20 0 15 0 97841283 14316269568 61138 18446744073709551615 4194304 4196468 140721182835888 140415506709392 140415574390485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15197] ppid=15190 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15192/task/15197/stat : 15197 (java) S 15190 15190 12039 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 15 0 97841283 14316269568 61138 18446744073709551615 4194304 4196468 140721182835888 140415505656592 140415574390485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15198] ppid=15190 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15192/task/15198/stat : 15198 (java) S 15190 15190 12039 0 -1 1077944384 318 0 0 0 0 0 0 0 20 0 15 0 97841284 14316269568 61138 18446744073709551615 4194304 4196468 140721182835888 140415052765552 140415574391426 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15199] ppid=15190 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15192/task/15199/stat : 15199 (java) S 15190 15190 12039 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 97841285 14316269568 61138 18446744073709551615 4194304 4196468 140721182835888 140415051711584 140415574390485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15200] ppid=15190 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15192/task/15200/stat : 15200 (java) S 15190 15190 12039 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 97841285 14316269568 61138 18446744073709551615 4194304 4196468 140721182835888 140415050658688 140415574390485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15201] ppid=15190 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15192/task/15201/stat : 15201 (java) S 15190 15190 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97841287 14316269568 61138 18446744073709551615 4194304 4196468 140721182835888 140415049606992 140415574398875 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15202] ppid=15190 vsize=13980732 CPUtime=3.29 cores=0,2,4,6
/proc/15192/task/15202/stat : 15202 (java) S 15190 15190 12039 0 -1 1077944384 14958 0 0 0 327 2 0 0 20 0 15 0 97841287 14316269568 61138 18446744073709551615 4194304 4196468 140721182835888 140415048555376 140415574391426 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15203] ppid=15190 vsize=13980732 CPUtime=2.9 cores=0,2,4,6
/proc/15192/task/15203/stat : 15203 (java) S 15190 15190 12039 0 -1 1077944384 15491 0 0 0 289 1 0 0 20 0 15 0 97841287 14316269568 61138 18446744073709551615 4194304 4196468 140721182835888 140415047502576 140415574391426 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15204] ppid=15190 vsize=13980732 CPUtime=0.64 cores=0,2,4,6
/proc/15192/task/15204/stat : 15204 (java) S 15190 15190 12039 0 -1 1077944384 4408 0 0 0 63 1 0 0 20 0 15 0 97841287 14316269568 61138 18446744073709551615 4194304 4196468 140721182835888 140415046449776 140415574391426 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15205] ppid=15190 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15192/task/15205/stat : 15205 (java) S 15190 15190 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97841287 14316269568 61138 18446744073709551615 4194304 4196468 140721182835888 140415045397216 140415574390485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15206] ppid=15190 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15192/task/15206/stat : 15206 (java) S 15190 15190 12039 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 97841296 14316269568 61138 18446744073709551615 4194304 4196468 140721182835888 140415044344496 140415574391426 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
Current children cumulated CPU time (s) 21.87
Current children cumulated vsize (KiB) 13990244
[startup+16.0007 s]
/proc/loadavg: 1.95 2.09 2.00 2/198 15208
/proc/meminfo: memFree=31365840/32770624 swapFree=0/318940
[pid=15190] ppid=15187 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15190/stat : 15190 (xcsp3-exec) S 15187 15190 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 97841272 9740288 345 18446744073709551615 4194304 5098028 140724196373376 140724196371480 140447638344316 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 37023744 140724196376993 140724196377197 140724196377197 140724196380651 0
/proc/15190/statm: 2378 345 289 221 0 87 0
[pid=15192] ppid=15190 vsize=13980732 CPUtime=22.72 cores=0,2,4,6
/proc/15192/stat : 15192 (java) S 15190 15190 12039 0 -1 1077944320 48328 0 0 0 2259 13 0 0 20 0 15 0 97841282 14316269568 61143 18446744073709551615 4194304 4196468 140721182835888 140721182818432 140415574380279 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
/proc/15192/statm: 3495183 61143 3244 1 0 3483476 0
[pid=15192/tid=15193] ppid=15190 vsize=13980732 CPUtime=15.73 cores=0,2,4,6
/proc/15192/task/15193/stat : 15193 (java) R 15190 15190 12039 0 -1 4202560 10571 0 0 0 1568 5 0 0 20 0 15 0 97841282 14316269568 61143 18446744073709551615 4194304 4196468 140721182835888 140415578617024 140415189675739 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15194] ppid=15190 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/15192/task/15194/stat : 15194 (java) S 15190 15190 12039 0 -1 1077944384 342 0 0 0 1 0 0 0 20 0 15 0 97841283 14316269568 61143 18446744073709551615 4194304 4196468 140721182835888 140415508814992 140415574390485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15195] ppid=15190 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/15192/task/15195/stat : 15195 (java) S 15190 15190 12039 0 -1 1077944384 72 0 0 0 1 0 0 0 20 0 15 0 97841283 14316269568 61143 18446744073709551615 4194304 4196468 140721182835888 140415507762192 140415574390485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15196] ppid=15190 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/15192/task/15196/stat : 15196 (java) S 15190 15190 12039 0 -1 1077944384 487 0 0 0 1 0 0 0 20 0 15 0 97841283 14316269568 61143 18446744073709551615 4194304 4196468 140721182835888 140415506709392 140415574390485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15197] ppid=15190 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15192/task/15197/stat : 15197 (java) S 15190 15190 12039 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 15 0 97841283 14316269568 61143 18446744073709551615 4194304 4196468 140721182835888 140415505656592 140415574390485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15198] ppid=15190 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15192/task/15198/stat : 15198 (java) S 15190 15190 12039 0 -1 1077944384 318 0 0 0 0 0 0 0 20 0 15 0 97841284 14316269568 61143 18446744073709551615 4194304 4196468 140721182835888 140415052765552 140415574391426 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15199] ppid=15190 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15192/task/15199/stat : 15199 (java) S 15190 15190 12039 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 97841285 14316269568 61143 18446744073709551615 4194304 4196468 140721182835888 140415051711584 140415574390485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15200] ppid=15190 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15192/task/15200/stat : 15200 (java) S 15190 15190 12039 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 97841285 14316269568 61143 18446744073709551615 4194304 4196468 140721182835888 140415050658688 140415574390485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15201] ppid=15190 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15192/task/15201/stat : 15201 (java) S 15190 15190 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97841287 14316269568 61143 18446744073709551615 4194304 4196468 140721182835888 140415049606992 140415574398875 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15202] ppid=15190 vsize=13980732 CPUtime=3.32 cores=0,2,4,6
/proc/15192/task/15202/stat : 15202 (java) S 15190 15190 12039 0 -1 1077944384 15049 0 0 0 330 2 0 0 20 0 15 0 97841287 14316269568 61143 18446744073709551615 4194304 4196468 140721182835888 140415048555376 140415574391426 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15203] ppid=15190 vsize=13980732 CPUtime=2.91 cores=0,2,4,6
/proc/15192/task/15203/stat : 15203 (java) S 15190 15190 12039 0 -1 1077944384 15542 0 0 0 290 1 0 0 20 0 15 0 97841287 14316269568 61143 18446744073709551615 4194304 4196468 140721182835888 140415047502576 140415574391426 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15204] ppid=15190 vsize=13980732 CPUtime=0.64 cores=0,2,4,6
/proc/15192/task/15204/stat : 15204 (java) S 15190 15190 12039 0 -1 1077944384 4408 0 0 0 63 1 0 0 20 0 15 0 97841287 14316269568 61143 18446744073709551615 4194304 4196468 140721182835888 140415046449776 140415574391426 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15205] ppid=15190 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15192/task/15205/stat : 15205 (java) S 15190 15190 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97841287 14316269568 61143 18446744073709551615 4194304 4196468 140721182835888 140415045397216 140415574390485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15206] ppid=15190 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15192/task/15206/stat : 15206 (java) S 15190 15190 12039 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 97841296 14316269568 61143 18446744073709551615 4194304 4196468 140721182835888 140415044344496 140415574391426 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
Current children cumulated CPU time (s) 22.72
Current children cumulated vsize (KiB) 13990244
[startup+16.2007 s]
/proc/loadavg: 1.95 2.09 2.00 2/198 15208
/proc/meminfo: memFree=31365840/32770624 swapFree=0/318940
[pid=15190] ppid=15187 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15190/stat : 15190 (xcsp3-exec) S 15187 15190 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 97841272 9740288 345 18446744073709551615 4194304 5098028 140724196373376 140724196371480 140447638344316 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 37023744 140724196376993 140724196377197 140724196377197 140724196380651 0
/proc/15190/statm: 2378 345 289 221 0 87 0
[pid=15192] ppid=15190 vsize=13980732 CPUtime=22.92 cores=0,2,4,6
/proc/15192/stat : 15192 (java) S 15190 15190 12039 0 -1 1077944320 48550 0 0 0 2279 13 0 0 20 0 15 0 97841282 14316269568 61143 18446744073709551615 4194304 4196468 140721182835888 140721182818432 140415574380279 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
/proc/15192/statm: 3495183 61143 3244 1 0 3483476 0
[pid=15192/tid=15193] ppid=15190 vsize=13980732 CPUtime=15.93 cores=0,2,4,6
/proc/15192/task/15193/stat : 15193 (java) R 15190 15190 12039 0 -1 4202560 10791 0 0 0 1588 5 0 0 20 0 15 0 97841282 14316269568 61143 18446744073709551615 4194304 4196468 140721182835888 140415578617192 140415188889809 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15194] ppid=15190 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/15192/task/15194/stat : 15194 (java) S 15190 15190 12039 0 -1 1077944384 342 0 0 0 1 0 0 0 20 0 15 0 97841283 14316269568 61143 18446744073709551615 4194304 4196468 140721182835888 140415508814992 140415574390485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15195] ppid=15190 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/15192/task/15195/stat : 15195 (java) S 15190 15190 12039 0 -1 1077944384 72 0 0 0 1 0 0 0 20 0 15 0 97841283 14316269568 61143 18446744073709551615 4194304 4196468 140721182835888 140415507762192 140415574390485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15196] ppid=15190 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/15192/task/15196/stat : 15196 (java) S 15190 15190 12039 0 -1 1077944384 487 0 0 0 1 0 0 0 20 0 15 0 97841283 14316269568 61143 18446744073709551615 4194304 4196468 140721182835888 140415506709392 140415574390485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15197] ppid=15190 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15192/task/15197/stat : 15197 (java) S 15190 15190 12039 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 15 0 97841283 14316269568 61143 18446744073709551615 4194304 4196468 140721182835888 140415505656592 140415574390485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15198] ppid=15190 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15192/task/15198/stat : 15198 (java) S 15190 15190 12039 0 -1 1077944384 318 0 0 0 0 0 0 0 20 0 15 0 97841284 14316269568 61143 18446744073709551615 4194304 4196468 140721182835888 140415052765552 140415574391426 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15199] ppid=15190 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15192/task/15199/stat : 15199 (java) S 15190 15190 12039 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 97841285 14316269568 61143 18446744073709551615 4194304 4196468 140721182835888 140415051711584 140415574390485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15200] ppid=15190 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15192/task/15200/stat : 15200 (java) S 15190 15190 12039 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 97841285 14316269568 61143 18446744073709551615 4194304 4196468 140721182835888 140415050658688 140415574390485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15201] ppid=15190 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15192/task/15201/stat : 15201 (java) S 15190 15190 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97841287 14316269568 61143 18446744073709551615 4194304 4196468 140721182835888 140415049606992 140415574398875 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15202] ppid=15190 vsize=13980732 CPUtime=3.32 cores=0,2,4,6
/proc/15192/task/15202/stat : 15202 (java) S 15190 15190 12039 0 -1 1077944384 15049 0 0 0 330 2 0 0 20 0 15 0 97841287 14316269568 61143 18446744073709551615 4194304 4196468 140721182835888 140415048555376 140415574391426 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15203] ppid=15190 vsize=13980732 CPUtime=2.91 cores=0,2,4,6
/proc/15192/task/15203/stat : 15203 (java) S 15190 15190 12039 0 -1 1077944384 15542 0 0 0 290 1 0 0 20 0 15 0 97841287 14316269568 61143 18446744073709551615 4194304 4196468 140721182835888 140415047502576 140415574391426 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15204] ppid=15190 vsize=13980732 CPUtime=0.64 cores=0,2,4,6
/proc/15192/task/15204/stat : 15204 (java) S 15190 15190 12039 0 -1 1077944384 4408 0 0 0 63 1 0 0 20 0 15 0 97841287 14316269568 61143 18446744073709551615 4194304 4196468 140721182835888 140415046449776 140415574391426 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15205] ppid=15190 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15192/task/15205/stat : 15205 (java) S 15190 15190 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97841287 14316269568 61143 18446744073709551615 4194304 4196468 140721182835888 140415045397216 140415574390485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
[pid=15192/tid=15206] ppid=15190 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15192/task/15206/stat : 15206 (java) S 15190 15190 12039 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 97841296 14316269568 61143 18446744073709551615 4194304 4196468 140721182835888 140415044344496 140415574391426 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 11808768 140721182839258 140721182839433 140721182839433 140721182842831 0
Current children cumulated CPU time (s) 22.92
Current children cumulated vsize (KiB) 13990244
Child status: 0
Real time (s): 16.2805
CPU time (s): 22.9634
CPU user time (s): 22.8166
CPU system time (s): 0.146835
CPU usage (%): 141.049
Max. virtual memory (cumulated for all children) (KiB): 13994244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.8166
system time used= 0.146835
maximum resident set size= 244804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49586
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3078
involuntary context switches= 104
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.056481 second user time and 0.120023 second system time
The end