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-4253930-1501617233/watcher-4253930-1501617233 -o /tmp/evaluation-result-4253930-1501617233/solver-4253930-1501617233 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501611185-5152 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1663267166 HOME/instance-4253930-1501617233.xml
pid=10070
running on 4 cores: 1,3,5,7
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.97 1.90 1.84 3/195 10073
/proc/meminfo: memFree=31902464/32770624 swapFree=0/186584
[pid=10073] ppid=10070 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/10073/stat : 10073 (runsolver) D 10070 10073 5091 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10346444 24240128 106 18446744073709551615 4194304 4338465 140727930166336 140727930163976 140547103081175 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 15654912 140727930171485 140727930171974 140727930171974 140727930175434 0
/proc/10073/statm: 5918 106 53 36 0 2156 0
[startup+0.100152 s]
/proc/loadavg: 1.97 1.90 1.84 3/195 10073
/proc/meminfo: memFree=31902464/32770624 swapFree=0/186584
[pid=10073] ppid=10070 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10073/stat : 10073 (xcsp3-exec) S 10070 10073 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10346444 9740288 345 18446744073709551615 4194304 5098028 140735969316816 140735969314920 139634330088060 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 21295104 140735969325467 140735969325671 140735969325671 140735969329131 0
/proc/10073/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200309 s]
/proc/loadavg: 1.97 1.90 1.84 3/195 10073
/proc/meminfo: memFree=31902464/32770624 swapFree=0/186584
[pid=10073] ppid=10070 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10073/stat : 10073 (xcsp3-exec) S 10070 10073 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10346444 9740288 345 18446744073709551615 4194304 5098028 140735969316816 140735969314920 139634330088060 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 21295104 140735969325467 140735969325671 140735969325671 140735969329131 0
/proc/10073/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.301276 s]
/proc/loadavg: 1.97 1.90 1.84 3/195 10073
/proc/meminfo: memFree=31902464/32770624 swapFree=0/186584
[pid=10073] ppid=10070 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10073/stat : 10073 (xcsp3-exec) S 10070 10073 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10346444 9740288 345 18446744073709551615 4194304 5098028 140735969316816 140735969314920 139634330088060 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 21295104 140735969325467 140735969325671 140735969325671 140735969329131 0
/proc/10073/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700676 s]
/proc/loadavg: 1.97 1.90 1.84 3/195 10073
/proc/meminfo: memFree=31902464/32770624 swapFree=0/186584
[pid=10073] ppid=10070 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10073/stat : 10073 (xcsp3-exec) S 10070 10073 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10346444 9740288 345 18446744073709551615 4194304 5098028 140735969316816 140735969314920 139634330088060 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 21295104 140735969325467 140735969325671 140735969325671 140735969329131 0
/proc/10073/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50065 s]
/proc/loadavg: 1.97 1.90 1.84 3/211 10089
/proc/meminfo: memFree=31841116/32770624 swapFree=0/186584
[pid=10073] ppid=10070 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10073/stat : 10073 (xcsp3-exec) S 10070 10073 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10346444 9740288 345 18446744073709551615 4194304 5098028 140735969316816 140735969314920 139634330088060 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 21295104 140735969325467 140735969325671 140735969325671 140735969329131 0
/proc/10073/statm: 2378 345 289 221 0 87 0
[pid=10075] ppid=10073 vsize=13980732 CPUtime=2.69 cores=1,3,5,7
/proc/10075/stat : 10075 (java) S 10073 10073 5091 0 -1 1077944320 16769 0 0 0 263 6 0 0 20 0 15 0 10346450 14316269568 21061 18446744073709551615 4194304 4196468 140723183272304 140723183254848 139629619343095 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
/proc/10075/statm: 3495183 21061 3173 1 0 3483484 0
[pid=10075/tid=10076] ppid=10073 vsize=13980732 CPUtime=1.38 cores=1,3,5,7
/proc/10075/task/10076/stat : 10076 (java) R 10073 10073 5091 0 -1 4202560 8728 0 0 0 134 4 0 0 20 0 15 0 10346451 14316269568 21061 18446744073709551615 4194304 4196468 140723183272304 139629623578800 139629264254383 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10077] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10077/stat : 10077 (java) S 10073 10073 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10346451 14316269568 21061 18446744073709551615 4194304 4196468 140723183272304 139629219048208 139629619353301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10078] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10078/stat : 10078 (java) S 10073 10073 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10346451 14316269568 21061 18446744073709551615 4194304 4196468 140723183272304 139629217995664 139629619353301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10079] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10079/stat : 10079 (java) S 10073 10073 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10346451 14316269568 21061 18446744073709551615 4194304 4196468 140723183272304 139629216943120 139629619353301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10080] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10080/stat : 10080 (java) S 10073 10073 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10346451 14316269568 21061 18446744073709551615 4194304 4196468 140723183272304 139629215890576 139629619353301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10081] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10081/stat : 10081 (java) S 10073 10073 5091 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 10346453 14316269568 21061 18446744073709551615 4194304 4196468 140723183272304 139628536068080 139629619354242 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10082] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10082/stat : 10082 (java) S 10073 10073 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10346453 14316269568 21061 18446744073709551615 4194304 4196468 140723183272304 139628535014304 139629619353301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10083] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10083/stat : 10083 (java) S 10073 10073 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10346453 14316269568 21061 18446744073709551615 4194304 4196468 140723183272304 139628533961712 139629619353301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10084] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10084/stat : 10084 (java) S 10073 10073 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10346456 14316269568 21061 18446744073709551615 4194304 4196468 140723183272304 139628532910288 139629619361691 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10085] ppid=10073 vsize=13980732 CPUtime=0.54 cores=1,3,5,7
/proc/10075/task/10085/stat : 10085 (java) R 10073 10073 5091 0 -1 4202560 3383 0 0 0 54 0 0 0 20 0 15 0 10346456 14316269568 21061 18446744073709551615 4194304 4196468 140723183272304 139628531857904 139629604453118 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10086] ppid=10073 vsize=13980732 CPUtime=0.42 cores=1,3,5,7
/proc/10075/task/10086/stat : 10086 (java) R 10073 10073 5091 0 -1 4202560 1890 0 0 0 42 0 0 0 20 0 15 0 10346456 14316269568 21061 18446744073709551615 4194304 4196468 140723183272304 139628530805360 139629600864371 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10087] ppid=10073 vsize=13980732 CPUtime=0.31 cores=1,3,5,7
/proc/10075/task/10087/stat : 10087 (java) S 10073 10073 5091 0 -1 1077944384 1448 0 0 0 31 0 0 0 20 0 15 0 10346456 14316269568 21061 18446744073709551615 4194304 4196468 140723183272304 139628529752816 139629619354242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10088] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10088/stat : 10088 (java) S 10073 10073 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10346456 14316269568 21061 18446744073709551615 4194304 4196468 140723183272304 139628528700512 139629619353301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10089] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10089/stat : 10089 (java) S 10073 10073 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10346459 14316269568 21061 18446744073709551615 4194304 4196468 140723183272304 139628527647024 139629619354242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 13990244
[startup+3.10073 s]
/proc/loadavg: 1.97 1.90 1.84 4/211 10089
/proc/meminfo: memFree=31825360/32770624 swapFree=0/186588
[pid=10073] ppid=10070 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10073/stat : 10073 (xcsp3-exec) S 10070 10073 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10346444 9740288 345 18446744073709551615 4194304 5098028 140735969316816 140735969314920 139634330088060 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 21295104 140735969325467 140735969325671 140735969325671 140735969329131 0
/proc/10073/statm: 2378 345 289 221 0 87 0
[pid=10075] ppid=10073 vsize=13980732 CPUtime=4.92 cores=1,3,5,7
/proc/10075/stat : 10075 (java) S 10073 10073 5091 0 -1 1077944320 18945 0 0 0 485 7 0 0 20 0 15 0 10346450 14316269568 23267 18446744073709551615 4194304 4196468 140723183272304 140723183254848 139629619343095 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
/proc/10075/statm: 3495183 23267 3174 1 0 3483484 0
[pid=10075/tid=10076] ppid=10073 vsize=13980732 CPUtime=2.98 cores=1,3,5,7
/proc/10075/task/10076/stat : 10076 (java) R 10073 10073 5091 0 -1 4202560 9001 0 0 0 294 4 0 0 20 0 15 0 10346451 14316269568 23267 18446744073709551615 4194304 4196468 140723183272304 139629623579808 139629264254124 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10077] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10077/stat : 10077 (java) S 10073 10073 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10346451 14316269568 23267 18446744073709551615 4194304 4196468 140723183272304 139629219048208 139629619353301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10078] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10078/stat : 10078 (java) S 10073 10073 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10346451 14316269568 23267 18446744073709551615 4194304 4196468 140723183272304 139629217995664 139629619353301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10079] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10079/stat : 10079 (java) S 10073 10073 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10346451 14316269568 23267 18446744073709551615 4194304 4196468 140723183272304 139629216943120 139629619353301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10080] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10080/stat : 10080 (java) S 10073 10073 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10346451 14316269568 23267 18446744073709551615 4194304 4196468 140723183272304 139629215890576 139629619353301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10081] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10081/stat : 10081 (java) S 10073 10073 5091 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 10346453 14316269568 23267 18446744073709551615 4194304 4196468 140723183272304 139628536068080 139629619354242 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10082] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10082/stat : 10082 (java) S 10073 10073 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10346453 14316269568 23267 18446744073709551615 4194304 4196468 140723183272304 139628535014304 139629619353301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10083] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10083/stat : 10083 (java) S 10073 10073 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10346453 14316269568 23267 18446744073709551615 4194304 4196468 140723183272304 139628533961712 139629619353301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10084] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10084/stat : 10084 (java) S 10073 10073 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10346456 14316269568 23267 18446744073709551615 4194304 4196468 140723183272304 139628532910288 139629619361691 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10085] ppid=10073 vsize=13980732 CPUtime=0.84 cores=1,3,5,7
/proc/10075/task/10085/stat : 10085 (java) S 10073 10073 5091 0 -1 1077944384 3637 0 0 0 84 0 0 0 20 0 15 0 10346456 14316269568 23267 18446744073709551615 4194304 4196468 140723183272304 139628531857904 139629619354242 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10086] ppid=10073 vsize=13980732 CPUtime=0.7 cores=1,3,5,7
/proc/10075/task/10086/stat : 10086 (java) S 10073 10073 5091 0 -1 1077944384 3272 0 0 0 70 0 0 0 20 0 15 0 10346456 14316269568 23267 18446744073709551615 4194304 4196468 140723183272304 139628530805360 139629619354242 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10087] ppid=10073 vsize=13980732 CPUtime=0.34 cores=1,3,5,7
/proc/10075/task/10087/stat : 10087 (java) S 10073 10073 5091 0 -1 1077944384 1664 0 0 0 34 0 0 0 20 0 15 0 10346456 14316269568 23267 18446744073709551615 4194304 4196468 140723183272304 139628529752816 139629619354242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10088] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10088/stat : 10088 (java) S 10073 10073 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10346456 14316269568 23267 18446744073709551615 4194304 4196468 140723183272304 139628528700512 139629619353301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10089] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10089/stat : 10089 (java) S 10073 10073 5091 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 10346459 14316269568 23267 18446744073709551615 4194304 4196468 140723183272304 139628527647024 139629619354242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
Current children cumulated CPU time (s) 4.92
Current children cumulated vsize (KiB) 13990244
[startup+6.30073 s]
/proc/loadavg: 1.97 1.90 1.84 3/211 10089
/proc/meminfo: memFree=31818544/32770624 swapFree=0/186588
[pid=10073] ppid=10070 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10073/stat : 10073 (xcsp3-exec) S 10070 10073 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10346444 9740288 345 18446744073709551615 4194304 5098028 140735969316816 140735969314920 139634330088060 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 21295104 140735969325467 140735969325671 140735969325671 140735969329131 0
/proc/10073/statm: 2378 345 289 221 0 87 0
[pid=10075] ppid=10073 vsize=13980732 CPUtime=8.26 cores=1,3,5,7
/proc/10075/stat : 10075 (java) S 10073 10073 5091 0 -1 1077944320 22948 0 0 0 819 7 0 0 20 0 15 0 10346450 14316269568 25419 18446744073709551615 4194304 4196468 140723183272304 140723183254848 139629619343095 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
/proc/10075/statm: 3495183 25419 3178 1 0 3483484 0
[pid=10075/tid=10076] ppid=10073 vsize=13980732 CPUtime=6.18 cores=1,3,5,7
/proc/10075/task/10076/stat : 10076 (java) R 10073 10073 5091 0 -1 4202560 9493 0 0 0 614 4 0 0 20 0 15 0 10346451 14316269568 25419 18446744073709551615 4194304 4196468 140723183272304 139629623579808 139629264254139 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10077] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10077/stat : 10077 (java) S 10073 10073 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10346451 14316269568 25419 18446744073709551615 4194304 4196468 140723183272304 139629219048208 139629619353301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10078] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10078/stat : 10078 (java) S 10073 10073 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10346451 14316269568 25419 18446744073709551615 4194304 4196468 140723183272304 139629217995664 139629619353301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10079] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10079/stat : 10079 (java) S 10073 10073 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10346451 14316269568 25419 18446744073709551615 4194304 4196468 140723183272304 139629216943120 139629619353301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10080] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10080/stat : 10080 (java) S 10073 10073 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10346451 14316269568 25419 18446744073709551615 4194304 4196468 140723183272304 139629215890576 139629619353301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10081] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10081/stat : 10081 (java) S 10073 10073 5091 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 10346453 14316269568 25419 18446744073709551615 4194304 4196468 140723183272304 139628536068080 139629619354242 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10082] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10082/stat : 10082 (java) S 10073 10073 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10346453 14316269568 25419 18446744073709551615 4194304 4196468 140723183272304 139628535014304 139629619353301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10083] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10083/stat : 10083 (java) S 10073 10073 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10346453 14316269568 25419 18446744073709551615 4194304 4196468 140723183272304 139628533961712 139629619353301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10084] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10084/stat : 10084 (java) S 10073 10073 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10346456 14316269568 25419 18446744073709551615 4194304 4196468 140723183272304 139628532910288 139629619361691 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10085] ppid=10073 vsize=13980732 CPUtime=0.85 cores=1,3,5,7
/proc/10075/task/10085/stat : 10085 (java) S 10073 10073 5091 0 -1 1077944384 3762 0 0 0 85 0 0 0 20 0 15 0 10346456 14316269568 25419 18446744073709551615 4194304 4196468 140723183272304 139628531857904 139629619354242 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10086] ppid=10073 vsize=13980732 CPUtime=0.83 cores=1,3,5,7
/proc/10075/task/10086/stat : 10086 (java) S 10073 10073 5091 0 -1 1077944384 5869 0 0 0 82 1 0 0 20 0 15 0 10346456 14316269568 25419 18446744073709551615 4194304 4196468 140723183272304 139628530805360 139629619354242 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10087] ppid=10073 vsize=13980732 CPUtime=0.35 cores=1,3,5,7
/proc/10075/task/10087/stat : 10087 (java) S 10073 10073 5091 0 -1 1077944384 2117 0 0 0 35 0 0 0 20 0 15 0 10346456 14316269568 25419 18446744073709551615 4194304 4196468 140723183272304 139628529752816 139629619354242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10088] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10088/stat : 10088 (java) S 10073 10073 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10346456 14316269568 25419 18446744073709551615 4194304 4196468 140723183272304 139628528700512 139629619353301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10089] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10089/stat : 10089 (java) S 10073 10073 5091 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 15 0 10346459 14316269568 25419 18446744073709551615 4194304 4196468 140723183272304 139628527647024 139629619354242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
Current children cumulated CPU time (s) 8.26
Current children cumulated vsize (KiB) 13990244
[startup+12.7006 s]
/proc/loadavg: 1.97 1.91 1.85 3/211 10096
/proc/meminfo: memFree=31801748/32770624 swapFree=0/186612
[pid=10073] ppid=10070 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10073/stat : 10073 (xcsp3-exec) S 10070 10073 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10346444 9740288 345 18446744073709551615 4194304 5098028 140735969316816 140735969314920 139634330088060 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 21295104 140735969325467 140735969325671 140735969325671 140735969329131 0
/proc/10073/statm: 2378 345 289 221 0 87 0
[pid=10075] ppid=10073 vsize=13980732 CPUtime=15.23 cores=1,3,5,7
/proc/10075/stat : 10075 (java) S 10073 10073 5091 0 -1 1077944320 29082 0 0 0 1515 8 0 0 20 0 15 0 10346450 14316269568 27165 18446744073709551615 4194304 4196468 140723183272304 140723183254848 139629619343095 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
/proc/10075/statm: 3495183 27165 3178 1 0 3483484 0
[pid=10075/tid=10076] ppid=10073 vsize=13980732 CPUtime=12.58 cores=1,3,5,7
/proc/10075/task/10076/stat : 10076 (java) R 10073 10073 5091 0 -1 4202560 10087 0 0 0 1254 4 0 0 20 0 15 0 10346451 14316269568 27165 18446744073709551615 4194304 4196468 140723183272304 139629623579304 139629265631024 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10077] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10077/stat : 10077 (java) S 10073 10073 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10346451 14316269568 27165 18446744073709551615 4194304 4196468 140723183272304 139629219048208 139629619353301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10078] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10078/stat : 10078 (java) S 10073 10073 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10346451 14316269568 27165 18446744073709551615 4194304 4196468 140723183272304 139629217995664 139629619353301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
################
# More data... #
################
/proc/10075/stat : 10075 (java) S 10073 10073 5091 0 -1 1077944320 41805 0 0 0 10512 9 0 0 20 0 15 0 10346450 14316269568 29426 18446744073709551615 4194304 4196468 140723183272304 140723183254848 139629619343095 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
/proc/10075/statm: 3495183 29426 3183 1 0 3483484 0
[pid=10075/tid=10076] ppid=10073 vsize=13980732 CPUtime=102.17 cores=1,3,5,7
/proc/10075/task/10076/stat : 10076 (java) R 10073 10073 5091 0 -1 4202560 12469 0 0 0 10213 4 0 0 20 0 15 0 10346451 14316269568 29426 18446744073709551615 4194304 4196468 140723183272304 139629623579840 139629599150135 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10077] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10077/stat : 10077 (java) S 10073 10073 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10346451 14316269568 29426 18446744073709551615 4194304 4196468 140723183272304 139629219048208 139629619353301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10078] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10078/stat : 10078 (java) S 10073 10073 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10346451 14316269568 29426 18446744073709551615 4194304 4196468 140723183272304 139629217995664 139629619353301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10079] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10079/stat : 10079 (java) S 10073 10073 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10346451 14316269568 29426 18446744073709551615 4194304 4196468 140723183272304 139629216943120 139629619353301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10080] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10080/stat : 10080 (java) S 10073 10073 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10346451 14316269568 29426 18446744073709551615 4194304 4196468 140723183272304 139629215890576 139629619353301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10081] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10081/stat : 10081 (java) S 10073 10073 5091 0 -1 1077944384 506 0 0 0 0 0 0 0 20 0 15 0 10346453 14316269568 29426 18446744073709551615 4194304 4196468 140723183272304 139628536068080 139629619354242 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10082] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10082/stat : 10082 (java) S 10073 10073 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10346453 14316269568 29426 18446744073709551615 4194304 4196468 140723183272304 139628535014304 139629619353301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10083] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10083/stat : 10083 (java) S 10073 10073 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10346453 14316269568 29426 18446744073709551615 4194304 4196468 140723183272304 139628533961712 139629619353301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10084] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10084/stat : 10084 (java) S 10073 10073 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10346456 14316269568 29426 18446744073709551615 4194304 4196468 140723183272304 139628532910288 139629619361691 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10085] ppid=10073 vsize=13980732 CPUtime=1.39 cores=1,3,5,7
/proc/10075/task/10085/stat : 10085 (java) S 10073 10073 5091 0 -1 1077944384 11030 0 0 0 138 1 0 0 20 0 15 0 10346456 14316269568 29426 18446744073709551615 4194304 4196468 140723183272304 139628531857904 139629619354242 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10086] ppid=10073 vsize=13980732 CPUtime=1.16 cores=1,3,5,7
/proc/10075/task/10086/stat : 10086 (java) S 10073 10073 5091 0 -1 1077944384 11369 0 0 0 115 1 0 0 20 0 15 0 10346456 14316269568 29426 18446744073709551615 4194304 4196468 140723183272304 139628530805360 139629619354242 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10087] ppid=10073 vsize=13980732 CPUtime=0.42 cores=1,3,5,7
/proc/10075/task/10087/stat : 10087 (java) S 10073 10073 5091 0 -1 1077944384 4883 0 0 0 42 0 0 0 20 0 15 0 10346456 14316269568 29426 18446744073709551615 4194304 4196468 140723183272304 139628529752816 139629619354242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10088] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10088/stat : 10088 (java) S 10073 10073 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10346456 14316269568 29426 18446744073709551615 4194304 4196468 140723183272304 139628528700512 139629619353301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10089] ppid=10073 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/10075/task/10089/stat : 10089 (java) S 10073 10073 5091 0 -1 1077944384 248 0 0 0 1 1 0 0 20 0 15 0 10346459 14316269568 29426 18446744073709551615 4194304 4196468 140723183272304 139628527647024 139629619354242 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
Current children cumulated CPU time (s) 105.21
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 2.04 1.97 1.88 3/211 10100
/proc/meminfo: memFree=31730212/32770624 swapFree=0/186700
[pid=10073] ppid=10070 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10073/stat : 10073 (xcsp3-exec) S 10070 10073 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10346444 9740288 345 18446744073709551615 4194304 5098028 140735969316816 140735969314920 139634330088060 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 21295104 140735969325467 140735969325671 140735969325671 140735969329131 0
/proc/10073/statm: 2378 345 289 221 0 87 0
[pid=10075] ppid=10073 vsize=13980732 CPUtime=165.52 cores=1,3,5,7
/proc/10075/stat : 10075 (java) S 10073 10073 5091 0 -1 1077944320 46649 0 0 0 16541 11 0 0 20 0 15 0 10346450 14316269568 32039 18446744073709551615 4194304 4196468 140723183272304 140723183254848 139629619343095 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
/proc/10075/statm: 3495183 32039 3189 1 0 3483484 0
[pid=10075/tid=10076] ppid=10073 vsize=13980732 CPUtime=162.17 cores=1,3,5,7
/proc/10075/task/10076/stat : 10076 (java) R 10073 10073 5091 0 -1 4202560 13021 0 0 0 16212 5 0 0 20 0 15 0 10346451 14316269568 32039 18446744073709551615 4194304 4196468 140723183272304 139629623579088 139629265630607 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10077] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10077/stat : 10077 (java) S 10073 10073 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10346451 14316269568 32039 18446744073709551615 4194304 4196468 140723183272304 139629219048208 139629619353301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10078] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10078/stat : 10078 (java) S 10073 10073 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10346451 14316269568 32039 18446744073709551615 4194304 4196468 140723183272304 139629217995664 139629619353301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10079] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10079/stat : 10079 (java) S 10073 10073 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10346451 14316269568 32039 18446744073709551615 4194304 4196468 140723183272304 139629216943120 139629619353301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10080] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10080/stat : 10080 (java) S 10073 10073 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10346451 14316269568 32039 18446744073709551615 4194304 4196468 140723183272304 139629215890576 139629619353301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10081] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10081/stat : 10081 (java) S 10073 10073 5091 0 -1 1077944384 552 0 0 0 0 0 0 0 20 0 15 0 10346453 14316269568 32039 18446744073709551615 4194304 4196468 140723183272304 139628536068080 139629619354242 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10082] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10082/stat : 10082 (java) S 10073 10073 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10346453 14316269568 32039 18446744073709551615 4194304 4196468 140723183272304 139628535014304 139629619353301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10083] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10083/stat : 10083 (java) S 10073 10073 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10346453 14316269568 32039 18446744073709551615 4194304 4196468 140723183272304 139628533961712 139629619353301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10084] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10084/stat : 10084 (java) S 10073 10073 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10346456 14316269568 32039 18446744073709551615 4194304 4196468 140723183272304 139628532910288 139629619361691 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10085] ppid=10073 vsize=13980732 CPUtime=1.57 cores=1,3,5,7
/proc/10075/task/10085/stat : 10085 (java) S 10073 10073 5091 0 -1 1077944384 13912 0 0 0 156 1 0 0 20 0 15 0 10346456 14316269568 32039 18446744073709551615 4194304 4196468 140723183272304 139628531857904 139629619354242 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10086] ppid=10073 vsize=13980732 CPUtime=1.26 cores=1,3,5,7
/proc/10075/task/10086/stat : 10086 (java) S 10073 10073 5091 0 -1 1077944384 12302 0 0 0 125 1 0 0 20 0 15 0 10346456 14316269568 32039 18446744073709551615 4194304 4196468 140723183272304 139628530805360 139629619354242 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10087] ppid=10073 vsize=13980732 CPUtime=0.43 cores=1,3,5,7
/proc/10075/task/10087/stat : 10087 (java) S 10073 10073 5091 0 -1 1077944384 5256 0 0 0 43 0 0 0 20 0 15 0 10346456 14316269568 32039 18446744073709551615 4194304 4196468 140723183272304 139628529752816 139629619354242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10088] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10088/stat : 10088 (java) S 10073 10073 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10346456 14316269568 32039 18446744073709551615 4194304 4196468 140723183272304 139628528700512 139629619353301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10089] ppid=10073 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/10075/task/10089/stat : 10089 (java) S 10073 10073 5091 0 -1 1077944384 306 0 0 0 1 1 0 0 20 0 15 0 10346459 14316269568 32039 18446744073709551615 4194304 4196468 140723183272304 139628527647024 139629619354242 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
Current children cumulated CPU time (s) 165.52
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 2.02 1.97 1.88 3/211 10179
/proc/meminfo: memFree=27173092/32770624 swapFree=0/187800
[pid=10073] ppid=10070 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10073/stat : 10073 (xcsp3-exec) S 10070 10073 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10346444 9740288 345 18446744073709551615 4194304 5098028 140735969316816 140735969314920 139634330088060 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 21295104 140735969325467 140735969325671 140735969325671 140735969329131 0
/proc/10073/statm: 2378 345 289 221 0 87 0
[pid=10075] ppid=10073 vsize=13980732 CPUtime=225.66 cores=1,3,5,7
/proc/10075/stat : 10075 (java) S 10073 10073 5091 0 -1 1077944320 48730 0 0 0 22554 12 0 0 20 0 15 0 10346450 14316269568 34624 18446744073709551615 4194304 4196468 140723183272304 140723183254848 139629619343095 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
/proc/10075/statm: 3495183 34624 3191 1 0 3483484 0
[pid=10075/tid=10076] ppid=10073 vsize=13980732 CPUtime=222.18 cores=1,3,5,7
/proc/10075/task/10076/stat : 10076 (java) R 10073 10073 5091 0 -1 4202560 13414 0 0 0 22213 5 0 0 20 0 15 0 10346451 14316269568 34624 18446744073709551615 4194304 4196468 140723183272304 139629623579600 139629264577956 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10077] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10077/stat : 10077 (java) S 10073 10073 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10346451 14316269568 34624 18446744073709551615 4194304 4196468 140723183272304 139629219048208 139629619353301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10078] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10078/stat : 10078 (java) S 10073 10073 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10346451 14316269568 34624 18446744073709551615 4194304 4196468 140723183272304 139629217995664 139629619353301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10079] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10079/stat : 10079 (java) S 10073 10073 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10346451 14316269568 34624 18446744073709551615 4194304 4196468 140723183272304 139629216943120 139629619353301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10080] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10080/stat : 10080 (java) S 10073 10073 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10346451 14316269568 34624 18446744073709551615 4194304 4196468 140723183272304 139629215890576 139629619353301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10081] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10081/stat : 10081 (java) S 10073 10073 5091 0 -1 1077944384 584 0 0 0 0 0 0 0 20 0 15 0 10346453 14316269568 34624 18446744073709551615 4194304 4196468 140723183272304 139628536068080 139629619354242 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10082] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10082/stat : 10082 (java) S 10073 10073 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10346453 14316269568 34624 18446744073709551615 4194304 4196468 140723183272304 139628535014304 139629619353301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10083] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10083/stat : 10083 (java) S 10073 10073 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10346453 14316269568 34624 18446744073709551615 4194304 4196468 140723183272304 139628533961712 139629619353301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10084] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10084/stat : 10084 (java) S 10073 10073 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10346456 14316269568 34624 18446744073709551615 4194304 4196468 140723183272304 139628532910288 139629619361691 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10085] ppid=10073 vsize=13980732 CPUtime=1.59 cores=1,3,5,7
/proc/10075/task/10085/stat : 10085 (java) S 10073 10073 5091 0 -1 1077944384 14045 0 0 0 158 1 0 0 20 0 15 0 10346456 14316269568 34624 18446744073709551615 4194304 4196468 140723183272304 139628531857904 139629619354242 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10086] ppid=10073 vsize=13980732 CPUtime=1.36 cores=1,3,5,7
/proc/10075/task/10086/stat : 10086 (java) S 10073 10073 5091 0 -1 1077944384 13538 0 0 0 135 1 0 0 20 0 15 0 10346456 14316269568 34624 18446744073709551615 4194304 4196468 140723183272304 139628530805360 139629619354242 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10087] ppid=10073 vsize=13980732 CPUtime=0.43 cores=1,3,5,7
/proc/10075/task/10087/stat : 10087 (java) S 10073 10073 5091 0 -1 1077944384 5519 0 0 0 43 0 0 0 20 0 15 0 10346456 14316269568 34624 18446744073709551615 4194304 4196468 140723183272304 139628529752816 139629619354242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10088] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10088/stat : 10088 (java) S 10073 10073 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10346456 14316269568 34624 18446744073709551615 4194304 4196468 140723183272304 139628528700512 139629619353301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10089] ppid=10073 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/10075/task/10089/stat : 10089 (java) S 10073 10073 5091 0 -1 1077944384 330 0 0 0 2 2 0 0 20 0 15 0 10346459 14316269568 34624 18446744073709551615 4194304 4196468 140723183272304 139628527647024 139629619354242 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
Current children cumulated CPU time (s) 225.66
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 2.16 2.01 1.90 3/211 10180
/proc/meminfo: memFree=23831304/32770624 swapFree=0/187836
[pid=10073] ppid=10070 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10073/stat : 10073 (xcsp3-exec) S 10070 10073 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10346444 9740288 345 18446744073709551615 4194304 5098028 140735969316816 140735969314920 139634330088060 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 21295104 140735969325467 140735969325671 140735969325671 140735969329131 0
/proc/10073/statm: 2378 345 289 221 0 87 0
[pid=10075] ppid=10073 vsize=13980732 CPUtime=243.36 cores=1,3,5,7
/proc/10075/stat : 10075 (java) S 10073 10073 5091 0 -1 1077944320 48823 0 0 0 24324 12 0 0 20 0 15 0 10346450 14316269568 35136 18446744073709551615 4194304 4196468 140723183272304 140723183254848 139629619343095 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
/proc/10075/statm: 3495183 35136 3191 1 0 3483484 0
[pid=10075/tid=10076] ppid=10073 vsize=13980732 CPUtime=239.87 cores=1,3,5,7
/proc/10075/task/10076/stat : 10076 (java) R 10073 10073 5091 0 -1 4202560 13497 0 0 0 23982 5 0 0 20 0 15 0 10346451 14316269568 35136 18446744073709551615 4194304 4196468 140723183272304 139629623579600 139629265630545 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10077] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10077/stat : 10077 (java) S 10073 10073 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10346451 14316269568 35136 18446744073709551615 4194304 4196468 140723183272304 139629219048208 139629619353301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10078] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10078/stat : 10078 (java) S 10073 10073 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10346451 14316269568 35136 18446744073709551615 4194304 4196468 140723183272304 139629217995664 139629619353301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10079] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10079/stat : 10079 (java) S 10073 10073 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10346451 14316269568 35136 18446744073709551615 4194304 4196468 140723183272304 139629216943120 139629619353301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10080] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10080/stat : 10080 (java) S 10073 10073 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10346451 14316269568 35136 18446744073709551615 4194304 4196468 140723183272304 139629215890576 139629619353301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10081] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10081/stat : 10081 (java) S 10073 10073 5091 0 -1 1077944384 586 0 0 0 0 0 0 0 20 0 15 0 10346453 14316269568 35136 18446744073709551615 4194304 4196468 140723183272304 139628536068080 139629619354242 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10082] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10082/stat : 10082 (java) S 10073 10073 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10346453 14316269568 35136 18446744073709551615 4194304 4196468 140723183272304 139628535014304 139629619353301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10083] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10083/stat : 10083 (java) S 10073 10073 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10346453 14316269568 35136 18446744073709551615 4194304 4196468 140723183272304 139628533961712 139629619353301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10084] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10084/stat : 10084 (java) S 10073 10073 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10346456 14316269568 35136 18446744073709551615 4194304 4196468 140723183272304 139628532910288 139629619361691 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10085] ppid=10073 vsize=13980732 CPUtime=1.59 cores=1,3,5,7
/proc/10075/task/10085/stat : 10085 (java) S 10073 10073 5091 0 -1 1077944384 14047 0 0 0 158 1 0 0 20 0 15 0 10346456 14316269568 35136 18446744073709551615 4194304 4196468 140723183272304 139628531857904 139629619354242 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10086] ppid=10073 vsize=13980732 CPUtime=1.36 cores=1,3,5,7
/proc/10075/task/10086/stat : 10086 (java) S 10073 10073 5091 0 -1 1077944384 13540 0 0 0 135 1 0 0 20 0 15 0 10346456 14316269568 35136 18446744073709551615 4194304 4196468 140723183272304 139628530805360 139629619354242 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10087] ppid=10073 vsize=13980732 CPUtime=0.43 cores=1,3,5,7
/proc/10075/task/10087/stat : 10087 (java) S 10073 10073 5091 0 -1 1077944384 5521 0 0 0 43 0 0 0 20 0 15 0 10346456 14316269568 35136 18446744073709551615 4194304 4196468 140723183272304 139628529752816 139629619354242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10088] ppid=10073 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10075/task/10088/stat : 10088 (java) S 10073 10073 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10346456 14316269568 35136 18446744073709551615 4194304 4196468 140723183272304 139628528700512 139629619353301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
[pid=10075/tid=10089] ppid=10073 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/10075/task/10089/stat : 10089 (java) S 10073 10073 5091 0 -1 1077944384 332 0 0 0 2 2 0 0 20 0 15 0 10346459 14316269568 35136 18446744073709551615 4194304 4196468 140723183272304 139628527647024 139629619354242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21405696 140723183276500 140723183276675 140723183276675 140723183280079 0
Current children cumulated CPU time (s) 243.36
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 10075 sig 9
??? kill 10073 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.012
CPU time (s): 243.38
CPU user time (s): 243.251
CPU system time (s): 0.128962
CPU usage (%): 101.404
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 243.251
system time used= 0.128962
maximum resident set size= 145268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49864
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= 7625
involuntary context switches= 135
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.13825 second user time and 1.24041 second system time
The end