0.10 c
0.10 c Parsing xml file
0.10 c domains............... 0.04
0.10 c variables............. 0.13
0.19 c predicates............ 0
0.19 c constraints........... 3.19
3.40 c Allocating memory
3.40 c
3.40 c time limit = -1
3.40 c heuristic = dom/wdeg
3.40 c restart policy = No restart
3.40 c
3.40 c Solving
3.40 c
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node47/watcher-200919-1168144319 -o ROOT/results/node47/solver-200919-1168144319 -C 1800 -M 900 /tmp/evaluation/200919-1168144319/mistral/bin/solver /tmp/evaluation/200919-1168144319/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: 2.00 2.00 1.99 5/73 27904
/proc/meminfo: memFree=1426344/2055920 swapFree=4183928/4192956
[pid=27903] ppid=27901 vsize=540 CPUtime=0
/proc/27903/stat : 27903 (solver) R 27901 27903 27211 0 -1 4194304 41 0 0 0 0 0 0 0 19 0 1 0 162831155 552960 26 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 10519332 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/27903/statm: 135 26 21 92 0 18 0
[startup+0.103283 s]
/proc/loadavg: 2.00 2.00 1.99 5/73 27904
/proc/meminfo: memFree=1426344/2055920 swapFree=4183928/4192956
[pid=27903] ppid=27901 vsize=43876 CPUtime=0.08
/proc/27903/stat : 27903 (solver) R 27901 27903 27211 0 -1 4194304 4769 0 0 0 7 1 0 0 19 0 1 0 162831155 44929024 4737 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 10954363 0 0 4096 0 0 0 0 17 1 0 0
/proc/27903/statm: 10969 4737 694 92 0 9313 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 43876
[startup+0.511259 s]
/proc/loadavg: 2.00 2.00 1.99 5/73 27904
/proc/meminfo: memFree=1426344/2055920 swapFree=4183928/4192956
[pid=27903] ppid=27901 vsize=116900 CPUtime=0.5
/proc/27903/stat : 27903 (solver) R 27901 27903 27211 0 -1 4194304 12851 0 0 0 45 5 0 0 24 0 1 0 162831155 119705600 12819 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 4159258222 0 0 4096 0 0 0 0 17 1 0 0
/proc/27903/statm: 29225 12819 709 92 0 27569 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 116900
[startup+1.33235 s]
/proc/loadavg: 2.00 2.00 1.99 3/73 27904
/proc/meminfo: memFree=1374568/2055920 swapFree=4183928/4192956
[pid=27903] ppid=27901 vsize=120944 CPUtime=1.31
/proc/27903/stat : 27903 (solver) R 27901 27903 27211 0 -1 4194304 13869 0 0 0 126 5 0 0 25 0 1 0 162831155 123846656 13837 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 4158526123 0 0 4096 0 0 0 0 17 1 0 0
/proc/27903/statm: 30236 13837 709 92 0 28580 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 120944
[startup+2.96952 s]
/proc/loadavg: 2.00 2.00 1.99 3/73 27904
/proc/meminfo: memFree=1368936/2055920 swapFree=4183928/4192956
[pid=27903] ppid=27901 vsize=129280 CPUtime=2.93
/proc/27903/stat : 27903 (solver) R 27901 27903 27211 0 -1 4194304 15937 0 0 0 287 6 0 0 25 0 1 0 162831155 132382720 15872 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134575814 0 0 4096 0 0 0 0 17 1 0 0
/proc/27903/statm: 32320 15872 709 92 0 30664 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 129280
[startup+6.25487 s]
/proc/loadavg: 2.00 2.00 1.99 3/73 27904
/proc/meminfo: memFree=1350632/2055920 swapFree=4183928/4192956
[pid=27903] ppid=27901 vsize=143876 CPUtime=6.19
/proc/27903/stat : 27903 (solver) R 27901 27903 27211 0 -1 4194304 19610 0 0 0 611 8 0 0 25 0 1 0 162831155 147329024 19506 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134638378 0 0 4096 0 0 0 0 17 1 0 0
/proc/27903/statm: 35969 19506 717 92 0 34313 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 143876
[startup+12.7106 s]
/proc/loadavg: 2.00 2.00 1.99 3/73 27904
/proc/meminfo: memFree=1350824/2055920 swapFree=4183928/4192956
[pid=27903] ppid=27901 vsize=143876 CPUtime=12.6
/proc/27903/stat : 27903 (solver) R 27901 27903 27211 0 -1 4194304 19610 0 0 0 1252 8 0 0 25 0 1 0 162831155 147329024 19506 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134708944 0 0 4096 0 0 0 0 17 1 0 0
/proc/27903/statm: 35969 19506 717 92 0 34313 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 143876
[startup+25.5289 s]
/proc/loadavg: 2.00 2.00 1.99 3/73 27904
/proc/meminfo: memFree=1351016/2055920 swapFree=4183928/4192956
[pid=27903] ppid=27901 vsize=143876 CPUtime=25.32
/proc/27903/stat : 27903 (solver) R 27901 27903 27211 0 -1 4194304 19610 0 0 0 2524 8 0 0 25 0 1 0 162831155 147329024 19506 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134709321 0 0 4096 0 0 0 0 17 1 0 0
/proc/27903/statm: 35969 19506 717 92 0 34313 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 143876
[startup+51.1617 s]
/proc/loadavg: 2.00 2.00 1.99 3/73 27904
/proc/meminfo: memFree=1351080/2055920 swapFree=4183928/4192956
[pid=27903] ppid=27901 vsize=143880 CPUtime=50.77
/proc/27903/stat : 27903 (solver) R 27901 27903 27211 0 -1 4194304 19611 0 0 0 5069 8 0 0 25 0 1 0 162831155 147333120 19507 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722032 0 0 4096 0 0 0 0 17 1 0 0
/proc/27903/statm: 35970 19507 717 92 0 34314 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 143880
[startup+102.423 s]
/proc/loadavg: 2.00 2.00 1.99 3/73 27904
/proc/meminfo: memFree=1351144/2055920 swapFree=4183928/4192956
[pid=27903] ppid=27901 vsize=143884 CPUtime=101.65
/proc/27903/stat : 27903 (solver) R 27901 27903 27211 0 -1 4194304 19612 0 0 0 10157 8 0 0 25 0 1 0 162831155 147337216 19508 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134812944 0 0 4096 0 0 0 0 17 1 0 0
/proc/27903/statm: 35971 19508 717 92 0 34315 0
Current children cumulated CPU time (s) 101.65
Current children cumulated vsize (KiB) 143884
[startup+162.504 s]
/proc/loadavg: 2.00 2.00 1.99 3/73 27942
/proc/meminfo: memFree=1197928/2055920 swapFree=4183928/4192956
[pid=27903] ppid=27901 vsize=143888 CPUtime=161.32
/proc/27903/stat : 27903 (solver) R 27901 27903 27211 0 -1 4194304 19613 0 0 0 16121 11 0 0 25 0 1 0 162831155 147341312 19509 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134709312 0 0 4096 0 0 0 0 17 0 0 0
/proc/27903/statm: 35972 19509 717 92 0 34316 0
Current children cumulated CPU time (s) 161.32
Current children cumulated vsize (KiB) 143888
[startup+222.591 s]
/proc/loadavg: 2.00 2.00 1.99 3/73 27942
/proc/meminfo: memFree=605224/2055920 swapFree=4183928/4192956
[pid=27903] ppid=27901 vsize=143888 CPUtime=221.34
/proc/27903/stat : 27903 (solver) R 27901 27903 27211 0 -1 4194304 19613 0 0 0 22123 11 0 0 25 0 1 0 162831155 147341312 19509 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710273 0 0 4096 0 0 0 0 17 0 0 0
/proc/27903/statm: 35972 19509 717 92 0 34316 0
Current children cumulated CPU time (s) 221.34
Current children cumulated vsize (KiB) 143888
[startup+282.69 s]
/proc/loadavg: 2.06 2.01 2.00 3/81 28016
/proc/meminfo: memFree=1226416/2055920 swapFree=4183928/4192956
[pid=27903] ppid=27901 vsize=143888 CPUtime=281.37
/proc/27903/stat : 27903 (solver) R 27901 27903 27211 0 -1 4194304 19613 0 0 0 28122 15 0 0 25 0 1 0 162831155 147341312 19509 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134708945 0 0 4096 0 0 0 0 17 0 0 0
/proc/27903/statm: 35972 19509 717 92 0 34316 0
Current children cumulated CPU time (s) 281.37
Current children cumulated vsize (KiB) 143888
[startup+342.761 s]
/proc/loadavg: 2.09 2.02 2.00 3/81 28016
/proc/meminfo: memFree=1174512/2055920 swapFree=4183928/4192956
[pid=27903] ppid=27901 vsize=143888 CPUtime=341.38
/proc/27903/stat : 27903 (solver) R 27901 27903 27211 0 -1 4194304 19613 0 0 0 34123 15 0 0 25 0 1 0 162831155 147341312 19509 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134708950 0 0 4096 0 0 0 0 17 0 0 0
/proc/27903/statm: 35972 19509 717 92 0 34316 0
Current children cumulated CPU time (s) 341.38
Current children cumulated vsize (KiB) 143888
[startup+402.784 s]
/proc/loadavg: 2.03 2.02 2.00 3/81 28016
/proc/meminfo: memFree=1139568/2055920 swapFree=4183928/4192956
[pid=27903] ppid=27901 vsize=143888 CPUtime=401.33
/proc/27903/stat : 27903 (solver) R 27901 27903 27211 0 -1 4194304 19613 0 0 0 40118 15 0 0 25 0 1 0 162831155 147341312 19509 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134708944 0 0 4096 0 0 0 0 17 0 0 0
/proc/27903/statm: 35972 19509 717 92 0 34316 0
Current children cumulated CPU time (s) 401.33
Current children cumulated vsize (KiB) 143888
[startup+462.827 s]
/proc/loadavg: 2.01 2.01 2.00 3/81 28016
/proc/meminfo: memFree=1110960/2055920 swapFree=4183928/4192956
[pid=27903] ppid=27901 vsize=143888 CPUtime=461.32
/proc/27903/stat : 27903 (solver) R 27901 27903 27211 0 -1 4194304 19613 0 0 0 46117 15 0 0 25 0 1 0 162831155 147341312 19509 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710273 0 0 4096 0 0 0 0 17 0 0 0
/proc/27903/statm: 35972 19509 717 92 0 34316 0
Current children cumulated CPU time (s) 461.32
Current children cumulated vsize (KiB) 143888
[startup+522.838 s]
/proc/loadavg: 2.00 2.01 2.00 3/81 28016
/proc/meminfo: memFree=1085872/2055920 swapFree=4183928/4192956
[pid=27903] ppid=27901 vsize=143888 CPUtime=521.28
/proc/27903/stat : 27903 (solver) R 27901 27903 27211 0 -1 4194304 19613 0 0 0 52112 16 0 0 25 0 1 0 162831155 147341312 19509 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134711123 0 0 4096 0 0 0 0 17 0 0 0
/proc/27903/statm: 35972 19509 717 92 0 34316 0
Current children cumulated CPU time (s) 521.28
Current children cumulated vsize (KiB) 143888
[startup+582.85 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 28016
/proc/meminfo: memFree=1065008/2055920 swapFree=4183928/4192956
[pid=27903] ppid=27901 vsize=143888 CPUtime=581.22
/proc/27903/stat : 27903 (solver) R 27901 27903 27211 0 -1 4194304 19613 0 0 0 58106 16 0 0 25 0 1 0 162831155 147341312 19509 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722033 0 0 4096 0 0 0 0 17 0 0 0
/proc/27903/statm: 35972 19509 717 92 0 34316 0
Current children cumulated CPU time (s) 581.22
Current children cumulated vsize (KiB) 143888
[startup+642.946 s]
/proc/loadavg: 2.05 2.01 2.00 3/81 28016
/proc/meminfo: memFree=1048432/2055920 swapFree=4183928/4192956
[pid=27903] ppid=27901 vsize=143888 CPUtime=641.27
/proc/27903/stat : 27903 (solver) R 27901 27903 27211 0 -1 4194304 19613 0 0 0 64111 16 0 0 25 0 1 0 162831155 147341312 19509 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134711393 0 0 4096 0 0 0 0 17 0 0 0
/proc/27903/statm: 35972 19509 717 92 0 34316 0
Current children cumulated CPU time (s) 641.27
Current children cumulated vsize (KiB) 143888
[startup+703.052 s]
/proc/loadavg: 2.02 2.01 2.00 3/81 28016
/proc/meminfo: memFree=1036336/2055920 swapFree=4183928/4192956
[pid=27903] ppid=27901 vsize=143888 CPUtime=701.33
/proc/27903/stat : 27903 (solver) R 27901 27903 27211 0 -1 4194304 19613 0 0 0 70117 16 0 0 25 0 1 0 162831155 147341312 19509 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134709326 0 0 4096 0 0 0 0 17 0 0 0
/proc/27903/statm: 35972 19509 717 92 0 34316 0
Current children cumulated CPU time (s) 701.33
Current children cumulated vsize (KiB) 143888
[startup+763.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 28016
/proc/meminfo: memFree=1022832/2055920 swapFree=4183928/4192956
[pid=27903] ppid=27901 vsize=143888 CPUtime=761.29
/proc/27903/stat : 27903 (solver) R 27901 27903 27211 0 -1 4194304 19613 0 0 0 76113 16 0 0 25 0 1 0 162831155 147341312 19509 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134637810 0 0 4096 0 0 0 0 17 0 0 0
/proc/27903/statm: 35972 19509 717 92 0 34316 0
Current children cumulated CPU time (s) 761.29
Current children cumulated vsize (KiB) 143888
[startup+823.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 28016
/proc/meminfo: memFree=1008112/2055920 swapFree=4183928/4192956
[pid=27903] ppid=27901 vsize=143888 CPUtime=821.24
/proc/27903/stat : 27903 (solver) R 27901 27903 27211 0 -1 4194304 19613 0 0 0 82108 16 0 0 25 0 1 0 162831155 147341312 19509 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134637079 0 0 4096 0 0 0 0 17 0 0 0
/proc/27903/statm: 35972 19509 717 92 0 34316 0
Current children cumulated CPU time (s) 821.24
Current children cumulated vsize (KiB) 143888
[startup+883.198 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 28016
/proc/meminfo: memFree=998384/2055920 swapFree=4183928/4192956
[pid=27903] ppid=27901 vsize=143888 CPUtime=881.29
/proc/27903/stat : 27903 (solver) R 27901 27903 27211 0 -1 4194304 19613 0 0 0 88113 16 0 0 25 0 1 0 162831155 147341312 19509 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134711713 0 0 4096 0 0 0 0 17 0 0 0
/proc/27903/statm: 35972 19509 717 92 0 34316 0
Current children cumulated CPU time (s) 881.29
Current children cumulated vsize (KiB) 143888
[startup+943.291 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 28016
/proc/meminfo: memFree=986864/2055920 swapFree=4183928/4192956
[pid=27903] ppid=27901 vsize=143888 CPUtime=941.3
/proc/27903/stat : 27903 (solver) R 27901 27903 27211 0 -1 4194304 19613 0 0 0 94114 16 0 0 25 0 1 0 162831155 147341312 19509 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134711732 0 0 4096 0 0 0 0 17 0 0 0
/proc/27903/statm: 35972 19509 717 92 0 34316 0
Current children cumulated CPU time (s) 941.3
Current children cumulated vsize (KiB) 143888
[startup+1003.38 s]
/proc/loadavg: 2.06 2.01 2.00 3/81 28016
/proc/meminfo: memFree=974896/2055920 swapFree=4183928/4192956
[pid=27903] ppid=27901 vsize=143888 CPUtime=1001.35
/proc/27903/stat : 27903 (solver) R 27901 27903 27211 0 -1 4194304 19613 0 0 0 100118 17 0 0 25 0 1 0 162831155 147341312 19509 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727366 0 0 4096 0 0 0 0 17 0 0 0
/proc/27903/statm: 35972 19509 717 92 0 34316 0
Current children cumulated CPU time (s) 1001.35
Current children cumulated vsize (KiB) 143888
[startup+1063.44 s]
/proc/loadavg: 2.14 2.04 2.01 3/81 28016
/proc/meminfo: memFree=962672/2055920 swapFree=4183928/4192956
[pid=27903] ppid=27901 vsize=143888 CPUtime=1061.36
/proc/27903/stat : 27903 (solver) R 27901 27903 27211 0 -1 4194304 19613 0 0 0 106119 17 0 0 25 0 1 0 162831155 147341312 19509 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710290 0 0 4096 0 0 0 0 17 0 0 0
/proc/27903/statm: 35972 19509 717 92 0 34316 0
Current children cumulated CPU time (s) 1061.36
Current children cumulated vsize (KiB) 143888
[startup+1123.49 s]
/proc/loadavg: 2.05 2.03 2.00 3/81 28016
/proc/meminfo: memFree=954608/2055920 swapFree=4183928/4192956
[pid=27903] ppid=27901 vsize=143888 CPUtime=1121.33
/proc/27903/stat : 27903 (solver) R 27901 27903 27211 0 -1 4194304 19613 0 0 0 112116 17 0 0 25 0 1 0 162831155 147341312 19509 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722041 0 0 4096 0 0 0 0 17 0 0 0
/proc/27903/statm: 35972 19509 717 92 0 34316 0
Current children cumulated CPU time (s) 1121.33
Current children cumulated vsize (KiB) 143888
[startup+1183.56 s]
/proc/loadavg: 2.06 2.04 2.00 3/81 28016
/proc/meminfo: memFree=944752/2055920 swapFree=4183928/4192956
[pid=27903] ppid=27901 vsize=143888 CPUtime=1181.35
/proc/27903/stat : 27903 (solver) R 27901 27903 27211 0 -1 4194304 19613 0 0 0 118118 17 0 0 25 0 1 0 162831155 147341312 19509 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134708945 0 0 4096 0 0 0 0 17 0 0 0
/proc/27903/statm: 35972 19509 717 92 0 34316 0
Current children cumulated CPU time (s) 1181.35
Current children cumulated vsize (KiB) 143888
[startup+1243.61 s]
/proc/loadavg: 2.02 2.03 2.00 3/81 28016
/proc/meminfo: memFree=937072/2055920 swapFree=4183928/4192956
[pid=27903] ppid=27901 vsize=143892 CPUtime=1241.35
/proc/27903/stat : 27903 (solver) R 27901 27903 27211 0 -1 4194304 19614 0 0 0 124118 17 0 0 25 0 1 0 162831155 147345408 19510 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727341 0 0 4096 0 0 0 0 17 0 0 0
/proc/27903/statm: 35973 19510 717 92 0 34317 0
Current children cumulated CPU time (s) 1241.35
Current children cumulated vsize (KiB) 143892
[startup+1303.67 s]
/proc/loadavg: 2.00 2.02 2.00 3/81 28016
/proc/meminfo: memFree=929328/2055920 swapFree=4183928/4192956
[pid=27903] ppid=27901 vsize=143892 CPUtime=1301.34
/proc/27903/stat : 27903 (solver) R 27901 27903 27211 0 -1 4194304 19614 0 0 0 130117 17 0 0 25 0 1 0 162831155 147345408 19510 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134711393 0 0 4096 0 0 0 0 17 0 0 0
/proc/27903/statm: 35973 19510 717 92 0 34317 0
Current children cumulated CPU time (s) 1301.34
Current children cumulated vsize (KiB) 143892
[startup+1363.74 s]
/proc/loadavg: 2.00 2.02 2.00 3/81 28016
/proc/meminfo: memFree=920432/2055920 swapFree=4183928/4192956
[pid=27903] ppid=27901 vsize=143892 CPUtime=1361.35
/proc/27903/stat : 27903 (solver) R 27901 27903 27211 0 -1 4194304 19614 0 0 0 136118 17 0 0 25 0 1 0 162831155 147345408 19510 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710322 0 0 4096 0 0 0 0 17 0 0 0
/proc/27903/statm: 35973 19510 717 92 0 34317 0
Current children cumulated CPU time (s) 1361.35
Current children cumulated vsize (KiB) 143892
[startup+1423.79 s]
/proc/loadavg: 2.06 2.03 2.00 4/81 28016
/proc/meminfo: memFree=909808/2055920 swapFree=4183928/4192956
[pid=27903] ppid=27901 vsize=143892 CPUtime=1421.35
/proc/27903/stat : 27903 (solver) R 27901 27903 27211 0 -1 4194304 19614 0 0 0 142117 18 0 0 25 0 1 0 162831155 147345408 19510 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134711238 0 0 4096 0 0 0 0 17 0 0 0
/proc/27903/statm: 35973 19510 717 92 0 34317 0
Current children cumulated CPU time (s) 1421.35
Current children cumulated vsize (KiB) 143892
[startup+1483.85 s]
/proc/loadavg: 2.06 2.03 2.00 3/81 28016
/proc/meminfo: memFree=901616/2055920 swapFree=4183928/4192956
[pid=27903] ppid=27901 vsize=143892 CPUtime=1481.34
/proc/27903/stat : 27903 (solver) R 27901 27903 27211 0 -1 4194304 19614 0 0 0 148116 18 0 0 25 0 1 0 162831155 147345408 19510 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710433 0 0 4096 0 0 0 0 17 0 0 0
/proc/27903/statm: 35973 19510 717 92 0 34317 0
Current children cumulated CPU time (s) 1481.34
Current children cumulated vsize (KiB) 143892
[startup+1543.92 s]
/proc/loadavg: 2.02 2.02 2.00 3/81 28016
/proc/meminfo: memFree=889840/2055920 swapFree=4183928/4192956
[pid=27903] ppid=27901 vsize=143892 CPUtime=1541.35
/proc/27903/stat : 27903 (solver) R 27901 27903 27211 0 -1 4194304 19614 0 0 0 154117 18 0 0 25 0 1 0 162831155 147345408 19510 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722032 0 0 4096 0 0 0 0 17 0 0 0
/proc/27903/statm: 35973 19510 717 92 0 34317 0
Current children cumulated CPU time (s) 1541.35
Current children cumulated vsize (KiB) 143892
[startup+1603.97 s]
/proc/loadavg: 2.00 2.02 2.00 3/81 28016
/proc/meminfo: memFree=881072/2055920 swapFree=4183928/4192956
[pid=27903] ppid=27901 vsize=143892 CPUtime=1601.35
/proc/27903/stat : 27903 (solver) R 27901 27903 27211 0 -1 4194304 19614 0 0 0 160117 18 0 0 25 0 1 0 162831155 147345408 19510 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722033 0 0 4096 0 0 0 0 17 0 0 0
/proc/27903/statm: 35973 19510 717 92 0 34317 0
Current children cumulated CPU time (s) 1601.35
Current children cumulated vsize (KiB) 143892
[startup+1664.03 s]
/proc/loadavg: 2.00 2.01 2.00 3/81 28016
/proc/meminfo: memFree=876272/2055920 swapFree=4183928/4192956
[pid=27903] ppid=27901 vsize=143892 CPUtime=1661.34
/proc/27903/stat : 27903 (solver) R 27901 27903 27211 0 -1 4194304 19614 0 0 0 166116 18 0 0 25 0 1 0 162831155 147345408 19510 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134708950 0 0 4096 0 0 0 0 17 0 0 0
/proc/27903/statm: 35973 19510 717 92 0 34317 0
Current children cumulated CPU time (s) 1661.34
Current children cumulated vsize (KiB) 143892
[startup+1724.07 s]
/proc/loadavg: 2.00 2.01 2.00 3/81 28016
/proc/meminfo: memFree=869936/2055920 swapFree=4183928/4192956
[pid=27903] ppid=27901 vsize=143892 CPUtime=1721.32
/proc/27903/stat : 27903 (solver) R 27901 27903 27211 0 -1 4194304 19614 0 0 0 172114 18 0 0 25 0 1 0 162831155 147345408 19510 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134711123 0 0 4096 0 0 0 0 17 0 0 0
/proc/27903/statm: 35973 19510 717 92 0 34317 0
Current children cumulated CPU time (s) 1721.32
Current children cumulated vsize (KiB) 143892
[startup+1784.16 s]
/proc/loadavg: 2.00 2.00 2.00 3/87 28154
/proc/meminfo: memFree=861240/2055920 swapFree=4183928/4192956
[pid=27903] ppid=27901 vsize=143892 CPUtime=1781.33
/proc/27903/stat : 27903 (solver) R 27901 27903 27211 0 -1 4194304 19614 0 0 0 178108 25 0 0 25 0 1 0 162831155 147345408 19510 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722033 0 0 4096 0 0 0 0 17 0 0 0
/proc/27903/statm: 35973 19510 717 92 0 34317 0
Current children cumulated CPU time (s) 1781.33
Current children cumulated vsize (KiB) 143892
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802.86 s]
/proc/loadavg: 2.00 2.00 2.00 3/87 28168
/proc/meminfo: memFree=859512/2055920 swapFree=4183928/4192956
[pid=27903] ppid=27901 vsize=143892 CPUtime=1800
/proc/27903/stat : 27903 (solver) R 27901 27903 27211 0 -1 4194304 19614 0 0 0 179974 26 0 0 25 0 1 0 162831155 147345408 19510 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710273 0 0 4096 0 0 0 0 17 0 0 0
/proc/27903/statm: 35973 19510 717 92 0 34317 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 143892
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1802.88
CPU time (s): 1800.03
CPU user time (s): 1799.75
CPU system time (s): 0.280957
CPU usage (%): 99.8419
Max. virtual memory (cumulated for all children) (KiB): 143892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.75
system time used= 0.280957
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19614
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= 9435
runsolver used 1.90371 s user time and 5.67214 s system time
The end
Begin job on node47 on Sun Jan 7 04:31:59 UTC 2007
IDJOB= 200919
IDBENCH= 3734
FILE ID= node47/200919-1168144319
PBS_JOBID= 3478098
Free space on /tmp= 66543 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp14/fapp14-2500-5.xml
COMMAND LINE= /tmp/evaluation/200919-1168144319/mistral/bin/solver /tmp/evaluation/200919-1168144319/unknown.xml -v 1
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node47/watcher-200919-1168144319 -o ROOT/results/node47/solver-200919-1168144319 -C 1800 -M 900 /tmp/evaluation/200919-1168144319/mistral/bin/solver /tmp/evaluation/200919-1168144319/unknown.xml -v 1
META MD5SUM SOLVER= cb80ed4ac975bdc0101f830a5b1b8f77
MD5SUM BENCH= ba29a6849ceab0326ca9029d495b4371
RANDOM SEED= 840533661
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.240
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.240
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1426824 kB
Buffers: 31644 kB
Cached: 522044 kB
SwapCached: 3708 kB
Active: 151856 kB
Inactive: 420820 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1426824 kB
SwapTotal: 4192956 kB
SwapFree: 4183928 kB
Dirty: 8580 kB
Writeback: 0 kB
Mapped: 27508 kB
Slab: 41904 kB
Committed_AS: 3164456 kB
PageTables: 1800 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= 66538 MiB
End job on node47 on Sun Jan 7 05:02:02 UTC 2007