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-3173068-1304127016/watcher-3173068-1304127016 -o /tmp/evaluation-result-3173068-1304127016/solver-3173068-1304127016 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3173068-1304127016.cnf
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: 3.71 5.23 6.52 5/180 30096
/proc/meminfo: memFree=30863484/32951124 swapFree=67111524/67111528
[pid=30096] ppid=30094 vsize=50148 CPUtime=0 cores=1,3,5,7
/proc/30096/stat : 30096 (techdemo) R 30094 30096 29326 0 -1 4202496 675 0 0 0 0 0 0 0 23 0 1 0 524302502 51351552 606 33554432000 4194304 4797429 140736392064560 18446744073709551615 270612807161 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30096/statm: 12537 606 347 148 0 7466 0
[startup+0.132193 s]
/proc/loadavg: 3.71 5.23 6.52 5/180 30096
/proc/meminfo: memFree=30863484/32951124 swapFree=67111524/67111528
[pid=30096] ppid=30094 vsize=674892 CPUtime=0.48 cores=1,3,5,7
/proc/30096/stat : 30096 (techdemo) R 30094 30096 29326 0 -1 4202496 1925 0 0 0 48 0 0 0 18 0 4 0 524302502 691089408 1571 33554432000 4194304 4797429 140736392064560 18446744073709551615 4526265 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30096/statm: 168723 1668 391 148 0 163652 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 674892
[startup+1.73004 s]
/proc/loadavg: 3.71 5.23 6.52 5/180 30096
/proc/meminfo: memFree=30863484/32951124 swapFree=67111524/67111528
[pid=30096] ppid=30094 vsize=679584 CPUtime=6.85 cores=1,3,5,7
/proc/30096/stat : 30096 (techdemo) R 30094 30096 29326 0 -1 4202496 6640 0 0 0 684 1 0 0 20 0 4 0 524302502 695894016 4840 33554432000 4194304 4797429 140736392064560 18446744073709551615 4259014 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30096/statm: 169896 4840 413 148 0 164825 0
Current children cumulated CPU time (s) 6.85
Current children cumulated vsize (KiB) 679584
[startup+1.83002 s]
/proc/loadavg: 3.71 5.23 6.52 5/180 30096
/proc/meminfo: memFree=30863484/32951124 swapFree=67111524/67111528
[pid=30096] ppid=30094 vsize=679724 CPUtime=7.25 cores=1,3,5,7
/proc/30096/stat : 30096 (techdemo) R 30094 30096 29326 0 -1 4202496 6748 0 0 0 724 1 0 0 20 0 4 0 524302502 696037376 4948 33554432000 4194304 4797429 140736392064560 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30096/statm: 169931 4948 414 148 0 164860 0
Current children cumulated CPU time (s) 7.25
Current children cumulated vsize (KiB) 679724
[startup+1.93001 s]
/proc/loadavg: 3.71 5.23 6.52 5/180 30096
/proc/meminfo: memFree=30863484/32951124 swapFree=67111524/67111528
[pid=30096] ppid=30094 vsize=680172 CPUtime=7.65 cores=1,3,5,7
/proc/30096/stat : 30096 (techdemo) R 30094 30096 29326 0 -1 4202496 7008 0 0 0 764 1 0 0 21 0 4 0 524302502 696496128 5205 33554432000 4194304 4797429 140736392064560 18446744073709551615 4424592 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30096/statm: 170043 5205 414 148 0 164972 0
Current children cumulated CPU time (s) 7.65
Current children cumulated vsize (KiB) 680172
[startup+2.02999 s]
/proc/loadavg: 3.71 5.23 6.52 5/180 30096
/proc/meminfo: memFree=30863484/32951124 swapFree=67111524/67111528
[pid=30096] ppid=30094 vsize=680652 CPUtime=8.05 cores=1,3,5,7
/proc/30096/stat : 30096 (techdemo) R 30094 30096 29326 0 -1 4202496 7173 0 0 0 804 1 0 0 21 0 4 0 524302502 696987648 5368 33554432000 4194304 4797429 140736392064560 18446744073709551615 4331978 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30096/statm: 170163 5368 414 148 0 165092 0
Current children cumulated CPU time (s) 8.05
Current children cumulated vsize (KiB) 680652
[startup+3.1008 s]
/proc/loadavg: 4.13 5.29 6.54 9/184 30100
/proc/meminfo: memFree=30825136/32951124 swapFree=67111524/67111528
[pid=30096] ppid=30094 vsize=682888 CPUtime=12.33 cores=1,3,5,7
/proc/30096/stat : 30096 (techdemo) R 30094 30096 29326 0 -1 4202496 8385 0 0 0 1232 1 0 0 25 0 4 0 524302502 699277312 5541 33554432000 4194304 4797429 140736392064560 18446744073709551615 4523986 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30096/statm: 170722 5541 414 148 0 165651 0
[pid=30096/tid=30098] ppid=30094 vsize=682888 CPUtime=3.07 cores=1,3,5,7
/proc/30096/task/30098/stat : 30098 (techdemo) R 30094 30096 29326 0 -1 4202560 1413 0 0 0 307 0 0 0 25 0 4 0 524302503 699277312 5541 33554432000 4194304 4797429 140736392064560 18446744073709551615 4429090 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30096/tid=30099] ppid=30094 vsize=682888 CPUtime=3.07 cores=1,3,5,7
/proc/30096/task/30099/stat : 30099 (techdemo) R 30094 30096 29326 0 -1 4202560 1598 0 0 0 307 0 0 0 25 0 4 0 524302503 699277312 5541 33554432000 4194304 4797429 140736392064560 18446744073709551615 4524688 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30096/tid=30100] ppid=30094 vsize=682888 CPUtime=3.07 cores=1,3,5,7
/proc/30096/task/30100/stat : 30100 (techdemo) R 30094 30096 29326 0 -1 4202560 1614 0 0 0 307 0 0 0 21 0 4 0 524302503 699277312 5541 33554432000 4194304 4797429 140736392064560 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 682888
[startup+6.30023 s]
/proc/loadavg: 4.13 5.29 6.54 9/184 30100
/proc/meminfo: memFree=30816128/32951124 swapFree=67111524/67111528
[pid=30096] ppid=30094 vsize=686432 CPUtime=25.11 cores=1,3,5,7
/proc/30096/stat : 30096 (techdemo) R 30094 30096 29326 0 -1 4202496 10822 0 0 0 2510 1 0 0 25 0 4 0 524302502 702906368 6647 33554432000 4194304 4797429 140736392064560 18446744073709551615 4391129 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30096/statm: 171608 6647 416 148 0 166537 0
[pid=30096/tid=30098] ppid=30094 vsize=686432 CPUtime=6.27 cores=1,3,5,7
/proc/30096/task/30098/stat : 30098 (techdemo) R 30094 30096 29326 0 -1 4202560 1795 0 0 0 627 0 0 0 25 0 4 0 524302503 702906368 6647 33554432000 4194304 4797429 140736392064560 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30096/tid=30099] ppid=30094 vsize=686432 CPUtime=6.27 cores=1,3,5,7
/proc/30096/task/30099/stat : 30099 (techdemo) R 30094 30096 29326 0 -1 4202560 1799 0 0 0 627 0 0 0 25 0 4 0 524302503 702906368 6647 33554432000 4194304 4797429 140736392064560 18446744073709551615 4523968 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30096/tid=30100] ppid=30094 vsize=686432 CPUtime=6.25 cores=1,3,5,7
/proc/30096/task/30100/stat : 30100 (techdemo) R 30094 30096 29326 0 -1 4202560 1847 0 0 0 625 0 0 0 25 0 4 0 524302503 702906368 6647 33554432000 4194304 4797429 140736392064560 18446744073709551615 4523986 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 686432
[startup+12.7011 s]
/proc/loadavg: 4.73 5.38 6.55 9/184 30100
/proc/meminfo: memFree=30806228/32951124 swapFree=67111524/67111528
[pid=30096] ppid=30094 vsize=691176 CPUtime=50.68 cores=1,3,5,7
/proc/30096/stat : 30096 (techdemo) R 30094 30096 29326 0 -1 4202496 14524 0 0 0 5066 2 0 0 25 0 4 0 524302502 707764224 8110 33554432000 4194304 4797429 140736392064560 18446744073709551615 4408377 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30096/statm: 172794 8110 419 148 0 167723 0
[pid=30096/tid=30098] ppid=30094 vsize=691176 CPUtime=12.67 cores=1,3,5,7
/proc/30096/task/30098/stat : 30098 (techdemo) R 30094 30096 29326 0 -1 4202560 2353 0 0 0 1267 0 0 0 25 0 4 0 524302503 707764224 8110 33554432000 4194304 4797429 140736392064560 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30096/tid=30099] ppid=30094 vsize=691176 CPUtime=12.67 cores=1,3,5,7
/proc/30096/task/30099/stat : 30099 (techdemo) R 30094 30096 29326 0 -1 4202560 2279 0 0 0 1267 0 0 0 25 0 4 0 524302503 707764224 8110 33554432000 4194304 4797429 140736392064560 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30096/tid=30100] ppid=30094 vsize=691176 CPUtime=12.62 cores=1,3,5,7
/proc/30096/task/30100/stat : 30100 (techdemo) R 30094 30096 29326 0 -1 4202560 2339 0 0 0 1262 0 0 0 25 0 4 0 524302503 707764224 8110 33554432000 4194304 4797429 140736392064560 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 691176
[startup+25.5008 s]
/proc/loadavg: 5.23 5.47 6.57 9/184 30100
/proc/meminfo: memFree=30789716/32951124 swapFree=67111524/67111528
[pid=30096] ppid=30094 vsize=696640 CPUtime=101.83 cores=1,3,5,7
/proc/30096/stat : 30096 (techdemo) R 30094 30096 29326 0 -1 4202496 23121 0 0 0 10178 5 0 0 25 0 4 0 524302502 713359360 9521 33554432000 4194304 4797429 140736392064560 18446744073709551615 4424853 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30096/statm: 174160 9521 419 148 0 169089 0
[pid=30096/tid=30098] ppid=30094 vsize=696640 CPUtime=25.47 cores=1,3,5,7
/proc/30096/task/30098/stat : 30098 (techdemo) R 30094 30096 29326 0 -1 4202560 3875 0 0 0 2547 0 0 0 25 0 4 0 524302503 713359360 9521 33554432000 4194304 4797429 140736392064560 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30096/tid=30099] ppid=30094 vsize=696640 CPUtime=25.47 cores=1,3,5,7
/proc/30096/task/30099/stat : 30099 (techdemo) R 30094 30096 29326 0 -1 4202560 3404 0 0 0 2547 0 0 0 25 0 4 0 524302503 713359360 9521 33554432000 4194304 4797429 140736392064560 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30096/tid=30100] ppid=30094 vsize=696640 CPUtime=25.36 cores=1,3,5,7
/proc/30096/task/30100/stat : 30100 (techdemo) R 30094 30096 29326 0 -1 4202560 3374 0 0 0 2536 0 0 0 25 0 4 0 524302503 713359360 9521 33554432000 4194304 4797429 140736392064560 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 696640
[startup+51.1063 s]
/proc/loadavg: 6.24 5.69 6.61 9/184 30101
/proc/meminfo: memFree=30775424/32951124 swapFree=67111524/67111528
[pid=30096] ppid=30094 vsize=702044 CPUtime=204.11 cores=1,3,5,7
/proc/30096/stat : 30096 (techdemo) R 30094 30096 29326 0 -1 4202496 35886 0 0 0 20403 8 0 0 25 0 4 0 524302502 718893056 11934 33554432000 4194304 4797429 140736392064560 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30096/statm: 175511 11934 419 148 0 170440 0
[pid=30096/tid=30098] ppid=30094 vsize=702044 CPUtime=51.08 cores=1,3,5,7
/proc/30096/task/30098/stat : 30098 (techdemo) R 30094 30096 29326 0 -1 4202560 6529 0 0 0 5107 1 0 0 25 0 4 0 524302503 718893056 11934 33554432000 4194304 4797429 140736392064560 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30096/tid=30099] ppid=30094 vsize=702044 CPUtime=51.08 cores=1,3,5,7
/proc/30096/task/30099/stat : 30099 (techdemo) R 30094 30096 29326 0 -1 4202560 4997 0 0 0 5107 1 0 0 25 0 4 0 524302503 718893056 11934 33554432000 4194304 4797429 140736392064560 18446744073709551615 4528111 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30096/tid=30100] ppid=30094 vsize=702044 CPUtime=50.84 cores=1,3,5,7
/proc/30096/task/30100/stat : 30100 (techdemo) R 30094 30096 29326 0 -1 4202560 4813 0 0 0 5083 1 0 0 25 0 4 0 524302503 718893056 11934 33554432000 4194304 4797429 140736392064560 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 702044
[startup+102.3 s]
/proc/loadavg: 7.39 6.10 6.70 9/184 30103
/proc/meminfo: memFree=30753732/32951124 swapFree=67111524/67111528
[pid=30096] ppid=30094 vsize=709192 CPUtime=408.64 cores=1,3,5,7
/proc/30096/stat : 30096 (techdemo) R 30094 30096 29326 0 -1 4202496 54849 0 0 0 40849 15 0 0 25 0 4 0 524302502 726212608 14922 33554432000 4194304 4797429 140736392064560 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30096/statm: 177298 14922 421 148 0 172227 0
[pid=30096/tid=30098] ppid=30094 vsize=709192 CPUtime=102.28 cores=1,3,5,7
/proc/30096/task/30098/stat : 30098 (techdemo) R 30094 30096 29326 0 -1 4202560 8785 0 0 0 10226 2 0 0 25 0 4 0 524302503 726212608 14922 33554432000 4194304 4797429 140736392064560 18446744073709551615 4430142 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30096/tid=30099] ppid=30094 vsize=709192 CPUtime=102.27 cores=1,3,5,7
/proc/30096/task/30099/stat : 30099 (techdemo) R 30094 30096 29326 0 -1 4202560 8899 0 0 0 10225 2 0 0 25 0 4 0 524302503 726212608 14922 33554432000 4194304 4797429 140736392064560 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30096/tid=30100] ppid=30094 vsize=709192 CPUtime=101.78 cores=1,3,5,7
/proc/30096/task/30100/stat : 30100 (techdemo) R 30094 30096 29326 0 -1 4202560 6661 0 0 0 10176 2 0 0 25 0 4 0 524302503 726212608 14922 33554432000 4194304 4797429 140736392064560 18446744073709551615 4495525 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 709192
[startup+162.301 s]
/proc/loadavg: 7.94 6.49 6.79 9/184 30104
/proc/meminfo: memFree=30736964/32951124 swapFree=67111524/67111528
[pid=30096] ppid=30094 vsize=714840 CPUtime=648.32 cores=1,3,5,7
/proc/30096/stat : 30096 (techdemo) R 30094 30096 29326 0 -1 4202496 71459 0 0 0 64810 22 0 0 25 0 4 0 524302502 731996160 17080 33554432000 4194304 4797429 140736392064560 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30096/statm: 178710 17080 421 148 0 173639 0
[pid=30096/tid=30098] ppid=30094 vsize=714840 CPUtime=162.28 cores=1,3,5,7
/proc/30096/task/30098/stat : 30098 (techdemo) R 30094 30096 29326 0 -1 4202560 10523 0 0 0 16225 3 0 0 25 0 4 0 524302503 731996160 17080 33554432000 4194304 4797429 140736392064560 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30096/tid=30099] ppid=30094 vsize=714840 CPUtime=162.27 cores=1,3,5,7
/proc/30096/task/30099/stat : 30099 (techdemo) R 30094 30096 29326 0 -1 4202560 10731 0 0 0 16224 3 0 0 25 0 4 0 524302503 731996160 17080 33554432000 4194304 4797429 140736392064560 18446744073709551615 4424794 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30096/tid=30100] ppid=30094 vsize=714840 CPUtime=161.46 cores=1,3,5,7
/proc/30096/task/30100/stat : 30100 (techdemo) R 30094 30096 29326 0 -1 4202560 9178 0 0 0 16143 3 0 0 25 0 4 0 524302503 731996160 17080 33554432000 4194304 4797429 140736392064560 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 648.32
Current children cumulated vsize (KiB) 714840
[startup+222.301 s]
/proc/loadavg: 7.98 6.76 6.86 9/184 30106
/proc/meminfo: memFree=30721432/32951124 swapFree=67111524/67111528
[pid=30096] ppid=30094 vsize=723476 CPUtime=888.01 cores=1,3,5,7
/proc/30096/stat : 30096 (techdemo) R 30094 30096 29326 0 -1 4202496 84865 0 0 0 88774 27 0 0 25 0 4 0 524302502 740839424 19144 33554432000 4194304 4797429 140736392064560 18446744073709551615 4425966 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30096/statm: 180869 19144 421 148 0 175798 0
[pid=30096/tid=30098] ppid=30094 vsize=723476 CPUtime=222.27 cores=1,3,5,7
/proc/30096/task/30098/stat : 30098 (techdemo) R 30094 30096 29326 0 -1 4202560 12188 0 0 0 22224 3 0 0 25 0 4 0 524302503 740839424 19144 33554432000 4194304 4797429 140736392064560 18446744073709551615 4524688 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30096/tid=30099] ppid=30094 vsize=723476 CPUtime=222.27 cores=1,3,5,7
/proc/30096/task/30099/stat : 30099 (techdemo) R 30094 30096 29326 0 -1 4202560 12553 0 0 0 22224 3 0 0 25 0 4 0 524302503 740839424 19144 33554432000 4194304 4797429 140736392064560 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30096/tid=30100] ppid=30094 vsize=723476 CPUtime=221.14 cores=1,3,5,7
/proc/30096/task/30100/stat : 30100 (techdemo) R 30094 30096 29326 0 -1 4202560 10920 0 0 0 22110 4 0 0 25 0 4 0 524302503 740839424 19144 33554432000 4194304 4797429 140736392064560 18446744073709551615 4524204 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 888.01
Current children cumulated vsize (KiB) 723476
[startup+282.3 s]
/proc/loadavg: 7.99 6.98 6.93 9/184 30107
/proc/meminfo: memFree=30706272/32951124 swapFree=67111524/67111528
[pid=30096] ppid=30094 vsize=725576 CPUtime=1127.7 cores=1,3,5,7
/proc/30096/stat : 30096 (techdemo) R 30094 30096 29326 0 -1 4202496 97863 0 0 0 112736 34 0 0 25 0 4 0 524302502 742989824 20311 33554432000 4194304 4797429 140736392064560 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30096/statm: 181394 20311 421 148 0 176323 0
[pid=30096/tid=30098] ppid=30094 vsize=725576 CPUtime=282.28 cores=1,3,5,7
################
# More data... #
################
[pid=30096] ppid=30094 vsize=748708 CPUtime=2565.78 cores=1,3,5,7
/proc/30096/stat : 30096 (techdemo) R 30094 30096 29326 0 -1 4202496 159021 0 0 0 256513 65 0 0 25 0 4 0 524302502 766676992 29741 33554432000 4194304 4797429 140736392064560 18446744073709551615 4424592 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30096/statm: 187177 29741 421 148 0 182106 0
[pid=30096/tid=30098] ppid=30094 vsize=748708 CPUtime=642.29 cores=1,3,5,7
/proc/30096/task/30098/stat : 30098 (techdemo) R 30094 30096 29326 0 -1 4202560 21277 0 0 0 64220 9 0 0 25 0 4 0 524302503 766676992 29741 33554432000 4194304 4797429 140736392064560 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30096/tid=30099] ppid=30094 vsize=748708 CPUtime=642.27 cores=1,3,5,7
/proc/30096/task/30099/stat : 30099 (techdemo) R 30094 30096 29326 0 -1 4202560 22011 0 0 0 64219 8 0 0 25 0 4 0 524302503 766676992 29741 33554432000 4194304 4797429 140736392064560 18446744073709551615 4567923 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30096/tid=30100] ppid=30094 vsize=748708 CPUtime=638.88 cores=1,3,5,7
/proc/30096/task/30100/stat : 30100 (techdemo) R 30094 30096 29326 0 -1 4202560 20166 0 0 0 63879 9 0 0 25 0 4 0 524302503 766676992 29741 33554432000 4194304 4797429 140736392064560 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2565.78
Current children cumulated vsize (KiB) 748708
[startup+702.306 s]
/proc/loadavg: 8.20 7.85 7.35 9/184 30119
/proc/meminfo: memFree=30636960/32951124 swapFree=67111524/67111528
[pid=30096] ppid=30094 vsize=750896 CPUtime=2805.48 cores=1,3,5,7
/proc/30096/stat : 30096 (techdemo) R 30094 30096 29326 0 -1 4202496 168132 0 0 0 280480 68 0 0 25 0 4 0 524302502 768917504 29665 33554432000 4194304 4797429 140736392064560 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30096/statm: 187724 29665 421 148 0 182653 0
[pid=30096/tid=30098] ppid=30094 vsize=750896 CPUtime=702.29 cores=1,3,5,7
/proc/30096/task/30098/stat : 30098 (techdemo) R 30094 30096 29326 0 -1 4202560 22462 0 0 0 70220 9 0 0 25 0 4 0 524302503 768917504 29665 33554432000 4194304 4797429 140736392064560 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30096/tid=30099] ppid=30094 vsize=750896 CPUtime=702.29 cores=1,3,5,7
/proc/30096/task/30099/stat : 30099 (techdemo) R 30094 30096 29326 0 -1 4202560 23131 0 0 0 70220 9 0 0 25 0 4 0 524302503 768917504 29665 33554432000 4194304 4797429 140736392064560 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30096/tid=30100] ppid=30094 vsize=750896 CPUtime=698.57 cores=1,3,5,7
/proc/30096/task/30100/stat : 30100 (techdemo) R 30094 30096 29326 0 -1 4202560 21302 0 0 0 69847 10 0 0 25 0 4 0 524302503 768917504 29665 33554432000 4194304 4797429 140736392064560 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.48
Current children cumulated vsize (KiB) 750896
[startup+762.3 s]
/proc/loadavg: 8.19 7.91 7.40 9/184 30120
/proc/meminfo: memFree=30631968/32951124 swapFree=67111524/67111528
[pid=30096] ppid=30094 vsize=755072 CPUtime=3045.15 cores=1,3,5,7
/proc/30096/stat : 30096 (techdemo) R 30094 30096 29326 0 -1 4202496 176776 0 0 0 304442 73 0 0 25 0 4 0 524302502 773193728 30324 33554432000 4194304 4797429 140736392064560 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30096/statm: 188768 30324 421 148 0 183697 0
[pid=30096/tid=30098] ppid=30094 vsize=755072 CPUtime=762.29 cores=1,3,5,7
/proc/30096/task/30098/stat : 30098 (techdemo) R 30094 30096 29326 0 -1 4202560 23623 0 0 0 76219 10 0 0 25 0 4 0 524302503 773193728 30324 33554432000 4194304 4797429 140736392064560 18446744073709551615 4429080 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30096/tid=30099] ppid=30094 vsize=755072 CPUtime=762.29 cores=1,3,5,7
/proc/30096/task/30099/stat : 30099 (techdemo) R 30094 30096 29326 0 -1 4202560 24348 0 0 0 76219 10 0 0 25 0 4 0 524302503 773193728 30324 33554432000 4194304 4797429 140736392064560 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30096/tid=30100] ppid=30094 vsize=755072 CPUtime=758.24 cores=1,3,5,7
/proc/30096/task/30100/stat : 30100 (techdemo) R 30094 30096 29326 0 -1 4202560 22012 0 0 0 75814 10 0 0 25 0 4 0 524302503 773193728 30324 33554432000 4194304 4797429 140736392064560 18446744073709551615 4424812 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3045.15
Current children cumulated vsize (KiB) 755072
[startup+822.301 s]
/proc/loadavg: 8.07 7.92 7.44 9/184 30122
/proc/meminfo: memFree=30611832/32951124 swapFree=67111524/67111528
[pid=30096] ppid=30094 vsize=759076 CPUtime=3284.82 cores=1,3,5,7
/proc/30096/stat : 30096 (techdemo) R 30094 30096 29326 0 -1 4202496 183483 0 0 0 328405 77 0 0 25 0 4 0 524302502 777293824 33028 33554432000 4194304 4797429 140736392064560 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30096/statm: 189769 33028 421 148 0 184698 0
[pid=30096/tid=30098] ppid=30094 vsize=759076 CPUtime=822.29 cores=1,3,5,7
/proc/30096/task/30098/stat : 30098 (techdemo) R 30094 30096 29326 0 -1 4202560 24231 0 0 0 82218 11 0 0 25 0 4 0 524302503 777293824 33028 33554432000 4194304 4797429 140736392064560 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30096/tid=30099] ppid=30094 vsize=759076 CPUtime=822.28 cores=1,3,5,7
/proc/30096/task/30099/stat : 30099 (techdemo) R 30094 30096 29326 0 -1 4202560 25032 0 0 0 82218 10 0 0 25 0 4 0 524302503 777293824 33028 33554432000 4194304 4797429 140736392064560 18446744073709551615 4523968 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30096/tid=30100] ppid=30094 vsize=759076 CPUtime=817.91 cores=1,3,5,7
/proc/30096/task/30100/stat : 30100 (techdemo) R 30094 30096 29326 0 -1 4202560 23237 0 0 0 81780 11 0 0 25 0 4 0 524302503 777293824 33028 33554432000 4194304 4797429 140736392064560 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.82
Current children cumulated vsize (KiB) 759076
[startup+882.3 s]
/proc/loadavg: 8.09 7.95 7.47 9/184 30123
/proc/meminfo: memFree=30614768/32951124 swapFree=67111524/67111528
[pid=30096] ppid=30094 vsize=761884 CPUtime=3524.5 cores=1,3,5,7
/proc/30096/stat : 30096 (techdemo) R 30094 30096 29326 0 -1 4202496 192708 0 0 0 352368 82 0 0 25 0 4 0 524302502 780169216 32228 33554432000 4194304 4797429 140736392064560 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30096/statm: 190471 32228 421 148 0 185400 0
[pid=30096/tid=30098] ppid=30094 vsize=761884 CPUtime=882.3 cores=1,3,5,7
/proc/30096/task/30098/stat : 30098 (techdemo) R 30094 30096 29326 0 -1 4202560 25508 0 0 0 88218 12 0 0 25 0 4 0 524302503 780169216 32228 33554432000 4194304 4797429 140736392064560 18446744073709551615 4422912 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30096/tid=30099] ppid=30094 vsize=761884 CPUtime=882.29 cores=1,3,5,7
/proc/30096/task/30099/stat : 30099 (techdemo) R 30094 30096 29326 0 -1 4202560 26311 0 0 0 88218 11 0 0 25 0 4 0 524302503 780169216 32228 33554432000 4194304 4797429 140736392064560 18446744073709551615 4568023 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30096/tid=30100] ppid=30094 vsize=761884 CPUtime=877.59 cores=1,3,5,7
/proc/30096/task/30100/stat : 30100 (techdemo) R 30094 30096 29326 0 -1 4202560 24389 0 0 0 87748 11 0 0 25 0 4 0 524302503 780169216 32228 33554432000 4194304 4797429 140736392064560 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.5
Current children cumulated vsize (KiB) 761884
[startup+942.301 s]
/proc/loadavg: 8.08 7.97 7.51 9/184 30125
/proc/meminfo: memFree=30601584/32951124 swapFree=67111524/67111528
[pid=30096] ppid=30094 vsize=762848 CPUtime=3764.18 cores=1,3,5,7
/proc/30096/stat : 30096 (techdemo) R 30094 30096 29326 0 -1 4202496 198982 0 0 0 376332 86 0 0 25 0 4 0 524302502 781156352 33988 33554432000 4194304 4797429 140736392064560 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30096/statm: 190712 33988 421 148 0 185641 0
[pid=30096/tid=30098] ppid=30094 vsize=762848 CPUtime=942.29 cores=1,3,5,7
/proc/30096/task/30098/stat : 30098 (techdemo) R 30094 30096 29326 0 -1 4202560 26491 0 0 0 94217 12 0 0 25 0 4 0 524302503 781156352 33988 33554432000 4194304 4797429 140736392064560 18446744073709551615 4424794 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30096/tid=30099] ppid=30094 vsize=762848 CPUtime=942.29 cores=1,3,5,7
/proc/30096/task/30099/stat : 30099 (techdemo) R 30094 30096 29326 0 -1 4202560 26759 0 0 0 94218 11 0 0 25 0 4 0 524302503 781156352 33988 33554432000 4194304 4797429 140736392064560 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30096/tid=30100] ppid=30094 vsize=762848 CPUtime=937.26 cores=1,3,5,7
/proc/30096/task/30100/stat : 30100 (techdemo) R 30094 30096 29326 0 -1 4202560 24895 0 0 0 93715 11 0 0 25 0 4 0 524302503 781156352 33988 33554432000 4194304 4797429 140736392064560 18446744073709551615 4568019 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3764.18
Current children cumulated vsize (KiB) 762848
[startup+1002.3 s]
/proc/loadavg: 8.03 7.97 7.54 9/184 30127
/proc/meminfo: memFree=30589640/32951124 swapFree=67111524/67111528
[pid=30096] ppid=30094 vsize=763852 CPUtime=4003.86 cores=1,3,5,7
/proc/30096/stat : 30096 (techdemo) R 30094 30096 29326 0 -1 4202496 206000 0 0 0 400297 89 0 0 25 0 4 0 524302502 782184448 34919 33554432000 4194304 4797429 140736392064560 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30096/statm: 190963 34919 421 148 0 185892 0
[pid=30096/tid=30098] ppid=30094 vsize=763852 CPUtime=1002.29 cores=1,3,5,7
/proc/30096/task/30098/stat : 30098 (techdemo) R 30094 30096 29326 0 -1 4202560 27031 0 0 0 100217 12 0 0 25 0 4 0 524302503 782184448 34919 33554432000 4194304 4797429 140736392064560 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30096/tid=30099] ppid=30094 vsize=763852 CPUtime=1002.29 cores=1,3,5,7
/proc/30096/task/30099/stat : 30099 (techdemo) R 30094 30096 29326 0 -1 4202560 27945 0 0 0 100218 11 0 0 25 0 4 0 524302503 782184448 34919 33554432000 4194304 4797429 140736392064560 18446744073709551615 4429171 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30096/tid=30100] ppid=30094 vsize=763852 CPUtime=996.94 cores=1,3,5,7
/proc/30096/task/30100/stat : 30100 (techdemo) R 30094 30096 29326 0 -1 4202560 26184 0 0 0 99682 12 0 0 25 0 4 0 524302503 782184448 34919 33554432000 4194304 4797429 140736392064560 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.86
Current children cumulated vsize (KiB) 763852
[startup+1062.3 s]
/proc/loadavg: 8.12 8.00 7.57 9/184 30128
/proc/meminfo: memFree=30595564/32951124 swapFree=67111524/67111528
[pid=30096] ppid=30094 vsize=768644 CPUtime=4243.53 cores=1,3,5,7
/proc/30096/stat : 30096 (techdemo) R 30094 30096 29326 0 -1 4202496 214967 0 0 0 424260 93 0 0 25 0 4 0 524302502 787091456 33690 33554432000 4194304 4797429 140736392064560 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30096/statm: 192161 33690 421 148 0 187090 0
[pid=30096/tid=30098] ppid=30094 vsize=768644 CPUtime=1062.3 cores=1,3,5,7
/proc/30096/task/30098/stat : 30098 (techdemo) R 30094 30096 29326 0 -1 4202560 28269 0 0 0 106217 13 0 0 25 0 4 0 524302503 787091456 33690 33554432000 4194304 4797429 140736392064560 18446744073709551615 4524360 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30096/tid=30099] ppid=30094 vsize=768644 CPUtime=1062.29 cores=1,3,5,7
/proc/30096/task/30099/stat : 30099 (techdemo) R 30094 30096 29326 0 -1 4202560 29093 0 0 0 106217 12 0 0 25 0 4 0 524302503 787091456 33690 33554432000 4194304 4797429 140736392064560 18446744073709551615 4429169 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30096/tid=30100] ppid=30094 vsize=768644 CPUtime=1056.6 cores=1,3,5,7
/proc/30096/task/30100/stat : 30100 (techdemo) R 30094 30096 29326 0 -1 4202560 27230 0 0 0 105648 12 0 0 25 0 4 0 524302503 787091456 33690 33554432000 4194304 4797429 140736392064560 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.53
Current children cumulated vsize (KiB) 768644
[startup+1122.3 s]
/proc/loadavg: 8.04 8.00 7.60 9/184 30130
/proc/meminfo: memFree=30583604/32951124 swapFree=67111524/67111528
[pid=30096] ppid=30094 vsize=770840 CPUtime=4483.22 cores=1,3,5,7
/proc/30096/stat : 30096 (techdemo) R 30094 30096 29326 0 -1 4202496 221092 0 0 0 448225 97 0 0 25 0 4 0 524302502 789340160 36658 33554432000 4194304 4797429 140736392064560 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30096/statm: 192710 36658 421 148 0 187639 0
[pid=30096/tid=30098] ppid=30094 vsize=770840 CPUtime=1122.3 cores=1,3,5,7
/proc/30096/task/30098/stat : 30098 (techdemo) R 30094 30096 29326 0 -1 4202560 29037 0 0 0 112217 13 0 0 25 0 4 0 524302503 789340160 36658 33554432000 4194304 4797429 140736392064560 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30096/tid=30099] ppid=30094 vsize=770840 CPUtime=1122.29 cores=1,3,5,7
/proc/30096/task/30099/stat : 30099 (techdemo) R 30094 30096 29326 0 -1 4202560 29561 0 0 0 112217 12 0 0 25 0 4 0 524302503 789340160 36658 33554432000 4194304 4797429 140736392064560 18446744073709551615 4642069 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30096/tid=30100] ppid=30094 vsize=770840 CPUtime=1116.29 cores=1,3,5,7
/proc/30096/task/30100/stat : 30100 (techdemo) R 30094 30096 29326 0 -1 4202560 27867 0 0 0 111616 13 0 0 25 0 4 0 524302503 789340160 36658 33554432000 4194304 4797429 140736392064560 18446744073709551615 4524688 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.22
Current children cumulated vsize (KiB) 770840
[startup+1182.3 s]
/proc/loadavg: 8.10 8.03 7.63 9/184 30131
/proc/meminfo: memFree=30576144/32951124 swapFree=67111524/67111528
[pid=30096] ppid=30094 vsize=776448 CPUtime=4722.9 cores=1,3,5,7
/proc/30096/stat : 30096 (techdemo) R 30094 30096 29326 0 -1 4202496 226106 0 0 0 472191 99 0 0 25 0 4 0 524302502 795082752 37605 33554432000 4194304 4797429 140736392064560 18446744073709551615 4495525 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30096/statm: 194112 37605 421 148 0 189041 0
[pid=30096/tid=30098] ppid=30094 vsize=776448 CPUtime=1182.3 cores=1,3,5,7
/proc/30096/task/30098/stat : 30098 (techdemo) R 30094 30096 29326 0 -1 4202560 30220 0 0 0 118217 13 0 0 25 0 4 0 524302503 795082752 37605 33554432000 4194304 4797429 140736392064560 18446744073709551615 4429087 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30096/tid=30099] ppid=30094 vsize=776448 CPUtime=1182.29 cores=1,3,5,7
/proc/30096/task/30099/stat : 30099 (techdemo) R 30094 30096 29326 0 -1 4202560 30837 0 0 0 118216 13 0 0 25 0 4 0 524302503 795082752 37605 33554432000 4194304 4797429 140736392064560 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30096/tid=30100] ppid=30094 vsize=776448 CPUtime=1175.96 cores=1,3,5,7
/proc/30096/task/30100/stat : 30100 (techdemo) R 30094 30096 29326 0 -1 4202560 29223 0 0 0 117583 13 0 0 25 0 4 0 524302503 795082752 37605 33554432000 4194304 4797429 140736392064560 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.9
Current children cumulated vsize (KiB) 776448
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1201.6 s]
/proc/loadavg: 8.07 8.03 7.64 6/183 30133
/proc/meminfo: memFree=30674824/32951124 swapFree=67111524/67111528
[pid=30096] ppid=30094 vsize=776448 CPUtime=4800.03 cores=1,3,5,7
/proc/30096/stat : 30096 (techdemo) R 30094 30096 29326 0 -1 4202496 227091 0 0 0 479903 100 0 0 25 0 4 0 524302502 795082752 38574 33554432000 4194304 4797429 140736392064560 18446744073709551615 4495518 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30096/statm: 194112 38574 421 148 0 189041 0
[pid=30096/tid=30098] ppid=30094 vsize=776448 CPUtime=1201.62 cores=1,3,5,7
/proc/30096/task/30098/stat : 30098 (techdemo) R 30094 30096 29326 0 -1 4202560 30476 0 0 0 120148 14 0 0 25 0 4 0 524302503 795082752 38574 33554432000 4194304 4797429 140736392064560 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30096/tid=30099] ppid=30094 vsize=776448 CPUtime=1201.6 cores=1,3,5,7
/proc/30096/task/30099/stat : 30099 (techdemo) R 30094 30096 29326 0 -1 4202560 31009 0 0 0 120147 13 0 0 25 0 4 0 524302503 795082752 38574 33554432000 4194304 4797429 140736392064560 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30096/tid=30100] ppid=30094 vsize=776448 CPUtime=1195.16 cores=1,3,5,7
/proc/30096/task/30100/stat : 30100 (techdemo) R 30094 30096 29326 0 -1 4202560 29434 0 0 0 119502 14 0 0 25 0 4 0 524302503 795082752 38574 33554432000 4194304 4797429 140736392064560 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.03
Current children cumulated vsize (KiB) 776448
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.63
CPU time (s): 4800.07
CPU user time (s): 4799.06
CPU system time (s): 1.01584
CPU usage (%): 399.465
Max. virtual memory (cumulated for all children) (KiB): 873840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.06
system time used= 1.01585
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 227091
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= 368
involuntary context switches= 31439
runsolver used 1.9467 second user time and 4.51531 second system time
The end