runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3265937-1307653738/watcher-3265937-1307653738 -o /tmp/evaluation-result-3265937-1307653738/solver-3265937-1307653738 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3265937-1307653738.cnf
running on 4 cores: 0,2,4,6
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: 8.22 8.21 7.94 5/184 30250
/proc/meminfo: memFree=32028392/32951124 swapFree=67054536/67111528
[pid=30250] ppid=30248 vsize=50716 CPUtime=0 cores=0,2,4,6
/proc/30250/stat : 30250 (techdemo) R 30248 30250 29691 0 -1 4202496 807 0 0 0 0 0 0 0 25 0 1 0 876971720 51933184 734 33554432000 4194304 4797429 140737313686800 18446744073709551615 271550198469 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30250/statm: 12679 734 349 148 0 7608 0
[startup+0.0262741 s]
/proc/loadavg: 8.22 8.21 7.94 5/184 30250
/proc/meminfo: memFree=32028392/32951124 swapFree=67054536/67111528
[pid=30250] ppid=30248 vsize=629788 CPUtime=0.18 cores=0,2,4,6
/proc/30250/stat : 30250 (techdemo) D 30248 30250 29691 0 -1 4202496 1600 0 0 0 18 0 0 0 25 0 4 0 876971720 644902912 1391 33554432000 4194304 4797429 140737313686800 18446744073709551615 271550235274 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30250/statm: 168554 1580 397 148 0 163483 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 629788
[startup+0.844062 s]
/proc/loadavg: 8.22 8.21 7.94 5/184 30250
/proc/meminfo: memFree=32028392/32951124 swapFree=67054536/67111528
[pid=30250] ppid=30248 vsize=678632 CPUtime=3.29 cores=0,2,4,6
/proc/30250/stat : 30250 (techdemo) R 30248 30250 29691 0 -1 4202496 4722 0 0 0 329 0 0 0 25 0 4 0 876971720 694919168 3634 33554432000 4194304 4797429 140737313686800 18446744073709551615 4425049 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30250/statm: 169658 3634 415 148 0 164587 0
Current children cumulated CPU time (s) 3.29
Current children cumulated vsize (KiB) 678632
[startup+0.944044 s]
/proc/loadavg: 8.22 8.21 7.94 5/184 30250
/proc/meminfo: memFree=32028392/32951124 swapFree=67054536/67111528
[pid=30250] ppid=30248 vsize=678952 CPUtime=3.69 cores=0,2,4,6
/proc/30250/stat : 30250 (techdemo) R 30248 30250 29691 0 -1 4202496 4932 0 0 0 369 0 0 0 25 0 4 0 876971720 695246848 3844 33554432000 4194304 4797429 140737313686800 18446744073709551615 4424662 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30250/statm: 169738 3844 415 148 0 164667 0
Current children cumulated CPU time (s) 3.69
Current children cumulated vsize (KiB) 678952
[startup+1.04403 s]
/proc/loadavg: 8.22 8.21 7.94 5/184 30250
/proc/meminfo: memFree=32028392/32951124 swapFree=67054536/67111528
[pid=30250] ppid=30248 vsize=678952 CPUtime=4.09 cores=0,2,4,6
/proc/30250/stat : 30250 (techdemo) R 30248 30250 29691 0 -1 4202496 4969 0 0 0 409 0 0 0 25 0 4 0 876971720 695246848 3880 33554432000 4194304 4797429 140737313686800 18446744073709551615 4425034 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30250/statm: 169738 3880 415 148 0 164667 0
Current children cumulated CPU time (s) 4.09
Current children cumulated vsize (KiB) 678952
[startup+1.50094 s]
/proc/loadavg: 8.22 8.21 7.94 5/184 30250
/proc/meminfo: memFree=32028392/32951124 swapFree=67054536/67111528
[pid=30250] ppid=30248 vsize=679676 CPUtime=5.92 cores=0,2,4,6
/proc/30250/stat : 30250 (techdemo) R 30248 30250 29691 0 -1 4202496 5518 0 0 0 592 0 0 0 25 0 4 0 876971720 695988224 3968 33554432000 4194304 4797429 140737313686800 18446744073709551615 4389738 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30250/statm: 169919 3968 416 148 0 164848 0
Current children cumulated CPU time (s) 5.92
Current children cumulated vsize (KiB) 679676
[startup+3.10065 s]
/proc/loadavg: 8.20 8.21 7.94 9/188 30254
/proc/meminfo: memFree=32007680/32951124 swapFree=67054536/67111528
[pid=30250] ppid=30248 vsize=681500 CPUtime=12.32 cores=0,2,4,6
/proc/30250/stat : 30250 (techdemo) R 30248 30250 29691 0 -1 4202496 7244 0 0 0 1231 1 0 0 25 0 4 0 876971720 697856000 4895 33554432000 4194304 4797429 140737313686800 18446744073709551615 4524101 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30250/statm: 170375 4895 418 148 0 165304 0
[pid=30250/tid=30252] ppid=30248 vsize=681500 CPUtime=3.07 cores=0,2,4,6
/proc/30250/task/30252/stat : 30252 (techdemo) R 30248 30250 29691 0 -1 4202560 1174 0 0 0 307 0 0 0 25 0 4 0 876971722 697856000 4895 33554432000 4194304 4797429 140737313686800 18446744073709551615 4429090 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30250/tid=30253] ppid=30248 vsize=681500 CPUtime=3.06 cores=0,2,4,6
/proc/30250/task/30253/stat : 30253 (techdemo) R 30248 30250 29691 0 -1 4202560 1229 0 0 0 306 0 0 0 25 0 4 0 876971722 697856000 4895 33554432000 4194304 4797429 140737313686800 18446744073709551615 4427250 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30250/tid=30254] ppid=30248 vsize=681500 CPUtime=3.07 cores=0,2,4,6
/proc/30250/task/30254/stat : 30254 (techdemo) R 30248 30250 29691 0 -1 4202560 1348 0 0 0 307 0 0 0 25 0 4 0 876971722 697856000 4895 33554432000 4194304 4797429 140737313686800 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 681500
[startup+6.30107 s]
/proc/loadavg: 8.20 8.21 7.94 9/188 30254
/proc/meminfo: memFree=31996128/32951124 swapFree=67054536/67111528
[pid=30250] ppid=30248 vsize=683364 CPUtime=25.1 cores=0,2,4,6
/proc/30250/stat : 30250 (techdemo) R 30248 30250 29691 0 -1 4202496 9499 0 0 0 2509 1 0 0 25 0 4 0 876971720 699764736 5941 33554432000 4194304 4797429 140737313686800 18446744073709551615 4523994 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30250/statm: 170841 5941 418 148 0 165770 0
[pid=30250/tid=30252] ppid=30248 vsize=683364 CPUtime=6.27 cores=0,2,4,6
/proc/30250/task/30252/stat : 30252 (techdemo) R 30248 30250 29691 0 -1 4202560 1624 0 0 0 627 0 0 0 25 0 4 0 876971722 699764736 5941 33554432000 4194304 4797429 140737313686800 18446744073709551615 4520264 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30250/tid=30253] ppid=30248 vsize=683364 CPUtime=6.24 cores=0,2,4,6
/proc/30250/task/30253/stat : 30253 (techdemo) R 30248 30250 29691 0 -1 4202560 1599 0 0 0 624 0 0 0 25 0 4 0 876971722 699764736 5941 33554432000 4194304 4797429 140737313686800 18446744073709551615 4387819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30250/tid=30254] ppid=30248 vsize=683364 CPUtime=6.27 cores=0,2,4,6
/proc/30250/task/30254/stat : 30254 (techdemo) R 30248 30250 29691 0 -1 4202560 1805 0 0 0 627 0 0 0 25 0 4 0 876971722 699764736 5941 33554432000 4194304 4797429 140737313686800 18446744073709551615 4524360 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 683364
[startup+12.7009 s]
/proc/loadavg: 8.33 8.23 7.95 9/188 30254
/proc/meminfo: memFree=31996512/32951124 swapFree=67054536/67111528
[pid=30250] ppid=30248 vsize=685576 CPUtime=50.68 cores=0,2,4,6
/proc/30250/stat : 30250 (techdemo) R 30248 30250 29691 0 -1 4202496 12327 0 0 0 5066 2 0 0 25 0 4 0 876971720 702029824 6979 33554432000 4194304 4797429 140737313686800 18446744073709551615 4429171 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30250/statm: 171394 6979 419 148 0 166323 0
[pid=30250/tid=30252] ppid=30248 vsize=685576 CPUtime=12.67 cores=0,2,4,6
/proc/30250/task/30252/stat : 30252 (techdemo) R 30248 30250 29691 0 -1 4202560 2062 0 0 0 1267 0 0 0 25 0 4 0 876971722 702029824 6979 33554432000 4194304 4797429 140737313686800 18446744073709551615 4414536 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30250/tid=30253] ppid=30248 vsize=685576 CPUtime=12.61 cores=0,2,4,6
/proc/30250/task/30253/stat : 30253 (techdemo) R 30248 30250 29691 0 -1 4202560 2111 0 0 0 1261 0 0 0 25 0 4 0 876971722 702029824 6979 33554432000 4194304 4797429 140737313686800 18446744073709551615 4241687 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30250/tid=30254] ppid=30248 vsize=685576 CPUtime=12.68 cores=0,2,4,6
/proc/30250/task/30254/stat : 30254 (techdemo) R 30248 30250 29691 0 -1 4202560 2328 0 0 0 1268 0 0 0 25 0 4 0 876971722 702029824 6979 33554432000 4194304 4797429 140737313686800 18446744073709551615 4428841 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 685576
[startup+25.5006 s]
/proc/loadavg: 8.28 8.23 7.95 9/188 30254
/proc/meminfo: memFree=31975028/32951124 swapFree=67054536/67111528
[pid=30250] ppid=30248 vsize=689996 CPUtime=101.79 cores=0,2,4,6
/proc/30250/stat : 30250 (techdemo) R 30248 30250 29691 0 -1 4202496 18043 0 0 0 10176 3 0 0 25 0 4 0 876971720 706555904 8454 33554432000 4194304 4797429 140737313686800 18446744073709551615 4425051 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30250/statm: 172499 8454 419 148 0 167428 0
[pid=30250/tid=30252] ppid=30248 vsize=689996 CPUtime=25.46 cores=0,2,4,6
/proc/30250/task/30252/stat : 30252 (techdemo) R 30248 30250 29691 0 -1 4202560 2783 0 0 0 2546 0 0 0 25 0 4 0 876971722 706555904 8454 33554432000 4194304 4797429 140737313686800 18446744073709551615 271550562199 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30250/tid=30253] ppid=30248 vsize=689996 CPUtime=25.34 cores=0,2,4,6
/proc/30250/task/30253/stat : 30253 (techdemo) R 30248 30250 29691 0 -1 4202560 2736 0 0 0 2534 0 0 0 25 0 4 0 876971722 706555904 8454 33554432000 4194304 4797429 140737313686800 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30250/tid=30254] ppid=30248 vsize=689996 CPUtime=25.47 cores=0,2,4,6
/proc/30250/task/30254/stat : 30254 (techdemo) R 30248 30250 29691 0 -1 4202560 2959 0 0 0 2547 0 0 0 25 0 4 0 876971722 706555904 8454 33554432000 4194304 4797429 140737313686800 18446744073709551615 4524101 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.79
Current children cumulated vsize (KiB) 689996
[startup+51.1009 s]
/proc/loadavg: 8.31 8.24 7.96 10/188 30255
/proc/meminfo: memFree=31942348/32951124 swapFree=67054536/67111528
[pid=30250] ppid=30248 vsize=694420 CPUtime=204.06 cores=0,2,4,6
/proc/30250/stat : 30250 (techdemo) R 30248 30250 29691 0 -1 4202496 26081 0 0 0 20400 6 0 0 25 0 4 0 876971720 711086080 10204 33554432000 4194304 4797429 140737313686800 18446744073709551615 4523828 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30250/statm: 173605 10204 419 148 0 168534 0
[pid=30250/tid=30252] ppid=30248 vsize=694420 CPUtime=51.06 cores=0,2,4,6
/proc/30250/task/30252/stat : 30252 (techdemo) R 30248 30250 29691 0 -1 4202560 3771 0 0 0 5106 0 0 0 25 0 4 0 876971722 711086080 10204 33554432000 4194304 4797429 140737313686800 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30250/tid=30253] ppid=30248 vsize=694420 CPUtime=50.79 cores=0,2,4,6
/proc/30250/task/30253/stat : 30253 (techdemo) R 30248 30250 29691 0 -1 4202560 3662 0 0 0 5079 0 0 0 25 0 4 0 876971722 711086080 10204 33554432000 4194304 4797429 140737313686800 18446744073709551615 4524057 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30250/tid=30254] ppid=30248 vsize=694420 CPUtime=51.07 cores=0,2,4,6
/proc/30250/task/30254/stat : 30254 (techdemo) R 30248 30250 29691 0 -1 4202560 3990 0 0 0 5106 1 0 0 25 0 4 0 876971722 711086080 10204 33554432000 4194304 4797429 140737313686800 18446744073709551615 4428981 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.06
Current children cumulated vsize (KiB) 694420
[startup+102.301 s]
/proc/loadavg: 8.20 8.22 7.97 9/188 30256
/proc/meminfo: memFree=31899220/32951124 swapFree=67054536/67111528
[pid=30250] ppid=30248 vsize=700212 CPUtime=408.58 cores=0,2,4,6
/proc/30250/stat : 30250 (techdemo) R 30248 30250 29691 0 -1 4202496 39479 0 0 0 40848 10 0 0 25 0 4 0 876971720 717017088 12221 33554432000 4194304 4797429 140737313686800 18446744073709551615 4423544 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30250/statm: 175053 12221 422 148 0 169982 0
[pid=30250/tid=30252] ppid=30248 vsize=700212 CPUtime=102.27 cores=0,2,4,6
/proc/30250/task/30252/stat : 30252 (techdemo) R 30248 30250 29691 0 -1 4202560 5517 0 0 0 10226 1 0 0 25 0 4 0 876971722 717017088 12221 33554432000 4194304 4797429 140737313686800 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30250/tid=30253] ppid=30248 vsize=700212 CPUtime=101.72 cores=0,2,4,6
/proc/30250/task/30253/stat : 30253 (techdemo) R 30248 30250 29691 0 -1 4202560 5340 0 0 0 10171 1 0 0 25 0 4 0 876971722 717017088 12221 33554432000 4194304 4797429 140737313686800 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30250/tid=30254] ppid=30248 vsize=700212 CPUtime=102.27 cores=0,2,4,6
/proc/30250/task/30254/stat : 30254 (techdemo) R 30248 30250 29691 0 -1 4202560 5745 0 0 0 10226 1 0 0 25 0 4 0 876971722 717017088 12221 33554432000 4194304 4797429 140737313686800 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.58
Current children cumulated vsize (KiB) 700212
[startup+162.301 s]
/proc/loadavg: 8.17 8.20 7.98 9/188 30258
/proc/meminfo: memFree=31881168/32951124 swapFree=67054536/67111528
[pid=30250] ppid=30248 vsize=707056 CPUtime=648.28 cores=0,2,4,6
/proc/30250/stat : 30250 (techdemo) R 30248 30250 29691 0 -1 4202496 52340 0 0 0 64812 16 0 0 25 0 4 0 876971720 724025344 15483 33554432000 4194304 4797429 140737313686800 18446744073709551615 4424802 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30250/statm: 176764 15483 421 148 0 171693 0
[pid=30250/tid=30252] ppid=30248 vsize=707056 CPUtime=162.27 cores=0,2,4,6
/proc/30250/task/30252/stat : 30252 (techdemo) R 30248 30250 29691 0 -1 4202560 7291 0 0 0 16226 1 0 0 25 0 4 0 876971722 724025344 15483 33554432000 4194304 4797429 140737313686800 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30250/tid=30253] ppid=30248 vsize=707056 CPUtime=161.4 cores=0,2,4,6
/proc/30250/task/30253/stat : 30253 (techdemo) R 30248 30250 29691 0 -1 4202560 6831 0 0 0 16138 2 0 0 25 0 4 0 876971722 724025344 15483 33554432000 4194304 4797429 140737313686800 18446744073709551615 4520336 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30250/tid=30254] ppid=30248 vsize=707056 CPUtime=162.28 cores=0,2,4,6
/proc/30250/task/30254/stat : 30254 (techdemo) R 30248 30250 29691 0 -1 4202560 7438 0 0 0 16226 2 0 0 25 0 4 0 876971722 724025344 15483 33554432000 4194304 4797429 140737313686800 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 648.28
Current children cumulated vsize (KiB) 707056
[startup+222.301 s]
/proc/loadavg: 8.19 8.21 8.00 9/188 30260
/proc/meminfo: memFree=31847268/32951124 swapFree=67054536/67111528
[pid=30250] ppid=30248 vsize=712636 CPUtime=887.94 cores=0,2,4,6
/proc/30250/stat : 30250 (techdemo) R 30248 30250 29691 0 -1 4202496 65197 0 0 0 88772 22 0 0 25 0 4 0 876971720 729739264 16643 33554432000 4194304 4797429 140737313686800 18446744073709551615 4424383 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30250/statm: 178159 16643 421 148 0 173088 0
[pid=30250/tid=30252] ppid=30248 vsize=712636 CPUtime=222.27 cores=0,2,4,6
/proc/30250/task/30252/stat : 30252 (techdemo) R 30248 30250 29691 0 -1 4202560 8861 0 0 0 22225 2 0 0 25 0 4 0 876971722 729739264 16643 33554432000 4194304 4797429 140737313686800 18446744073709551615 4428900 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30250/tid=30253] ppid=30248 vsize=712636 CPUtime=221.06 cores=0,2,4,6
/proc/30250/task/30253/stat : 30253 (techdemo) R 30248 30250 29691 0 -1 4202560 8441 0 0 0 22104 2 0 0 25 0 4 0 876971722 729739264 16643 33554432000 4194304 4797429 140737313686800 18446744073709551615 4524136 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30250/tid=30254] ppid=30248 vsize=712636 CPUtime=222.27 cores=0,2,4,6
/proc/30250/task/30254/stat : 30254 (techdemo) R 30248 30250 29691 0 -1 4202560 9042 0 0 0 22224 3 0 0 25 0 4 0 876971722 729739264 16643 33554432000 4194304 4797429 140737313686800 18446744073709551615 4346483 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 887.94
Current children cumulated vsize (KiB) 712636
[startup+282.307 s]
/proc/loadavg: 8.16 8.19 8.00 9/188 30261
/proc/meminfo: memFree=31835552/32951124 swapFree=67054536/67111528
[pid=30250] ppid=30248 vsize=714504 CPUtime=1127.64 cores=0,2,4,6
/proc/30250/stat : 30250 (techdemo) R 30248 30250 29691 0 -1 4202496 76703 0 0 0 112738 26 0 0 25 0 4 0 876971720 731652096 18572 33554432000 4194304 4797429 140737313686800 18446744073709551615 4424772 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30250/statm: 178626 18572 421 148 0 173555 0
[pid=30250/tid=30252] ppid=30248 vsize=714504 CPUtime=282.28 cores=0,2,4,6
################
# More data... #
################
[pid=30250] ppid=30248 vsize=728124 CPUtime=2565.69 cores=0,2,4,6
/proc/30250/stat : 30250 (techdemo) R 30248 30250 29691 0 -1 4202496 133946 0 0 0 256519 50 0 0 25 0 4 0 876971720 745598976 26080 33554432000 4194304 4797429 140737313686800 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30250/statm: 182031 26080 421 148 0 176960 0
[pid=30250/tid=30252] ppid=30248 vsize=728124 CPUtime=642.28 cores=0,2,4,6
/proc/30250/task/30252/stat : 30252 (techdemo) R 30248 30250 29691 0 -1 4202560 17966 0 0 0 64223 5 0 0 25 0 4 0 876971722 745598976 26080 33554432000 4194304 4797429 140737313686800 18446744073709551615 4523994 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30250/tid=30253] ppid=30248 vsize=728124 CPUtime=638.79 cores=0,2,4,6
/proc/30250/task/30253/stat : 30253 (techdemo) R 30248 30250 29691 0 -1 4202560 17587 0 0 0 63871 8 0 0 25 0 4 0 876971722 745598976 26080 33554432000 4194304 4797429 140737313686800 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30250/tid=30254] ppid=30248 vsize=728124 CPUtime=642.29 cores=0,2,4,6
/proc/30250/task/30254/stat : 30254 (techdemo) R 30248 30250 29691 0 -1 4202560 18483 0 0 0 64221 8 0 0 25 0 4 0 876971722 745598976 26080 33554432000 4194304 4797429 140737313686800 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2565.69
Current children cumulated vsize (KiB) 728124
[startup+702.301 s]
/proc/loadavg: 8.32 8.25 8.09 9/188 30272
/proc/meminfo: memFree=31722956/32951124 swapFree=67054536/67111528
[pid=30250] ppid=30248 vsize=729944 CPUtime=2805.38 cores=0,2,4,6
/proc/30250/stat : 30250 (techdemo) R 30248 30250 29691 0 -1 4202496 143353 0 0 0 280484 54 0 0 25 0 4 0 876971720 747462656 27578 33554432000 4194304 4797429 140737313686800 18446744073709551615 4425045 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30250/statm: 182486 27578 421 148 0 177415 0
[pid=30250/tid=30252] ppid=30248 vsize=729944 CPUtime=702.28 cores=0,2,4,6
/proc/30250/task/30252/stat : 30252 (techdemo) R 30248 30250 29691 0 -1 4202560 19087 0 0 0 70221 7 0 0 25 0 4 0 876971722 747462656 27578 33554432000 4194304 4797429 140737313686800 18446744073709551615 4508782 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30250/tid=30253] ppid=30248 vsize=729944 CPUtime=698.47 cores=0,2,4,6
/proc/30250/task/30253/stat : 30253 (techdemo) R 30248 30250 29691 0 -1 4202560 18653 0 0 0 69839 8 0 0 25 0 4 0 876971722 747462656 27578 33554432000 4194304 4797429 140737313686800 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30250/tid=30254] ppid=30248 vsize=729944 CPUtime=702.28 cores=0,2,4,6
/proc/30250/task/30254/stat : 30254 (techdemo) R 30248 30250 29691 0 -1 4202560 19683 0 0 0 70220 8 0 0 25 0 4 0 876971722 747462656 27578 33554432000 4194304 4797429 140737313686800 18446744073709551615 4508782 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2805.38
Current children cumulated vsize (KiB) 729944
[startup+762.301 s]
/proc/loadavg: 8.31 8.25 8.10 9/188 30274
/proc/meminfo: memFree=31688164/32951124 swapFree=67054536/67111528
[pid=30250] ppid=30248 vsize=731672 CPUtime=3045.05 cores=0,2,4,6
/proc/30250/stat : 30250 (techdemo) R 30248 30250 29691 0 -1 4202496 152457 0 0 0 304447 58 0 0 25 0 4 0 876971720 749232128 28124 33554432000 4194304 4797429 140737313686800 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30250/statm: 182918 28124 421 148 0 177847 0
[pid=30250/tid=30252] ppid=30248 vsize=731672 CPUtime=762.28 cores=0,2,4,6
/proc/30250/task/30252/stat : 30252 (techdemo) R 30248 30250 29691 0 -1 4202560 20350 0 0 0 76221 7 0 0 25 0 4 0 876971722 749232128 28124 33554432000 4194304 4797429 140737313686800 18446744073709551615 4429171 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30250/tid=30253] ppid=30248 vsize=731672 CPUtime=758.13 cores=0,2,4,6
/proc/30250/task/30253/stat : 30253 (techdemo) R 30248 30250 29691 0 -1 4202560 19906 0 0 0 75805 8 0 0 25 0 4 0 876971722 749232128 28124 33554432000 4194304 4797429 140737313686800 18446744073709551615 4429163 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30250/tid=30254] ppid=30248 vsize=731672 CPUtime=762.29 cores=0,2,4,6
/proc/30250/task/30254/stat : 30254 (techdemo) R 30248 30250 29691 0 -1 4202560 20901 0 0 0 76220 9 0 0 25 0 4 0 876971722 749232128 28124 33554432000 4194304 4797429 140737313686800 18446744073709551615 4568011 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3045.05
Current children cumulated vsize (KiB) 731672
[startup+822.301 s]
/proc/loadavg: 8.32 8.26 8.11 9/188 30276
/proc/meminfo: memFree=31702360/32951124 swapFree=67054536/67111528
[pid=30250] ppid=30248 vsize=740184 CPUtime=3284.76 cores=0,2,4,6
/proc/30250/stat : 30250 (techdemo) R 30248 30250 29691 0 -1 4202496 161935 0 0 0 328414 62 0 0 25 0 4 0 876971720 757948416 29225 33554432000 4194304 4797429 140737313686800 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30250/statm: 185046 29225 421 148 0 179975 0
[pid=30250/tid=30252] ppid=30248 vsize=740184 CPUtime=822.29 cores=0,2,4,6
/proc/30250/task/30252/stat : 30252 (techdemo) R 30248 30250 29691 0 -1 4202560 21920 0 0 0 82222 7 0 0 25 0 4 0 876971722 757948416 29225 33554432000 4194304 4797429 140737313686800 18446744073709551615 4519873 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30250/tid=30253] ppid=30248 vsize=740184 CPUtime=817.82 cores=0,2,4,6
/proc/30250/task/30253/stat : 30253 (techdemo) R 30248 30250 29691 0 -1 4202560 20570 0 0 0 81773 9 0 0 25 0 4 0 876971722 757948416 29225 33554432000 4194304 4797429 140737313686800 18446744073709551615 4515975 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30250/tid=30254] ppid=30248 vsize=740184 CPUtime=822.3 cores=0,2,4,6
/proc/30250/task/30254/stat : 30254 (techdemo) R 30248 30250 29691 0 -1 4202560 22548 0 0 0 82220 10 0 0 25 0 4 0 876971722 757948416 29225 33554432000 4194304 4797429 140737313686800 18446744073709551615 4429087 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3284.76
Current children cumulated vsize (KiB) 740184
[startup+882.301 s]
/proc/loadavg: 8.18 8.23 8.10 9/188 30277
/proc/meminfo: memFree=31663884/32951124 swapFree=67054536/67111528
[pid=30250] ppid=30248 vsize=741628 CPUtime=3524.42 cores=0,2,4,6
/proc/30250/stat : 30250 (techdemo) R 30248 30250 29691 0 -1 4202496 170167 0 0 0 352378 64 0 0 25 0 4 0 876971720 759427072 30987 33554432000 4194304 4797429 140737313686800 18446744073709551615 4425037 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30250/statm: 185407 30987 421 148 0 180336 0
[pid=30250/tid=30252] ppid=30248 vsize=741628 CPUtime=882.28 cores=0,2,4,6
/proc/30250/task/30252/stat : 30252 (techdemo) R 30248 30250 29691 0 -1 4202560 23202 0 0 0 88221 7 0 0 25 0 4 0 876971722 759427072 30987 33554432000 4194304 4797429 140737313686800 18446744073709551615 4429121 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30250/tid=30253] ppid=30248 vsize=741628 CPUtime=877.49 cores=0,2,4,6
/proc/30250/task/30253/stat : 30253 (techdemo) R 30248 30250 29691 0 -1 4202560 22106 0 0 0 87740 9 0 0 25 0 4 0 876971722 759427072 30987 33554432000 4194304 4797429 140737313686800 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30250/tid=30254] ppid=30248 vsize=741628 CPUtime=882.3 cores=0,2,4,6
/proc/30250/task/30254/stat : 30254 (techdemo) R 30248 30250 29691 0 -1 4202560 23638 0 0 0 88219 11 0 0 25 0 4 0 876971722 759427072 30987 33554432000 4194304 4797429 140737313686800 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3524.42
Current children cumulated vsize (KiB) 741628
[startup+942.307 s]
/proc/loadavg: 8.31 8.26 8.12 9/188 30279
/proc/meminfo: memFree=31643864/32951124 swapFree=67054536/67111528
[pid=30250] ppid=30248 vsize=743868 CPUtime=3764.11 cores=0,2,4,6
/proc/30250/stat : 30250 (techdemo) R 30248 30250 29691 0 -1 4202496 179646 0 0 0 376344 67 0 0 25 0 4 0 876971720 761720832 30453 33554432000 4194304 4797429 140737313686800 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30250/statm: 185967 30453 421 148 0 180896 0
[pid=30250/tid=30252] ppid=30248 vsize=743868 CPUtime=942.3 cores=0,2,4,6
/proc/30250/task/30252/stat : 30252 (techdemo) R 30248 30250 29691 0 -1 4202560 24679 0 0 0 94222 8 0 0 25 0 4 0 876971722 761720832 30453 33554432000 4194304 4797429 140737313686800 18446744073709551615 4524212 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30250/tid=30253] ppid=30248 vsize=743868 CPUtime=937.17 cores=0,2,4,6
/proc/30250/task/30253/stat : 30253 (techdemo) R 30248 30250 29691 0 -1 4202560 23713 0 0 0 93707 10 0 0 25 0 4 0 876971722 761720832 30453 33554432000 4194304 4797429 140737313686800 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30250/tid=30254] ppid=30248 vsize=743868 CPUtime=942.3 cores=0,2,4,6
/proc/30250/task/30254/stat : 30254 (techdemo) R 30248 30250 29691 0 -1 4202560 24734 0 0 0 94219 11 0 0 25 0 4 0 876971722 761720832 30453 33554432000 4194304 4797429 140737313686800 18446744073709551615 4429710 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3764.11
Current children cumulated vsize (KiB) 743868
[startup+1002.3 s]
/proc/loadavg: 8.23 8.24 8.12 9/188 30280
/proc/meminfo: memFree=31667244/32951124 swapFree=67054536/67111528
[pid=30250] ppid=30248 vsize=746412 CPUtime=4003.77 cores=0,2,4,6
/proc/30250/stat : 30250 (techdemo) R 30248 30250 29691 0 -1 4202496 187204 0 0 0 400308 69 0 0 25 0 4 0 876971720 764325888 32331 33554432000 4194304 4797429 140737313686800 18446744073709551615 4424610 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30250/statm: 186603 32331 421 148 0 181532 0
[pid=30250/tid=30252] ppid=30248 vsize=746412 CPUtime=1002.29 cores=0,2,4,6
/proc/30250/task/30252/stat : 30252 (techdemo) R 30248 30250 29691 0 -1 4202560 26150 0 0 0 100221 8 0 0 25 0 4 0 876971722 764325888 32331 33554432000 4194304 4797429 140737313686800 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30250/tid=30253] ppid=30248 vsize=746412 CPUtime=996.84 cores=0,2,4,6
/proc/30250/task/30253/stat : 30253 (techdemo) R 30248 30250 29691 0 -1 4202560 24959 0 0 0 99674 10 0 0 25 0 4 0 876971722 764325888 32331 33554432000 4194304 4797429 140737313686800 18446744073709551615 4427405 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30250/tid=30254] ppid=30248 vsize=746412 CPUtime=1002.29 cores=0,2,4,6
/proc/30250/task/30254/stat : 30254 (techdemo) R 30248 30250 29691 0 -1 4202560 25414 0 0 0 100218 11 0 0 25 0 4 0 876971722 764325888 32331 33554432000 4194304 4797429 140737313686800 18446744073709551615 4519904 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4003.77
Current children cumulated vsize (KiB) 746412
[startup+1062.3 s]
/proc/loadavg: 8.32 8.27 8.13 9/188 30282
/proc/meminfo: memFree=31631320/32951124 swapFree=67054536/67111528
[pid=30250] ppid=30248 vsize=748276 CPUtime=4243.45 cores=0,2,4,6
/proc/30250/stat : 30250 (techdemo) R 30248 30250 29691 0 -1 4202496 194582 0 0 0 424272 73 0 0 25 0 4 0 876971720 766234624 34120 33554432000 4194304 4797429 140737313686800 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30250/statm: 187069 34120 421 148 0 181998 0
[pid=30250/tid=30252] ppid=30248 vsize=748276 CPUtime=1062.29 cores=0,2,4,6
/proc/30250/task/30252/stat : 30252 (techdemo) R 30248 30250 29691 0 -1 4202560 26898 0 0 0 106220 9 0 0 25 0 4 0 876971722 766234624 34120 33554432000 4194304 4797429 140737313686800 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30250/tid=30253] ppid=30248 vsize=748276 CPUtime=1056.51 cores=0,2,4,6
/proc/30250/task/30253/stat : 30253 (techdemo) R 30248 30250 29691 0 -1 4202560 26025 0 0 0 105640 11 0 0 25 0 4 0 876971722 766234624 34120 33554432000 4194304 4797429 140737313686800 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30250/tid=30254] ppid=30248 vsize=748276 CPUtime=1062.29 cores=0,2,4,6
/proc/30250/task/30254/stat : 30254 (techdemo) R 30248 30250 29691 0 -1 4202560 26654 0 0 0 106218 11 0 0 25 0 4 0 876971722 766234624 34120 33554432000 4194304 4797429 140737313686800 18446744073709551615 4524456 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4243.45
Current children cumulated vsize (KiB) 748276
[startup+1122.3 s]
/proc/loadavg: 8.26 8.26 8.14 10/188 30284
/proc/meminfo: memFree=31612808/32951124 swapFree=67054536/67111528
[pid=30250] ppid=30248 vsize=748216 CPUtime=4483.13 cores=0,2,4,6
/proc/30250/stat : 30250 (techdemo) R 30248 30250 29691 0 -1 4202496 200916 0 0 0 448236 77 0 0 25 0 4 0 876971720 766173184 34978 33554432000 4194304 4797429 140737313686800 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30250/statm: 187054 34978 421 148 0 181983 0
[pid=30250/tid=30252] ppid=30248 vsize=748216 CPUtime=1122.29 cores=0,2,4,6
/proc/30250/task/30252/stat : 30252 (techdemo) R 30248 30250 29691 0 -1 4202560 28136 0 0 0 112219 10 0 0 25 0 4 0 876971722 766173184 34978 33554432000 4194304 4797429 140737313686800 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30250/tid=30253] ppid=30248 vsize=748216 CPUtime=1116.19 cores=0,2,4,6
/proc/30250/task/30253/stat : 30253 (techdemo) R 30248 30250 29691 0 -1 4202560 26690 0 0 0 111607 12 0 0 25 0 4 0 876971722 766173184 34978 33554432000 4194304 4797429 140737313686800 18446744073709551615 4423077 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30250/tid=30254] ppid=30248 vsize=748216 CPUtime=1122.3 cores=0,2,4,6
/proc/30250/task/30254/stat : 30254 (techdemo) R 30248 30250 29691 0 -1 4202560 27739 0 0 0 112218 12 0 0 25 0 4 0 876971722 766173184 34978 33554432000 4194304 4797429 140737313686800 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4483.13
Current children cumulated vsize (KiB) 748216
[startup+1182.3 s]
/proc/loadavg: 8.40 8.30 8.16 9/188 30285
/proc/meminfo: memFree=31593560/32951124 swapFree=67054536/67111528
[pid=30250] ppid=30248 vsize=749976 CPUtime=4722.81 cores=0,2,4,6
/proc/30250/stat : 30250 (techdemo) R 30248 30250 29691 0 -1 4202496 207261 0 0 0 472201 80 0 0 25 0 4 0 876971720 767975424 35814 33554432000 4194304 4797429 140737313686800 18446744073709551615 4425051 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30250/statm: 187494 35814 421 148 0 182423 0
[pid=30250/tid=30252] ppid=30248 vsize=749976 CPUtime=1182.3 cores=0,2,4,6
/proc/30250/task/30252/stat : 30252 (techdemo) R 30248 30250 29691 0 -1 4202560 29332 0 0 0 118219 11 0 0 25 0 4 0 876971722 767975424 35814 33554432000 4194304 4797429 140737313686800 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30250/tid=30253] ppid=30248 vsize=749976 CPUtime=1175.86 cores=0,2,4,6
/proc/30250/task/30253/stat : 30253 (techdemo) R 30248 30250 29691 0 -1 4202560 27862 0 0 0 117574 12 0 0 25 0 4 0 876971722 767975424 35814 33554432000 4194304 4797429 140737313686800 18446744073709551615 4429125 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30250/tid=30254] ppid=30248 vsize=749976 CPUtime=1182.3 cores=0,2,4,6
/proc/30250/task/30254/stat : 30254 (techdemo) R 30248 30250 29691 0 -1 4202560 28376 0 0 0 118217 13 0 0 25 0 4 0 876971722 767975424 35814 33554432000 4194304 4797429 140737313686800 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4722.81
Current children cumulated vsize (KiB) 749976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1201.7 s]
/proc/loadavg: 7.43 8.09 8.09 5/179 30311
/proc/meminfo: memFree=31977864/32951124 swapFree=67054536/67111528
[pid=30250] ppid=30248 vsize=751128 CPUtime=4800.33 cores=0,2,4,6
/proc/30250/stat : 30250 (techdemo) R 30248 30250 29691 0 -1 4202496 210404 0 0 0 479951 82 0 0 25 0 4 0 876971720 769155072 34748 33554432000 4194304 4797429 140737313686800 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30250/statm: 187782 34748 421 148 0 182711 0
[pid=30250/tid=30252] ppid=30248 vsize=751128 CPUtime=1201.7 cores=0,2,4,6
/proc/30250/task/30252/stat : 30252 (techdemo) R 30248 30250 29691 0 -1 4202560 29584 0 0 0 120159 11 0 0 25 0 4 0 876971722 769155072 34748 33554432000 4194304 4797429 140737313686800 18446744073709551615 4524374 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30250/tid=30253] ppid=30248 vsize=751128 CPUtime=1195.16 cores=0,2,4,6
/proc/30250/task/30253/stat : 30253 (techdemo) R 30248 30250 29691 0 -1 4202560 28031 0 0 0 119504 12 0 0 25 0 4 0 876971722 769155072 34748 33554432000 4194304 4797429 140737313686800 18446744073709551615 4647986 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30250/tid=30254] ppid=30248 vsize=751128 CPUtime=1201.71 cores=0,2,4,6
/proc/30250/task/30254/stat : 30254 (techdemo) R 30248 30250 29691 0 -1 4202560 29172 0 0 0 120158 13 0 0 25 0 4 0 876971722 769155072 34748 33554432000 4194304 4797429 140737313686800 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 751128
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.72
CPU time (s): 4800.36
CPU user time (s): 4799.53
CPU system time (s): 0.828873
CPU usage (%): 399.458
Max. virtual memory (cumulated for all children) (KiB): 851200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.53
system time used= 0.828873
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 210404
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= 332
involuntary context switches= 70150
runsolver used 1.88271 second user time and 4.68529 second system time
The end