runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2069228-1247707993/watcher-2069228-1247707993 -o /tmp/evaluation-result-2069228-1247707993/solver-2069228-1247707993 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 489496031 HOME/instance-2069228-1247707993.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.10 2.06 2.01 4/72 14330
/proc/meminfo: memFree=960752/2055920 swapFree=4192812/4192956
[pid=14330] ppid=14328 vsize=5356 CPUtime=0
/proc/14330/stat : 14330 (pcssolve) R 14328 14330 12831 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 57862111 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 237947644575 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/14330/statm: 1339 241 200 169 0 50 0
[pid=14331] ppid=14330 vsize=3676 CPUtime=0
/proc/14331/stat : 14331 (fgrep) R 14330 14330 12831 0 -1 4194304 139 0 0 0 0 0 0 0 22 0 1 0 57862111 3764224 106 996147200 4194304 4274172 548682068976 18446744073709551615 237947813970 0 0 4096 0 0 0 0 17 1 0 0
/proc/14331/statm: 919 106 85 19 0 43 0
[pid=14332] ppid=14330 vsize=5356 CPUtime=0
/proc/14332/stat : 14332 (pcssolve) R 14330 14330 12831 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 57862111 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 237947644575 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/14332/statm: 1339 241 200 169 0 50 0
[startup+0.079722 s]
/proc/loadavg: 2.10 2.06 2.01 4/72 14330
/proc/meminfo: memFree=960752/2055920 swapFree=4192812/4192956
[pid=14330] ppid=14328 vsize=5356 CPUtime=0.02
/proc/14330/stat : 14330 (pcssolve) S 14328 14330 12831 0 -1 4194304 367 649 0 0 0 0 1 1 22 0 1 0 57862111 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14330/statm: 1339 243 202 169 0 50 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5356
[startup+0.102723 s]
/proc/loadavg: 2.10 2.06 2.01 4/72 14330
/proc/meminfo: memFree=960752/2055920 swapFree=4192812/4192956
[pid=14330] ppid=14328 vsize=5416 CPUtime=0.08
/proc/14330/stat : 14330 (pcs.big) R 14328 14330 12831 0 -1 4194304 1050 826 0 0 1 0 5 2 18 0 1 0 57862111 5545984 659 996147200 134512640 135215973 4294956304 18446744073709551615 134761745 0 0 4096 0 0 0 0 17 1 0 0
/proc/14330/statm: 1354 659 361 171 0 279 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5416
[startup+0.301741 s]
/proc/loadavg: 2.10 2.06 2.01 4/72 14330
/proc/meminfo: memFree=960752/2055920 swapFree=4192812/4192956
[pid=14330] ppid=14328 vsize=12180 CPUtime=0.28
/proc/14330/stat : 14330 (pcs.big) R 14328 14330 12831 0 -1 4194304 2965 826 0 0 20 1 5 2 19 0 1 0 57862111 12472320 2027 996147200 134512640 135215973 4294956304 18446744073709551615 12394213 0 0 4096 0 0 0 0 17 1 0 0
/proc/14330/statm: 3045 2027 385 171 0 1970 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 12180
[startup+0.701774 s]
/proc/loadavg: 2.10 2.06 2.01 4/72 14330
/proc/meminfo: memFree=960752/2055920 swapFree=4192812/4192956
[pid=14330] ppid=14328 vsize=17992 CPUtime=0.68
/proc/14330/stat : 14330 (pcs.big) R 14328 14330 12831 0 -1 4194304 4746 826 0 0 59 2 5 2 22 0 1 0 57862111 18423808 3162 996147200 134512640 135215973 4294956304 18446744073709551615 134761742 0 0 4096 0 0 0 0 17 1 0 0
/proc/14330/statm: 4498 3162 385 171 0 3423 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 17992
[startup+1.50284 s]
/proc/loadavg: 2.10 2.06 2.01 3/73 14336
/proc/meminfo: memFree=946152/2055920 swapFree=4192812/4192956
[pid=14330] ppid=14328 vsize=26044 CPUtime=1.47
/proc/14330/stat : 14330 (pcs.big) R 14328 14330 12831 0 -1 4194304 7497 826 0 0 137 3 5 2 25 0 1 0 57862111 26669056 5161 996147200 134512640 135215973 4294956304 18446744073709551615 4158911794 0 0 4096 0 0 0 0 17 1 0 0
/proc/14330/statm: 6511 5161 385 171 0 5436 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 26044
[startup+3.10197 s]
/proc/loadavg: 2.10 2.06 2.01 3/73 14336
/proc/meminfo: memFree=933544/2055920 swapFree=4192812/4192956
[pid=14330] ppid=14328 vsize=40592 CPUtime=3.05
/proc/14330/stat : 14330 (pcs.big) R 14328 14330 12831 0 -1 4194304 12608 826 0 0 293 5 5 2 25 0 1 0 57862111 41566208 8794 996147200 134512640 135215973 4294956304 18446744073709551615 134762900 0 0 4096 0 0 0 0 17 1 0 0
/proc/14330/statm: 10148 8794 385 171 0 9073 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 40592
[startup+6.30124 s]
/proc/loadavg: 2.10 2.06 2.01 3/73 14336
/proc/meminfo: memFree=875624/2055920 swapFree=4192812/4192956
[pid=14330] ppid=14328 vsize=112508 CPUtime=6.22
/proc/14330/stat : 14330 (pcs.big) R 14328 14330 12831 0 -1 4194304 37241 826 0 0 598 17 5 2 25 0 1 0 57862111 115208192 24659 996147200 134512640 135215973 4294956304 18446744073709551615 134583485 0 0 4096 0 0 0 0 17 1 0 0
/proc/14330/statm: 28127 24659 407 171 0 27052 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 112508
[startup+12.7018 s]
/proc/loadavg: 2.08 2.06 2.01 3/73 14336
/proc/meminfo: memFree=826024/2055920 swapFree=4192812/4192956
[pid=14330] ppid=14328 vsize=144036 CPUtime=12.56
/proc/14330/stat : 14330 (pcs.big) R 14328 14330 12831 0 -1 4194304 49259 826 0 0 1227 22 5 2 25 0 1 0 57862111 147492864 32060 996147200 134512640 135215973 4294956304 18446744073709551615 134533067 0 0 4096 0 0 0 0 17 1 0 0
/proc/14330/statm: 36009 32060 410 171 0 34934 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 144036
[startup+25.5018 s]
/proc/loadavg: 2.07 2.06 2.01 3/73 14336
/proc/meminfo: memFree=803048/2055920 swapFree=4192812/4192956
[pid=14330] ppid=14328 vsize=148392 CPUtime=25.23
/proc/14330/stat : 14330 (pcs.big) R 14328 14330 12831 0 -1 4194304 55627 826 0 0 2492 24 5 2 25 0 1 0 57862111 151953408 34081 996147200 134512640 135215973 4294956304 18446744073709551615 134902230 0 0 4096 0 0 0 0 17 1 0 0
/proc/14330/statm: 37098 34081 410 171 0 36023 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 148392
[startup+51.1019 s]
/proc/loadavg: 2.04 2.05 2.00 3/73 14336
/proc/meminfo: memFree=779048/2055920 swapFree=4192812/4192956
[pid=14330] ppid=14328 vsize=150372 CPUtime=50.59
/proc/14330/stat : 14330 (pcs.big) R 14328 14330 12831 0 -1 4194304 69513 826 0 0 5022 30 5 2 25 0 1 0 57862111 153980928 35087 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/14330/statm: 37593 35087 410 171 0 36518 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 150372
[startup+102.306 s]
/proc/loadavg: 2.02 2.04 2.00 3/73 14336
/proc/meminfo: memFree=738280/2055920 swapFree=4192812/4192956
[pid=14330] ppid=14328 vsize=151496 CPUtime=101.31
/proc/14330/stat : 14330 (pcs.big) R 14328 14330 12831 0 -1 4194304 98302 826 0 0 10082 42 5 2 25 0 1 0 57862111 155131904 35379 996147200 134512640 135215973 4294956304 18446744073709551615 134532674 0 0 4096 0 0 0 0 17 1 0 0
/proc/14330/statm: 37874 35379 410 171 0 36799 0
Current children cumulated CPU time (s) 101.31
Current children cumulated vsize (KiB) 151496
[startup+162.302 s]
/proc/loadavg: 2.00 2.03 2.00 3/73 14336
/proc/meminfo: memFree=649128/2055920 swapFree=4192812/4192956
[pid=14330] ppid=14328 vsize=152160 CPUtime=160.75
/proc/14330/stat : 14330 (pcs.big) R 14328 14330 12831 0 -1 4194304 131149 826 0 0 16013 55 5 2 25 0 1 0 57862111 155811840 35543 996147200 134512640 135215973 4294956304 18446744073709551615 135096571 0 0 4096 0 0 0 0 17 1 0 0
/proc/14330/statm: 38040 35543 410 171 0 36965 0
Current children cumulated CPU time (s) 160.75
Current children cumulated vsize (KiB) 152160
[startup+222.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 14336
/proc/meminfo: memFree=574184/2055920 swapFree=4192812/4192956
[pid=14330] ppid=14328 vsize=153300 CPUtime=220.18
/proc/14330/stat : 14330 (pcs.big) R 14328 14330 12831 0 -1 4194304 154314 826 0 0 21946 65 5 2 25 0 1 0 57862111 156979200 35846 996147200 134512640 135215973 4294956304 18446744073709551615 134599858 0 0 4096 0 0 0 0 17 1 0 0
/proc/14330/statm: 38325 35846 410 171 0 37250 0
Current children cumulated CPU time (s) 220.18
Current children cumulated vsize (KiB) 153300
[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 14336
/proc/meminfo: memFree=495208/2055920 swapFree=4192812/4192956
[pid=14330] ppid=14328 vsize=154084 CPUtime=279.63
/proc/14330/stat : 14330 (pcs.big) R 14328 14330 12831 0 -1 4194304 190078 826 0 0 27876 80 5 2 25 0 1 0 57862111 157782016 36029 996147200 134512640 135215973 4294956304 18446744073709551615 134583496 0 0 4096 0 0 0 0 17 1 0 0
/proc/14330/statm: 38521 36029 410 171 0 37446 0
Current children cumulated CPU time (s) 279.63
Current children cumulated vsize (KiB) 154084
[startup+342.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 14336
/proc/meminfo: memFree=416744/2055920 swapFree=4192812/4192956
[pid=14330] ppid=14328 vsize=154476 CPUtime=339.06
/proc/14330/stat : 14330 (pcs.big) R 14328 14330 12831 0 -1 4194304 218841 826 0 0 33807 92 5 2 25 0 1 0 57862111 158183424 36134 996147200 134512640 135215973 4294956304 18446744073709551615 134532969 0 0 4096 0 0 0 0 17 1 0 0
/proc/14330/statm: 38619 36134 410 171 0 37544 0
Current children cumulated CPU time (s) 339.06
Current children cumulated vsize (KiB) 154476
[startup+402.301 s]
/proc/loadavg: 1.93 1.99 1.99 3/83 14473
/proc/meminfo: memFree=1253464/2055920 swapFree=4192812/4192956
[pid=14330] ppid=14328 vsize=155004 CPUtime=398.5
/proc/14330/stat : 14330 (pcs.big) R 14328 14330 12831 0 -1 4194304 245516 826 0 0 39739 104 5 2 25 0 1 0 57862111 158724096 36244 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/14330/statm: 38751 36244 410 171 0 37676 0
Current children cumulated CPU time (s) 398.5
Current children cumulated vsize (KiB) 155004
[startup+462.301 s]
/proc/loadavg: 1.97 1.99 1.99 3/83 14474
/proc/meminfo: memFree=1251088/2055920 swapFree=4192812/4192956
[pid=14330] ppid=14328 vsize=155268 CPUtime=458.49
/proc/14330/stat : 14330 (pcs.big) R 14328 14330 12831 0 -1 4194304 283441 826 0 0 45722 120 5 2 25 0 1 0 57862111 158994432 36334 996147200 134512640 135215973 4294956304 18446744073709551615 4158960134 0 0 4096 0 0 0 0 17 0 0 0
/proc/14330/statm: 38817 36334 410 171 0 37742 0
Current children cumulated CPU time (s) 458.49
Current children cumulated vsize (KiB) 155268
[startup+522.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/83 14474
/proc/meminfo: memFree=1250064/2055920 swapFree=4192812/4192956
[pid=14330] ppid=14328 vsize=156180 CPUtime=518.46
/proc/14330/stat : 14330 (pcs.big) R 14328 14330 12831 0 -1 4194304 348856 826 0 0 51694 145 5 2 25 0 1 0 57862111 159928320 36544 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/14330/statm: 39045 36544 410 171 0 37970 0
Current children cumulated CPU time (s) 518.46
Current children cumulated vsize (KiB) 156180
[startup+582.302 s]
/proc/loadavg: 1.99 1.99 1.99 3/82 14474
/proc/meminfo: memFree=1249104/2055920 swapFree=4192812/4192956
[pid=14330] ppid=14328 vsize=157072 CPUtime=578.44
/proc/14330/stat : 14330 (pcs.big) R 14328 14330 12831 0 -1 4194304 375819 826 0 0 57680 157 5 2 25 0 1 0 57862111 160841728 36781 996147200 134512640 135215973 4294956304 18446744073709551615 135096475 0 0 4096 0 0 0 0 17 0 0 0
/proc/14330/statm: 39268 36781 410 171 0 38193 0
Current children cumulated CPU time (s) 578.44
Current children cumulated vsize (KiB) 157072
[startup+642.302 s]
/proc/loadavg: 2.06 2.01 2.00 3/83 14516
/proc/meminfo: memFree=1237592/2055920 swapFree=4192812/4192956
[pid=14330] ppid=14328 vsize=165232 CPUtime=638.42
################
# More data... #
################
[startup+822.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14516
/proc/meminfo: memFree=1228440/2055920 swapFree=4192812/4192956
[pid=14330] ppid=14328 vsize=169296 CPUtime=818.35
/proc/14330/stat : 14330 (pcs.big) R 14328 14330 12831 0 -1 4194304 601067 826 0 0 81582 246 5 2 25 0 1 0 57862111 173359104 39849 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/14330/statm: 42324 39849 410 171 0 41249 0
Current children cumulated CPU time (s) 818.35
Current children cumulated vsize (KiB) 169296
[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14516
/proc/meminfo: memFree=1220376/2055920 swapFree=4192812/4192956
[pid=14330] ppid=14328 vsize=177224 CPUtime=878.34
/proc/14330/stat : 14330 (pcs.big) R 14328 14330 12831 0 -1 4194304 667139 826 0 0 87552 275 5 2 25 0 1 0 57862111 181477376 41843 996147200 134512640 135215973 4294956304 18446744073709551615 134585609 0 0 4096 0 0 0 0 17 0 0 0
/proc/14330/statm: 44306 41843 410 171 0 43231 0
Current children cumulated CPU time (s) 878.34
Current children cumulated vsize (KiB) 177224
[startup+942.302 s]
/proc/loadavg: 2.06 2.01 2.00 3/82 14516
/proc/meminfo: memFree=1214936/2055920 swapFree=4192812/4192956
[pid=14330] ppid=14328 vsize=182616 CPUtime=938.32
/proc/14330/stat : 14330 (pcs.big) R 14328 14330 12831 0 -1 4194304 753824 826 0 0 93512 313 5 2 25 0 1 0 57862111 186998784 43198 996147200 134512640 135215973 4294956304 18446744073709551615 134648399 0 0 4096 0 0 0 0 17 0 0 0
/proc/14330/statm: 45654 43198 410 171 0 44579 0
Current children cumulated CPU time (s) 938.32
Current children cumulated vsize (KiB) 182616
[startup+1002.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/82 14516
/proc/meminfo: memFree=1208088/2055920 swapFree=4192812/4192956
[pid=14330] ppid=14328 vsize=189464 CPUtime=998.3
/proc/14330/stat : 14330 (pcs.big) R 14328 14330 12831 0 -1 4194304 832008 826 0 0 99479 344 5 2 25 0 1 0 57862111 194011136 44907 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 0 0 0
/proc/14330/statm: 47366 44907 410 171 0 46291 0
Current children cumulated CPU time (s) 998.3
Current children cumulated vsize (KiB) 189464
[startup+1062.3 s]
/proc/loadavg: 2.21 2.07 2.01 3/82 14516
/proc/meminfo: memFree=1205592/2055920 swapFree=4192812/4192956
[pid=14330] ppid=14328 vsize=191944 CPUtime=1058.27
/proc/14330/stat : 14330 (pcs.big) R 14328 14330 12831 0 -1 4194304 872074 826 0 0 105462 358 5 2 25 0 1 0 57862111 196550656 45528 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/14330/statm: 47986 45528 410 171 0 46911 0
Current children cumulated CPU time (s) 1058.27
Current children cumulated vsize (KiB) 191944
[startup+1122.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/82 14518
/proc/meminfo: memFree=1199256/2055920 swapFree=4192812/4192956
[pid=14330] ppid=14328 vsize=198332 CPUtime=1118.25
/proc/14330/stat : 14330 (pcs.big) R 14328 14330 12831 0 -1 4194304 983628 826 0 0 111414 404 5 2 25 0 1 0 57862111 203091968 47119 996147200 134512640 135215973 4294956304 18446744073709551615 134583510 0 0 4096 0 0 0 0 17 0 0 0
/proc/14330/statm: 49583 47119 410 171 0 48508 0
Current children cumulated CPU time (s) 1118.25
Current children cumulated vsize (KiB) 198332
[startup+1182.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/82 14518
/proc/meminfo: memFree=1198808/2055920 swapFree=4192812/4192956
[pid=14330] ppid=14328 vsize=198708 CPUtime=1178.24
/proc/14330/stat : 14330 (pcs.big) R 14328 14330 12831 0 -1 4194304 1008853 826 0 0 117401 416 5 2 25 0 1 0 57862111 203476992 47228 996147200 134512640 135215973 4294956304 18446744073709551615 134583409 0 0 4096 0 0 0 0 17 0 0 0
/proc/14330/statm: 49677 47228 410 171 0 48602 0
Current children cumulated CPU time (s) 1178.24
Current children cumulated vsize (KiB) 198708
[startup+1242.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/82 14518
/proc/meminfo: memFree=1198168/2055920 swapFree=4192812/4192956
[pid=14330] ppid=14328 vsize=199224 CPUtime=1238.21
/proc/14330/stat : 14330 (pcs.big) R 14328 14330 12831 0 -1 4194304 1046486 826 0 0 123382 432 5 2 25 0 1 0 57862111 204005376 47348 996147200 134512640 135215973 4294956304 18446744073709551615 134532955 0 0 4096 0 0 0 0 17 0 0 0
/proc/14330/statm: 49806 47348 410 171 0 48731 0
Current children cumulated CPU time (s) 1238.21
Current children cumulated vsize (KiB) 199224
[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/82 14518
/proc/meminfo: memFree=1194328/2055920 swapFree=4192812/4192956
[pid=14330] ppid=14328 vsize=203040 CPUtime=1298.2
/proc/14330/stat : 14330 (pcs.big) R 14328 14330 12831 0 -1 4194304 1082220 826 0 0 129367 446 5 2 25 0 1 0 57862111 207912960 48306 996147200 134512640 135215973 4294956304 18446744073709551615 134587605 0 0 4096 0 0 0 0 17 0 0 0
/proc/14330/statm: 50760 48306 410 171 0 49685 0
Current children cumulated CPU time (s) 1298.2
Current children cumulated vsize (KiB) 203040
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 14518
/proc/meminfo: memFree=1192728/2055920 swapFree=4192812/4192956
[pid=14330] ppid=14328 vsize=204592 CPUtime=1358.16
/proc/14330/stat : 14330 (pcs.big) R 14328 14330 12831 0 -1 4194304 1148287 826 0 0 135335 474 5 2 25 0 1 0 57862111 209502208 48685 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 0 0 0
/proc/14330/statm: 51148 48685 410 171 0 50073 0
Current children cumulated CPU time (s) 1358.16
Current children cumulated vsize (KiB) 204592
[startup+1422.31 s]
/proc/loadavg: 2.05 2.03 2.00 3/82 14518
/proc/meminfo: memFree=1192280/2055920 swapFree=4192812/4192956
[pid=14330] ppid=14328 vsize=205108 CPUtime=1418.15
/proc/14330/stat : 14330 (pcs.big) R 14328 14330 12831 0 -1 4194304 1185457 826 0 0 141320 488 5 2 25 0 1 0 57862111 210030592 48792 996147200 134512640 135215973 4294956304 18446744073709551615 134581444 0 0 4096 0 0 0 0 17 0 0 0
/proc/14330/statm: 51277 48792 410 171 0 50202 0
Current children cumulated CPU time (s) 1418.15
Current children cumulated vsize (KiB) 205108
[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/82 14518
/proc/meminfo: memFree=1191896/2055920 swapFree=4192812/4192956
[pid=14330] ppid=14328 vsize=205496 CPUtime=1478.13
/proc/14330/stat : 14330 (pcs.big) R 14328 14330 12831 0 -1 4194304 1221318 826 0 0 147303 503 5 2 25 0 1 0 57862111 210427904 48911 996147200 134512640 135215973 4294956304 18446744073709551615 134902573 0 0 4096 0 0 0 0 17 0 0 0
/proc/14330/statm: 51374 48911 410 171 0 50299 0
Current children cumulated CPU time (s) 1478.13
Current children cumulated vsize (KiB) 205496
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 14518
/proc/meminfo: memFree=1189208/2055920 swapFree=4192812/4192956
[pid=14330] ppid=14328 vsize=208140 CPUtime=1538.1
/proc/14330/stat : 14330 (pcs.big) R 14328 14330 12831 0 -1 4194304 1272212 826 0 0 153280 523 5 2 25 0 1 0 57862111 213135360 49573 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/14330/statm: 52035 49573 410 171 0 50960 0
Current children cumulated CPU time (s) 1538.1
Current children cumulated vsize (KiB) 208140
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 14518
/proc/meminfo: memFree=1188568/2055920 swapFree=4192812/4192956
[pid=14330] ppid=14328 vsize=208792 CPUtime=1598.08
/proc/14330/stat : 14330 (pcs.big) R 14328 14330 12831 0 -1 4194304 1315683 826 0 0 159260 541 5 2 25 0 1 0 57862111 213803008 49735 996147200 134512640 135215973 4294956304 18446744073709551615 134599879 0 0 4096 0 0 0 0 17 0 0 0
/proc/14330/statm: 52198 49735 410 171 0 51123 0
Current children cumulated CPU time (s) 1598.08
Current children cumulated vsize (KiB) 208792
[startup+1662.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/82 14518
/proc/meminfo: memFree=1187096/2055920 swapFree=4192812/4192956
[pid=14330] ppid=14328 vsize=210372 CPUtime=1658.07
/proc/14330/stat : 14330 (pcs.big) R 14328 14330 12831 0 -1 4194304 1354703 826 0 0 165244 556 5 2 25 0 1 0 57862111 215420928 50115 996147200 134512640 135215973 4294956304 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 0 0 0
/proc/14330/statm: 52593 50115 410 171 0 51518 0
Current children cumulated CPU time (s) 1658.07
Current children cumulated vsize (KiB) 210372
[startup+1722.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/82 14524
/proc/meminfo: memFree=1186768/2055920 swapFree=4192812/4192956
[pid=14330] ppid=14328 vsize=212728 CPUtime=1718.03
/proc/14330/stat : 14330 (pcs.big) R 14328 14330 12831 0 -1 4194304 1383468 826 0 0 171229 567 5 2 25 0 1 0 57862111 217833472 50705 996147200 134512640 135215973 4294956304 18446744073709551615 134583366 0 0 4096 0 0 0 0 17 0 0 0
/proc/14330/statm: 53182 50705 410 171 0 52107 0
Current children cumulated CPU time (s) 1718.03
Current children cumulated vsize (KiB) 212728
[startup+1782.3 s]
/proc/loadavg: 2.38 2.16 2.05 3/82 15000
/proc/meminfo: memFree=1183888/2055920 swapFree=4192812/4192956
[pid=14330] ppid=14328 vsize=213100 CPUtime=1776.14
/proc/14330/stat : 14330 (pcs.big) R 14328 14330 12831 0 -1 4194304 1413835 826 0 0 177027 580 5 2 25 0 1 0 57862111 218214400 50804 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/14330/statm: 53275 50804 410 171 0 52200 0
Current children cumulated CPU time (s) 1776.14
Current children cumulated vsize (KiB) 213100
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1806.21 s]
/proc/loadavg: 2.34 2.17 2.05 3/82 15000
/proc/meminfo: memFree=1183632/2055920 swapFree=4192812/4192956
[pid=14330] ppid=14328 vsize=213364 CPUtime=1800.03
/proc/14330/stat : 14330 (pcs.big) R 14328 14330 12831 0 -1 4194304 1427275 826 0 0 179412 584 5 2 25 0 1 0 57862111 218484736 50881 996147200 134512640 135215973 4294956304 18446744073709551615 134532961 0 0 4096 0 0 0 0 17 0 0 0
/proc/14330/statm: 53341 50881 410 171 0 52266 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 213364
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): 1806.24
CPU time (s): 1800.09
CPU user time (s): 1794.18
CPU system time (s): 5.9091
CPU usage (%): 99.6592
Max. virtual memory (cumulated for all children) (KiB): 214008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.18
system time used= 5.9091
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1428101
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= 22
involuntary context switches= 13255
runsolver used 2.45663 second user time and 5.74113 second system time
The end
Begin job on node69 at 2009-07-16 03:33:14
IDJOB=2069228
IDBENCH=55004
IDSOLVER=733
FILE ID=node69/2069228-1247707993
PBS_JOBID= 9521176
Free space on /tmp= 66408 MiB
SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/pseudo/uclid/normalized-ooo-burch-dill-6-accl.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2069228-1247707993/watcher-2069228-1247707993 -o /tmp/evaluation-result-2069228-1247707993/solver-2069228-1247707993 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 489496031 HOME/instance-2069228-1247707993.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= abfb8f80ff93d5abadaddd5835097fdb
RANDOM SEED=489496031
node69.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.211
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.211
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: 961232 kB
Buffers: 81468 kB
Cached: 464164 kB
SwapCached: 0 kB
Active: 648748 kB
Inactive: 364260 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 961232 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 12048 kB
Writeback: 0 kB
Mapped: 479016 kB
Slab: 66124 kB
Committed_AS: 1004428 kB
PageTables: 2740 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= 66408 MiB
End job on node69 at 2009-07-16 04:03:22