runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2071318-1247709891/watcher-2071318-1247709891 -o /tmp/evaluation-result-2071318-1247709891/solver-2071318-1247709891 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1445926616 HOME/instance-2071318-1247709891.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.32 2.17 2.06 4/73 17293
/proc/meminfo: memFree=1671888/2055920 swapFree=4192812/4192956
[pid=17293] ppid=17291 vsize=5344 CPUtime=0
/proc/17293/stat : 17293 (pcssolve) R 17291 17293 16582 0 -1 4194304 152 0 0 0 0 0 0 0 20 0 1 0 58054086 5472256 123 996147200 4194304 4889804 548682068800 18446744073709551615 4542896 0 0 4096 0 0 0 0 17 1 0 0
/proc/17293/statm: 1336 123 98 169 0 47 0
[startup+0.00954805 s]
/proc/loadavg: 2.32 2.17 2.06 4/73 17293
/proc/meminfo: memFree=1671888/2055920 swapFree=4192812/4192956
[pid=17293] ppid=17291 vsize=5356 CPUtime=0
/proc/17293/stat : 17293 (pcssolve) R 17291 17293 16582 0 -1 4194304 309 368 0 0 0 0 0 0 22 0 1 0 58054086 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 251279239839 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/17293/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101565 s]
/proc/loadavg: 2.32 2.17 2.06 4/73 17293
/proc/meminfo: memFree=1671888/2055920 swapFree=4192812/4192956
[pid=17293] ppid=17291 vsize=5480 CPUtime=0.08
/proc/17293/stat : 17293 (pcs.small) R 17291 17293 16582 0 -1 4194304 1010 974 0 0 8 0 0 0 25 0 1 0 58054086 5611520 619 996147200 134512640 135095119 4294956304 18446744073709551615 4484837 0 0 4096 0 0 0 0 17 0 0 0
/proc/17293/statm: 1370 619 375 142 0 324 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5480
[startup+0.301591 s]
/proc/loadavg: 2.32 2.17 2.06 4/73 17293
/proc/meminfo: memFree=1671888/2055920 swapFree=4192812/4192956
[pid=17293] ppid=17291 vsize=8052 CPUtime=0.28
/proc/17293/stat : 17293 (pcs.small) R 17291 17293 16582 0 -1 4194304 1781 974 0 0 28 0 0 0 25 0 1 0 58054086 8245248 1291 996147200 134512640 135095119 4294956304 18446744073709551615 134927054 0 0 4096 0 0 0 0 17 0 0 0
/proc/17293/statm: 2013 1291 400 142 0 967 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 8052
[startup+0.701636 s]
/proc/loadavg: 2.32 2.17 2.06 4/73 17293
/proc/meminfo: memFree=1671888/2055920 swapFree=4192812/4192956
[pid=17293] ppid=17291 vsize=8052 CPUtime=0.68
/proc/17293/stat : 17293 (pcs.small) R 17291 17293 16582 0 -1 4194304 1781 974 0 0 68 0 0 0 25 0 1 0 58054086 8245248 1291 996147200 134512640 135095119 4294956304 18446744073709551615 134918194 0 0 4096 0 0 0 0 17 0 0 0
/proc/17293/statm: 2013 1291 400 142 0 967 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 8052
[startup+1.50174 s]
/proc/loadavg: 2.32 2.17 2.06 3/74 17299
/proc/meminfo: memFree=1667976/2055920 swapFree=4192812/4192956
[pid=17293] ppid=17291 vsize=8052 CPUtime=1.47
/proc/17293/stat : 17293 (pcs.small) R 17291 17293 16582 0 -1 4194304 1781 974 0 0 147 0 0 0 25 0 1 0 58054086 8245248 1291 996147200 134512640 135095119 4294956304 18446744073709551615 134927043 0 0 4096 0 0 0 0 17 0 0 0
/proc/17293/statm: 2013 1291 400 142 0 967 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 8052
[startup+3.10194 s]
/proc/loadavg: 2.32 2.17 2.06 3/74 17299
/proc/meminfo: memFree=1667784/2055920 swapFree=4192812/4192956
[pid=17293] ppid=17291 vsize=8052 CPUtime=3.07
/proc/17293/stat : 17293 (pcs.small) R 17291 17293 16582 0 -1 4194304 1782 974 0 0 307 0 0 0 25 0 1 0 58054086 8245248 1292 996147200 134512640 135095119 4294956304 18446744073709551615 134918203 0 0 4096 0 0 0 0 17 0 0 0
/proc/17293/statm: 2013 1292 400 142 0 967 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 8052
[startup+6.30134 s]
/proc/loadavg: 2.29 2.16 2.06 3/74 17299
/proc/meminfo: memFree=1667784/2055920 swapFree=4192812/4192956
[pid=17293] ppid=17291 vsize=8052 CPUtime=6.25
/proc/17293/stat : 17293 (pcs.small) R 17291 17293 16582 0 -1 4194304 1783 974 0 0 625 0 0 0 25 0 1 0 58054086 8245248 1293 996147200 134512640 135095119 4294956304 18446744073709551615 134918178 0 0 4096 0 0 0 0 17 0 0 0
/proc/17293/statm: 2013 1293 400 142 0 967 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 8052
[startup+12.7011 s]
/proc/loadavg: 2.27 2.16 2.06 3/74 17299
/proc/meminfo: memFree=1667656/2055920 swapFree=4192812/4192956
[pid=17293] ppid=17291 vsize=8052 CPUtime=12.63
/proc/17293/stat : 17293 (pcs.small) R 17291 17293 16582 0 -1 4194304 1802 974 0 0 1263 0 0 0 25 0 1 0 58054086 8245248 1312 996147200 134512640 135095119 4294956304 18446744073709551615 134918253 0 0 4096 0 0 0 0 17 0 0 0
/proc/17293/statm: 2013 1312 400 142 0 967 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 8052
[startup+25.5018 s]
/proc/loadavg: 2.21 2.15 2.06 3/74 17299
/proc/meminfo: memFree=1667656/2055920 swapFree=4192812/4192956
[pid=17293] ppid=17291 vsize=8052 CPUtime=25.37
/proc/17293/stat : 17293 (pcs.small) R 17291 17293 16582 0 -1 4194304 1816 974 0 0 2537 0 0 0 25 0 1 0 58054086 8245248 1326 996147200 134512640 135095119 4294956304 18446744073709551615 134918267 0 0 4096 0 0 0 0 17 0 0 0
/proc/17293/statm: 2013 1326 400 142 0 967 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 8052
[startup+51.102 s]
/proc/loadavg: 2.14 2.14 2.05 3/74 17299
/proc/meminfo: memFree=1667208/2055920 swapFree=4192812/4192956
[pid=17293] ppid=17291 vsize=8672 CPUtime=50.87
/proc/17293/stat : 17293 (pcs.small) R 17291 17293 16582 0 -1 4194304 1969 974 0 0 5087 0 0 0 25 0 1 0 58054086 8880128 1414 996147200 134512640 135095119 4294956304 18446744073709551615 134927070 0 0 4096 0 0 0 0 17 0 0 0
/proc/17293/statm: 2168 1414 400 142 0 1122 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 8672
[startup+102.306 s]
/proc/loadavg: 2.06 2.12 2.05 3/74 17299
/proc/meminfo: memFree=1666248/2055920 swapFree=4192812/4192956
[pid=17293] ppid=17291 vsize=9600 CPUtime=101.86
/proc/17293/stat : 17293 (pcs.small) R 17291 17293 16582 0 -1 4194304 2274 974 0 0 10186 0 0 0 25 0 1 0 58054086 9830400 1590 996147200 134512640 135095119 4294956304 18446744073709551615 134927070 0 0 4096 0 0 0 0 17 0 0 0
/proc/17293/statm: 2400 1590 400 142 0 1354 0
Current children cumulated CPU time (s) 101.86
Current children cumulated vsize (KiB) 9600
[startup+162.302 s]
/proc/loadavg: 2.02 2.09 2.04 3/74 17299
/proc/meminfo: memFree=1665296/2055920 swapFree=4192812/4192956
[pid=17293] ppid=17291 vsize=10120 CPUtime=161.61
/proc/17293/stat : 17293 (pcs.small) R 17291 17293 16582 0 -1 4194304 2489 974 0 0 16161 0 0 0 25 0 1 0 58054086 10362880 1805 996147200 134512640 135095119 4294956304 18446744073709551615 134927384 0 0 4096 0 0 0 0 17 0 0 0
/proc/17293/statm: 2530 1805 400 142 0 1484 0
Current children cumulated CPU time (s) 161.61
Current children cumulated vsize (KiB) 10120
[startup+222.301 s]
/proc/loadavg: 2.00 2.07 2.04 3/74 17299
/proc/meminfo: memFree=1663312/2055920 swapFree=4192812/4192956
[pid=17293] ppid=17291 vsize=12864 CPUtime=221.37
/proc/17293/stat : 17293 (pcs.small) R 17291 17293 16582 0 -1 4194304 3266 974 0 0 22136 1 0 0 25 0 1 0 58054086 13172736 2196 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 0 0 0
/proc/17293/statm: 3216 2196 400 142 0 2170 0
Current children cumulated CPU time (s) 221.37
Current children cumulated vsize (KiB) 12864
[startup+282.302 s]
/proc/loadavg: 2.00 2.06 2.03 3/74 17299
/proc/meminfo: memFree=1662608/2055920 swapFree=4192812/4192956
[pid=17293] ppid=17291 vsize=12864 CPUtime=281.13
/proc/17293/stat : 17293 (pcs.small) R 17291 17293 16582 0 -1 4194304 3356 974 0 0 28112 1 0 0 25 0 1 0 58054086 13172736 2286 996147200 134512640 135095119 4294956304 18446744073709551615 134927001 0 0 4096 0 0 0 0 17 0 0 0
/proc/17293/statm: 3216 2286 400 142 0 2170 0
Current children cumulated CPU time (s) 281.13
Current children cumulated vsize (KiB) 12864
[startup+342.302 s]
/proc/loadavg: 2.00 2.04 2.03 3/74 17299
/proc/meminfo: memFree=1661648/2055920 swapFree=4192812/4192956
[pid=17293] ppid=17291 vsize=13072 CPUtime=340.88
/proc/17293/stat : 17293 (pcs.small) R 17291 17293 16582 0 -1 4194304 3505 974 0 0 34087 1 0 0 25 0 1 0 58054086 13385728 2435 996147200 134512640 135095119 4294956304 18446744073709551615 134918065 0 0 4096 0 0 0 0 17 0 0 0
/proc/17293/statm: 3268 2435 400 142 0 2222 0
Current children cumulated CPU time (s) 340.88
Current children cumulated vsize (KiB) 13072
[startup+402.301 s]
/proc/loadavg: 2.00 2.03 2.02 3/74 17299
/proc/meminfo: memFree=1660240/2055920 swapFree=4192812/4192956
[pid=17293] ppid=17291 vsize=15640 CPUtime=400.65
/proc/17293/stat : 17293 (pcs.small) R 17291 17293 16582 0 -1 4194304 4268 974 0 0 40063 2 0 0 25 0 1 0 58054086 16015360 2685 996147200 134512640 135095119 4294956304 18446744073709551615 134927029 0 0 4096 0 0 0 0 17 0 0 0
/proc/17293/statm: 3910 2685 400 142 0 2864 0
Current children cumulated CPU time (s) 400.65
Current children cumulated vsize (KiB) 15640
[startup+462.302 s]
/proc/loadavg: 2.00 2.03 2.01 3/74 17299
/proc/meminfo: memFree=1658832/2055920 swapFree=4192812/4192956
[pid=17293] ppid=17291 vsize=16264 CPUtime=460.4
/proc/17293/stat : 17293 (pcs.small) R 17291 17293 16582 0 -1 4194304 4523 974 0 0 46038 2 0 0 25 0 1 0 58054086 16654336 2940 996147200 134512640 135095119 4294956304 18446744073709551615 134918148 0 0 4096 0 0 0 0 17 0 0 0
/proc/17293/statm: 4066 2940 400 142 0 3020 0
Current children cumulated CPU time (s) 460.4
Current children cumulated vsize (KiB) 16264
[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.01 3/74 17299
/proc/meminfo: memFree=1657616/2055920 swapFree=4192812/4192956
[pid=17293] ppid=17291 vsize=16888 CPUtime=520.15
/proc/17293/stat : 17293 (pcs.small) R 17291 17293 16582 0 -1 4194304 4769 974 0 0 52013 2 0 0 25 0 1 0 58054086 17293312 3186 996147200 134512640 135095119 4294956304 18446744073709551615 134918253 0 0 4096 0 0 0 0 17 0 0 0
/proc/17293/statm: 4222 3186 400 142 0 3176 0
Current children cumulated CPU time (s) 520.15
Current children cumulated vsize (KiB) 16888
[startup+582.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/74 17299
/proc/meminfo: memFree=1656336/2055920 swapFree=4192812/4192956
[pid=17293] ppid=17291 vsize=17408 CPUtime=579.91
/proc/17293/stat : 17293 (pcs.small) R 17291 17293 16582 0 -1 4194304 4997 974 0 0 57989 2 0 0 25 0 1 0 58054086 17825792 3414 996147200 134512640 135095119 4294956304 18446744073709551615 134918238 0 0 4096 0 0 0 0 17 0 0 0
/proc/17293/statm: 4352 3414 400 142 0 3306 0
Current children cumulated CPU time (s) 579.91
Current children cumulated vsize (KiB) 17408
[startup+642.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/74 17299
/proc/meminfo: memFree=1654928/2055920 swapFree=4192812/4192956
[pid=17293] ppid=17291 vsize=17928 CPUtime=639.68
/proc/17293/stat : 17293 (pcs.small) R 17291 17293 16582 0 -1 4194304 5255 974 0 0 63965 3 0 0 25 0 1 0 58054086 18358272 3672 996147200 134512640 135095119 4294956304 18446744073709551615 134918169 0 0 4096 0 0 0 0 17 0 0 0
/proc/17293/statm: 4482 3672 400 142 0 3436 0
Current children cumulated CPU time (s) 639.68
Current children cumulated vsize (KiB) 17928
[startup+702.302 s]
################
# More data... #
################
[startup+822.302 s]
/proc/loadavg: 1.92 1.97 1.99 3/83 17374
/proc/meminfo: memFree=1637256/2055920 swapFree=4192812/4192956
[pid=17293] ppid=17291 vsize=26860 CPUtime=818.62
/proc/17293/stat : 17293 (pcs.small) R 17291 17293 16582 0 -1 4194304 7762 974 0 0 81857 5 0 0 25 0 1 0 58054086 27504640 4897 996147200 134512640 135095119 4294956304 18446744073709551615 134927011 0 0 4096 0 0 0 0 17 0 0 0
/proc/17293/statm: 6715 4897 400 142 0 5669 0
Current children cumulated CPU time (s) 818.62
Current children cumulated vsize (KiB) 26860
[startup+882.301 s]
/proc/loadavg: 1.97 1.97 1.99 3/83 17374
/proc/meminfo: memFree=1636744/2055920 swapFree=4192812/4192956
[pid=17293] ppid=17291 vsize=26860 CPUtime=878.1
/proc/17293/stat : 17293 (pcs.small) R 17291 17293 16582 0 -1 4194304 7853 974 0 0 87805 5 0 0 25 0 1 0 58054086 27504640 4988 996147200 134512640 135095119 4294956304 18446744073709551615 134927013 0 0 4096 0 0 0 0 17 0 0 0
/proc/17293/statm: 6715 4988 400 142 0 5669 0
Current children cumulated CPU time (s) 878.1
Current children cumulated vsize (KiB) 26860
[startup+942.302 s]
/proc/loadavg: 1.99 1.97 1.99 3/83 17374
/proc/meminfo: memFree=1636360/2055920 swapFree=4192812/4192956
[pid=17293] ppid=17291 vsize=26860 CPUtime=937.58
/proc/17293/stat : 17293 (pcs.small) R 17291 17293 16582 0 -1 4194304 7936 974 0 0 93753 5 0 0 25 0 1 0 58054086 27504640 5071 996147200 134512640 135095119 4294956304 18446744073709551615 134926985 0 0 4096 0 0 0 0 17 0 0 0
/proc/17293/statm: 6715 5071 400 142 0 5669 0
Current children cumulated CPU time (s) 937.58
Current children cumulated vsize (KiB) 26860
[startup+1002.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/83 17374
/proc/meminfo: memFree=1635976/2055920 swapFree=4192812/4192956
[pid=17293] ppid=17291 vsize=26860 CPUtime=997.07
/proc/17293/stat : 17293 (pcs.small) R 17291 17293 16582 0 -1 4194304 8019 974 0 0 99702 5 0 0 25 0 1 0 58054086 27504640 5154 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 0 0 0
/proc/17293/statm: 6715 5154 400 142 0 5669 0
Current children cumulated CPU time (s) 997.07
Current children cumulated vsize (KiB) 26860
[startup+1062.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/83 17374
/proc/meminfo: memFree=1635656/2055920 swapFree=4192812/4192956
[pid=17293] ppid=17291 vsize=26860 CPUtime=1056.54
/proc/17293/stat : 17293 (pcs.small) R 17291 17293 16582 0 -1 4194304 8104 974 0 0 105649 5 0 0 25 0 1 0 58054086 27504640 5239 996147200 134512640 135095119 4294956304 18446744073709551615 134927080 0 0 4096 0 0 0 0 17 0 0 0
/proc/17293/statm: 6715 5239 400 142 0 5669 0
Current children cumulated CPU time (s) 1056.54
Current children cumulated vsize (KiB) 26860
[startup+1122.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/83 17374
/proc/meminfo: memFree=1634824/2055920 swapFree=4192812/4192956
[pid=17293] ppid=17291 vsize=27276 CPUtime=1116.04
/proc/17293/stat : 17293 (pcs.small) R 17291 17293 16582 0 -1 4194304 8302 974 0 0 111598 6 0 0 25 0 1 0 58054086 27930624 5437 996147200 134512640 135095119 4294956304 18446744073709551615 134918271 0 0 4096 0 0 0 0 17 0 0 0
/proc/17293/statm: 6819 5437 400 142 0 5773 0
Current children cumulated CPU time (s) 1116.04
Current children cumulated vsize (KiB) 27276
[startup+1182.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/83 17374
/proc/meminfo: memFree=1634056/2055920 swapFree=4192812/4192956
[pid=17293] ppid=17291 vsize=27692 CPUtime=1175.52
/proc/17293/stat : 17293 (pcs.small) R 17291 17293 16582 0 -1 4194304 8494 974 0 0 117546 6 0 0 25 0 1 0 58054086 28356608 5629 996147200 134512640 135095119 4294956304 18446744073709551615 134918136 0 0 4096 0 0 0 0 17 0 0 0
/proc/17293/statm: 6923 5629 400 142 0 5877 0
Current children cumulated CPU time (s) 1175.52
Current children cumulated vsize (KiB) 27692
[startup+1242.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/83 17374
/proc/meminfo: memFree=1633288/2055920 swapFree=4192812/4192956
[pid=17293] ppid=17291 vsize=28108 CPUtime=1235
/proc/17293/stat : 17293 (pcs.small) R 17291 17293 16582 0 -1 4194304 8687 974 0 0 123494 6 0 0 25 0 1 0 58054086 28782592 5822 996147200 134512640 135095119 4294956304 18446744073709551615 134918196 0 0 4096 0 0 0 0 17 0 0 0
/proc/17293/statm: 7027 5822 400 142 0 5981 0
Current children cumulated CPU time (s) 1235
Current children cumulated vsize (KiB) 28108
[startup+1302.3 s]
/proc/loadavg: 2.12 2.00 2.00 3/83 17374
/proc/meminfo: memFree=1632456/2055920 swapFree=4192812/4192956
[pid=17293] ppid=17291 vsize=28524 CPUtime=1294.48
/proc/17293/stat : 17293 (pcs.small) R 17291 17293 16582 0 -1 4194304 8883 974 0 0 129442 6 0 0 25 0 1 0 58054086 29208576 6018 996147200 134512640 135095119 4294956304 18446744073709551615 134918139 0 0 4096 0 0 0 0 17 0 0 0
/proc/17293/statm: 7131 6018 400 142 0 6085 0
Current children cumulated CPU time (s) 1294.48
Current children cumulated vsize (KiB) 28524
[startup+1362.3 s]
/proc/loadavg: 2.10 2.01 2.00 3/83 17374
/proc/meminfo: memFree=1631688/2055920 swapFree=4192812/4192956
[pid=17293] ppid=17291 vsize=29044 CPUtime=1353.97
/proc/17293/stat : 17293 (pcs.small) R 17291 17293 16582 0 -1 4194304 9088 974 0 0 135391 6 0 0 25 0 1 0 58054086 29741056 6223 996147200 134512640 135095119 4294956304 18446744073709551615 134918235 0 0 4096 0 0 0 0 17 0 0 0
/proc/17293/statm: 7261 6223 400 142 0 6215 0
Current children cumulated CPU time (s) 1353.97
Current children cumulated vsize (KiB) 29044
[startup+1422.31 s]
/proc/loadavg: 2.09 2.03 2.00 3/83 17374
/proc/meminfo: memFree=1630792/2055920 swapFree=4192812/4192956
[pid=17293] ppid=17291 vsize=29460 CPUtime=1413.46
/proc/17293/stat : 17293 (pcs.small) R 17291 17293 16582 0 -1 4194304 9291 974 0 0 141339 7 0 0 25 0 1 0 58054086 30167040 6426 996147200 134512640 135095119 4294956304 18446744073709551615 134918249 0 0 4096 0 0 0 0 17 0 0 0
/proc/17293/statm: 7365 6426 400 142 0 6319 0
Current children cumulated CPU time (s) 1413.46
Current children cumulated vsize (KiB) 29460
[startup+1482.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/83 17374
/proc/meminfo: memFree=1629896/2055920 swapFree=4192812/4192956
[pid=17293] ppid=17291 vsize=29980 CPUtime=1472.94
/proc/17293/stat : 17293 (pcs.small) R 17291 17293 16582 0 -1 4194304 9514 974 0 0 147287 7 0 0 25 0 1 0 58054086 30699520 6649 996147200 134512640 135095119 4294956304 18446744073709551615 134918163 0 0 4096 0 0 0 0 17 0 0 0
/proc/17293/statm: 7495 6649 400 142 0 6449 0
Current children cumulated CPU time (s) 1472.94
Current children cumulated vsize (KiB) 29980
[startup+1542.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/83 17374
/proc/meminfo: memFree=1628744/2055920 swapFree=4192812/4192956
[pid=17293] ppid=17291 vsize=30604 CPUtime=1532.42
/proc/17293/stat : 17293 (pcs.small) R 17291 17293 16582 0 -1 4194304 9799 974 0 0 153235 7 0 0 25 0 1 0 58054086 31338496 6934 996147200 134512640 135095119 4294956304 18446744073709551615 134918148 0 0 4096 0 0 0 0 17 0 0 0
/proc/17293/statm: 7651 6934 400 142 0 6605 0
Current children cumulated CPU time (s) 1532.42
Current children cumulated vsize (KiB) 30604
[startup+1602.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/83 17374
/proc/meminfo: memFree=1627656/2055920 swapFree=4192812/4192956
[pid=17293] ppid=17291 vsize=39420 CPUtime=1591.9
/proc/17293/stat : 17293 (pcs.small) R 17291 17293 16582 0 -1 4194304 12111 974 0 0 159182 8 0 0 25 0 1 0 58054086 40366080 7197 996147200 134512640 135095119 4294956304 18446744073709551615 134926990 0 0 4096 0 0 0 0 17 0 0 0
/proc/17293/statm: 9855 7197 400 142 0 8809 0
Current children cumulated CPU time (s) 1591.9
Current children cumulated vsize (KiB) 39420
[startup+1662.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/83 17374
/proc/meminfo: memFree=1626632/2055920 swapFree=4192812/4192956
[pid=17293] ppid=17291 vsize=40044 CPUtime=1651.38
/proc/17293/stat : 17293 (pcs.small) R 17291 17293 16582 0 -1 4194304 12353 974 0 0 165130 8 0 0 25 0 1 0 58054086 41005056 7439 996147200 134512640 135095119 4294956304 18446744073709551615 134927029 0 0 4096 0 0 0 0 17 0 0 0
/proc/17293/statm: 10011 7439 400 142 0 8965 0
Current children cumulated CPU time (s) 1651.38
Current children cumulated vsize (KiB) 40044
[startup+1722.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/83 17374
/proc/meminfo: memFree=1625800/2055920 swapFree=4192812/4192956
[pid=17293] ppid=17291 vsize=40564 CPUtime=1710.88
/proc/17293/stat : 17293 (pcs.small) R 17291 17293 16582 0 -1 4194304 12581 974 0 0 171079 9 0 0 25 0 1 0 58054086 41537536 7667 996147200 134512640 135095119 4294956304 18446744073709551615 134918233 0 0 4096 0 0 0 0 17 0 0 0
/proc/17293/statm: 10141 7667 400 142 0 9095 0
Current children cumulated CPU time (s) 1710.88
Current children cumulated vsize (KiB) 40564
[startup+1782.3 s]
/proc/loadavg: 2.09 2.07 2.01 3/83 17374
/proc/meminfo: memFree=1624648/2055920 swapFree=4192812/4192956
[pid=17293] ppid=17291 vsize=41084 CPUtime=1770.36
/proc/17293/stat : 17293 (pcs.small) R 17291 17293 16582 0 -1 4194304 12832 974 0 0 177027 9 0 0 25 0 1 0 58054086 42070016 7918 996147200 134512640 135095119 4294956304 18446744073709551615 134927086 0 0 4096 0 0 0 0 17 0 0 0
/proc/17293/statm: 10271 7918 400 142 0 9225 0
Current children cumulated CPU time (s) 1770.36
Current children cumulated vsize (KiB) 41084
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1812.2 s]
/proc/loadavg: 2.05 2.06 2.00 3/83 17374
/proc/meminfo: memFree=1624264/2055920 swapFree=4192812/4192956
[pid=17293] ppid=17291 vsize=41292 CPUtime=1800
/proc/17293/stat : 17293 (pcs.small) R 17291 17293 16582 0 -1 4194304 12945 974 0 0 179991 9 0 0 25 0 1 0 58054086 42283008 8031 996147200 134512640 135095119 4294956304 18446744073709551615 134927029 0 0 4096 0 0 0 0 17 0 0 0
/proc/17293/statm: 10323 8031 400 142 0 9277 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 41292
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): 1812.21
CPU time (s): 1800.03
CPU user time (s): 1799.91
CPU system time (s): 0.110983
CPU usage (%): 99.3276
Max. virtual memory (cumulated for all children) (KiB): 41320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.91
system time used= 0.110983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13919
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= 18
involuntary context switches= 35612
runsolver used 1.81372 second user time and 4.78827 second system time
The end
Begin job on node92 at 2009-07-16 04:04:51
IDJOB=2071318
IDBENCH=55476
IDSOLVER=733
FILE ID=node92/2071318-1247709891
PBS_JOBID= 9521328
Free space on /tmp= 66304 MiB
SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/lexHerald/normalized-crossword-m1-lex-15-06.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2071318-1247709891/watcher-2071318-1247709891 -o /tmp/evaluation-result-2071318-1247709891/solver-2071318-1247709891 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1445926616 HOME/instance-2071318-1247709891.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= eef8a570e01fe338475a47402241861f
RANDOM SEED=1445926616
node92.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.216
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.216
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: 1672304 kB
Buffers: 70172 kB
Cached: 220800 kB
SwapCached: 0 kB
Active: 89548 kB
Inactive: 224840 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1672304 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2156 kB
Writeback: 0 kB
Mapped: 34844 kB
Slab: 54580 kB
Committed_AS: 485560 kB
PageTables: 1844 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= 66304 MiB
End job on node92 at 2009-07-16 04:35:05