0.10 c
0.10 c Parsing xml file
0.10 c domains............... 0.02
0.10 c variables............. 0
0.10 c predicates............ 0
0.10 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 = No restart
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/node17/watcher-232474-1168322544 -o ROOT/results/node17/solver-232474-1168322544 -C 1800 -M 900 /tmp/evaluation/232474-1168322544/mistral/bin/solver /tmp/evaluation/232474-1168322544/unknown.xml -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: 1.92 1.98 1.95 5/94 5653
/proc/meminfo: memFree=1416592/2055920 swapFree=4192812/4192956
[pid=5652] ppid=5650 vsize=18540 CPUtime=0
/proc/5652/stat : 5652 (runsolver) R 5650 5652 4944 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 180649294 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 245482712359 0 0 4096 24578 0 0 0 17 1 0 0
/proc/5652/statm: 4635 279 244 17 0 2626 0
[startup+0.10877 s]
/proc/loadavg: 1.92 1.98 1.95 5/94 5653
/proc/meminfo: memFree=1416592/2055920 swapFree=4192812/4192956
[pid=5652] ppid=5650 vsize=9848 CPUtime=0.09
/proc/5652/stat : 5652 (solver) R 5650 5652 4944 0 -1 4194304 1552 0 0 0 9 0 0 0 20 0 1 0 180649294 10084352 1520 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134567575 0 0 4096 0 0 0 0 17 1 0 0
/proc/5652/statm: 2462 1520 707 92 0 806 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9848
[startup+0.516818 s]
/proc/loadavg: 1.92 1.98 1.95 5/94 5653
/proc/meminfo: memFree=1416592/2055920 swapFree=4192812/4192956
[pid=5652] ppid=5650 vsize=42604 CPUtime=0.5
/proc/5652/stat : 5652 (solver) R 5650 5652 4944 0 -1 4194304 9741 0 0 0 45 5 0 0 24 0 1 0 180649294 43626496 9709 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134647136 0 0 4096 0 0 0 0 17 1 0 0
/proc/5652/statm: 10651 9709 718 92 0 8995 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 42604
[startup+1.3389 s]
/proc/loadavg: 1.92 1.98 1.95 3/94 5655
/proc/meminfo: memFree=1380624/2055920 swapFree=4192812/4192956
[pid=5652] ppid=5650 vsize=42608 CPUtime=1.31
/proc/5652/stat : 5652 (solver) R 5650 5652 4944 0 -1 4194304 9742 0 0 0 126 5 0 0 25 0 1 0 180649294 43630592 9710 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134708368 0 0 4096 0 0 0 0 17 1 0 0
/proc/5652/statm: 10652 9710 718 92 0 8996 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 42608
[startup+2.97707 s]
/proc/loadavg: 1.92 1.98 1.95 3/94 5655
/proc/meminfo: memFree=1380624/2055920 swapFree=4192812/4192956
[pid=5652] ppid=5650 vsize=42608 CPUtime=2.94
/proc/5652/stat : 5652 (solver) R 5650 5652 4944 0 -1 4194304 9742 0 0 0 289 5 0 0 25 0 1 0 180649294 43630592 9710 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134802912 0 0 4096 0 0 0 0 17 1 0 0
/proc/5652/statm: 10652 9710 718 92 0 8996 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 42608
[startup+6.27042 s]
/proc/loadavg: 1.93 1.98 1.95 3/94 5657
/proc/meminfo: memFree=1380496/2055920 swapFree=4192812/4192956
[pid=5652] ppid=5650 vsize=42608 CPUtime=6.2
/proc/5652/stat : 5652 (solver) R 5650 5652 4944 0 -1 4194304 9742 0 0 0 615 5 0 0 25 0 1 0 180649294 43630592 9710 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134646833 0 0 4096 0 0 0 0 17 1 0 0
/proc/5652/statm: 10652 9710 718 92 0 8996 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 42608
[startup+12.7321 s]
/proc/loadavg: 1.93 1.98 1.95 3/88 5679
/proc/meminfo: memFree=1381624/2055920 swapFree=4192812/4192956
[pid=5652] ppid=5650 vsize=42616 CPUtime=12.57
/proc/5652/stat : 5652 (solver) R 5650 5652 4944 0 -1 4194304 9744 0 0 0 1252 5 0 0 25 0 1 0 180649294 43638784 9712 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134708368 0 0 4096 0 0 0 0 17 1 0 0
/proc/5652/statm: 10654 9712 718 92 0 8998 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 42616
[startup+25.5544 s]
/proc/loadavg: 1.95 1.98 1.95 3/88 5679
/proc/meminfo: memFree=1381648/2055920 swapFree=4192812/4192956
[pid=5652] ppid=5650 vsize=42616 CPUtime=25.27
/proc/5652/stat : 5652 (solver) R 5650 5652 4944 0 -1 4194304 9744 0 0 0 2522 5 0 0 25 0 1 0 180649294 43638784 9712 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134646735 0 0 4096 0 0 0 0 17 1 0 0
/proc/5652/statm: 10654 9712 718 92 0 8998 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 42616
[startup+51.2051 s]
/proc/loadavg: 1.96 1.98 1.95 3/88 5679
/proc/meminfo: memFree=1381712/2055920 swapFree=4192812/4192956
[pid=5652] ppid=5650 vsize=42616 CPUtime=50.69
/proc/5652/stat : 5652 (solver) R 5650 5652 4944 0 -1 4194304 9744 0 0 0 5064 5 0 0 25 0 1 0 180649294 43638784 9712 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727362 0 0 4096 0 0 0 0 17 1 0 0
/proc/5652/statm: 10654 9712 718 92 0 8998 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 42616
[startup+102.505 s]
/proc/loadavg: 1.98 1.98 1.95 3/88 5679
/proc/meminfo: memFree=1381712/2055920 swapFree=4192812/4192956
[pid=5652] ppid=5650 vsize=42616 CPUtime=101.51
/proc/5652/stat : 5652 (solver) R 5650 5652 4944 0 -1 4194304 9744 0 0 0 10146 5 0 0 25 0 1 0 180649294 43638784 9712 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134795073 0 0 4096 0 0 0 0 17 1 0 0
/proc/5652/statm: 10654 9712 718 92 0 8998 0
Current children cumulated CPU time (s) 101.51
Current children cumulated vsize (KiB) 42616
[startup+162.528 s]
/proc/loadavg: 1.99 1.98 1.95 3/88 5679
/proc/meminfo: memFree=1381712/2055920 swapFree=4192812/4192956
[pid=5652] ppid=5650 vsize=42616 CPUtime=160.99
/proc/5652/stat : 5652 (solver) R 5650 5652 4944 0 -1 4194304 9744 0 0 0 16093 6 0 0 25 0 1 0 180649294 43638784 9712 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134799401 0 0 4096 0 0 0 0 17 1 0 0
/proc/5652/statm: 10654 9712 718 92 0 8998 0
Current children cumulated CPU time (s) 160.99
Current children cumulated vsize (KiB) 42616
[startup+222.574 s]
/proc/loadavg: 1.99 1.98 1.95 3/88 5679
/proc/meminfo: memFree=1381776/2055920 swapFree=4192812/4192956
[pid=5652] ppid=5650 vsize=42620 CPUtime=220.48
/proc/5652/stat : 5652 (solver) R 5650 5652 4944 0 -1 4194304 9745 0 0 0 22042 6 0 0 25 0 1 0 180649294 43642880 9713 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134792305 0 0 4096 0 0 0 0 17 1 0 0
/proc/5652/statm: 10655 9713 718 92 0 8999 0
Current children cumulated CPU time (s) 220.48
Current children cumulated vsize (KiB) 42620
[startup+282.59 s]
/proc/loadavg: 1.99 1.98 1.95 3/88 5679
/proc/meminfo: memFree=1381776/2055920 swapFree=4192812/4192956
[pid=5652] ppid=5650 vsize=42624 CPUtime=279.96
/proc/5652/stat : 5652 (solver) R 5650 5652 4944 0 -1 4194304 9746 0 0 0 27989 7 0 0 25 0 1 0 180649294 43646976 9714 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134647054 0 0 4096 0 0 0 0 17 1 0 0
/proc/5652/statm: 10656 9714 718 92 0 9000 0
Current children cumulated CPU time (s) 279.96
Current children cumulated vsize (KiB) 42624
[startup+342.608 s]
/proc/loadavg: 2.04 2.00 1.95 3/88 5679
/proc/meminfo: memFree=1381904/2055920 swapFree=4192812/4192956
[pid=5652] ppid=5650 vsize=42628 CPUtime=339.43
/proc/5652/stat : 5652 (solver) R 5650 5652 4944 0 -1 4194304 9747 0 0 0 33935 8 0 0 25 0 1 0 180649294 43651072 9715 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727362 0 0 4096 0 0 0 0 17 1 0 0
/proc/5652/statm: 10657 9715 718 92 0 9001 0
Current children cumulated CPU time (s) 339.43
Current children cumulated vsize (KiB) 42628
[startup+402.626 s]
/proc/loadavg: 2.06 2.01 1.96 3/88 5679
/proc/meminfo: memFree=1381904/2055920 swapFree=4192812/4192956
[pid=5652] ppid=5650 vsize=42628 CPUtime=398.89
/proc/5652/stat : 5652 (solver) R 5650 5652 4944 0 -1 4194304 9747 0 0 0 39881 8 0 0 25 0 1 0 180649294 43651072 9715 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 1 0 0
/proc/5652/statm: 10657 9715 718 92 0 9001 0
Current children cumulated CPU time (s) 398.89
Current children cumulated vsize (KiB) 42628
[startup+462.645 s]
/proc/loadavg: 2.09 2.02 1.96 3/89 5680
/proc/meminfo: memFree=1382024/2055920 swapFree=4192812/4192956
[pid=5652] ppid=5650 vsize=42628 CPUtime=458.37
/proc/5652/stat : 5652 (solver) R 5650 5652 4944 0 -1 4194304 9747 0 0 0 45828 9 0 0 25 0 1 0 180649294 43651072 9715 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134793038 0 0 4096 0 0 0 0 17 1 0 0
/proc/5652/statm: 10657 9715 718 92 0 9001 0
Current children cumulated CPU time (s) 458.37
Current children cumulated vsize (KiB) 42628
[startup+522.675 s]
/proc/loadavg: 2.11 2.03 1.97 3/89 5680
/proc/meminfo: memFree=1382024/2055920 swapFree=4192812/4192956
[pid=5652] ppid=5650 vsize=42632 CPUtime=517.85
/proc/5652/stat : 5652 (solver) R 5650 5652 4944 0 -1 4194304 9748 0 0 0 51775 10 0 0 25 0 1 0 180649294 43655168 9716 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134792835 0 0 4096 0 0 0 0 17 1 0 0
/proc/5652/statm: 10658 9716 718 92 0 9002 0
Current children cumulated CPU time (s) 517.85
Current children cumulated vsize (KiB) 42632
[startup+582.71 s]
/proc/loadavg: 2.04 2.03 1.97 3/89 5680
/proc/meminfo: memFree=1381960/2055920 swapFree=4192812/4192956
[pid=5652] ppid=5650 vsize=42632 CPUtime=577.33
/proc/5652/stat : 5652 (solver) R 5650 5652 4944 0 -1 4194304 9748 0 0 0 57723 10 0 0 25 0 1 0 180649294 43655168 9716 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134646744 0 0 4096 0 0 0 0 17 1 0 0
/proc/5652/statm: 10658 9716 718 92 0 9002 0
Current children cumulated CPU time (s) 577.33
Current children cumulated vsize (KiB) 42632
[startup+642.735 s]
/proc/loadavg: 2.01 2.02 1.97 3/89 5680
/proc/meminfo: memFree=1381960/2055920 swapFree=4192812/4192956
[pid=5652] ppid=5650 vsize=42632 CPUtime=636.81
/proc/5652/stat : 5652 (solver) R 5650 5652 4944 0 -1 4194304 9748 0 0 0 63671 10 0 0 25 0 1 0 180649294 43655168 9716 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134708368 0 0 4096 0 0 0 0 17 1 0 0
/proc/5652/statm: 10658 9716 718 92 0 9002 0
Current children cumulated CPU time (s) 636.81
Current children cumulated vsize (KiB) 42632
[startup+702.753 s]
/proc/loadavg: 2.00 2.01 1.97 3/89 5680
/proc/meminfo: memFree=1381896/2055920 swapFree=4192812/4192956
[pid=5652] ppid=5650 vsize=42632 CPUtime=696.28
/proc/5652/stat : 5652 (solver) R 5650 5652 4944 0 -1 4194304 9748 0 0 0 69617 11 0 0 25 0 1 0 180649294 43655168 9716 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134646735 0 0 4096 0 0 0 0 17 1 0 0
/proc/5652/statm: 10658 9716 718 92 0 9002 0
Current children cumulated CPU time (s) 696.28
Current children cumulated vsize (KiB) 42632
[startup+762.847 s]
/proc/loadavg: 2.00 2.01 1.97 3/89 5680
/proc/meminfo: memFree=1381896/2055920 swapFree=4192812/4192956
[pid=5652] ppid=5650 vsize=42632 CPUtime=755.82
/proc/5652/stat : 5652 (solver) R 5650 5652 4944 0 -1 4194304 9748 0 0 0 75571 11 0 0 25 0 1 0 180649294 43655168 9716 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727366 0 0 4096 0 0 0 0 17 1 0 0
/proc/5652/statm: 10658 9716 718 92 0 9002 0
Current children cumulated CPU time (s) 755.82
Current children cumulated vsize (KiB) 42632
[startup+822.905 s]
/proc/loadavg: 2.06 2.02 1.97 3/89 5680
/proc/meminfo: memFree=1381832/2055920 swapFree=4192812/4192956
[pid=5652] ppid=5650 vsize=42632 CPUtime=815.34
/proc/5652/stat : 5652 (solver) R 5650 5652 4944 0 -1 4194304 9748 0 0 0 81522 12 0 0 25 0 1 0 180649294 43655168 9716 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134792215 0 0 4096 0 0 0 0 17 1 0 0
/proc/5652/statm: 10658 9716 718 92 0 9002 0
Current children cumulated CPU time (s) 815.34
Current children cumulated vsize (KiB) 42632
[startup+882.946 s]
/proc/loadavg: 2.02 2.01 1.97 3/95 5746
/proc/meminfo: memFree=1175376/2055920 swapFree=4192812/4192956
[pid=5652] ppid=5650 vsize=42632 CPUtime=874.93
/proc/5652/stat : 5652 (solver) R 5650 5652 4944 0 -1 4194304 9748 0 0 0 87476 17 0 0 25 0 1 0 180649294 43655168 9716 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134799416 0 0 4096 0 0 0 0 17 0 0 0
/proc/5652/statm: 10658 9716 718 92 0 9002 0
Current children cumulated CPU time (s) 874.93
Current children cumulated vsize (KiB) 42632
[startup+942.996 s]
/proc/loadavg: 2.00 2.01 1.97 3/88 5747
/proc/meminfo: memFree=660552/2055920 swapFree=4192812/4192956
[pid=5652] ppid=5650 vsize=42632 CPUtime=934.77
/proc/5652/stat : 5652 (solver) R 5650 5652 4944 0 -1 4194304 9748 0 0 0 93456 21 0 0 25 0 1 0 180649294 43655168 9716 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134646914 0 0 4096 0 0 0 0 17 0 0 0
/proc/5652/statm: 10658 9716 718 92 0 9002 0
Current children cumulated CPU time (s) 934.77
Current children cumulated vsize (KiB) 42632
[startup+1003.03 s]
/proc/loadavg: 2.05 2.02 1.98 3/88 5747
/proc/meminfo: memFree=660552/2055920 swapFree=4192812/4192956
[pid=5652] ppid=5650 vsize=42632 CPUtime=994.73
/proc/5652/stat : 5652 (solver) R 5650 5652 4944 0 -1 4194304 9748 0 0 0 99452 21 0 0 25 0 1 0 180649294 43655168 9716 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134795073 0 0 4096 0 0 0 0 17 0 0 0
/proc/5652/statm: 10658 9716 718 92 0 9002 0
Current children cumulated CPU time (s) 994.73
Current children cumulated vsize (KiB) 42632
[startup+1063.07 s]
/proc/loadavg: 2.05 2.03 1.98 3/88 5749
/proc/meminfo: memFree=660360/2055920 swapFree=4192812/4192956
[pid=5652] ppid=5650 vsize=42632 CPUtime=1054.71
/proc/5652/stat : 5652 (solver) R 5650 5652 4944 0 -1 4194304 9748 0 0 0 105450 21 0 0 25 0 1 0 180649294 43655168 9716 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134795073 0 0 4096 0 0 0 0 17 0 0 0
/proc/5652/statm: 10658 9716 718 92 0 9002 0
Current children cumulated CPU time (s) 1054.71
Current children cumulated vsize (KiB) 42632
[startup+1123.11 s]
/proc/loadavg: 2.02 2.02 1.98 3/88 5749
/proc/meminfo: memFree=660424/2055920 swapFree=4192812/4192956
[pid=5652] ppid=5650 vsize=42632 CPUtime=1114.7
/proc/5652/stat : 5652 (solver) R 5650 5652 4944 0 -1 4194304 9748 0 0 0 111448 22 0 0 25 0 1 0 180649294 43655168 9716 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134790257 0 0 4096 0 0 0 0 17 0 0 0
/proc/5652/statm: 10658 9716 718 92 0 9002 0
Current children cumulated CPU time (s) 1114.7
Current children cumulated vsize (KiB) 42632
[startup+1183.16 s]
/proc/loadavg: 2.00 2.01 1.98 3/88 5749
/proc/meminfo: memFree=660424/2055920 swapFree=4192812/4192956
[pid=5652] ppid=5650 vsize=42632 CPUtime=1174.67
/proc/5652/stat : 5652 (solver) R 5650 5652 4944 0 -1 4194304 9748 0 0 0 117445 22 0 0 25 0 1 0 180649294 43655168 9716 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134792862 0 0 4096 0 0 0 0 17 0 0 0
/proc/5652/statm: 10658 9716 718 92 0 9002 0
Current children cumulated CPU time (s) 1174.67
Current children cumulated vsize (KiB) 42632
[startup+1243.19 s]
/proc/loadavg: 2.00 2.01 1.98 3/88 5749
/proc/meminfo: memFree=660424/2055920 swapFree=4192812/4192956
[pid=5652] ppid=5650 vsize=42632 CPUtime=1234.64
/proc/5652/stat : 5652 (solver) R 5650 5652 4944 0 -1 4194304 9748 0 0 0 123442 22 0 0 25 0 1 0 180649294 43655168 9716 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727366 0 0 4096 0 0 0 0 17 0 0 0
/proc/5652/statm: 10658 9716 718 92 0 9002 0
Current children cumulated CPU time (s) 1234.64
Current children cumulated vsize (KiB) 42632
[startup+1303.24 s]
/proc/loadavg: 2.00 2.00 1.98 3/88 5749
/proc/meminfo: memFree=660488/2055920 swapFree=4192812/4192956
[pid=5652] ppid=5650 vsize=42632 CPUtime=1294.64
/proc/5652/stat : 5652 (solver) R 5650 5652 4944 0 -1 4194304 9748 0 0 0 129441 23 0 0 25 0 1 0 180649294 43655168 9716 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134785647 0 0 4096 0 0 0 0 17 0 0 0
/proc/5652/statm: 10658 9716 718 92 0 9002 0
Current children cumulated CPU time (s) 1294.64
Current children cumulated vsize (KiB) 42632
[startup+1363.29 s]
/proc/loadavg: 2.00 2.00 1.98 3/88 5749
/proc/meminfo: memFree=660488/2055920 swapFree=4192812/4192956
[pid=5652] ppid=5650 vsize=42632 CPUtime=1354.61
/proc/5652/stat : 5652 (solver) R 5650 5652 4944 0 -1 4194304 9748 0 0 0 135438 23 0 0 25 0 1 0 180649294 43655168 9716 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727366 0 0 4096 0 0 0 0 17 0 0 0
/proc/5652/statm: 10658 9716 718 92 0 9002 0
Current children cumulated CPU time (s) 1354.61
Current children cumulated vsize (KiB) 42632
[startup+1423.36 s]
/proc/loadavg: 2.00 2.00 1.98 3/88 5749
/proc/meminfo: memFree=660552/2055920 swapFree=4192812/4192956
[pid=5652] ppid=5650 vsize=42632 CPUtime=1414.62
/proc/5652/stat : 5652 (solver) R 5650 5652 4944 0 -1 4194304 9748 0 0 0 141439 23 0 0 25 0 1 0 180649294 43655168 9716 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134785549 0 0 4096 0 0 0 0 17 0 0 0
/proc/5652/statm: 10658 9716 718 92 0 9002 0
Current children cumulated CPU time (s) 1414.62
Current children cumulated vsize (KiB) 42632
[startup+1483.42 s]
/proc/loadavg: 2.00 2.00 1.98 3/88 5749
/proc/meminfo: memFree=660552/2055920 swapFree=4192812/4192956
[pid=5652] ppid=5650 vsize=42632 CPUtime=1474.63
/proc/5652/stat : 5652 (solver) R 5650 5652 4944 0 -1 4194304 9748 0 0 0 147440 23 0 0 25 0 1 0 180649294 43655168 9716 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134790457 0 0 4096 0 0 0 0 17 0 0 0
/proc/5652/statm: 10658 9716 718 92 0 9002 0
Current children cumulated CPU time (s) 1474.63
Current children cumulated vsize (KiB) 42632
[startup+1543.5 s]
/proc/loadavg: 2.00 2.00 1.98 3/88 5749
/proc/meminfo: memFree=660552/2055920 swapFree=4192812/4192956
[pid=5652] ppid=5650 vsize=42632 CPUtime=1534.62
/proc/5652/stat : 5652 (solver) R 5650 5652 4944 0 -1 4194304 9748 0 0 0 153439 23 0 0 25 0 1 0 180649294 43655168 9716 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134715052 0 0 4096 0 0 0 0 17 0 0 0
/proc/5652/statm: 10658 9716 718 92 0 9002 0
Current children cumulated CPU time (s) 1534.62
Current children cumulated vsize (KiB) 42632
[startup+1603.55 s]
/proc/loadavg: 2.03 2.01 1.99 3/88 5749
/proc/meminfo: memFree=660552/2055920 swapFree=4192812/4192956
[pid=5652] ppid=5650 vsize=42632 CPUtime=1594.61
/proc/5652/stat : 5652 (solver) R 5650 5652 4944 0 -1 4194304 9748 0 0 0 159438 23 0 0 25 0 1 0 180649294 43655168 9716 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134647050 0 0 4096 0 0 0 0 17 0 0 0
/proc/5652/statm: 10658 9716 718 92 0 9002 0
Current children cumulated CPU time (s) 1594.61
Current children cumulated vsize (KiB) 42632
[startup+1663.62 s]
/proc/loadavg: 2.01 2.01 1.99 3/88 5749
/proc/meminfo: memFree=660488/2055920 swapFree=4192812/4192956
[pid=5652] ppid=5650 vsize=42632 CPUtime=1654.63
/proc/5652/stat : 5652 (solver) R 5650 5652 4944 0 -1 4194304 9748 0 0 0 165440 23 0 0 25 0 1 0 180649294 43655168 9716 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134792995 0 0 4096 0 0 0 0 17 0 0 0
/proc/5652/statm: 10658 9716 718 92 0 9002 0
Current children cumulated CPU time (s) 1654.63
Current children cumulated vsize (KiB) 42632
[startup+1723.68 s]
/proc/loadavg: 2.00 2.00 1.99 3/88 5749
/proc/meminfo: memFree=660488/2055920 swapFree=4192812/4192956
[pid=5652] ppid=5650 vsize=42632 CPUtime=1714.62
/proc/5652/stat : 5652 (solver) R 5650 5652 4944 0 -1 4194304 9748 0 0 0 171438 24 0 0 25 0 1 0 180649294 43655168 9716 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134795113 0 0 4096 0 0 0 0 17 0 0 0
/proc/5652/statm: 10658 9716 718 92 0 9002 0
Current children cumulated CPU time (s) 1714.62
Current children cumulated vsize (KiB) 42632
[startup+1783.7 s]
/proc/loadavg: 2.03 2.01 2.00 3/88 5749
/proc/meminfo: memFree=660488/2055920 swapFree=4192812/4192956
[pid=5652] ppid=5650 vsize=42632 CPUtime=1774.58
/proc/5652/stat : 5652 (solver) R 5650 5652 4944 0 -1 4194304 9748 0 0 0 177434 24 0 0 25 0 1 0 180649294 43655168 9716 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134802913 0 0 4096 0 0 0 0 17 0 0 0
/proc/5652/statm: 10658 9716 718 92 0 9002 0
Current children cumulated CPU time (s) 1774.58
Current children cumulated vsize (KiB) 42632
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809.18 s]
/proc/loadavg: 2.02 2.01 2.00 3/88 5749
/proc/meminfo: memFree=660488/2055920 swapFree=4192812/4192956
[pid=5652] ppid=5650 vsize=42632 CPUtime=1800.03
/proc/5652/stat : 5652 (solver) R 5650 5652 4944 0 -1 4194304 9748 0 0 0 179979 24 0 0 25 0 1 0 180649294 43655168 9716 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134799368 0 0 4096 0 0 0 0 17 0 0 0
/proc/5652/statm: 10658 9716 718 92 0 9002 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 42632
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1809.2
CPU time (s): 1800.04
CPU user time (s): 1799.8
CPU system time (s): 0.246962
CPU usage (%): 99.4941
Max. virtual memory (cumulated for all children) (KiB): 42632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.8
system time used= 0.246962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9748
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= 40103
runsolver used 2.01869 s user time and 6.00209 s system time
The end
Begin job on node17 on Tue Jan 9 06:02:25 UTC 2007
IDJOB= 232474
IDBENCH= 6521
FILE ID= node17/232474-1168322544
PBS_JOBID= 3502684
Free space on /tmp= 66556 MiB
BENCH NAME= HOME/pub/bench/CPAI06/taillard/js-taillard-20/js-taillard-20-95-8.xml
COMMAND LINE= /tmp/evaluation/232474-1168322544/mistral/bin/solver /tmp/evaluation/232474-1168322544/unknown.xml -v 1
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-232474-1168322544 -o ROOT/results/node17/solver-232474-1168322544 -C 1800 -M 900 /tmp/evaluation/232474-1168322544/mistral/bin/solver /tmp/evaluation/232474-1168322544/unknown.xml -v 1
META MD5SUM SOLVER= cb80ed4ac975bdc0101f830a5b1b8f77
MD5SUM BENCH= 06acadaa04457724e64ccc767794c510
RANDOM SEED= 874126905
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.236
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.236
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: 1417008 kB
Buffers: 89716 kB
Cached: 403420 kB
SwapCached: 0 kB
Active: 376124 kB
Inactive: 192444 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1417008 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3588 kB
Writeback: 0 kB
Mapped: 92668 kB
Slab: 54544 kB
Committed_AS: 5391212 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= 66365 MiB
End job on node17 on Tue Jan 9 06:32:34 UTC 2007