0.02 c
0.02 c Parsing xml file
0.02 c domains............... 0.02
0.04 c variables............. 0
0.05 c predicates............ 0
0.05 c constraints........... 0.29
0.34 c Allocating memory
0.34 c
0.34 c time limit = -1
0.34 c heuristic = dom/wdeg
0.34 c restart policy = Geometric increment
0.34 c restart base = 266
0.34 c restart factor = 1.33
0.34 c
0.34 c Solving
0.34 c
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node14/watcher-232498-1168322709 -o ROOT/results/node14/solver-232498-1168322709 -C 1800 -M 900 /tmp/evaluation/232498-1168322709/tramontane/bin/solver /tmp/evaluation/232498-1168322709/unknown.xml -res geom -f 3 -v 1
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: 2.09 2.07 1.97 5/87 27257
/proc/meminfo: memFree=1477704/2055920 swapFree=4163780/4192956
[pid=27256] ppid=27254 vsize=18540 CPUtime=0
/proc/27256/stat : 27256 (runsolver) R 27254 27256 26928 0 -1 4194368 16 0 0 0 0 0 0 0 21 0 1 0 180665893 18984960 279 18446744073709551615 4194304 4267372 548682068992 18446744073709551615 212234464551 0 0 4096 24578 0 0 0 17 1 0 0
/proc/27256/statm: 4635 279 244 17 0 2626 0
[startup+0.10898 s]
/proc/loadavg: 2.09 2.07 1.97 5/87 27257
/proc/meminfo: memFree=1477704/2055920 swapFree=4163780/4192956
[pid=27256] ppid=27254 vsize=9848 CPUtime=0.08
/proc/27256/stat : 27256 (solver) R 27254 27256 26928 0 -1 4194304 1561 0 0 0 8 0 0 0 20 0 1 0 180665893 10084352 1529 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 7062271 0 0 4096 0 0 0 0 17 1 0 0
/proc/27256/statm: 2462 1529 707 92 0 806 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9848
[startup+0.521026 s]
/proc/loadavg: 2.09 2.07 1.97 5/87 27257
/proc/meminfo: memFree=1477704/2055920 swapFree=4163780/4192956
[pid=27256] ppid=27254 vsize=43528 CPUtime=0.49
/proc/27256/stat : 27256 (solver) R 27254 27256 26928 0 -1 4194304 9965 0 0 0 44 5 0 0 24 0 1 0 180665893 44572672 9933 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134646763 0 0 4096 0 0 0 0 17 1 0 0
/proc/27256/statm: 10882 9933 720 92 0 9226 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 43528
[startup+1.3461 s]
/proc/loadavg: 2.09 2.07 1.97 3/87 27257
/proc/meminfo: memFree=1440712/2055920 swapFree=4163780/4192956
[pid=27256] ppid=27254 vsize=43532 CPUtime=1.31
/proc/27256/stat : 27256 (solver) R 27254 27256 26928 0 -1 4194304 9966 0 0 0 126 5 0 0 25 0 1 0 180665893 44576768 9934 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134795105 0 0 4096 0 0 0 0 17 1 0 0
/proc/27256/statm: 10883 9934 720 92 0 9227 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 43532
[startup+2.98326 s]
/proc/loadavg: 2.09 2.07 1.97 3/87 27257
/proc/meminfo: memFree=1440712/2055920 swapFree=4163780/4192956
[pid=27256] ppid=27254 vsize=43532 CPUtime=2.95
/proc/27256/stat : 27256 (solver) R 27254 27256 26928 0 -1 4194304 9966 0 0 0 289 6 0 0 25 0 1 0 180665893 44576768 9934 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134646797 0 0 4096 0 0 0 0 17 1 0 0
/proc/27256/statm: 10883 9934 720 92 0 9227 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 43532
[startup+6.26257 s]
/proc/loadavg: 2.08 2.07 1.97 3/87 27257
/proc/meminfo: memFree=1440712/2055920 swapFree=4163780/4192956
[pid=27256] ppid=27254 vsize=43536 CPUtime=6.21
/proc/27256/stat : 27256 (solver) R 27254 27256 26928 0 -1 4194304 9967 0 0 0 615 6 0 0 25 0 1 0 180665893 44580864 9935 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134643039 0 0 4096 0 0 0 0 17 1 0 0
/proc/27256/statm: 10884 9935 720 92 0 9228 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 43536
[startup+12.7322 s]
/proc/loadavg: 2.07 2.07 1.97 3/87 27257
/proc/meminfo: memFree=1440720/2055920 swapFree=4163780/4192956
[pid=27256] ppid=27254 vsize=43540 CPUtime=12.65
/proc/27256/stat : 27256 (solver) R 27254 27256 26928 0 -1 4194304 9968 0 0 0 1259 6 0 0 25 0 1 0 180665893 44584960 9936 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134792872 0 0 4096 0 0 0 0 17 1 0 0
/proc/27256/statm: 10885 9936 720 92 0 9229 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 43540
[startup+25.5514 s]
/proc/loadavg: 2.06 2.07 1.97 3/87 27257
/proc/meminfo: memFree=1440848/2055920 swapFree=4163780/4192956
[pid=27256] ppid=27254 vsize=43540 CPUtime=25.41
/proc/27256/stat : 27256 (solver) R 27254 27256 26928 0 -1 4194304 9968 0 0 0 2535 6 0 0 25 0 1 0 180665893 44584960 9936 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134646767 0 0 4096 0 0 0 0 17 1 0 0
/proc/27256/statm: 10885 9936 720 92 0 9229 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 43540
[startup+51.2018 s]
/proc/loadavg: 2.10 2.08 1.98 3/87 27257
/proc/meminfo: memFree=1440912/2055920 swapFree=4163780/4192956
[pid=27256] ppid=27254 vsize=43540 CPUtime=50.94
/proc/27256/stat : 27256 (solver) R 27254 27256 26928 0 -1 4194304 9968 0 0 0 5088 6 0 0 25 0 1 0 180665893 44584960 9936 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134647219 0 0 4096 0 0 0 0 17 1 0 0
/proc/27256/statm: 10885 9936 720 92 0 9229 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 43540
[startup+102.496 s]
/proc/loadavg: 2.04 2.06 1.98 3/87 27257
/proc/meminfo: memFree=1440912/2055920 swapFree=4163780/4192956
[pid=27256] ppid=27254 vsize=43540 CPUtime=102
/proc/27256/stat : 27256 (solver) R 27254 27256 26928 0 -1 4194304 9968 0 0 0 10193 7 0 0 25 0 1 0 180665893 44584960 9936 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727394 0 0 4096 0 0 0 0 17 1 0 0
/proc/27256/statm: 10885 9936 720 92 0 9229 0
Current children cumulated CPU time (s) 102
Current children cumulated vsize (KiB) 43540
[startup+162.509 s]
/proc/loadavg: 2.01 2.05 1.98 3/87 27257
/proc/meminfo: memFree=1440912/2055920 swapFree=4163780/4192956
[pid=27256] ppid=27254 vsize=43540 CPUtime=161.73
/proc/27256/stat : 27256 (solver) R 27254 27256 26928 0 -1 4194304 9968 0 0 0 16166 7 0 0 25 0 1 0 180665893 44584960 9936 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134646900 0 0 4096 0 0 0 0 17 1 0 0
/proc/27256/statm: 10885 9936 720 92 0 9229 0
Current children cumulated CPU time (s) 161.73
Current children cumulated vsize (KiB) 43540
[startup+222.531 s]
/proc/loadavg: 2.00 2.04 1.98 3/87 27257
/proc/meminfo: memFree=1440912/2055920 swapFree=4163780/4192956
[pid=27256] ppid=27254 vsize=43540 CPUtime=221.47
/proc/27256/stat : 27256 (solver) R 27254 27256 26928 0 -1 4194304 9968 0 0 0 22139 8 0 0 25 0 1 0 180665893 44584960 9936 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 1 0 0
/proc/27256/statm: 10885 9936 720 92 0 9229 0
Current children cumulated CPU time (s) 221.47
Current children cumulated vsize (KiB) 43540
[startup+282.55 s]
/proc/loadavg: 2.00 2.03 1.98 3/87 27257
/proc/meminfo: memFree=1441040/2055920 swapFree=4163780/4192956
[pid=27256] ppid=27254 vsize=43544 CPUtime=281.2
/proc/27256/stat : 27256 (solver) R 27254 27256 26928 0 -1 4194304 9969 0 0 0 28112 8 0 0 25 0 1 0 180665893 44589056 9937 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727403 0 0 4096 0 0 0 0 17 1 0 0
/proc/27256/statm: 10886 9937 720 92 0 9230 0
Current children cumulated CPU time (s) 281.2
Current children cumulated vsize (KiB) 43544
[startup+342.565 s]
/proc/loadavg: 2.00 2.02 1.98 3/87 27257
/proc/meminfo: memFree=1441040/2055920 swapFree=4163780/4192956
[pid=27256] ppid=27254 vsize=43544 CPUtime=340.94
/proc/27256/stat : 27256 (solver) R 27254 27256 26928 0 -1 4194304 9969 0 0 0 34085 9 0 0 25 0 1 0 180665893 44589056 9937 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134708415 0 0 4096 0 0 0 0 17 1 0 0
/proc/27256/statm: 10886 9937 720 92 0 9230 0
Current children cumulated CPU time (s) 340.94
Current children cumulated vsize (KiB) 43544
[startup+402.58 s]
/proc/loadavg: 2.00 2.02 1.98 3/87 27257
/proc/meminfo: memFree=1441040/2055920 swapFree=4163780/4192956
[pid=27256] ppid=27254 vsize=43544 CPUtime=400.67
/proc/27256/stat : 27256 (solver) R 27254 27256 26928 0 -1 4194304 9969 0 0 0 40058 9 0 0 25 0 1 0 180665893 44589056 9937 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134647095 0 0 4096 0 0 0 0 17 1 0 0
/proc/27256/statm: 10886 9937 720 92 0 9230 0
Current children cumulated CPU time (s) 400.67
Current children cumulated vsize (KiB) 43544
[startup+462.597 s]
/proc/loadavg: 2.00 2.01 1.98 3/88 27258
/proc/meminfo: memFree=1441032/2055920 swapFree=4163780/4192956
[pid=27256] ppid=27254 vsize=43544 CPUtime=460.42
/proc/27256/stat : 27256 (solver) R 27254 27256 26928 0 -1 4194304 9969 0 0 0 46032 10 0 0 25 0 1 0 180665893 44589056 9937 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134646763 0 0 4096 0 0 0 0 17 1 0 0
/proc/27256/statm: 10886 9937 720 92 0 9230 0
Current children cumulated CPU time (s) 460.42
Current children cumulated vsize (KiB) 43544
[startup+522.615 s]
/proc/loadavg: 2.00 2.00 1.98 3/88 27258
/proc/meminfo: memFree=1441032/2055920 swapFree=4163780/4192956
[pid=27256] ppid=27254 vsize=43548 CPUtime=520.14
/proc/27256/stat : 27256 (solver) R 27254 27256 26928 0 -1 4194304 9970 0 0 0 52004 10 0 0 25 0 1 0 180665893 44593152 9938 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134793501 0 0 4096 0 0 0 0 17 1 0 0
/proc/27256/statm: 10887 9938 720 92 0 9231 0
Current children cumulated CPU time (s) 520.14
Current children cumulated vsize (KiB) 43548
[startup+582.628 s]
/proc/loadavg: 2.00 2.00 1.98 3/88 27258
/proc/meminfo: memFree=1441032/2055920 swapFree=4163780/4192956
[pid=27256] ppid=27254 vsize=43548 CPUtime=579.88
/proc/27256/stat : 27256 (solver) R 27254 27256 26928 0 -1 4194304 9970 0 0 0 57977 11 0 0 25 0 1 0 180665893 44593152 9938 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134708400 0 0 4096 0 0 0 0 17 1 0 0
/proc/27256/statm: 10887 9938 720 92 0 9231 0
Current children cumulated CPU time (s) 579.88
Current children cumulated vsize (KiB) 43548
[startup+642.646 s]
/proc/loadavg: 2.00 2.00 1.98 3/88 27258
/proc/meminfo: memFree=1440968/2055920 swapFree=4163780/4192956
[pid=27256] ppid=27254 vsize=43572 CPUtime=639.62
/proc/27256/stat : 27256 (solver) R 27254 27256 26928 0 -1 4194304 9976 0 0 0 63951 11 0 0 25 0 1 0 180665893 44617728 9944 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134799448 0 0 4096 0 0 0 0 17 1 0 0
/proc/27256/statm: 10893 9944 720 92 0 9237 0
Current children cumulated CPU time (s) 639.62
Current children cumulated vsize (KiB) 43572
[startup+702.663 s]
/proc/loadavg: 2.00 2.00 1.98 4/88 27258
/proc/meminfo: memFree=1440968/2055920 swapFree=4163780/4192956
[pid=27256] ppid=27254 vsize=43572 CPUtime=699.35
/proc/27256/stat : 27256 (solver) R 27254 27256 26928 0 -1 4194304 9976 0 0 0 69924 11 0 0 25 0 1 0 180665893 44617728 9944 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134647099 0 0 4096 0 0 0 0 17 1 0 0
/proc/27256/statm: 10893 9944 720 92 0 9237 0
Current children cumulated CPU time (s) 699.35
Current children cumulated vsize (KiB) 43572
[startup+762.678 s]
/proc/loadavg: 2.00 2.00 1.98 3/88 27258
/proc/meminfo: memFree=1440968/2055920 swapFree=4163780/4192956
[pid=27256] ppid=27254 vsize=43572 CPUtime=759.09
/proc/27256/stat : 27256 (solver) R 27254 27256 26928 0 -1 4194304 9976 0 0 0 75897 12 0 0 25 0 1 0 180665893 44617728 9944 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134785581 0 0 4096 0 0 0 0 17 1 0 0
/proc/27256/statm: 10893 9944 720 92 0 9237 0
Current children cumulated CPU time (s) 759.09
Current children cumulated vsize (KiB) 43572
[startup+822.695 s]
/proc/loadavg: 2.00 2.00 1.98 3/88 27258
/proc/meminfo: memFree=1440968/2055920 swapFree=4163780/4192956
[pid=27256] ppid=27254 vsize=43572 CPUtime=818.83
/proc/27256/stat : 27256 (solver) R 27254 27256 26928 0 -1 4194304 9976 0 0 0 81871 12 0 0 25 0 1 0 180665893 44617728 9944 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727403 0 0 4096 0 0 0 0 17 1 0 0
/proc/27256/statm: 10893 9944 720 92 0 9237 0
Current children cumulated CPU time (s) 818.83
Current children cumulated vsize (KiB) 43572
[startup+882.72 s]
/proc/loadavg: 2.00 2.00 1.98 3/88 27260
/proc/meminfo: memFree=1440648/2055920 swapFree=4163780/4192956
[pid=27256] ppid=27254 vsize=43572 CPUtime=878.57
/proc/27256/stat : 27256 (solver) R 27254 27256 26928 0 -1 4194304 9976 0 0 0 87844 13 0 0 25 0 1 0 180665893 44617728 9944 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134792874 0 0 4096 0 0 0 0 17 1 0 0
/proc/27256/statm: 10893 9944 720 92 0 9237 0
Current children cumulated CPU time (s) 878.57
Current children cumulated vsize (KiB) 43572
[startup+942.733 s]
/proc/loadavg: 2.00 2.00 1.98 3/89 27261
/proc/meminfo: memFree=1440640/2055920 swapFree=4163780/4192956
[pid=27256] ppid=27254 vsize=43576 CPUtime=938.3
/proc/27256/stat : 27256 (solver) R 27254 27256 26928 0 -1 4194304 9977 0 0 0 93817 13 0 0 25 0 1 0 180665893 44621824 9945 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134785581 0 0 4096 0 0 0 0 17 1 0 0
/proc/27256/statm: 10894 9945 720 92 0 9238 0
Current children cumulated CPU time (s) 938.3
Current children cumulated vsize (KiB) 43576
[startup+1002.74 s]
/proc/loadavg: 2.00 2.00 1.98 3/89 27261
/proc/meminfo: memFree=1440640/2055920 swapFree=4163780/4192956
[pid=27256] ppid=27254 vsize=43576 CPUtime=998.02
/proc/27256/stat : 27256 (solver) R 27254 27256 26928 0 -1 4194304 9977 0 0 0 99789 13 0 0 25 0 1 0 180665893 44621824 9945 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134647095 0 0 4096 0 0 0 0 17 1 0 0
/proc/27256/statm: 10894 9945 720 92 0 9238 0
Current children cumulated CPU time (s) 998.02
Current children cumulated vsize (KiB) 43576
[startup+1062.75 s]
/proc/loadavg: 2.00 2.00 1.98 3/89 27261
/proc/meminfo: memFree=1440640/2055920 swapFree=4163780/4192956
[pid=27256] ppid=27254 vsize=43576 CPUtime=1057.76
/proc/27256/stat : 27256 (solver) R 27254 27256 26928 0 -1 4194304 9977 0 0 0 105762 14 0 0 25 0 1 0 180665893 44621824 9945 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134793092 0 0 4096 0 0 0 0 17 1 0 0
/proc/27256/statm: 10894 9945 720 92 0 9238 0
Current children cumulated CPU time (s) 1057.76
Current children cumulated vsize (KiB) 43576
[startup+1122.76 s]
/proc/loadavg: 2.00 2.00 1.98 3/89 27261
/proc/meminfo: memFree=1440640/2055920 swapFree=4163780/4192956
[pid=27256] ppid=27254 vsize=43576 CPUtime=1117.49
/proc/27256/stat : 27256 (solver) R 27254 27256 26928 0 -1 4194304 9977 0 0 0 111735 14 0 0 25 0 1 0 180665893 44621824 9945 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 1 0 0
/proc/27256/statm: 10894 9945 720 92 0 9238 0
Current children cumulated CPU time (s) 1117.49
Current children cumulated vsize (KiB) 43576
[startup+1182.78 s]
/proc/loadavg: 2.00 2.00 1.98 3/89 27261
/proc/meminfo: memFree=1440640/2055920 swapFree=4163780/4192956
[pid=27256] ppid=27254 vsize=43576 CPUtime=1177.22
/proc/27256/stat : 27256 (solver) R 27254 27256 26928 0 -1 4194304 9977 0 0 0 117708 14 0 0 25 0 1 0 180665893 44621824 9945 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134792870 0 0 4096 0 0 0 0 17 1 0 0
/proc/27256/statm: 10894 9945 720 92 0 9238 0
Current children cumulated CPU time (s) 1177.22
Current children cumulated vsize (KiB) 43576
[startup+1242.79 s]
/proc/loadavg: 2.00 2.00 1.98 3/89 27261
/proc/meminfo: memFree=1440640/2055920 swapFree=4163780/4192956
[pid=27256] ppid=27254 vsize=43576 CPUtime=1236.95
/proc/27256/stat : 27256 (solver) R 27254 27256 26928 0 -1 4194304 9977 0 0 0 123680 15 0 0 25 0 1 0 180665893 44621824 9945 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134646767 0 0 4096 0 0 0 0 17 1 0 0
/proc/27256/statm: 10894 9945 720 92 0 9238 0
Current children cumulated CPU time (s) 1236.95
Current children cumulated vsize (KiB) 43576
[startup+1302.8 s]
/proc/loadavg: 2.00 2.00 1.98 3/89 27261
/proc/meminfo: memFree=1440640/2055920 swapFree=4163780/4192956
[pid=27256] ppid=27254 vsize=43576 CPUtime=1296.68
/proc/27256/stat : 27256 (solver) R 27254 27256 26928 0 -1 4194304 9977 0 0 0 129653 15 0 0 25 0 1 0 180665893 44621824 9945 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134715856 0 0 4096 0 0 0 0 17 1 0 0
/proc/27256/statm: 10894 9945 720 92 0 9238 0
Current children cumulated CPU time (s) 1296.68
Current children cumulated vsize (KiB) 43576
[startup+1362.82 s]
/proc/loadavg: 2.00 2.00 1.98 3/86 27261
/proc/meminfo: memFree=1440640/2055920 swapFree=4163780/4192956
[pid=27256] ppid=27254 vsize=43576 CPUtime=1356.42
/proc/27256/stat : 27256 (solver) R 27254 27256 26928 0 -1 4194304 9977 0 0 0 135626 16 0 0 25 0 1 0 180665893 44621824 9945 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134785600 0 0 4096 0 0 0 0 17 1 0 0
/proc/27256/statm: 10894 9945 720 92 0 9238 0
Current children cumulated CPU time (s) 1356.42
Current children cumulated vsize (KiB) 43576
[startup+1422.82 s]
/proc/loadavg: 1.88 1.95 1.96 3/95 27339
/proc/meminfo: memFree=1291672/2055920 swapFree=4163780/4192956
[pid=27256] ppid=27254 vsize=43576 CPUtime=1416.32
/proc/27256/stat : 27256 (solver) R 27254 27256 26928 0 -1 4194304 9977 0 0 0 141615 17 0 0 25 0 1 0 180665893 44621824 9945 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134795105 0 0 4096 0 0 0 0 17 0 0 0
/proc/27256/statm: 10894 9945 720 92 0 9238 0
Current children cumulated CPU time (s) 1416.32
Current children cumulated vsize (KiB) 43576
[startup+1482.83 s]
/proc/loadavg: 1.95 1.96 1.96 3/95 27339
/proc/meminfo: memFree=1291800/2055920 swapFree=4163780/4192956
[pid=27256] ppid=27254 vsize=43576 CPUtime=1476.27
/proc/27256/stat : 27256 (solver) R 27254 27256 26928 0 -1 4194304 9977 0 0 0 147609 18 0 0 25 0 1 0 180665893 44621824 9945 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134646767 0 0 4096 0 0 0 0 17 0 0 0
/proc/27256/statm: 10894 9945 720 92 0 9238 0
Current children cumulated CPU time (s) 1476.27
Current children cumulated vsize (KiB) 43576
[startup+1542.91 s]
/proc/loadavg: 1.98 1.97 1.96 3/95 27339
/proc/meminfo: memFree=1291800/2055920 swapFree=4163780/4192956
[pid=27256] ppid=27254 vsize=43576 CPUtime=1536.3
/proc/27256/stat : 27256 (solver) R 27254 27256 26928 0 -1 4194304 9977 0 0 0 153612 18 0 0 25 0 1 0 180665893 44621824 9945 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134785579 0 0 4096 0 0 0 0 17 0 0 0
/proc/27256/statm: 10894 9945 720 92 0 9238 0
Current children cumulated CPU time (s) 1536.3
Current children cumulated vsize (KiB) 43576
[startup+1602.98 s]
/proc/loadavg: 1.93 1.96 1.96 3/93 27403
/proc/meminfo: memFree=1379880/2055920 swapFree=4163780/4192956
[pid=27256] ppid=27254 vsize=43576 CPUtime=1596.29
/proc/27256/stat : 27256 (solver) R 27254 27256 26928 0 -1 4194304 9977 0 0 0 159609 20 0 0 25 0 1 0 180665893 44621824 9945 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134785579 0 0 4096 0 0 0 0 17 0 0 0
/proc/27256/statm: 10894 9945 720 92 0 9238 0
Current children cumulated CPU time (s) 1596.29
Current children cumulated vsize (KiB) 43576
[startup+1663.08 s]
/proc/loadavg: 1.97 1.96 1.96 3/93 27403
/proc/meminfo: memFree=1312104/2055920 swapFree=4163780/4192956
[pid=27256] ppid=27254 vsize=43576 CPUtime=1656.32
/proc/27256/stat : 27256 (solver) R 27254 27256 26928 0 -1 4194304 9977 0 0 0 165612 20 0 0 25 0 1 0 180665893 44621824 9945 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727403 0 0 4096 0 0 0 0 17 0 0 0
/proc/27256/statm: 10894 9945 720 92 0 9238 0
Current children cumulated CPU time (s) 1656.32
Current children cumulated vsize (KiB) 43576
[startup+1723.08 s]
/proc/loadavg: 1.99 1.97 1.96 3/93 27403
/proc/meminfo: memFree=1236200/2055920 swapFree=4163780/4192956
[pid=27256] ppid=27254 vsize=43576 CPUtime=1716.28
/proc/27256/stat : 27256 (solver) R 27254 27256 26928 0 -1 4194304 9977 0 0 0 171607 21 0 0 25 0 1 0 180665893 44621824 9945 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134643002 0 0 4096 0 0 0 0 17 0 0 0
/proc/27256/statm: 10894 9945 720 92 0 9238 0
Current children cumulated CPU time (s) 1716.28
Current children cumulated vsize (KiB) 43576
[startup+1783.1 s]
/proc/loadavg: 1.99 1.97 1.96 3/93 27403
/proc/meminfo: memFree=1166184/2055920 swapFree=4163780/4192956
[pid=27256] ppid=27254 vsize=43576 CPUtime=1776.23
/proc/27256/stat : 27256 (solver) R 27254 27256 26928 0 -1 4194304 9977 0 0 0 177602 21 0 0 25 0 1 0 180665893 44621824 9945 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 0 0 0
/proc/27256/statm: 10894 9945 720 92 0 9238 0
Current children cumulated CPU time (s) 1776.23
Current children cumulated vsize (KiB) 43576
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1806.91 s]
/proc/loadavg: 1.99 1.97 1.96 3/93 27403
/proc/meminfo: memFree=1088232/2055920 swapFree=4163780/4192956
[pid=27256] ppid=27254 vsize=43576 CPUtime=1800.01
/proc/27256/stat : 27256 (solver) R 27254 27256 26928 0 -1 4194304 9977 0 0 0 179980 21 0 0 25 0 1 0 180665893 44621824 9945 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134792899 0 0 4096 0 0 0 0 17 0 0 0
/proc/27256/statm: 10894 9945 720 92 0 9238 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 43576
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1806.92
CPU time (s): 1800.03
CPU user time (s): 1799.81
CPU system time (s): 0.217966
CPU usage (%): 99.6187
Max. virtual memory (cumulated for all children) (KiB): 43576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.81
system time used= 0.217966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9977
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= 11
involuntary context switches= 43958
runsolver used 2.06369 s user time and 5.83211 s system time
The end
Begin job on node14 on Tue Jan 9 06:05:10 UTC 2007
IDJOB= 232498
IDBENCH= 6522
FILE ID= node14/232498-1168322709
PBS_JOBID= 3502699
Free space on /tmp= 66557 MiB
BENCH NAME= HOME/pub/bench/CPAI06/taillard/js-taillard-20/js-taillard-20-95-5.xml
COMMAND LINE= /tmp/evaluation/232498-1168322709/tramontane/bin/solver /tmp/evaluation/232498-1168322709/unknown.xml -res geom -f 3 -v 1
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-232498-1168322709 -o ROOT/results/node14/solver-232498-1168322709 -C 1800 -M 900 /tmp/evaluation/232498-1168322709/tramontane/bin/solver /tmp/evaluation/232498-1168322709/unknown.xml -res geom -f 3 -v 1
META MD5SUM SOLVER= cb80ed4ac975bdc0101f830a5b1b8f77
MD5SUM BENCH= 35e4216e34935e9081eda29536a155be
RANDOM SEED= 49938136
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.227
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.227
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: 1478184 kB
Buffers: 67472 kB
Cached: 392068 kB
SwapCached: 4084 kB
Active: 238632 kB
Inactive: 268416 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1478184 kB
SwapTotal: 4192956 kB
SwapFree: 4163780 kB
Dirty: 3620 kB
Writeback: 0 kB
Mapped: 57300 kB
Slab: 55488 kB
Committed_AS: 6176244 kB
PageTables: 2180 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= 66557 MiB
End job on node14 on Tue Jan 9 06:35:17 UTC 2007