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-4254993-1501623424/watcher-4254993-1501623424 -o /tmp/evaluation-result-4254993-1501623424/solver-4254993-1501623424 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501617129-10653 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1876446281 HOME/instance-4254993-1501623424.xml
pid=15320
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: 2.03 1.88 1.82 3/201 15323
/proc/meminfo: memFree=31520324/32770624 swapFree=0/192056
[pid=15323] ppid=15320 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/15323/stat : 15323 (runsolver) D 15320 15323 5228 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10157698 24240128 105 18446744073709551615 4194304 4338465 140731738602400 140731738600040 140099894256343 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 27455488 140731738607708 140731738608198 140731738608198 140731738611658 0
/proc/15323/statm: 5918 105 52 36 0 2156 0
[startup+0.100088 s]
/proc/loadavg: 2.03 1.88 1.82 3/201 15323
/proc/meminfo: memFree=31520324/32770624 swapFree=0/192056
[pid=15323] ppid=15320 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15323/stat : 15323 (xcsp3-exec) S 15320 15323 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10157698 9740288 345 18446744073709551615 4194304 5098028 140724170940960 140724170939064 140655241642620 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 26099712 140724170944923 140724170945127 140724170945127 140724170948587 0
/proc/15323/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.201363 s]
/proc/loadavg: 2.03 1.88 1.82 3/201 15323
/proc/meminfo: memFree=31520324/32770624 swapFree=0/192056
[pid=15323] ppid=15320 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15323/stat : 15323 (xcsp3-exec) S 15320 15323 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10157698 9740288 345 18446744073709551615 4194304 5098028 140724170940960 140724170939064 140655241642620 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 26099712 140724170944923 140724170945127 140724170945127 140724170948587 0
/proc/15323/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.307498 s]
/proc/loadavg: 2.03 1.88 1.82 3/201 15323
/proc/meminfo: memFree=31520324/32770624 swapFree=0/192056
[pid=15323] ppid=15320 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15323/stat : 15323 (xcsp3-exec) S 15320 15323 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10157698 9740288 345 18446744073709551615 4194304 5098028 140724170940960 140724170939064 140655241642620 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 26099712 140724170944923 140724170945127 140724170945127 140724170948587 0
/proc/15323/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.706474 s]
/proc/loadavg: 2.03 1.88 1.82 3/201 15323
/proc/meminfo: memFree=31520324/32770624 swapFree=0/192056
[pid=15323] ppid=15320 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15323/stat : 15323 (xcsp3-exec) S 15320 15323 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10157698 9740288 345 18446744073709551615 4194304 5098028 140724170940960 140724170939064 140655241642620 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 26099712 140724170944923 140724170945127 140724170945127 140724170948587 0
/proc/15323/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50105 s]
/proc/loadavg: 2.03 1.88 1.82 5/217 15339
/proc/meminfo: memFree=31240724/32770624 swapFree=0/192060
[pid=15323] ppid=15320 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15323/stat : 15323 (xcsp3-exec) S 15320 15323 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10157698 9740288 345 18446744073709551615 4194304 5098028 140724170940960 140724170939064 140655241642620 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 26099712 140724170944923 140724170945127 140724170945127 140724170948587 0
/proc/15323/statm: 2378 345 289 221 0 87 0
[pid=15325] ppid=15323 vsize=13980732 CPUtime=3.9 cores=1,3,5,7
/proc/15325/stat : 15325 (java) S 15323 15323 5228 0 -1 1077944320 19211 0 0 0 370 20 0 0 20 0 15 0 10157707 14316269568 76979 18446744073709551615 4194304 4196468 140730909316208 140730909298752 140222302711543 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
/proc/15325/statm: 3495183 76979 3195 1 0 3483484 0
[pid=15325/tid=15326] ppid=15323 vsize=13980732 CPUtime=1.26 cores=1,3,5,7
/proc/15325/task/15326/stat : 15326 (java) R 15323 15323 5228 0 -1 4202560 8749 0 0 0 122 4 0 0 20 0 15 0 10157707 14316269568 76979 18446744073709551615 4194304 4196468 140730909316208 140222306947872 140221913248394 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15327] ppid=15323 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/15325/task/15327/stat : 15327 (java) S 15323 15323 5228 0 -1 1077944384 57 0 0 0 3 2 0 0 20 0 15 0 10157708 14316269568 76979 18446744073709551615 4194304 4196468 140730909316208 140222237145616 140222302721749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15328] ppid=15323 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/15325/task/15328/stat : 15328 (java) S 15323 15323 5228 0 -1 1077944384 59 0 0 0 4 3 0 0 20 0 15 0 10157708 14316269568 76979 18446744073709551615 4194304 4196468 140730909316208 140222236093072 140222302721749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15329] ppid=15323 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/15325/task/15329/stat : 15329 (java) S 15323 15323 5228 0 -1 1077944384 47 0 0 0 3 3 0 0 20 0 15 0 10157708 14316269568 76979 18446744073709551615 4194304 4196468 140730909316208 140222235040016 140222302721749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15330] ppid=15323 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/15325/task/15330/stat : 15330 (java) S 15323 15323 5228 0 -1 1077944384 61 0 0 0 3 3 0 0 20 0 15 0 10157708 14316269568 76979 18446744073709551615 4194304 4196468 140730909316208 140222233987472 140222302721749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15331] ppid=15323 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15325/task/15331/stat : 15331 (java) S 15323 15323 5228 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 10157709 14316269568 76979 18446744073709551615 4194304 4196468 140730909316208 140221781342960 140222302722690 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15332] ppid=15323 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15325/task/15332/stat : 15332 (java) S 15323 15323 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10157709 14316269568 76979 18446744073709551615 4194304 4196468 140730909316208 140221780289184 140222302721749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15333] ppid=15323 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15325/task/15333/stat : 15333 (java) S 15323 15323 5228 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 10157710 14316269568 76979 18446744073709551615 4194304 4196468 140730909316208 140221779236080 140222302721749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15334] ppid=15323 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15325/task/15334/stat : 15334 (java) S 15323 15323 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10157712 14316269568 76979 18446744073709551615 4194304 4196468 140730909316208 140221778184656 140222302730139 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15335] ppid=15323 vsize=13980732 CPUtime=0.87 cores=1,3,5,7
/proc/15325/task/15335/stat : 15335 (java) R 15323 15323 5228 0 -1 4202560 2604 0 0 0 87 0 0 0 20 0 15 0 10157712 14316269568 76979 18446744073709551615 4194304 4196468 140730909316208 140221777112776 140222280728535 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15336] ppid=15323 vsize=13980732 CPUtime=0.85 cores=1,3,5,7
/proc/15325/task/15336/stat : 15336 (java) R 15323 15323 5228 0 -1 4202560 3263 0 0 0 85 0 0 0 20 0 15 0 10157712 14316269568 76979 18446744073709551615 4194304 4196468 140730909316208 140221776064680 140222286088959 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15337] ppid=15323 vsize=13980732 CPUtime=0.6 cores=1,3,5,7
/proc/15325/task/15337/stat : 15337 (java) S 15323 15323 5228 0 -1 1077944384 2991 0 0 0 60 0 0 0 20 0 15 0 10157712 14316269568 76979 18446744073709551615 4194304 4196468 140730909316208 140221775026160 140222302722690 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15338] ppid=15323 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15325/task/15338/stat : 15338 (java) S 15323 15323 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10157712 14316269568 76979 18446744073709551615 4194304 4196468 140730909316208 140221773973856 140222302721749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15339] ppid=15323 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15325/task/15339/stat : 15339 (java) S 15323 15323 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10157718 14316269568 76979 18446744073709551615 4194304 4196468 140730909316208 140221772921904 140222302722690 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
Current children cumulated CPU time (s) 3.9
Current children cumulated vsize (KiB) 13990244
[startup+3.10065 s]
/proc/loadavg: 2.03 1.88 1.82 5/217 15339
/proc/meminfo: memFree=31144320/32770624 swapFree=0/192060
[pid=15323] ppid=15320 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15323/stat : 15323 (xcsp3-exec) S 15320 15323 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10157698 9740288 345 18446744073709551615 4194304 5098028 140724170940960 140724170939064 140655241642620 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 26099712 140724170944923 140724170945127 140724170945127 140724170948587 0
/proc/15323/statm: 2378 345 289 221 0 87 0
[pid=15325] ppid=15323 vsize=13980732 CPUtime=8.05 cores=1,3,5,7
/proc/15325/stat : 15325 (java) S 15323 15323 5228 0 -1 1077944320 26835 0 0 0 775 30 0 0 20 0 15 0 10157707 14316269568 97789 18446744073709551615 4194304 4196468 140730909316208 140730909298752 140222302711543 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
/proc/15325/statm: 3495183 97789 3218 1 0 3483484 0
[pid=15325/tid=15326] ppid=15323 vsize=13980732 CPUtime=2.79 cores=1,3,5,7
/proc/15325/task/15326/stat : 15326 (java) R 15323 15323 5228 0 -1 4202560 9987 0 0 0 275 4 0 0 20 0 15 0 10157707 14316269568 97789 18446744073709551615 4194304 4196468 140730909316208 140222306947344 140221915752755 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15327] ppid=15323 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/15325/task/15327/stat : 15327 (java) S 15323 15323 5228 0 -1 1077944384 256 0 0 0 6 5 0 0 20 0 15 0 10157708 14316269568 97789 18446744073709551615 4194304 4196468 140730909316208 140222237145616 140222302721749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15328] ppid=15323 vsize=13980732 CPUtime=0.12 cores=1,3,5,7
/proc/15325/task/15328/stat : 15328 (java) S 15323 15323 5228 0 -1 1077944384 138 0 0 0 7 5 0 0 20 0 15 0 10157708 14316269568 97789 18446744073709551615 4194304 4196468 140730909316208 140222236093072 140222302721749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15329] ppid=15323 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/15325/task/15329/stat : 15329 (java) S 15323 15323 5228 0 -1 1077944384 121 0 0 0 6 5 0 0 20 0 15 0 10157708 14316269568 97789 18446744073709551615 4194304 4196468 140730909316208 140222235040016 140222302721749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15330] ppid=15323 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/15325/task/15330/stat : 15330 (java) S 15323 15323 5228 0 -1 1077944384 94 0 0 0 6 5 0 0 20 0 15 0 10157708 14316269568 97789 18446744073709551615 4194304 4196468 140730909316208 140222233987472 140222302721749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15331] ppid=15323 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15325/task/15331/stat : 15331 (java) S 15323 15323 5228 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 10157709 14316269568 97789 18446744073709551615 4194304 4196468 140730909316208 140221781342960 140222302722690 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15332] ppid=15323 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15325/task/15332/stat : 15332 (java) S 15323 15323 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10157709 14316269568 97789 18446744073709551615 4194304 4196468 140730909316208 140221780289248 140222302721749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15333] ppid=15323 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15325/task/15333/stat : 15333 (java) S 15323 15323 5228 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 10157710 14316269568 97789 18446744073709551615 4194304 4196468 140730909316208 140221779236096 140222302721749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15334] ppid=15323 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15325/task/15334/stat : 15334 (java) S 15323 15323 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10157712 14316269568 97789 18446744073709551615 4194304 4196468 140730909316208 140221778184656 140222302730139 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15335] ppid=15323 vsize=13980732 CPUtime=1.96 cores=1,3,5,7
/proc/15325/task/15335/stat : 15335 (java) S 15323 15323 5228 0 -1 1077944384 5733 0 0 0 195 1 0 0 20 0 15 0 10157712 14316269568 97789 18446744073709551615 4194304 4196468 140730909316208 140221777131760 140222302722690 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15336] ppid=15323 vsize=13980732 CPUtime=2 cores=1,3,5,7
/proc/15325/task/15336/stat : 15336 (java) S 15323 15323 5228 0 -1 1077944384 5330 0 0 0 200 0 0 0 20 0 15 0 10157712 14316269568 97789 18446744073709551615 4194304 4196468 140730909316208 140221776079216 140222302722690 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15337] ppid=15323 vsize=13980732 CPUtime=0.75 cores=1,3,5,7
/proc/15325/task/15337/stat : 15337 (java) S 15323 15323 5228 0 -1 1077944384 3748 0 0 0 74 1 0 0 20 0 15 0 10157712 14316269568 97789 18446744073709551615 4194304 4196468 140730909316208 140221775026160 140222302722690 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15338] ppid=15323 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15325/task/15338/stat : 15338 (java) S 15323 15323 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10157712 14316269568 97789 18446744073709551615 4194304 4196468 140730909316208 140221773973856 140222302721749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15339] ppid=15323 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15325/task/15339/stat : 15339 (java) S 15323 15323 5228 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 10157718 14316269568 97789 18446744073709551615 4194304 4196468 140730909316208 140221772921904 140222302722690 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
Current children cumulated CPU time (s) 8.05
Current children cumulated vsize (KiB) 13990244
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 15325 sig 9
??? kill 15323 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20084 s]
/proc/loadavg: 2.03 1.88 1.82 5/217 15339
/proc/meminfo: memFree=31144320/32770624 swapFree=0/192060
[pid=15323] ppid=15320 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15323/stat : 15323 (xcsp3-exec) S 15320 15323 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10157698 9740288 345 18446744073709551615 4194304 5098028 140724170940960 140724170939064 140655241642620 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 26099712 140724170944923 140724170945127 140724170945127 140724170948587 0
/proc/15323/statm: 2378 345 289 221 0 87 0
[pid=15325] ppid=15323 vsize=13980732 CPUtime=8.23 cores=1,3,5,7
/proc/15325/stat : 15325 (java) S 15323 15323 5228 0 -1 1077944320 26925 0 0 0 793 30 0 0 20 0 15 0 10157707 14316269568 97801 18446744073709551615 4194304 4196468 140730909316208 140730909298752 140222302711543 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
/proc/15325/statm: 3495183 97801 3218 1 0 3483484 0
[pid=15325/tid=15326] ppid=15323 vsize=13980732 CPUtime=2.89 cores=1,3,5,7
/proc/15325/task/15326/stat : 15326 (java) R 15323 15323 5228 0 -1 4202560 10014 0 0 0 285 4 0 0 20 0 15 0 10157707 14316269568 97801 18446744073709551615 4194304 4196468 140730909316208 140222306948008 140221914320699 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15327] ppid=15323 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/15325/task/15327/stat : 15327 (java) S 15323 15323 5228 0 -1 1077944384 256 0 0 0 6 5 0 0 20 0 15 0 10157708 14316269568 97801 18446744073709551615 4194304 4196468 140730909316208 140222237145616 140222302721749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15328] ppid=15323 vsize=13980732 CPUtime=0.12 cores=1,3,5,7
/proc/15325/task/15328/stat : 15328 (java) S 15323 15323 5228 0 -1 1077944384 138 0 0 0 7 5 0 0 20 0 15 0 10157708 14316269568 97801 18446744073709551615 4194304 4196468 140730909316208 140222236093072 140222302721749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15329] ppid=15323 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/15325/task/15329/stat : 15329 (java) S 15323 15323 5228 0 -1 1077944384 121 0 0 0 6 5 0 0 20 0 15 0 10157708 14316269568 97801 18446744073709551615 4194304 4196468 140730909316208 140222235040016 140222302721749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15330] ppid=15323 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/15325/task/15330/stat : 15330 (java) S 15323 15323 5228 0 -1 1077944384 94 0 0 0 6 5 0 0 20 0 15 0 10157708 14316269568 97801 18446744073709551615 4194304 4196468 140730909316208 140222233987472 140222302721749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15331] ppid=15323 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15325/task/15331/stat : 15331 (java) S 15323 15323 5228 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 10157709 14316269568 97801 18446744073709551615 4194304 4196468 140730909316208 140221781342960 140222302722690 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15332] ppid=15323 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15325/task/15332/stat : 15332 (java) S 15323 15323 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10157709 14316269568 97801 18446744073709551615 4194304 4196468 140730909316208 140221780289248 140222302721749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15333] ppid=15323 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15325/task/15333/stat : 15333 (java) S 15323 15323 5228 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 10157710 14316269568 97801 18446744073709551615 4194304 4196468 140730909316208 140221779236096 140222302721749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15334] ppid=15323 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15325/task/15334/stat : 15334 (java) S 15323 15323 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10157712 14316269568 97801 18446744073709551615 4194304 4196468 140730909316208 140221778184656 140222302730139 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15335] ppid=15323 vsize=13980732 CPUtime=2.01 cores=1,3,5,7
/proc/15325/task/15335/stat : 15335 (java) S 15323 15323 5228 0 -1 1077944384 5759 0 0 0 200 1 0 0 20 0 15 0 10157712 14316269568 97801 18446744073709551615 4194304 4196468 140730909316208 140221777131760 140222302722690 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15336] ppid=15323 vsize=13980732 CPUtime=2.04 cores=1,3,5,7
/proc/15325/task/15336/stat : 15336 (java) S 15323 15323 5228 0 -1 1077944384 5362 0 0 0 204 0 0 0 20 0 15 0 10157712 14316269568 97801 18446744073709551615 4194304 4196468 140730909316208 140221776079216 140222302722690 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15337] ppid=15323 vsize=13980732 CPUtime=0.75 cores=1,3,5,7
/proc/15325/task/15337/stat : 15337 (java) S 15323 15323 5228 0 -1 1077944384 3753 0 0 0 74 1 0 0 20 0 15 0 10157712 14316269568 97801 18446744073709551615 4194304 4196468 140730909316208 140221775026160 140222302722690 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15338] ppid=15323 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15325/task/15338/stat : 15338 (java) S 15323 15323 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10157712 14316269568 97801 18446744073709551615 4194304 4196468 140730909316208 140221773973856 140222302721749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15339] ppid=15323 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15325/task/15339/stat : 15339 (java) S 15323 15323 5228 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 10157718 14316269568 97801 18446744073709551615 4194304 4196468 140730909316208 140221772921904 140222302722690 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
Current children cumulated CPU time (s) 8.23
Current children cumulated vsize (KiB) 13990244
[startup+3.40695 s]
/proc/loadavg: 2.03 1.88 1.82 3/217 15339
/proc/meminfo: memFree=31137976/32770624 swapFree=0/192072
[pid=15323] ppid=15320 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15323/stat : 15323 (xcsp3-exec) S 15320 15323 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10157698 9740288 345 18446744073709551615 4194304 5098028 140724170940960 140724170939064 140655241642620 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 26099712 140724170944923 140724170945127 140724170945127 140724170948587 0
/proc/15323/statm: 2378 345 289 221 0 87 0
[pid=15325] ppid=15323 vsize=13980732 CPUtime=8.45 cores=1,3,5,7
/proc/15325/stat : 15325 (java) S 15323 15323 5228 0 -1 1077944320 26942 0 0 0 815 30 0 0 20 0 15 0 10157707 14316269568 97804 18446744073709551615 4194304 4196468 140730909316208 140730909298752 140222302711543 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
/proc/15325/statm: 3495183 97804 3218 1 0 3483484 0
[pid=15325/tid=15326] ppid=15323 vsize=13980732 CPUtime=3.11 cores=1,3,5,7
/proc/15325/task/15326/stat : 15326 (java) R 15323 15323 5228 0 -1 4202560 10023 0 0 0 306 5 0 0 20 0 15 0 10157707 14316269568 97804 18446744073709551615 4194304 4196468 140730909316208 140222306949768 140221915055604 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15327] ppid=15323 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/15325/task/15327/stat : 15327 (java) S 15323 15323 5228 0 -1 1077944384 256 0 0 0 6 5 0 0 20 0 15 0 10157708 14316269568 97804 18446744073709551615 4194304 4196468 140730909316208 140222237145616 140222302721749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15328] ppid=15323 vsize=13980732 CPUtime=0.12 cores=1,3,5,7
/proc/15325/task/15328/stat : 15328 (java) S 15323 15323 5228 0 -1 1077944384 138 0 0 0 7 5 0 0 20 0 15 0 10157708 14316269568 97804 18446744073709551615 4194304 4196468 140730909316208 140222236093072 140222302721749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15329] ppid=15323 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/15325/task/15329/stat : 15329 (java) S 15323 15323 5228 0 -1 1077944384 121 0 0 0 6 5 0 0 20 0 15 0 10157708 14316269568 97804 18446744073709551615 4194304 4196468 140730909316208 140222235040016 140222302721749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15330] ppid=15323 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/15325/task/15330/stat : 15330 (java) S 15323 15323 5228 0 -1 1077944384 94 0 0 0 6 5 0 0 20 0 15 0 10157708 14316269568 97804 18446744073709551615 4194304 4196468 140730909316208 140222233987472 140222302721749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15331] ppid=15323 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15325/task/15331/stat : 15331 (java) S 15323 15323 5228 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 10157709 14316269568 97804 18446744073709551615 4194304 4196468 140730909316208 140221781342960 140222302722690 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15332] ppid=15323 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15325/task/15332/stat : 15332 (java) S 15323 15323 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10157709 14316269568 97804 18446744073709551615 4194304 4196468 140730909316208 140221780289248 140222302721749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15333] ppid=15323 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15325/task/15333/stat : 15333 (java) S 15323 15323 5228 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 10157710 14316269568 97804 18446744073709551615 4194304 4196468 140730909316208 140221779236096 140222302721749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15334] ppid=15323 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15325/task/15334/stat : 15334 (java) S 15323 15323 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10157712 14316269568 97804 18446744073709551615 4194304 4196468 140730909316208 140221778184656 140222302730139 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15335] ppid=15323 vsize=13980732 CPUtime=2.02 cores=1,3,5,7
/proc/15325/task/15335/stat : 15335 (java) S 15323 15323 5228 0 -1 1077944384 5759 0 0 0 201 1 0 0 20 0 15 0 10157712 14316269568 97804 18446744073709551615 4194304 4196468 140730909316208 140221777131760 140222302722690 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15336] ppid=15323 vsize=13980732 CPUtime=2.04 cores=1,3,5,7
/proc/15325/task/15336/stat : 15336 (java) S 15323 15323 5228 0 -1 1077944384 5362 0 0 0 204 0 0 0 20 0 15 0 10157712 14316269568 97804 18446744073709551615 4194304 4196468 140730909316208 140221776079216 140222302722690 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15337] ppid=15323 vsize=13980732 CPUtime=0.76 cores=1,3,5,7
/proc/15325/task/15337/stat : 15337 (java) S 15323 15323 5228 0 -1 1077944384 3761 0 0 0 75 1 0 0 20 0 15 0 10157712 14316269568 97804 18446744073709551615 4194304 4196468 140730909316208 140221775026160 140222302722690 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15338] ppid=15323 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15325/task/15338/stat : 15338 (java) S 15323 15323 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10157712 14316269568 97804 18446744073709551615 4194304 4196468 140730909316208 140221773973856 140222302721749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15339] ppid=15323 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15325/task/15339/stat : 15339 (java) S 15323 15323 5228 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 10157718 14316269568 97804 18446744073709551615 4194304 4196468 140730909316208 140221772921904 140222302722690 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
Current children cumulated CPU time (s) 8.45
Current children cumulated vsize (KiB) 13990244
[startup+3.50072 s]
/proc/loadavg: 2.03 1.88 1.82 3/217 15339
/proc/meminfo: memFree=31137976/32770624 swapFree=0/192072
[pid=15323] ppid=15320 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15323/stat : 15323 (xcsp3-exec) S 15320 15323 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10157698 9740288 345 18446744073709551615 4194304 5098028 140724170940960 140724170939064 140655241642620 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 26099712 140724170944923 140724170945127 140724170945127 140724170948587 0
/proc/15323/statm: 2378 345 289 221 0 87 0
[pid=15325] ppid=15323 vsize=13980732 CPUtime=8.55 cores=1,3,5,7
/proc/15325/stat : 15325 (java) S 15323 15323 5228 0 -1 1077944320 26953 0 0 0 825 30 0 0 20 0 15 0 10157707 14316269568 97804 18446744073709551615 4194304 4196468 140730909316208 140730909298752 140222302711543 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
/proc/15325/statm: 3495183 97804 3218 1 0 3483484 0
[pid=15325/tid=15326] ppid=15323 vsize=13980732 CPUtime=3.2 cores=1,3,5,7
/proc/15325/task/15326/stat : 15326 (java) R 15323 15323 5228 0 -1 4202560 10030 0 0 0 315 5 0 0 20 0 15 0 10157707 14316269568 97804 18446744073709551615 4194304 4196468 140730909316208 140222306949768 140221913844179 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15327] ppid=15323 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/15325/task/15327/stat : 15327 (java) S 15323 15323 5228 0 -1 1077944384 256 0 0 0 6 5 0 0 20 0 15 0 10157708 14316269568 97804 18446744073709551615 4194304 4196468 140730909316208 140222237145616 140222302721749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15328] ppid=15323 vsize=13980732 CPUtime=0.12 cores=1,3,5,7
/proc/15325/task/15328/stat : 15328 (java) S 15323 15323 5228 0 -1 1077944384 138 0 0 0 7 5 0 0 20 0 15 0 10157708 14316269568 97804 18446744073709551615 4194304 4196468 140730909316208 140222236093072 140222302721749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15329] ppid=15323 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/15325/task/15329/stat : 15329 (java) S 15323 15323 5228 0 -1 1077944384 121 0 0 0 6 5 0 0 20 0 15 0 10157708 14316269568 97804 18446744073709551615 4194304 4196468 140730909316208 140222235040016 140222302721749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15330] ppid=15323 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/15325/task/15330/stat : 15330 (java) S 15323 15323 5228 0 -1 1077944384 94 0 0 0 6 5 0 0 20 0 15 0 10157708 14316269568 97804 18446744073709551615 4194304 4196468 140730909316208 140222233987472 140222302721749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15331] ppid=15323 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15325/task/15331/stat : 15331 (java) S 15323 15323 5228 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 10157709 14316269568 97804 18446744073709551615 4194304 4196468 140730909316208 140221781342960 140222302722690 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15332] ppid=15323 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15325/task/15332/stat : 15332 (java) S 15323 15323 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10157709 14316269568 97804 18446744073709551615 4194304 4196468 140730909316208 140221780289248 140222302721749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15333] ppid=15323 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15325/task/15333/stat : 15333 (java) S 15323 15323 5228 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 10157710 14316269568 97804 18446744073709551615 4194304 4196468 140730909316208 140221779236096 140222302721749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15334] ppid=15323 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15325/task/15334/stat : 15334 (java) S 15323 15323 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10157712 14316269568 97804 18446744073709551615 4194304 4196468 140730909316208 140221778184656 140222302730139 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15335] ppid=15323 vsize=13980732 CPUtime=2.02 cores=1,3,5,7
/proc/15325/task/15335/stat : 15335 (java) S 15323 15323 5228 0 -1 1077944384 5759 0 0 0 201 1 0 0 20 0 15 0 10157712 14316269568 97804 18446744073709551615 4194304 4196468 140730909316208 140221777131760 140222302722690 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15336] ppid=15323 vsize=13980732 CPUtime=2.04 cores=1,3,5,7
/proc/15325/task/15336/stat : 15336 (java) S 15323 15323 5228 0 -1 1077944384 5362 0 0 0 204 0 0 0 20 0 15 0 10157712 14316269568 97804 18446744073709551615 4194304 4196468 140730909316208 140221776079216 140222302722690 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15337] ppid=15323 vsize=13980732 CPUtime=0.76 cores=1,3,5,7
/proc/15325/task/15337/stat : 15337 (java) S 15323 15323 5228 0 -1 1077944384 3765 0 0 0 75 1 0 0 20 0 15 0 10157712 14316269568 97804 18446744073709551615 4194304 4196468 140730909316208 140221775026160 140222302722690 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15338] ppid=15323 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15325/task/15338/stat : 15338 (java) S 15323 15323 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10157712 14316269568 97804 18446744073709551615 4194304 4196468 140730909316208 140221773973856 140222302721749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
[pid=15325/tid=15339] ppid=15323 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15325/task/15339/stat : 15339 (java) S 15323 15323 5228 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 10157718 14316269568 97804 18446744073709551615 4194304 4196468 140730909316208 140221772921904 140222302722690 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140730909323732 140730909323907 140730909323907 140730909327311 0
Current children cumulated CPU time (s) 8.55
Current children cumulated vsize (KiB) 13990244
Child status: 0
Real time (s): 3.57026
CPU time (s): 8.66384
CPU user time (s): 8.35529
CPU system time (s): 0.308544
CPU usage (%): 242.667
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.35529
system time used= 0.308544
maximum resident set size= 391700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27839
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= 2577
involuntary context switches= 41
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.015312 second user time and 0.030625 second system time
The end