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-3251118-1304084382/watcher-3251118-1304084382 -o /tmp/evaluation-result-3251118-1304084382/solver-3251118-1304084382 -C 4800 -W 1300 -M 15500 HOME/priss.sh HOME HOME/instance-3251118-1304084382.cnf 1282231378 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.89 8.05 8.04 6/182 5273
/proc/meminfo: memFree=19672336/32950904 swapFree=67082284/67111528
[pid=5273] ppid=5271 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5273/stat : 5273 (priss.sh) S 5271 5273 4177 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 520037957 8908800 251 33554432000 4194304 4922060 140735534234800 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/5273/statm: 2175 251 211 178 0 68 0
[startup+0.0823109 s]
/proc/loadavg: 7.89 8.05 8.04 6/182 5273
/proc/meminfo: memFree=19672336/32950904 swapFree=67082284/67111528
[pid=5273] ppid=5271 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5273/stat : 5273 (priss.sh) S 5271 5273 4177 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 520037957 8908800 251 33554432000 4194304 4922060 140735534234800 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/5273/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.10031 s]
/proc/loadavg: 7.89 8.05 8.04 6/182 5273
/proc/meminfo: memFree=19672336/32950904 swapFree=67082284/67111528
[pid=5273] ppid=5271 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5273/stat : 5273 (priss.sh) S 5271 5273 4177 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 520037957 8908800 251 33554432000 4194304 4922060 140735534234800 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/5273/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.303301 s]
/proc/loadavg: 7.89 8.05 8.04 6/182 5273
/proc/meminfo: memFree=19672336/32950904 swapFree=67082284/67111528
[pid=5273] ppid=5271 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5273/stat : 5273 (priss.sh) S 5271 5273 4177 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 520037957 8908800 251 33554432000 4194304 4922060 140735534234800 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/5273/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+1.3111 s]
/proc/loadavg: 7.89 8.05 8.04 6/182 5273
/proc/meminfo: memFree=19672336/32950904 swapFree=67082284/67111528
[pid=5273] ppid=5271 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5273/stat : 5273 (priss.sh) S 5271 5273 4177 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 520037957 8908800 251 33554432000 4194304 4922060 140735534234800 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/5273/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+1.50106 s]
/proc/loadavg: 7.89 8.05 8.04 6/182 5273
/proc/meminfo: memFree=19672336/32950904 swapFree=67082284/67111528
[pid=5273] ppid=5271 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5273/stat : 5273 (priss.sh) S 5271 5273 4177 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 520037957 8908800 251 33554432000 4194304 4922060 140735534234800 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/5273/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+3.10078 s]
/proc/loadavg: 7.89 8.05 8.04 9/188 5279
/proc/meminfo: memFree=19557136/32950904 swapFree=67082284/67111528
[pid=5273] ppid=5271 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5273/stat : 5273 (priss.sh) S 5271 5273 4177 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 520037957 8908800 251 33554432000 4194304 4922060 140735534234800 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/5273/statm: 2175 251 211 178 0 68 0
[pid=5274] ppid=5273 vsize=347784 CPUtime=11.76 cores=1,3,5,7
/proc/5274/stat : 5274 (priss) S 5273 5273 4177 0 -1 4202496 66461 0 0 0 1152 24 0 0 18 0 5 0 520037957 356130816 28740 33554432000 4194304 5787044 140733855168688 18446744073709551615 237290703281 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/5274/statm: 86946 28740 349 389 0 82696 0
[pid=5274/tid=5276] ppid=5273 vsize=347784 CPUtime=2.91 cores=1,3,5,7
/proc/5274/task/5276/stat : 5276 (priss) R 5273 5273 4177 0 -1 4202560 12777 0 0 0 285 6 0 0 23 0 5 0 520037968 356130816 28740 33554432000 4194304 5787044 140733855168688 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=5274/tid=5277] ppid=5273 vsize=347784 CPUtime=2.9 cores=1,3,5,7
/proc/5274/task/5277/stat : 5277 (priss) R 5273 5273 4177 0 -1 4202560 11470 0 0 0 285 5 0 0 23 0 5 0 520037972 356130816 28740 33554432000 4194304 5787044 140733855168688 18446744073709551615 4336131 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=5274/tid=5278] ppid=5273 vsize=347784 CPUtime=2.86 cores=1,3,5,7
/proc/5274/task/5278/stat : 5278 (priss) R 5273 5273 4177 0 -1 4202560 12266 0 0 0 281 5 0 0 23 0 5 0 520037976 356130816 28740 33554432000 4194304 5787044 140733855168688 18446744073709551615 4336229 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=5274/tid=5279] ppid=5273 vsize=347784 CPUtime=2.84 cores=1,3,5,7
/proc/5274/task/5279/stat : 5279 (priss) R 5273 5273 4177 0 -1 4202560 10615 0 0 0 281 3 0 0 23 0 5 0 520037980 356130816 28740 33554432000 4194304 5787044 140733855168688 18446744073709551615 4336770 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 11.76
Current children cumulated vsize (KiB) 356484
[startup+6.30721 s]
/proc/loadavg: 7.89 8.05 8.03 9/188 5279
/proc/meminfo: memFree=19552540/32950904 swapFree=67082284/67111528
[pid=5273] ppid=5271 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5273/stat : 5273 (priss.sh) S 5271 5273 4177 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 520037957 8908800 251 33554432000 4194304 4922060 140735534234800 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/5273/statm: 2175 251 211 178 0 68 0
[pid=5274] ppid=5273 vsize=344600 CPUtime=24.57 cores=1,3,5,7
/proc/5274/stat : 5274 (priss) S 5273 5273 4177 0 -1 4202496 69110 0 0 0 2432 25 0 0 18 0 5 0 520037957 352870400 29801 33554432000 4194304 5787044 140733855168688 18446744073709551615 237290703281 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/5274/statm: 86150 29801 350 389 0 81900 0
[pid=5274/tid=5276] ppid=5273 vsize=344600 CPUtime=6.1 cores=1,3,5,7
/proc/5274/task/5276/stat : 5276 (priss) R 5273 5273 4177 0 -1 4202560 13550 0 0 0 604 6 0 0 25 0 5 0 520037968 352870400 29801 33554432000 4194304 5787044 140733855168688 18446744073709551615 4336786 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=5274/tid=5277] ppid=5273 vsize=344600 CPUtime=6.12 cores=1,3,5,7
/proc/5274/task/5277/stat : 5277 (priss) R 5273 5273 4177 0 -1 4202560 12303 0 0 0 606 6 0 0 25 0 5 0 520037972 352870400 29801 33554432000 4194304 5787044 140733855168688 18446744073709551615 18446744073699065971 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=5274/tid=5278] ppid=5273 vsize=344600 CPUtime=6.07 cores=1,3,5,7
/proc/5274/task/5278/stat : 5278 (priss) R 5273 5273 4177 0 -1 4202560 12936 0 0 0 601 6 0 0 25 0 5 0 520037976 352870400 29801 33554432000 4194304 5787044 140733855168688 18446744073709551615 4336696 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=5274/tid=5279] ppid=5273 vsize=344600 CPUtime=6.05 cores=1,3,5,7
/proc/5274/task/5279/stat : 5279 (priss) R 5273 5273 4177 0 -1 4202560 10988 0 0 0 602 3 0 0 25 0 5 0 520037980 352870400 29801 33554432000 4194304 5787044 140733855168688 18446744073709551615 4336768 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 24.57
Current children cumulated vsize (KiB) 353300
[startup+12.7011 s]
/proc/loadavg: 7.98 8.07 8.04 9/188 5279
/proc/meminfo: memFree=19551280/32950904 swapFree=67082284/67111528
[pid=5273] ppid=5271 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5273/stat : 5273 (priss.sh) S 5271 5273 4177 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 520037957 8908800 251 33554432000 4194304 4922060 140735534234800 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/5273/statm: 2175 251 211 178 0 68 0
[pid=5274] ppid=5273 vsize=344600 CPUtime=50.11 cores=1,3,5,7
/proc/5274/stat : 5274 (priss) S 5273 5273 4177 0 -1 4202496 69110 0 0 0 4986 25 0 0 18 0 5 0 520037957 352870400 29801 33554432000 4194304 5787044 140733855168688 18446744073709551615 237290703281 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/5274/statm: 86150 29801 350 389 0 81900 0
[pid=5274/tid=5276] ppid=5273 vsize=344600 CPUtime=12.46 cores=1,3,5,7
/proc/5274/task/5276/stat : 5276 (priss) R 5273 5273 4177 0 -1 4202560 13550 0 0 0 1240 6 0 0 25 0 5 0 520037968 352870400 29801 33554432000 4194304 5787044 140733855168688 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=5274/tid=5277] ppid=5273 vsize=344600 CPUtime=12.51 cores=1,3,5,7
/proc/5274/task/5277/stat : 5277 (priss) R 5273 5273 4177 0 -1 4202560 12303 0 0 0 1245 6 0 0 25 0 5 0 520037972 352870400 29801 33554432000 4194304 5787044 140733855168688 18446744073709551615 4336254 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=5274/tid=5278] ppid=5273 vsize=344600 CPUtime=12.47 cores=1,3,5,7
/proc/5274/task/5278/stat : 5278 (priss) R 5273 5273 4177 0 -1 4202560 12936 0 0 0 1241 6 0 0 25 0 5 0 520037976 352870400 29801 33554432000 4194304 5787044 140733855168688 18446744073709551615 4336254 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=5274/tid=5279] ppid=5273 vsize=344600 CPUtime=12.44 cores=1,3,5,7
/proc/5274/task/5279/stat : 5279 (priss) R 5273 5273 4177 0 -1 4202560 10988 0 0 0 1241 3 0 0 25 0 5 0 520037980 352870400 29801 33554432000 4194304 5787044 140733855168688 18446744073709551615 4336718 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.11
Current children cumulated vsize (KiB) 353300
[startup+25.5008 s]
/proc/loadavg: 7.99 8.06 8.04 9/188 5280
/proc/meminfo: memFree=19521248/32950904 swapFree=67082284/67111528
[pid=5273] ppid=5271 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5273/stat : 5273 (priss.sh) S 5271 5273 4177 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 520037957 8908800 251 33554432000 4194304 4922060 140735534234800 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/5273/statm: 2175 251 211 178 0 68 0
[pid=5274] ppid=5273 vsize=347900 CPUtime=101.25 cores=1,3,5,7
/proc/5274/stat : 5274 (priss) S 5273 5273 4177 0 -1 4202496 73516 0 0 0 10099 26 0 0 18 0 5 0 520037957 356249600 34207 33554432000 4194304 5787044 140733855168688 18446744073709551615 237290703281 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/5274/statm: 86975 34207 352 389 0 82725 0
[pid=5274/tid=5276] ppid=5273 vsize=347900 CPUtime=25.2 cores=1,3,5,7
/proc/5274/task/5276/stat : 5276 (priss) R 5273 5273 4177 0 -1 4202560 14740 0 0 0 2513 7 0 0 25 0 5 0 520037968 356249600 34207 33554432000 4194304 5787044 140733855168688 18446744073709551615 4336688 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=5274/tid=5277] ppid=5273 vsize=347900 CPUtime=25.31 cores=1,3,5,7
/proc/5274/task/5277/stat : 5277 (priss) R 5273 5273 4177 0 -1 4202560 13495 0 0 0 2525 6 0 0 25 0 5 0 520037972 356249600 34207 33554432000 4194304 5787044 140733855168688 18446744073709551615 4336718 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=5274/tid=5278] ppid=5273 vsize=347900 CPUtime=25.26 cores=1,3,5,7
/proc/5274/task/5278/stat : 5278 (priss) R 5273 5273 4177 0 -1 4202560 14131 0 0 0 2520 6 0 0 25 0 5 0 520037976 356249600 34207 33554432000 4194304 5787044 140733855168688 18446744073709551615 4336786 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=5274/tid=5279] ppid=5273 vsize=347900 CPUtime=25.24 cores=1,3,5,7
/proc/5274/task/5279/stat : 5279 (priss) R 5273 5273 4177 0 -1 4202560 11817 0 0 0 2521 3 0 0 25 0 5 0 520037980 356249600 34207 33554432000 4194304 5787044 140733855168688 18446744073709551615 4336777 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.25
Current children cumulated vsize (KiB) 356600
[startup+51.1013 s]
/proc/loadavg: 8.05 8.07 8.04 9/188 5280
/proc/meminfo: memFree=19417052/32950904 swapFree=67082284/67111528
[pid=5273] ppid=5271 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5273/stat : 5273 (priss.sh) S 5271 5273 4177 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 520037957 8908800 251 33554432000 4194304 4922060 140735534234800 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/5273/statm: 2175 251 211 178 0 68 0
[pid=5274] ppid=5273 vsize=383820 CPUtime=203.49 cores=1,3,5,7
/proc/5274/stat : 5274 (priss) S 5273 5273 4177 0 -1 4202496 129561 0 0 0 20312 37 0 0 18 0 5 0 520037957 393031680 53910 33554432000 4194304 5787044 140733855168688 18446744073709551615 237290703281 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/5274/statm: 95955 53910 417 389 0 91705 0
[pid=5274/tid=5276] ppid=5273 vsize=383820 CPUtime=50.64 cores=1,3,5,7
/proc/5274/task/5276/stat : 5276 (priss) R 5273 5273 4177 0 -1 4202560 28509 0 0 0 5055 9 0 0 25 0 5 0 520037968 393031680 53910 33554432000 4194304 5787044 140733855168688 18446744073709551615 5592391 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=5274/tid=5277] ppid=5273 vsize=383820 CPUtime=50.91 cores=1,3,5,7
/proc/5274/task/5277/stat : 5277 (priss) R 5273 5273 4177 0 -1 4202560 28488 0 0 0 5081 10 0 0 25 0 5 0 520037972 393031680 53910 33554432000 4194304 5787044 140733855168688 18446744073709551615 5592128 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=5274/tid=5278] ppid=5273 vsize=383820 CPUtime=50.86 cores=1,3,5,7
/proc/5274/task/5278/stat : 5278 (priss) R 5273 5273 4177 0 -1 4202560 27848 0 0 0 5078 8 0 0 25 0 5 0 520037976 393031680 53910 33554432000 4194304 5787044 140733855168688 18446744073709551615 5576708 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=5274/tid=5279] ppid=5273 vsize=383820 CPUtime=50.84 cores=1,3,5,7
/proc/5274/task/5279/stat : 5279 (priss) R 5273 5273 4177 0 -1 4202560 25383 0 0 0 5079 5 0 0 25 0 5 0 520037980 393031680 53910 33554432000 4194304 5787044 140733855168688 18446744073709551615 5526816 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.49
Current children cumulated vsize (KiB) 392520
[startup+102.301 s]
/proc/loadavg: 8.13 8.09 8.05 9/188 5282
/proc/meminfo: memFree=19329216/32950904 swapFree=67082284/67111528
[pid=5273] ppid=5271 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5273/stat : 5273 (priss.sh) S 5271 5273 4177 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 520037957 8908800 251 33554432000 4194304 4922060 140735534234800 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/5273/statm: 2175 251 211 178 0 68 0
[pid=5274] ppid=5273 vsize=406188 CPUtime=407.99 cores=1,3,5,7
/proc/5274/stat : 5274 (priss) S 5273 5273 4177 0 -1 4202496 146392 0 0 0 40749 50 0 0 18 0 5 0 520037957 415936512 70674 33554432000 4194304 5787044 140733855168688 18446744073709551615 237290703281 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/5274/statm: 101547 70674 417 389 0 97297 0
[pid=5274/tid=5276] ppid=5273 vsize=406188 CPUtime=101.55 cores=1,3,5,7
/proc/5274/task/5276/stat : 5276 (priss) R 5273 5273 4177 0 -1 4202560 33070 0 0 0 10143 12 0 0 25 0 5 0 520037968 415936512 70674 33554432000 4194304 5787044 140733855168688 18446744073709551615 5588144 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=5274/tid=5277] ppid=5273 vsize=406188 CPUtime=102.1 cores=1,3,5,7
/proc/5274/task/5277/stat : 5277 (priss) R 5273 5273 4177 0 -1 4202560 32142 0 0 0 10197 13 0 0 25 0 5 0 520037972 415936512 70674 33554432000 4194304 5787044 140733855168688 18446744073709551615 4220542 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=5274/tid=5278] ppid=5273 vsize=406188 CPUtime=102.06 cores=1,3,5,7
/proc/5274/task/5278/stat : 5278 (priss) R 5273 5273 4177 0 -1 4202560 32994 0 0 0 10194 12 0 0 25 0 5 0 520037976 415936512 70674 33554432000 4194304 5787044 140733855168688 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=5274/tid=5279] ppid=5273 vsize=406188 CPUtime=102.03 cores=1,3,5,7
/proc/5274/task/5279/stat : 5279 (priss) R 5273 5273 4177 0 -1 4202560 28853 0 0 0 10195 8 0 0 25 0 5 0 520037980 415936512 70674 33554432000 4194304 5787044 140733855168688 18446744073709551615 5534156 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 407.99
Current children cumulated vsize (KiB) 414888
[startup+162.301 s]
/proc/loadavg: 8.19 8.12 8.06 9/188 5283
/proc/meminfo: memFree=19242108/32950904 swapFree=67082284/67111528
[pid=5273] ppid=5271 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5273/stat : 5273 (priss.sh) S 5271 5273 4177 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 520037957 8908800 251 33554432000 4194304 4922060 140735534234800 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/5273/statm: 2175 251 211 178 0 68 0
[pid=5274] ppid=5273 vsize=425136 CPUtime=647.66 cores=1,3,5,7
################
# More data... #
################
/proc/5274/task/5277/stat : 5277 (priss) R 5273 5273 4177 0 -1 4202560 51656 0 0 0 88022 48 0 0 25 0 5 0 520037972 831320064 167199 33554432000 4194304 5787044 140733855168688 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=5274/tid=5278] ppid=5273 vsize=811836 CPUtime=882.06 cores=1,3,5,7
/proc/5274/task/5278/stat : 5278 (priss) R 5273 5273 4177 0 -1 4202560 63390 0 0 0 88139 67 0 0 25 0 5 0 520037976 831320064 167199 33554432000 4194304 5787044 140733855168688 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=5274/tid=5279] ppid=5273 vsize=811836 CPUtime=882.02 cores=1,3,5,7
/proc/5274/task/5279/stat : 5279 (priss) R 5273 5273 4177 0 -1 4202560 57356 0 0 0 88166 36 0 0 25 0 5 0 520037980 831320064 167199 33554432000 4194304 5787044 140733855168688 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3523.65
Current children cumulated vsize (KiB) 820536
[startup+942.301 s]
/proc/loadavg: 8.08 8.08 8.06 9/188 5304
/proc/meminfo: memFree=18586084/32950904 swapFree=67082284/67111528
[pid=5273] ppid=5271 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5273/stat : 5273 (priss.sh) S 5271 5273 4177 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 520037957 8908800 251 33554432000 4194304 4922060 140735534234800 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/5273/statm: 2175 251 211 178 0 68 0
[pid=5274] ppid=5273 vsize=889672 CPUtime=3763.34 cores=1,3,5,7
/proc/5274/stat : 5274 (priss) S 5273 5273 4177 0 -1 4202496 250781 0 0 0 376124 210 0 0 18 0 5 0 520037957 911024128 173633 33554432000 4194304 5787044 140733855168688 18446744073709551615 237290703281 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/5274/statm: 222418 173633 417 389 0 218168 0
[pid=5274/tid=5276] ppid=5273 vsize=889672 CPUtime=938.63 cores=1,3,5,7
/proc/5274/task/5276/stat : 5276 (priss) R 5273 5273 4177 0 -1 4202560 56325 0 0 0 93815 48 0 0 25 0 5 0 520037968 911024128 173633 33554432000 4194304 5787044 140733855168688 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=5274/tid=5277] ppid=5273 vsize=889672 CPUtime=940.38 cores=1,3,5,7
/proc/5274/task/5277/stat : 5277 (priss) R 5273 5273 4177 0 -1 4202560 54370 0 0 0 93984 54 0 0 25 0 5 0 520037972 911024128 173633 33554432000 4194304 5787044 140733855168688 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=5274/tid=5278] ppid=5273 vsize=889672 CPUtime=942.07 cores=1,3,5,7
/proc/5274/task/5278/stat : 5278 (priss) R 5273 5273 4177 0 -1 4202560 63394 0 0 0 94139 68 0 0 25 0 5 0 520037976 911024128 173633 33554432000 4194304 5787044 140733855168688 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=5274/tid=5279] ppid=5273 vsize=889672 CPUtime=942.02 cores=1,3,5,7
/proc/5274/task/5279/stat : 5279 (priss) R 5273 5273 4177 0 -1 4202560 57359 0 0 0 94166 36 0 0 25 0 5 0 520037980 911024128 173633 33554432000 4194304 5787044 140733855168688 18446744073709551615 5526895 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3763.34
Current children cumulated vsize (KiB) 898372
[startup+1002.3 s]
/proc/loadavg: 8.07 8.08 8.06 9/188 5306
/proc/meminfo: memFree=18556524/32950904 swapFree=67082284/67111528
[pid=5273] ppid=5271 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5273/stat : 5273 (priss.sh) S 5271 5273 4177 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 520037957 8908800 251 33554432000 4194304 4922060 140735534234800 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/5273/statm: 2175 251 211 178 0 68 0
[pid=5274] ppid=5273 vsize=959308 CPUtime=4002.99 cores=1,3,5,7
/proc/5274/stat : 5274 (priss) S 5273 5273 4177 0 -1 4202496 257902 0 0 0 400076 223 0 0 18 0 5 0 520037957 982331392 180754 33554432000 4194304 5787044 140733855168688 18446744073709551615 237290703281 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/5274/statm: 239827 180754 417 389 0 235577 0
[pid=5274/tid=5276] ppid=5273 vsize=959308 CPUtime=998.62 cores=1,3,5,7
/proc/5274/task/5276/stat : 5276 (priss) R 5273 5273 4177 0 -1 4202560 60795 0 0 0 99807 55 0 0 25 0 5 0 520037968 982331392 180754 33554432000 4194304 5787044 140733855168688 18446744073709551615 5586868 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=5274/tid=5277] ppid=5273 vsize=959308 CPUtime=1000.03 cores=1,3,5,7
/proc/5274/task/5277/stat : 5277 (priss) R 5273 5273 4177 0 -1 4202560 57013 0 0 0 99944 59 0 0 25 0 5 0 520037972 982331392 180754 33554432000 4194304 5787044 140733855168688 18446744073709551615 4238583 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=5274/tid=5278] ppid=5273 vsize=959308 CPUtime=1002.07 cores=1,3,5,7
/proc/5274/task/5278/stat : 5278 (priss) R 5273 5273 4177 0 -1 4202560 63397 0 0 0 100139 68 0 0 25 0 5 0 520037976 982331392 180754 33554432000 4194304 5787044 140733855168688 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=5274/tid=5279] ppid=5273 vsize=959308 CPUtime=1002.01 cores=1,3,5,7
/proc/5274/task/5279/stat : 5279 (priss) R 5273 5273 4177 0 -1 4202560 57364 0 0 0 100165 36 0 0 25 0 5 0 520037980 982331392 180754 33554432000 4194304 5787044 140733855168688 18446744073709551615 5526823 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4002.99
Current children cumulated vsize (KiB) 968008
[startup+1062.31 s]
/proc/loadavg: 8.13 8.09 8.07 9/188 5340
/proc/meminfo: memFree=19101768/32950904 swapFree=67082284/67111528
[pid=5273] ppid=5271 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5273/stat : 5273 (priss.sh) S 5271 5273 4177 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 520037957 8908800 251 33554432000 4194304 4922060 140735534234800 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/5273/statm: 2175 251 211 178 0 68 0
[pid=5274] ppid=5273 vsize=963408 CPUtime=4242.67 cores=1,3,5,7
/proc/5274/stat : 5274 (priss) S 5273 5273 4177 0 -1 4202496 264473 0 0 0 424034 233 0 0 18 0 5 0 520037957 986529792 187100 33554432000 4194304 5787044 140733855168688 18446744073709551615 237290703281 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/5274/statm: 240852 187100 417 389 0 236602 0
[pid=5274/tid=5276] ppid=5273 vsize=963408 CPUtime=1058.63 cores=1,3,5,7
/proc/5274/task/5276/stat : 5276 (priss) R 5273 5273 4177 0 -1 4202560 64795 0 0 0 105803 60 0 0 25 0 5 0 520037968 986529792 187100 33554432000 4194304 5787044 140733855168688 18446744073709551615 5591195 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=5274/tid=5277] ppid=5273 vsize=963408 CPUtime=1059.7 cores=1,3,5,7
/proc/5274/task/5277/stat : 5277 (priss) R 5273 5273 4177 0 -1 4202560 59567 0 0 0 105906 64 0 0 25 0 5 0 520037972 986529792 187100 33554432000 4194304 5787044 140733855168688 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=5274/tid=5278] ppid=5273 vsize=963408 CPUtime=1062.07 cores=1,3,5,7
/proc/5274/task/5278/stat : 5278 (priss) R 5273 5273 4177 0 -1 4202560 63404 0 0 0 106139 68 0 0 25 0 5 0 520037976 986529792 187100 33554432000 4194304 5787044 140733855168688 18446744073709551615 5591233 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=5274/tid=5279] ppid=5273 vsize=963408 CPUtime=1062.02 cores=1,3,5,7
/proc/5274/task/5279/stat : 5279 (priss) R 5273 5273 4177 0 -1 4202560 57374 0 0 0 106166 36 0 0 25 0 5 0 520037980 986529792 187100 33554432000 4194304 5787044 140733855168688 18446744073709551615 4228007 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4242.67
Current children cumulated vsize (KiB) 972108
[startup+1122.3 s]
/proc/loadavg: 8.12 8.10 8.07 10/188 5342
/proc/meminfo: memFree=18992244/32950904 swapFree=67082284/67111528
[pid=5273] ppid=5271 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5273/stat : 5273 (priss.sh) S 5271 5273 4177 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 520037957 8908800 251 33554432000 4194304 4922060 140735534234800 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/5273/statm: 2175 251 211 178 0 68 0
[pid=5274] ppid=5273 vsize=974916 CPUtime=4482.32 cores=1,3,5,7
/proc/5274/stat : 5274 (priss) S 5273 5273 4177 0 -1 4202496 267686 0 0 0 447997 235 0 0 18 0 5 0 520037957 998313984 190088 33554432000 4194304 5787044 140733855168688 18446744073709551615 237290703281 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/5274/statm: 243729 190088 417 389 0 239479 0
[pid=5274/tid=5276] ppid=5273 vsize=974916 CPUtime=1118.62 cores=1,3,5,7
/proc/5274/task/5276/stat : 5276 (priss) R 5273 5273 4177 0 -1 4202560 64797 0 0 0 111802 60 0 0 25 0 5 0 520037968 998313984 190088 33554432000 4194304 5787044 140733855168688 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=5274/tid=5277] ppid=5273 vsize=974916 CPUtime=1119.38 cores=1,3,5,7
/proc/5274/task/5277/stat : 5277 (priss) R 5273 5273 4177 0 -1 4202560 60400 0 0 0 111873 65 0 0 25 0 5 0 520037972 998313984 190088 33554432000 4194304 5787044 140733855168688 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=5274/tid=5278] ppid=5273 vsize=974916 CPUtime=1122.06 cores=1,3,5,7
/proc/5274/task/5278/stat : 5278 (priss) R 5273 5273 4177 0 -1 4202560 64366 0 0 0 112138 68 0 0 25 0 5 0 520037976 998313984 190088 33554432000 4194304 5787044 140733855168688 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=5274/tid=5279] ppid=5273 vsize=974916 CPUtime=1122.01 cores=1,3,5,7
/proc/5274/task/5279/stat : 5279 (priss) R 5273 5273 4177 0 -1 4202560 58790 0 0 0 112164 37 0 0 25 0 5 0 520037980 998313984 190088 33554432000 4194304 5787044 140733855168688 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4482.32
Current children cumulated vsize (KiB) 983616
[startup+1182.3 s]
/proc/loadavg: 8.11 8.11 8.08 10/188 5343
/proc/meminfo: memFree=18886672/32950904 swapFree=67082284/67111528
[pid=5273] ppid=5271 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5273/stat : 5273 (priss.sh) S 5271 5273 4177 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 520037957 8908800 251 33554432000 4194304 4922060 140735534234800 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/5273/statm: 2175 251 211 178 0 68 0
[pid=5274] ppid=5273 vsize=986424 CPUtime=4721.98 cores=1,3,5,7
/proc/5274/stat : 5274 (priss) S 5273 5273 4177 0 -1 4202496 273795 0 0 0 471952 246 0 0 18 0 5 0 520037957 1010098176 196197 33554432000 4194304 5787044 140733855168688 18446744073709551615 237290703281 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/5274/statm: 246606 196197 417 389 0 242356 0
[pid=5274/tid=5276] ppid=5273 vsize=986424 CPUtime=1178.63 cores=1,3,5,7
/proc/5274/task/5276/stat : 5276 (priss) R 5273 5273 4177 0 -1 4202560 64821 0 0 0 117802 61 0 0 25 0 5 0 520037968 1010098176 196197 33554432000 4194304 5787044 140733855168688 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=5274/tid=5277] ppid=5273 vsize=986424 CPUtime=1179.04 cores=1,3,5,7
/proc/5274/task/5277/stat : 5277 (priss) R 5273 5273 4177 0 -1 4202560 60400 0 0 0 117839 65 0 0 25 0 5 0 520037972 1010098176 196197 33554432000 4194304 5787044 140733855168688 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=5274/tid=5278] ppid=5273 vsize=986424 CPUtime=1182.06 cores=1,3,5,7
/proc/5274/task/5278/stat : 5278 (priss) R 5273 5273 4177 0 -1 4202560 67601 0 0 0 118130 76 0 0 25 0 5 0 520037976 1010098176 196197 33554432000 4194304 5787044 140733855168688 18446744073709551615 4228002 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=5274/tid=5279] ppid=5273 vsize=986424 CPUtime=1182.01 cores=1,3,5,7
/proc/5274/task/5279/stat : 5279 (priss) R 5273 5273 4177 0 -1 4202560 61640 0 0 0 118161 40 0 0 25 0 5 0 520037980 1010098176 196197 33554432000 4194304 5787044 140733855168688 18446744073709551615 4220542 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4721.98
Current children cumulated vsize (KiB) 995124
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1201.9 s]
/proc/loadavg: 8.20 8.13 8.08 10/188 5344
/proc/meminfo: memFree=18873508/32950904 swapFree=67082284/67111528
[pid=5273] ppid=5271 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5273/stat : 5273 (priss.sh) S 5271 5273 4177 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 520037957 8908800 251 33554432000 4194304 4922060 140735534234800 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/5273/statm: 2175 251 211 178 0 68 0
[pid=5274] ppid=5273 vsize=990252 CPUtime=4800.32 cores=1,3,5,7
/proc/5274/stat : 5274 (priss) S 5273 5273 4177 0 -1 4202496 275842 0 0 0 479783 249 0 0 18 0 5 0 520037957 1014018048 198244 33554432000 4194304 5787044 140733855168688 18446744073709551615 237290703281 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/5274/statm: 247563 198244 417 389 0 243313 0
[pid=5274/tid=5276] ppid=5273 vsize=990252 CPUtime=1198.24 cores=1,3,5,7
/proc/5274/task/5276/stat : 5276 (priss) R 5273 5273 4177 0 -1 4202560 64821 0 0 0 119763 61 0 0 25 0 5 0 520037968 1014018048 198245 33554432000 4194304 5787044 140733855168688 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=5274/tid=5277] ppid=5273 vsize=990252 CPUtime=1198.53 cores=1,3,5,7
/proc/5274/task/5277/stat : 5277 (priss) R 5273 5273 4177 0 -1 4202560 60400 0 0 0 119788 65 0 0 25 0 5 0 520037972 1014018048 198245 33554432000 4194304 5787044 140733855168688 18446744073709551615 5591708 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=5274/tid=5278] ppid=5273 vsize=990252 CPUtime=1201.68 cores=1,3,5,7
/proc/5274/task/5278/stat : 5278 (priss) R 5273 5273 4177 0 -1 4202560 68679 0 0 0 120090 78 0 0 25 0 5 0 520037976 1014018048 198245 33554432000 4194304 5787044 140733855168688 18446744073709551615 237278540485 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=5274/tid=5279] ppid=5273 vsize=990252 CPUtime=1201.63 cores=1,3,5,7
/proc/5274/task/5279/stat : 5279 (priss) R 5273 5273 4177 0 -1 4202560 62610 0 0 0 120122 41 0 0 25 0 5 0 520037980 1014018048 198245 33554432000 4194304 5787044 140733855168688 18446744073709551615 237278540485 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 998952
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1201.9 s]
/proc/loadavg: 8.20 8.13 8.08 10/188 5344
/proc/meminfo: memFree=18873508/32950904 swapFree=67082284/67111528
[pid=5273] ppid=5271 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5273/stat : 5273 (priss.sh) S 5271 5273 4177 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 520037957 8908800 251 33554432000 4194304 4922060 140735534234800 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/5273/statm: 2175 251 211 178 0 68 0
[pid=5274] ppid=5273 vsize=990252 CPUtime=4800.32 cores=1,3,5,7
/proc/5274/stat : 5274 (priss) S 5273 5273 4177 0 -1 4202496 275842 0 0 0 479783 249 0 0 18 0 5 0 520037957 1014018048 198244 33554432000 4194304 5787044 140733855168688 18446744073709551615 237290703281 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/5274/statm: 247563 198244 417 389 0 243313 0
[pid=5274/tid=5276] ppid=5273 vsize=990252 CPUtime=1198.24 cores=1,3,5,7
/proc/5274/task/5276/stat : 5276 (priss) R 5273 5273 4177 0 -1 4202560 64821 0 0 0 119763 61 0 0 25 0 5 0 520037968 1014018048 198245 33554432000 4194304 5787044 140733855168688 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=5274/tid=5277] ppid=5273 vsize=990252 CPUtime=1198.53 cores=1,3,5,7
/proc/5274/task/5277/stat : 5277 (priss) R 5273 5273 4177 0 -1 4202560 60400 0 0 0 119788 65 0 0 25 0 5 0 520037972 1014018048 198245 33554432000 4194304 5787044 140733855168688 18446744073709551615 5591708 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=5274/tid=5278] ppid=5273 vsize=990252 CPUtime=1201.68 cores=1,3,5,7
/proc/5274/task/5278/stat : 5278 (priss) R 5273 5273 4177 0 -1 4202560 68679 0 0 0 120090 78 0 0 25 0 5 0 520037976 1014018048 198245 33554432000 4194304 5787044 140733855168688 18446744073709551615 237278540485 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=5274/tid=5279] ppid=5273 vsize=990252 CPUtime=1201.63 cores=1,3,5,7
/proc/5274/task/5279/stat : 5279 (priss) R 5273 5273 4177 0 -1 4202560 62610 0 0 0 120122 41 0 0 25 0 5 0 520037980 1014018048 198245 33554432000 4194304 5787044 140733855168688 18446744073709551615 237278540485 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 998952
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5273 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.32
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1201.92
CPU time (s): 4800.32
CPU user time (s): 4797.83
CPU system time (s): 2.49
CPU usage (%): 399.386
Max. virtual memory (cumulated for all children) (KiB): 998952
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= 5
involuntary context switches= 2
runsolver used 1.70774 second user time and 4.85926 second system time
The end