runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node1/watcher-239046-1168363261 -o ROOT/results/node1/solver-239046-1168363261 -C 1800 -M 900 /tmp/evaluation/239046-1168363261/VALCSP /tmp/evaluation/239046-1168363261/unknown.xml
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.99 2.00 1.99 5/88 2157
/proc/meminfo: memFree=1717824/2055920 swapFree=4165612/4192956
[pid=2156] ppid=2154 vsize=1864 CPUtime=0
/proc/2156/stat : 2156 (VALCSP) R 2154 2156 929 0 -1 4194304 200 0 0 0 0 0 0 0 20 0 1 0 184721901 1908736 178 18446744073709551615 134512640 134548440 4294956720 18446744073709551615 6264443 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 466 178 62 8 0 138 0
[startup+0.105372 s]
/proc/loadavg: 1.99 2.00 1.99 5/88 2157
/proc/meminfo: memFree=1717824/2055920 swapFree=4165612/4192956
[pid=2156] ppid=2154 vsize=9500 CPUtime=0.09
/proc/2156/stat : 2156 (VALCSP) R 2154 2156 929 0 -1 4194304 2053 0 0 0 8 1 0 0 20 0 1 0 184721901 9728000 2031 18446744073709551615 134512640 134548440 4294956720 18446744073709551615 134536658 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 2375 2031 64 8 0 2047 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9500
[startup+0.513415 s]
/proc/loadavg: 1.99 2.00 1.99 5/88 2157
/proc/meminfo: memFree=1717824/2055920 swapFree=4165612/4192956
[pid=2156] ppid=2154 vsize=23032 CPUtime=0.5
/proc/2156/stat : 2156 (VALCSP) R 2154 2156 929 0 -1 4194304 5486 0 0 0 46 4 0 0 24 0 1 0 184721901 23584768 5464 18446744073709551615 134512640 134548440 4294956720 18446744073709551615 134536652 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 5758 5464 64 8 0 5430 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 23032
[startup+1.33452 s]
/proc/loadavg: 1.99 2.00 1.99 3/88 2157
/proc/meminfo: memFree=1692736/2055920 swapFree=4165612/4192956
[pid=2156] ppid=2154 vsize=26332 CPUtime=1.31
/proc/2156/stat : 2156 (VALCSP) R 2154 2156 929 0 -1 4194304 6338 0 0 0 127 4 0 0 25 0 1 0 184721901 26963968 6316 18446744073709551615 134512640 134548440 4294956720 18446744073709551615 134524787 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 6583 6316 66 8 0 6255 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 26332
[startup+2.97271 s]
/proc/loadavg: 1.99 2.00 1.99 3/88 2157
/proc/meminfo: memFree=1692736/2055920 swapFree=4165612/4192956
[pid=2156] ppid=2154 vsize=26332 CPUtime=2.93
/proc/2156/stat : 2156 (VALCSP) R 2154 2156 929 0 -1 4194304 6338 0 0 0 289 4 0 0 25 0 1 0 184721901 26963968 6316 18446744073709551615 134512640 134548440 4294956720 18446744073709551615 134524702 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 6583 6316 66 8 0 6255 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 26332
[startup+6.26409 s]
/proc/loadavg: 1.99 2.00 1.99 3/88 2157
/proc/meminfo: memFree=1692736/2055920 swapFree=4165612/4192956
[pid=2156] ppid=2154 vsize=26332 CPUtime=6.2
/proc/2156/stat : 2156 (VALCSP) R 2154 2156 929 0 -1 4194304 6338 0 0 0 616 4 0 0 25 0 1 0 184721901 26963968 6316 18446744073709551615 134512640 134548440 4294956720 18446744073709551615 134524702 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 6583 6316 66 8 0 6255 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 26332
[startup+12.7348 s]
/proc/loadavg: 1.99 2.00 1.99 3/88 2157
/proc/meminfo: memFree=1692736/2055920 swapFree=4165612/4192956
[pid=2156] ppid=2154 vsize=26332 CPUtime=12.6
/proc/2156/stat : 2156 (VALCSP) R 2154 2156 929 0 -1 4194304 6338 0 0 0 1256 4 0 0 25 0 1 0 184721901 26963968 6316 18446744073709551615 134512640 134548440 4294956720 18446744073709551615 134524561 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 6583 6316 66 8 0 6255 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 26332
[startup+25.5664 s]
/proc/loadavg: 1.99 2.00 1.99 3/88 2157
/proc/meminfo: memFree=1692736/2055920 swapFree=4165612/4192956
[pid=2156] ppid=2154 vsize=26332 CPUtime=25.32
/proc/2156/stat : 2156 (VALCSP) R 2154 2156 929 0 -1 4194304 6338 0 0 0 2528 4 0 0 25 0 1 0 184721901 26963968 6316 18446744073709551615 134512640 134548440 4294956720 18446744073709551615 134520508 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 6583 6316 66 8 0 6255 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 26332
[startup+51.2414 s]
/proc/loadavg: 1.99 2.00 1.99 3/88 2157
/proc/meminfo: memFree=1691392/2055920 swapFree=4165612/4192956
[pid=2156] ppid=2154 vsize=26332 CPUtime=50.77
/proc/2156/stat : 2156 (VALCSP) R 2154 2156 929 0 -1 4194304 6338 0 0 0 5072 5 0 0 25 0 1 0 184721901 26963968 6316 18446744073709551615 134512640 134548440 4294956720 18446744073709551615 134524623 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 6583 6316 66 8 0 6255 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 26332
[startup+102.446 s]
/proc/loadavg: 1.99 2.00 1.99 3/88 2157
/proc/meminfo: memFree=1692800/2055920 swapFree=4165612/4192956
[pid=2156] ppid=2154 vsize=26332 CPUtime=101.5
/proc/2156/stat : 2156 (VALCSP) R 2154 2156 929 0 -1 4194304 6338 0 0 0 10145 5 0 0 25 0 1 0 184721901 26963968 6316 18446744073709551615 134512640 134548440 4294956720 18446744073709551615 134520714 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 6583 6316 66 8 0 6255 0
Current children cumulated CPU time (s) 101.5
Current children cumulated vsize (KiB) 26332
[startup+162.483 s]
/proc/loadavg: 1.99 2.00 1.99 3/88 2157
/proc/meminfo: memFree=1692736/2055920 swapFree=4165612/4192956
[pid=2156] ppid=2154 vsize=26332 CPUtime=160.99
/proc/2156/stat : 2156 (VALCSP) R 2154 2156 929 0 -1 4194304 6338 0 0 0 16094 5 0 0 25 0 1 0 184721901 26963968 6316 18446744073709551615 134512640 134548440 4294956720 18446744073709551615 134524787 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 6583 6316 66 8 0 6255 0
Current children cumulated CPU time (s) 160.99
Current children cumulated vsize (KiB) 26332
[startup+222.566 s]
/proc/loadavg: 1.99 2.00 1.99 3/88 2157
/proc/meminfo: memFree=1692672/2055920 swapFree=4165612/4192956
[pid=2156] ppid=2154 vsize=26332 CPUtime=220.52
/proc/2156/stat : 2156 (VALCSP) R 2154 2156 929 0 -1 4194304 6338 0 0 0 22046 6 0 0 25 0 1 0 184721901 26963968 6316 18446744073709551615 134512640 134548440 4294956720 18446744073709551615 134524623 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 6583 6316 66 8 0 6255 0
Current children cumulated CPU time (s) 220.52
Current children cumulated vsize (KiB) 26332
[startup+282.578 s]
/proc/loadavg: 1.99 2.00 1.99 3/88 2157
/proc/meminfo: memFree=1692608/2055920 swapFree=4165612/4192956
[pid=2156] ppid=2154 vsize=26332 CPUtime=279.99
/proc/2156/stat : 2156 (VALCSP) R 2154 2156 929 0 -1 4194304 6338 0 0 0 27993 6 0 0 25 0 1 0 184721901 26963968 6316 18446744073709551615 134512640 134548440 4294956720 18446744073709551615 134524781 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 6583 6316 66 8 0 6255 0
Current children cumulated CPU time (s) 279.99
Current children cumulated vsize (KiB) 26332
[startup+342.594 s]
/proc/loadavg: 1.99 2.00 1.99 3/88 2157
/proc/meminfo: memFree=1692608/2055920 swapFree=4165612/4192956
[pid=2156] ppid=2154 vsize=26332 CPUtime=339.45
/proc/2156/stat : 2156 (VALCSP) R 2154 2156 929 0 -1 4194304 6338 0 0 0 33939 6 0 0 25 0 1 0 184721901 26963968 6316 18446744073709551615 134512640 134548440 4294956720 18446744073709551615 134524781 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 6583 6316 66 8 0 6255 0
Current children cumulated CPU time (s) 339.45
Current children cumulated vsize (KiB) 26332
[startup+402.609 s]
/proc/loadavg: 1.99 2.00 1.99 3/88 2157
/proc/meminfo: memFree=1691264/2055920 swapFree=4165612/4192956
[pid=2156] ppid=2154 vsize=26332 CPUtime=398.93
/proc/2156/stat : 2156 (VALCSP) R 2154 2156 929 0 -1 4194304 6338 0 0 0 39886 7 0 0 25 0 1 0 184721901 26963968 6316 18446744073709551615 134512640 134548440 4294956720 18446744073709551615 134524776 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 6583 6316 66 8 0 6255 0
Current children cumulated CPU time (s) 398.93
Current children cumulated vsize (KiB) 26332
[startup+462.632 s]
/proc/loadavg: 1.99 2.00 1.99 3/88 2157
/proc/meminfo: memFree=1692544/2055920 swapFree=4165612/4192956
[pid=2156] ppid=2154 vsize=26332 CPUtime=458.4
/proc/2156/stat : 2156 (VALCSP) R 2154 2156 929 0 -1 4194304 6338 0 0 0 45833 7 0 0 25 0 1 0 184721901 26963968 6316 18446744073709551615 134512640 134548440 4294956720 18446744073709551615 134524787 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 6583 6316 66 8 0 6255 0
Current children cumulated CPU time (s) 458.4
Current children cumulated vsize (KiB) 26332
[startup+522.65 s]
/proc/loadavg: 1.99 2.00 1.99 3/88 2157
/proc/meminfo: memFree=1692480/2055920 swapFree=4165612/4192956
[pid=2156] ppid=2154 vsize=26332 CPUtime=517.88
/proc/2156/stat : 2156 (VALCSP) R 2154 2156 929 0 -1 4194304 6338 0 0 0 51780 8 0 0 25 0 1 0 184721901 26963968 6316 18446744073709551615 134512640 134548440 4294956720 18446744073709551615 134526929 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 6583 6316 66 8 0 6255 0
Current children cumulated CPU time (s) 517.88
Current children cumulated vsize (KiB) 26332
[startup+582.668 s]
/proc/loadavg: 1.99 2.00 1.99 3/88 2157
/proc/meminfo: memFree=1691072/2055920 swapFree=4165612/4192956
[pid=2156] ppid=2154 vsize=26332 CPUtime=577.34
/proc/2156/stat : 2156 (VALCSP) R 2154 2156 929 0 -1 4194304 6338 0 0 0 57726 8 0 0 25 0 1 0 184721901 26963968 6316 18446744073709551615 134512640 134548440 4294956720 18446744073709551615 134524717 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 6583 6316 66 8 0 6255 0
Current children cumulated CPU time (s) 577.34
Current children cumulated vsize (KiB) 26332
[startup+642.679 s]
/proc/loadavg: 1.99 2.00 1.99 3/88 2157
/proc/meminfo: memFree=1692416/2055920 swapFree=4165612/4192956
[pid=2156] ppid=2154 vsize=26332 CPUtime=636.81
/proc/2156/stat : 2156 (VALCSP) R 2154 2156 929 0 -1 4194304 6338 0 0 0 63673 8 0 0 25 0 1 0 184721901 26963968 6316 18446744073709551615 134512640 134548440 4294956720 18446744073709551615 134524623 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 6583 6316 66 8 0 6255 0
Current children cumulated CPU time (s) 636.81
Current children cumulated vsize (KiB) 26332
[startup+702.696 s]
/proc/loadavg: 1.99 2.00 1.99 3/88 2157
/proc/meminfo: memFree=1692352/2055920 swapFree=4165612/4192956
[pid=2156] ppid=2154 vsize=26332 CPUtime=696.28
/proc/2156/stat : 2156 (VALCSP) R 2154 2156 929 0 -1 4194304 6338 0 0 0 69619 9 0 0 25 0 1 0 184721901 26963968 6316 18446744073709551615 134512640 134548440 4294956720 18446744073709551615 134520508 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 6583 6316 66 8 0 6255 0
Current children cumulated CPU time (s) 696.28
Current children cumulated vsize (KiB) 26332
[startup+762.711 s]
/proc/loadavg: 2.05 2.01 2.00 3/88 2157
/proc/meminfo: memFree=1690944/2055920 swapFree=4165612/4192956
[pid=2156] ppid=2154 vsize=26332 CPUtime=755.75
/proc/2156/stat : 2156 (VALCSP) R 2154 2156 929 0 -1 4194304 6338 0 0 0 75566 9 0 0 25 0 1 0 184721901 26963968 6316 18446744073709551615 134512640 134548440 4294956720 18446744073709551615 134524702 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 6583 6316 66 8 0 6255 0
Current children cumulated CPU time (s) 755.75
Current children cumulated vsize (KiB) 26332
[startup+822.724 s]
/proc/loadavg: 2.02 2.01 2.00 3/88 2157
/proc/meminfo: memFree=1692288/2055920 swapFree=4165612/4192956
[pid=2156] ppid=2154 vsize=26332 CPUtime=815.22
/proc/2156/stat : 2156 (VALCSP) R 2154 2156 929 0 -1 4194304 6338 0 0 0 81512 10 0 0 25 0 1 0 184721901 26963968 6316 18446744073709551615 134512640 134548440 4294956720 18446744073709551615 134524697 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 6583 6316 66 8 0 6255 0
Current children cumulated CPU time (s) 815.22
Current children cumulated vsize (KiB) 26332
[startup+882.747 s]
/proc/loadavg: 2.00 2.00 2.00 3/88 2157
/proc/meminfo: memFree=1692288/2055920 swapFree=4165612/4192956
[pid=2156] ppid=2154 vsize=26332 CPUtime=874.68
/proc/2156/stat : 2156 (VALCSP) R 2154 2156 929 0 -1 4194304 6338 0 0 0 87458 10 0 0 25 0 1 0 184721901 26963968 6316 18446744073709551615 134512640 134548440 4294956720 18446744073709551615 134518448 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 6583 6316 66 8 0 6255 0
Current children cumulated CPU time (s) 874.68
Current children cumulated vsize (KiB) 26332
[startup+942.794 s]
/proc/loadavg: 2.00 2.00 2.00 3/88 2157
/proc/meminfo: memFree=1690944/2055920 swapFree=4165612/4192956
[pid=2156] ppid=2154 vsize=26332 CPUtime=934.18
/proc/2156/stat : 2156 (VALCSP) R 2154 2156 929 0 -1 4194304 6338 0 0 0 93408 10 0 0 25 0 1 0 184721901 26963968 6316 18446744073709551615 134512640 134548440 4294956720 18446744073709551615 134524642 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 6583 6316 66 8 0 6255 0
Current children cumulated CPU time (s) 934.18
Current children cumulated vsize (KiB) 26332
[startup+1002.89 s]
/proc/loadavg: 2.00 2.00 2.00 3/88 2157
/proc/meminfo: memFree=1692160/2055920 swapFree=4165612/4192956
[pid=2156] ppid=2154 vsize=26332 CPUtime=993.73
/proc/2156/stat : 2156 (VALCSP) R 2154 2156 929 0 -1 4194304 6338 0 0 0 99362 11 0 0 25 0 1 0 184721901 26963968 6316 18446744073709551615 134512640 134548440 4294956720 18446744073709551615 134524781 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 6583 6316 66 8 0 6255 0
Current children cumulated CPU time (s) 993.73
Current children cumulated vsize (KiB) 26332
[startup+1062.93 s]
/proc/loadavg: 2.00 2.00 2.00 3/88 2157
/proc/meminfo: memFree=1692224/2055920 swapFree=4165612/4192956
[pid=2156] ppid=2154 vsize=26332 CPUtime=1053.23
/proc/2156/stat : 2156 (VALCSP) R 2154 2156 929 0 -1 4194304 6338 0 0 0 105312 11 0 0 25 0 1 0 184721901 26963968 6316 18446744073709551615 134512640 134548440 4294956720 18446744073709551615 134524787 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 6583 6316 66 8 0 6255 0
Current children cumulated CPU time (s) 1053.23
Current children cumulated vsize (KiB) 26332
[startup+1123.03 s]
/proc/loadavg: 2.00 2.00 2.00 3/88 2157
/proc/meminfo: memFree=1690816/2055920 swapFree=4165612/4192956
[pid=2156] ppid=2154 vsize=26332 CPUtime=1112.77
/proc/2156/stat : 2156 (VALCSP) R 2154 2156 929 0 -1 4194304 6338 0 0 0 111266 11 0 0 25 0 1 0 184721901 26963968 6316 18446744073709551615 134512640 134548440 4294956720 18446744073709551615 134524623 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 6583 6316 66 8 0 6255 0
Current children cumulated CPU time (s) 1112.77
Current children cumulated vsize (KiB) 26332
[startup+1183.07 s]
/proc/loadavg: 2.00 2.00 2.00 3/88 2157
/proc/meminfo: memFree=1692096/2055920 swapFree=4165612/4192956
[pid=2156] ppid=2154 vsize=26332 CPUtime=1172.28
/proc/2156/stat : 2156 (VALCSP) R 2154 2156 929 0 -1 4194304 6338 0 0 0 117216 12 0 0 25 0 1 0 184721901 26963968 6316 18446744073709551615 134512640 134548440 4294956720 18446744073709551615 134524702 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 6583 6316 66 8 0 6255 0
Current children cumulated CPU time (s) 1172.28
Current children cumulated vsize (KiB) 26332
[startup+1243.13 s]
/proc/loadavg: 2.00 2.00 2.00 3/88 2157
/proc/meminfo: memFree=1692032/2055920 swapFree=4165612/4192956
[pid=2156] ppid=2154 vsize=26332 CPUtime=1231.78
/proc/2156/stat : 2156 (VALCSP) R 2154 2156 929 0 -1 4194304 6338 0 0 0 123166 12 0 0 25 0 1 0 184721901 26963968 6316 18446744073709551615 134512640 134548440 4294956720 18446744073709551615 134524542 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 6583 6316 66 8 0 6255 0
Current children cumulated CPU time (s) 1231.78
Current children cumulated vsize (KiB) 26332
[startup+1303.16 s]
/proc/loadavg: 2.00 2.00 2.00 3/88 2157
/proc/meminfo: memFree=1690560/2055920 swapFree=4165612/4192956
[pid=2156] ppid=2154 vsize=26332 CPUtime=1291.27
/proc/2156/stat : 2156 (VALCSP) R 2154 2156 929 0 -1 4194304 6338 0 0 0 129114 13 0 0 25 0 1 0 184721901 26963968 6316 18446744073709551615 134512640 134548440 4294956720 18446744073709551615 134524920 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 6583 6316 66 8 0 6255 0
Current children cumulated CPU time (s) 1291.27
Current children cumulated vsize (KiB) 26332
[startup+1363.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/88 2157
/proc/meminfo: memFree=1691840/2055920 swapFree=4165612/4192956
[pid=2156] ppid=2154 vsize=26332 CPUtime=1350.75
/proc/2156/stat : 2156 (VALCSP) R 2154 2156 929 0 -1 4194304 6338 0 0 0 135062 13 0 0 25 0 1 0 184721901 26963968 6316 18446744073709551615 134512640 134548440 4294956720 18446744073709551615 134524776 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 6583 6316 66 8 0 6255 0
Current children cumulated CPU time (s) 1350.75
Current children cumulated vsize (KiB) 26332
[startup+1423.25 s]
/proc/loadavg: 2.00 2.00 2.00 3/88 2157
/proc/meminfo: memFree=1691840/2055920 swapFree=4165612/4192956
[pid=2156] ppid=2154 vsize=26332 CPUtime=1410.26
/proc/2156/stat : 2156 (VALCSP) R 2154 2156 929 0 -1 4194304 6338 0 0 0 141012 14 0 0 25 0 1 0 184721901 26963968 6316 18446744073709551615 134512640 134548440 4294956720 18446744073709551615 134524787 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 6583 6316 66 8 0 6255 0
Current children cumulated CPU time (s) 1410.26
Current children cumulated vsize (KiB) 26332
[startup+1483.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/88 2157
/proc/meminfo: memFree=1690560/2055920 swapFree=4165612/4192956
[pid=2156] ppid=2154 vsize=26332 CPUtime=1469.76
/proc/2156/stat : 2156 (VALCSP) R 2154 2156 929 0 -1 4194304 6338 0 0 0 146962 14 0 0 25 0 1 0 184721901 26963968 6316 18446744073709551615 134512640 134548440 4294956720 18446744073709551615 134526929 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 6583 6316 66 8 0 6255 0
Current children cumulated CPU time (s) 1469.76
Current children cumulated vsize (KiB) 26332
[startup+1543.34 s]
/proc/loadavg: 2.00 2.00 2.00 3/88 2157
/proc/meminfo: memFree=1691840/2055920 swapFree=4165612/4192956
[pid=2156] ppid=2154 vsize=26332 CPUtime=1529.26
/proc/2156/stat : 2156 (VALCSP) R 2154 2156 929 0 -1 4194304 6338 0 0 0 152911 15 0 0 25 0 1 0 184721901 26963968 6316 18446744073709551615 134512640 134548440 4294956720 18446744073709551615 134524623 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 6583 6316 66 8 0 6255 0
Current children cumulated CPU time (s) 1529.26
Current children cumulated vsize (KiB) 26332
[startup+1603.38 s]
/proc/loadavg: 2.00 2.00 2.00 3/88 2157
/proc/meminfo: memFree=1691840/2055920 swapFree=4165612/4192956
[pid=2156] ppid=2154 vsize=26332 CPUtime=1588.74
/proc/2156/stat : 2156 (VALCSP) R 2154 2156 929 0 -1 4194304 6338 0 0 0 158859 15 0 0 25 0 1 0 184721901 26963968 6316 18446744073709551615 134512640 134548440 4294956720 18446744073709551615 134524683 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 6583 6316 66 8 0 6255 0
Current children cumulated CPU time (s) 1588.74
Current children cumulated vsize (KiB) 26332
[startup+1663.42 s]
/proc/loadavg: 2.00 2.00 2.00 3/88 2157
/proc/meminfo: memFree=1690432/2055920 swapFree=4165612/4192956
[pid=2156] ppid=2154 vsize=26332 CPUtime=1648.23
/proc/2156/stat : 2156 (VALCSP) R 2154 2156 929 0 -1 4194304 6338 0 0 0 164808 15 0 0 25 0 1 0 184721901 26963968 6316 18446744073709551615 134512640 134548440 4294956720 18446744073709551615 134524702 0 0 4096 0 0 0 0 17 1 0 0
/proc/2156/statm: 6583 6316 66 8 0 6255 0
Current children cumulated CPU time (s) 1648.23
Current children cumulated vsize (KiB) 26332
[startup+1723.5 s]
/proc/loadavg: 1.56 1.89 1.96 2/81 3077
/proc/meminfo: memFree=1768008/2055920 swapFree=4165612/4192956
[pid=2156] ppid=2154 vsize=26332 CPUtime=1708.06
/proc/2156/stat : 2156 (VALCSP) R 2154 2156 929 0 -1 4194304 6338 0 0 0 170786 20 0 0 25 0 1 0 184721901 26963968 6316 18446744073709551615 134512640 134548440 4294956720 18446744073709551615 134521881 0 0 4096 0 0 0 0 17 0 0 0
/proc/2156/statm: 6583 6316 66 8 0 6255 0
Current children cumulated CPU time (s) 1708.06
Current children cumulated vsize (KiB) 26332
[startup+1783.57 s]
/proc/loadavg: 1.20 1.72 1.90 2/81 4099
/proc/meminfo: memFree=1767952/2055920 swapFree=4165612/4192956
[pid=2156] ppid=2154 vsize=26332 CPUtime=1768.02
/proc/2156/stat : 2156 (VALCSP) R 2154 2156 929 0 -1 4194304 6338 0 0 0 176776 26 0 0 25 0 1 0 184721901 26963968 6316 18446744073709551615 134512640 134548440 4294956720 18446744073709551615 134524787 0 0 4096 0 0 0 0 17 0 0 0
/proc/2156/statm: 6583 6316 66 8 0 6255 0
Current children cumulated CPU time (s) 1768.02
Current children cumulated vsize (KiB) 26332
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1815.66 s]
/proc/loadavg: 1.17 1.67 1.87 2/78 4247
/proc/meminfo: memFree=1773032/2055920 swapFree=4165612/4192956
[pid=2156] ppid=2154 vsize=26332 CPUtime=1800.07
/proc/2156/stat : 2156 (VALCSP) R 2154 2156 929 0 -1 4194304 6338 0 0 0 179978 29 0 0 25 0 1 0 184721901 26963968 6316 18446744073709551615 134512640 134548440 4294956720 18446744073709551615 134520516 0 0 4096 0 0 0 0 17 0 0 0
/proc/2156/statm: 6583 6316 66 8 0 6255 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 26332
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1815.67
CPU time (s): 1800.08
CPU user time (s): 1799.78
CPU system time (s): 0.296954
CPU usage (%): 99.1417
Max. virtual memory (cumulated for all children) (KiB): 26332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.78
system time used= 0.296954
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6338
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= 6
involuntary context switches= 33680
runsolver used 1.9437 s user time and 5.99809 s system time
The end
Begin job on node1 on Tue Jan 9 17:21:01 UTC 2007
IDJOB= 239046
IDBENCH= 7034
FILE ID= node1/239046-1168363261
PBS_JOBID= 3503738
Free space on /tmp= 66511 MiB
BENCH NAME= HOME/pub/bench/CPAI06/qcp-qwh/QCP-25/qcp-25-264-0_ext.xml
COMMAND LINE= /tmp/evaluation/239046-1168363261/VALCSP /tmp/evaluation/239046-1168363261/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-239046-1168363261 -o ROOT/results/node1/solver-239046-1168363261 -C 1800 -M 900 /tmp/evaluation/239046-1168363261/VALCSP /tmp/evaluation/239046-1168363261/unknown.xml
META MD5SUM SOLVER= 6fc756be3a7e45a17a81a19ce431bc48
MD5SUM BENCH= d44fb58fab1cbf48805c5a0caf5a2453
RANDOM SEED= 456048036
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.234
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.234
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: 1718240 kB
Buffers: 29196 kB
Cached: 135856 kB
SwapCached: 4064 kB
Active: 192308 kB
Inactive: 87632 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1718240 kB
SwapTotal: 4192956 kB
SwapFree: 4165612 kB
Dirty: 1144 kB
Writeback: 0 kB
Mapped: 125992 kB
Slab: 42292 kB
Committed_AS: 5977036 kB
PageTables: 2500 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= 66514 MiB
End job on node1 on Tue Jan 9 17:51:18 UTC 2007