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-4255245-1501621185/watcher-4255245-1501621185 -o /tmp/evaluation-result-4255245-1501621185/solver-4255245-1501621185 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node131-1501617193-9962 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 847902327 HOME/instance-4255245-1501621185.xml
pid=12529
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.18 1.98 1.87 3/195 12532
/proc/meminfo: memFree=31738336/32770624 swapFree=0/192776
[pid=12532] ppid=12529 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/12532/stat : 12532 (runsolver) D 12529 12532 5131 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 10738813 24240128 108 18446744073709551615 4194304 4338465 140736348479808 140736348477448 140074562728663 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 23957504 140736348483678 140736348484166 140736348484166 140736348487626 0
/proc/12532/statm: 5918 108 54 36 0 2156 0
[startup+0.100108 s]
/proc/loadavg: 2.18 1.98 1.87 3/195 12532
/proc/meminfo: memFree=31738336/32770624 swapFree=0/192776
[pid=12532] ppid=12529 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12532/stat : 12532 (xcsp3-exec) S 12529 12532 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10738813 9740288 345 18446744073709551615 4194304 5098028 140737369073360 140737369071464 140453845705340 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 20754432 140737369080220 140737369080423 140737369080423 140737369083883 0
/proc/12532/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200327 s]
/proc/loadavg: 2.18 1.98 1.87 3/195 12532
/proc/meminfo: memFree=31738336/32770624 swapFree=0/192776
[pid=12532] ppid=12529 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12532/stat : 12532 (xcsp3-exec) S 12529 12532 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10738813 9740288 345 18446744073709551615 4194304 5098028 140737369073360 140737369071464 140453845705340 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 20754432 140737369080220 140737369080423 140737369080423 140737369083883 0
/proc/12532/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.304618 s]
/proc/loadavg: 2.18 1.98 1.87 3/195 12532
/proc/meminfo: memFree=31738336/32770624 swapFree=0/192776
[pid=12532] ppid=12529 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12532/stat : 12532 (xcsp3-exec) S 12529 12532 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10738813 9740288 345 18446744073709551615 4194304 5098028 140737369073360 140737369071464 140453845705340 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 20754432 140737369080220 140737369080423 140737369080423 140737369083883 0
/proc/12532/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700243 s]
/proc/loadavg: 2.18 1.98 1.87 3/195 12532
/proc/meminfo: memFree=31738336/32770624 swapFree=0/192776
[pid=12532] ppid=12529 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12532/stat : 12532 (xcsp3-exec) S 12529 12532 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10738813 9740288 345 18446744073709551615 4194304 5098028 140737369073360 140737369071464 140453845705340 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 20754432 140737369080220 140737369080423 140737369080423 140737369083883 0
/proc/12532/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50067 s]
/proc/loadavg: 2.18 1.98 1.87 5/211 12549
/proc/meminfo: memFree=31643300/32770624 swapFree=0/192776
[pid=12532] ppid=12529 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12532/stat : 12532 (xcsp3-exec) S 12529 12532 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10738813 9740288 345 18446744073709551615 4194304 5098028 140737369073360 140737369071464 140453845705340 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 20754432 140737369080220 140737369080423 140737369080423 140737369083883 0
/proc/12532/statm: 2378 345 289 221 0 87 0
[pid=12534] ppid=12532 vsize=13983624 CPUtime=3.67 cores=0,2,4,6
/proc/12534/stat : 12534 (java) S 12532 12532 5131 0 -1 1077944320 34266 0 0 0 359 8 0 0 20 0 15 0 10738821 14319230976 30138 18446744073709551615 4194304 4196468 140730162086800 140730162069344 140216926412535 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
/proc/12534/statm: 3495906 30138 3187 1 0 3484207 0
[pid=12534/tid=12535] ppid=12532 vsize=13983624 CPUtime=1.35 cores=0,2,4,6
/proc/12534/task/12535/stat : 12535 (java) R 12532 12532 5131 0 -1 4202560 9520 0 0 0 131 4 0 0 20 0 15 0 10738821 14319230976 30138 18446744073709551615 4194304 4196468 140730162086800 140216930648552 140216542752363 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12536] ppid=12532 vsize=13983624 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12536/stat : 12536 (java) S 12532 12532 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10738822 14319230976 30138 18446744073709551615 4194304 4196468 140730162086800 140216860846480 140216926422741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12537] ppid=12532 vsize=13983624 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12537/stat : 12537 (java) S 12532 12532 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10738822 14319230976 30138 18446744073709551615 4194304 4196468 140730162086800 140216859793680 140216926422741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12538] ppid=12532 vsize=13983624 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12538/stat : 12538 (java) S 12532 12532 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10738822 14319230976 30138 18446744073709551615 4194304 4196468 140730162086800 140216523995792 140216926422741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12539] ppid=12532 vsize=13983624 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12539/stat : 12539 (java) S 12532 12532 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10738822 14319230976 30138 18446744073709551615 4194304 4196468 140730162086800 140216522942992 140216926422741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12540] ppid=12532 vsize=13983624 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12540/stat : 12540 (java) S 12532 12532 5131 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 10738823 14319230976 30138 18446744073709551615 4194304 4196468 140730162086800 140216472087152 140216926423682 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12541] ppid=12532 vsize=13983624 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12541/stat : 12541 (java) S 12532 12532 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10738824 14319230976 30138 18446744073709551615 4194304 4196468 140730162086800 140216471033120 140216926422741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12542] ppid=12532 vsize=13983624 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12542/stat : 12542 (java) S 12532 12532 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10738824 14319230976 30138 18446744073709551615 4194304 4196468 140730162086800 140216469980784 140216926422741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12543] ppid=12532 vsize=13983624 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12543/stat : 12543 (java) S 12532 12532 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10738827 14319230976 30138 18446744073709551615 4194304 4196468 140730162086800 140216468929104 140216926431131 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12544] ppid=12532 vsize=13983624 CPUtime=0.93 cores=0,2,4,6
/proc/12534/task/12544/stat : 12544 (java) R 12532 12532 5131 0 -1 4202560 8870 0 0 0 92 1 0 0 20 0 15 0 10738827 14319230976 30138 18446744073709551615 4194304 4196468 140730162086800 140216467857360 140216907956753 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12545] ppid=12532 vsize=13983624 CPUtime=0.92 cores=0,2,4,6
/proc/12534/task/12545/stat : 12545 (java) R 12532 12532 5131 0 -1 4202560 10952 0 0 0 91 1 0 0 20 0 15 0 10738827 14319230976 30138 18446744073709551615 4194304 4196468 140730162086800 140216466804168 140216905668923 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12546] ppid=12532 vsize=13983624 CPUtime=0.45 cores=0,2,4,6
/proc/12534/task/12546/stat : 12546 (java) S 12532 12532 5131 0 -1 1077944384 3617 0 0 0 44 1 0 0 20 0 15 0 10738827 14319230976 30138 18446744073709551615 4194304 4196468 140730162086800 140216465770864 140216926423682 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12547] ppid=12532 vsize=13983624 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12547/stat : 12547 (java) S 12532 12532 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10738827 14319230976 30138 18446744073709551615 4194304 4196468 140730162086800 140216464718304 140216926422741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12548] ppid=12532 vsize=13983624 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12548/stat : 12548 (java) S 12532 12532 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10738833 14319230976 30138 18446744073709551615 4194304 4196468 140730162086800 140216463666096 140216926423682 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
Current children cumulated CPU time (s) 3.67
Current children cumulated vsize (KiB) 13993136
[startup+3.10069 s]
/proc/loadavg: 2.18 1.98 1.87 5/211 12549
/proc/meminfo: memFree=31591752/32770624 swapFree=0/192776
[pid=12532] ppid=12529 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12532/stat : 12532 (xcsp3-exec) S 12529 12532 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10738813 9740288 345 18446744073709551615 4194304 5098028 140737369073360 140737369071464 140453845705340 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 20754432 140737369080220 140737369080423 140737369080423 140737369083883 0
/proc/12532/statm: 2378 345 289 221 0 87 0
[pid=12534] ppid=12532 vsize=13984820 CPUtime=8.53 cores=0,2,4,6
/proc/12534/stat : 12534 (java) S 12532 12532 5131 0 -1 1077944320 51464 0 0 0 843 10 0 0 20 0 15 0 10738821 14320455680 45993 18446744073709551615 4194304 4196468 140730162086800 140730162069344 140216926412535 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
/proc/12534/statm: 3496205 45993 3187 1 0 3484506 0
[pid=12534/tid=12535] ppid=12532 vsize=13984820 CPUtime=2.94 cores=0,2,4,6
/proc/12534/task/12535/stat : 12535 (java) R 12532 12532 5131 0 -1 4202560 10486 0 0 0 290 4 0 0 20 0 15 0 10738821 14320455680 45993 18446744073709551615 4194304 4196468 140730162086800 140216930643792 140216544211452 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12536] ppid=12532 vsize=13984820 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12536/stat : 12536 (java) S 12532 12532 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10738822 14320455680 45993 18446744073709551615 4194304 4196468 140730162086800 140216860846480 140216926422741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12537] ppid=12532 vsize=13984820 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12537/stat : 12537 (java) S 12532 12532 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10738822 14320455680 45993 18446744073709551615 4194304 4196468 140730162086800 140216859793680 140216926422741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12538] ppid=12532 vsize=13984820 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12538/stat : 12538 (java) S 12532 12532 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10738822 14320455680 45993 18446744073709551615 4194304 4196468 140730162086800 140216523995792 140216926422741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12539] ppid=12532 vsize=13984820 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12539/stat : 12539 (java) S 12532 12532 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10738822 14320455680 45993 18446744073709551615 4194304 4196468 140730162086800 140216522942992 140216926422741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12540] ppid=12532 vsize=13984820 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12540/stat : 12540 (java) S 12532 12532 5131 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 10738823 14320455680 45993 18446744073709551615 4194304 4196468 140730162086800 140216472087152 140216926423682 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12541] ppid=12532 vsize=13984820 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12541/stat : 12541 (java) S 12532 12532 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10738824 14320455680 45993 18446744073709551615 4194304 4196468 140730162086800 140216471033120 140216926422741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12542] ppid=12532 vsize=13984820 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12542/stat : 12542 (java) S 12532 12532 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10738824 14320455680 45993 18446744073709551615 4194304 4196468 140730162086800 140216469980784 140216926422741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12543] ppid=12532 vsize=13984820 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12543/stat : 12543 (java) S 12532 12532 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10738827 14320455680 45993 18446744073709551615 4194304 4196468 140730162086800 140216468929104 140216926431131 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12544] ppid=12532 vsize=13984820 CPUtime=2.53 cores=0,2,4,6
/proc/12534/task/12544/stat : 12544 (java) R 12532 12532 5131 0 -1 4202560 15681 0 0 0 251 2 0 0 20 0 15 0 10738827 14320455680 45993 18446744073709551615 4194304 4196468 140730162086800 140216467860896 140216911529696 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12545] ppid=12532 vsize=13984820 CPUtime=2.51 cores=0,2,4,6
/proc/12534/task/12545/stat : 12545 (java) R 12532 12532 5131 0 -1 4202560 19229 0 0 0 249 2 0 0 20 0 15 0 10738827 14320455680 45993 18446744073709551615 4194304 4196468 140730162086800 140216466804168 140216906110299 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12546] ppid=12532 vsize=13984820 CPUtime=0.51 cores=0,2,4,6
/proc/12534/task/12546/stat : 12546 (java) S 12532 12532 5131 0 -1 1077944384 4723 0 0 0 50 1 0 0 20 0 15 0 10738827 14320455680 45993 18446744073709551615 4194304 4196468 140730162086800 140216465770864 140216926423682 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12547] ppid=12532 vsize=13984820 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12547/stat : 12547 (java) S 12532 12532 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10738827 14320455680 45993 18446744073709551615 4194304 4196468 140730162086800 140216464718304 140216926422741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12548] ppid=12532 vsize=13984820 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12548/stat : 12548 (java) S 12532 12532 5131 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 10738833 14320455680 45993 18446744073709551615 4194304 4196468 140730162086800 140216463666096 140216926423682 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
Current children cumulated CPU time (s) 8.53
Current children cumulated vsize (KiB) 13994332
[startup+6.30069 s]
/proc/loadavg: 2.32 2.01 1.88 5/211 12549
/proc/meminfo: memFree=31502212/32770624 swapFree=0/192788
[pid=12532] ppid=12529 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12532/stat : 12532 (xcsp3-exec) S 12529 12532 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10738813 9740288 345 18446744073709551615 4194304 5098028 140737369073360 140737369071464 140453845705340 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 20754432 140737369080220 140737369080423 140737369080423 140737369083883 0
/proc/12532/statm: 2378 345 289 221 0 87 0
[pid=12534] ppid=12532 vsize=14050964 CPUtime=18.14 cores=0,2,4,6
/proc/12534/stat : 12534 (java) S 12532 12532 5131 0 -1 1077944320 87450 0 0 0 1799 15 0 0 20 0 15 0 10738821 14388187136 62037 18446744073709551615 4194304 4196468 140730162086800 140730162069344 140216926412535 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
/proc/12534/statm: 3512741 62037 3193 1 0 3501042 0
[pid=12534/tid=12535] ppid=12532 vsize=14050964 CPUtime=6.14 cores=0,2,4,6
/proc/12534/task/12535/stat : 12535 (java) R 12532 12532 5131 0 -1 4202560 10738 0 0 0 610 4 0 0 20 0 15 0 10738821 14388187136 62037 18446744073709551615 4194304 4196468 140730162086800 140216930644032 140216544441104 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12536] ppid=12532 vsize=14050964 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12536/stat : 12536 (java) S 12532 12532 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10738822 14388187136 62037 18446744073709551615 4194304 4196468 140730162086800 140216860846480 140216926422741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12537] ppid=12532 vsize=14050964 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12537/stat : 12537 (java) S 12532 12532 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10738822 14388187136 62037 18446744073709551615 4194304 4196468 140730162086800 140216859793680 140216926422741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12538] ppid=12532 vsize=14050964 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12538/stat : 12538 (java) S 12532 12532 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10738822 14388187136 62037 18446744073709551615 4194304 4196468 140730162086800 140216523995792 140216926422741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12539] ppid=12532 vsize=14050964 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12539/stat : 12539 (java) S 12532 12532 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10738822 14388187136 62037 18446744073709551615 4194304 4196468 140730162086800 140216522942992 140216926422741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12540] ppid=12532 vsize=14050964 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12540/stat : 12540 (java) S 12532 12532 5131 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 15 0 10738823 14388187136 62037 18446744073709551615 4194304 4196468 140730162086800 140216472087152 140216926423682 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12541] ppid=12532 vsize=14050964 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12541/stat : 12541 (java) S 12532 12532 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10738824 14388187136 62037 18446744073709551615 4194304 4196468 140730162086800 140216471033120 140216926422741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12542] ppid=12532 vsize=14050964 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12542/stat : 12542 (java) S 12532 12532 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10738824 14388187136 62037 18446744073709551615 4194304 4196468 140730162086800 140216469980784 140216926422741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12543] ppid=12532 vsize=14050964 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12543/stat : 12543 (java) S 12532 12532 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10738827 14388187136 62037 18446744073709551615 4194304 4196468 140730162086800 140216468929104 140216926431131 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12544] ppid=12532 vsize=14050964 CPUtime=5.73 cores=0,2,4,6
/proc/12534/task/12544/stat : 12544 (java) R 12532 12532 5131 0 -1 4202560 27237 0 0 0 569 4 0 0 20 0 15 0 10738827 14388187136 62037 18446744073709551615 4194304 4196468 140730162086800 140216467861744 140216911538533 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12545] ppid=12532 vsize=14050964 CPUtime=5.7 cores=0,2,4,6
/proc/12534/task/12545/stat : 12545 (java) R 12532 12532 5131 0 -1 4202560 41670 0 0 0 565 5 0 0 20 0 15 0 10738827 14388187136 62037 18446744073709551615 4194304 4196468 140730162086800 140216466808112 140216903702713 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12546] ppid=12532 vsize=14050964 CPUtime=0.54 cores=0,2,4,6
/proc/12534/task/12546/stat : 12546 (java) S 12532 12532 5131 0 -1 1077944384 5297 0 0 0 53 1 0 0 20 0 15 0 10738827 14388187136 62037 18446744073709551615 4194304 4196468 140730162086800 140216465770864 140216926423682 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12547] ppid=12532 vsize=14050964 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12547/stat : 12547 (java) S 12532 12532 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10738827 14388187136 62037 18446744073709551615 4194304 4196468 140730162086800 140216464718304 140216926422741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12548] ppid=12532 vsize=14050964 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12548/stat : 12548 (java) S 12532 12532 5131 0 -1 1077944384 1106 0 0 0 0 0 0 0 20 0 15 0 10738833 14388187136 62037 18446744073709551615 4194304 4196468 140730162086800 140216463666096 140216926423682 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
Current children cumulated CPU time (s) 18.14
Current children cumulated vsize (KiB) 14060476
[startup+12.7007 s]
/proc/loadavg: 2.30 2.01 1.88 5/211 12549
/proc/meminfo: memFree=31502856/32770624 swapFree=0/192796
[pid=12532] ppid=12529 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12532/stat : 12532 (xcsp3-exec) S 12529 12532 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10738813 9740288 345 18446744073709551615 4194304 5098028 140737369073360 140737369071464 140453845705340 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 20754432 140737369080220 140737369080423 140737369080423 140737369083883 0
/proc/12532/statm: 2378 345 289 221 0 87 0
[pid=12534] ppid=12532 vsize=14050964 CPUtime=27.46 cores=0,2,4,6
/proc/12534/stat : 12534 (java) S 12532 12532 5131 0 -1 1077944320 104517 0 0 0 2729 17 0 0 20 0 15 0 10738821 14388187136 69610 18446744073709551615 4194304 4196468 140730162086800 140730162069344 140216926412535 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
/proc/12534/statm: 3512741 69610 3200 1 0 3501042 0
[pid=12534/tid=12535] ppid=12532 vsize=14050964 CPUtime=12.54 cores=0,2,4,6
/proc/12534/task/12535/stat : 12535 (java) R 12532 12532 5131 0 -1 4202560 13077 0 0 0 1249 5 0 0 20 0 15 0 10738821 14388187136 69610 18446744073709551615 4194304 4196468 140730162086800 140216930648472 140216547659057 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12536] ppid=12532 vsize=14050964 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12536/stat : 12536 (java) S 12532 12532 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10738822 14388187136 69610 18446744073709551615 4194304 4196468 140730162086800 140216860846480 140216926422741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12537] ppid=12532 vsize=14050964 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12537/stat : 12537 (java) S 12532 12532 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10738822 14388187136 69610 18446744073709551615 4194304 4196468 140730162086800 140216859793680 140216926422741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
################
# More data... #
################
/proc/12534/stat : 12534 (java) S 12532 12532 5131 0 -1 1077944320 129408 0 0 0 12203 43 0 0 20 0 15 0 10738821 14388187136 97523 18446744073709551615 4194304 4196468 140730162086800 140730162069344 140216926412535 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
/proc/12534/statm: 3512741 97523 3233 1 0 3501042 0
[pid=12534/tid=12535] ppid=12532 vsize=14050964 CPUtime=101.61 cores=0,2,4,6
/proc/12534/task/12535/stat : 12535 (java) R 12532 12532 5131 0 -1 4202560 16500 0 0 0 10155 6 0 0 20 0 15 0 10738821 14388187136 97523 18446744073709551615 4194304 4196468 140730162086800 140216930652176 140216544441104 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12536] ppid=12532 vsize=14050964 CPUtime=0.44 cores=0,2,4,6
/proc/12534/task/12536/stat : 12536 (java) S 12532 12532 5131 0 -1 1077944384 897 0 0 0 39 5 0 0 20 0 15 0 10738822 14388187136 97523 18446744073709551615 4194304 4196468 140730162086800 140216860846480 140216926422741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12537] ppid=12532 vsize=14050964 CPUtime=0.41 cores=0,2,4,6
/proc/12534/task/12537/stat : 12537 (java) S 12532 12532 5131 0 -1 1077944384 1540 0 0 0 37 4 0 0 20 0 15 0 10738822 14388187136 97523 18446744073709551615 4194304 4196468 140730162086800 140216859793680 140216926422741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12538] ppid=12532 vsize=14050964 CPUtime=0.43 cores=0,2,4,6
/proc/12534/task/12538/stat : 12538 (java) S 12532 12532 5131 0 -1 1077944384 693 0 0 0 38 5 0 0 20 0 15 0 10738822 14388187136 97523 18446744073709551615 4194304 4196468 140730162086800 140216523995792 140216926422741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12539] ppid=12532 vsize=14050964 CPUtime=0.43 cores=0,2,4,6
/proc/12534/task/12539/stat : 12539 (java) S 12532 12532 5131 0 -1 1077944384 1127 0 0 0 39 4 0 0 20 0 15 0 10738822 14388187136 97523 18446744073709551615 4194304 4196468 140730162086800 140216522942992 140216926422741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12540] ppid=12532 vsize=14050964 CPUtime=0.05 cores=0,2,4,6
/proc/12534/task/12540/stat : 12540 (java) S 12532 12532 5131 0 -1 1077944384 1008 0 0 0 4 1 0 0 20 0 15 0 10738823 14388187136 97523 18446744073709551615 4194304 4196468 140730162086800 140216472087152 140216926423682 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12541] ppid=12532 vsize=14050964 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12541/stat : 12541 (java) S 12532 12532 5131 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 10738824 14388187136 97523 18446744073709551615 4194304 4196468 140730162086800 140216471033184 140216926422741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12542] ppid=12532 vsize=14050964 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12542/stat : 12542 (java) S 12532 12532 5131 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 10738824 14388187136 97523 18446744073709551615 4194304 4196468 140730162086800 140216469980800 140216926422741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12543] ppid=12532 vsize=14050964 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12543/stat : 12543 (java) S 12532 12532 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10738827 14388187136 97523 18446744073709551615 4194304 4196468 140730162086800 140216468929104 140216926431131 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12544] ppid=12532 vsize=14050964 CPUtime=8.96 cores=0,2,4,6
/proc/12534/task/12544/stat : 12544 (java) S 12532 12532 5131 0 -1 1077944384 39751 0 0 0 891 5 0 0 20 0 15 0 10738827 14388187136 97523 18446744073709551615 4194304 4196468 140730162086800 140216467875952 140216926423682 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12545] ppid=12532 vsize=14050964 CPUtime=9.15 cores=0,2,4,6
/proc/12534/task/12545/stat : 12545 (java) S 12532 12532 5131 0 -1 1077944384 52369 0 0 0 909 6 0 0 20 0 15 0 10738827 14388187136 97523 18446744073709551615 4194304 4196468 140730162086800 140216466823152 140216926423682 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12546] ppid=12532 vsize=14050964 CPUtime=0.85 cores=0,2,4,6
/proc/12534/task/12546/stat : 12546 (java) S 12532 12532 5131 0 -1 1077944384 9641 0 0 0 83 2 0 0 20 0 15 0 10738827 14388187136 97523 18446744073709551615 4194304 4196468 140730162086800 140216465770864 140216926423682 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12547] ppid=12532 vsize=14050964 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12547/stat : 12547 (java) S 12532 12532 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10738827 14388187136 97523 18446744073709551615 4194304 4196468 140730162086800 140216464718304 140216926422741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12548] ppid=12532 vsize=14050964 CPUtime=0.05 cores=0,2,4,6
/proc/12534/task/12548/stat : 12548 (java) S 12532 12532 5131 0 -1 1077944384 4529 0 0 0 3 2 0 0 20 0 15 0 10738833 14388187136 97523 18446744073709551615 4194304 4196468 140730162086800 140216463666096 140216926423682 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
Current children cumulated CPU time (s) 122.46
Current children cumulated vsize (KiB) 14060476
[startup+162.301 s]
/proc/loadavg: 1.47 1.80 1.82 3/211 12634
/proc/meminfo: memFree=31242040/32770624 swapFree=0/192948
[pid=12532] ppid=12529 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12532/stat : 12532 (xcsp3-exec) S 12529 12532 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10738813 9740288 345 18446744073709551615 4194304 5098028 140737369073360 140737369071464 140453845705340 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 20754432 140737369080220 140737369080423 140737369080423 140737369083883 0
/proc/12532/statm: 2378 345 289 221 0 87 0
[pid=12534] ppid=12532 vsize=14050964 CPUtime=183.7 cores=0,2,4,6
/proc/12534/stat : 12534 (java) S 12532 12532 5131 0 -1 1077944320 132969 0 0 0 18312 58 0 0 20 0 15 0 10738821 14388187136 112525 18446744073709551615 4194304 4196468 140730162086800 140730162069344 140216926412535 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
/proc/12534/statm: 3512741 112525 3233 1 0 3501042 0
[pid=12534/tid=12535] ppid=12532 vsize=14050964 CPUtime=161.14 cores=0,2,4,6
/proc/12534/task/12535/stat : 12535 (java) R 12532 12532 5131 0 -1 4202560 16988 0 0 0 16108 6 0 0 20 0 15 0 10738821 14388187136 112525 18446744073709551615 4194304 4196468 140730162086800 140216930651888 140216550077148 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12536] ppid=12532 vsize=14050964 CPUtime=0.82 cores=0,2,4,6
/proc/12534/task/12536/stat : 12536 (java) S 12532 12532 5131 0 -1 1077944384 1048 0 0 0 75 7 0 0 20 0 15 0 10738822 14388187136 112525 18446744073709551615 4194304 4196468 140730162086800 140216860846480 140216926422741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12537] ppid=12532 vsize=14050964 CPUtime=0.8 cores=0,2,4,6
/proc/12534/task/12537/stat : 12537 (java) S 12532 12532 5131 0 -1 1077944384 1696 0 0 0 73 7 0 0 20 0 15 0 10738822 14388187136 112525 18446744073709551615 4194304 4196468 140730162086800 140216859793680 140216926422741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12538] ppid=12532 vsize=14050964 CPUtime=0.8 cores=0,2,4,6
/proc/12534/task/12538/stat : 12538 (java) S 12532 12532 5131 0 -1 1077944384 851 0 0 0 72 8 0 0 20 0 15 0 10738822 14388187136 112525 18446744073709551615 4194304 4196468 140730162086800 140216523995792 140216926422741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12539] ppid=12532 vsize=14050964 CPUtime=0.82 cores=0,2,4,6
/proc/12534/task/12539/stat : 12539 (java) S 12532 12532 5131 0 -1 1077944384 1518 0 0 0 74 8 0 0 20 0 15 0 10738822 14388187136 112525 18446744073709551615 4194304 4196468 140730162086800 140216522942992 140216926422741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12540] ppid=12532 vsize=14050964 CPUtime=0.09 cores=0,2,4,6
/proc/12534/task/12540/stat : 12540 (java) S 12532 12532 5131 0 -1 1077944384 1162 0 0 0 7 2 0 0 20 0 15 0 10738823 14388187136 112525 18446744073709551615 4194304 4196468 140730162086800 140216472087152 140216926423682 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12541] ppid=12532 vsize=14050964 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12541/stat : 12541 (java) S 12532 12532 5131 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 10738824 14388187136 112525 18446744073709551615 4194304 4196468 140730162086800 140216471033184 140216926422741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12542] ppid=12532 vsize=14050964 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12542/stat : 12542 (java) S 12532 12532 5131 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 10738824 14388187136 112525 18446744073709551615 4194304 4196468 140730162086800 140216469980800 140216926422741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12543] ppid=12532 vsize=14050964 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12543/stat : 12543 (java) S 12532 12532 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10738827 14388187136 112525 18446744073709551615 4194304 4196468 140730162086800 140216468929104 140216926431131 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12544] ppid=12532 vsize=14050964 CPUtime=9.02 cores=0,2,4,6
/proc/12534/task/12544/stat : 12544 (java) S 12532 12532 5131 0 -1 1077944384 40570 0 0 0 897 5 0 0 20 0 15 0 10738827 14388187136 112525 18446744073709551615 4194304 4196468 140730162086800 140216467875952 140216926423682 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12545] ppid=12532 vsize=14050964 CPUtime=9.17 cores=0,2,4,6
/proc/12534/task/12545/stat : 12545 (java) S 12532 12532 5131 0 -1 1077944384 52794 0 0 0 911 6 0 0 20 0 15 0 10738827 14388187136 112525 18446744073709551615 4194304 4196468 140730162086800 140216466823152 140216926423682 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12546] ppid=12532 vsize=14050964 CPUtime=0.86 cores=0,2,4,6
/proc/12534/task/12546/stat : 12546 (java) S 12532 12532 5131 0 -1 1077944384 10456 0 0 0 84 2 0 0 20 0 15 0 10738827 14388187136 112525 18446744073709551615 4194304 4196468 140730162086800 140216465770864 140216926423682 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12547] ppid=12532 vsize=14050964 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12547/stat : 12547 (java) S 12532 12532 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10738827 14388187136 112525 18446744073709551615 4194304 4196468 140730162086800 140216464718304 140216926422741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12548] ppid=12532 vsize=14050964 CPUtime=0.08 cores=0,2,4,6
/proc/12534/task/12548/stat : 12548 (java) S 12532 12532 5131 0 -1 1077944384 4533 0 0 0 4 4 0 0 20 0 15 0 10738833 14388187136 112525 18446744073709551615 4194304 4196468 140730162086800 140216463666096 140216926423682 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
Current children cumulated CPU time (s) 183.7
Current children cumulated vsize (KiB) 14060476
[startup+222.307 s]
/proc/loadavg: 1.57 1.77 1.81 3/211 12636
/proc/meminfo: memFree=31092136/32770624 swapFree=0/192984
[pid=12532] ppid=12529 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12532/stat : 12532 (xcsp3-exec) S 12529 12532 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10738813 9740288 345 18446744073709551615 4194304 5098028 140737369073360 140737369071464 140453845705340 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 20754432 140737369080220 140737369080423 140737369080423 140737369083883 0
/proc/12532/statm: 2378 345 289 221 0 87 0
[pid=12534] ppid=12532 vsize=14050964 CPUtime=245.27 cores=0,2,4,6
/proc/12534/stat : 12534 (java) S 12532 12532 5131 0 -1 1077944320 139528 0 0 0 24457 70 0 0 20 0 15 0 10738821 14388187136 133251 18446744073709551615 4194304 4196468 140730162086800 140730162069344 140216926412535 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
/proc/12534/statm: 3512741 133251 3233 1 0 3501042 0
[pid=12534/tid=12535] ppid=12532 vsize=14050964 CPUtime=220.63 cores=0,2,4,6
/proc/12534/task/12535/stat : 12535 (java) R 12532 12532 5131 0 -1 4202560 17726 0 0 0 22056 7 0 0 20 0 15 0 10738821 14388187136 133251 18446744073709551615 4194304 4196468 140730162086800 140216930652000 140216547774261 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12536] ppid=12532 vsize=14050964 CPUtime=1.28 cores=0,2,4,6
/proc/12534/task/12536/stat : 12536 (java) S 12532 12532 5131 0 -1 1077944384 1366 0 0 0 118 10 0 0 20 0 15 0 10738822 14388187136 133251 18446744073709551615 4194304 4196468 140730162086800 140216860846480 140216926422741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12537] ppid=12532 vsize=14050964 CPUtime=1.27 cores=0,2,4,6
/proc/12534/task/12537/stat : 12537 (java) S 12532 12532 5131 0 -1 1077944384 1919 0 0 0 117 10 0 0 20 0 15 0 10738822 14388187136 133251 18446744073709551615 4194304 4196468 140730162086800 140216859793680 140216926422741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12538] ppid=12532 vsize=14050964 CPUtime=1.26 cores=0,2,4,6
/proc/12534/task/12538/stat : 12538 (java) S 12532 12532 5131 0 -1 1077944384 1172 0 0 0 116 10 0 0 20 0 15 0 10738822 14388187136 133251 18446744073709551615 4194304 4196468 140730162086800 140216523995792 140216926422741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12539] ppid=12532 vsize=14050964 CPUtime=1.27 cores=0,2,4,6
/proc/12534/task/12539/stat : 12539 (java) S 12532 12532 5131 0 -1 1077944384 1711 0 0 0 117 10 0 0 20 0 15 0 10738822 14388187136 133251 18446744073709551615 4194304 4196468 140730162086800 140216522942992 140216926422741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12540] ppid=12532 vsize=14050964 CPUtime=0.14 cores=0,2,4,6
/proc/12534/task/12540/stat : 12540 (java) S 12532 12532 5131 0 -1 1077944384 1267 0 0 0 12 2 0 0 20 0 15 0 10738823 14388187136 133251 18446744073709551615 4194304 4196468 140730162086800 140216472087152 140216926423682 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12541] ppid=12532 vsize=14050964 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12541/stat : 12541 (java) S 12532 12532 5131 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 10738824 14388187136 133251 18446744073709551615 4194304 4196468 140730162086800 140216471033184 140216926422741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12542] ppid=12532 vsize=14050964 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12542/stat : 12542 (java) S 12532 12532 5131 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 10738824 14388187136 133251 18446744073709551615 4194304 4196468 140730162086800 140216469980800 140216926422741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12543] ppid=12532 vsize=14050964 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12543/stat : 12543 (java) S 12532 12532 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10738827 14388187136 133251 18446744073709551615 4194304 4196468 140730162086800 140216468929104 140216926431131 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12544] ppid=12532 vsize=14050964 CPUtime=9.15 cores=0,2,4,6
/proc/12534/task/12544/stat : 12544 (java) S 12532 12532 5131 0 -1 1077944384 42879 0 0 0 910 5 0 0 20 0 15 0 10738827 14388187136 133251 18446744073709551615 4194304 4196468 140730162086800 140216467875952 140216926423682 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12545] ppid=12532 vsize=14050964 CPUtime=9.21 cores=0,2,4,6
/proc/12534/task/12545/stat : 12545 (java) S 12532 12532 5131 0 -1 1077944384 53743 0 0 0 915 6 0 0 20 0 15 0 10738827 14388187136 133251 18446744073709551615 4194304 4196468 140730162086800 140216466823152 140216926423682 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12546] ppid=12532 vsize=14050964 CPUtime=0.87 cores=0,2,4,6
/proc/12534/task/12546/stat : 12546 (java) S 12532 12532 5131 0 -1 1077944384 11838 0 0 0 85 2 0 0 20 0 15 0 10738827 14388187136 133251 18446744073709551615 4194304 4196468 140730162086800 140216465770864 140216926423682 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12547] ppid=12532 vsize=14050964 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12547/stat : 12547 (java) S 12532 12532 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10738827 14388187136 133251 18446744073709551615 4194304 4196468 140730162086800 140216464718304 140216926422741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12548] ppid=12532 vsize=14050964 CPUtime=0.11 cores=0,2,4,6
/proc/12534/task/12548/stat : 12548 (java) S 12532 12532 5131 0 -1 1077944384 4554 0 0 0 6 5 0 0 20 0 15 0 10738833 14388187136 133251 18446744073709551615 4194304 4196468 140730162086800 140216463666096 140216926423682 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
Current children cumulated CPU time (s) 245.27
Current children cumulated vsize (KiB) 14060476
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.56 1.75 1.81 3/211 12636
/proc/meminfo: memFree=31041820/32770624 swapFree=0/192992
[pid=12532] ppid=12529 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12532/stat : 12532 (xcsp3-exec) S 12529 12532 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10738813 9740288 345 18446744073709551615 4194304 5098028 140737369073360 140737369071464 140453845705340 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 20754432 140737369080220 140737369080423 140737369080423 140737369083883 0
/proc/12532/statm: 2378 345 289 221 0 87 0
[pid=12534] ppid=12532 vsize=14050964 CPUtime=263.43 cores=0,2,4,6
/proc/12534/stat : 12534 (java) S 12532 12532 5131 0 -1 1077944320 140613 0 0 0 26268 75 0 0 20 0 15 0 10738821 14388187136 141031 18446744073709551615 4194304 4196468 140730162086800 140730162069344 140216926412535 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
/proc/12534/statm: 3512741 141031 3233 1 0 3501042 0
[pid=12534/tid=12535] ppid=12532 vsize=14050964 CPUtime=238.14 cores=0,2,4,6
/proc/12534/task/12535/stat : 12535 (java) R 12532 12532 5131 0 -1 4202560 17958 0 0 0 23807 7 0 0 20 0 15 0 10738821 14388187136 141031 18446744073709551615 4194304 4196468 140730162086800 140216930652016 140216550192238 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12536] ppid=12532 vsize=14050964 CPUtime=1.44 cores=0,2,4,6
/proc/12534/task/12536/stat : 12536 (java) S 12532 12532 5131 0 -1 1077944384 1498 0 0 0 132 12 0 0 20 0 15 0 10738822 14388187136 141031 18446744073709551615 4194304 4196468 140730162086800 140216860846480 140216926422741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12537] ppid=12532 vsize=14050964 CPUtime=1.42 cores=0,2,4,6
/proc/12534/task/12537/stat : 12537 (java) S 12532 12532 5131 0 -1 1077944384 2078 0 0 0 131 11 0 0 20 0 15 0 10738822 14388187136 141031 18446744073709551615 4194304 4196468 140730162086800 140216859793680 140216926422741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12538] ppid=12532 vsize=14050964 CPUtime=1.41 cores=0,2,4,6
/proc/12534/task/12538/stat : 12538 (java) S 12532 12532 5131 0 -1 1077944384 1294 0 0 0 130 11 0 0 20 0 15 0 10738822 14388187136 141031 18446744073709551615 4194304 4196468 140730162086800 140216523995792 140216926422741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12539] ppid=12532 vsize=14050964 CPUtime=1.43 cores=0,2,4,6
/proc/12534/task/12539/stat : 12539 (java) S 12532 12532 5131 0 -1 1077944384 2120 0 0 0 132 11 0 0 20 0 15 0 10738822 14388187136 141031 18446744073709551615 4194304 4196468 140730162086800 140216522942992 140216926422741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12540] ppid=12532 vsize=14050964 CPUtime=0.15 cores=0,2,4,6
/proc/12534/task/12540/stat : 12540 (java) S 12532 12532 5131 0 -1 1077944384 1298 0 0 0 13 2 0 0 20 0 15 0 10738823 14388187136 141031 18446744073709551615 4194304 4196468 140730162086800 140216472087152 140216926423682 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12541] ppid=12532 vsize=14050964 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12541/stat : 12541 (java) S 12532 12532 5131 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 10738824 14388187136 141031 18446744073709551615 4194304 4196468 140730162086800 140216471033184 140216926422741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12542] ppid=12532 vsize=14050964 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12542/stat : 12542 (java) S 12532 12532 5131 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 10738824 14388187136 141031 18446744073709551615 4194304 4196468 140730162086800 140216469980800 140216926422741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12543] ppid=12532 vsize=14050964 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12543/stat : 12543 (java) S 12532 12532 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10738827 14388187136 141031 18446744073709551615 4194304 4196468 140730162086800 140216468929104 140216926431131 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12544] ppid=12532 vsize=14050964 CPUtime=9.16 cores=0,2,4,6
/proc/12534/task/12544/stat : 12544 (java) S 12532 12532 5131 0 -1 1077944384 42879 0 0 0 910 6 0 0 20 0 15 0 10738827 14388187136 141031 18446744073709551615 4194304 4196468 140730162086800 140216467875952 140216926423682 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12545] ppid=12532 vsize=14050964 CPUtime=9.21 cores=0,2,4,6
/proc/12534/task/12545/stat : 12545 (java) S 12532 12532 5131 0 -1 1077944384 53743 0 0 0 915 6 0 0 20 0 15 0 10738827 14388187136 141031 18446744073709551615 4194304 4196468 140730162086800 140216466823152 140216926423682 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12546] ppid=12532 vsize=14050964 CPUtime=0.87 cores=0,2,4,6
/proc/12534/task/12546/stat : 12546 (java) S 12532 12532 5131 0 -1 1077944384 11838 0 0 0 85 2 0 0 20 0 15 0 10738827 14388187136 141031 18446744073709551615 4194304 4196468 140730162086800 140216465770864 140216926423682 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12547] ppid=12532 vsize=14050964 CPUtime=0 cores=0,2,4,6
/proc/12534/task/12547/stat : 12547 (java) S 12532 12532 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10738827 14388187136 141031 18446744073709551615 4194304 4196468 140730162086800 140216464718304 140216926422741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
[pid=12534/tid=12548] ppid=12532 vsize=14050964 CPUtime=0.11 cores=0,2,4,6
/proc/12534/task/12548/stat : 12548 (java) S 12532 12532 5131 0 -1 1077944384 4554 0 0 0 6 5 0 0 20 0 15 0 10738833 14388187136 141031 18446744073709551615 4194304 4196468 140730162086800 140216463666096 140216926423682 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31883264 140730162094548 140730162094723 140730162094723 140730162098127 0
Current children cumulated CPU time (s) 263.43
Current children cumulated vsize (KiB) 14060476
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 12534 sig 9
??? kill 12532 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.02
CPU time (s): 263.465
CPU user time (s): 262.696
CPU system time (s): 0.769648
CPU usage (%): 109.768
Max. virtual memory (cumulated for all children) (KiB): 14060756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 262.696
system time used= 0.769648
maximum resident set size= 564748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 141469
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= 11775
involuntary context switches= 630
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.07256 second user time and 1.5579 second system time
The end