0.00/0.23 c bpsolver version 6.27.2008
0.00/0.23 c converting(HOME/instance-1060117-1215125843)
0.48/0.77 c Converted in 272 ms
0.48/0.77 c solving(HOME/instance-1060117-1215125843,1800000)
1349.32/1351.01 c (ff_backward)
1349.32/1351.02 s SATISFIABLE
1349.32/1351.02 v 315 360 531 553 609 593 262 574 485 177 438 0 619 99 343 380 438 894 161 679 269 85 858 640 509 234 622 770 802 0 802 0 714 858 269 172 656 445 588 764 279 360 523 253 86 274 0 99 656 398 726 951 887 326 929 805 620 196 468 548 667 258 171 93 923 225 296 0 745 356 579 788 253 509 435 548 730 697 485 579 784 470 321 661 133 909 254 166 0 393 725 77 531 791 272 164 653 593 302 254 396 847 468 574 0 86 872 356 170 177 523 0 620 251 685 849 274 755 513 269 848 559 461 260 705 234 508 336 171 0 80 443 162 764 396 344 720 401 278 638 574 887 357 161 53 775 0 79 824 470 470 172 254 646 435 548 755 764 98 338 638 603 705 0 398 344 55 98 224 422 696 401 874 166 752 530 186 619 815 581 772 707 157 422 927 262 253 513 847 425 448 98 0 618 338 795 165 425 446 707 357 279 371 824 86 661 393 603 196 0 653 872 254 805 581 80 553 443 524 166 714 545 349 484 0
1349.32/1351.02
1349.32/1351.02 c Time=1347945 ms
1349.32/1351.02
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1060117-1215125843/watcher-1060117-1215125843 -o /tmp/evaluation-result-1060117-1215125843/solver-1060117-1215125843 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/solver HOME/instance-1060117-1215125843 1800
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): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.35 2.63 2.35 4/82 13082
/proc/meminfo: memFree=123072/2055920 swapFree=4180112/4192956
[pid=13082] ppid=13080 vsize=18572 CPUtime=0
/proc/13082/stat : 13082 (runsolver) R 13080 13082 12897 0 -1 4194368 15 0 0 0 0 0 0 0 18 0 1 0 1991558878 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 231962373415 0 0 4096 24578 0 0 0 17 1 0 0
/proc/13082/statm: 4643 292 257 25 0 2626 0
[startup+0.0626259 s]
/proc/loadavg: 2.35 2.63 2.35 4/82 13082
/proc/meminfo: memFree=123072/2055920 swapFree=4180112/4192956
[pid=13082] ppid=13080 vsize=5356 CPUtime=0
/proc/13082/stat : 13082 (sh) D 13080 13082 12897 0 -1 4194304 264 0 0 0 0 0 0 0 18 0 1 0 1991558878 5484544 231 996147200 4194304 4889804 548682068864 18446744073709551615 4488656 0 0 4100 65536 18446744071563479169 0 0 17 0 0 0
/proc/13082/statm: 1339 231 192 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101614 s]
/proc/loadavg: 2.35 2.63 2.35 4/82 13082
/proc/meminfo: memFree=123072/2055920 swapFree=4180112/4192956
[pid=13082] ppid=13080 vsize=5356 CPUtime=0
/proc/13082/stat : 13082 (sh) D 13080 13082 12897 0 -1 4194304 264 0 0 0 0 0 0 0 18 0 1 0 1991558878 5484544 231 996147200 4194304 4889804 548682068864 18446744073709551615 4488656 0 0 4100 65536 18446744071563479169 0 0 17 0 0 0
/proc/13082/statm: 1339 231 192 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301567 s]
/proc/loadavg: 2.35 2.63 2.35 4/82 13082
/proc/meminfo: memFree=123072/2055920 swapFree=4180112/4192956
[pid=13082] ppid=13080 vsize=56080 CPUtime=0.08
/proc/13082/stat : 13082 (bprolog) R 13080 13082 12897 0 -1 4194304 1122 0 1 0 4 4 0 0 18 0 1 0 1991558878 57425920 836 996147200 134512640 134990860 4294956112 18446744073709551615 7605185 0 0 4096 2 0 0 0 17 0 0 0
/proc/13082/statm: 14020 836 178 116 0 13531 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 56080
[startup+0.701458 s]
/proc/loadavg: 2.35 2.63 2.35 4/82 13082
/proc/meminfo: memFree=123072/2055920 swapFree=4180112/4192956
[pid=13082] ppid=13080 vsize=56080 CPUtime=0.48
/proc/13082/stat : 13082 (bprolog) R 13080 13082 12897 0 -1 4194304 1129 0 1 0 25 23 0 0 21 0 1 0 1991558878 57425920 843 996147200 134512640 134990860 4294956112 18446744073709551615 134566172 0 0 4096 2 0 0 0 17 0 0 0
/proc/13082/statm: 14020 843 178 116 0 13531 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 56080
[startup+1.50125 s]
/proc/loadavg: 2.35 2.63 2.35 3/83 13083
/proc/meminfo: memFree=103672/2055920 swapFree=4180112/4192956
[pid=13082] ppid=13080 vsize=74432 CPUtime=1.27
/proc/13082/stat : 13082 (bprolog) R 13080 13082 12897 0 -1 4194304 2082 0 1 0 99 28 0 0 25 0 2 0 1991558878 76218368 1793 996147200 134512640 134990860 4294956112 18446744073709551615 134731369 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13082/statm: 18608 1793 196 116 0 18119 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 74432
[startup+3.10184 s]
/proc/loadavg: 2.35 2.63 2.35 3/84 13084
/proc/meminfo: memFree=89264/2055920 swapFree=4180112/4192956
[pid=13082] ppid=13080 vsize=74432 CPUtime=2.86
/proc/13082/stat : 13082 (bprolog) R 13080 13082 12897 0 -1 4194304 2082 0 1 0 258 28 0 0 25 0 2 0 1991558878 76218368 1793 996147200 134512640 134990860 4294956112 18446744073709551615 134731367 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13082/statm: 18608 1793 196 116 0 18119 0
[pid=13082/tid=13084] ppid=13080 vsize=74432 CPUtime=0
/proc/13082/task/13084/stat : 13084 (bprolog) S 13080 13082 12897 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 1991559005 76218368 1793 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 74432
[startup+6.301 s]
/proc/loadavg: 2.32 2.61 2.35 3/84 13084
/proc/meminfo: memFree=47280/2055920 swapFree=4180112/4192956
[pid=13082] ppid=13080 vsize=74432 CPUtime=6.05
/proc/13082/stat : 13082 (bprolog) R 13080 13082 12897 0 -1 4194304 2082 0 1 0 576 29 0 0 25 0 2 0 1991558878 76218368 1793 996147200 134512640 134990860 4294956112 18446744073709551615 134726481 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13082/statm: 18608 1793 196 116 0 18119 0
[pid=13082/tid=13084] ppid=13080 vsize=74432 CPUtime=0
/proc/13082/task/13084/stat : 13084 (bprolog) S 13080 13082 12897 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 1991559005 76218368 1793 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 74432
[startup+12.7013 s]
/proc/loadavg: 2.37 2.62 2.35 3/84 13084
/proc/meminfo: memFree=15792/2055920 swapFree=4180112/4192956
[pid=13082] ppid=13080 vsize=74432 CPUtime=12.42
/proc/13082/stat : 13082 (bprolog) R 13080 13082 12897 0 -1 4194304 2082 0 1 0 1212 30 0 0 25 0 2 0 1991558878 76218368 1793 996147200 134512640 134990860 4294956112 18446744073709551615 134724104 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/13082/statm: 18608 1793 196 116 0 18119 0
[pid=13082/tid=13084] ppid=13080 vsize=74432 CPUtime=0
/proc/13082/task/13084/stat : 13084 (bprolog) S 13080 13082 12897 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 1991559005 76218368 1793 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.42
Current children cumulated vsize (KiB) 74432
[startup+25.501 s]
/proc/loadavg: 2.44 2.62 2.36 3/84 13084
/proc/meminfo: memFree=15024/2055920 swapFree=4180112/4192956
[pid=13082] ppid=13080 vsize=74432 CPUtime=25.13
/proc/13082/stat : 13082 (bprolog) R 13080 13082 12897 0 -1 4194304 2083 0 1 0 2478 35 0 0 25 0 2 0 1991558878 76218368 1794 996147200 134512640 134990860 4294956112 18446744073709551615 134725592 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/13082/statm: 18608 1794 196 116 0 18119 0
[pid=13082/tid=13084] ppid=13080 vsize=74432 CPUtime=0
/proc/13082/task/13084/stat : 13084 (bprolog) S 13080 13082 12897 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 1991559005 76218368 1794 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 74432
[startup+51.1013 s]
/proc/loadavg: 2.29 2.57 2.35 3/84 13084
/proc/meminfo: memFree=15984/2055920 swapFree=4180112/4192956
[pid=13082] ppid=13080 vsize=74432 CPUtime=50.58
/proc/13082/stat : 13082 (bprolog) R 13080 13082 12897 0 -1 4194304 2083 0 1 0 5018 40 0 0 25 0 2 0 1991558878 76218368 1794 996147200 134512640 134990860 4294956112 18446744073709551615 134729587 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/13082/statm: 18608 1794 196 116 0 18119 0
[pid=13082/tid=13084] ppid=13080 vsize=74432 CPUtime=0
/proc/13082/task/13084/stat : 13084 (bprolog) S 13080 13082 12897 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 1991559005 76218368 1794 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.58
Current children cumulated vsize (KiB) 74432
[startup+102.305 s]
/proc/loadavg: 2.51 2.59 2.36 3/84 13084
/proc/meminfo: memFree=15920/2055920 swapFree=4180112/4192956
[pid=13082] ppid=13080 vsize=74432 CPUtime=101.53
/proc/13082/stat : 13082 (bprolog) R 13080 13082 12897 0 -1 4194304 2083 0 1 0 10102 51 0 0 25 0 2 0 1991558878 76218368 1794 996147200 134512640 134990860 4294956112 18446744073709551615 134727928 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13082/statm: 18608 1794 196 116 0 18119 0
[pid=13082/tid=13084] ppid=13080 vsize=74432 CPUtime=0
/proc/13082/task/13084/stat : 13084 (bprolog) S 13080 13082 12897 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 1991559005 76218368 1794 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.53
Current children cumulated vsize (KiB) 74432
[startup+162.301 s]
/proc/loadavg: 2.54 2.57 2.37 3/84 13084
/proc/meminfo: memFree=16048/2055920 swapFree=4180112/4192956
[pid=13082] ppid=13080 vsize=74432 CPUtime=161.18
/proc/13082/stat : 13082 (bprolog) R 13080 13082 12897 0 -1 4194304 2083 0 1 0 16056 62 0 0 25 0 2 0 1991558878 76218368 1794 996147200 134512640 134990860 4294956112 18446744073709551615 134728856 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13082/statm: 18608 1794 196 116 0 18119 0
[pid=13082/tid=13084] ppid=13080 vsize=74432 CPUtime=0
/proc/13082/task/13084/stat : 13084 (bprolog) S 13080 13082 12897 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 1991559005 76218368 1794 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.18
Current children cumulated vsize (KiB) 74432
[startup+222.302 s]
/proc/loadavg: 2.28 2.51 2.36 3/84 13138
/proc/meminfo: memFree=1803632/2055920 swapFree=4180112/4192956
[pid=13082] ppid=13080 vsize=74432 CPUtime=221.05
/proc/13082/stat : 13082 (bprolog) R 13080 13082 12897 0 -1 4194304 2083 0 1 0 22031 74 0 0 25 0 2 0 1991558878 76218368 1794 996147200 134512640 134990860 4294956112 18446744073709551615 134731543 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13082/statm: 18608 1794 196 116 0 18119 0
[pid=13082/tid=13084] ppid=13080 vsize=74432 CPUtime=0
/proc/13082/task/13084/stat : 13084 (bprolog) S 13080 13082 12897 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 1991559005 76218368 1794 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 221.05
Current children cumulated vsize (KiB) 74432
[startup+282.301 s]
/proc/loadavg: 2.07 2.40 2.33 3/83 13198
/proc/meminfo: memFree=1203704/2055920 swapFree=4180112/4192956
[pid=13082] ppid=13080 vsize=74432 CPUtime=280.96
/proc/13082/stat : 13082 (bprolog) R 13080 13082 12897 0 -1 4194304 2083 0 1 0 28016 80 0 0 25 0 2 0 1991558878 76218368 1794 996147200 134512640 134990860 4294956112 18446744073709551615 134731568 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13082/statm: 18608 1794 196 116 0 18119 0
[pid=13082/tid=13084] ppid=13080 vsize=74432 CPUtime=0
/proc/13082/task/13084/stat : 13084 (bprolog) S 13080 13082 12897 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 1991559005 76218368 1794 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 280.96
Current children cumulated vsize (KiB) 74432
[startup+342.302 s]
/proc/loadavg: 1.96 2.31 2.30 3/74 13355
/proc/meminfo: memFree=1909248/2055920 swapFree=4180112/4192956
[pid=13082] ppid=13080 vsize=74432 CPUtime=340.91
/proc/13082/stat : 13082 (bprolog) R 13080 13082 12897 0 -1 4194304 2083 0 1 0 34002 89 0 0 25 0 2 0 1991558878 76218368 1794 996147200 134512640 134990860 4294956112 18446744073709551615 134731543 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13082/statm: 18608 1794 196 116 0 18119 0
[pid=13082/tid=13084] ppid=13080 vsize=74432 CPUtime=0
/proc/13082/task/13084/stat : 13084 (bprolog) S 13080 13082 12897 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 1991559005 76218368 1794 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 340.91
Current children cumulated vsize (KiB) 74432
[startup+402.301 s]
/proc/loadavg: 2.00 2.25 2.28 3/83 13403
/proc/meminfo: memFree=1185400/2055920 swapFree=4180112/4192956
[pid=13082] ppid=13080 vsize=74432 CPUtime=400.9
/proc/13082/stat : 13082 (bprolog) R 13080 13082 12897 0 -1 4194304 2083 0 1 0 40000 90 0 0 25 0 2 0 1991558878 76218368 1794 996147200 134512640 134990860 4294956112 18446744073709551615 134717415 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13082/statm: 18608 1794 196 116 0 18119 0
[pid=13082/tid=13084] ppid=13080 vsize=74432 CPUtime=0
/proc/13082/task/13084/stat : 13084 (bprolog) S 13080 13082 12897 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 1991559005 76218368 1794 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 400.9
Current children cumulated vsize (KiB) 74432
[startup+462.301 s]
/proc/loadavg: 1.93 2.18 2.25 3/74 13639
/proc/meminfo: memFree=1910720/2055920 swapFree=4180112/4192956
[pid=13082] ppid=13080 vsize=74432 CPUtime=460.76
/proc/13082/stat : 13082 (bprolog) R 13080 13082 12897 0 -1 4194304 2083 0 1 0 45983 93 0 0 25 0 2 0 1991558878 76218368 1794 996147200 134512640 134990860 4294956112 18446744073709551615 134727724 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/13082/statm: 18608 1794 196 116 0 18119 0
[pid=13082/tid=13084] ppid=13080 vsize=74432 CPUtime=0
/proc/13082/task/13084/stat : 13084 (bprolog) S 13080 13082 12897 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 1991559005 76218368 1794 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 460.76
Current children cumulated vsize (KiB) 74432
[startup+522.302 s]
/proc/loadavg: 2.02 2.16 2.24 3/83 13772
/proc/meminfo: memFree=1873016/2055920 swapFree=4180112/4192956
################
# More data... #
################
[startup+1062.3 s]
/proc/loadavg: 2.08 2.06 2.14 3/84 13773
/proc/meminfo: memFree=1872688/2055920 swapFree=4180112/4192956
[pid=13082] ppid=13080 vsize=84676 CPUtime=1060.62
/proc/13082/stat : 13082 (bprolog) R 13080 13082 12897 0 -1 4194304 2086 0 1 0 105951 111 0 0 25 0 3 0 1991558878 86708224 1797 996147200 134512640 134990860 4294956112 18446744073709551615 134726395 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13082/statm: 21169 1797 196 116 0 20680 0
[pid=13082/tid=13084] ppid=13080 vsize=84676 CPUtime=0
/proc/13082/task/13084/stat : 13084 (bprolog) S 13080 13082 12897 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 1991559005 86708224 1797 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13082/tid=13773] ppid=13080 vsize=84676 CPUtime=0
/proc/13082/task/13773/stat : 13773 (bprolog) S 13080 13082 12897 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 1991648988 86708224 1797 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1060.62
Current children cumulated vsize (KiB) 84676
[startup+1122.3 s]
/proc/loadavg: 2.06 2.06 2.13 3/84 13773
/proc/meminfo: memFree=1872560/2055920 swapFree=4180112/4192956
[pid=13082] ppid=13080 vsize=84676 CPUtime=1120.62
/proc/13082/stat : 13082 (bprolog) R 13080 13082 12897 0 -1 4194304 2086 0 1 0 111951 111 0 0 25 0 3 0 1991558878 86708224 1797 996147200 134512640 134990860 4294956112 18446744073709551615 134731568 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13082/statm: 21169 1797 196 116 0 20680 0
[pid=13082/tid=13084] ppid=13080 vsize=84676 CPUtime=0
/proc/13082/task/13084/stat : 13084 (bprolog) S 13080 13082 12897 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 1991559005 86708224 1797 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13082/tid=13773] ppid=13080 vsize=84676 CPUtime=0
/proc/13082/task/13773/stat : 13773 (bprolog) S 13080 13082 12897 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 1991648988 86708224 1797 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1120.62
Current children cumulated vsize (KiB) 84676
[startup+1182.3 s]
/proc/loadavg: 2.02 2.05 2.12 3/84 13773
/proc/meminfo: memFree=1872368/2055920 swapFree=4180112/4192956
[pid=13082] ppid=13080 vsize=84676 CPUtime=1180.61
/proc/13082/stat : 13082 (bprolog) R 13080 13082 12897 0 -1 4194304 2086 0 1 0 117950 111 0 0 25 0 3 0 1991558878 86708224 1797 996147200 134512640 134990860 4294956112 18446744073709551615 134727278 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13082/statm: 21169 1797 196 116 0 20680 0
[pid=13082/tid=13084] ppid=13080 vsize=84676 CPUtime=0
/proc/13082/task/13084/stat : 13084 (bprolog) S 13080 13082 12897 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 1991559005 86708224 1797 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13082/tid=13773] ppid=13080 vsize=84676 CPUtime=0
/proc/13082/task/13773/stat : 13773 (bprolog) S 13080 13082 12897 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 1991648988 86708224 1797 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1180.61
Current children cumulated vsize (KiB) 84676
[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.11 3/84 13773
/proc/meminfo: memFree=1872176/2055920 swapFree=4180112/4192956
[pid=13082] ppid=13080 vsize=84676 CPUtime=1240.62
/proc/13082/stat : 13082 (bprolog) R 13080 13082 12897 0 -1 4194304 2086 0 1 0 123951 111 0 0 25 0 3 0 1991558878 86708224 1797 996147200 134512640 134990860 4294956112 18446744073709551615 134722833 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13082/statm: 21169 1797 196 116 0 20680 0
[pid=13082/tid=13084] ppid=13080 vsize=84676 CPUtime=0
/proc/13082/task/13084/stat : 13084 (bprolog) S 13080 13082 12897 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 1991559005 86708224 1797 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13082/tid=13773] ppid=13080 vsize=84676 CPUtime=0
/proc/13082/task/13773/stat : 13773 (bprolog) S 13080 13082 12897 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 1991648988 86708224 1797 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1240.62
Current children cumulated vsize (KiB) 84676
[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.10 3/84 13773
/proc/meminfo: memFree=1872112/2055920 swapFree=4180112/4192956
[pid=13082] ppid=13080 vsize=84676 CPUtime=1300.62
/proc/13082/stat : 13082 (bprolog) R 13080 13082 12897 0 -1 4194304 2086 0 1 0 129951 111 0 0 25 0 3 0 1991558878 86708224 1797 996147200 134512640 134990860 4294956112 18446744073709551615 134731353 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13082/statm: 21169 1797 196 116 0 20680 0
[pid=13082/tid=13084] ppid=13080 vsize=84676 CPUtime=0
/proc/13082/task/13084/stat : 13084 (bprolog) S 13080 13082 12897 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 1991559005 86708224 1797 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13082/tid=13773] ppid=13080 vsize=84676 CPUtime=0
/proc/13082/task/13773/stat : 13773 (bprolog) S 13080 13082 12897 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 1991648988 86708224 1797 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1300.62
Current children cumulated vsize (KiB) 84676
Solver just ended. Dumping a history of the last processes samples
[startup+1306 s]
/proc/loadavg: 2.00 2.03 2.10 3/84 13773
/proc/meminfo: memFree=1872112/2055920 swapFree=4180112/4192956
[pid=13082] ppid=13080 vsize=84676 CPUtime=1304.32
/proc/13082/stat : 13082 (bprolog) R 13080 13082 12897 0 -1 4194304 2086 0 1 0 130321 111 0 0 25 0 3 0 1991558878 86708224 1797 996147200 134512640 134990860 4294956112 18446744073709551615 134919757 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13082/statm: 21169 1797 196 116 0 20680 0
[pid=13082/tid=13084] ppid=13080 vsize=84676 CPUtime=0
/proc/13082/task/13084/stat : 13084 (bprolog) S 13080 13082 12897 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 1991559005 86708224 1797 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13082/tid=13773] ppid=13080 vsize=84676 CPUtime=0
/proc/13082/task/13773/stat : 13773 (bprolog) S 13080 13082 12897 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 1991648988 86708224 1797 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1304.32
Current children cumulated vsize (KiB) 84676
[startup+1331.6 s]
/proc/loadavg: 2.08 2.04 2.10 3/84 13773
/proc/meminfo: memFree=1872176/2055920 swapFree=4180112/4192956
[pid=13082] ppid=13080 vsize=84676 CPUtime=1329.92
/proc/13082/stat : 13082 (bprolog) R 13080 13082 12897 0 -1 4194304 2086 0 1 0 132881 111 0 0 25 0 3 0 1991558878 86708224 1797 996147200 134512640 134990860 4294956112 18446744073709551615 134717413 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13082/statm: 21169 1797 196 116 0 20680 0
[pid=13082/tid=13084] ppid=13080 vsize=84676 CPUtime=0
/proc/13082/task/13084/stat : 13084 (bprolog) S 13080 13082 12897 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 1991559005 86708224 1797 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13082/tid=13773] ppid=13080 vsize=84676 CPUtime=0
/proc/13082/task/13773/stat : 13773 (bprolog) S 13080 13082 12897 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 1991648988 86708224 1797 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1329.92
Current children cumulated vsize (KiB) 84676
[startup+1344.4 s]
/proc/loadavg: 2.07 2.04 2.09 3/84 13773
/proc/meminfo: memFree=1872176/2055920 swapFree=4180112/4192956
[pid=13082] ppid=13080 vsize=84676 CPUtime=1342.72
/proc/13082/stat : 13082 (bprolog) R 13080 13082 12897 0 -1 4194304 2086 0 1 0 134161 111 0 0 25 0 3 0 1991558878 86708224 1797 996147200 134512640 134990860 4294956112 18446744073709551615 134725082 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13082/statm: 21169 1797 196 116 0 20680 0
[pid=13082/tid=13084] ppid=13080 vsize=84676 CPUtime=0
/proc/13082/task/13084/stat : 13084 (bprolog) S 13080 13082 12897 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 1991559005 86708224 1797 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13082/tid=13773] ppid=13080 vsize=84676 CPUtime=0
/proc/13082/task/13773/stat : 13773 (bprolog) S 13080 13082 12897 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 1991648988 86708224 1797 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1342.72
Current children cumulated vsize (KiB) 84676
[startup+1347.6 s]
/proc/loadavg: 2.06 2.04 2.09 3/84 13773
/proc/meminfo: memFree=1872176/2055920 swapFree=4180112/4192956
[pid=13082] ppid=13080 vsize=84676 CPUtime=1345.92
/proc/13082/stat : 13082 (bprolog) R 13080 13082 12897 0 -1 4194304 2086 0 1 0 134481 111 0 0 25 0 3 0 1991558878 86708224 1797 996147200 134512640 134990860 4294956112 18446744073709551615 134722917 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13082/statm: 21169 1797 196 116 0 20680 0
[pid=13082/tid=13084] ppid=13080 vsize=84676 CPUtime=0
/proc/13082/task/13084/stat : 13084 (bprolog) S 13080 13082 12897 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 1991559005 86708224 1797 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13082/tid=13773] ppid=13080 vsize=84676 CPUtime=0
/proc/13082/task/13773/stat : 13773 (bprolog) S 13080 13082 12897 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 1991648988 86708224 1797 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1345.92
Current children cumulated vsize (KiB) 84676
[startup+1349.2 s]
/proc/loadavg: 2.06 2.04 2.09 3/84 13773
/proc/meminfo: memFree=1872176/2055920 swapFree=4180112/4192956
[pid=13082] ppid=13080 vsize=84676 CPUtime=1347.52
/proc/13082/stat : 13082 (bprolog) R 13080 13082 12897 0 -1 4194304 2086 0 1 0 134641 111 0 0 25 0 3 0 1991558878 86708224 1797 996147200 134512640 134990860 4294956112 18446744073709551615 134731367 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13082/statm: 21169 1797 196 116 0 20680 0
[pid=13082/tid=13084] ppid=13080 vsize=84676 CPUtime=0
/proc/13082/task/13084/stat : 13084 (bprolog) S 13080 13082 12897 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 1991559005 86708224 1797 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13082/tid=13773] ppid=13080 vsize=84676 CPUtime=0
/proc/13082/task/13773/stat : 13773 (bprolog) S 13080 13082 12897 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 1991648988 86708224 1797 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1347.52
Current children cumulated vsize (KiB) 84676
[startup+1350 s]
/proc/loadavg: 2.06 2.04 2.09 3/84 13773
/proc/meminfo: memFree=1872176/2055920 swapFree=4180112/4192956
[pid=13082] ppid=13080 vsize=84676 CPUtime=1348.32
/proc/13082/stat : 13082 (bprolog) R 13080 13082 12897 0 -1 4194304 2086 0 1 0 134721 111 0 0 25 0 3 0 1991558878 86708224 1797 996147200 134512640 134990860 4294956112 18446744073709551615 134731344 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13082/statm: 21169 1797 196 116 0 20680 0
[pid=13082/tid=13084] ppid=13080 vsize=84676 CPUtime=0
/proc/13082/task/13084/stat : 13084 (bprolog) S 13080 13082 12897 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 1991559005 86708224 1797 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13082/tid=13773] ppid=13080 vsize=84676 CPUtime=0
/proc/13082/task/13773/stat : 13773 (bprolog) S 13080 13082 12897 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 1991648988 86708224 1797 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1348.32
Current children cumulated vsize (KiB) 84676
[startup+1350.8 s]
/proc/loadavg: 2.06 2.04 2.09 3/84 13773
/proc/meminfo: memFree=1872176/2055920 swapFree=4180112/4192956
[pid=13082] ppid=13080 vsize=84676 CPUtime=1349.12
/proc/13082/stat : 13082 (bprolog) R 13080 13082 12897 0 -1 4194304 2086 0 1 0 134801 111 0 0 25 0 3 0 1991558878 86708224 1797 996147200 134512640 134990860 4294956112 18446744073709551615 134919395 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13082/statm: 21169 1797 196 116 0 20680 0
[pid=13082/tid=13084] ppid=13080 vsize=84676 CPUtime=0
/proc/13082/task/13084/stat : 13084 (bprolog) S 13080 13082 12897 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 1991559005 86708224 1797 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13082/tid=13773] ppid=13080 vsize=84676 CPUtime=0
/proc/13082/task/13773/stat : 13773 (bprolog) S 13080 13082 12897 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 1991648988 86708224 1797 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1349.12
Current children cumulated vsize (KiB) 84676
[startup+1351 s]
/proc/loadavg: 2.06 2.04 2.09 3/84 13773
/proc/meminfo: memFree=1872176/2055920 swapFree=4180112/4192956
[pid=13082] ppid=13080 vsize=84676 CPUtime=1349.32
/proc/13082/stat : 13082 (bprolog) R 13080 13082 12897 0 -1 4194304 2086 0 1 0 134821 111 0 0 25 0 3 0 1991558878 86708224 1797 996147200 134512640 134990860 4294956112 18446744073709551615 134721053 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/13082/statm: 21169 1797 196 116 0 20680 0
[pid=13082/tid=13084] ppid=13080 vsize=84676 CPUtime=0
/proc/13082/task/13084/stat : 13084 (bprolog) S 13080 13082 12897 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 1991559005 86708224 1797 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=13082/tid=13773] ppid=13080 vsize=84676 CPUtime=0
/proc/13082/task/13773/stat : 13773 (bprolog) S 13080 13082 12897 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 1991648988 86708224 1797 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1349.32
Current children cumulated vsize (KiB) 84676
Child status: 0
Real time (s): 1351.02
CPU time (s): 1349.35
CPU user time (s): 1348.23
CPU system time (s): 1.11983
CPU usage (%): 99.8763
Max. virtual memory (cumulated for all children) (KiB): 84676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1348.23
system time used= 1.11983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2087
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7
involuntary context switches= 12756
runsolver used 1.55376 second user time and 3.85141 second system time
The end
Begin job on node16 at 2008-07-04 00:57:23
IDJOB=1060117
IDBENCH=54407
IDSOLVER=347
FILE ID=node16/1060117-1215125843
PBS_JOBID= 7877258
Free space on /tmp= 61480 MiB
SOLVER NAME= bpsolver 2008-06-27
BENCH NAME= CPAI08/csp/os-taillard-15/normalized-os-taillard-15-105-0.xml
COMMAND LINE= HOME/solver BENCHNAMENOEXT TIMEOUT
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1060117-1215125843/watcher-1060117-1215125843 -o /tmp/evaluation-result-1060117-1215125843/solver-1060117-1215125843 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/solver HOME/instance-1060117-1215125843 1800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 5a2387650a417487d5414425e566caef
RANDOM SEED=1033200374
node16.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: 124960 kB
Buffers: 2584 kB
Cached: 1816184 kB
SwapCached: 5536 kB
Active: 1313376 kB
Inactive: 523928 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 124960 kB
SwapTotal: 4192956 kB
SwapFree: 4180112 kB
Dirty: 210240 kB
Writeback: 0 kB
Mapped: 36564 kB
Slab: 78856 kB
Committed_AS: 3408004 kB
PageTables: 1968 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= 66552 MiB
End job on node16 at 2008-07-04 01:19:54