runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node42/watcher-211580-1168210680 -o ROOT/results/node42/solver-211580-1168210680 -C 1800 -M 900 /tmp/evaluation/211580-1168210680/galac.sh /tmp/evaluation/211580-1168210680/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.08 1.02 1.01 5/70 29901
/proc/meminfo: memFree=1521960/2055920 swapFree=4191892/4192956
[pid=29900] ppid=29896 vsize=8652 CPUtime=0
/proc/29900/stat : 29900 (galac.sh) S 29896 29900 29779 0 -1 4194304 347 0 0 0 0 0 0 0 16 0 1 0 169467298 8859648 280 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 259414747994 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/29900/statm: 2163 280 208 79 0 156 0
[pid=29902] ppid=29900 vsize=8688 CPUtime=0
/proc/29902/stat : 29902 (galac.sh) S 29900 29900 29779 0 -1 4194368 38 0 0 0 0 0 0 0 17 0 1 0 169467298 8896512 286 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 259415310418 0 0 4096 73728 18446744071563648864 0 0 17 1 0 0
/proc/29902/statm: 2172 286 209 79 0 165 0
[pid=29903] ppid=29902 vsize=128 CPUtime=0
/proc/29903/stat : 29903 (id) R 29902 29900 29779 0 -1 4194304 48 0 0 0 0 0 0 0 19 0 1 0 169467299 131072 22 18446744073709551615 4194304 4211724 548682069312 18446744073709551615 259412522377 0 0 3674112 0 0 0 0 17 1 0 0
/proc/29903/statm: 32 22 16 4 0 3 0
[startup+0.104073 s]
/proc/loadavg: 1.08 1.02 1.01 5/70 29901
/proc/meminfo: memFree=1521960/2055920 swapFree=4191892/4192956
[pid=29900] ppid=29896 vsize=47564 CPUtime=0.01
/proc/29900/stat : 29900 (galac.sh) S 29896 29900 29779 0 -1 4194304 762 1704 0 0 0 0 0 1 17 0 1 0 169467298 48705536 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 259414747994 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/29900/statm: 11891 363 245 79 0 218 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47564
[startup+0.515121 s]
/proc/loadavg: 1.08 1.02 1.01 5/70 29901
/proc/meminfo: memFree=1521960/2055920 swapFree=4191892/4192956
[pid=29900] ppid=29896 vsize=47564 CPUtime=0.01
/proc/29900/stat : 29900 (galac.sh) S 29896 29900 29779 0 -1 4194304 762 1704 0 0 0 0 0 1 17 0 1 0 169467298 48705536 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 259414747994 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/29900/statm: 11891 363 245 79 0 218 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47564
[startup+1.34422 s]
/proc/loadavg: 1.15 1.03 1.01 4/89 29933
/proc/meminfo: memFree=1438544/2055920 swapFree=4191892/4192956
[pid=29900] ppid=29896 vsize=47564 CPUtime=0.01
/proc/29900/stat : 29900 (galac.sh) S 29896 29900 29779 0 -1 4194304 762 1704 0 0 0 0 0 1 17 0 1 0 169467298 48705536 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 259414747994 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/29900/statm: 11891 363 245 79 0 218 0
[pid=29919] ppid=29900 vsize=861064 CPUtime=1.29
/proc/29919/stat : 29919 (java) R 29900 29900 29779 0 -1 0 12906 0 1 0 120 9 0 0 24 0 8 0 169467301 881729536 12660 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29919/statm: 215266 12660 1960 14 0 201471 0
[pid=29919/tid=29921] ppid=29900 vsize=861064 CPUtime=0
/proc/29919/task/29921/stat : 29921 (java) S 29900 29900 29779 0 -1 64 6 0 0 0 0 0 0 0 17 0 8 0 169467304 881729536 12660 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29919/tid=29924] ppid=29900 vsize=861064 CPUtime=0
/proc/29919/task/29924/stat : 29924 (java) S 29900 29900 29779 0 -1 64 11 0 0 0 0 0 0 0 21 0 8 0 169467305 881729536 12660 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29919/tid=29925] ppid=29900 vsize=861064 CPUtime=0
/proc/29919/task/29925/stat : 29925 (java) S 29900 29900 29779 0 -1 64 4 0 0 0 0 0 0 0 22 0 8 0 169467305 881729536 12661 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29919/tid=29930] ppid=29900 vsize=861064 CPUtime=0
/proc/29919/task/29930/stat : 29930 (java) S 29900 29900 29779 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 169467308 881729536 12661 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29919/tid=29931] ppid=29900 vsize=861064 CPUtime=0.23
/proc/29919/task/29931/stat : 29931 (java) S 29900 29900 29779 0 -1 64 987 0 0 0 23 0 0 0 16 0 8 0 169467308 881729536 12661 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29919/tid=29932] ppid=29900 vsize=861064 CPUtime=0
/proc/29919/task/29932/stat : 29932 (java) S 29900 29900 29779 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 169467308 881729536 12662 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29919/tid=29933] ppid=29900 vsize=861064 CPUtime=0
/proc/29919/task/29933/stat : 29933 (java) S 29900 29900 29779 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 169467308 881729536 12662 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 908628
[startup+2.98441 s]
/proc/loadavg: 1.15 1.03 1.01 4/89 29933
/proc/meminfo: memFree=1238160/2055920 swapFree=4191892/4192956
[pid=29900] ppid=29896 vsize=47564 CPUtime=0.01
/proc/29900/stat : 29900 (galac.sh) S 29896 29900 29779 0 -1 4194304 762 1704 0 0 0 0 0 1 17 0 1 0 169467298 48705536 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 259414747994 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/29900/statm: 11891 363 245 79 0 218 0
[pid=29919] ppid=29900 vsize=861064 CPUtime=2.92
/proc/29919/stat : 29919 (java) R 29900 29900 29779 0 -1 0 35017 0 1 0 273 19 0 0 25 0 8 0 169467301 881729536 34765 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29919/statm: 215266 34773 1970 14 0 201471 0
[pid=29919/tid=29921] ppid=29900 vsize=861064 CPUtime=0.19
/proc/29919/task/29921/stat : 29921 (java) R 29900 29900 29779 0 -1 64 19110 0 0 0 11 8 0 0 16 0 8 0 169467304 881729536 34777 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4153968444 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29919/tid=29924] ppid=29900 vsize=861064 CPUtime=0
/proc/29919/task/29924/stat : 29924 (java) S 29900 29900 29779 0 -1 64 11 0 0 0 0 0 0 0 21 0 8 0 169467305 881729536 34784 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29919/tid=29925] ppid=29900 vsize=861064 CPUtime=0
/proc/29919/task/29925/stat : 29925 (java) S 29900 29900 29779 0 -1 64 4 0 0 0 0 0 0 0 22 0 8 0 169467305 881729536 34791 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29919/tid=29930] ppid=29900 vsize=861064 CPUtime=0
/proc/29919/task/29930/stat : 29930 (java) S 29900 29900 29779 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 169467308 881729536 34799 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29919/tid=29931] ppid=29900 vsize=861064 CPUtime=0.23
/proc/29919/task/29931/stat : 29931 (java) S 29900 29900 29779 0 -1 64 987 0 0 0 23 0 0 0 16 0 8 0 169467308 881729536 34806 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29919/tid=29932] ppid=29900 vsize=861064 CPUtime=0
/proc/29919/task/29932/stat : 29932 (java) S 29900 29900 29779 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 169467308 881729536 34813 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29919/tid=29933] ppid=29900 vsize=861064 CPUtime=0
/proc/29919/task/29933/stat : 29933 (java) S 29900 29900 29779 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 169467308 881729536 34820 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 908628
[startup+6.27777 s]
/proc/loadavg: 1.15 1.03 1.01 3/89 29933
/proc/meminfo: memFree=716816/2055920 swapFree=4191892/4192956
[pid=29900] ppid=29896 vsize=47564 CPUtime=0.01
/proc/29900/stat : 29900 (galac.sh) S 29896 29900 29779 0 -1 4194304 762 1704 0 0 0 0 0 1 17 0 1 0 169467298 48705536 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 259414747994 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/29900/statm: 11891 363 245 79 0 218 0
[pid=29919] ppid=29900 vsize=861064 CPUtime=6.2
/proc/29919/stat : 29919 (java) R 29900 29900 29779 0 -1 0 54834 0 1 0 592 28 0 0 25 0 8 0 169467301 881729536 54573 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4073332698 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29919/statm: 215266 54573 1970 14 0 201471 0
[pid=29919/tid=29921] ppid=29900 vsize=861064 CPUtime=0.37
/proc/29919/task/29921/stat : 29921 (java) S 29900 29900 29779 0 -1 64 38899 0 0 0 21 16 0 0 16 0 8 0 169467304 881729536 54573 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29919/tid=29924] ppid=29900 vsize=861064 CPUtime=0
/proc/29919/task/29924/stat : 29924 (java) S 29900 29900 29779 0 -1 64 11 0 0 0 0 0 0 0 21 0 8 0 169467305 881729536 54573 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29919/tid=29925] ppid=29900 vsize=861064 CPUtime=0
/proc/29919/task/29925/stat : 29925 (java) S 29900 29900 29779 0 -1 64 4 0 0 0 0 0 0 0 22 0 8 0 169467305 881729536 54573 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29919/tid=29930] ppid=29900 vsize=861064 CPUtime=0
/proc/29919/task/29930/stat : 29930 (java) S 29900 29900 29779 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 169467308 881729536 54573 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29919/tid=29931] ppid=29900 vsize=861064 CPUtime=0.23
/proc/29919/task/29931/stat : 29931 (java) S 29900 29900 29779 0 -1 64 993 0 0 0 23 0 0 0 16 0 8 0 169467308 881729536 54573 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29919/tid=29932] ppid=29900 vsize=861064 CPUtime=0
/proc/29919/task/29932/stat : 29932 (java) S 29900 29900 29779 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 169467308 881729536 54573 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29919/tid=29933] ppid=29900 vsize=861064 CPUtime=0
/proc/29919/task/29933/stat : 29933 (java) S 29900 29900 29779 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 169467308 881729536 54573 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 908628
[startup+12.7705 s]
/proc/loadavg: 1.28 1.06 1.02 3/81 30160
/proc/meminfo: memFree=931792/2055920 swapFree=4191892/4192956
[pid=29900] ppid=29896 vsize=47564 CPUtime=0.01
/proc/29900/stat : 29900 (galac.sh) S 29896 29900 29779 0 -1 4194304 762 1704 0 0 0 0 0 1 17 0 1 0 169467298 48705536 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 259414747994 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/29900/statm: 11891 363 245 79 0 218 0
[pid=29919] ppid=29900 vsize=861064 CPUtime=12.66
/proc/29919/stat : 29919 (java) R 29900 29900 29779 0 -1 0 148050 0 1 0 1196 70 0 0 25 0 8 0 169467301 881729536 147762 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4153987687 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29919/statm: 215266 147762 1970 14 0 201471 0
[pid=29919/tid=29921] ppid=29900 vsize=861064 CPUtime=1.18
/proc/29919/task/29921/stat : 29921 (java) S 29900 29900 29779 0 -1 64 132088 0 0 0 61 57 0 0 16 0 8 0 169467304 881729536 147762 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29919/tid=29924] ppid=29900 vsize=861064 CPUtime=0
/proc/29919/task/29924/stat : 29924 (java) S 29900 29900 29779 0 -1 64 11 0 0 0 0 0 0 0 21 0 8 0 169467305 881729536 147762 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29919/tid=29925] ppid=29900 vsize=861064 CPUtime=0
/proc/29919/task/29925/stat : 29925 (java) S 29900 29900 29779 0 -1 64 4 0 0 0 0 0 0 0 22 0 8 0 169467305 881729536 147762 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29919/tid=29930] ppid=29900 vsize=861064 CPUtime=0
/proc/29919/task/29930/stat : 29930 (java) S 29900 29900 29779 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 169467308 881729536 147762 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29919/tid=29931] ppid=29900 vsize=861064 CPUtime=0.23
/proc/29919/task/29931/stat : 29931 (java) S 29900 29900 29779 0 -1 64 993 0 0 0 23 0 0 0 17 0 8 0 169467308 881729536 147762 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29919/tid=29932] ppid=29900 vsize=861064 CPUtime=0
/proc/29919/task/29932/stat : 29932 (java) S 29900 29900 29779 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 169467308 881729536 147762 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29919/tid=29933] ppid=29900 vsize=861064 CPUtime=0
/proc/29919/task/29933/stat : 29933 (java) S 29900 29900 29779 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 169467308 881729536 147762 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 908628
[startup+25.6429 s]
/proc/loadavg: 1.39 1.09 1.03 3/81 30160
/proc/meminfo: memFree=786648/2055920 swapFree=4191892/4192956
[pid=29900] ppid=29896 vsize=47564 CPUtime=0.01
/proc/29900/stat : 29900 (galac.sh) S 29896 29900 29779 0 -1 4194304 762 1704 0 0 0 0 0 1 17 0 1 0 169467298 48705536 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 259414747994 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/29900/statm: 11891 363 245 79 0 218 0
[pid=29919] ppid=29900 vsize=861064 CPUtime=25.48
/proc/29919/stat : 29919 (java) R 29900 29900 29779 0 -1 0 150342 0 1 0 2476 72 0 0 25 0 8 0 169467301 881729536 149995 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4074107974 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29919/statm: 215266 149995 1993 14 0 201471 0
[pid=29919/tid=29921] ppid=29900 vsize=861064 CPUtime=1.68
/proc/29919/task/29921/stat : 29921 (java) S 29900 29900 29779 0 -1 64 134258 0 0 0 110 58 0 0 17 0 8 0 169467304 881729536 149995 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29919/tid=29924] ppid=29900 vsize=861064 CPUtime=0
/proc/29919/task/29924/stat : 29924 (java) S 29900 29900 29779 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 169467305 881729536 149995 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29919/tid=29925] ppid=29900 vsize=861064 CPUtime=0
/proc/29919/task/29925/stat : 29925 (java) S 29900 29900 29779 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 169467305 881729536 149995 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29919/tid=29930] ppid=29900 vsize=861064 CPUtime=0
/proc/29919/task/29930/stat : 29930 (java) S 29900 29900 29779 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 169467308 881729536 149995 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29919/tid=29931] ppid=29900 vsize=861064 CPUtime=0.25
/proc/29919/task/29931/stat : 29931 (java) S 29900 29900 29779 0 -1 64 1005 0 0 0 24 1 0 0 16 0 8 0 169467308 881729536 149995 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29919/tid=29932] ppid=29900 vsize=861064 CPUtime=0
/proc/29919/task/29932/stat : 29932 (java) S 29900 29900 29779 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 169467308 881729536 149995 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29919/tid=29933] ppid=29900 vsize=861064 CPUtime=0
/proc/29919/task/29933/stat : 29933 (java) S 29900 29900 29779 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 169467308 881729536 149995 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 908628
[startup+51.2637 s]
/proc/loadavg: 1.66 1.18 1.06 4/81 30160
/proc/meminfo: memFree=630808/2055920 swapFree=4191892/4192956
[pid=29900] ppid=29896 vsize=47564 CPUtime=0.01
/proc/29900/stat : 29900 (galac.sh) S 29896 29900 29779 0 -1 4194304 762 1704 0 0 0 0 0 1 17 0 1 0 169467298 48705536 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 259414747994 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/29900/statm: 11891 363 245 79 0 218 0
[pid=29919] ppid=29900 vsize=869544 CPUtime=50.96
/proc/29919/stat : 29919 (java) R 29900 29900 29779 0 -1 0 176753 0 1 0 5013 83 0 0 25 0 8 0 169467301 890413056 176390 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29919/statm: 217386 176390 1993 14 0 203591 0
[pid=29919/tid=29921] ppid=29900 vsize=869544 CPUtime=5.22
/proc/29919/task/29921/stat : 29921 (java) R 29900 29900 29779 0 -1 64 158517 0 0 0 454 68 0 0 17 0 8 0 169467304 890413056 176390 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4155526126 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29919/tid=29924] ppid=29900 vsize=869544 CPUtime=0
/proc/29919/task/29924/stat : 29924 (java) S 29900 29900 29779 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 169467305 890413056 176390 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29919/tid=29925] ppid=29900 vsize=869544 CPUtime=0
/proc/29919/task/29925/stat : 29925 (java) S 29900 29900 29779 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 169467305 890413056 176390 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29919/tid=29930] ppid=29900 vsize=869544 CPUtime=0
/proc/29919/task/29930/stat : 29930 (java) S 29900 29900 29779 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 169467308 890413056 176390 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29919/tid=29931] ppid=29900 vsize=869544 CPUtime=0.26
/proc/29919/task/29931/stat : 29931 (java) S 29900 29900 29779 0 -1 64 1005 0 0 0 25 1 0 0 16 0 8 0 169467308 890413056 176390 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29919/tid=29932] ppid=29900 vsize=869544 CPUtime=0
/proc/29919/task/29932/stat : 29932 (java) S 29900 29900 29779 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 169467308 890413056 176390 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29919/tid=29933] ppid=29900 vsize=869544 CPUtime=0
/proc/29919/task/29933/stat : 29933 (java) S 29900 29900 29779 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 169467308 890413056 176390 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 917108
Child status: 0
Real time (s): 59.0169
CPU time (s): 58.6741
CPU user time (s): 57.6732
CPU system time (s): 1.00085
CPU usage (%): 99.4192
Max. virtual memory (cumulated for all children) (KiB): 917108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 57.6732
system time used= 1.00085
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 189261
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2943
involuntary context switches= 3595
runsolver used 0.079987 s user time and 0.176973 s system time
The end
Begin job on node42 on Sun Jan 7 22:58:01 UTC 2007
IDJOB= 211580
IDBENCH= 4705
FILE ID= node42/211580-1168210680
PBS_JOBID= 3480839
Free space on /tmp= 66553 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/mpsReduced/mps-red-blend2.xml
COMMAND LINE= /tmp/evaluation/211580-1168210680/galac.sh /tmp/evaluation/211580-1168210680/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-211580-1168210680 -o ROOT/results/node42/solver-211580-1168210680 -C 1800 -M 900 /tmp/evaluation/211580-1168210680/galac.sh /tmp/evaluation/211580-1168210680/unknown.xml
META MD5SUM SOLVER= d8bf20eb49fe33822f00bab08f33d7fc
MD5SUM BENCH= efc43e5edb8ca79522df1f6c4cbda26e
RANDOM SEED= 263948804
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.229
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.229
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: 1522360 kB
Buffers: 52744 kB
Cached: 401028 kB
SwapCached: 400 kB
Active: 206372 kB
Inactive: 267204 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1522360 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 6084 kB
Writeback: 0 kB
Mapped: 28616 kB
Slab: 45468 kB
Committed_AS: 3287448 kB
PageTables: 1736 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= 66550 MiB
End job on node42 on Sun Jan 7 22:59:00 UTC 2007