0.00/0.01 c small-domain mode
0.18/0.23 c Seed is 625789191
0.18/0.23 c Constructing HOME/instance-2058283-1247694243.xml with 7762 constraints
0.18/0.23 c Solving 299894 backtracks 22 restarts
1757.95/1774.65 s SATISFIABLE
1757.95/1774.65 c V0=5, V1=4, V2=1, V3=11, V4=17, V5=3, V6=8, V7=17, V8=2, V9=7, V10=10, V11=12, V12=7, V13=12, V14=0, V15=1, V16=1, V17=16, V18=12, V19=10, V20=17, V21=16, V22=17, V23=6, V24=3, V25=10, V26=6, V27=7, V28=6, V29=8, V30=2, V31=11, V32=14, V33=6, V34=15, V35=4, V36=18, V37=4, V38=12, V39=17,
1757.95/1774.65 v 5 4 1 11 17 3 8 17 2 7 10 12 7 12 0 1 1 16 12 10 17 16 17 6 3 10 6 7 6 8 2 11 14 6 15 4 18 4 12 17
1757.95/1774.65 d ASSIGNMENTS 299894
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2058283-1247694243/watcher-2058283-1247694243 -o /tmp/evaluation-result-2058283-1247694243/solver-2058283-1247694243 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 625789191 HOME/instance-2058283-1247694243.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: 0.34 0.08 0.02 4/73 10866
/proc/meminfo: memFree=1401080/2055920 swapFree=4192812/4192956
[pid=10866] ppid=10864 vsize=18576 CPUtime=0
/proc/10866/stat : 10866 (runsolver) R 10864 10866 10721 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 56489643 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 210723466535 0 0 4096 24578 0 0 0 17 1 0 0
/proc/10866/statm: 4644 284 249 26 0 2626 0
[startup+0.072001 s]
/proc/loadavg: 0.34 0.08 0.02 4/73 10866
/proc/meminfo: memFree=1401080/2055920 swapFree=4192812/4192956
[pid=10866] ppid=10864 vsize=5168 CPUtime=0.05
/proc/10866/stat : 10866 (pcs.small) R 10864 10866 10721 0 -1 4194304 1010 822 0 0 5 0 0 0 18 0 1 0 56489643 5292032 619 996147200 134512640 135095119 4294956304 18446744073709551615 134694176 0 0 4096 0 0 0 0 17 1 0 0
/proc/10866/statm: 1292 619 364 142 0 246 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5168
[startup+0.102999 s]
/proc/loadavg: 0.34 0.08 0.02 4/73 10866
/proc/meminfo: memFree=1401080/2055920 swapFree=4192812/4192956
[pid=10866] ppid=10864 vsize=5696 CPUtime=0.08
/proc/10866/stat : 10866 (pcs.small) R 10864 10866 10721 0 -1 4194304 1151 822 0 0 8 0 0 0 18 0 1 0 56489643 5832704 760 996147200 134512640 135095119 4294956304 18446744073709551615 8142332 0 0 4096 0 0 0 0 17 1 0 0
/proc/10866/statm: 1424 760 367 142 0 378 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5696
[startup+0.301027 s]
/proc/loadavg: 0.34 0.08 0.02 4/73 10866
/proc/meminfo: memFree=1401080/2055920 swapFree=4192812/4192956
[pid=10866] ppid=10864 vsize=6640 CPUtime=0.28
/proc/10866/stat : 10866 (pcs.small) R 10864 10866 10721 0 -1 4194304 1415 822 0 0 28 0 0 0 19 0 1 0 56489643 6799360 991 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/10866/statm: 1660 991 379 142 0 614 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 6640
[startup+0.701071 s]
/proc/loadavg: 0.34 0.08 0.02 4/73 10866
/proc/meminfo: memFree=1401080/2055920 swapFree=4192812/4192956
[pid=10866] ppid=10864 vsize=6380 CPUtime=0.67
/proc/10866/stat : 10866 (pcs.small) R 10864 10866 10721 0 -1 4194304 1416 822 0 0 67 0 0 0 23 0 1 0 56489643 6533120 927 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/10866/statm: 1595 927 379 142 0 549 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 6380
[startup+1.50117 s]
/proc/loadavg: 0.34 0.08 0.02 3/74 10872
/proc/meminfo: memFree=1398384/2055920 swapFree=4192812/4192956
[pid=10866] ppid=10864 vsize=6640 CPUtime=1.47
/proc/10866/stat : 10866 (pcs.small) R 10864 10866 10721 0 -1 4194304 1466 822 0 0 147 0 0 0 25 0 1 0 56489643 6799360 977 996147200 134512640 135095119 4294956304 18446744073709551615 134642952 0 0 4096 0 0 0 0 17 1 0 0
/proc/10866/statm: 1660 977 379 142 0 614 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 6640
[startup+3.10136 s]
/proc/loadavg: 0.34 0.08 0.02 3/74 10872
/proc/meminfo: memFree=1397680/2055920 swapFree=4192812/4192956
[pid=10866] ppid=10864 vsize=7288 CPUtime=3.05
/proc/10866/stat : 10866 (pcs.small) R 10864 10866 10721 0 -1 4194304 1676 822 0 0 305 0 0 0 25 0 1 0 56489643 7462912 1122 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/10866/statm: 1822 1122 379 142 0 776 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 7288
[startup+6.30173 s]
/proc/loadavg: 0.47 0.11 0.04 3/74 10872
/proc/meminfo: memFree=1396016/2055920 swapFree=4192812/4192956
[pid=10866] ppid=10864 vsize=9620 CPUtime=6.22
/proc/10866/stat : 10866 (pcs.small) R 10864 10866 10721 0 -1 4194304 2242 822 0 0 621 1 0 0 25 0 1 0 56489643 9850880 1559 996147200 134512640 135095119 4294956304 18446744073709551615 134636924 0 0 4096 0 0 0 0 17 1 0 0
/proc/10866/statm: 2405 1559 379 142 0 1359 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 9620
[startup+12.7015 s]
/proc/loadavg: 0.59 0.14 0.05 3/74 10872
/proc/meminfo: memFree=1392688/2055920 swapFree=4192812/4192956
[pid=10866] ppid=10864 vsize=10908 CPUtime=12.56
/proc/10866/stat : 10866 (pcs.small) R 10864 10866 10721 0 -1 4194304 2742 822 0 0 1255 1 0 0 25 0 1 0 56489643 11169792 1802 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/10866/statm: 2727 1802 379 142 0 1681 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 10908
[startup+25.503 s]
/proc/loadavg: 0.91 0.23 0.08 3/74 10872
/proc/meminfo: memFree=1386672/2055920 swapFree=4192812/4192956
[pid=10866] ppid=10864 vsize=16344 CPUtime=25.24
/proc/10866/stat : 10866 (pcs.small) R 10864 10866 10721 0 -1 4194304 4400 822 0 0 2521 3 0 0 25 0 1 0 56489643 16736256 2690 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 1 0 0
/proc/10866/statm: 4086 2690 379 142 0 3040 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 16344
[startup+51.103 s]
/proc/loadavg: 1.28 0.37 0.13 3/74 10872
/proc/meminfo: memFree=1379568/2055920 swapFree=4192812/4192956
[pid=10866] ppid=10864 vsize=17524 CPUtime=50.59
/proc/10866/stat : 10866 (pcs.small) R 10864 10866 10721 0 -1 4194304 5119 822 0 0 5056 3 0 0 25 0 1 0 56489643 17944576 3409 996147200 134512640 135095119 4294956304 18446744073709551615 134616916 0 0 4096 0 0 0 0 17 1 0 0
/proc/10866/statm: 4381 3409 379 142 0 3335 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 17524
[startup+102.308 s]
/proc/loadavg: 1.68 0.62 0.22 3/74 10872
/proc/meminfo: memFree=1366128/2055920 swapFree=4192812/4192956
[pid=10866] ppid=10864 vsize=29192 CPUtime=101.32
/proc/10866/stat : 10866 (pcs.small) R 10864 10866 10721 0 -1 4194304 8633 822 0 0 10126 6 0 0 25 0 1 0 56489643 29892608 5385 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/10866/statm: 7298 5385 379 142 0 6252 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 29192
[startup+162.302 s]
/proc/loadavg: 1.88 0.87 0.33 3/74 10872
/proc/meminfo: memFree=1357936/2055920 swapFree=4192812/4192956
[pid=10866] ppid=10864 vsize=29844 CPUtime=160.76
/proc/10866/stat : 10866 (pcs.small) R 10864 10866 10721 0 -1 4194304 9343 822 0 0 16069 7 0 0 25 0 1 0 56489643 30560256 6095 996147200 134512640 135095119 4294956304 18446744073709551615 134642864 0 0 4096 0 0 0 0 17 1 0 0
/proc/10866/statm: 7461 6095 379 142 0 6415 0
Current children cumulated CPU time (s) 160.76
Current children cumulated vsize (KiB) 29844
[startup+222.302 s]
/proc/loadavg: 1.95 1.07 0.43 3/74 10872
/proc/meminfo: memFree=1344752/2055920 swapFree=4192812/4192956
[pid=10866] ppid=10864 vsize=40268 CPUtime=220.19
/proc/10866/stat : 10866 (pcs.small) R 10864 10866 10721 0 -1 4194304 12435 822 0 0 22009 10 0 0 25 0 1 0 56489643 41234432 7138 996147200 134512640 135095119 4294956304 18446744073709551615 134617017 0 0 4096 0 0 0 0 17 1 0 0
/proc/10866/statm: 10067 7138 379 142 0 9021 0
Current children cumulated CPU time (s) 220.19
Current children cumulated vsize (KiB) 40268
[startup+282.302 s]
/proc/loadavg: 1.98 1.24 0.53 3/74 10872
/proc/meminfo: memFree=1338992/2055920 swapFree=4192812/4192956
[pid=10866] ppid=10864 vsize=42496 CPUtime=279.63
/proc/10866/stat : 10866 (pcs.small) R 10864 10866 10721 0 -1 4194304 13428 822 0 0 27951 12 0 0 25 0 1 0 56489643 43515904 8131 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/10866/statm: 10624 8131 379 142 0 9578 0
Current children cumulated CPU time (s) 279.63
Current children cumulated vsize (KiB) 42496
[startup+342.302 s]
/proc/loadavg: 1.99 1.38 0.62 3/74 10872
/proc/meminfo: memFree=1333168/2055920 swapFree=4192812/4192956
[pid=10866] ppid=10864 vsize=44452 CPUtime=339.07
/proc/10866/stat : 10866 (pcs.small) R 10864 10866 10721 0 -1 4194304 14307 822 0 0 33894 13 0 0 25 0 1 0 56489643 45518848 9010 996147200 134512640 135095119 4294956304 18446744073709551615 134642978 0 0 4096 0 0 0 0 17 1 0 0
/proc/10866/statm: 11113 9010 379 142 0 10067 0
Current children cumulated CPU time (s) 339.07
Current children cumulated vsize (KiB) 44452
[startup+402.301 s]
/proc/loadavg: 1.99 1.49 0.70 3/74 10872
/proc/meminfo: memFree=1321136/2055920 swapFree=4192812/4192956
[pid=10866] ppid=10864 vsize=55672 CPUtime=398.51
/proc/10866/stat : 10866 (pcs.small) R 10864 10866 10721 0 -1 4194304 17487 822 0 0 39836 15 0 0 25 0 1 0 56489643 57008128 11165 996147200 134512640 135095119 4294956304 18446744073709551615 134617064 0 0 4096 0 0 0 0 17 1 0 0
/proc/10866/statm: 13918 11165 379 142 0 12872 0
Current children cumulated CPU time (s) 398.51
Current children cumulated vsize (KiB) 55672
[startup+462.301 s]
/proc/loadavg: 1.99 1.58 0.78 3/74 10874
/proc/meminfo: memFree=1316336/2055920 swapFree=4192812/4192956
[pid=10866] ppid=10864 vsize=55672 CPUtime=457.94
/proc/10866/stat : 10866 (pcs.small) R 10864 10866 10721 0 -1 4194304 17836 822 0 0 45779 15 0 0 25 0 1 0 56489643 57008128 11514 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 1 0 0
/proc/10866/statm: 13918 11514 379 142 0 12872 0
Current children cumulated CPU time (s) 457.94
Current children cumulated vsize (KiB) 55672
[startup+522.301 s]
/proc/loadavg: 1.99 1.65 0.85 3/74 10874
/proc/meminfo: memFree=1311856/2055920 swapFree=4192812/4192956
[pid=10866] ppid=10864 vsize=55672 CPUtime=517.39
/proc/10866/stat : 10866 (pcs.small) R 10864 10866 10721 0 -1 4194304 18161 822 0 0 51723 16 0 0 25 0 1 0 56489643 57008128 11839 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/10866/statm: 13918 11839 379 142 0 12872 0
Current children cumulated CPU time (s) 517.39
Current children cumulated vsize (KiB) 55672
[startup+582.301 s]
/proc/loadavg: 1.99 1.71 0.92 3/74 10874
/proc/meminfo: memFree=1307120/2055920 swapFree=4192812/4192956
[pid=10866] ppid=10864 vsize=56064 CPUtime=576.82
/proc/10866/stat : 10866 (pcs.small) R 10864 10866 10721 0 -1 4194304 18587 822 0 0 57666 16 0 0 25 0 1 0 56489643 57409536 12265 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 1 0 0
/proc/10866/statm: 14016 12265 379 142 0 12970 0
Current children cumulated CPU time (s) 576.82
Current children cumulated vsize (KiB) 56064
[startup+642.301 s]
/proc/loadavg: 1.99 1.76 0.99 3/74 10874
/proc/meminfo: memFree=1301552/2055920 swapFree=4192812/4192956
[pid=10866] ppid=10864 vsize=57368 CPUtime=636.26
/proc/10866/stat : 10866 (pcs.small) R 10864 10866 10721 0 -1 4194304 19244 822 0 0 63609 17 0 0 25 0 1 0 56489643 58744832 12922 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/10866/statm: 14342 12922 379 142 0 13296 0
Current children cumulated CPU time (s) 636.26
Current children cumulated vsize (KiB) 57368
[startup+702.301 s]
################
# More data... #
################
/proc/meminfo: memFree=1253744/2055920 swapFree=4192812/4192956
[pid=10866] ppid=10864 vsize=85364 CPUtime=1171.18
/proc/10866/stat : 10866 (pcs.small) R 10864 10866 10721 0 -1 4194304 28636 822 0 0 117092 26 0 0 25 0 1 0 56489643 87412736 18217 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 1 0 0
/proc/10866/statm: 21341 18217 379 142 0 20295 0
Current children cumulated CPU time (s) 1171.18
Current children cumulated vsize (KiB) 85364
[startup+1242.3 s]
/proc/loadavg: 1.99 1.95 1.45 3/74 10880
/proc/meminfo: memFree=1250416/2055920 swapFree=4192812/4192956
[pid=10866] ppid=10864 vsize=86536 CPUtime=1230.62
/proc/10866/stat : 10866 (pcs.small) R 10864 10866 10721 0 -1 4194304 29166 822 0 0 123035 27 0 0 25 0 1 0 56489643 88612864 18747 996147200 134512640 135095119 4294956304 18446744073709551615 134637494 0 0 4096 0 0 0 0 17 1 0 0
/proc/10866/statm: 21634 18747 379 142 0 20588 0
Current children cumulated CPU time (s) 1230.62
Current children cumulated vsize (KiB) 86536
[startup+1302.3 s]
/proc/loadavg: 1.99 1.96 1.48 3/74 10880
/proc/meminfo: memFree=1247280/2055920 swapFree=4192812/4192956
[pid=10866] ppid=10864 vsize=87704 CPUtime=1290.07
/proc/10866/stat : 10866 (pcs.small) R 10864 10866 10721 0 -1 4194304 29687 822 0 0 128979 28 0 0 25 0 1 0 56489643 89808896 19268 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/10866/statm: 21926 19268 379 142 0 20880 0
Current children cumulated CPU time (s) 1290.07
Current children cumulated vsize (KiB) 87704
[startup+1362.3 s]
/proc/loadavg: 1.99 1.96 1.51 3/74 10880
/proc/meminfo: memFree=1230832/2055920 swapFree=4192812/4192956
[pid=10866] ppid=10864 vsize=109880 CPUtime=1349.5
/proc/10866/stat : 10866 (pcs.small) R 10864 10866 10721 0 -1 4194304 35449 822 0 0 134920 30 0 0 25 0 1 0 56489643 112517120 22981 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/10866/statm: 27470 22981 379 142 0 26424 0
Current children cumulated CPU time (s) 1349.5
Current children cumulated vsize (KiB) 109880
[startup+1422.31 s]
/proc/loadavg: 1.99 1.97 1.54 3/74 10880
/proc/meminfo: memFree=1227952/2055920 swapFree=4192812/4192956
[pid=10866] ppid=10864 vsize=109880 CPUtime=1408.94
/proc/10866/stat : 10866 (pcs.small) R 10864 10866 10721 0 -1 4194304 35678 822 0 0 140864 30 0 0 25 0 1 0 56489643 112517120 23210 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/10866/statm: 27470 23210 379 142 0 26424 0
Current children cumulated CPU time (s) 1408.94
Current children cumulated vsize (KiB) 109880
[startup+1482.3 s]
/proc/loadavg: 1.99 1.97 1.56 3/74 10880
/proc/meminfo: memFree=1225072/2055920 swapFree=4192812/4192956
[pid=10866] ppid=10864 vsize=109880 CPUtime=1468.38
/proc/10866/stat : 10866 (pcs.small) R 10864 10866 10721 0 -1 4194304 35902 822 0 0 146807 31 0 0 25 0 1 0 56489643 112517120 23434 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/10866/statm: 27470 23434 379 142 0 26424 0
Current children cumulated CPU time (s) 1468.38
Current children cumulated vsize (KiB) 109880
[startup+1542.3 s]
/proc/loadavg: 1.99 1.97 1.59 3/74 10880
/proc/meminfo: memFree=1222256/2055920 swapFree=4192812/4192956
[pid=10866] ppid=10864 vsize=109880 CPUtime=1527.82
/proc/10866/stat : 10866 (pcs.small) R 10864 10866 10721 0 -1 4194304 36115 822 0 0 152751 31 0 0 25 0 1 0 56489643 112517120 23647 996147200 134512640 135095119 4294956304 18446744073709551615 134578931 0 0 4096 0 0 0 0 17 1 0 0
/proc/10866/statm: 27470 23647 379 142 0 26424 0
Current children cumulated CPU time (s) 1527.82
Current children cumulated vsize (KiB) 109880
[startup+1602.3 s]
/proc/loadavg: 1.99 1.97 1.61 3/74 10880
/proc/meminfo: memFree=1219440/2055920 swapFree=4192812/4192956
[pid=10866] ppid=10864 vsize=109880 CPUtime=1587.25
/proc/10866/stat : 10866 (pcs.small) R 10864 10866 10721 0 -1 4194304 36332 822 0 0 158694 31 0 0 25 0 1 0 56489643 112517120 23864 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/10866/statm: 27470 23864 379 142 0 26424 0
Current children cumulated CPU time (s) 1587.25
Current children cumulated vsize (KiB) 109880
[startup+1662.3 s]
/proc/loadavg: 1.99 1.97 1.63 3/74 10880
/proc/meminfo: memFree=1216496/2055920 swapFree=4192812/4192956
[pid=10866] ppid=10864 vsize=109880 CPUtime=1646.7
/proc/10866/stat : 10866 (pcs.small) R 10864 10866 10721 0 -1 4194304 36545 822 0 0 164638 32 0 0 25 0 1 0 56489643 112517120 24077 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/10866/statm: 27470 24077 379 142 0 26424 0
Current children cumulated CPU time (s) 1646.7
Current children cumulated vsize (KiB) 109880
[startup+1722.3 s]
/proc/loadavg: 1.99 1.97 1.65 3/74 10880
/proc/meminfo: memFree=1213616/2055920 swapFree=4192812/4192956
[pid=10866] ppid=10864 vsize=109880 CPUtime=1706.13
/proc/10866/stat : 10866 (pcs.small) R 10864 10866 10721 0 -1 4194304 36759 822 0 0 170581 32 0 0 25 0 1 0 56489643 112517120 24291 996147200 134512640 135095119 4294956304 18446744073709551615 134589648 0 0 4096 0 0 0 0 17 1 0 0
/proc/10866/statm: 27470 24291 379 142 0 26424 0
Current children cumulated CPU time (s) 1706.13
Current children cumulated vsize (KiB) 109880
Solver just ended. Dumping a history of the last processes samples
[startup+1740.7 s]
/proc/loadavg: 1.99 1.97 1.66 3/74 10880
/proc/meminfo: memFree=1212784/2055920 swapFree=4192812/4192956
[pid=10866] ppid=10864 vsize=109880 CPUtime=1724.36
/proc/10866/stat : 10866 (pcs.small) R 10864 10866 10721 0 -1 4194304 36823 822 0 0 172404 32 0 0 25 0 1 0 56489643 112517120 24355 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/10866/statm: 27470 24355 379 142 0 26424 0
Current children cumulated CPU time (s) 1724.36
Current children cumulated vsize (KiB) 109880
[startup+1753.5 s]
/proc/loadavg: 1.99 1.97 1.66 3/74 10880
/proc/meminfo: memFree=1212016/2055920 swapFree=4192812/4192956
[pid=10866] ppid=10864 vsize=109880 CPUtime=1737.04
/proc/10866/stat : 10866 (pcs.small) R 10864 10866 10721 0 -1 4194304 36867 822 0 0 173672 32 0 0 25 0 1 0 56489643 112517120 24399 996147200 134512640 135095119 4294956304 18446744073709551615 134607029 0 0 4096 0 0 0 0 17 1 0 0
/proc/10866/statm: 27470 24399 379 142 0 26424 0
Current children cumulated CPU time (s) 1737.04
Current children cumulated vsize (KiB) 109880
[startup+1766.3 s]
/proc/loadavg: 1.99 1.97 1.66 3/74 10880
/proc/meminfo: memFree=1211440/2055920 swapFree=4192812/4192956
[pid=10866] ppid=10864 vsize=109880 CPUtime=1749.72
/proc/10866/stat : 10866 (pcs.small) R 10864 10866 10721 0 -1 4194304 36915 822 0 0 174940 32 0 0 25 0 1 0 56489643 112517120 24447 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/10866/statm: 27470 24447 379 142 0 26424 0
Current children cumulated CPU time (s) 1749.72
Current children cumulated vsize (KiB) 109880
[startup+1769.5 s]
/proc/loadavg: 1.99 1.97 1.67 3/74 10880
/proc/meminfo: memFree=1211248/2055920 swapFree=4192812/4192956
[pid=10866] ppid=10864 vsize=109880 CPUtime=1752.89
/proc/10866/stat : 10866 (pcs.small) R 10864 10866 10721 0 -1 4194304 36925 822 0 0 175257 32 0 0 25 0 1 0 56489643 112517120 24457 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/10866/statm: 27470 24457 379 142 0 26424 0
Current children cumulated CPU time (s) 1752.89
Current children cumulated vsize (KiB) 109880
[startup+1772.7 s]
/proc/loadavg: 1.99 1.97 1.67 3/74 10880
/proc/meminfo: memFree=1210928/2055920 swapFree=4192812/4192956
[pid=10866] ppid=10864 vsize=109880 CPUtime=1756.06
/proc/10866/stat : 10866 (pcs.small) R 10864 10866 10721 0 -1 4194304 36937 822 0 0 175574 32 0 0 25 0 1 0 56489643 112517120 24469 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/10866/statm: 27470 24469 379 142 0 26424 0
Current children cumulated CPU time (s) 1756.06
Current children cumulated vsize (KiB) 109880
[startup+1773.5 s]
/proc/loadavg: 1.99 1.97 1.67 3/74 10880
/proc/meminfo: memFree=1210928/2055920 swapFree=4192812/4192956
[pid=10866] ppid=10864 vsize=109880 CPUtime=1756.85
/proc/10866/stat : 10866 (pcs.small) R 10864 10866 10721 0 -1 4194304 36939 822 0 0 175653 32 0 0 25 0 1 0 56489643 112517120 24471 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/10866/statm: 27470 24471 379 142 0 26424 0
Current children cumulated CPU time (s) 1756.85
Current children cumulated vsize (KiB) 109880
[startup+1774.31 s]
/proc/loadavg: 1.99 1.97 1.67 3/74 10880
/proc/meminfo: memFree=1210864/2055920 swapFree=4192812/4192956
[pid=10866] ppid=10864 vsize=109880 CPUtime=1757.64
/proc/10866/stat : 10866 (pcs.small) R 10864 10866 10721 0 -1 4194304 36943 822 0 0 175732 32 0 0 25 0 1 0 56489643 112517120 24475 996147200 134512640 135095119 4294956304 18446744073709551615 134643968 0 0 4096 0 0 0 0 17 1 0 0
/proc/10866/statm: 27470 24475 379 142 0 26424 0
Current children cumulated CPU time (s) 1757.64
Current children cumulated vsize (KiB) 109880
[startup+1774.5 s]
/proc/loadavg: 1.99 1.97 1.67 3/74 10880
/proc/meminfo: memFree=1210864/2055920 swapFree=4192812/4192956
[pid=10866] ppid=10864 vsize=80084 CPUtime=1757.85
/proc/10866/stat : 10866 (pcs.small) R 10864 10866 10721 0 -1 4194304 36943 822 0 0 175752 33 0 0 25 0 1 0 56489643 82006016 18751 996147200 134512640 135095119 4294956304 18446744073709551615 134644394 0 0 4096 0 0 0 0 17 1 0 0
/proc/10866/statm: 20021 18751 379 142 0 18975 0
Current children cumulated CPU time (s) 1757.85
Current children cumulated vsize (KiB) 80084
[startup+1774.6 s]
/proc/loadavg: 1.99 1.97 1.67 3/74 10880
/proc/meminfo: memFree=1210864/2055920 swapFree=4192812/4192956
[pid=10866] ppid=10864 vsize=80084 CPUtime=1757.95
/proc/10866/stat : 10866 (pcs.small) R 10864 10866 10721 0 -1 4194304 36943 822 0 0 175762 33 0 0 25 0 1 0 56489643 82006016 18751 996147200 134512640 135095119 4294956304 18446744073709551615 8138838 0 0 4096 0 0 0 0 17 1 0 0
/proc/10866/statm: 20021 18751 379 142 0 18975 0
Current children cumulated CPU time (s) 1757.95
Current children cumulated vsize (KiB) 80084
Child status: 0
Real time (s): 1774.66
CPU time (s): 1758.02
CPU user time (s): 1757.67
CPU system time (s): 0.348946
CPU usage (%): 99.0623
Max. virtual memory (cumulated for all children) (KiB): 111608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1757.67
system time used= 0.348946
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37768
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= 38534
runsolver used 2.31665 second user time and 5.75612 second system time
The end
Begin job on node73 at 2009-07-15 23:44:03
IDJOB=2058283
IDBENCH=53466
IDSOLVER=733
FILE ID=node73/2058283-1247694243
PBS_JOBID= 9521170
Free space on /tmp= 66432 MiB
SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/frb40-19/normalized-frb40-19-1_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2058283-1247694243/watcher-2058283-1247694243 -o /tmp/evaluation-result-2058283-1247694243/solver-2058283-1247694243 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 625789191 HOME/instance-2058283-1247694243.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= d38985a93f248711e93dae7f5554e705
RANDOM SEED=625789191
node73.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.213
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.213
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: 1401560 kB
Buffers: 70924 kB
Cached: 487900 kB
SwapCached: 0 kB
Active: 161384 kB
Inactive: 424240 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1401560 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4136 kB
Writeback: 0 kB
Mapped: 38288 kB
Slab: 54196 kB
Committed_AS: 499440 kB
PageTables: 1752 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= 66432 MiB
End job on node73 at 2009-07-16 00:13:38