runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node6/watcher-276512-1169239243 -o ROOT/results/node6/solver-276512-1169239243 -C 2400 -M 900 /tmp/evaluation/276512-1169239243/solver.sh /tmp/evaluation/276512-1169239243/unknown
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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: 2.01 2.02 2.00 5/93 16013
/proc/meminfo: memFree=1246896/2055924 swapFree=4165736/4192956
[pid=16012] ppid=16010 vsize=18540 CPUtime=0
/proc/16012/stat : 16012 (runsolver) R 16010 16012 14860 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 272319906 18984960 279 18446744073709551615 4194304 4267372 548682069072 18446744073709551615 268582841639 0 0 4096 24578 0 0 0 17 1 0 0
/proc/16012/statm: 4635 279 244 17 0 2626 0
[startup+0.11034 s]
/proc/loadavg: 2.01 2.02 2.00 5/93 16013
/proc/meminfo: memFree=1246896/2055924 swapFree=4165736/4192956
[pid=16012] ppid=16010 vsize=47564 CPUtime=0.01
/proc/16012/stat : 16012 (solver.sh) S 16010 16012 14860 0 -1 4194304 847 2110 0 0 0 0 0 1 25 0 1 0 272319906 48705536 360 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 268582447962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/16012/statm: 11891 360 245 79 0 217 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47564
[startup+0.518386 s]
/proc/loadavg: 2.01 2.02 2.00 5/93 16013
/proc/meminfo: memFree=1246896/2055924 swapFree=4165736/4192956
[pid=16012] ppid=16010 vsize=47564 CPUtime=0.01
/proc/16012/stat : 16012 (solver.sh) S 16010 16012 14860 0 -1 4194304 847 2110 0 0 0 0 0 1 25 0 1 0 272319906 48705536 360 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 268582447962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/16012/statm: 11891 360 245 79 0 217 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47564
[startup+1.34049 s]
/proc/loadavg: 2.01 2.02 2.00 3/95 16030
/proc/meminfo: memFree=1240288/2055924 swapFree=4165736/4192956
[pid=16012] ppid=16010 vsize=47564 CPUtime=0.01
/proc/16012/stat : 16012 (solver.sh) S 16010 16012 14860 0 -1 4194304 847 2110 0 0 0 0 0 1 25 0 1 0 272319906 48705536 360 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 268582447962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/16012/statm: 11891 360 245 79 0 217 0
[pid=16029] ppid=16012 vsize=4756 CPUtime=0.12
/proc/16029/stat : 16029 (toolbarBtd) S 16012 16012 14860 0 -1 0 808 0 0 0 12 0 0 0 25 0 1 0 272319910 4870144 723 18446744073709551615 134512640 135169536 4294956512 18446744073709551615 134820461 0 65536 4102 0 18446744071563356171 0 0 17 1 0 0
/proc/16029/statm: 1189 723 59 160 0 1025 0
[pid=16030] ppid=16029 vsize=4432 CPUtime=1.15
/proc/16030/stat : 16030 (narycsp) R 16029 16012 14860 0 -1 4194304 1210 0 0 0 115 0 0 0 25 0 1 0 272319923 4538368 935 18446744073709551615 134512640 135380208 4294956592 18446744073709551615 134520128 0 0 4096 512 0 0 0 17 1 0 0
/proc/16030/statm: 1108 935 106 211 0 877 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 56752
[startup+2.99268 s]
/proc/loadavg: 2.01 2.02 2.00 3/95 16030
/proc/meminfo: memFree=1240224/2055924 swapFree=4165736/4192956
[pid=16012] ppid=16010 vsize=47564 CPUtime=0.01
/proc/16012/stat : 16012 (solver.sh) S 16010 16012 14860 0 -1 4194304 847 2110 0 0 0 0 0 1 25 0 1 0 272319906 48705536 360 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 268582447962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/16012/statm: 11891 360 245 79 0 217 0
[pid=16029] ppid=16012 vsize=4756 CPUtime=0.12
/proc/16029/stat : 16029 (toolbarBtd) S 16012 16012 14860 0 -1 0 808 0 0 0 12 0 0 0 25 0 1 0 272319910 4870144 723 18446744073709551615 134512640 135169536 4294956512 18446744073709551615 134820461 0 65536 4102 0 18446744071563356171 0 0 17 1 0 0
/proc/16029/statm: 1189 723 59 160 0 1025 0
[pid=16030] ppid=16029 vsize=4432 CPUtime=2.79
/proc/16030/stat : 16030 (narycsp) R 16029 16012 14860 0 -1 4194304 1210 0 0 0 278 1 0 0 25 0 1 0 272319923 4538368 935 18446744073709551615 134512640 135380208 4294956592 18446744073709551615 134540890 0 0 4096 512 0 0 0 17 1 0 0
/proc/16030/statm: 1108 935 106 211 0 877 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 56752
[startup+6.27206 s]
/proc/loadavg: 2.01 2.02 2.00 3/95 16030
/proc/meminfo: memFree=1240224/2055924 swapFree=4165736/4192956
[pid=16012] ppid=16010 vsize=47564 CPUtime=0.01
/proc/16012/stat : 16012 (solver.sh) S 16010 16012 14860 0 -1 4194304 847 2110 0 0 0 0 0 1 25 0 1 0 272319906 48705536 360 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 268582447962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/16012/statm: 11891 360 245 79 0 217 0
[pid=16029] ppid=16012 vsize=4756 CPUtime=0.12
/proc/16029/stat : 16029 (toolbarBtd) S 16012 16012 14860 0 -1 0 808 0 0 0 12 0 0 0 25 0 1 0 272319910 4870144 723 18446744073709551615 134512640 135169536 4294956512 18446744073709551615 134820461 0 65536 4102 0 18446744071563356171 0 0 17 1 0 0
/proc/16029/statm: 1189 723 59 160 0 1025 0
[pid=16030] ppid=16029 vsize=4432 CPUtime=6.03
/proc/16030/stat : 16030 (narycsp) R 16029 16012 14860 0 -1 4194304 1216 0 0 0 602 1 0 0 25 0 1 0 272319923 4538368 941 18446744073709551615 134512640 135380208 4294956592 18446744073709551615 134514604 0 0 4096 512 0 0 0 17 1 0 0
/proc/16030/statm: 1108 941 112 211 0 877 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 56752
[startup+12.7563 s]
/proc/loadavg: 2.01 2.02 2.00 3/94 16031
/proc/meminfo: memFree=1192936/2055924 swapFree=4165736/4192956
[pid=16012] ppid=16010 vsize=47564 CPUtime=0.01
/proc/16012/stat : 16012 (solver.sh) S 16010 16012 14860 0 -1 4194304 847 2110 0 0 0 0 0 1 25 0 1 0 272319906 48705536 360 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 268582447962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/16012/statm: 11891 360 245 79 0 217 0
[pid=16029] ppid=16012 vsize=59828 CPUtime=12.56
/proc/16029/stat : 16029 (toolbarBtd) R 16012 16012 14860 0 -1 0 13564 1609 0 0 74 7 1174 1 25 0 1 0 272319910 61263872 13444 18446744073709551615 134512640 135169536 4294956512 18446744073709551615 134563231 0 0 4096 2 0 0 0 17 1 0 0
/proc/16029/statm: 14957 13444 79 160 0 14793 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 107392
[startup+25.5883 s]
/proc/loadavg: 2.01 2.02 2.00 3/94 16031
/proc/meminfo: memFree=1192936/2055924 swapFree=4165736/4192956
[pid=16012] ppid=16010 vsize=47564 CPUtime=0.01
/proc/16012/stat : 16012 (solver.sh) S 16010 16012 14860 0 -1 4194304 847 2110 0 0 0 0 0 1 25 0 1 0 272319906 48705536 360 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 268582447962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/16012/statm: 11891 360 245 79 0 217 0
[pid=16029] ppid=16012 vsize=59828 CPUtime=25.28
/proc/16029/stat : 16029 (toolbarBtd) R 16012 16012 14860 0 -1 0 13610 1609 0 0 1346 7 1174 1 25 0 1 0 272319910 61263872 13460 18446744073709551615 134512640 135169536 4294956512 18446744073709551615 134563161 0 0 4096 2 0 0 0 17 1 0 0
/proc/16029/statm: 14957 13460 79 160 0 14793 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 107392
[startup+51.2523 s]
/proc/loadavg: 2.00 2.01 2.00 3/94 16031
/proc/meminfo: memFree=1193000/2055924 swapFree=4165736/4192956
[pid=16012] ppid=16010 vsize=47564 CPUtime=0.01
/proc/16012/stat : 16012 (solver.sh) S 16010 16012 14860 0 -1 4194304 847 2110 0 0 0 0 0 1 25 0 1 0 272319906 48705536 360 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 268582447962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/16012/statm: 11891 360 245 79 0 217 0
[pid=16029] ppid=16012 vsize=59828 CPUtime=50.72
/proc/16029/stat : 16029 (toolbarBtd) R 16012 16012 14860 0 -1 0 13625 1609 0 0 3889 8 1174 1 25 0 1 0 272319910 61263872 13463 18446744073709551615 134512640 135169536 4294956512 18446744073709551615 134559721 0 0 4096 2 0 0 0 17 1 0 0
/proc/16029/statm: 14957 13463 79 160 0 14793 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 107392
[startup+102.485 s]
/proc/loadavg: 2.00 2.01 2.00 3/94 16031
/proc/meminfo: memFree=1193064/2055924 swapFree=4165736/4192956
[pid=16012] ppid=16010 vsize=47564 CPUtime=0.01
/proc/16012/stat : 16012 (solver.sh) S 16010 16012 14860 0 -1 4194304 847 2110 0 0 0 0 0 1 25 0 1 0 272319906 48705536 360 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 268582447962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/16012/statm: 11891 360 245 79 0 217 0
[pid=16029] ppid=16012 vsize=59960 CPUtime=101.48
/proc/16029/stat : 16029 (toolbarBtd) R 16012 16012 14860 0 -1 0 13664 1609 0 0 8965 8 1174 1 25 0 1 0 272319910 61399040 13472 18446744073709551615 134512640 135169536 4294956512 18446744073709551615 134563231 0 0 4096 2 0 0 0 17 1 0 0
/proc/16029/statm: 14990 13472 79 160 0 14826 0
Current children cumulated CPU time (s) 101.49
Current children cumulated vsize (KiB) 107524
[startup+162.544 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 16031
/proc/meminfo: memFree=1193000/2055924 swapFree=4165736/4192956
[pid=16012] ppid=16010 vsize=47564 CPUtime=0.01
/proc/16012/stat : 16012 (solver.sh) S 16010 16012 14860 0 -1 4194304 847 2110 0 0 0 0 0 1 25 0 1 0 272319906 48705536 360 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 268582447962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/16012/statm: 11891 360 245 79 0 217 0
[pid=16029] ppid=16012 vsize=59960 CPUtime=161.15
/proc/16029/stat : 16029 (toolbarBtd) R 16012 16012 14860 0 -1 0 13704 1609 0 0 14932 8 1174 1 25 0 1 0 272319910 61399040 13472 18446744073709551615 134512640 135169536 4294956512 18446744073709551615 134563161 0 0 4096 2 0 0 0 17 1 0 0
/proc/16029/statm: 14990 13472 79 160 0 14826 0
Current children cumulated CPU time (s) 161.16
Current children cumulated vsize (KiB) 107524
[startup+222.607 s]
/proc/loadavg: 2.07 2.02 2.00 3/94 16031
/proc/meminfo: memFree=1193000/2055924 swapFree=4165736/4192956
[pid=16012] ppid=16010 vsize=47564 CPUtime=0.01
/proc/16012/stat : 16012 (solver.sh) S 16010 16012 14860 0 -1 4194304 847 2110 0 0 0 0 0 1 25 0 1 0 272319906 48705536 360 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 268582447962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/16012/statm: 11891 360 245 79 0 217 0
[pid=16029] ppid=16012 vsize=59960 CPUtime=220.93
/proc/16029/stat : 16029 (toolbarBtd) R 16012 16012 14860 0 -1 0 13765 1609 0 0 20909 9 1174 1 25 0 1 0 272319910 61399040 13472 18446744073709551615 134512640 135169536 4294956512 18446744073709551615 134562468 0 0 4096 2 0 0 0 17 1 0 0
/proc/16029/statm: 14990 13472 79 160 0 14826 0
Current children cumulated CPU time (s) 220.94
Current children cumulated vsize (KiB) 107524
[startup+282.664 s]
/proc/loadavg: 2.02 2.01 2.00 3/94 16031
/proc/meminfo: memFree=1193064/2055924 swapFree=4165736/4192956
[pid=16012] ppid=16010 vsize=47564 CPUtime=0.01
/proc/16012/stat : 16012 (solver.sh) S 16010 16012 14860 0 -1 4194304 847 2110 0 0 0 0 0 1 25 0 1 0 272319906 48705536 360 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 268582447962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/16012/statm: 11891 360 245 79 0 217 0
[pid=16029] ppid=16012 vsize=59960 CPUtime=280.7
/proc/16029/stat : 16029 (toolbarBtd) R 16012 16012 14860 0 -1 0 13821 1609 0 0 26886 9 1174 1 25 0 1 0 272319910 61399040 13472 18446744073709551615 134512640 135169536 4294956512 18446744073709551615 134563152 0 0 4096 2 0 0 0 17 1 0 0
/proc/16029/statm: 14990 13472 79 160 0 14826 0
Current children cumulated CPU time (s) 280.71
Current children cumulated vsize (KiB) 107524
[startup+342.72 s]
/proc/loadavg: 2.01 2.00 2.00 3/94 16031
/proc/meminfo: memFree=1193000/2055924 swapFree=4165736/4192956
[pid=16012] ppid=16010 vsize=47564 CPUtime=0.01
/proc/16012/stat : 16012 (solver.sh) S 16010 16012 14860 0 -1 4194304 847 2110 0 0 0 0 0 1 25 0 1 0 272319906 48705536 360 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 268582447962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/16012/statm: 11891 360 245 79 0 217 0
[pid=16029] ppid=16012 vsize=59960 CPUtime=340.48
/proc/16029/stat : 16029 (toolbarBtd) R 16012 16012 14860 0 -1 0 13860 1609 0 0 32863 10 1174 1 25 0 1 0 272319910 61399040 13472 18446744073709551615 134512640 135169536 4294956512 18446744073709551615 134572816 0 0 4096 2 0 0 0 17 1 0 0
/proc/16029/statm: 14990 13472 79 160 0 14826 0
Current children cumulated CPU time (s) 340.49
Current children cumulated vsize (KiB) 107524
[startup+402.777 s]
/proc/loadavg: 2.07 2.02 2.00 3/94 16031
/proc/meminfo: memFree=1193000/2055924 swapFree=4165736/4192956
[pid=16012] ppid=16010 vsize=47564 CPUtime=0.01
/proc/16012/stat : 16012 (solver.sh) S 16010 16012 14860 0 -1 4194304 847 2110 0 0 0 0 0 1 25 0 1 0 272319906 48705536 360 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 268582447962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/16012/statm: 11891 360 245 79 0 217 0
[pid=16029] ppid=16012 vsize=59960 CPUtime=400.25
/proc/16029/stat : 16029 (toolbarBtd) R 16012 16012 14860 0 -1 0 13895 1609 0 0 38840 10 1174 1 25 0 1 0 272319910 61399040 13472 18446744073709551615 134512640 135169536 4294956512 18446744073709551615 134579369 0 0 4096 2 0 0 0 17 1 0 0
/proc/16029/statm: 14990 13472 79 160 0 14826 0
Current children cumulated CPU time (s) 400.26
Current children cumulated vsize (KiB) 107524
[startup+462.836 s]
/proc/loadavg: 2.02 2.01 2.00 3/94 16031
/proc/meminfo: memFree=1192936/2055924 swapFree=4165736/4192956
[pid=16012] ppid=16010 vsize=47564 CPUtime=0.01
/proc/16012/stat : 16012 (solver.sh) S 16010 16012 14860 0 -1 4194304 847 2110 0 0 0 0 0 1 25 0 1 0 272319906 48705536 360 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 268582447962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/16012/statm: 11891 360 245 79 0 217 0
[pid=16029] ppid=16012 vsize=64060 CPUtime=460.04
/proc/16029/stat : 16029 (toolbarBtd) R 16012 16012 14860 0 -1 0 13956 1609 0 0 44818 11 1174 1 25 0 1 0 272319910 65597440 13494 18446744073709551615 134512640 135169536 4294956512 18446744073709551615 134560791 0 0 4096 2 0 0 0 17 1 0 0
/proc/16029/statm: 16015 13494 81 160 0 15851 0
Current children cumulated CPU time (s) 460.05
Current children cumulated vsize (KiB) 111624
[startup+522.904 s]
/proc/loadavg: 2.01 2.00 2.00 3/94 16031
/proc/meminfo: memFree=1192872/2055924 swapFree=4165736/4192956
[pid=16012] ppid=16010 vsize=47564 CPUtime=0.01
/proc/16012/stat : 16012 (solver.sh) S 16010 16012 14860 0 -1 4194304 847 2110 0 0 0 0 0 1 25 0 1 0 272319906 48705536 360 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 268582447962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/16012/statm: 11891 360 245 79 0 217 0
[pid=16029] ppid=16012 vsize=64060 CPUtime=519.82
/proc/16029/stat : 16029 (toolbarBtd) R 16012 16012 14860 0 -1 0 13964 1609 0 0 50796 11 1174 1 25 0 1 0 272319910 65597440 13497 18446744073709551615 134512640 135169536 4294956512 18446744073709551615 134577799 0 0 4096 2 0 0 0 17 1 0 0
/proc/16029/statm: 16015 13497 81 160 0 15851 0
Current children cumulated CPU time (s) 519.83
Current children cumulated vsize (KiB) 111624
[startup+582.977 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 16031
/proc/meminfo: memFree=1192936/2055924 swapFree=4165736/4192956
[pid=16012] ppid=16010 vsize=47564 CPUtime=0.01
/proc/16012/stat : 16012 (solver.sh) S 16010 16012 14860 0 -1 4194304 847 2110 0 0 0 0 0 1 25 0 1 0 272319906 48705536 360 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 268582447962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/16012/statm: 11891 360 245 79 0 217 0
[pid=16029] ppid=16012 vsize=64060 CPUtime=579.61
/proc/16029/stat : 16029 (toolbarBtd) R 16012 16012 14860 0 -1 0 13967 1609 0 0 56774 12 1174 1 25 0 1 0 272319910 65597440 13497 18446744073709551615 134512640 135169536 4294956512 18446744073709551615 134579129 0 0 4096 2 0 0 0 17 1 0 0
/proc/16029/statm: 16015 13497 81 160 0 15851 0
Current children cumulated CPU time (s) 579.62
Current children cumulated vsize (KiB) 111624
[startup+643.043 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 16031
/proc/meminfo: memFree=1192936/2055924 swapFree=4165736/4192956
[pid=16012] ppid=16010 vsize=47564 CPUtime=0.01
/proc/16012/stat : 16012 (solver.sh) S 16010 16012 14860 0 -1 4194304 847 2110 0 0 0 0 0 1 25 0 1 0 272319906 48705536 360 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 268582447962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/16012/statm: 11891 360 245 79 0 217 0
[pid=16029] ppid=16012 vsize=64060 CPUtime=639.39
/proc/16029/stat : 16029 (toolbarBtd) R 16012 16012 14860 0 -1 0 13975 1609 0 0 62752 12 1174 1 25 0 1 0 272319910 65597440 13497 18446744073709551615 134512640 135169536 4294956512 18446744073709551615 134563167 0 0 4096 2 0 0 0 17 1 0 0
/proc/16029/statm: 16015 13497 81 160 0 15851 0
Current children cumulated CPU time (s) 639.4
Current children cumulated vsize (KiB) 111624
[startup+703.112 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 16031
/proc/meminfo: memFree=1192872/2055924 swapFree=4165736/4192956
[pid=16012] ppid=16010 vsize=47564 CPUtime=0.01
/proc/16012/stat : 16012 (solver.sh) S 16010 16012 14860 0 -1 4194304 847 2110 0 0 0 0 0 1 25 0 1 0 272319906 48705536 360 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 268582447962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/16012/statm: 11891 360 245 79 0 217 0
[pid=16029] ppid=16012 vsize=64060 CPUtime=699.18
/proc/16029/stat : 16029 (toolbarBtd) R 16012 16012 14860 0 -1 0 13978 1609 0 0 68731 12 1174 1 25 0 1 0 272319910 65597440 13497 18446744073709551615 134512640 135169536 4294956512 18446744073709551615 134563190 0 0 4096 2 0 0 0 17 1 0 0
/proc/16029/statm: 16015 13497 81 160 0 15851 0
Current children cumulated CPU time (s) 699.19
Current children cumulated vsize (KiB) 111624
[startup+763.176 s]
/proc/loadavg: 2.04 2.01 2.00 3/94 16031
/proc/meminfo: memFree=1192872/2055924 swapFree=4165736/4192956
[pid=16012] ppid=16010 vsize=47564 CPUtime=0.01
/proc/16012/stat : 16012 (solver.sh) S 16010 16012 14860 0 -1 4194304 847 2110 0 0 0 0 0 1 25 0 1 0 272319906 48705536 360 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 268582447962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/16012/statm: 11891 360 245 79 0 217 0
[pid=16029] ppid=16012 vsize=64060 CPUtime=758.96
/proc/16029/stat : 16029 (toolbarBtd) R 16012 16012 14860 0 -1 0 13984 1609 0 0 74708 13 1174 1 25 0 1 0 272319910 65597440 13497 18446744073709551615 134512640 135169536 4294956512 18446744073709551615 134563231 0 0 4096 2 0 0 0 17 1 0 0
/proc/16029/statm: 16015 13497 81 160 0 15851 0
Current children cumulated CPU time (s) 758.97
Current children cumulated vsize (KiB) 111624
[startup+823.242 s]
/proc/loadavg: 2.01 2.01 2.00 3/94 16031
/proc/meminfo: memFree=1192872/2055924 swapFree=4165736/4192956
[pid=16012] ppid=16010 vsize=47564 CPUtime=0.01
/proc/16012/stat : 16012 (solver.sh) S 16010 16012 14860 0 -1 4194304 847 2110 0 0 0 0 0 1 25 0 1 0 272319906 48705536 360 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 268582447962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/16012/statm: 11891 360 245 79 0 217 0
[pid=16029] ppid=16012 vsize=64060 CPUtime=818.75
/proc/16029/stat : 16029 (toolbarBtd) R 16012 16012 14860 0 -1 0 13989 1609 0 0 80687 13 1174 1 25 0 1 0 272319910 65597440 13497 18446744073709551615 134512640 135169536 4294956512 18446744073709551615 134573169 0 0 4096 2 0 0 0 17 1 0 0
/proc/16029/statm: 16015 13497 81 160 0 15851 0
Current children cumulated CPU time (s) 818.76
Current children cumulated vsize (KiB) 111624
[startup+883.314 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 16031
/proc/meminfo: memFree=1192872/2055924 swapFree=4165736/4192956
[pid=16012] ppid=16010 vsize=47564 CPUtime=0.01
/proc/16012/stat : 16012 (solver.sh) S 16010 16012 14860 0 -1 4194304 847 2110 0 0 0 0 0 1 25 0 1 0 272319906 48705536 360 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 268582447962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/16012/statm: 11891 360 245 79 0 217 0
[pid=16029] ppid=16012 vsize=64060 CPUtime=878.54
/proc/16029/stat : 16029 (toolbarBtd) R 16012 16012 14860 0 -1 0 13995 1609 0 0 86665 14 1174 1 25 0 1 0 272319910 65597440 13497 18446744073709551615 134512640 135169536 4294956512 18446744073709551615 134562525 0 0 4096 2 0 0 0 17 1 0 0
/proc/16029/statm: 16015 13497 81 160 0 15851 0
Current children cumulated CPU time (s) 878.55
Current children cumulated vsize (KiB) 111624
[startup+943.379 s]
/proc/loadavg: 2.03 2.01 2.00 3/94 16031
/proc/meminfo: memFree=1192872/2055924 swapFree=4165736/4192956
[pid=16012] ppid=16010 vsize=47564 CPUtime=0.01
/proc/16012/stat : 16012 (solver.sh) S 16010 16012 14860 0 -1 4194304 847 2110 0 0 0 0 0 1 25 0 1 0 272319906 48705536 360 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 268582447962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/16012/statm: 11891 360 245 79 0 217 0
[pid=16029] ppid=16012 vsize=64060 CPUtime=938.32
/proc/16029/stat : 16029 (toolbarBtd) R 16012 16012 14860 0 -1 0 14002 1609 0 0 92643 14 1174 1 25 0 1 0 272319910 65597440 13497 18446744073709551615 134512640 135169536 4294956512 18446744073709551615 134562941 0 0 4096 2 0 0 0 17 1 0 0
/proc/16029/statm: 16015 13497 81 160 0 15851 0
Current children cumulated CPU time (s) 938.33
Current children cumulated vsize (KiB) 111624
Child status: 0
Real time (s): 956.169
CPU time (s): 951.107
CPU user time (s): 950.895
CPU system time (s): 0.211967
CPU usage (%): 99.4706
Max. virtual memory (cumulated for all children) (KiB): 111624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 950.895
system time used= 0.211967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21289
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= 114
involuntary context switches= 12396
runsolver used 1.02284 s user time and 3.21551 s system time
The end
Begin job on node6 on Fri Jan 19 20:40:43 UTC 2007
IDJOB= 276512
IDBENCH= 5815
IDSOLVER= 72
FILE ID= node6/276512-1169239243
PBS_JOBID= 3588999
Free space on /tmp= 66559 MiB
SOLVER NAME= Toolbar_BTD 2007-01-12
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.8/rand-2-40-80-103-800-28_ext.xml
COMMAND LINE= /tmp/evaluation/276512-1169239243/solver.sh /tmp/evaluation/276512-1169239243/unknown
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node6/convwatcher-276512-1169239243 -o ROOT/results/node6/conversion-276512-1169239243 -C 600 -M 900 /tmp/evaluation/276512-1169239243/translate /tmp/evaluation/276512-1169239243/unknown
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-276512-1169239243 -o ROOT/results/node6/solver-276512-1169239243 -C 2400 -M 900 /tmp/evaluation/276512-1169239243/solver.sh /tmp/evaluation/276512-1169239243/unknown
META MD5SUM SOLVER= f75ee5e830002fa98429bd59d9dcbc78
MD5SUM BENCH= 42f6f08b863c15542d3855468bce8333
RANDOM SEED= 970835176
TIME LIMIT= 2400 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.240
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.240
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: 2055924 kB
MemFree: 1247376 kB
Buffers: 60760 kB
Cached: 595616 kB
SwapCached: 2476 kB
Active: 321552 kB
Inactive: 404412 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1247376 kB
SwapTotal: 4192956 kB
SwapFree: 4165736 kB
Dirty: 4880 kB
Writeback: 0 kB
Mapped: 89284 kB
Slab: 67052 kB
Committed_AS: 8917092 kB
PageTables: 2480 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= 66558 MiB
End job on node6 on Fri Jan 19 20:56:41 UTC 2007