runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2083672-1247723532/watcher-2083672-1247723532 -o /tmp/evaluation-result-2083672-1247723532/solver-2083672-1247723532 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 2012417425 HOME/instance-2083672-1247723532.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.24 2.06 2.02 4/72 14468
/proc/meminfo: memFree=1371608/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=5356 CPUtime=0
/proc/14468/stat : 14468 (pcssolve) R 14466 14468 14387 0 -1 4194304 265 0 0 0 0 0 0 0 22 0 1 0 59419657 5484544 233 996147200 4194304 4889804 548682068800 18446744073709551615 221236341362 0 0 4100 65536 0 0 0 17 1 0 0
/proc/14468/statm: 1339 233 194 169 0 50 0
[startup+0.166771 s]
/proc/loadavg: 2.24 2.06 2.02 4/72 14468
/proc/meminfo: memFree=1371608/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=8796 CPUtime=0.13
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 1954 667 0 0 13 0 0 0 18 0 1 0 59419657 9007104 1280 996147200 134512640 135215973 4294956304 18446744073709551615 4160505761 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 2199 1280 386 171 0 1124 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 8796
[startup+0.202767 s]
/proc/loadavg: 2.24 2.06 2.02 4/72 14468
/proc/meminfo: memFree=1371608/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=9284 CPUtime=0.17
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 2161 667 0 0 17 0 0 0 18 0 1 0 59419657 9506816 1401 996147200 134512640 135215973 4294956304 18446744073709551615 4158846796 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 2321 1401 386 171 0 1246 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 9284
[startup+0.302789 s]
/proc/loadavg: 2.24 2.06 2.02 4/72 14468
/proc/meminfo: memFree=1371608/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=11100 CPUtime=0.27
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 2823 667 0 0 27 0 0 0 19 0 1 0 59419657 11366400 1934 996147200 134512640 135215973 4294956304 18446744073709551615 8872098 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 2775 1934 386 171 0 1700 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 11100
[startup+0.701819 s]
/proc/loadavg: 2.24 2.06 2.02 4/72 14468
/proc/meminfo: memFree=1371608/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=24384 CPUtime=0.67
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 6467 667 0 0 65 2 0 0 22 0 1 0 59419657 24969216 4198 996147200 134512640 135215973 4294956304 18446744073709551615 134808183 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 6096 4202 387 171 0 5021 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 24384
[startup+1.50191 s]
/proc/loadavg: 2.24 2.06 2.02 3/73 14473
/proc/meminfo: memFree=1345872/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=30808 CPUtime=1.47
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 10409 667 0 0 143 4 0 0 25 0 1 0 59419657 31547392 6802 996147200 134512640 135215973 4294956304 18446744073709551615 134583949 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 7702 6802 410 171 0 6627 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 30808
[startup+3.10108 s]
/proc/loadavg: 2.24 2.06 2.02 3/73 14473
/proc/meminfo: memFree=1345616/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=31032 CPUtime=3.06
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 10475 667 0 0 302 4 0 0 25 0 1 0 59419657 31776768 6851 996147200 134512640 135215973 4294956304 18446744073709551615 4158960603 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 7758 6851 410 171 0 6683 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 31032
[startup+6.30143 s]
/proc/loadavg: 2.22 2.06 2.02 3/73 14473
/proc/meminfo: memFree=1344976/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=31240 CPUtime=6.25
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 10568 667 0 0 621 4 0 0 25 0 1 0 59419657 31989760 6891 996147200 134512640 135215973 4294956304 18446744073709551615 134591510 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 7810 6891 410 171 0 6735 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 31240
[startup+12.7011 s]
/proc/loadavg: 2.20 2.06 2.02 3/73 14473
/proc/meminfo: memFree=1344016/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=32448 CPUtime=12.62
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 10937 667 0 0 1258 4 0 0 25 0 1 0 59419657 33226752 7155 996147200 134512640 135215973 4294956304 18446744073709551615 134600006 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 8112 7155 410 171 0 7037 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 32448
[startup+25.5025 s]
/proc/loadavg: 2.16 2.06 2.02 3/73 14473
/proc/meminfo: memFree=1340112/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=36184 CPUtime=25.38
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 12028 667 0 0 2533 5 0 0 25 0 1 0 59419657 37052416 8037 996147200 134512640 135215973 4294956304 18446744073709551615 134600888 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 9046 8037 410 171 0 7971 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 36184
[startup+51.1023 s]
/proc/loadavg: 2.18 2.07 2.02 3/73 14473
/proc/meminfo: memFree=1338320/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=36184 CPUtime=50.87
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 12126 667 0 0 5082 5 0 0 25 0 1 0 59419657 37052416 8135 996147200 134512640 135215973 4294956304 18446744073709551615 134591868 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 9046 8135 411 171 0 7971 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 36184
[startup+102.303 s]
/proc/loadavg: 2.16 2.07 2.02 3/73 14473
/proc/meminfo: memFree=1332048/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=39220 CPUtime=101.88
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 18883 667 0 0 10180 8 0 0 25 0 1 0 59419657 40161280 8912 996147200 134512640 135215973 4294956304 18446744073709551615 134599825 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 9805 8912 413 171 0 8730 0
Current children cumulated CPU time (s) 101.88
Current children cumulated vsize (KiB) 39220
[startup+162.302 s]
/proc/loadavg: 2.13 2.07 2.02 3/73 14473
/proc/meminfo: memFree=1324560/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=45768 CPUtime=161.62
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 32462 667 0 0 16150 12 0 0 25 0 1 0 59419657 46866432 10166 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 11442 10166 413 171 0 10367 0
Current children cumulated CPU time (s) 161.62
Current children cumulated vsize (KiB) 45768
[startup+222.307 s]
/proc/loadavg: 2.11 2.07 2.02 3/73 14473
/proc/meminfo: memFree=1318096/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=51576 CPUtime=221.4
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 38517 667 0 0 22127 13 0 0 25 0 1 0 59419657 52813824 11801 996147200 134512640 135215973 4294956304 18446744073709551615 135094864 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 12894 11801 413 171 0 11819 0
Current children cumulated CPU time (s) 221.4
Current children cumulated vsize (KiB) 51576
[startup+282.302 s]
/proc/loadavg: 2.10 2.07 2.02 3/73 14473
/proc/meminfo: memFree=1312656/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=53820 CPUtime=281.16
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 42957 667 0 0 28101 15 0 0 25 0 1 0 59419657 55111680 12445 996147200 134512640 135215973 4294956304 18446744073709551615 134532692 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 13455 12445 413 171 0 12380 0
Current children cumulated CPU time (s) 281.16
Current children cumulated vsize (KiB) 53820
[startup+342.303 s]
/proc/loadavg: 2.09 2.07 2.02 3/73 14473
/proc/meminfo: memFree=1302224/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=62532 CPUtime=340.92
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 51087 667 0 0 34074 18 0 0 25 0 1 0 59419657 64032768 14647 996147200 134512640 135215973 4294956304 18446744073709551615 134585789 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 15633 14647 413 171 0 14558 0
Current children cumulated CPU time (s) 340.92
Current children cumulated vsize (KiB) 62532
[startup+402.302 s]
/proc/loadavg: 2.08 2.07 2.02 4/82 14513
/proc/meminfo: memFree=1478536/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=68472 CPUtime=400.68
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 57321 667 0 0 40046 22 0 0 25 0 1 0 59419657 70115328 16149 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 0 0 0
/proc/14468/statm: 17118 16149 413 171 0 16043 0
Current children cumulated CPU time (s) 400.68
Current children cumulated vsize (KiB) 68472
[startup+462.303 s]
/proc/loadavg: 2.08 2.07 2.02 3/82 14513
/proc/meminfo: memFree=1459144/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=70312 CPUtime=460.44
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 65979 667 0 0 46019 25 0 0 25 0 1 0 59419657 71999488 16591 996147200 134512640 135215973 4294956304 18446744073709551615 134600799 0 0 4096 0 0 0 0 17 0 0 0
/proc/14468/statm: 17578 16591 413 171 0 16503 0
Current children cumulated CPU time (s) 460.44
Current children cumulated vsize (KiB) 70312
[startup+522.302 s]
/proc/loadavg: 2.12 2.08 2.02 3/82 14513
/proc/meminfo: memFree=1440328/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=73876 CPUtime=520.2
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 76280 667 0 0 51991 29 0 0 25 0 1 0 59419657 75649024 17480 996147200 134512640 135215973 4294956304 18446744073709551615 4158960075 0 0 4096 0 0 0 0 17 0 0 0
/proc/14468/statm: 18469 17480 413 171 0 17394 0
Current children cumulated CPU time (s) 520.2
Current children cumulated vsize (KiB) 73876
[startup+582.302 s]
/proc/loadavg: 2.16 2.10 2.03 3/83 14520
/proc/meminfo: memFree=1415096/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=79576 CPUtime=579.95
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 86552 667 0 0 57963 32 0 0 25 0 1 0 59419657 81485824 18912 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/14468/statm: 19894 18912 413 171 0 18819 0
Current children cumulated CPU time (s) 579.95
Current children cumulated vsize (KiB) 79576
[startup+642.301 s]
/proc/loadavg: 2.06 2.08 2.02 3/83 14520
/proc/meminfo: memFree=1399032/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=85120 CPUtime=639.71
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 93814 667 0 0 63936 35 0 0 25 0 1 0 59419657 87162880 20350 996147200 134512640 135215973 4294956304 18446744073709551615 134597311 0 0 4096 0 0 0 0 17 0 0 0
/proc/14468/statm: 21280 20350 413 171 0 20205 0
Current children cumulated CPU time (s) 639.71
Current children cumulated vsize (KiB) 85120
[startup+702.302 s]
################
# More data... #
################
[startup+822.302 s]
/proc/loadavg: 2.09 2.08 2.02 3/83 14520
/proc/meminfo: memFree=950584/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=96628 CPUtime=818.98
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 117173 667 0 0 81854 44 0 0 25 0 1 0 59419657 98947072 22492 996147200 134512640 135215973 4294956304 18446744073709551615 134969789 0 0 4096 0 0 0 0 17 0 0 0
/proc/14468/statm: 24157 22492 413 171 0 23082 0
Current children cumulated CPU time (s) 818.98
Current children cumulated vsize (KiB) 96628
[startup+882.305 s]
/proc/loadavg: 2.12 2.10 2.03 3/83 14520
/proc/meminfo: memFree=776640/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=99004 CPUtime=878.75
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 123377 667 0 0 87829 46 0 0 25 0 1 0 59419657 101380096 23080 996147200 134512640 135215973 4294956304 18446744073709551615 134585388 0 0 4096 0 0 0 0 17 0 0 0
/proc/14468/statm: 24751 23080 413 171 0 23676 0
Current children cumulated CPU time (s) 878.75
Current children cumulated vsize (KiB) 99004
[startup+942.302 s]
/proc/loadavg: 2.19 2.11 2.03 3/83 14521
/proc/meminfo: memFree=733240/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=101636 CPUtime=938.51
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 130631 667 0 0 93802 49 0 0 25 0 1 0 59419657 104075264 23782 996147200 134512640 135215973 4294956304 18446744073709551615 134590043 0 0 4096 0 0 0 0 17 0 0 0
/proc/14468/statm: 25409 23782 413 171 0 24334 0
Current children cumulated CPU time (s) 938.51
Current children cumulated vsize (KiB) 101636
[startup+1002.3 s]
/proc/loadavg: 2.10 2.10 2.03 3/82 14521
/proc/meminfo: memFree=700024/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=104408 CPUtime=998.27
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 139614 667 0 0 99776 51 0 0 25 0 1 0 59419657 106913792 24497 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/14468/statm: 26102 24497 413 171 0 25027 0
Current children cumulated CPU time (s) 998.27
Current children cumulated vsize (KiB) 104408
[startup+1062.3 s]
/proc/loadavg: 2.07 2.09 2.03 3/82 14521
/proc/meminfo: memFree=695544/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=108368 CPUtime=1058.03
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 150036 667 0 0 105749 54 0 0 25 0 1 0 59419657 110968832 25611 996147200 134512640 135215973 4294956304 18446744073709551615 135094939 0 0 4096 0 0 0 0 17 0 0 0
/proc/14468/statm: 27092 25611 413 171 0 26017 0
Current children cumulated CPU time (s) 1058.03
Current children cumulated vsize (KiB) 108368
[startup+1122.3 s]
/proc/loadavg: 1.99 2.06 2.02 3/83 14596
/proc/meminfo: memFree=1438192/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=112196 CPUtime=1117.79
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 161999 667 0 0 111719 60 0 0 25 0 1 0 59419657 114888704 26914 996147200 134512640 135215973 4294956304 18446744073709551615 134583674 0 0 4096 0 0 0 0 17 0 0 0
/proc/14468/statm: 28049 26914 413 171 0 26974 0
Current children cumulated CPU time (s) 1117.79
Current children cumulated vsize (KiB) 112196
[startup+1182.3 s]
/proc/loadavg: 1.99 2.05 2.02 3/73 14629
/proc/meminfo: memFree=1424136/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=128092 CPUtime=1177.54
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 178066 667 0 0 117689 65 0 0 25 0 1 0 59419657 131166208 29616 996147200 134512640 135215973 4294956304 18446744073709551615 134970000 0 0 4096 0 0 0 0 17 0 0 0
/proc/14468/statm: 32023 29616 413 171 0 30948 0
Current children cumulated CPU time (s) 1177.54
Current children cumulated vsize (KiB) 128092
[startup+1242.3 s]
/proc/loadavg: 1.99 2.04 2.01 3/73 14629
/proc/meminfo: memFree=1267592/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=128092 CPUtime=1237.3
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 188923 667 0 0 123661 69 0 0 25 0 1 0 59419657 131166208 29917 996147200 134512640 135215973 4294956304 18446744073709551615 135094891 0 0 4096 0 0 0 0 17 0 0 0
/proc/14468/statm: 32023 29917 413 171 0 30948 0
Current children cumulated CPU time (s) 1237.3
Current children cumulated vsize (KiB) 128092
[startup+1302.3 s]
/proc/loadavg: 2.05 2.04 2.01 3/82 14670
/proc/meminfo: memFree=1453104/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=128224 CPUtime=1297.07
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 195696 667 0 0 129635 72 0 0 25 0 1 0 59419657 131301376 29930 996147200 134512640 135215973 4294956304 18446744073709551615 134585750 0 0 4096 0 0 0 0 17 0 0 0
/proc/14468/statm: 32056 29930 413 171 0 30981 0
Current children cumulated CPU time (s) 1297.07
Current children cumulated vsize (KiB) 128224
[startup+1362.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/82 14670
/proc/meminfo: memFree=1452848/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=128224 CPUtime=1356.81
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 202521 667 0 0 135607 74 0 0 25 0 1 0 59419657 131301376 29943 996147200 134512640 135215973 4294956304 18446744073709551615 134583674 0 0 4096 0 0 0 0 17 0 0 0
/proc/14468/statm: 32056 29943 413 171 0 30981 0
Current children cumulated CPU time (s) 1356.81
Current children cumulated vsize (KiB) 128224
[startup+1422.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 14670
/proc/meminfo: memFree=1447344/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=133768 CPUtime=1416.58
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 208737 667 0 0 141582 76 0 0 25 0 1 0 59419657 136978432 31323 996147200 134512640 135215973 4294956304 18446744073709551615 134583607 0 0 4096 0 0 0 0 17 0 0 0
/proc/14468/statm: 33442 31323 413 171 0 32367 0
Current children cumulated CPU time (s) 1416.58
Current children cumulated vsize (KiB) 133768
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 14670
/proc/meminfo: memFree=1440880/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=140232 CPUtime=1476.34
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 214675 667 0 0 147556 78 0 0 25 0 1 0 59419657 143597568 32945 996147200 134512640 135215973 4294956304 18446744073709551615 4158960170 0 0 4096 0 0 0 0 17 0 0 0
/proc/14468/statm: 35058 32945 413 171 0 33983 0
Current children cumulated CPU time (s) 1476.34
Current children cumulated vsize (KiB) 140232
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 14670
/proc/meminfo: memFree=1434160/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=146964 CPUtime=1536.1
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 220398 667 0 0 153530 80 0 0 25 0 1 0 59419657 150491136 34612 996147200 134512640 135215973 4294956304 18446744073709551615 134591598 0 0 4096 0 0 0 0 17 0 0 0
/proc/14468/statm: 36741 34612 413 171 0 35666 0
Current children cumulated CPU time (s) 1536.1
Current children cumulated vsize (KiB) 146964
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 14670
/proc/meminfo: memFree=1427184/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=153960 CPUtime=1595.86
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 226153 667 0 0 159504 82 0 0 25 0 1 0 59419657 157655040 36363 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/14468/statm: 38490 36363 413 171 0 37415 0
Current children cumulated CPU time (s) 1595.86
Current children cumulated vsize (KiB) 153960
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14670
/proc/meminfo: memFree=1420080/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=161088 CPUtime=1655.62
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 231574 667 0 0 165477 85 0 0 25 0 1 0 59419657 164954112 38144 996147200 134512640 135215973 4294956304 18446744073709551615 135094891 0 0 4096 0 0 0 0 17 0 0 0
/proc/14468/statm: 40272 38144 413 171 0 39197 0
Current children cumulated CPU time (s) 1655.62
Current children cumulated vsize (KiB) 161088
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14670
/proc/meminfo: memFree=1413168/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=167820 CPUtime=1715.38
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 236708 667 0 0 171451 87 0 0 25 0 1 0 59419657 171847680 39846 996147200 134512640 135215973 4294956304 18446744073709551615 134597400 0 0 4096 0 0 0 0 17 0 0 0
/proc/14468/statm: 41955 39846 413 171 0 40880 0
Current children cumulated CPU time (s) 1715.38
Current children cumulated vsize (KiB) 167820
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14670
/proc/meminfo: memFree=1406704/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=174156 CPUtime=1775.14
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 241368 667 0 0 177425 89 0 0 25 0 1 0 59419657 178335744 41438 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/14468/statm: 43539 41438 413 171 0 42464 0
Current children cumulated CPU time (s) 1775.14
Current children cumulated vsize (KiB) 174156
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1807.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14670
/proc/meminfo: memFree=1403888/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=176928 CPUtime=1800.03
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 243520 667 0 0 179913 90 0 0 25 0 1 0 59419657 181174272 42134 996147200 134512640 135215973 4294956304 18446744073709551615 134585658 0 0 4096 0 0 0 0 17 0 0 0
/proc/14468/statm: 44232 42134 413 171 0 43157 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 176928
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): 1807.34
CPU time (s): 1800.09
CPU user time (s): 1799.14
CPU system time (s): 0.942856
CPU usage (%): 99.5987
Max. virtual memory (cumulated for all children) (KiB): 176928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.14
system time used= 0.942856
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 244187
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= 28
involuntary context switches= 23619
runsolver used 1.74473 second user time and 4.84126 second system time
The end
Begin job on node21 at 2009-07-16 07:52:12
IDJOB=2083672
IDBENCH=57895
IDSOLVER=734
FILE ID=node21/2083672-1247723532
PBS_JOBID= 9521483
Free space on /tmp= 66316 MiB
SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/fapp/fapp32/normalized-fapp32-0550-4.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2083672-1247723532/watcher-2083672-1247723532 -o /tmp/evaluation-result-2083672-1247723532/solver-2083672-1247723532 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 2012417425 HOME/instance-2083672-1247723532.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= b49d49cefe14b8da913a5e29ecc6d023
RANDOM SEED=2012417425
node21.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.240
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.240
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 : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1372088 kB
Buffers: 72808 kB
Cached: 300580 kB
SwapCached: 0 kB
Active: 318836 kB
Inactive: 288740 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1372088 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3032 kB
Writeback: 0 kB
Mapped: 245696 kB
Slab: 61028 kB
Committed_AS: 694400 kB
PageTables: 2272 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= 66324 MiB
End job on node21 at 2009-07-16 08:22:21