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-4254054-1501612781/watcher-4254054-1501612781 -o /tmp/evaluation-result-4254054-1501612781/solver-4254054-1501612781 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501610486-5295 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1638524155 HOME/instance-4254054-1501612781.xml
pid=6430
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.88 1.87 1.53 4/199 6433
/proc/meminfo: memFree=31656160/32770624 swapFree=0/277320
[pid=6433] ppid=6430 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/6433/stat : 6433 (runsolver) D 6430 6433 5234 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 8783796 24240128 107 18446744073709551615 4194304 4338465 140730865287952 140730865285592 139864620045015 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 10063872 140730865291357 140730865291846 140730865291846 140730865295306 0
/proc/6433/statm: 5918 107 54 36 0 2156 0
[startup+0.100089 s]
/proc/loadavg: 1.88 1.87 1.53 4/199 6433
/proc/meminfo: memFree=31656160/32770624 swapFree=0/277320
[pid=6433] ppid=6430 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6433/stat : 6433 (xcsp3-exec) S 6430 6433 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8783796 9740288 345 18446744073709551615 4194304 5098028 140728429814512 140728429812616 139671564030588 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 7757824 140728429822363 140728429822567 140728429822567 140728429826027 0
/proc/6433/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200649 s]
/proc/loadavg: 1.88 1.87 1.53 4/199 6433
/proc/meminfo: memFree=31656160/32770624 swapFree=0/277320
[pid=6433] ppid=6430 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6433/stat : 6433 (xcsp3-exec) S 6430 6433 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8783796 9740288 345 18446744073709551615 4194304 5098028 140728429814512 140728429812616 139671564030588 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 7757824 140728429822363 140728429822567 140728429822567 140728429826027 0
/proc/6433/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300244 s]
/proc/loadavg: 1.88 1.87 1.53 4/199 6433
/proc/meminfo: memFree=31656160/32770624 swapFree=0/277320
[pid=6433] ppid=6430 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6433/stat : 6433 (xcsp3-exec) S 6430 6433 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8783796 9740288 345 18446744073709551615 4194304 5098028 140728429814512 140728429812616 139671564030588 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 7757824 140728429822363 140728429822567 140728429822567 140728429826027 0
/proc/6433/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.708557 s]
/proc/loadavg: 1.88 1.87 1.53 4/199 6433
/proc/meminfo: memFree=31656160/32770624 swapFree=0/277320
[pid=6433] ppid=6430 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6433/stat : 6433 (xcsp3-exec) S 6430 6433 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8783796 9740288 345 18446744073709551615 4194304 5098028 140728429814512 140728429812616 139671564030588 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 7757824 140728429822363 140728429822567 140728429822567 140728429826027 0
/proc/6433/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50068 s]
/proc/loadavg: 1.88 1.87 1.53 5/215 6449
/proc/meminfo: memFree=31569472/32770624 swapFree=0/277332
[pid=6433] ppid=6430 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6433/stat : 6433 (xcsp3-exec) S 6430 6433 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8783796 9740288 345 18446744073709551615 4194304 5098028 140728429814512 140728429812616 139671564030588 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 7757824 140728429822363 140728429822567 140728429822567 140728429826027 0
/proc/6433/statm: 2378 345 289 221 0 87 0
[pid=6435] ppid=6433 vsize=13980732 CPUtime=3.6 cores=1,3,5,7
/proc/6435/stat : 6435 (java) S 6433 6433 5234 0 -1 1077944320 35743 0 0 0 353 7 0 0 20 0 15 0 8783805 14316269568 30831 18446744073709551615 4194304 4196468 140726398602560 140726398585104 139853143240439 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
/proc/6435/statm: 3495183 30831 3175 1 0 3483484 0
[pid=6435/tid=6436] ppid=6433 vsize=13980732 CPUtime=1.35 cores=1,3,5,7
/proc/6435/task/6436/stat : 6436 (java) R 6433 6433 5234 0 -1 4202560 9028 0 0 0 131 4 0 0 20 0 15 0 8783805 14316269568 30831 18446744073709551615 4194304 4196468 140726398602560 139853147476816 139852745994306 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
[pid=6435/tid=6437] ppid=6433 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6435/task/6437/stat : 6437 (java) S 6433 6433 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8783806 14316269568 30831 18446744073709551615 4194304 4196468 140726398602560 139853062654736 139853143250645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
[pid=6435/tid=6438] ppid=6433 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6435/task/6438/stat : 6438 (java) S 6433 6433 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8783806 14316269568 30831 18446744073709551615 4194304 4196468 140726398602560 139852741864336 139853143250645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
[pid=6435/tid=6439] ppid=6433 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6435/task/6439/stat : 6439 (java) S 6433 6433 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8783806 14316269568 30831 18446744073709551615 4194304 4196468 140726398602560 139852740811792 139853143250645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
[pid=6435/tid=6440] ppid=6433 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6435/task/6440/stat : 6440 (java) S 6433 6433 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8783806 14316269568 30831 18446744073709551615 4194304 4196468 140726398602560 139852739759248 139853143250645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
[pid=6435/tid=6441] ppid=6433 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6435/task/6441/stat : 6441 (java) S 6433 6433 5234 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 8783807 14316269568 30831 18446744073709551615 4194304 4196468 140726398602560 139852644292592 139853143251586 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
[pid=6435/tid=6442] ppid=6433 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6435/task/6442/stat : 6442 (java) S 6433 6433 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8783808 14316269568 30831 18446744073709551615 4194304 4196468 140726398602560 139852643238816 139853143250645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
[pid=6435/tid=6443] ppid=6433 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6435/task/6443/stat : 6443 (java) S 6433 6433 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8783808 14316269568 30831 18446744073709551615 4194304 4196468 140726398602560 139852642186224 139853143250645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
[pid=6435/tid=6444] ppid=6433 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6435/task/6444/stat : 6444 (java) S 6433 6433 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8783810 14316269568 30831 18446744073709551615 4194304 4196468 140726398602560 139852641134800 139853143259035 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
[pid=6435/tid=6445] ppid=6433 vsize=13980732 CPUtime=0.91 cores=1,3,5,7
/proc/6435/task/6445/stat : 6445 (java) R 6433 6433 5234 0 -1 4202560 14206 0 0 0 90 1 0 0 20 0 15 0 8783810 14316269568 30831 18446744073709551615 4194304 4196468 140726398602560 139852640067080 139853122497019 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
[pid=6435/tid=6446] ppid=6433 vsize=13980732 CPUtime=0.89 cores=1,3,5,7
/proc/6435/task/6446/stat : 6446 (java) R 6433 6433 5234 0 -1 4202560 8524 0 0 0 88 1 0 0 20 0 15 0 8783810 14316269568 30831 18446744073709551615 4194304 4196468 140726398602560 139852639015896 139853121477191 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
[pid=6435/tid=6447] ppid=6433 vsize=13980732 CPUtime=0.42 cores=1,3,5,7
/proc/6435/task/6447/stat : 6447 (java) S 6433 6433 5234 0 -1 1077944384 2664 0 0 0 42 0 0 0 20 0 15 0 8783810 14316269568 30831 18446744073709551615 4194304 4196468 140726398602560 139852637977328 139853143251586 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
[pid=6435/tid=6448] ppid=6433 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6435/task/6448/stat : 6448 (java) S 6433 6433 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8783811 14316269568 30831 18446744073709551615 4194304 4196468 140726398602560 139852636925024 139853143250645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
[pid=6435/tid=6449] ppid=6433 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6435/task/6449/stat : 6449 (java) S 6433 6433 5234 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 8783815 14316269568 30831 18446744073709551615 4194304 4196468 140726398602560 139852635871536 139853143251586 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 13990244
[startup+3.1006 s]
/proc/loadavg: 1.88 1.87 1.53 3/215 6449
/proc/meminfo: memFree=31515616/32770624 swapFree=0/277332
[pid=6433] ppid=6430 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6433/stat : 6433 (xcsp3-exec) S 6430 6433 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8783796 9740288 345 18446744073709551615 4194304 5098028 140728429814512 140728429812616 139671564030588 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 7757824 140728429822363 140728429822567 140728429822567 140728429826027 0
/proc/6433/statm: 2378 345 289 221 0 87 0
[pid=6435] ppid=6433 vsize=13980732 CPUtime=6.59 cores=1,3,5,7
/proc/6435/stat : 6435 (java) S 6433 6433 5234 0 -1 1077944320 37652 0 0 0 651 8 0 0 20 0 15 0 8783805 14316269568 43986 18446744073709551615 4194304 4196468 140726398602560 140726398585104 139853143240439 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
/proc/6435/statm: 3495183 43986 3183 1 0 3483484 0
[pid=6435/tid=6436] ppid=6433 vsize=13980732 CPUtime=2.94 cores=1,3,5,7
/proc/6435/task/6436/stat : 6436 (java) R 6433 6433 5234 0 -1 4202560 9149 0 0 0 290 4 0 0 20 0 15 0 8783805 14316269568 43986 18446744073709551615 4194304 4196468 140726398602560 139853147477120 139852747429656 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
[pid=6435/tid=6437] ppid=6433 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6435/task/6437/stat : 6437 (java) S 6433 6433 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8783806 14316269568 43986 18446744073709551615 4194304 4196468 140726398602560 139853062654736 139853143250645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
[pid=6435/tid=6438] ppid=6433 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6435/task/6438/stat : 6438 (java) S 6433 6433 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8783806 14316269568 43986 18446744073709551615 4194304 4196468 140726398602560 139852741864336 139853143250645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
[pid=6435/tid=6439] ppid=6433 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6435/task/6439/stat : 6439 (java) S 6433 6433 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8783806 14316269568 43986 18446744073709551615 4194304 4196468 140726398602560 139852740811792 139853143250645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
[pid=6435/tid=6440] ppid=6433 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6435/task/6440/stat : 6440 (java) S 6433 6433 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8783806 14316269568 43986 18446744073709551615 4194304 4196468 140726398602560 139852739759248 139853143250645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
[pid=6435/tid=6441] ppid=6433 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6435/task/6441/stat : 6441 (java) S 6433 6433 5234 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 8783807 14316269568 43986 18446744073709551615 4194304 4196468 140726398602560 139852644292592 139853143251586 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
[pid=6435/tid=6442] ppid=6433 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6435/task/6442/stat : 6442 (java) S 6433 6433 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8783808 14316269568 43986 18446744073709551615 4194304 4196468 140726398602560 139852643238816 139853143250645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
[pid=6435/tid=6443] ppid=6433 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6435/task/6443/stat : 6443 (java) S 6433 6433 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8783808 14316269568 43986 18446744073709551615 4194304 4196468 140726398602560 139852642186224 139853143250645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
[pid=6435/tid=6444] ppid=6433 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6435/task/6444/stat : 6444 (java) S 6433 6433 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8783810 14316269568 43986 18446744073709551615 4194304 4196468 140726398602560 139852641134800 139853143259035 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
[pid=6435/tid=6445] ppid=6433 vsize=13980732 CPUtime=1.59 cores=1,3,5,7
/proc/6435/task/6445/stat : 6445 (java) S 6433 6433 5234 0 -1 1077944384 14514 0 0 0 158 1 0 0 20 0 15 0 8783810 14316269568 43986 18446744073709551615 4194304 4196468 140726398602560 139852640082416 139853143251586 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
[pid=6435/tid=6446] ppid=6433 vsize=13980732 CPUtime=1.56 cores=1,3,5,7
/proc/6435/task/6446/stat : 6446 (java) S 6433 6433 5234 0 -1 1077944384 9519 0 0 0 155 1 0 0 20 0 15 0 8783810 14316269568 43986 18446744073709551615 4194304 4196468 140726398602560 139852639029872 139853143251586 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
[pid=6435/tid=6447] ppid=6433 vsize=13980732 CPUtime=0.46 cores=1,3,5,7
/proc/6435/task/6447/stat : 6447 (java) S 6433 6433 5234 0 -1 1077944384 3113 0 0 0 46 0 0 0 20 0 15 0 8783810 14316269568 43986 18446744073709551615 4194304 4196468 140726398602560 139852637977328 139853143251586 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
[pid=6435/tid=6448] ppid=6433 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6435/task/6448/stat : 6448 (java) S 6433 6433 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8783811 14316269568 43986 18446744073709551615 4194304 4196468 140726398602560 139852636925024 139853143250645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
[pid=6435/tid=6449] ppid=6433 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6435/task/6449/stat : 6449 (java) S 6433 6433 5234 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 8783815 14316269568 43986 18446744073709551615 4194304 4196468 140726398602560 139852635871536 139853143251586 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
Current children cumulated CPU time (s) 6.59
Current children cumulated vsize (KiB) 13990244
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 6435 sig 9
??? kill 6433 sig 9
??? kill -6433 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20074 s]
/proc/loadavg: 1.88 1.87 1.53 3/215 6449
/proc/meminfo: memFree=31515616/32770624 swapFree=0/277332
[pid=6433] ppid=6430 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6433/stat : 6433 (xcsp3-exec) S 6430 6433 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8783796 9740288 345 18446744073709551615 4194304 5098028 140728429814512 140728429812616 139671564030588 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 7757824 140728429822363 140728429822567 140728429822567 140728429826027 0
/proc/6433/statm: 2378 345 289 221 0 87 0
[pid=6435] ppid=6433 vsize=13980732 CPUtime=6.69 cores=1,3,5,7
/proc/6435/stat : 6435 (java) S 6433 6433 5234 0 -1 1077944320 37658 0 0 0 661 8 0 0 20 0 15 0 8783805 14316269568 45010 18446744073709551615 4194304 4196468 140726398602560 140726398585104 139853143240439 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
/proc/6435/statm: 3495183 45010 3183 1 0 3483484 0
[pid=6435/tid=6436] ppid=6433 vsize=13980732 CPUtime=3.05 cores=1,3,5,7
/proc/6435/task/6436/stat : 6436 (java) R 6433 6433 5234 0 -1 4202560 9154 0 0 0 301 4 0 0 20 0 15 0 8783805 14316269568 45010 18446744073709551615 4194304 4196468 140726398602560 139853147477120 139852747486002 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
[pid=6435/tid=6437] ppid=6433 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6435/task/6437/stat : 6437 (java) S 6433 6433 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8783806 14316269568 45010 18446744073709551615 4194304 4196468 140726398602560 139853062654736 139853143250645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
[pid=6435/tid=6438] ppid=6433 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6435/task/6438/stat : 6438 (java) S 6433 6433 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8783806 14316269568 45010 18446744073709551615 4194304 4196468 140726398602560 139852741864336 139853143250645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
[pid=6435/tid=6439] ppid=6433 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6435/task/6439/stat : 6439 (java) S 6433 6433 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8783806 14316269568 45010 18446744073709551615 4194304 4196468 140726398602560 139852740811792 139853143250645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
[pid=6435/tid=6440] ppid=6433 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6435/task/6440/stat : 6440 (java) S 6433 6433 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8783806 14316269568 45010 18446744073709551615 4194304 4196468 140726398602560 139852739759248 139853143250645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
[pid=6435/tid=6441] ppid=6433 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6435/task/6441/stat : 6441 (java) S 6433 6433 5234 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 8783807 14316269568 45010 18446744073709551615 4194304 4196468 140726398602560 139852644292592 139853143251586 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
[pid=6435/tid=6442] ppid=6433 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6435/task/6442/stat : 6442 (java) S 6433 6433 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8783808 14316269568 45010 18446744073709551615 4194304 4196468 140726398602560 139852643238816 139853143250645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
[pid=6435/tid=6443] ppid=6433 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6435/task/6443/stat : 6443 (java) S 6433 6433 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8783808 14316269568 45010 18446744073709551615 4194304 4196468 140726398602560 139852642186224 139853143250645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
[pid=6435/tid=6444] ppid=6433 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6435/task/6444/stat : 6444 (java) S 6433 6433 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8783810 14316269568 45010 18446744073709551615 4194304 4196468 140726398602560 139852641134800 139853143259035 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
[pid=6435/tid=6445] ppid=6433 vsize=13980732 CPUtime=1.59 cores=1,3,5,7
/proc/6435/task/6445/stat : 6445 (java) S 6433 6433 5234 0 -1 1077944384 14514 0 0 0 158 1 0 0 20 0 15 0 8783810 14316269568 45010 18446744073709551615 4194304 4196468 140726398602560 139852640082416 139853143251586 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
[pid=6435/tid=6446] ppid=6433 vsize=13980732 CPUtime=1.56 cores=1,3,5,7
/proc/6435/task/6446/stat : 6446 (java) S 6433 6433 5234 0 -1 1077944384 9519 0 0 0 155 1 0 0 20 0 15 0 8783810 14316269568 45010 18446744073709551615 4194304 4196468 140726398602560 139852639029872 139853143251586 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
[pid=6435/tid=6447] ppid=6433 vsize=13980732 CPUtime=0.46 cores=1,3,5,7
/proc/6435/task/6447/stat : 6447 (java) S 6433 6433 5234 0 -1 1077944384 3114 0 0 0 46 0 0 0 20 0 15 0 8783810 14316269568 45010 18446744073709551615 4194304 4196468 140726398602560 139852637977328 139853143251586 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
[pid=6435/tid=6448] ppid=6433 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6435/task/6448/stat : 6448 (java) S 6433 6433 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8783811 14316269568 45010 18446744073709551615 4194304 4196468 140726398602560 139852636925024 139853143250645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
[pid=6435/tid=6449] ppid=6433 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6435/task/6449/stat : 6449 (java) S 6433 6433 5234 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 8783815 14316269568 45010 18446744073709551615 4194304 4196468 140726398602560 139852635871536 139853143251586 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
Current children cumulated CPU time (s) 6.69
Current children cumulated vsize (KiB) 13990244
[startup+3.3006 s]
/proc/loadavg: 1.88 1.87 1.53 3/215 6449
/proc/meminfo: memFree=31414544/32770624 swapFree=0/277336
[pid=6433] ppid=6430 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6433/stat : 6433 (xcsp3-exec) S 6430 6433 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8783796 9740288 345 18446744073709551615 4194304 5098028 140728429814512 140728429812616 139671564030588 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 7757824 140728429822363 140728429822567 140728429822567 140728429826027 0
/proc/6433/statm: 2378 345 289 221 0 87 0
[pid=6435] ppid=6433 vsize=13980732 CPUtime=6.8 cores=1,3,5,7
/proc/6435/stat : 6435 (java) S 6433 6433 5234 0 -1 1077944320 37666 0 0 0 672 8 0 0 20 0 15 0 8783805 14316269568 46034 18446744073709551615 4194304 4196468 140726398602560 140726398585104 139853143240439 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
/proc/6435/statm: 3495183 46034 3183 1 0 3483484 0
[pid=6435/tid=6436] ppid=6433 vsize=13980732 CPUtime=3.15 cores=1,3,5,7
/proc/6435/task/6436/stat : 6436 (java) R 6433 6433 5234 0 -1 4202560 9158 0 0 0 311 4 0 0 20 0 15 0 8783805 14316269568 46034 18446744073709551615 4194304 4196468 140726398602560 139853147477120 139852746719912 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
[pid=6435/tid=6437] ppid=6433 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6435/task/6437/stat : 6437 (java) S 6433 6433 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8783806 14316269568 46034 18446744073709551615 4194304 4196468 140726398602560 139853062654736 139853143250645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
[pid=6435/tid=6438] ppid=6433 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6435/task/6438/stat : 6438 (java) S 6433 6433 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8783806 14316269568 46034 18446744073709551615 4194304 4196468 140726398602560 139852741864336 139853143250645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
[pid=6435/tid=6439] ppid=6433 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6435/task/6439/stat : 6439 (java) S 6433 6433 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8783806 14316269568 46034 18446744073709551615 4194304 4196468 140726398602560 139852740811792 139853143250645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
[pid=6435/tid=6440] ppid=6433 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6435/task/6440/stat : 6440 (java) S 6433 6433 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8783806 14316269568 46034 18446744073709551615 4194304 4196468 140726398602560 139852739759248 139853143250645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
[pid=6435/tid=6441] ppid=6433 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6435/task/6441/stat : 6441 (java) S 6433 6433 5234 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 8783807 14316269568 46034 18446744073709551615 4194304 4196468 140726398602560 139852644292592 139853143251586 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
[pid=6435/tid=6442] ppid=6433 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6435/task/6442/stat : 6442 (java) S 6433 6433 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8783808 14316269568 46034 18446744073709551615 4194304 4196468 140726398602560 139852643238816 139853143250645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
[pid=6435/tid=6443] ppid=6433 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6435/task/6443/stat : 6443 (java) S 6433 6433 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8783808 14316269568 46034 18446744073709551615 4194304 4196468 140726398602560 139852642186224 139853143250645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
[pid=6435/tid=6444] ppid=6433 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6435/task/6444/stat : 6444 (java) S 6433 6433 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8783810 14316269568 46034 18446744073709551615 4194304 4196468 140726398602560 139852641134800 139853143259035 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
[pid=6435/tid=6445] ppid=6433 vsize=13980732 CPUtime=1.59 cores=1,3,5,7
/proc/6435/task/6445/stat : 6445 (java) S 6433 6433 5234 0 -1 1077944384 14514 0 0 0 158 1 0 0 20 0 15 0 8783810 14316269568 46034 18446744073709551615 4194304 4196468 140726398602560 139852640082416 139853143251586 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
[pid=6435/tid=6446] ppid=6433 vsize=13980732 CPUtime=1.56 cores=1,3,5,7
/proc/6435/task/6446/stat : 6446 (java) S 6433 6433 5234 0 -1 1077944384 9519 0 0 0 155 1 0 0 20 0 15 0 8783810 14316269568 46034 18446744073709551615 4194304 4196468 140726398602560 139852639029872 139853143251586 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
[pid=6435/tid=6447] ppid=6433 vsize=13980732 CPUtime=0.46 cores=1,3,5,7
/proc/6435/task/6447/stat : 6447 (java) S 6433 6433 5234 0 -1 1077944384 3118 0 0 0 46 0 0 0 20 0 15 0 8783810 14316269568 46034 18446744073709551615 4194304 4196468 140726398602560 139852637977328 139853143251586 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
[pid=6435/tid=6448] ppid=6433 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6435/task/6448/stat : 6448 (java) S 6433 6433 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8783811 14316269568 46034 18446744073709551615 4194304 4196468 140726398602560 139852636925024 139853143250645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
[pid=6435/tid=6449] ppid=6433 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6435/task/6449/stat : 6449 (java) S 6433 6433 5234 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 8783815 14316269568 46034 18446744073709551615 4194304 4196468 140726398602560 139852635871536 139853143251586 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17551360 140726398607828 140726398608003 140726398608003 140726398611407 0
Current children cumulated CPU time (s) 6.8
Current children cumulated vsize (KiB) 13990244
Child status: 0
Real time (s): 3.35421
CPU time (s): 6.85829
CPU user time (s): 6.76744
CPU system time (s): 0.090851
CPU usage (%): 204.468
Max. virtual memory (cumulated for all children) (KiB): 13992760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.76744
system time used= 0.090851
maximum resident set size= 186676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38657
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= 2043
involuntary context switches= 18
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.01818 second user time and 0.024866 second system time
The end