0.01 c
0.01 c Parsing xml file
0.01 c domains............... 0
0.01 c variables............. 0.05
0.06 c predicates............ 0
0.06 c constraints........... 0.45
0.50 c Allocating memory
0.50 c
0.50 c time limit = -1
0.50 c heuristic = dom/wdeg
0.50 c restart policy = Geometric increment
0.50 c restart base = 1737
0.50 c restart factor = 1.33
0.50 c
0.50 c Solving
0.50 c
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node25/watcher-213996-1168227966 -o ROOT/results/node25/solver-213996-1168227966 -C 1800 -M 900 /tmp/evaluation/213996-1168227966/tramontane/bin/solver /tmp/evaluation/213996-1168227966/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: 1.85 1.97 1.87 4/81 25051
/proc/meminfo: memFree=1817480/2055920 swapFree=4170848/4192956
[pid=25050] ppid=25048 vsize=6792 CPUtime=0
/proc/25050/stat : 25050 (solver) R 25048 25050 24640 0 -1 4194304 409 0 0 0 0 0 0 0 18 0 1 0 171189510 6955008 388 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 3734817 0 0 4096 0 0 0 0 17 1 0 0
/proc/25050/statm: 1698 397 360 92 0 30 0
[startup+0.108059 s]
/proc/loadavg: 1.85 1.97 1.87 4/81 25051
/proc/meminfo: memFree=1817480/2055920 swapFree=4170848/4192956
[pid=25050] ppid=25048 vsize=7840 CPUtime=0.1
/proc/25050/stat : 25050 (solver) R 25048 25050 24640 0 -1 4194304 1028 0 0 0 10 0 0 0 18 0 1 0 171189510 8028160 996 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 4200059 0 0 4096 0 0 0 0 17 1 0 0
/proc/25050/statm: 1960 996 703 92 0 304 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7840
[startup+0.516128 s]
/proc/loadavg: 1.85 1.97 1.87 4/81 25051
/proc/meminfo: memFree=1817480/2055920 swapFree=4170848/4192956
[pid=25050] ppid=25048 vsize=10488 CPUtime=0.5
/proc/25050/stat : 25050 (solver) R 25048 25050 24640 0 -1 4194304 1712 0 0 0 50 0 0 0 22 0 1 0 171189510 10739712 1680 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 4200059 0 0 4096 0 0 0 0 17 1 0 0
/proc/25050/statm: 2622 1681 716 92 0 966 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10488
[startup+1.33727 s]
/proc/loadavg: 1.85 1.97 1.87 2/81 25051
/proc/meminfo: memFree=1813384/2055920 swapFree=4170848/4192956
[pid=25050] ppid=25048 vsize=10620 CPUtime=1.32
/proc/25050/stat : 25050 (solver) R 25048 25050 24640 0 -1 4194304 1750 0 0 0 132 0 0 0 25 0 1 0 171189510 10874880 1718 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134637638 0 0 4096 0 0 0 0 17 1 0 0
/proc/25050/statm: 2655 1718 718 92 0 999 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 10620
[startup+2.97554 s]
/proc/loadavg: 1.85 1.97 1.87 2/81 25059
/proc/meminfo: memFree=1813000/2055920 swapFree=4170848/4192956
[pid=25050] ppid=25048 vsize=10624 CPUtime=2.95
/proc/25050/stat : 25050 (solver) R 25048 25050 24640 0 -1 4194304 1751 0 0 0 295 0 0 0 25 0 1 0 171189510 10878976 1719 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 1 0 0
/proc/25050/statm: 2656 1719 718 92 0 1000 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 10624
[startup+6.2531 s]
/proc/loadavg: 1.78 1.95 1.86 2/81 25061
/proc/meminfo: memFree=1816200/2055920 swapFree=4170848/4192956
[pid=25050] ppid=25048 vsize=10624 CPUtime=6.23
/proc/25050/stat : 25050 (solver) R 25048 25050 24640 0 -1 4194304 1751 0 0 0 623 0 0 0 25 0 1 0 171189510 10878976 1719 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134812728 0 0 4096 0 0 0 0 17 1 0 0
/proc/25050/statm: 2656 1719 718 92 0 1000 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 10624
[startup+12.7132 s]
/proc/loadavg: 1.72 1.93 1.86 2/81 25285
/proc/meminfo: memFree=1812624/2055920 swapFree=4170848/4192956
[pid=25050] ppid=25048 vsize=10624 CPUtime=12.66
/proc/25050/stat : 25050 (solver) R 25048 25050 24640 0 -1 4194304 1751 0 0 0 1266 0 0 0 25 0 1 0 171189510 10878976 1719 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 1 0 0
/proc/25050/statm: 2656 1719 718 92 0 1000 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 10624
[startup+25.5274 s]
/proc/loadavg: 1.64 1.90 1.85 3/95 25351
/proc/meminfo: memFree=1764128/2055920 swapFree=4170848/4192956
[pid=25050] ppid=25048 vsize=10624 CPUtime=25.44
/proc/25050/stat : 25050 (solver) R 25048 25050 24640 0 -1 4194304 1751 0 0 0 2543 1 0 0 25 0 1 0 171189510 10878976 1719 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134727445 0 0 4096 0 0 0 0 17 1 0 0
/proc/25050/statm: 2656 1719 718 92 0 1000 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 10624
[startup+51.1537 s]
/proc/loadavg: 1.56 1.86 1.83 3/86 25585
/proc/meminfo: memFree=1807400/2055920 swapFree=4170848/4192956
[pid=25050] ppid=25048 vsize=10628 CPUtime=50.99
/proc/25050/stat : 25050 (solver) R 25048 25050 24640 0 -1 4194304 1752 0 0 0 5097 2 0 0 25 0 1 0 171189510 10883072 1720 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134727373 0 0 4096 0 0 0 0 17 0 0 0
/proc/25050/statm: 2657 1720 718 92 0 1001 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 10628
[startup+102.434 s]
/proc/loadavg: 1.81 1.88 1.84 3/86 25585
/proc/meminfo: memFree=1807464/2055920 swapFree=4170848/4192956
[pid=25050] ppid=25048 vsize=10628 CPUtime=101.86
/proc/25050/stat : 25050 (solver) R 25048 25050 24640 0 -1 4194304 1752 0 0 0 10184 2 0 0 25 0 1 0 171189510 10883072 1720 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134637345 0 0 4096 0 0 0 0 17 0 0 0
/proc/25050/statm: 2657 1720 718 92 0 1001 0
Current children cumulated CPU time (s) 101.86
Current children cumulated vsize (KiB) 10628
[startup+162.436 s]
/proc/loadavg: 2.01 1.92 1.85 3/88 25648
/proc/meminfo: memFree=1797848/2055920 swapFree=4170848/4192956
[pid=25050] ppid=25048 vsize=10628 CPUtime=161.42
/proc/25050/stat : 25050 (solver) R 25048 25050 24640 0 -1 4194304 1752 0 0 0 16138 4 0 0 25 0 1 0 171189510 10883072 1720 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134727373 0 0 4096 0 0 0 0 17 0 0 0
/proc/25050/statm: 2657 1720 718 92 0 1001 0
Current children cumulated CPU time (s) 161.42
Current children cumulated vsize (KiB) 10628
[startup+222.45 s]
/proc/loadavg: 2.04 1.94 1.86 3/88 25648
/proc/meminfo: memFree=1796824/2055920 swapFree=4170848/4192956
[pid=25050] ppid=25048 vsize=10628 CPUtime=221.16
/proc/25050/stat : 25050 (solver) R 25048 25050 24640 0 -1 4194304 1752 0 0 0 22112 4 0 0 25 0 1 0 171189510 10883072 1720 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134727373 0 0 4096 0 0 0 0 17 0 0 0
/proc/25050/statm: 2657 1720 718 92 0 1001 0
Current children cumulated CPU time (s) 221.16
Current children cumulated vsize (KiB) 10628
[startup+282.461 s]
/proc/loadavg: 2.01 1.95 1.87 3/88 25648
/proc/meminfo: memFree=1796056/2055920 swapFree=4170848/4192956
[pid=25050] ppid=25048 vsize=10628 CPUtime=280.9
/proc/25050/stat : 25050 (solver) R 25048 25050 24640 0 -1 4194304 1752 0 0 0 28086 4 0 0 25 0 1 0 171189510 10883072 1720 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134727373 0 0 4096 0 0 0 0 17 0 0 0
/proc/25050/statm: 2657 1720 718 92 0 1001 0
Current children cumulated CPU time (s) 280.9
Current children cumulated vsize (KiB) 10628
[startup+342.47 s]
/proc/loadavg: 2.00 1.96 1.87 3/88 25648
/proc/meminfo: memFree=1795672/2055920 swapFree=4170848/4192956
[pid=25050] ppid=25048 vsize=10628 CPUtime=340.61
/proc/25050/stat : 25050 (solver) R 25048 25050 24640 0 -1 4194304 1752 0 0 0 34056 5 0 0 25 0 1 0 171189510 10883072 1720 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 0 0 0
/proc/25050/statm: 2657 1720 718 92 0 1001 0
Current children cumulated CPU time (s) 340.61
Current children cumulated vsize (KiB) 10628
[startup+402.477 s]
/proc/loadavg: 2.00 1.96 1.88 3/88 25648
/proc/meminfo: memFree=1795352/2055920 swapFree=4170848/4192956
[pid=25050] ppid=25048 vsize=10628 CPUtime=400.34
/proc/25050/stat : 25050 (solver) R 25048 25050 24640 0 -1 4194304 1752 0 0 0 40029 5 0 0 25 0 1 0 171189510 10883072 1720 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134727434 0 0 4096 0 0 0 0 17 0 0 0
/proc/25050/statm: 2657 1720 718 92 0 1001 0
Current children cumulated CPU time (s) 400.34
Current children cumulated vsize (KiB) 10628
[startup+462.491 s]
/proc/loadavg: 2.00 1.97 1.88 3/88 25648
/proc/meminfo: memFree=1795096/2055920 swapFree=4170848/4192956
[pid=25050] ppid=25048 vsize=10628 CPUtime=460.07
/proc/25050/stat : 25050 (solver) R 25048 25050 24640 0 -1 4194304 1752 0 0 0 46002 5 0 0 25 0 1 0 171189510 10883072 1720 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134727400 0 0 4096 0 0 0 0 17 0 0 0
/proc/25050/statm: 2657 1720 718 92 0 1001 0
Current children cumulated CPU time (s) 460.07
Current children cumulated vsize (KiB) 10628
[startup+522.505 s]
/proc/loadavg: 2.00 1.97 1.89 3/88 25648
/proc/meminfo: memFree=1794840/2055920 swapFree=4170848/4192956
[pid=25050] ppid=25048 vsize=10628 CPUtime=519.78
/proc/25050/stat : 25050 (solver) R 25048 25050 24640 0 -1 4194304 1752 0 0 0 51973 5 0 0 25 0 1 0 171189510 10883072 1720 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134727403 0 0 4096 0 0 0 0 17 0 0 0
/proc/25050/statm: 2657 1720 718 92 0 1001 0
Current children cumulated CPU time (s) 519.78
Current children cumulated vsize (KiB) 10628
[startup+582.594 s]
/proc/loadavg: 2.09 2.00 1.91 3/88 25648
/proc/meminfo: memFree=1794712/2055920 swapFree=4170848/4192956
[pid=25050] ppid=25048 vsize=10628 CPUtime=579.59
/proc/25050/stat : 25050 (solver) R 25048 25050 24640 0 -1 4194304 1752 0 0 0 57954 5 0 0 25 0 1 0 171189510 10883072 1720 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 0 0 0
/proc/25050/statm: 2657 1720 718 92 0 1001 0
Current children cumulated CPU time (s) 579.59
Current children cumulated vsize (KiB) 10628
[startup+642.607 s]
/proc/loadavg: 2.03 2.00 1.91 3/88 25648
/proc/meminfo: memFree=1794264/2055920 swapFree=4170848/4192956
[pid=25050] ppid=25048 vsize=10628 CPUtime=639.34
/proc/25050/stat : 25050 (solver) R 25048 25050 24640 0 -1 4194304 1752 0 0 0 63928 6 0 0 25 0 1 0 171189510 10883072 1720 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134727394 0 0 4096 0 0 0 0 17 0 0 0
/proc/25050/statm: 2657 1720 718 92 0 1001 0
Current children cumulated CPU time (s) 639.34
Current children cumulated vsize (KiB) 10628
[startup+702.617 s]
/proc/loadavg: 2.01 2.00 1.91 3/88 25648
/proc/meminfo: memFree=1794072/2055920 swapFree=4170848/4192956
[pid=25050] ppid=25048 vsize=10628 CPUtime=699.05
/proc/25050/stat : 25050 (solver) R 25048 25050 24640 0 -1 4194304 1752 0 0 0 69899 6 0 0 25 0 1 0 171189510 10883072 1720 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134727403 0 0 4096 0 0 0 0 17 0 0 0
/proc/25050/statm: 2657 1720 718 92 0 1001 0
Current children cumulated CPU time (s) 699.05
Current children cumulated vsize (KiB) 10628
[startup+762.629 s]
/proc/loadavg: 2.00 2.00 1.91 3/88 25648
/proc/meminfo: memFree=1793944/2055920 swapFree=4170848/4192956
[pid=25050] ppid=25048 vsize=10628 CPUtime=758.77
/proc/25050/stat : 25050 (solver) R 25048 25050 24640 0 -1 4194304 1752 0 0 0 75871 6 0 0 25 0 1 0 171189510 10883072 1720 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 0 0 0
/proc/25050/statm: 2657 1720 718 92 0 1001 0
Current children cumulated CPU time (s) 758.77
Current children cumulated vsize (KiB) 10628
[startup+822.645 s]
/proc/loadavg: 2.00 2.00 1.91 3/88 25648
/proc/meminfo: memFree=1793816/2055920 swapFree=4170848/4192956
[pid=25050] ppid=25048 vsize=10628 CPUtime=818.51
/proc/25050/stat : 25050 (solver) R 25048 25050 24640 0 -1 4194304 1752 0 0 0 81845 6 0 0 25 0 1 0 171189510 10883072 1720 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 0 0 0
/proc/25050/statm: 2657 1720 718 92 0 1001 0
Current children cumulated CPU time (s) 818.51
Current children cumulated vsize (KiB) 10628
[startup+882.662 s]
/proc/loadavg: 2.00 2.00 1.91 3/88 25648
/proc/meminfo: memFree=1793496/2055920 swapFree=4170848/4192956
[pid=25050] ppid=25048 vsize=10628 CPUtime=878.21
/proc/25050/stat : 25050 (solver) R 25048 25050 24640 0 -1 4194304 1752 0 0 0 87815 6 0 0 25 0 1 0 171189510 10883072 1720 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 0 0 0
/proc/25050/statm: 2657 1720 718 92 0 1001 0
Current children cumulated CPU time (s) 878.21
Current children cumulated vsize (KiB) 10628
[startup+942.695 s]
/proc/loadavg: 2.04 2.01 1.91 3/94 25794
/proc/meminfo: memFree=1791456/2055920 swapFree=4170848/4192956
[pid=25050] ppid=25048 vsize=10628 CPUtime=937.85
/proc/25050/stat : 25050 (solver) R 25048 25050 24640 0 -1 4194304 1752 0 0 0 93770 15 0 0 25 0 1 0 171189510 10883072 1720 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134785591 0 0 4096 0 0 0 0 17 0 0 0
/proc/25050/statm: 2657 1720 718 92 0 1001 0
Current children cumulated CPU time (s) 937.85
Current children cumulated vsize (KiB) 10628
[startup+1002.73 s]
/proc/loadavg: 2.01 2.01 1.91 3/88 25846
/proc/meminfo: memFree=1792152/2055920 swapFree=4170848/4192956
[pid=25050] ppid=25048 vsize=10628 CPUtime=997.57
/proc/25050/stat : 25050 (solver) R 25048 25050 24640 0 -1 4194304 1752 0 0 0 99734 23 0 0 25 0 1 0 171189510 10883072 1720 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 0 0 0
/proc/25050/statm: 2657 1720 718 92 0 1001 0
Current children cumulated CPU time (s) 997.57
Current children cumulated vsize (KiB) 10628
[startup+1062.74 s]
/proc/loadavg: 2.00 2.00 1.91 3/88 25846
/proc/meminfo: memFree=1792024/2055920 swapFree=4170848/4192956
[pid=25050] ppid=25048 vsize=10628 CPUtime=1057.28
/proc/25050/stat : 25050 (solver) R 25048 25050 24640 0 -1 4194304 1752 0 0 0 105705 23 0 0 25 0 1 0 171189510 10883072 1720 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134727434 0 0 4096 0 0 0 0 17 0 0 0
/proc/25050/statm: 2657 1720 718 92 0 1001 0
Current children cumulated CPU time (s) 1057.28
Current children cumulated vsize (KiB) 10628
[startup+1122.76 s]
/proc/loadavg: 2.00 2.00 1.91 3/88 25846
/proc/meminfo: memFree=1791832/2055920 swapFree=4170848/4192956
[pid=25050] ppid=25048 vsize=10628 CPUtime=1117
/proc/25050/stat : 25050 (solver) R 25048 25050 24640 0 -1 4194304 1752 0 0 0 111677 23 0 0 25 0 1 0 171189510 10883072 1720 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134727400 0 0 4096 0 0 0 0 17 0 0 0
/proc/25050/statm: 2657 1720 718 92 0 1001 0
Current children cumulated CPU time (s) 1117
Current children cumulated vsize (KiB) 10628
[startup+1182.78 s]
/proc/loadavg: 2.00 2.00 1.91 3/88 25846
/proc/meminfo: memFree=1791640/2055920 swapFree=4170848/4192956
[pid=25050] ppid=25048 vsize=10628 CPUtime=1176.73
/proc/25050/stat : 25050 (solver) R 25048 25050 24640 0 -1 4194304 1752 0 0 0 117650 23 0 0 25 0 1 0 171189510 10883072 1720 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134727394 0 0 4096 0 0 0 0 17 0 0 0
/proc/25050/statm: 2657 1720 718 92 0 1001 0
Current children cumulated CPU time (s) 1176.73
Current children cumulated vsize (KiB) 10628
[startup+1242.8 s]
/proc/loadavg: 2.00 2.00 1.91 3/88 25846
/proc/meminfo: memFree=1791576/2055920 swapFree=4170848/4192956
[pid=25050] ppid=25048 vsize=10628 CPUtime=1236.44
/proc/25050/stat : 25050 (solver) R 25048 25050 24640 0 -1 4194304 1752 0 0 0 123621 23 0 0 25 0 1 0 171189510 10883072 1720 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 0 0 0
/proc/25050/statm: 2657 1720 718 92 0 1001 0
Current children cumulated CPU time (s) 1236.44
Current children cumulated vsize (KiB) 10628
[startup+1302.82 s]
/proc/loadavg: 2.00 2.00 1.91 3/88 25846
/proc/meminfo: memFree=1791576/2055920 swapFree=4170848/4192956
[pid=25050] ppid=25048 vsize=10628 CPUtime=1296.19
/proc/25050/stat : 25050 (solver) R 25048 25050 24640 0 -1 4194304 1752 0 0 0 129595 24 0 0 25 0 1 0 171189510 10883072 1720 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134727426 0 0 4096 0 0 0 0 17 0 0 0
/proc/25050/statm: 2657 1720 718 92 0 1001 0
Current children cumulated CPU time (s) 1296.19
Current children cumulated vsize (KiB) 10628
[startup+1362.83 s]
/proc/loadavg: 2.00 2.00 1.91 3/88 25846
/proc/meminfo: memFree=1791064/2055920 swapFree=4170848/4192956
[pid=25050] ppid=25048 vsize=10628 CPUtime=1355.91
/proc/25050/stat : 25050 (solver) R 25048 25050 24640 0 -1 4194304 1752 0 0 0 135567 24 0 0 25 0 1 0 171189510 10883072 1720 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134637325 0 0 4096 0 0 0 0 17 0 0 0
/proc/25050/statm: 2657 1720 718 92 0 1001 0
Current children cumulated CPU time (s) 1355.91
Current children cumulated vsize (KiB) 10628
[startup+1422.84 s]
/proc/loadavg: 2.00 2.00 1.91 3/88 25846
/proc/meminfo: memFree=1790872/2055920 swapFree=4170848/4192956
[pid=25050] ppid=25048 vsize=10628 CPUtime=1415.62
/proc/25050/stat : 25050 (solver) R 25048 25050 24640 0 -1 4194304 1752 0 0 0 141538 24 0 0 25 0 1 0 171189510 10883072 1720 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 0 0 0
/proc/25050/statm: 2657 1720 718 92 0 1001 0
Current children cumulated CPU time (s) 1415.62
Current children cumulated vsize (KiB) 10628
[startup+1482.87 s]
/proc/loadavg: 2.00 2.00 1.91 3/88 25846
/proc/meminfo: memFree=1790616/2055920 swapFree=4170848/4192956
[pid=25050] ppid=25048 vsize=10628 CPUtime=1475.36
/proc/25050/stat : 25050 (solver) R 25048 25050 24640 0 -1 4194304 1752 0 0 0 147512 24 0 0 25 0 1 0 171189510 10883072 1720 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 0 0 0
/proc/25050/statm: 2657 1720 718 92 0 1001 0
Current children cumulated CPU time (s) 1475.36
Current children cumulated vsize (KiB) 10628
[startup+1542.89 s]
/proc/loadavg: 2.00 2.00 1.91 3/88 25846
/proc/meminfo: memFree=1790552/2055920 swapFree=4170848/4192956
[pid=25050] ppid=25048 vsize=10628 CPUtime=1535.09
/proc/25050/stat : 25050 (solver) R 25048 25050 24640 0 -1 4194304 1752 0 0 0 153485 24 0 0 25 0 1 0 171189510 10883072 1720 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134710145 0 0 4096 0 0 0 0 17 0 0 0
/proc/25050/statm: 2657 1720 718 92 0 1001 0
Current children cumulated CPU time (s) 1535.09
Current children cumulated vsize (KiB) 10628
[startup+1602.91 s]
/proc/loadavg: 2.00 2.00 1.91 3/88 25846
/proc/meminfo: memFree=1790360/2055920 swapFree=4170848/4192956
[pid=25050] ppid=25048 vsize=10628 CPUtime=1594.8
/proc/25050/stat : 25050 (solver) R 25048 25050 24640 0 -1 4194304 1752 0 0 0 159456 24 0 0 25 0 1 0 171189510 10883072 1720 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134637524 0 0 4096 0 0 0 0 17 0 0 0
/proc/25050/statm: 2657 1720 718 92 0 1001 0
Current children cumulated CPU time (s) 1594.8
Current children cumulated vsize (KiB) 10628
[startup+1662.92 s]
/proc/loadavg: 2.07 2.02 1.92 3/88 25846
/proc/meminfo: memFree=1790296/2055920 swapFree=4170848/4192956
[pid=25050] ppid=25048 vsize=10628 CPUtime=1654.54
/proc/25050/stat : 25050 (solver) R 25048 25050 24640 0 -1 4194304 1752 0 0 0 165429 25 0 0 25 0 1 0 171189510 10883072 1720 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 0 0 0
/proc/25050/statm: 2657 1720 718 92 0 1001 0
Current children cumulated CPU time (s) 1654.54
Current children cumulated vsize (KiB) 10628
[startup+1722.94 s]
/proc/loadavg: 2.02 2.01 1.92 3/88 25846
/proc/meminfo: memFree=1790168/2055920 swapFree=4170848/4192956
[pid=25050] ppid=25048 vsize=10628 CPUtime=1714.26
/proc/25050/stat : 25050 (solver) R 25048 25050 24640 0 -1 4194304 1752 0 0 0 171401 25 0 0 25 0 1 0 171189510 10883072 1720 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134727373 0 0 4096 0 0 0 0 17 0 0 0
/proc/25050/statm: 2657 1720 718 92 0 1001 0
Current children cumulated CPU time (s) 1714.26
Current children cumulated vsize (KiB) 10628
[startup+1782.96 s]
/proc/loadavg: 2.01 2.00 1.92 3/88 25846
/proc/meminfo: memFree=1789976/2055920 swapFree=4170848/4192956
[pid=25050] ppid=25048 vsize=10628 CPUtime=1773.98
/proc/25050/stat : 25050 (solver) R 25048 25050 24640 0 -1 4194304 1752 0 0 0 177373 25 0 0 25 0 1 0 171189510 10883072 1720 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134727398 0 0 4096 0 0 0 0 17 0 0 0
/proc/25050/statm: 2657 1720 718 92 0 1001 0
Current children cumulated CPU time (s) 1773.98
Current children cumulated vsize (KiB) 10628
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809.13 s]
/proc/loadavg: 2.00 2.00 1.92 3/88 25846
/proc/meminfo: memFree=1789976/2055920 swapFree=4170848/4192956
[pid=25050] ppid=25048 vsize=10628 CPUtime=1800.03
/proc/25050/stat : 25050 (solver) R 25048 25050 24640 0 -1 4194304 1752 0 0 0 179978 25 0 0 25 0 1 0 171189510 10883072 1720 18446744073709551615 134512640 134893233 4294956656 18446744073709551615 134637815 0 0 4096 0 0 0 0 17 0 0 0
/proc/25050/statm: 2657 1720 718 92 0 1001 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 10628
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1809.13
CPU time (s): 1800.04
CPU user time (s): 1799.78
CPU system time (s): 0.26096
CPU usage (%): 99.4976
Max. virtual memory (cumulated for all children) (KiB): 10628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.78
system time used= 0.26096
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1752
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= 63308
runsolver used 1.89471 s user time and 4.85226 s system time
The end
Begin job on node25 on Mon Jan 8 03:46:08 UTC 2007
IDJOB= 213996
IDBENCH= 4890
FILE ID= node25/213996-1168227966
PBS_JOBID= 3481286
Free space on /tmp= 66557 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/par/par-32-2-c.xml
COMMAND LINE= /tmp/evaluation/213996-1168227966/tramontane/bin/solver /tmp/evaluation/213996-1168227966/unknown.xml -res geom -f 3 -v 1
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-213996-1168227966 -o ROOT/results/node25/solver-213996-1168227966 -C 1800 -M 900 /tmp/evaluation/213996-1168227966/tramontane/bin/solver /tmp/evaluation/213996-1168227966/unknown.xml -res geom -f 3 -v 1
META MD5SUM SOLVER= cb80ed4ac975bdc0101f830a5b1b8f77
MD5SUM BENCH= ec636a8cda30e8c96a0d243ae0d25948
RANDOM SEED= 679224470
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.279
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.279
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: 1759872 kB
Buffers: 43052 kB
Cached: 109732 kB
SwapCached: 2800 kB
Active: 151384 kB
Inactive: 88120 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1759872 kB
SwapTotal: 4192956 kB
SwapFree: 4170848 kB
Dirty: 4016 kB
Writeback: 0 kB
Mapped: 104308 kB
Slab: 40912 kB
Committed_AS: 4246768 kB
PageTables: 2528 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 node25 on Mon Jan 8 04:16:20 UTC 2007