runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-233410-1168326019 -o ROOT/results/node12/solver-233410-1168326019 -C 1800 -M 900 /tmp/evaluation/233410-1168326019/Complete/Ordinary/solver /tmp/evaluation/233410-1168326019/unknown 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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
/proc/loadavg: 1.93 2.00 1.99 5/88 32470
/proc/meminfo: memFree=1624624/2055920 swapFree=4160348/4192956
[pid=32469] ppid=32467 vsize=18540 CPUtime=0
/proc/32469/stat : 32469 (runsolver) R 32467 32469 32350 0 -1 4194368 16 0 0 0 0 0 0 0 21 0 1 0 180997111 18984960 279 18446744073709551615 4194304 4267372 548682069056 18446744073709551615 252429528359 0 0 4096 24578 0 0 0 17 1 0 0
/proc/32469/statm: 4635 279 244 17 0 2626 0
[startup+0.1083 s]
/proc/loadavg: 1.93 2.00 1.99 5/88 32470
/proc/meminfo: memFree=1624624/2055920 swapFree=4160348/4192956
[pid=32469] ppid=32467 vsize=53824 CPUtime=0.09
/proc/32469/stat : 32469 (bprolog) R 32467 32469 32350 0 -1 4194304 1670 0 0 0 9 0 0 0 21 0 1 0 180997111 55115776 1386 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134568592 0 0 4096 2 0 0 0 17 1 0 0
/proc/32469/statm: 13456 1386 158 90 0 12994 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 53824
[startup+0.516369 s]
/proc/loadavg: 1.93 2.00 1.99 5/88 32470
/proc/meminfo: memFree=1624624/2055920 swapFree=4160348/4192956
[pid=32469] ppid=32467 vsize=72164 CPUtime=0.5
/proc/32469/stat : 32469 (bprolog) R 32467 32469 32350 0 -1 4194304 2835 0 0 0 50 0 0 0 25 0 2 0 180997111 73895936 2550 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134618374 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/32469/statm: 18041 2550 172 90 0 17579 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 72164
[startup+1.33752 s]
/proc/loadavg: 1.93 2.00 1.99 3/89 32471
/proc/meminfo: memFree=1614824/2055920 swapFree=4160348/4192956
[pid=32469] ppid=32467 vsize=72164 CPUtime=1.31
/proc/32469/stat : 32469 (bprolog) R 32467 32469 32350 0 -1 4194304 2889 0 0 0 131 0 0 0 25 0 2 0 180997111 73895936 2604 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552888 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/32469/statm: 18041 2604 172 90 0 17579 0
[pid=32469/tid=32471] ppid=32467 vsize=72164 CPUtime=0
/proc/32469/task/32471/stat : 32471 (bprolog) S 32467 32469 32350 0 -1 4194368 2 0 0 0 0 0 0 0 24 0 2 0 180997135 73895936 2604 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 72164
[startup+2.98382 s]
/proc/loadavg: 1.93 2.00 1.99 3/89 32471
/proc/meminfo: memFree=1614824/2055920 swapFree=4160348/4192956
[pid=32469] ppid=32467 vsize=72164 CPUtime=2.95
/proc/32469/stat : 32469 (bprolog) R 32467 32469 32350 0 -1 4194304 2889 0 0 0 295 0 0 0 25 0 2 0 180997111 73895936 2604 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134754768 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/32469/statm: 18041 2604 172 90 0 17579 0
[pid=32469/tid=32471] ppid=32467 vsize=72164 CPUtime=0
/proc/32469/task/32471/stat : 32471 (bprolog) S 32467 32469 32350 0 -1 4194368 2 0 0 0 0 0 0 0 24 0 2 0 180997135 73895936 2604 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 72164
[startup+6.2634 s]
/proc/loadavg: 1.93 2.00 1.99 3/89 32471
/proc/meminfo: memFree=1614760/2055920 swapFree=4160348/4192956
[pid=32469] ppid=32467 vsize=72164 CPUtime=6.19
/proc/32469/stat : 32469 (bprolog) R 32467 32469 32350 0 -1 4194304 2889 0 0 0 619 0 0 0 25 0 2 0 180997111 73895936 2604 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552933 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/32469/statm: 18041 2604 172 90 0 17579 0
[pid=32469/tid=32471] ppid=32467 vsize=72164 CPUtime=0
/proc/32469/task/32471/stat : 32471 (bprolog) S 32467 32469 32350 0 -1 4194368 2 0 0 0 0 0 0 0 24 0 2 0 180997135 73895936 2604 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 72164
[startup+12.7356 s]
/proc/loadavg: 1.94 2.00 1.99 3/89 32471
/proc/meminfo: memFree=1614760/2055920 swapFree=4160348/4192956
[pid=32469] ppid=32467 vsize=72164 CPUtime=12.6
/proc/32469/stat : 32469 (bprolog) R 32467 32469 32350 0 -1 4194304 2890 0 0 0 1260 0 0 0 25 0 2 0 180997111 73895936 2605 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134754762 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/32469/statm: 18041 2605 172 90 0 17579 0
[pid=32469/tid=32471] ppid=32467 vsize=72164 CPUtime=0
/proc/32469/task/32471/stat : 32471 (bprolog) S 32467 32469 32350 0 -1 4194368 2 0 0 0 0 0 0 0 24 0 2 0 180997135 73895936 2605 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 72164
[startup+25.5649 s]
/proc/loadavg: 1.95 2.00 1.99 3/89 32471
/proc/meminfo: memFree=1614760/2055920 swapFree=4160348/4192956
[pid=32469] ppid=32467 vsize=72164 CPUtime=25.32
/proc/32469/stat : 32469 (bprolog) R 32467 32469 32350 0 -1 4194304 2894 0 0 0 2532 0 0 0 25 0 2 0 180997111 73895936 2609 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552945 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/32469/statm: 18041 2609 172 90 0 17579 0
[pid=32469/tid=32471] ppid=32467 vsize=72164 CPUtime=0
/proc/32469/task/32471/stat : 32471 (bprolog) S 32467 32469 32350 0 -1 4194368 2 0 0 0 0 0 0 0 24 0 2 0 180997135 73895936 2609 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 72164
[startup+51.2345 s]
/proc/loadavg: 1.97 2.00 1.99 3/95 32543
/proc/meminfo: memFree=1613600/2055920 swapFree=4160348/4192956
[pid=32469] ppid=32467 vsize=72164 CPUtime=50.68
/proc/32469/stat : 32469 (bprolog) R 32467 32469 32350 0 -1 4194304 2894 0 0 0 5067 1 0 0 25 0 2 0 180997111 73895936 2609 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134754718 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/32469/statm: 18041 2609 172 90 0 17579 0
[pid=32469/tid=32471] ppid=32467 vsize=72164 CPUtime=0
/proc/32469/task/32471/stat : 32471 (bprolog) S 32467 32469 32350 0 -1 4194368 2 0 0 0 0 0 0 0 24 0 2 0 180997135 73895936 2609 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 72164
[startup+102.476 s]
/proc/loadavg: 1.98 2.00 1.99 3/95 32623
/proc/meminfo: memFree=1613616/2055920 swapFree=4160348/4192956
[pid=32469] ppid=32467 vsize=72164 CPUtime=101.37
/proc/32469/stat : 32469 (bprolog) R 32467 32469 32350 0 -1 4194304 2894 0 0 0 10136 1 0 0 25 0 2 0 180997111 73895936 2609 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552963 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/32469/statm: 18041 2609 172 90 0 17579 0
[pid=32469/tid=32471] ppid=32467 vsize=72164 CPUtime=0
/proc/32469/task/32471/stat : 32471 (bprolog) S 32467 32469 32350 0 -1 4194368 2 0 0 0 0 0 0 0 24 0 2 0 180997135 73895936 2609 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.37
Current children cumulated vsize (KiB) 72164
[startup+162.543 s]
/proc/loadavg: 1.99 2.00 1.99 3/89 32669
/proc/meminfo: memFree=1614632/2055920 swapFree=4160348/4192956
[pid=32469] ppid=32467 vsize=72164 CPUtime=160.81
/proc/32469/stat : 32469 (bprolog) R 32467 32469 32350 0 -1 4194304 2894 0 0 0 16080 1 0 0 25 0 2 0 180997111 73895936 2609 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134589589 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/32469/statm: 18041 2609 172 90 0 17579 0
[pid=32469/tid=32471] ppid=32467 vsize=72164 CPUtime=0
/proc/32469/task/32471/stat : 32471 (bprolog) S 32467 32469 32350 0 -1 4194368 2 0 0 0 0 0 0 0 24 0 2 0 180997135 73895936 2609 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.81
Current children cumulated vsize (KiB) 72164
[startup+222.605 s]
/proc/loadavg: 1.99 2.00 1.99 3/89 32669
/proc/meminfo: memFree=1614632/2055920 swapFree=4160348/4192956
[pid=32469] ppid=32467 vsize=72164 CPUtime=220.33
/proc/32469/stat : 32469 (bprolog) R 32467 32469 32350 0 -1 4194304 2894 0 0 0 22031 2 0 0 25 0 2 0 180997111 73895936 2609 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552935 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/32469/statm: 18041 2609 172 90 0 17579 0
[pid=32469/tid=32471] ppid=32467 vsize=72164 CPUtime=0
/proc/32469/task/32471/stat : 32471 (bprolog) S 32467 32469 32350 0 -1 4194368 2 0 0 0 0 0 0 0 24 0 2 0 180997135 73895936 2609 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.33
Current children cumulated vsize (KiB) 72164
[startup+282.658 s]
/proc/loadavg: 1.99 2.00 1.99 3/89 32669
/proc/meminfo: memFree=1614632/2055920 swapFree=4160348/4192956
[pid=32469] ppid=32467 vsize=72164 CPUtime=279.83
/proc/32469/stat : 32469 (bprolog) R 32467 32469 32350 0 -1 4194304 2894 0 0 0 27980 3 0 0 25 0 2 0 180997111 73895936 2609 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552879 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/32469/statm: 18041 2609 172 90 0 17579 0
[pid=32469/tid=32471] ppid=32467 vsize=72164 CPUtime=0
/proc/32469/task/32471/stat : 32471 (bprolog) S 32467 32469 32350 0 -1 4194368 2 0 0 0 0 0 0 0 24 0 2 0 180997135 73895936 2609 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 279.83
Current children cumulated vsize (KiB) 72164
[startup+342.702 s]
/proc/loadavg: 1.99 2.00 1.99 3/90 32670
/proc/meminfo: memFree=1613216/2055920 swapFree=4160348/4192956
[pid=32469] ppid=32467 vsize=72164 CPUtime=339.32
/proc/32469/stat : 32469 (bprolog) R 32467 32469 32350 0 -1 4194304 2894 0 0 0 33929 3 0 0 25 0 2 0 180997111 73895936 2609 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552968 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/32469/statm: 18041 2609 172 90 0 17579 0
[pid=32469/tid=32471] ppid=32467 vsize=72164 CPUtime=0
/proc/32469/task/32471/stat : 32471 (bprolog) S 32467 32469 32350 0 -1 4194368 2 0 0 0 0 0 0 0 24 0 2 0 180997135 73895936 2609 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.32
Current children cumulated vsize (KiB) 72164
[startup+402.753 s]
/proc/loadavg: 1.99 2.00 1.99 3/90 32670
/proc/meminfo: memFree=1613216/2055920 swapFree=4160348/4192956
[pid=32469] ppid=32467 vsize=72164 CPUtime=398.82
/proc/32469/stat : 32469 (bprolog) R 32467 32469 32350 0 -1 4194304 2894 0 0 0 39879 3 0 0 25 0 2 0 180997111 73895936 2609 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134618049 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/32469/statm: 18041 2609 172 90 0 17579 0
[pid=32469/tid=32471] ppid=32467 vsize=72164 CPUtime=0
/proc/32469/task/32471/stat : 32471 (bprolog) S 32467 32469 32350 0 -1 4194368 2 0 0 0 0 0 0 0 24 0 2 0 180997135 73895936 2609 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 398.82
Current children cumulated vsize (KiB) 72164
[startup+462.808 s]
/proc/loadavg: 1.99 2.00 1.99 3/90 32670
/proc/meminfo: memFree=1613216/2055920 swapFree=4160348/4192956
[pid=32469] ppid=32467 vsize=72164 CPUtime=458.33
/proc/32469/stat : 32469 (bprolog) R 32467 32469 32350 0 -1 4194304 2894 0 0 0 45829 4 0 0 25 0 2 0 180997111 73895936 2609 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552512 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/32469/statm: 18041 2609 172 90 0 17579 0
[pid=32469/tid=32471] ppid=32467 vsize=72164 CPUtime=0
/proc/32469/task/32471/stat : 32471 (bprolog) S 32467 32469 32350 0 -1 4194368 2 0 0 0 0 0 0 0 24 0 2 0 180997135 73895936 2609 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 458.33
Current children cumulated vsize (KiB) 72164
[startup+522.856 s]
/proc/loadavg: 1.99 2.00 1.99 3/90 32670
/proc/meminfo: memFree=1613216/2055920 swapFree=4160348/4192956
[pid=32469] ppid=32467 vsize=72164 CPUtime=517.83
/proc/32469/stat : 32469 (bprolog) R 32467 32469 32350 0 -1 4194304 2894 0 0 0 51779 4 0 0 25 0 2 0 180997111 73895936 2609 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552933 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/32469/statm: 18041 2609 172 90 0 17579 0
[pid=32469/tid=32471] ppid=32467 vsize=72164 CPUtime=0
/proc/32469/task/32471/stat : 32471 (bprolog) S 32467 32469 32350 0 -1 4194368 2 0 0 0 0 0 0 0 24 0 2 0 180997135 73895936 2609 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 517.83
Current children cumulated vsize (KiB) 72164
[startup+582.916 s]
/proc/loadavg: 2.05 2.01 2.00 3/90 32670
/proc/meminfo: memFree=1612128/2055920 swapFree=4160348/4192956
[pid=32469] ppid=32467 vsize=72164 CPUtime=577.33
/proc/32469/stat : 32469 (bprolog) R 32467 32469 32350 0 -1 4194304 2894 0 0 0 57728 5 0 0 25 0 2 0 180997111 73895936 2609 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552076 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/32469/statm: 18041 2609 172 90 0 17579 0
[pid=32469/tid=32471] ppid=32467 vsize=72164 CPUtime=0
/proc/32469/task/32471/stat : 32471 (bprolog) S 32467 32469 32350 0 -1 4194368 2 0 0 0 0 0 0 0 24 0 2 0 180997135 73895936 2609 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 577.33
Current children cumulated vsize (KiB) 72164
[startup+642.994 s]
################
# More data... #
################
/proc/32469/stat : 32469 (bprolog) R 32467 32469 32350 0 -1 4194304 2895 0 0 0 117531 9 0 0 25 0 3 0 180997111 84385792 2610 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134614646 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/32469/statm: 20602 2610 172 90 0 20140 0
[pid=32469/tid=32471] ppid=32467 vsize=82408 CPUtime=0
/proc/32469/task/32471/stat : 32471 (bprolog) S 32467 32469 32350 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 180997135 84385792 2610 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=32469/tid=433] ppid=32467 vsize=82408 CPUtime=0
/proc/32469/task/433/stat : 433 (bprolog) S 32467 32469 32350 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 181087152 84385792 2610 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1175.4
Current children cumulated vsize (KiB) 82408
[startup+1243.32 s]
/proc/loadavg: 2.00 2.00 2.00 3/88 435
/proc/meminfo: memFree=1623352/2055920 swapFree=4160348/4192956
[pid=32469] ppid=32467 vsize=82408 CPUtime=1235.36
/proc/32469/stat : 32469 (bprolog) R 32467 32469 32350 0 -1 4194304 2895 0 0 0 123527 9 0 0 25 0 3 0 180997111 84385792 2610 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552379 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/32469/statm: 20602 2610 172 90 0 20140 0
[pid=32469/tid=32471] ppid=32467 vsize=82408 CPUtime=0
/proc/32469/task/32471/stat : 32471 (bprolog) S 32467 32469 32350 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 180997135 84385792 2610 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=32469/tid=433] ppid=32467 vsize=82408 CPUtime=0
/proc/32469/task/433/stat : 433 (bprolog) S 32467 32469 32350 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 181087152 84385792 2610 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1235.36
Current children cumulated vsize (KiB) 82408
[startup+1303.35 s]
/proc/loadavg: 2.00 2.00 2.00 3/88 435
/proc/meminfo: memFree=1623352/2055920 swapFree=4160348/4192956
[pid=32469] ppid=32467 vsize=82408 CPUtime=1295.3
/proc/32469/stat : 32469 (bprolog) R 32467 32469 32350 0 -1 4194304 2895 0 0 0 129521 9 0 0 25 0 3 0 180997111 84385792 2610 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134618372 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/32469/statm: 20602 2610 172 90 0 20140 0
[pid=32469/tid=32471] ppid=32467 vsize=82408 CPUtime=0
/proc/32469/task/32471/stat : 32471 (bprolog) S 32467 32469 32350 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 180997135 84385792 2610 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=32469/tid=433] ppid=32467 vsize=82408 CPUtime=0
/proc/32469/task/433/stat : 433 (bprolog) S 32467 32469 32350 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 181087152 84385792 2610 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1295.3
Current children cumulated vsize (KiB) 82408
[startup+1363.38 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 436
/proc/meminfo: memFree=1623408/2055920 swapFree=4160348/4192956
[pid=32469] ppid=32467 vsize=92652 CPUtime=1355.27
/proc/32469/stat : 32469 (bprolog) R 32467 32469 32350 0 -1 4194304 2896 0 0 0 135518 9 0 0 25 0 4 0 180997111 94875648 2611 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134618416 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/32469/statm: 23163 2611 172 90 0 22701 0
[pid=32469/tid=32471] ppid=32467 vsize=92652 CPUtime=0
/proc/32469/task/32471/stat : 32471 (bprolog) S 32467 32469 32350 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 180997135 94875648 2611 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=32469/tid=433] ppid=32467 vsize=92652 CPUtime=0
/proc/32469/task/433/stat : 433 (bprolog) S 32467 32469 32350 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 181087152 94875648 2611 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=32469/tid=436] ppid=32467 vsize=92652 CPUtime=0
/proc/32469/task/436/stat : 436 (bprolog) S 32467 32469 32350 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 181132159 94875648 2611 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1355.27
Current children cumulated vsize (KiB) 92652
[startup+1423.42 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 436
/proc/meminfo: memFree=1623408/2055920 swapFree=4160348/4192956
[pid=32469] ppid=32467 vsize=92652 CPUtime=1415.27
/proc/32469/stat : 32469 (bprolog) R 32467 32469 32350 0 -1 4194304 2896 0 0 0 141517 10 0 0 25 0 4 0 180997111 94875648 2611 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552366 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/32469/statm: 23163 2611 172 90 0 22701 0
[pid=32469/tid=32471] ppid=32467 vsize=92652 CPUtime=0
/proc/32469/task/32471/stat : 32471 (bprolog) S 32467 32469 32350 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 180997135 94875648 2611 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=32469/tid=433] ppid=32467 vsize=92652 CPUtime=0
/proc/32469/task/433/stat : 433 (bprolog) S 32467 32469 32350 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 181087152 94875648 2611 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=32469/tid=436] ppid=32467 vsize=92652 CPUtime=0
/proc/32469/task/436/stat : 436 (bprolog) S 32467 32469 32350 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 181132159 94875648 2611 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1415.27
Current children cumulated vsize (KiB) 92652
[startup+1483.47 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 436
/proc/meminfo: memFree=1623472/2055920 swapFree=4160348/4192956
[pid=32469] ppid=32467 vsize=92652 CPUtime=1475.23
/proc/32469/stat : 32469 (bprolog) R 32467 32469 32350 0 -1 4194304 2896 0 0 0 147513 10 0 0 25 0 4 0 180997111 94875648 2611 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552963 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/32469/statm: 23163 2611 172 90 0 22701 0
[pid=32469/tid=32471] ppid=32467 vsize=92652 CPUtime=0
/proc/32469/task/32471/stat : 32471 (bprolog) S 32467 32469 32350 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 180997135 94875648 2611 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=32469/tid=433] ppid=32467 vsize=92652 CPUtime=0
/proc/32469/task/433/stat : 433 (bprolog) S 32467 32469 32350 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 181087152 94875648 2611 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=32469/tid=436] ppid=32467 vsize=92652 CPUtime=0
/proc/32469/task/436/stat : 436 (bprolog) S 32467 32469 32350 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 181132159 94875648 2611 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1475.23
Current children cumulated vsize (KiB) 92652
[startup+1543.53 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 436
/proc/meminfo: memFree=1623408/2055920 swapFree=4160348/4192956
[pid=32469] ppid=32467 vsize=92652 CPUtime=1535.24
/proc/32469/stat : 32469 (bprolog) R 32467 32469 32350 0 -1 4194304 2896 0 0 0 153514 10 0 0 25 0 4 0 180997111 94875648 2611 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552953 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/32469/statm: 23163 2611 172 90 0 22701 0
[pid=32469/tid=32471] ppid=32467 vsize=92652 CPUtime=0
/proc/32469/task/32471/stat : 32471 (bprolog) S 32467 32469 32350 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 180997135 94875648 2611 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=32469/tid=433] ppid=32467 vsize=92652 CPUtime=0
/proc/32469/task/433/stat : 433 (bprolog) S 32467 32469 32350 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 181087152 94875648 2611 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=32469/tid=436] ppid=32467 vsize=92652 CPUtime=0
/proc/32469/task/436/stat : 436 (bprolog) S 32467 32469 32350 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 181132159 94875648 2611 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1535.24
Current children cumulated vsize (KiB) 92652
[startup+1603.59 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 436
/proc/meminfo: memFree=1623408/2055920 swapFree=4160348/4192956
[pid=32469] ppid=32467 vsize=92652 CPUtime=1595.23
/proc/32469/stat : 32469 (bprolog) R 32467 32469 32350 0 -1 4194304 2896 0 0 0 159513 10 0 0 25 0 4 0 180997111 94875648 2611 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552922 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/32469/statm: 23163 2611 172 90 0 22701 0
[pid=32469/tid=32471] ppid=32467 vsize=92652 CPUtime=0
/proc/32469/task/32471/stat : 32471 (bprolog) S 32467 32469 32350 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 180997135 94875648 2611 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=32469/tid=433] ppid=32467 vsize=92652 CPUtime=0
/proc/32469/task/433/stat : 433 (bprolog) S 32467 32469 32350 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 181087152 94875648 2611 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=32469/tid=436] ppid=32467 vsize=92652 CPUtime=0
/proc/32469/task/436/stat : 436 (bprolog) S 32467 32469 32350 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 181132159 94875648 2611 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1595.23
Current children cumulated vsize (KiB) 92652
[startup+1663.64 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 436
/proc/meminfo: memFree=1623344/2055920 swapFree=4160348/4192956
[pid=32469] ppid=32467 vsize=92652 CPUtime=1655.2
/proc/32469/stat : 32469 (bprolog) R 32467 32469 32350 0 -1 4194304 2896 0 0 0 165510 10 0 0 25 0 4 0 180997111 94875648 2611 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134554996 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/32469/statm: 23163 2611 172 90 0 22701 0
[pid=32469/tid=32471] ppid=32467 vsize=92652 CPUtime=0
/proc/32469/task/32471/stat : 32471 (bprolog) S 32467 32469 32350 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 180997135 94875648 2611 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=32469/tid=433] ppid=32467 vsize=92652 CPUtime=0
/proc/32469/task/433/stat : 433 (bprolog) S 32467 32469 32350 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 181087152 94875648 2611 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=32469/tid=436] ppid=32467 vsize=92652 CPUtime=0
/proc/32469/task/436/stat : 436 (bprolog) S 32467 32469 32350 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 181132159 94875648 2611 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1655.2
Current children cumulated vsize (KiB) 92652
[startup+1723.69 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 436
/proc/meminfo: memFree=1623408/2055920 swapFree=4160348/4192956
[pid=32469] ppid=32467 vsize=92652 CPUtime=1715.19
/proc/32469/stat : 32469 (bprolog) R 32467 32469 32350 0 -1 4194304 2896 0 0 0 171509 10 0 0 25 0 4 0 180997111 94875648 2611 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134618430 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/32469/statm: 23163 2611 172 90 0 22701 0
[pid=32469/tid=32471] ppid=32467 vsize=92652 CPUtime=0
/proc/32469/task/32471/stat : 32471 (bprolog) S 32467 32469 32350 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 180997135 94875648 2611 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=32469/tid=433] ppid=32467 vsize=92652 CPUtime=0
/proc/32469/task/433/stat : 433 (bprolog) S 32467 32469 32350 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 181087152 94875648 2611 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=32469/tid=436] ppid=32467 vsize=92652 CPUtime=0
/proc/32469/task/436/stat : 436 (bprolog) S 32467 32469 32350 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 181132159 94875648 2611 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1715.19
Current children cumulated vsize (KiB) 92652
[startup+1783.75 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 436
/proc/meminfo: memFree=1623344/2055920 swapFree=4160348/4192956
[pid=32469] ppid=32467 vsize=92652 CPUtime=1775.19
/proc/32469/stat : 32469 (bprolog) R 32467 32469 32350 0 -1 4194304 2896 0 0 0 177509 10 0 0 25 0 4 0 180997111 94875648 2611 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552074 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/32469/statm: 23163 2611 172 90 0 22701 0
[pid=32469/tid=32471] ppid=32467 vsize=92652 CPUtime=0
/proc/32469/task/32471/stat : 32471 (bprolog) S 32467 32469 32350 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 180997135 94875648 2611 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=32469/tid=433] ppid=32467 vsize=92652 CPUtime=0
/proc/32469/task/433/stat : 433 (bprolog) S 32467 32469 32350 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 181087152 94875648 2611 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=32469/tid=436] ppid=32467 vsize=92652 CPUtime=0
/proc/32469/task/436/stat : 436 (bprolog) S 32467 32469 32350 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 181132159 94875648 2611 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1775.19
Current children cumulated vsize (KiB) 92652
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.68 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 436
/proc/meminfo: memFree=1623344/2055920 swapFree=4160348/4192956
[pid=32469] ppid=32467 vsize=92652 CPUtime=1800.08
/proc/32469/stat : 32469 (bprolog) R 32467 32469 32350 0 -1 4194304 2897 0 0 0 179998 10 0 0 25 0 1 0 180997111 94875648 2612 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552933 0 0 4096 2 0 0 0 17 0 0 0
/proc/32469/statm: 23163 2612 173 90 0 22701 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 92652
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1808.69
CPU time (s): 1800.09
CPU user time (s): 1799.98
CPU system time (s): 0.109983
CPU usage (%): 99.5246
Max. virtual memory (cumulated for all children) (KiB): 92652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.98
system time used= 0.109983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2897
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= 13
involuntary context switches= 42663
runsolver used 2.17367 s user time and 5.00324 s system time
The end
Begin job on node12 on Tue Jan 9 07:00:19 UTC 2007
IDJOB= 233410
IDBENCH= 6607
FILE ID= node12/233410-1168326019
PBS_JOBID= 3502996
Free space on /tmp= 66560 MiB
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-15/os-taillard-15-95-7.xml
COMMAND LINE= /tmp/evaluation/233410-1168326019/Complete/Ordinary/solver /tmp/evaluation/233410-1168326019/unknown 1800
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node12/convwatcher-233410-1168326019 -o ROOT/results/node12/conversion-233410-1168326019 -C 600 -M 900 /tmp/evaluation/233410-1168326019/Complete/Ordinary/conversion /tmp/evaluation/233410-1168326019/unknown
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-233410-1168326019 -o ROOT/results/node12/solver-233410-1168326019 -C 1800 -M 900 /tmp/evaluation/233410-1168326019/Complete/Ordinary/solver /tmp/evaluation/233410-1168326019/unknown 1800
META MD5SUM SOLVER= b53ab06f245aa5e62684a7a0a4388ade
MD5SUM BENCH= f4327cb68fbe8580c1be6c2a8250c7f0
RANDOM SEED= 987034116
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/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.265
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.265
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: 1625104 kB
Buffers: 75652 kB
Cached: 242056 kB
SwapCached: 4816 kB
Active: 164552 kB
Inactive: 205936 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1625104 kB
SwapTotal: 4192956 kB
SwapFree: 4160348 kB
Dirty: 1816 kB
Writeback: 0 kB
Mapped: 63576 kB
Slab: 45348 kB
Committed_AS: 5413188 kB
PageTables: 2096 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= 66559 MiB
End job on node12 on Tue Jan 9 07:30:30 UTC 2007