runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3266300-1304073708/watcher-3266300-1304073708 -o /tmp/evaluation-result-3266300-1304073708/solver-3266300-1304073708 -C 4800 -W 1300 -M 15500 HOME/priss.sh HOME HOME/instance-3266300-1304073708.cnf 601253041 4800 15500 4
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 10240 KiB
[startup+0 s]
/proc/loadavg: 7.77 8.05 8.05 6/182 22733
/proc/meminfo: memFree=24664652/32951124 swapFree=67051468/67111528
[pid=22733] ppid=22731 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/22733/stat : 22733 (priss.sh) S 22731 22733 21348 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 518973601 8908800 251 33554432000 4194304 4922060 140734037990352 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22733/statm: 2175 251 211 178 0 68 0
[startup+0.857021 s]
/proc/loadavg: 7.77 8.05 8.05 6/182 22733
/proc/meminfo: memFree=24664652/32951124 swapFree=67051468/67111528
[pid=22733] ppid=22731 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/22733/stat : 22733 (priss.sh) S 22731 22733 21348 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 518973601 8908800 251 33554432000 4194304 4922060 140734037990352 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22733/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.901012 s]
/proc/loadavg: 7.77 8.05 8.05 6/182 22733
/proc/meminfo: memFree=24664652/32951124 swapFree=67051468/67111528
[pid=22733] ppid=22731 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/22733/stat : 22733 (priss.sh) S 22731 22733 21348 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 518973601 8908800 251 33554432000 4194304 4922060 140734037990352 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22733/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+1.00099 s]
/proc/loadavg: 7.77 8.05 8.05 6/182 22733
/proc/meminfo: memFree=24664652/32951124 swapFree=67051468/67111528
[pid=22733] ppid=22731 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/22733/stat : 22733 (priss.sh) S 22731 22733 21348 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 518973601 8908800 251 33554432000 4194304 4922060 140734037990352 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22733/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+1.10098 s]
/proc/loadavg: 7.77 8.05 8.05 6/182 22733
/proc/meminfo: memFree=24664652/32951124 swapFree=67051468/67111528
[pid=22733] ppid=22731 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/22733/stat : 22733 (priss.sh) S 22731 22733 21348 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 518973601 8908800 251 33554432000 4194304 4922060 140734037990352 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22733/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+1.50091 s]
/proc/loadavg: 7.77 8.05 8.05 6/182 22733
/proc/meminfo: memFree=24664652/32951124 swapFree=67051468/67111528
[pid=22733] ppid=22731 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/22733/stat : 22733 (priss.sh) S 22731 22733 21348 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 518973601 8908800 251 33554432000 4194304 4922060 140734037990352 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22733/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+3.10062 s]
/proc/loadavg: 7.77 8.05 8.05 9/188 22739
/proc/meminfo: memFree=24632788/32951124 swapFree=67051468/67111528
[pid=22733] ppid=22731 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/22733/stat : 22733 (priss.sh) S 22731 22733 21348 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 518973601 8908800 251 33554432000 4194304 4922060 140734037990352 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22733/statm: 2175 251 211 178 0 68 0
[pid=22734] ppid=22733 vsize=279020 CPUtime=12.35 cores=1,3,5,7
/proc/22734/stat : 22734 (priss) S 22733 22733 21348 0 -1 4202496 9298 0 0 0 1232 3 0 0 18 0 5 0 518973601 285716480 8180 33554432000 4194304 5787044 140733802900640 18446744073709551615 218382780849 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/22734/statm: 69755 8180 404 389 0 65505 0
[pid=22734/tid=22736] ppid=22733 vsize=279020 CPUtime=3.07 cores=1,3,5,7
/proc/22734/task/22736/stat : 22736 (priss) R 22733 22733 21348 0 -1 4202560 2095 0 0 0 307 0 0 0 25 0 5 0 518973602 285716480 8180 33554432000 4194304 5787044 140733802900640 18446744073709551615 5591722 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=22734/tid=22737] ppid=22733 vsize=279020 CPUtime=3.07 cores=1,3,5,7
/proc/22734/task/22737/stat : 22737 (priss) R 22733 22733 21348 0 -1 4202560 1691 0 0 0 307 0 0 0 25 0 5 0 518973602 285716480 8180 33554432000 4194304 5787044 140733802900640 18446744073709551615 4254881 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=22734/tid=22738] ppid=22733 vsize=279020 CPUtime=3.08 cores=1,3,5,7
/proc/22734/task/22738/stat : 22738 (priss) R 22733 22733 21348 0 -1 4202560 1932 0 0 0 308 0 0 0 25 0 5 0 518973602 285716480 8180 33554432000 4194304 5787044 140733802900640 18446744073709551615 5591190 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=22734/tid=22739] ppid=22733 vsize=279020 CPUtime=3.08 cores=1,3,5,7
/proc/22734/task/22739/stat : 22739 (priss) R 22733 22733 21348 0 -1 4202560 1971 0 0 0 308 0 0 0 25 0 5 0 518973602 285716480 8180 33554432000 4194304 5787044 140733802900640 18446744073709551615 4359256 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 287720
[startup+6.30706 s]
/proc/loadavg: 7.79 8.05 8.05 9/188 22739
/proc/meminfo: memFree=24625580/32951124 swapFree=67051468/67111528
[pid=22733] ppid=22731 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/22733/stat : 22733 (priss.sh) S 22731 22733 21348 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 518973601 8908800 251 33554432000 4194304 4922060 140734037990352 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22733/statm: 2175 251 211 178 0 68 0
[pid=22734] ppid=22733 vsize=281416 CPUtime=25.16 cores=1,3,5,7
/proc/22734/stat : 22734 (priss) S 22733 22733 21348 0 -1 4202496 11127 0 0 0 2511 5 0 0 18 0 5 0 518973601 288169984 10009 33554432000 4194304 5787044 140733802900640 18446744073709551615 218382780849 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/22734/statm: 70354 10009 404 389 0 66104 0
[pid=22734/tid=22736] ppid=22733 vsize=281416 CPUtime=6.26 cores=1,3,5,7
/proc/22734/task/22736/stat : 22736 (priss) R 22733 22733 21348 0 -1 4202560 2695 0 0 0 625 1 0 0 25 0 5 0 518973602 288169984 10009 33554432000 4194304 5787044 140733802900640 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=22734/tid=22737] ppid=22733 vsize=281416 CPUtime=6.28 cores=1,3,5,7
/proc/22734/task/22737/stat : 22737 (priss) R 22733 22733 21348 0 -1 4202560 2311 0 0 0 627 1 0 0 19 0 5 0 518973602 288169984 10009 33554432000 4194304 5787044 140733802900640 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=22734/tid=22738] ppid=22733 vsize=281416 CPUtime=6.29 cores=1,3,5,7
/proc/22734/task/22738/stat : 22738 (priss) R 22733 22733 21348 0 -1 4202560 2541 0 0 0 628 1 0 0 25 0 5 0 518973602 288169984 10009 33554432000 4194304 5787044 140733802900640 18446744073709551615 5591561 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=22734/tid=22739] ppid=22733 vsize=281416 CPUtime=6.29 cores=1,3,5,7
/proc/22734/task/22739/stat : 22739 (priss) R 22733 22733 21348 0 -1 4202560 1971 0 0 0 629 0 0 0 25 0 5 0 518973602 288169984 10009 33554432000 4194304 5787044 140733802900640 18446744073709551615 4359248 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 290116
[startup+12.7009 s]
/proc/loadavg: 7.88 8.06 8.05 9/188 22739
/proc/meminfo: memFree=24605368/32951124 swapFree=67051468/67111528
[pid=22733] ppid=22731 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/22733/stat : 22733 (priss.sh) S 22731 22733 21348 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 518973601 8908800 251 33554432000 4194304 4922060 140734037990352 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22733/statm: 2175 251 211 178 0 68 0
[pid=22734] ppid=22733 vsize=289112 CPUtime=50.7 cores=1,3,5,7
/proc/22734/stat : 22734 (priss) S 22733 22733 21348 0 -1 4202496 14839 0 0 0 5062 8 0 0 18 0 5 0 518973601 296050688 13721 33554432000 4194304 5787044 140733802900640 18446744073709551615 218382780849 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/22734/statm: 72278 13721 404 389 0 68028 0
[pid=22734/tid=22736] ppid=22733 vsize=289112 CPUtime=12.62 cores=1,3,5,7
/proc/22734/task/22736/stat : 22736 (priss) R 22733 22733 21348 0 -1 4202560 4642 0 0 0 1259 3 0 0 25 0 5 0 518973602 296050688 13721 33554432000 4194304 5787044 140733802900640 18446744073709551615 4255036 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=22734/tid=22737] ppid=22733 vsize=289112 CPUtime=12.68 cores=1,3,5,7
/proc/22734/task/22737/stat : 22737 (priss) R 22733 22733 21348 0 -1 4202560 3196 0 0 0 1266 2 0 0 25 0 5 0 518973602 296050688 13721 33554432000 4194304 5787044 140733802900640 18446744073709551615 5591730 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=22734/tid=22738] ppid=22733 vsize=289112 CPUtime=12.67 cores=1,3,5,7
/proc/22734/task/22738/stat : 22738 (priss) R 22733 22733 21348 0 -1 4202560 3421 0 0 0 1266 1 0 0 25 0 5 0 518973602 296050688 13721 33554432000 4194304 5787044 140733802900640 18446744073709551615 5591630 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=22734/tid=22739] ppid=22733 vsize=289112 CPUtime=12.68 cores=1,3,5,7
/proc/22734/task/22739/stat : 22739 (priss) R 22733 22733 21348 0 -1 4202560 1971 0 0 0 1268 0 0 0 25 0 5 0 518973602 296050688 13721 33554432000 4194304 5787044 140733802900640 18446744073709551615 4359256 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 297812
[startup+25.5006 s]
/proc/loadavg: 7.91 8.06 8.05 9/188 22739
/proc/meminfo: memFree=24575496/32951124 swapFree=67051468/67111528
[pid=22733] ppid=22731 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/22733/stat : 22733 (priss.sh) S 22731 22733 21348 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 518973601 8908800 251 33554432000 4194304 4922060 140734037990352 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22733/statm: 2175 251 211 178 0 68 0
[pid=22734] ppid=22733 vsize=299872 CPUtime=101.81 cores=1,3,5,7
/proc/22734/stat : 22734 (priss) S 22733 22733 21348 0 -1 4202496 23134 0 0 0 10166 15 0 0 18 0 5 0 518973601 307068928 21310 33554432000 4194304 5787044 140733802900640 18446744073709551615 218382780849 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/22734/statm: 74968 21310 417 389 0 70718 0
[pid=22734/tid=22736] ppid=22733 vsize=299872 CPUtime=25.35 cores=1,3,5,7
/proc/22734/task/22736/stat : 22736 (priss) R 22733 22733 21348 0 -1 4202560 6255 0 0 0 2530 5 0 0 25 0 5 0 518973602 307068928 21310 33554432000 4194304 5787044 140733802900640 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=22734/tid=22737] ppid=22733 vsize=299872 CPUtime=25.48 cores=1,3,5,7
/proc/22734/task/22737/stat : 22737 (priss) R 22733 22733 21348 0 -1 4202560 5094 0 0 0 2545 3 0 0 25 0 5 0 518973602 307068928 21310 33554432000 4194304 5787044 140733802900640 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=22734/tid=22738] ppid=22733 vsize=299872 CPUtime=25.47 cores=1,3,5,7
/proc/22734/task/22738/stat : 22738 (priss) R 22733 22733 21348 0 -1 4202560 4378 0 0 0 2544 3 0 0 25 0 5 0 518973602 307068928 21310 33554432000 4194304 5787044 140733802900640 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=22734/tid=22739] ppid=22733 vsize=299872 CPUtime=25.48 cores=1,3,5,7
/proc/22734/task/22739/stat : 22739 (priss) R 22733 22733 21348 0 -1 4202560 5798 0 0 0 2545 3 0 0 25 0 5 0 518973602 307068928 21310 33554432000 4194304 5787044 140733802900640 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 308572
[startup+51.1011 s]
/proc/loadavg: 8.01 8.07 8.05 9/188 22740
/proc/meminfo: memFree=24524032/32951124 swapFree=67051468/67111528
[pid=22733] ppid=22731 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/22733/stat : 22733 (priss.sh) S 22731 22733 21348 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 518973601 8908800 251 33554432000 4194304 4922060 140734037990352 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22733/statm: 2175 251 211 178 0 68 0
[pid=22734] ppid=22733 vsize=311136 CPUtime=204.06 cores=1,3,5,7
/proc/22734/stat : 22734 (priss) S 22733 22733 21348 0 -1 4202496 31095 0 0 0 20378 28 0 0 18 0 5 0 518973601 318603264 29201 33554432000 4194304 5787044 140733802900640 18446744073709551615 218382780849 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/22734/statm: 77784 29201 417 389 0 73534 0
[pid=22734/tid=22736] ppid=22733 vsize=311136 CPUtime=50.81 cores=1,3,5,7
/proc/22734/task/22736/stat : 22736 (priss) R 22733 22733 21348 0 -1 4202560 7251 0 0 0 5074 7 0 0 25 0 5 0 518973602 318603264 29201 33554432000 4194304 5787044 140733802900640 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=22734/tid=22737] ppid=22733 vsize=311136 CPUtime=51.07 cores=1,3,5,7
/proc/22734/task/22737/stat : 22737 (priss) R 22733 22733 21348 0 -1 4202560 7181 0 0 0 5100 7 0 0 25 0 5 0 518973602 318603264 29201 33554432000 4194304 5787044 140733802900640 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=22734/tid=22738] ppid=22733 vsize=311136 CPUtime=51.06 cores=1,3,5,7
/proc/22734/task/22738/stat : 22738 (priss) R 22733 22733 21348 0 -1 4202560 7342 0 0 0 5101 5 0 0 25 0 5 0 518973602 318603264 29201 33554432000 4194304 5787044 140733802900640 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=22734/tid=22739] ppid=22733 vsize=311136 CPUtime=51.08 cores=1,3,5,7
/proc/22734/task/22739/stat : 22739 (priss) R 22733 22733 21348 0 -1 4202560 7712 0 0 0 5101 7 0 0 25 0 5 0 518973602 318603264 29201 33554432000 4194304 5787044 140733802900640 18446744073709551615 5528375 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.06
Current children cumulated vsize (KiB) 319836
[startup+102.301 s]
/proc/loadavg: 8.13 8.09 8.06 9/188 22741
/proc/meminfo: memFree=24448120/32951124 swapFree=67051468/67111528
[pid=22733] ppid=22731 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/22733/stat : 22733 (priss.sh) S 22731 22733 21348 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 518973601 8908800 251 33554432000 4194304 4922060 140734037990352 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22733/statm: 2175 251 211 178 0 68 0
[pid=22734] ppid=22733 vsize=321620 CPUtime=408.55 cores=1,3,5,7
/proc/22734/stat : 22734 (priss) S 22733 22733 21348 0 -1 4202496 39106 0 0 0 40819 36 0 0 18 0 5 0 518973601 329338880 37091 33554432000 4194304 5787044 140733802900640 18446744073709551615 218382780849 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/22734/statm: 80405 37091 417 389 0 76155 0
[pid=22734/tid=22736] ppid=22733 vsize=321620 CPUtime=101.72 cores=1,3,5,7
/proc/22734/task/22736/stat : 22736 (priss) R 22733 22733 21348 0 -1 4202560 9334 0 0 0 10162 10 0 0 25 0 5 0 518973602 329338880 37091 33554432000 4194304 5787044 140733802900640 18446744073709551615 5591833 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=22734/tid=22737] ppid=22733 vsize=321620 CPUtime=102.27 cores=1,3,5,7
/proc/22734/task/22737/stat : 22737 (priss) R 22733 22733 21348 0 -1 4202560 8856 0 0 0 10219 8 0 0 25 0 5 0 518973602 329338880 37091 33554432000 4194304 5787044 140733802900640 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=22734/tid=22738] ppid=22733 vsize=321620 CPUtime=102.26 cores=1,3,5,7
/proc/22734/task/22738/stat : 22738 (priss) R 22733 22733 21348 0 -1 4202560 9091 0 0 0 10218 8 0 0 25 0 5 0 518973602 329338880 37091 33554432000 4194304 5787044 140733802900640 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=22734/tid=22739] ppid=22733 vsize=321620 CPUtime=102.27 cores=1,3,5,7
/proc/22734/task/22739/stat : 22739 (priss) R 22733 22733 21348 0 -1 4202560 10216 0 0 0 10218 9 0 0 25 0 5 0 518973602 329338880 37091 33554432000 4194304 5787044 140733802900640 18446744073709551615 5528375 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.55
Current children cumulated vsize (KiB) 330320
[startup+162.301 s]
/proc/loadavg: 8.16 8.10 8.06 9/188 22743
/proc/meminfo: memFree=24352868/32951124 swapFree=67051468/67111528
[pid=22733] ppid=22731 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/22733/stat : 22733 (priss.sh) S 22731 22733 21348 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 518973601 8908800 251 33554432000 4194304 4922060 140734037990352 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22733/statm: 2175 251 211 178 0 68 0
[pid=22734] ppid=22733 vsize=335860 CPUtime=648.21 cores=1,3,5,7
################
# More data... #
################
/proc/22734/task/22737/stat : 22737 (priss) R 22733 22733 21348 0 -1 4202560 21608 0 0 0 88204 21 0 0 25 0 5 0 518973602 608956416 87363 33554432000 4194304 5787044 140733802900640 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=22734/tid=22738] ppid=22733 vsize=594684 CPUtime=882.25 cores=1,3,5,7
/proc/22734/task/22738/stat : 22738 (priss) R 22733 22733 21348 0 -1 4202560 26276 0 0 0 88188 37 0 0 25 0 5 0 518973602 608956416 87363 33554432000 4194304 5787044 140733802900640 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=22734/tid=22739] ppid=22733 vsize=594684 CPUtime=878.22 cores=1,3,5,7
/proc/22734/task/22739/stat : 22739 (priss) R 22733 22733 21348 0 -1 4202560 19751 0 0 0 87801 21 0 0 25 0 5 0 518973602 608956416 87363 33554432000 4194304 5787044 140733802900640 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.21
Current children cumulated vsize (KiB) 603384
[startup+942.301 s]
/proc/loadavg: 8.20 8.13 8.09 9/188 22797
/proc/meminfo: memFree=24764556/32951124 swapFree=67051468/67111528
[pid=22733] ppid=22731 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/22733/stat : 22733 (priss.sh) S 22731 22733 21348 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 518973601 8908800 251 33554432000 4194304 4922060 140734037990352 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22733/statm: 2175 251 211 178 0 68 0
[pid=22734] ppid=22733 vsize=604508 CPUtime=3763.9 cores=1,3,5,7
/proc/22734/stat : 22734 (priss) S 22733 22733 21348 0 -1 4202496 95729 0 0 0 376278 112 0 0 18 0 5 0 518973601 619016192 93097 33554432000 4194304 5787044 140733802900640 18446744073709551615 218382780849 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/22734/statm: 151127 93097 417 389 0 146877 0
[pid=22734/tid=22736] ppid=22733 vsize=604508 CPUtime=941.44 cores=1,3,5,7
/proc/22734/task/22736/stat : 22736 (priss) R 22733 22733 21348 0 -1 4202560 23283 0 0 0 94120 24 0 0 25 0 5 0 518973602 619016192 93097 33554432000 4194304 5787044 140733802900640 18446744073709551615 5591304 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=22734/tid=22737] ppid=22733 vsize=604508 CPUtime=942.27 cores=1,3,5,7
/proc/22734/task/22737/stat : 22737 (priss) R 22733 22733 21348 0 -1 4202560 21867 0 0 0 94205 22 0 0 25 0 5 0 518973602 619016192 93097 33554432000 4194304 5787044 140733802900640 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=22734/tid=22738] ppid=22733 vsize=604508 CPUtime=942.25 cores=1,3,5,7
/proc/22734/task/22738/stat : 22738 (priss) R 22733 22733 21348 0 -1 4202560 27713 0 0 0 94185 40 0 0 25 0 5 0 518973602 619016192 93097 33554432000 4194304 5787044 140733802900640 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=22734/tid=22739] ppid=22733 vsize=604508 CPUtime=937.91 cores=1,3,5,7
/proc/22734/task/22739/stat : 22739 (priss) R 22733 22733 21348 0 -1 4202560 21257 0 0 0 93767 24 0 0 25 0 5 0 518973602 619016192 93097 33554432000 4194304 5787044 140733802900640 18446744073709551615 5527392 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3763.9
Current children cumulated vsize (KiB) 613208
[startup+1002.3 s]
/proc/loadavg: 8.07 8.10 8.08 9/188 22798
/proc/meminfo: memFree=24724856/32951124 swapFree=67051468/67111528
[pid=22733] ppid=22731 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/22733/stat : 22733 (priss.sh) S 22731 22733 21348 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 518973601 8908800 251 33554432000 4194304 4922060 140734037990352 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22733/statm: 2175 251 211 178 0 68 0
[pid=22734] ppid=22733 vsize=614272 CPUtime=4003.55 cores=1,3,5,7
/proc/22734/stat : 22734 (priss) S 22733 22733 21348 0 -1 4202496 101221 0 0 0 400235 120 0 0 18 0 5 0 518973601 629014528 98589 33554432000 4194304 5787044 140733802900640 18446744073709551615 218382780849 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/22734/statm: 153568 98589 417 389 0 149318 0
[pid=22734/tid=22736] ppid=22733 vsize=614272 CPUtime=1001.43 cores=1,3,5,7
/proc/22734/task/22736/stat : 22736 (priss) R 22733 22733 21348 0 -1 4202560 25774 0 0 0 100117 26 0 0 25 0 5 0 518973602 629014528 98589 33554432000 4194304 5787044 140733802900640 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=22734/tid=22737] ppid=22733 vsize=614272 CPUtime=1002.26 cores=1,3,5,7
/proc/22734/task/22737/stat : 22737 (priss) R 22733 22733 21348 0 -1 4202560 22130 0 0 0 100204 22 0 0 25 0 5 0 518973602 629014528 98589 33554432000 4194304 5787044 140733802900640 18446744073709551615 5591708 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=22734/tid=22738] ppid=22733 vsize=614272 CPUtime=1002.25 cores=1,3,5,7
/proc/22734/task/22738/stat : 22738 (priss) R 22733 22733 21348 0 -1 4202560 29050 0 0 0 100182 43 0 0 25 0 5 0 518973602 629014528 98589 33554432000 4194304 5787044 140733802900640 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=22734/tid=22739] ppid=22733 vsize=614272 CPUtime=997.57 cores=1,3,5,7
/proc/22734/task/22739/stat : 22739 (priss) R 22733 22733 21348 0 -1 4202560 22658 0 0 0 99730 27 0 0 25 0 5 0 518973602 629014528 98589 33554432000 4194304 5787044 140733802900640 18446744073709551615 5527072 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.55
Current children cumulated vsize (KiB) 622972
[startup+1062.31 s]
/proc/loadavg: 8.10 8.10 8.08 9/188 22800
/proc/meminfo: memFree=24680940/32951124 swapFree=67051468/67111528
[pid=22733] ppid=22731 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/22733/stat : 22733 (priss.sh) S 22731 22733 21348 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 518973601 8908800 251 33554432000 4194304 4922060 140734037990352 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22733/statm: 2175 251 211 178 0 68 0
[pid=22734] ppid=22733 vsize=624172 CPUtime=4243.24 cores=1,3,5,7
/proc/22734/stat : 22734 (priss) S 22733 22733 21348 0 -1 4202496 107012 0 0 0 424195 129 0 0 18 0 5 0 518973601 639152128 104380 33554432000 4194304 5787044 140733802900640 18446744073709551615 218382780849 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/22734/statm: 156043 104380 417 389 0 151793 0
[pid=22734/tid=22736] ppid=22733 vsize=624172 CPUtime=1061.43 cores=1,3,5,7
/proc/22734/task/22736/stat : 22736 (priss) R 22733 22733 21348 0 -1 4202560 27168 0 0 0 106116 27 0 0 25 0 5 0 518973602 639152128 104380 33554432000 4194304 5787044 140733802900640 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=22734/tid=22737] ppid=22733 vsize=624172 CPUtime=1062.26 cores=1,3,5,7
/proc/22734/task/22737/stat : 22737 (priss) R 22733 22733 21348 0 -1 4202560 24010 0 0 0 106203 23 0 0 25 0 5 0 518973602 639152128 104380 33554432000 4194304 5787044 140733802900640 18446744073709551615 5591304 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=22734/tid=22738] ppid=22733 vsize=624172 CPUtime=1062.26 cores=1,3,5,7
/proc/22734/task/22738/stat : 22738 (priss) R 22733 22733 21348 0 -1 4202560 30241 0 0 0 106180 46 0 0 25 0 5 0 518973602 639152128 104380 33554432000 4194304 5787044 140733802900640 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=22734/tid=22739] ppid=22733 vsize=624172 CPUtime=1057.24 cores=1,3,5,7
/proc/22734/task/22739/stat : 22739 (priss) R 22733 22733 21348 0 -1 4202560 23984 0 0 0 105694 30 0 0 25 0 5 0 518973602 639152128 104380 33554432000 4194304 5787044 140733802900640 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.24
Current children cumulated vsize (KiB) 632872
[startup+1122.3 s]
/proc/loadavg: 8.11 8.09 8.08 9/188 22802
/proc/meminfo: memFree=24660956/32951124 swapFree=67051468/67111528
[pid=22733] ppid=22731 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/22733/stat : 22733 (priss.sh) S 22731 22733 21348 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 518973601 8908800 251 33554432000 4194304 4922060 140734037990352 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22733/statm: 2175 251 211 178 0 68 0
[pid=22734] ppid=22733 vsize=628252 CPUtime=4482.88 cores=1,3,5,7
/proc/22734/stat : 22734 (priss) S 22733 22733 21348 0 -1 4202496 110517 0 0 0 448155 133 0 0 18 0 5 0 518973601 643330048 107474 33554432000 4194304 5787044 140733802900640 18446744073709551615 218382780849 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/22734/statm: 157063 107474 417 389 0 152813 0
[pid=22734/tid=22736] ppid=22733 vsize=628252 CPUtime=1121.38 cores=1,3,5,7
/proc/22734/task/22736/stat : 22736 (priss) R 22733 22733 21348 0 -1 4202560 28134 0 0 0 112110 28 0 0 25 0 5 0 518973602 643330048 107474 33554432000 4194304 5787044 140733802900640 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=22734/tid=22737] ppid=22733 vsize=628252 CPUtime=1122.25 cores=1,3,5,7
/proc/22734/task/22737/stat : 22737 (priss) R 22733 22733 21348 0 -1 4202560 24782 0 0 0 112201 24 0 0 25 0 5 0 518973602 643330048 107474 33554432000 4194304 5787044 140733802900640 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=22734/tid=22738] ppid=22733 vsize=628252 CPUtime=1122.25 cores=1,3,5,7
/proc/22734/task/22738/stat : 22738 (priss) R 22733 22733 21348 0 -1 4202560 31053 0 0 0 112178 47 0 0 25 0 5 0 518973602 643330048 107474 33554432000 4194304 5787044 140733802900640 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=22734/tid=22739] ppid=22733 vsize=628252 CPUtime=1116.96 cores=1,3,5,7
/proc/22734/task/22739/stat : 22739 (priss) R 22733 22733 21348 0 -1 4202560 24939 0 0 0 111664 32 0 0 25 0 5 0 518973602 643330048 107474 33554432000 4194304 5787044 140733802900640 18446744073709551615 5527087 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4482.88
Current children cumulated vsize (KiB) 636952
[startup+1182.3 s]
/proc/loadavg: 8.11 8.09 8.08 9/188 22812
/proc/meminfo: memFree=24654368/32951124 swapFree=67051468/67111528
[pid=22733] ppid=22731 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/22733/stat : 22733 (priss.sh) S 22731 22733 21348 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 518973601 8908800 251 33554432000 4194304 4922060 140734037990352 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22733/statm: 2175 251 211 178 0 68 0
[pid=22734] ppid=22733 vsize=628252 CPUtime=4722.53 cores=1,3,5,7
/proc/22734/stat : 22734 (priss) S 22733 22733 21348 0 -1 4202496 111657 0 0 0 472119 134 0 0 18 0 5 0 518973601 643330048 108409 33554432000 4194304 5787044 140733802900640 18446744073709551615 218382780849 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/22734/statm: 157063 108409 417 389 0 152813 0
[pid=22734/tid=22736] ppid=22733 vsize=628252 CPUtime=1181.05 cores=1,3,5,7
/proc/22734/task/22736/stat : 22736 (priss) R 22733 22733 21348 0 -1 4202560 28134 0 0 0 118077 28 0 0 25 0 5 0 518973602 643330048 108409 33554432000 4194304 5787044 140733802900640 18446744073709551615 5591319 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=22734/tid=22737] ppid=22733 vsize=628252 CPUtime=1182.25 cores=1,3,5,7
/proc/22734/task/22737/stat : 22737 (priss) R 22733 22733 21348 0 -1 4202560 24782 0 0 0 118201 24 0 0 25 0 5 0 518973602 643330048 108409 33554432000 4194304 5787044 140733802900640 18446744073709551615 5591488 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=22734/tid=22738] ppid=22733 vsize=628252 CPUtime=1182.24 cores=1,3,5,7
/proc/22734/task/22738/stat : 22738 (priss) R 22733 22733 21348 0 -1 4202560 31584 0 0 0 118177 47 0 0 25 0 5 0 518973602 643330048 108409 33554432000 4194304 5787044 140733802900640 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=22734/tid=22739] ppid=22733 vsize=628252 CPUtime=1176.94 cores=1,3,5,7
/proc/22734/task/22739/stat : 22739 (priss) R 22733 22733 21348 0 -1 4202560 25548 0 0 0 117662 32 0 0 25 0 5 0 518973602 643330048 108409 33554432000 4194304 5787044 140733802900640 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4722.53
Current children cumulated vsize (KiB) 636952
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1201.7 s]
/proc/loadavg: 8.08 8.08 8.08 9/188 22813
/proc/meminfo: memFree=24654360/32951124 swapFree=67051468/67111528
[pid=22733] ppid=22731 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/22733/stat : 22733 (priss.sh) S 22731 22733 21348 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 518973601 8908800 251 33554432000 4194304 4922060 140734037990352 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22733/statm: 2175 251 211 178 0 68 0
[pid=22734] ppid=22733 vsize=628252 CPUtime=4800.05 cores=1,3,5,7
/proc/22734/stat : 22734 (priss) S 22733 22733 21348 0 -1 4202496 111657 0 0 0 479871 134 0 0 18 0 5 0 518973601 643330048 108409 33554432000 4194304 5787044 140733802900640 18446744073709551615 218382780849 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/22734/statm: 157063 108409 417 389 0 152813 0
[pid=22734/tid=22736] ppid=22733 vsize=628252 CPUtime=1200.35 cores=1,3,5,7
/proc/22734/task/22736/stat : 22736 (priss) R 22733 22733 21348 0 -1 4202560 28134 0 0 0 120007 28 0 0 25 0 5 0 518973602 643330048 108409 33554432000 4194304 5787044 140733802900640 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=22734/tid=22737] ppid=22733 vsize=628252 CPUtime=1201.66 cores=1,3,5,7
/proc/22734/task/22737/stat : 22737 (priss) R 22733 22733 21348 0 -1 4202560 24782 0 0 0 120142 24 0 0 25 0 5 0 518973602 643330048 108409 33554432000 4194304 5787044 140733802900640 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=22734/tid=22738] ppid=22733 vsize=628252 CPUtime=1201.64 cores=1,3,5,7
/proc/22734/task/22738/stat : 22738 (priss) R 22733 22733 21348 0 -1 4202560 31584 0 0 0 120117 47 0 0 25 0 5 0 518973602 643330048 108409 33554432000 4194304 5787044 140733802900640 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=22734/tid=22739] ppid=22733 vsize=628252 CPUtime=1196.35 cores=1,3,5,7
/proc/22734/task/22739/stat : 22739 (priss) R 22733 22733 21348 0 -1 4202560 25548 0 0 0 119603 32 0 0 25 0 5 0 518973602 643330048 108409 33554432000 4194304 5787044 140733802900640 18446744073709551615 5528651 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.05
Current children cumulated vsize (KiB) 636952
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1201.7 s]
/proc/loadavg: 8.08 8.08 8.08 9/188 22813
/proc/meminfo: memFree=24654360/32951124 swapFree=67051468/67111528
[pid=22733] ppid=22731 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/22733/stat : 22733 (priss.sh) S 22731 22733 21348 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 518973601 8908800 251 33554432000 4194304 4922060 140734037990352 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22733/statm: 2175 251 211 178 0 68 0
[pid=22734] ppid=22733 vsize=628252 CPUtime=4800.05 cores=1,3,5,7
/proc/22734/stat : 22734 (priss) S 22733 22733 21348 0 -1 4202496 111657 0 0 0 479871 134 0 0 18 0 5 0 518973601 643330048 108409 33554432000 4194304 5787044 140733802900640 18446744073709551615 218382780849 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/22734/statm: 157063 108409 417 389 0 152813 0
[pid=22734/tid=22736] ppid=22733 vsize=628252 CPUtime=1200.35 cores=1,3,5,7
/proc/22734/task/22736/stat : 22736 (priss) R 22733 22733 21348 0 -1 4202560 28134 0 0 0 120007 28 0 0 25 0 5 0 518973602 643330048 108409 33554432000 4194304 5787044 140733802900640 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=22734/tid=22737] ppid=22733 vsize=628252 CPUtime=1201.66 cores=1,3,5,7
/proc/22734/task/22737/stat : 22737 (priss) R 22733 22733 21348 0 -1 4202560 24782 0 0 0 120142 24 0 0 25 0 5 0 518973602 643330048 108409 33554432000 4194304 5787044 140733802900640 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=22734/tid=22738] ppid=22733 vsize=628252 CPUtime=1201.64 cores=1,3,5,7
/proc/22734/task/22738/stat : 22738 (priss) R 22733 22733 21348 0 -1 4202560 31584 0 0 0 120117 47 0 0 25 0 5 0 518973602 643330048 108409 33554432000 4194304 5787044 140733802900640 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=22734/tid=22739] ppid=22733 vsize=628252 CPUtime=1196.35 cores=1,3,5,7
/proc/22734/task/22739/stat : 22739 (priss) R 22733 22733 21348 0 -1 4202560 25548 0 0 0 119603 32 0 0 25 0 5 0 518973602 643330048 108409 33554432000 4194304 5787044 140733802900640 18446744073709551615 5528651 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.05
Current children cumulated vsize (KiB) 636952
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22733 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0
# while last known CPU time is 4800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1201.72
CPU time (s): 4800.05
CPU user time (s): 4798.71
CPU system time (s): 1.34
CPU usage (%): 399.432
Max. virtual memory (cumulated for all children) (KiB): 636952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 331
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 3
runsolver used 1.54076 second user time and 5.01924 second system time
The end