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-4254034-1501614310/watcher-4254034-1501614310 -o /tmp/evaluation-result-4254034-1501614310/solver-4254034-1501614310 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501610539-18990 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1118700451 HOME/instance-4254034-1501614310.xml
pid=21365
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.99 1.99 1.86 3/200 21368
/proc/meminfo: memFree=31824016/32770624 swapFree=0/207792
[pid=21368] ppid=21365 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/21368/stat : 21368 (runsolver) D 21365 21368 18930 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 61084523 24240128 108 18446744073709551615 4194304 4338465 140728422609168 140728422606808 139677747659479 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 23212032 140728422617179 140728422617669 140728422617669 140728422621130 0
/proc/21368/statm: 5918 108 54 36 0 2156 0
[startup+0.100198 s]
/proc/loadavg: 1.99 1.99 1.86 3/200 21368
/proc/meminfo: memFree=31824016/32770624 swapFree=0/207792
[pid=21368] ppid=21365 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/21368/stat : 21368 (xcsp3-exec) S 21365 21368 18930 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 61084523 9740288 344 18446744073709551615 4194304 5098028 140734213917616 140734213915720 140427206271612 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 20860928 140734213923226 140734213923430 140734213923430 140734213926891 0
/proc/21368/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.206616 s]
/proc/loadavg: 1.99 1.99 1.86 3/200 21368
/proc/meminfo: memFree=31824016/32770624 swapFree=0/207792
[pid=21368] ppid=21365 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/21368/stat : 21368 (xcsp3-exec) S 21365 21368 18930 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 61084523 9740288 344 18446744073709551615 4194304 5098028 140734213917616 140734213915720 140427206271612 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 20860928 140734213923226 140734213923430 140734213923430 140734213926891 0
/proc/21368/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.3004 s]
/proc/loadavg: 1.99 1.99 1.86 3/200 21368
/proc/meminfo: memFree=31824016/32770624 swapFree=0/207792
[pid=21368] ppid=21365 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/21368/stat : 21368 (xcsp3-exec) S 21365 21368 18930 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 61084523 9740288 344 18446744073709551615 4194304 5098028 140734213917616 140734213915720 140427206271612 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 20860928 140734213923226 140734213923430 140734213923430 140734213926891 0
/proc/21368/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.70118 s]
/proc/loadavg: 1.99 1.99 1.86 3/200 21368
/proc/meminfo: memFree=31824016/32770624 swapFree=0/207792
[pid=21368] ppid=21365 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/21368/stat : 21368 (xcsp3-exec) S 21365 21368 18930 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 61084523 9740288 344 18446744073709551615 4194304 5098028 140734213917616 140734213915720 140427206271612 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 20860928 140734213923226 140734213923430 140734213923430 140734213926891 0
/proc/21368/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50118 s]
/proc/loadavg: 1.99 1.99 1.86 5/216 21384
/proc/meminfo: memFree=31658376/32770624 swapFree=0/207808
[pid=21368] ppid=21365 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/21368/stat : 21368 (xcsp3-exec) S 21365 21368 18930 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 61084523 9740288 344 18446744073709551615 4194304 5098028 140734213917616 140734213915720 140427206271612 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 20860928 140734213923226 140734213923430 140734213923430 140734213926891 0
/proc/21368/statm: 2378 344 289 221 0 87 0
[pid=21370] ppid=21368 vsize=13980732 CPUtime=3.82 cores=0,2,4,6
/proc/21370/stat : 21370 (java) S 21368 21368 18930 0 -1 1077944320 21662 0 0 0 373 9 0 0 20 0 15 0 61084528 14316269568 54797 18446744073709551615 4194304 4196468 140728771771216 140728771753760 139940867645175 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
/proc/21370/statm: 3495183 54797 3224 1 0 3483484 0
[pid=21370/tid=21371] ppid=21368 vsize=13980732 CPUtime=1.35 cores=0,2,4,6
/proc/21370/task/21371/stat : 21371 (java) R 21368 21368 18930 0 -1 4202560 9169 0 0 0 130 5 0 0 20 0 15 0 61084529 14316269568 54797 18446744073709551615 4194304 4196468 140728771771216 139940871882328 139940515398018 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21372] ppid=21368 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/21370/task/21372/stat : 21372 (java) S 21368 21368 18930 0 -1 1077944384 11 0 0 0 1 0 0 0 20 0 15 0 61084529 14316269568 54797 18446744073709551615 4194304 4196468 140728771771216 139940467829648 139940867655381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21373] ppid=21368 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/21370/task/21373/stat : 21373 (java) S 21368 21368 18930 0 -1 1077944384 330 0 0 0 2 0 0 0 20 0 15 0 61084529 14316269568 54797 18446744073709551615 4194304 4196468 140728771771216 139940466776848 139940867655381 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21374] ppid=21368 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/21370/task/21374/stat : 21374 (java) S 21368 21368 18930 0 -1 1077944384 423 0 0 0 2 0 0 0 20 0 15 0 61084529 14316269568 54797 18446744073709551615 4194304 4196468 140728771771216 139940465724560 139940867655381 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21375] ppid=21368 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/21370/task/21375/stat : 21375 (java) S 21368 21368 18930 0 -1 1077944384 147 0 0 0 1 0 0 0 20 0 15 0 61084529 14316269568 54797 18446744073709551615 4194304 4196468 140728771771216 139940464671760 139940867655381 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21376] ppid=21368 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21370/task/21376/stat : 21376 (java) S 21368 21368 18930 0 -1 1077944384 343 0 0 0 0 0 0 0 20 0 15 0 61084531 14316269568 54797 18446744073709551615 4194304 4196468 140728771771216 139940346136688 139940867656322 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21377] ppid=21368 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21370/task/21377/stat : 21377 (java) S 21368 21368 18930 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 61084531 14316269568 54797 18446744073709551615 4194304 4196468 140728771771216 139940345082656 139940867655381 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21378] ppid=21368 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21370/task/21378/stat : 21378 (java) S 21368 21368 18930 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 61084531 14316269568 54797 18446744073709551615 4194304 4196468 140728771771216 139940344030320 139940867655381 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21379] ppid=21368 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21370/task/21379/stat : 21379 (java) S 21368 21368 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61084534 14316269568 54797 18446744073709551615 4194304 4196468 140728771771216 139940342978640 139940867663771 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21380] ppid=21368 vsize=13980732 CPUtime=0.89 cores=0,2,4,6
/proc/21370/task/21380/stat : 21380 (java) R 21368 21368 18930 0 -1 4202560 4023 0 0 0 89 0 0 0 20 0 15 0 61084534 14316269568 54797 18446744073709551615 4194304 4196468 140728771771216 139940341913712 139940849162926 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21381] ppid=21368 vsize=13980732 CPUtime=0.9 cores=0,2,4,6
/proc/21370/task/21381/stat : 21381 (java) R 21368 21368 18930 0 -1 4202560 2769 0 0 0 90 0 0 0 20 0 15 0 61084534 14316269568 54797 18446744073709551615 4194304 4196468 140728771771216 139940340866904 139940853663577 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21382] ppid=21368 vsize=13980732 CPUtime=0.54 cores=0,2,4,6
/proc/21370/task/21382/stat : 21382 (java) S 21368 21368 18930 0 -1 1077944384 3071 0 0 0 54 0 0 0 20 0 15 0 61084534 14316269568 54797 18446744073709551615 4194304 4196468 140728771771216 139940339821424 139940867656322 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21383] ppid=21368 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21370/task/21383/stat : 21383 (java) S 21368 21368 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61084534 14316269568 54797 18446744073709551615 4194304 4196468 140728771771216 139940338768864 139940867655381 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21384] ppid=21368 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21370/task/21384/stat : 21384 (java) S 21368 21368 18930 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 61084538 14316269568 54797 18446744073709551615 4194304 4196468 140728771771216 139940337715632 139940867656322 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
Current children cumulated CPU time (s) 3.82
Current children cumulated vsize (KiB) 13990244
[startup+3.1008 s]
/proc/loadavg: 2.15 2.03 1.87 3/216 21384
/proc/meminfo: memFree=31602664/32770624 swapFree=0/207808
[pid=21368] ppid=21365 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/21368/stat : 21368 (xcsp3-exec) S 21365 21368 18930 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 61084523 9740288 344 18446744073709551615 4194304 5098028 140734213917616 140734213915720 140427206271612 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 20860928 140734213923226 140734213923430 140734213923430 140734213926891 0
/proc/21368/statm: 2378 344 289 221 0 87 0
[pid=21370] ppid=21368 vsize=13980732 CPUtime=6.75 cores=0,2,4,6
/proc/21370/stat : 21370 (java) S 21368 21368 18930 0 -1 1077944320 27730 0 0 0 665 10 0 0 20 0 15 0 61084528 14316269568 58900 18446744073709551615 4194304 4196468 140728771771216 140728771753760 139940867645175 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
/proc/21370/statm: 3495183 58900 3225 1 0 3483484 0
[pid=21370/tid=21371] ppid=21368 vsize=13980732 CPUtime=2.95 cores=0,2,4,6
/proc/21370/task/21371/stat : 21371 (java) R 21368 21368 18930 0 -1 4202560 9267 0 0 0 290 5 0 0 20 0 15 0 61084529 14316269568 58900 18446744073709551615 4194304 4196468 140728771771216 139940871880944 139940515910258 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21372] ppid=21368 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/21370/task/21372/stat : 21372 (java) S 21368 21368 18930 0 -1 1077944384 11 0 0 0 1 0 0 0 20 0 15 0 61084529 14316269568 58900 18446744073709551615 4194304 4196468 140728771771216 139940467829648 139940867655381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21373] ppid=21368 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/21370/task/21373/stat : 21373 (java) S 21368 21368 18930 0 -1 1077944384 330 0 0 0 2 0 0 0 20 0 15 0 61084529 14316269568 58900 18446744073709551615 4194304 4196468 140728771771216 139940466776848 139940867655381 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21374] ppid=21368 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/21370/task/21374/stat : 21374 (java) S 21368 21368 18930 0 -1 1077944384 423 0 0 0 2 0 0 0 20 0 15 0 61084529 14316269568 58900 18446744073709551615 4194304 4196468 140728771771216 139940465724560 139940867655381 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21375] ppid=21368 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/21370/task/21375/stat : 21375 (java) S 21368 21368 18930 0 -1 1077944384 147 0 0 0 1 0 0 0 20 0 15 0 61084529 14316269568 58900 18446744073709551615 4194304 4196468 140728771771216 139940464671760 139940867655381 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21376] ppid=21368 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21370/task/21376/stat : 21376 (java) S 21368 21368 18930 0 -1 1077944384 355 0 0 0 0 0 0 0 20 0 15 0 61084531 14316269568 58900 18446744073709551615 4194304 4196468 140728771771216 139940346136688 139940867656322 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21377] ppid=21368 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21370/task/21377/stat : 21377 (java) S 21368 21368 18930 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 61084531 14316269568 58900 18446744073709551615 4194304 4196468 140728771771216 139940345082656 139940867655381 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21378] ppid=21368 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21370/task/21378/stat : 21378 (java) S 21368 21368 18930 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 61084531 14316269568 58900 18446744073709551615 4194304 4196468 140728771771216 139940344030320 139940867655381 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21379] ppid=21368 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21370/task/21379/stat : 21379 (java) S 21368 21368 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61084534 14316269568 58900 18446744073709551615 4194304 4196468 140728771771216 139940342978640 139940867663771 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21380] ppid=21368 vsize=13980732 CPUtime=1.53 cores=0,2,4,6
/proc/21370/task/21380/stat : 21380 (java) S 21368 21368 18930 0 -1 1077944384 7001 0 0 0 152 1 0 0 20 0 15 0 61084534 14316269568 58900 18446744073709551615 4194304 4196468 140728771771216 139940341926512 139940867656322 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21381] ppid=21368 vsize=13980732 CPUtime=1.55 cores=0,2,4,6
/proc/21370/task/21381/stat : 21381 (java) S 21368 21368 18930 0 -1 1077944384 5411 0 0 0 154 1 0 0 20 0 15 0 61084534 14316269568 58900 18446744073709551615 4194304 4196468 140728771771216 139940340873712 139940867656322 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21382] ppid=21368 vsize=13980732 CPUtime=0.59 cores=0,2,4,6
/proc/21370/task/21382/stat : 21382 (java) S 21368 21368 18930 0 -1 1077944384 3402 0 0 0 59 0 0 0 20 0 15 0 61084534 14316269568 58900 18446744073709551615 4194304 4196468 140728771771216 139940339821424 139940867656322 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21383] ppid=21368 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21370/task/21383/stat : 21383 (java) S 21368 21368 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61084534 14316269568 58900 18446744073709551615 4194304 4196468 140728771771216 139940338768864 139940867655381 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21384] ppid=21368 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21370/task/21384/stat : 21384 (java) S 21368 21368 18930 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 61084538 14316269568 58900 18446744073709551615 4194304 4196468 140728771771216 139940337715632 139940867656322 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
Current children cumulated CPU time (s) 6.75
Current children cumulated vsize (KiB) 13990244
[startup+6.30082 s]
/proc/loadavg: 2.15 2.03 1.87 3/215 21384
/proc/meminfo: memFree=31603228/32770624 swapFree=0/207816
[pid=21368] ppid=21365 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/21368/stat : 21368 (xcsp3-exec) S 21365 21368 18930 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 61084523 9740288 344 18446744073709551615 4194304 5098028 140734213917616 140734213915720 140427206271612 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 20860928 140734213923226 140734213923430 140734213923430 140734213926891 0
/proc/21368/statm: 2378 344 289 221 0 87 0
[pid=21370] ppid=21368 vsize=13980732 CPUtime=10.1 cores=0,2,4,6
/proc/21370/stat : 21370 (java) S 21368 21368 18930 0 -1 1077944320 27953 0 0 0 1000 10 0 0 20 0 15 0 61084528 14316269568 57968 18446744073709551615 4194304 4196468 140728771771216 140728771753760 139940867645175 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
/proc/21370/statm: 3495183 57968 3225 1 0 3483484 0
[pid=21370/tid=21371] ppid=21368 vsize=13980732 CPUtime=6.15 cores=0,2,4,6
/proc/21370/task/21371/stat : 21371 (java) R 21368 21368 18930 0 -1 4202560 9413 0 0 0 610 5 0 0 20 0 15 0 61084529 14316269568 57968 18446744073709551615 4194304 4196468 140728771771216 139940871881072 139940515663936 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21372] ppid=21368 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/21370/task/21372/stat : 21372 (java) S 21368 21368 18930 0 -1 1077944384 11 0 0 0 1 0 0 0 20 0 15 0 61084529 14316269568 57968 18446744073709551615 4194304 4196468 140728771771216 139940467829648 139940867655381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21373] ppid=21368 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/21370/task/21373/stat : 21373 (java) S 21368 21368 18930 0 -1 1077944384 330 0 0 0 2 0 0 0 20 0 15 0 61084529 14316269568 57968 18446744073709551615 4194304 4196468 140728771771216 139940466776848 139940867655381 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21374] ppid=21368 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/21370/task/21374/stat : 21374 (java) S 21368 21368 18930 0 -1 1077944384 423 0 0 0 2 0 0 0 20 0 15 0 61084529 14316269568 57968 18446744073709551615 4194304 4196468 140728771771216 139940465724560 139940867655381 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21375] ppid=21368 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/21370/task/21375/stat : 21375 (java) S 21368 21368 18930 0 -1 1077944384 147 0 0 0 1 0 0 0 20 0 15 0 61084529 14316269568 57968 18446744073709551615 4194304 4196468 140728771771216 139940464671760 139940867655381 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21376] ppid=21368 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21370/task/21376/stat : 21376 (java) S 21368 21368 18930 0 -1 1077944384 356 0 0 0 0 0 0 0 20 0 15 0 61084531 14316269568 57968 18446744073709551615 4194304 4196468 140728771771216 139940346136688 139940867656322 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21377] ppid=21368 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21370/task/21377/stat : 21377 (java) S 21368 21368 18930 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 61084531 14316269568 57968 18446744073709551615 4194304 4196468 140728771771216 139940345082656 139940867655381 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21378] ppid=21368 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21370/task/21378/stat : 21378 (java) S 21368 21368 18930 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 61084531 14316269568 57968 18446744073709551615 4194304 4196468 140728771771216 139940344030320 139940867655381 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21379] ppid=21368 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21370/task/21379/stat : 21379 (java) S 21368 21368 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61084534 14316269568 57968 18446744073709551615 4194304 4196468 140728771771216 139940342978640 139940867663771 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21380] ppid=21368 vsize=13980732 CPUtime=1.58 cores=0,2,4,6
/proc/21370/task/21380/stat : 21380 (java) S 21368 21368 18930 0 -1 1077944384 7013 0 0 0 157 1 0 0 20 0 15 0 61084534 14316269568 57968 18446744073709551615 4194304 4196468 140728771771216 139940341926512 139940867656322 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21381] ppid=21368 vsize=13980732 CPUtime=1.62 cores=0,2,4,6
/proc/21370/task/21381/stat : 21381 (java) S 21368 21368 18930 0 -1 1077944384 5433 0 0 0 161 1 0 0 20 0 15 0 61084534 14316269568 57968 18446744073709551615 4194304 4196468 140728771771216 139940340873712 139940867656322 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21382] ppid=21368 vsize=13980732 CPUtime=0.6 cores=0,2,4,6
/proc/21370/task/21382/stat : 21382 (java) S 21368 21368 18930 0 -1 1077944384 3421 0 0 0 60 0 0 0 20 0 15 0 61084534 14316269568 57968 18446744073709551615 4194304 4196468 140728771771216 139940339821424 139940867656322 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21383] ppid=21368 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21370/task/21383/stat : 21383 (java) S 21368 21368 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61084534 14316269568 57968 18446744073709551615 4194304 4196468 140728771771216 139940338768864 139940867655381 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21384] ppid=21368 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21370/task/21384/stat : 21384 (java) S 21368 21368 18930 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 61084538 14316269568 57968 18446744073709551615 4194304 4196468 140728771771216 139940337715632 139940867656322 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
Current children cumulated CPU time (s) 10.1
Current children cumulated vsize (KiB) 13990244
[startup+12.7008 s]
/proc/loadavg: 2.13 2.03 1.88 3/215 21384
/proc/meminfo: memFree=31605504/32770624 swapFree=0/207824
[pid=21368] ppid=21365 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/21368/stat : 21368 (xcsp3-exec) S 21365 21368 18930 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 61084523 9740288 344 18446744073709551615 4194304 5098028 140734213917616 140734213915720 140427206271612 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 20860928 140734213923226 140734213923430 140734213923430 140734213926891 0
/proc/21368/statm: 2378 344 289 221 0 87 0
[pid=21370] ppid=21368 vsize=13980732 CPUtime=16.62 cores=0,2,4,6
/proc/21370/stat : 21370 (java) S 21368 21368 18930 0 -1 1077944320 31394 0 0 0 1651 11 0 0 20 0 15 0 61084528 14316269568 57140 18446744073709551615 4194304 4196468 140728771771216 140728771753760 139940867645175 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
/proc/21370/statm: 3495183 57140 3227 1 0 3483484 0
[pid=21370/tid=21371] ppid=21368 vsize=13980732 CPUtime=12.54 cores=0,2,4,6
/proc/21370/task/21371/stat : 21371 (java) R 21368 21368 18930 0 -1 4202560 10069 0 0 0 1249 5 0 0 20 0 15 0 61084529 14316269568 57140 18446744073709551615 4194304 4196468 140728771771216 139940871880816 139940515909960 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21372] ppid=21368 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/21370/task/21372/stat : 21372 (java) S 21368 21368 18930 0 -1 1077944384 11 0 0 0 1 0 0 0 20 0 15 0 61084529 14316269568 57140 18446744073709551615 4194304 4196468 140728771771216 139940467829648 139940867655381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21373] ppid=21368 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/21370/task/21373/stat : 21373 (java) S 21368 21368 18930 0 -1 1077944384 330 0 0 0 2 0 0 0 20 0 15 0 61084529 14316269568 57140 18446744073709551615 4194304 4196468 140728771771216 139940466776848 139940867655381 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
################
# More data... #
################
/proc/21370/stat : 21370 (java) S 21368 21368 18930 0 -1 1077944320 41634 0 0 0 10653 17 0 0 20 0 15 0 61084528 14316269568 74766 18446744073709551615 4194304 4196468 140728771771216 140728771753760 139940867645175 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
/proc/21370/statm: 3495183 74766 3227 1 0 3483484 0
[pid=21370/tid=21371] ppid=21368 vsize=13980732 CPUtime=102.1 cores=0,2,4,6
/proc/21370/task/21371/stat : 21371 (java) R 21368 21368 18930 0 -1 4202560 12558 0 0 0 10204 6 0 0 20 0 15 0 61084529 14316269568 74766 18446744073709551615 4194304 4196468 140728771771216 139940871880912 139940515909969 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21372] ppid=21368 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/21370/task/21372/stat : 21372 (java) S 21368 21368 18930 0 -1 1077944384 101 0 0 0 4 1 0 0 20 0 15 0 61084529 14316269568 74766 18446744073709551615 4194304 4196468 140728771771216 139940467829648 139940867655381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21373] ppid=21368 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/21370/task/21373/stat : 21373 (java) S 21368 21368 18930 0 -1 1077944384 610 0 0 0 6 1 0 0 20 0 15 0 61084529 14316269568 74766 18446744073709551615 4194304 4196468 140728771771216 139940466776848 139940867655381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21374] ppid=21368 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/21370/task/21374/stat : 21374 (java) S 21368 21368 18930 0 -1 1077944384 515 0 0 0 6 1 0 0 20 0 15 0 61084529 14316269568 74766 18446744073709551615 4194304 4196468 140728771771216 139940465724560 139940867655381 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21375] ppid=21368 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/21370/task/21375/stat : 21375 (java) S 21368 21368 18930 0 -1 1077944384 313 0 0 0 5 0 0 0 20 0 15 0 61084529 14316269568 74766 18446744073709551615 4194304 4196468 140728771771216 139940464671760 139940867655381 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21376] ppid=21368 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/21370/task/21376/stat : 21376 (java) S 21368 21368 18930 0 -1 1077944384 660 0 0 0 1 0 0 0 20 0 15 0 61084531 14316269568 74766 18446744073709551615 4194304 4196468 140728771771216 139940346136688 139940867656322 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21377] ppid=21368 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21370/task/21377/stat : 21377 (java) S 21368 21368 18930 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 61084531 14316269568 74766 18446744073709551615 4194304 4196468 140728771771216 139940345082656 139940867655381 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21378] ppid=21368 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21370/task/21378/stat : 21378 (java) S 21368 21368 18930 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 61084531 14316269568 74766 18446744073709551615 4194304 4196468 140728771771216 139940344030320 139940867655381 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21379] ppid=21368 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21370/task/21379/stat : 21379 (java) S 21368 21368 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61084534 14316269568 74766 18446744073709551615 4194304 4196468 140728771771216 139940342978640 139940867663771 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21380] ppid=21368 vsize=13980732 CPUtime=1.82 cores=0,2,4,6
/proc/21370/task/21380/stat : 21380 (java) S 21368 21368 18930 0 -1 1077944384 10472 0 0 0 181 1 0 0 20 0 15 0 61084534 14316269568 74766 18446744073709551615 4194304 4196468 140728771771216 139940341926512 139940867656322 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21381] ppid=21368 vsize=13980732 CPUtime=1.72 cores=0,2,4,6
/proc/21370/task/21381/stat : 21381 (java) S 21368 21368 18930 0 -1 1077944384 7475 0 0 0 171 1 0 0 20 0 15 0 61084534 14316269568 74766 18446744073709551615 4194304 4196468 140728771771216 139940340873712 139940867656322 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21382] ppid=21368 vsize=13980732 CPUtime=0.68 cores=0,2,4,6
/proc/21370/task/21382/stat : 21382 (java) S 21368 21368 18930 0 -1 1077944384 7304 0 0 0 67 1 0 0 20 0 15 0 61084534 14316269568 74766 18446744073709551615 4194304 4196468 140728771771216 139940339821424 139940867656322 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21383] ppid=21368 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21370/task/21383/stat : 21383 (java) S 21368 21368 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61084534 14316269568 74766 18446744073709551615 4194304 4196468 140728771771216 139940338768864 139940867655381 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21384] ppid=21368 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/21370/task/21384/stat : 21384 (java) S 21368 21368 18930 0 -1 1077944384 255 0 0 0 4 2 0 0 20 0 15 0 61084538 14316269568 74766 18446744073709551615 4194304 4196468 140728771771216 139940337715632 139940867656322 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
Current children cumulated CPU time (s) 106.7
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 2.01 2.01 1.89 3/216 21390
/proc/meminfo: memFree=31465020/32770624 swapFree=0/207928
[pid=21368] ppid=21365 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/21368/stat : 21368 (xcsp3-exec) S 21365 21368 18930 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 61084523 9740288 344 18446744073709551615 4194304 5098028 140734213917616 140734213915720 140427206271612 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 20860928 140734213923226 140734213923430 140734213923430 140734213926891 0
/proc/21368/statm: 2378 344 289 221 0 87 0
[pid=21370] ppid=21368 vsize=13980732 CPUtime=166.86 cores=0,2,4,6
/proc/21370/stat : 21370 (java) S 21368 21368 18930 0 -1 1077944320 45056 0 0 0 16666 20 0 0 20 0 15 0 61084528 14316269568 74825 18446744073709551615 4194304 4196468 140728771771216 140728771753760 139940867645175 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
/proc/21370/statm: 3495183 74825 3227 1 0 3483484 0
[pid=21370/tid=21371] ppid=21368 vsize=13980732 CPUtime=162.09 cores=0,2,4,6
/proc/21370/task/21371/stat : 21371 (java) R 21368 21368 18930 0 -1 4202560 13339 0 0 0 16203 6 0 0 20 0 15 0 61084529 14316269568 74825 18446744073709551615 4194304 4196468 140728771771216 139940871881528 139940516682599 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21372] ppid=21368 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/21370/task/21372/stat : 21372 (java) S 21368 21368 18930 0 -1 1077944384 101 0 0 0 4 1 0 0 20 0 15 0 61084529 14316269568 74825 18446744073709551615 4194304 4196468 140728771771216 139940467829648 139940867655381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21373] ppid=21368 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/21370/task/21373/stat : 21373 (java) S 21368 21368 18930 0 -1 1077944384 610 0 0 0 6 1 0 0 20 0 15 0 61084529 14316269568 74825 18446744073709551615 4194304 4196468 140728771771216 139940466776848 139940867655381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21374] ppid=21368 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/21370/task/21374/stat : 21374 (java) S 21368 21368 18930 0 -1 1077944384 515 0 0 0 6 1 0 0 20 0 15 0 61084529 14316269568 74825 18446744073709551615 4194304 4196468 140728771771216 139940465724560 139940867655381 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21375] ppid=21368 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/21370/task/21375/stat : 21375 (java) S 21368 21368 18930 0 -1 1077944384 313 0 0 0 5 0 0 0 20 0 15 0 61084529 14316269568 74825 18446744073709551615 4194304 4196468 140728771771216 139940464671760 139940867655381 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21376] ppid=21368 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/21370/task/21376/stat : 21376 (java) S 21368 21368 18930 0 -1 1077944384 696 0 0 0 1 0 0 0 20 0 15 0 61084531 14316269568 74825 18446744073709551615 4194304 4196468 140728771771216 139940346136688 139940867656322 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21377] ppid=21368 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21370/task/21377/stat : 21377 (java) S 21368 21368 18930 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 61084531 14316269568 74825 18446744073709551615 4194304 4196468 140728771771216 139940345082656 139940867655381 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21378] ppid=21368 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21370/task/21378/stat : 21378 (java) S 21368 21368 18930 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 61084531 14316269568 74825 18446744073709551615 4194304 4196468 140728771771216 139940344030320 139940867655381 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21379] ppid=21368 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21370/task/21379/stat : 21379 (java) S 21368 21368 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61084534 14316269568 74825 18446744073709551615 4194304 4196468 140728771771216 139940342978640 139940867663771 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21380] ppid=21368 vsize=13980732 CPUtime=1.85 cores=0,2,4,6
/proc/21370/task/21380/stat : 21380 (java) S 21368 21368 18930 0 -1 1077944384 11355 0 0 0 184 1 0 0 20 0 15 0 61084534 14316269568 74825 18446744073709551615 4194304 4196468 140728771771216 139940341926512 139940867656322 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21381] ppid=21368 vsize=13980732 CPUtime=1.78 cores=0,2,4,6
/proc/21370/task/21381/stat : 21381 (java) S 21368 21368 18930 0 -1 1077944384 8779 0 0 0 177 1 0 0 20 0 15 0 61084534 14316269568 74825 18446744073709551615 4194304 4196468 140728771771216 139940340873712 139940867656322 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21382] ppid=21368 vsize=13980732 CPUtime=0.7 cores=0,2,4,6
/proc/21370/task/21382/stat : 21382 (java) S 21368 21368 18930 0 -1 1077944384 7717 0 0 0 69 1 0 0 20 0 15 0 61084534 14316269568 74825 18446744073709551615 4194304 4196468 140728771771216 139940339821424 139940867656322 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21383] ppid=21368 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21370/task/21383/stat : 21383 (java) S 21368 21368 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61084534 14316269568 74825 18446744073709551615 4194304 4196468 140728771771216 139940338768864 139940867655381 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21384] ppid=21368 vsize=13980732 CPUtime=0.1 cores=0,2,4,6
/proc/21370/task/21384/stat : 21384 (java) S 21368 21368 18930 0 -1 1077944384 260 0 0 0 6 4 0 0 20 0 15 0 61084538 14316269568 74825 18446744073709551615 4194304 4196468 140728771771216 139940337715632 139940867656322 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
Current children cumulated CPU time (s) 166.86
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 2.00 2.01 1.90 3/216 21392
/proc/meminfo: memFree=31442648/32770624 swapFree=0/207956
[pid=21368] ppid=21365 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/21368/stat : 21368 (xcsp3-exec) S 21365 21368 18930 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 61084523 9740288 344 18446744073709551615 4194304 5098028 140734213917616 140734213915720 140427206271612 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 20860928 140734213923226 140734213923430 140734213923430 140734213926891 0
/proc/21368/statm: 2378 344 289 221 0 87 0
[pid=21370] ppid=21368 vsize=13980732 CPUtime=226.93 cores=0,2,4,6
/proc/21370/stat : 21370 (java) S 21368 21368 18930 0 -1 1077944320 47828 0 0 0 22671 22 0 0 20 0 15 0 61084528 14316269568 74825 18446744073709551615 4194304 4196468 140728771771216 140728771753760 139940867645175 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
/proc/21370/statm: 3495183 74825 3227 1 0 3483484 0
[pid=21370/tid=21371] ppid=21368 vsize=13980732 CPUtime=222.09 cores=0,2,4,6
/proc/21370/task/21371/stat : 21371 (java) R 21368 21368 18930 0 -1 4202560 13990 0 0 0 22203 6 0 0 20 0 15 0 61084529 14316269568 74825 18446744073709551615 4194304 4196468 140728771771216 139940871881088 139940515932393 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21372] ppid=21368 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/21370/task/21372/stat : 21372 (java) S 21368 21368 18930 0 -1 1077944384 101 0 0 0 4 1 0 0 20 0 15 0 61084529 14316269568 74825 18446744073709551615 4194304 4196468 140728771771216 139940467829648 139940867655381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21373] ppid=21368 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/21370/task/21373/stat : 21373 (java) S 21368 21368 18930 0 -1 1077944384 610 0 0 0 6 1 0 0 20 0 15 0 61084529 14316269568 74825 18446744073709551615 4194304 4196468 140728771771216 139940466776848 139940867655381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21374] ppid=21368 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/21370/task/21374/stat : 21374 (java) S 21368 21368 18930 0 -1 1077944384 515 0 0 0 6 1 0 0 20 0 15 0 61084529 14316269568 74825 18446744073709551615 4194304 4196468 140728771771216 139940465724560 139940867655381 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21375] ppid=21368 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/21370/task/21375/stat : 21375 (java) S 21368 21368 18930 0 -1 1077944384 313 0 0 0 5 0 0 0 20 0 15 0 61084529 14316269568 74825 18446744073709551615 4194304 4196468 140728771771216 139940464671760 139940867655381 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21376] ppid=21368 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/21370/task/21376/stat : 21376 (java) S 21368 21368 18930 0 -1 1077944384 737 0 0 0 1 0 0 0 20 0 15 0 61084531 14316269568 74825 18446744073709551615 4194304 4196468 140728771771216 139940346136688 139940867656322 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21377] ppid=21368 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21370/task/21377/stat : 21377 (java) S 21368 21368 18930 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 61084531 14316269568 74825 18446744073709551615 4194304 4196468 140728771771216 139940345082656 139940867655381 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21378] ppid=21368 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21370/task/21378/stat : 21378 (java) S 21368 21368 18930 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 61084531 14316269568 74825 18446744073709551615 4194304 4196468 140728771771216 139940344030320 139940867655381 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21379] ppid=21368 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21370/task/21379/stat : 21379 (java) S 21368 21368 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61084534 14316269568 74825 18446744073709551615 4194304 4196468 140728771771216 139940342978640 139940867663771 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21380] ppid=21368 vsize=13980732 CPUtime=1.87 cores=0,2,4,6
/proc/21370/task/21380/stat : 21380 (java) S 21368 21368 18930 0 -1 1077944384 12352 0 0 0 186 1 0 0 20 0 15 0 61084534 14316269568 74825 18446744073709551615 4194304 4196468 140728771771216 139940341926512 139940867656322 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21381] ppid=21368 vsize=13980732 CPUtime=1.79 cores=0,2,4,6
/proc/21370/task/21381/stat : 21381 (java) S 21368 21368 18930 0 -1 1077944384 9185 0 0 0 178 1 0 0 20 0 15 0 61084534 14316269568 74825 18446744073709551615 4194304 4196468 140728771771216 139940340873712 139940867656322 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21382] ppid=21368 vsize=13980732 CPUtime=0.7 cores=0,2,4,6
/proc/21370/task/21382/stat : 21382 (java) S 21368 21368 18930 0 -1 1077944384 8363 0 0 0 69 1 0 0 20 0 15 0 61084534 14316269568 74825 18446744073709551615 4194304 4196468 140728771771216 139940339821424 139940867656322 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21383] ppid=21368 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21370/task/21383/stat : 21383 (java) S 21368 21368 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61084534 14316269568 74825 18446744073709551615 4194304 4196468 140728771771216 139940338768864 139940867655381 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21384] ppid=21368 vsize=13980732 CPUtime=0.13 cores=0,2,4,6
/proc/21370/task/21384/stat : 21384 (java) S 21368 21368 18930 0 -1 1077944384 291 0 0 0 7 6 0 0 20 0 15 0 61084538 14316269568 74825 18446744073709551615 4194304 4196468 140728771771216 139940337715632 139940867656322 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
Current children cumulated CPU time (s) 226.93
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 2.08 2.03 1.90 3/216 21470
/proc/meminfo: memFree=31545204/32770624 swapFree=0/208000
[pid=21368] ppid=21365 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/21368/stat : 21368 (xcsp3-exec) S 21365 21368 18930 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 61084523 9740288 344 18446744073709551615 4194304 5098028 140734213917616 140734213915720 140427206271612 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 20860928 140734213923226 140734213923430 140734213923430 140734213926891 0
/proc/21368/statm: 2378 344 289 221 0 87 0
[pid=21370] ppid=21368 vsize=13980732 CPUtime=244.68 cores=0,2,4,6
/proc/21370/stat : 21370 (java) S 21368 21368 18930 0 -1 1077944320 48869 0 0 0 24445 23 0 0 20 0 15 0 61084528 14316269568 74835 18446744073709551615 4194304 4196468 140728771771216 140728771753760 139940867645175 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
/proc/21370/statm: 3495183 74835 3227 1 0 3483484 0
[pid=21370/tid=21371] ppid=21368 vsize=13980732 CPUtime=239.78 cores=0,2,4,6
/proc/21370/task/21371/stat : 21371 (java) R 21368 21368 18930 0 -1 4202560 14088 0 0 0 23972 6 0 0 20 0 15 0 61084529 14316269568 74835 18446744073709551615 4194304 4196468 140728771771216 139940871882056 139940516230589 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21372] ppid=21368 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/21370/task/21372/stat : 21372 (java) S 21368 21368 18930 0 -1 1077944384 101 0 0 0 4 1 0 0 20 0 15 0 61084529 14316269568 74835 18446744073709551615 4194304 4196468 140728771771216 139940467829648 139940867655381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21373] ppid=21368 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/21370/task/21373/stat : 21373 (java) S 21368 21368 18930 0 -1 1077944384 610 0 0 0 6 1 0 0 20 0 15 0 61084529 14316269568 74835 18446744073709551615 4194304 4196468 140728771771216 139940466776848 139940867655381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21374] ppid=21368 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/21370/task/21374/stat : 21374 (java) S 21368 21368 18930 0 -1 1077944384 515 0 0 0 6 1 0 0 20 0 15 0 61084529 14316269568 74835 18446744073709551615 4194304 4196468 140728771771216 139940465724560 139940867655381 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21375] ppid=21368 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/21370/task/21375/stat : 21375 (java) S 21368 21368 18930 0 -1 1077944384 313 0 0 0 5 0 0 0 20 0 15 0 61084529 14316269568 74835 18446744073709551615 4194304 4196468 140728771771216 139940464671760 139940867655381 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21376] ppid=21368 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/21370/task/21376/stat : 21376 (java) S 21368 21368 18930 0 -1 1077944384 746 0 0 0 1 0 0 0 20 0 15 0 61084531 14316269568 74835 18446744073709551615 4194304 4196468 140728771771216 139940346136688 139940867656322 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21377] ppid=21368 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21370/task/21377/stat : 21377 (java) S 21368 21368 18930 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 61084531 14316269568 74835 18446744073709551615 4194304 4196468 140728771771216 139940345082656 139940867655381 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21378] ppid=21368 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21370/task/21378/stat : 21378 (java) S 21368 21368 18930 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 61084531 14316269568 74835 18446744073709551615 4194304 4196468 140728771771216 139940344030320 139940867655381 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21379] ppid=21368 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21370/task/21379/stat : 21379 (java) S 21368 21368 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61084534 14316269568 74835 18446744073709551615 4194304 4196468 140728771771216 139940342978640 139940867663771 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21380] ppid=21368 vsize=13980732 CPUtime=1.89 cores=0,2,4,6
/proc/21370/task/21380/stat : 21380 (java) S 21368 21368 18930 0 -1 1077944384 12547 0 0 0 188 1 0 0 20 0 15 0 61084534 14316269568 74835 18446744073709551615 4194304 4196468 140728771771216 139940341926512 139940867656322 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21381] ppid=21368 vsize=13980732 CPUtime=1.8 cores=0,2,4,6
/proc/21370/task/21381/stat : 21381 (java) S 21368 21368 18930 0 -1 1077944384 9400 0 0 0 179 1 0 0 20 0 15 0 61084534 14316269568 74835 18446744073709551615 4194304 4196468 140728771771216 139940340873712 139940867656322 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21382] ppid=21368 vsize=13980732 CPUtime=0.71 cores=0,2,4,6
/proc/21370/task/21382/stat : 21382 (java) S 21368 21368 18930 0 -1 1077944384 8878 0 0 0 70 1 0 0 20 0 15 0 61084534 14316269568 74835 18446744073709551615 4194304 4196468 140728771771216 139940339821424 139940867656322 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21383] ppid=21368 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21370/task/21383/stat : 21383 (java) S 21368 21368 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61084534 14316269568 74835 18446744073709551615 4194304 4196468 140728771771216 139940338768864 139940867655381 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
[pid=21370/tid=21384] ppid=21368 vsize=13980732 CPUtime=0.15 cores=0,2,4,6
/proc/21370/task/21384/stat : 21384 (java) S 21368 21368 18930 0 -1 1077944384 300 0 0 0 8 7 0 0 20 0 15 0 61084538 14316269568 74835 18446744073709551615 4194304 4196468 140728771771216 139940337715632 139940867656322 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24821760 140728771776979 140728771777154 140728771777154 140728771780559 0
Current children cumulated CPU time (s) 244.68
Current children cumulated vsize (KiB) 13990244
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 21370 sig 9
??? kill 21368 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 240.013
CPU time (s): 244.706
CPU user time (s): 244.47
CPU system time (s): 0.235941
CPU usage (%): 101.955
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 244.47
system time used= 0.235941
maximum resident set size= 299812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49677
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= 7651
involuntary context switches= 341
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.1113 second user time and 1.63684 second system time
The end