runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2083815-1247723792/watcher-2083815-1247723792 -o /tmp/evaluation-result-2083815-1247723792/solver-2083815-1247723792 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 275553685 HOME/instance-2083815-1247723792.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.23 2.07 2.07 3/73 17387
/proc/meminfo: memFree=1261592/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=780 CPUtime=0
/proc/17387/stat : 17387 (pcssolve) R 17385 17387 17224 0 -1 4194304 17 0 0 0 0 0 0 0 20 0 1 0 59444556 798720 3 996147200 0 0 548682069571 18446744073709551615 265674091815 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 195 3 0 0 0 6 0
[startup+0.106484 s]
/proc/loadavg: 2.23 2.07 2.07 3/73 17387
/proc/meminfo: memFree=1261592/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=6844 CPUtime=0.09
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 1391 661 0 0 9 0 0 0 24 0 1 0 59444556 7008256 948 996147200 134512640 135215973 4294956304 18446744073709551615 12203643 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 1711 948 386 171 0 636 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6844
[startup+0.201503 s]
/proc/loadavg: 2.23 2.07 2.07 3/73 17387
/proc/meminfo: memFree=1261592/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=9084 CPUtime=0.17
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 2145 661 0 0 17 0 0 0 24 0 1 0 59444556 9302016 1455 996147200 134512640 135215973 4294956304 18446744073709551615 134608549 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 2271 1455 386 171 0 1196 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 9084
[startup+0.301521 s]
/proc/loadavg: 2.23 2.07 2.07 3/73 17387
/proc/meminfo: memFree=1261592/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=10428 CPUtime=0.28
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 2710 661 0 0 27 1 0 0 25 0 1 0 59444556 10678272 1845 996147200 134512640 135215973 4294956304 18446744073709551615 134583970 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 2607 1845 410 171 0 1532 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10428
[startup+0.701596 s]
/proc/loadavg: 2.23 2.07 2.07 3/73 17387
/proc/meminfo: memFree=1261592/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=10860 CPUtime=0.68
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 2798 661 0 0 67 1 0 0 25 0 1 0 59444556 11120640 1933 996147200 134512640 135215973 4294956304 18446744073709551615 135094589 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 2715 1933 410 171 0 1640 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 10860
[startup+1.50176 s]
/proc/loadavg: 2.21 2.07 2.07 3/74 17392
/proc/meminfo: memFree=1254608/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=11596 CPUtime=1.47
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 3003 661 0 0 146 1 0 0 25 0 1 0 59444556 11874304 2085 996147200 134512640 135215973 4294956304 18446744073709551615 4158960128 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 2899 2085 410 171 0 1824 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 11596
[startup+3.10206 s]
/proc/loadavg: 2.21 2.07 2.07 3/74 17392
/proc/meminfo: memFree=1250192/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=12392 CPUtime=3.07
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 3270 661 0 0 306 1 0 0 25 0 1 0 59444556 12689408 2247 996147200 134512640 135215973 4294956304 18446744073709551615 134597660 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 3098 2247 413 171 0 2023 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 12392
[startup+6.30167 s]
/proc/loadavg: 2.21 2.07 2.07 3/74 17392
/proc/meminfo: memFree=1250000/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=12592 CPUtime=6.26
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 3314 661 0 0 625 1 0 0 25 0 1 0 59444556 12894208 2291 996147200 134512640 135215973 4294956304 18446744073709551615 134585576 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 3148 2291 413 171 0 2073 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 12592
[startup+12.7019 s]
/proc/loadavg: 2.18 2.07 2.07 3/74 17392
/proc/meminfo: memFree=1249232/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=13184 CPUtime=12.63
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 3484 661 0 0 1262 1 0 0 25 0 1 0 59444556 13500416 2461 996147200 134512640 135215973 4294956304 18446744073709551615 134589855 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 3296 2461 413 171 0 2221 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 13184
[startup+25.5014 s]
/proc/loadavg: 2.15 2.07 2.07 3/74 17392
/proc/meminfo: memFree=1247440/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=14900 CPUtime=25.38
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 3918 661 0 0 2537 1 0 0 25 0 1 0 59444556 15257600 2895 996147200 134512640 135215973 4294956304 18446744073709551615 134597343 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 3725 2895 413 171 0 2650 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 14900
[startup+51.1013 s]
/proc/loadavg: 2.10 2.06 2.07 3/74 17392
/proc/meminfo: memFree=1236048/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=18636 CPUtime=50.87
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 4890 661 0 0 5086 1 0 0 25 0 1 0 59444556 19083264 3867 996147200 134512640 135215973 4294956304 18446744073709551615 134583589 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 4659 3867 413 171 0 3584 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 18636
[startup+102.301 s]
/proc/loadavg: 2.04 2.05 2.06 3/74 17392
/proc/meminfo: memFree=1215760/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=27692 CPUtime=101.87
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 7286 661 0 0 10185 2 0 0 25 0 1 0 59444556 28356608 5925 996147200 134512640 135215973 4294956304 18446744073709551615 134597628 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 6923 5925 413 171 0 5848 0
Current children cumulated CPU time (s) 101.87
Current children cumulated vsize (KiB) 27692
[startup+162.302 s]
/proc/loadavg: 2.01 2.04 2.05 3/74 17392
/proc/meminfo: memFree=1193040/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=36724 CPUtime=161.64
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 9563 661 0 0 16161 3 0 0 25 0 1 0 59444556 37605376 8202 996147200 134512640 135215973 4294956304 18446744073709551615 134589784 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 9181 8202 413 171 0 8106 0
Current children cumulated CPU time (s) 161.64
Current children cumulated vsize (KiB) 36724
[startup+222.305 s]
/proc/loadavg: 2.00 2.03 2.05 3/74 17392
/proc/meminfo: memFree=1172176/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=44632 CPUtime=221.39
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 11567 661 0 0 22136 3 0 0 25 0 1 0 59444556 45703168 10206 996147200 134512640 135215973 4294956304 18446744073709551615 134589079 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 11158 10206 413 171 0 10083 0
Current children cumulated CPU time (s) 221.39
Current children cumulated vsize (KiB) 44632
[startup+282.302 s]
/proc/loadavg: 2.00 2.02 2.04 3/74 17398
/proc/meminfo: memFree=1154512/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=54308 CPUtime=281.15
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 13998 661 0 0 28110 5 0 0 25 0 1 0 59444556 55611392 12637 996147200 134512640 135215973 4294956304 18446744073709551615 134591823 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 13577 12637 413 171 0 12502 0
Current children cumulated CPU time (s) 281.15
Current children cumulated vsize (KiB) 54308
[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.04 3/74 17398
/proc/meminfo: memFree=1120208/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=67508 CPUtime=340.91
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 17313 661 0 0 34085 6 0 0 25 0 1 0 59444556 69128192 15919 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 16877 15919 413 171 0 15802 0
Current children cumulated CPU time (s) 340.91
Current children cumulated vsize (KiB) 67508
[startup+402.302 s]
/proc/loadavg: 2.00 2.01 2.03 3/74 17398
/proc/meminfo: memFree=1103120/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=78612 CPUtime=400.68
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 20133 661 0 0 40061 7 0 0 25 0 1 0 59444556 80498688 18739 996147200 134512640 135215973 4294956304 18446744073709551615 134589807 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 19653 18739 413 171 0 18578 0
Current children cumulated CPU time (s) 400.68
Current children cumulated vsize (KiB) 78612
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.03 3/74 17398
/proc/meminfo: memFree=1083344/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=84484 CPUtime=460.43
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 21623 661 0 0 46036 7 0 0 25 0 1 0 59444556 86511616 20229 996147200 134512640 135215973 4294956304 18446744073709551615 134590116 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 21121 20229 413 171 0 20046 0
Current children cumulated CPU time (s) 460.43
Current children cumulated vsize (KiB) 84484
[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.02 3/74 17398
/proc/meminfo: memFree=1060240/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=92124 CPUtime=520.19
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 23550 661 0 0 52011 8 0 0 25 0 1 0 59444556 94334976 22156 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 23031 22156 413 171 0 21956 0
Current children cumulated CPU time (s) 520.19
Current children cumulated vsize (KiB) 92124
[startup+582.303 s]
/proc/loadavg: 2.00 2.00 2.01 3/74 17398
/proc/meminfo: memFree=1038672/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=98660 CPUtime=579.95
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 25247 661 0 0 57987 8 0 0 25 0 1 0 59444556 101027840 23563 996147200 134512640 135215973 4294956304 18446744073709551615 134585549 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 24665 23563 413 171 0 23590 0
Current children cumulated CPU time (s) 579.95
Current children cumulated vsize (KiB) 98660
[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.01 3/74 17398
/proc/meminfo: memFree=1007824/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=115504 CPUtime=639.72
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 29482 661 0 0 63962 10 0 0 25 0 1 0 59444556 118276096 27798 996147200 134512640 135215973 4294956304 18446744073709551615 134583557 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 28876 27798 413 171 0 27801 0
Current children cumulated CPU time (s) 639.72
Current children cumulated vsize (KiB) 115504
[startup+702.302 s]
################
# More data... #
################
[startup+822.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 17398
/proc/meminfo: memFree=911184/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=156280 CPUtime=819
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 39789 661 0 0 81886 14 0 0 25 0 1 0 59444556 160030720 38105 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 39070 38105 413 171 0 37995 0
Current children cumulated CPU time (s) 819
Current children cumulated vsize (KiB) 156280
[startup+882.305 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 17398
/proc/meminfo: memFree=899856/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=167192 CPUtime=878.76
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 42532 661 0 0 87861 15 0 0 25 0 1 0 59444556 171204608 40848 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 41798 40848 413 171 0 40723 0
Current children cumulated CPU time (s) 878.76
Current children cumulated vsize (KiB) 167192
[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 17398
/proc/meminfo: memFree=877008/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=185704 CPUtime=938.52
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 47226 661 0 0 93835 17 0 0 25 0 1 0 59444556 190160896 45477 996147200 134512640 135215973 4294956304 18446744073709551615 134590043 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 46426 45477 413 171 0 45351 0
Current children cumulated CPU time (s) 938.52
Current children cumulated vsize (KiB) 185704
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 17398
/proc/meminfo: memFree=857168/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=202012 CPUtime=998.29
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 51371 661 0 0 99810 19 0 0 25 0 1 0 59444556 206860288 49622 996147200 134512640 135215973 4294956304 18446744073709551615 135008335 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 50503 49622 413 171 0 49428 0
Current children cumulated CPU time (s) 998.29
Current children cumulated vsize (KiB) 202012
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 17398
/proc/meminfo: memFree=829008/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=216616 CPUtime=1058.05
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 55112 661 0 0 105784 21 0 0 25 0 1 0 59444556 221814784 53234 996147200 134512640 135215973 4294956304 18446744073709551615 134591887 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 54154 53234 413 171 0 53079 0
Current children cumulated CPU time (s) 1058.05
Current children cumulated vsize (KiB) 216616
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 17398
/proc/meminfo: memFree=816784/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=227336 CPUtime=1117.81
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 57991 661 0 0 111759 22 0 0 25 0 1 0 59444556 232792064 55696 996147200 134512640 135215973 4294956304 18446744073709551615 134532714 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 56834 55696 413 171 0 55759 0
Current children cumulated CPU time (s) 1117.81
Current children cumulated vsize (KiB) 227336
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 17398
/proc/meminfo: memFree=809680/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=234012 CPUtime=1177.56
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 59682 661 0 0 117734 22 0 0 25 0 1 0 59444556 239628288 57387 996147200 134512640 135215973 4294956304 18446744073709551615 134585677 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 58503 57387 413 171 0 57428 0
Current children cumulated CPU time (s) 1177.56
Current children cumulated vsize (KiB) 234012
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 17504
/proc/meminfo: memFree=1228272/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=244136 CPUtime=1237.24
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 62220 661 0 0 123700 24 0 0 25 0 1 0 59444556 249995264 59412 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 61034 59412 413 171 0 59959 0
Current children cumulated CPU time (s) 1237.24
Current children cumulated vsize (KiB) 244136
[startup+1302.3 s]
/proc/loadavg: 2.43 2.11 2.03 3/83 17504
/proc/meminfo: memFree=1222576/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=249468 CPUtime=1297.22
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 63582 661 0 0 129697 25 0 0 25 0 1 0 59444556 255455232 60774 996147200 134512640 135215973 4294956304 18446744073709551615 4158512689 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 62367 60774 413 171 0 61292 0
Current children cumulated CPU time (s) 1297.22
Current children cumulated vsize (KiB) 249468
[startup+1362.3 s]
/proc/loadavg: 2.26 2.13 2.04 3/83 17504
/proc/meminfo: memFree=1215280/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=256588 CPUtime=1357.2
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 65391 661 0 0 135694 26 0 0 25 0 1 0 59444556 262746112 62583 996147200 134512640 135215973 4294956304 18446744073709551615 135095040 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 64147 62583 413 171 0 63072 0
Current children cumulated CPU time (s) 1357.2
Current children cumulated vsize (KiB) 256588
[startup+1422.3 s]
/proc/loadavg: 2.21 2.13 2.05 3/83 17504
/proc/meminfo: memFree=1207728/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=264128 CPUtime=1417.18
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 67273 661 0 0 141692 26 0 0 25 0 1 0 59444556 270467072 64465 996147200 134512640 135215973 4294956304 18446744073709551615 4158960033 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 66032 64465 413 171 0 64957 0
Current children cumulated CPU time (s) 1417.18
Current children cumulated vsize (KiB) 264128
[startup+1482.3 s]
/proc/loadavg: 2.56 2.23 2.09 3/83 17504
/proc/meminfo: memFree=1198704/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=273024 CPUtime=1477.16
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 69528 661 0 0 147688 28 0 0 25 0 1 0 59444556 279576576 66720 996147200 134512640 135215973 4294956304 18446744073709551615 134583607 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 68256 66720 413 171 0 67181 0
Current children cumulated CPU time (s) 1477.16
Current children cumulated vsize (KiB) 273024
[startup+1542.31 s]
/proc/loadavg: 2.65 2.32 2.12 3/83 17504
/proc/meminfo: memFree=1192952/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=278696 CPUtime=1537.14
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 70948 661 0 0 153685 29 0 0 25 0 1 0 59444556 285384704 68140 996147200 134512640 135215973 4294956304 18446744073709551615 135096455 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 69674 68140 413 171 0 68599 0
Current children cumulated CPU time (s) 1537.14
Current children cumulated vsize (KiB) 278696
[startup+1602.3 s]
/proc/loadavg: 2.24 2.26 2.11 3/83 17504
/proc/meminfo: memFree=1187896/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=283868 CPUtime=1597.11
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 72252 661 0 0 159682 29 0 0 25 0 1 0 59444556 290680832 69444 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 70967 69444 413 171 0 69892 0
Current children cumulated CPU time (s) 1597.11
Current children cumulated vsize (KiB) 283868
[startup+1662.3 s]
/proc/loadavg: 2.14 2.23 2.11 3/83 17504
/proc/meminfo: memFree=1183608/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=288132 CPUtime=1657.1
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 73319 661 0 0 165680 30 0 0 25 0 1 0 59444556 295047168 70511 996147200 134512640 135215973 4294956304 18446744073709551615 4158960056 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 72033 70511 413 171 0 70958 0
Current children cumulated CPU time (s) 1657.1
Current children cumulated vsize (KiB) 288132
[startup+1722.3 s]
/proc/loadavg: 2.05 2.18 2.09 3/83 17504
/proc/meminfo: memFree=1174264/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=297512 CPUtime=1717.07
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 75677 661 0 0 171676 31 0 0 25 0 1 0 59444556 304652288 72869 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 74378 72869 413 171 0 73303 0
Current children cumulated CPU time (s) 1717.07
Current children cumulated vsize (KiB) 297512
[startup+1782.3 s]
/proc/loadavg: 2.02 2.15 2.09 3/83 17504
/proc/meminfo: memFree=1167800/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=303624 CPUtime=1777.05
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 77220 661 0 0 177673 32 0 0 25 0 1 0 59444556 310910976 74412 996147200 134512640 135215973 4294956304 18446744073709551615 134970900 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 75906 74412 413 171 0 74831 0
Current children cumulated CPU time (s) 1777.05
Current children cumulated vsize (KiB) 303624
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1805.3 s]
/proc/loadavg: 2.01 2.14 2.08 3/83 17504
/proc/meminfo: memFree=1164728/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=306548 CPUtime=1800.05
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 77974 661 0 0 179973 32 0 0 25 0 1 0 59444556 313905152 75166 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 76637 75166 413 171 0 75562 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 306548
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): 1805.35
CPU time (s): 1800.12
CPU user time (s): 1799.74
CPU system time (s): 0.380942
CPU usage (%): 99.71
Max. virtual memory (cumulated for all children) (KiB): 306548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.74
system time used= 0.380942
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78635
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= 17
involuntary context switches= 14579
runsolver used 1.76073 second user time and 4.81827 second system time
The end
Begin job on node76 at 2009-07-16 07:56:32
IDJOB=2083815
IDBENCH=57943
IDSOLVER=734
FILE ID=node76/2083815-1247723792
PBS_JOBID= 9521499
Free space on /tmp= 66388 MiB
SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/fapp/fapp01/normalized-fapp01-0200-4.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2083815-1247723792/watcher-2083815-1247723792 -o /tmp/evaluation-result-2083815-1247723792/solver-2083815-1247723792 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 275553685 HOME/instance-2083815-1247723792.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= c966f4ac55d40e9ed821e9d3623796fc
RANDOM SEED=275553685
node76.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.277
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.277
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1262008 kB
Buffers: 80796 kB
Cached: 392144 kB
SwapCached: 0 kB
Active: 335756 kB
Inactive: 386300 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1262008 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2348 kB
Writeback: 0 kB
Mapped: 260588 kB
Slab: 56632 kB
Committed_AS: 733576 kB
PageTables: 2412 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66396 MiB
End job on node76 at 2009-07-16 08:26:40