runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node55/watcher-209553-1168193128 -o ROOT/results/node55/solver-209553-1168193128 -C 1800 -M 900 /tmp/evaluation/209553-1168193128/galacJ.sh /tmp/evaluation/209553-1168193128/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.92 2.08 1.96 5/74 17255
/proc/meminfo: memFree=1237928/2055920 swapFree=4192812/4192956
[pid=17254] ppid=17252 vsize=8560 CPUtime=0
/proc/17254/stat : 17254 (galacJ.sh) S 17252 17254 17184 0 -1 4194304 308 0 0 0 0 0 0 0 20 0 1 0 167711232 8765440 253 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 248761796495 0 0 4096 8192 0 0 0 17 1 0 0
/proc/17254/statm: 2140 253 197 79 0 133 0
[startup+0.109356 s]
/proc/loadavg: 1.92 2.08 1.96 5/74 17255
/proc/meminfo: memFree=1237928/2055920 swapFree=4192812/4192956
[pid=17254] ppid=17252 vsize=47576 CPUtime=0.01
/proc/17254/stat : 17254 (galacJ.sh) S 17252 17254 17184 0 -1 4194304 797 1728 0 0 0 0 0 1 24 0 1 0 167711232 48717824 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/17254/statm: 11894 362 245 79 0 217 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47576
[startup+0.517394 s]
/proc/loadavg: 1.92 2.08 1.96 5/74 17255
/proc/meminfo: memFree=1237928/2055920 swapFree=4192812/4192956
[pid=17254] ppid=17252 vsize=47576 CPUtime=0.01
/proc/17254/stat : 17254 (galacJ.sh) S 17252 17254 17184 0 -1 4194304 797 1728 0 0 0 0 0 1 24 0 1 0 167711232 48717824 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/17254/statm: 11894 362 245 79 0 217 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47576
[startup+1.33848 s]
/proc/loadavg: 1.92 2.08 1.96 3/82 17276
/proc/meminfo: memFree=1190184/2055920 swapFree=4192812/4192956
[pid=17254] ppid=17252 vsize=47576 CPUtime=0.01
/proc/17254/stat : 17254 (galacJ.sh) S 17252 17254 17184 0 -1 4194304 797 1728 0 0 0 0 0 1 24 0 1 0 167711232 48717824 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/17254/statm: 11894 362 245 79 0 217 0
[pid=17269] ppid=17254 vsize=862232 CPUtime=1.27
/proc/17269/stat : 17269 (java) R 17254 17254 17184 0 -1 0 13997 0 1 0 119 8 0 0 24 0 8 0 167711236 882925568 13750 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17269/statm: 215558 13750 2036 14 0 201516 0
[pid=17269/tid=17270] ppid=17254 vsize=862232 CPUtime=0.06
/proc/17269/task/17270/stat : 17270 (java) R 17254 17254 17184 0 -1 64 3514 0 0 0 5 1 0 0 16 0 8 0 167711239 882925568 13750 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4155134460 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17269/tid=17271] ppid=17254 vsize=862232 CPUtime=0
/proc/17269/task/17271/stat : 17271 (java) S 17254 17254 17184 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 167711240 882925568 13750 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17269/tid=17272] ppid=17254 vsize=862232 CPUtime=0
/proc/17269/task/17272/stat : 17272 (java) S 17254 17254 17184 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 167711240 882925568 13750 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17269/tid=17273] ppid=17254 vsize=862232 CPUtime=0
/proc/17269/task/17273/stat : 17273 (java) S 17254 17254 17184 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167711243 882925568 13750 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17269/tid=17274] ppid=17254 vsize=862232 CPUtime=0.27
/proc/17269/task/17274/stat : 17274 (java) S 17254 17254 17184 0 -1 64 997 0 0 0 26 1 0 0 16 0 8 0 167711243 882925568 13750 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17269/tid=17275] ppid=17254 vsize=862232 CPUtime=0
/proc/17269/task/17275/stat : 17275 (java) S 17254 17254 17184 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167711243 882925568 13750 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17269/tid=17276] ppid=17254 vsize=862232 CPUtime=0
/proc/17269/task/17276/stat : 17276 (java) S 17254 17254 17184 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167711243 882925568 13750 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 909808
[startup+2.98963 s]
/proc/loadavg: 1.92 2.08 1.96 3/82 17276
/proc/meminfo: memFree=1149672/2055920 swapFree=4192812/4192956
[pid=17254] ppid=17252 vsize=47576 CPUtime=0.01
/proc/17254/stat : 17254 (galacJ.sh) S 17252 17254 17184 0 -1 4194304 797 1728 0 0 0 0 0 1 24 0 1 0 167711232 48717824 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/17254/statm: 11894 362 245 79 0 217 0
[pid=17269] ppid=17254 vsize=862188 CPUtime=2.92
/proc/17269/stat : 17269 (java) R 17254 17254 17184 0 -1 0 37048 0 1 0 273 19 0 0 25 0 8 0 167711236 882880512 35913 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4072918600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17269/statm: 215547 35913 2039 14 0 201505 0
[pid=17269/tid=17270] ppid=17254 vsize=862188 CPUtime=0.56
/proc/17269/task/17270/stat : 17270 (java) S 17254 17254 17184 0 -1 64 20804 0 0 0 47 9 0 0 18 0 8 0 167711239 882880512 35913 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17269/tid=17271] ppid=17254 vsize=862188 CPUtime=0
/proc/17269/task/17271/stat : 17271 (java) S 17254 17254 17184 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 167711240 882880512 35913 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17269/tid=17272] ppid=17254 vsize=862188 CPUtime=0
/proc/17269/task/17272/stat : 17272 (java) S 17254 17254 17184 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 167711240 882880512 35913 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17269/tid=17273] ppid=17254 vsize=862188 CPUtime=0
/proc/17269/task/17273/stat : 17273 (java) S 17254 17254 17184 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167711243 882880512 35913 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17269/tid=17274] ppid=17254 vsize=862188 CPUtime=0.27
/proc/17269/task/17274/stat : 17274 (java) S 17254 17254 17184 0 -1 64 999 0 0 0 26 1 0 0 16 0 8 0 167711243 882880512 35913 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17269/tid=17275] ppid=17254 vsize=862188 CPUtime=0
/proc/17269/task/17275/stat : 17275 (java) S 17254 17254 17184 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167711243 882880512 35913 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17269/tid=17276] ppid=17254 vsize=862188 CPUtime=0
/proc/17269/task/17276/stat : 17276 (java) S 17254 17254 17184 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167711243 882880512 35913 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 909764
[startup+6.19394 s]
/proc/loadavg: 1.93 2.08 1.96 3/82 17276
/proc/meminfo: memFree=1076656/2055920 swapFree=4192812/4192956
[pid=17254] ppid=17252 vsize=47576 CPUtime=0.01
/proc/17254/stat : 17254 (galacJ.sh) S 17252 17254 17184 0 -1 4194304 797 1728 0 0 0 0 0 1 24 0 1 0 167711232 48717824 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/17254/statm: 11894 362 245 79 0 217 0
[pid=17269] ppid=17254 vsize=862188 CPUtime=6.11
/proc/17269/stat : 17269 (java) R 17254 17254 17184 0 -1 0 44402 0 1 0 589 22 0 0 25 0 8 0 167711236 882880512 42025 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073518452 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17269/statm: 215547 42025 2044 14 0 201505 0
[pid=17269/tid=17270] ppid=17254 vsize=862188 CPUtime=2.44
/proc/17269/task/17270/stat : 17270 (java) S 17254 17254 17184 0 -1 64 28137 0 0 0 232 12 0 0 18 0 8 0 167711239 882880512 42025 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17269/tid=17271] ppid=17254 vsize=862188 CPUtime=0
/proc/17269/task/17271/stat : 17271 (java) S 17254 17254 17184 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 167711240 882880512 42025 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17269/tid=17272] ppid=17254 vsize=862188 CPUtime=0
/proc/17269/task/17272/stat : 17272 (java) S 17254 17254 17184 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 167711240 882880512 42025 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17269/tid=17273] ppid=17254 vsize=862188 CPUtime=0
/proc/17269/task/17273/stat : 17273 (java) S 17254 17254 17184 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167711243 882880512 42025 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17269/tid=17274] ppid=17254 vsize=862188 CPUtime=0.27
/proc/17269/task/17274/stat : 17274 (java) S 17254 17254 17184 0 -1 64 1000 0 0 0 26 1 0 0 17 0 8 0 167711243 882880512 42025 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17269/tid=17275] ppid=17254 vsize=862188 CPUtime=0
/proc/17269/task/17275/stat : 17275 (java) S 17254 17254 17184 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167711243 882880512 42025 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17269/tid=17276] ppid=17254 vsize=862188 CPUtime=0
/proc/17269/task/17276/stat : 17276 (java) S 17254 17254 17184 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167711243 882880512 42025 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 909764
[startup+12.6846 s]
/proc/loadavg: 1.94 2.08 1.96 3/82 17276
/proc/meminfo: memFree=944824/2055920 swapFree=4192812/4192956
[pid=17254] ppid=17252 vsize=47576 CPUtime=0.01
/proc/17254/stat : 17254 (galacJ.sh) S 17252 17254 17184 0 -1 4194304 797 1728 0 0 0 0 0 1 24 0 1 0 167711232 48717824 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/17254/statm: 11894 362 245 79 0 217 0
[pid=17269] ppid=17254 vsize=864192 CPUtime=12.56
/proc/17269/stat : 17269 (java) S 17254 17254 17184 0 -1 0 80481 0 1 0 1218 38 0 0 25 0 8 0 167711236 884932608 76555 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17269/statm: 216048 76555 2044 14 0 202006 0
[pid=17269/tid=17270] ppid=17254 vsize=864192 CPUtime=6.29
/proc/17269/task/17270/stat : 17270 (java) R 17254 17254 17184 0 -1 64 64207 0 0 0 601 28 0 0 21 0 8 0 167711239 884932608 76555 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4155526126 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17269/tid=17271] ppid=17254 vsize=864192 CPUtime=0
/proc/17269/task/17271/stat : 17271 (java) S 17254 17254 17184 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 167711240 884932608 76555 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17269/tid=17272] ppid=17254 vsize=864192 CPUtime=0
/proc/17269/task/17272/stat : 17272 (java) S 17254 17254 17184 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 167711240 884932608 76555 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17269/tid=17273] ppid=17254 vsize=864192 CPUtime=0
/proc/17269/task/17273/stat : 17273 (java) S 17254 17254 17184 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167711243 884932608 76555 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17269/tid=17274] ppid=17254 vsize=864192 CPUtime=0.27
/proc/17269/task/17274/stat : 17274 (java) S 17254 17254 17184 0 -1 64 1000 0 0 0 26 1 0 0 17 0 8 0 167711243 884932608 76555 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17269/tid=17275] ppid=17254 vsize=864192 CPUtime=0
/proc/17269/task/17275/stat : 17275 (java) S 17254 17254 17184 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167711243 884932608 76555 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17269/tid=17276] ppid=17254 vsize=864192 CPUtime=0
/proc/17269/task/17276/stat : 17276 (java) S 17254 17254 17184 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167711243 884932608 76555 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 911768
[startup+25.5508 s]
/proc/loadavg: 2.10 2.10 1.97 3/82 17276
/proc/meminfo: memFree=876920/2055920 swapFree=4192812/4192956
[pid=17254] ppid=17252 vsize=47576 CPUtime=0.01
/proc/17254/stat : 17254 (galacJ.sh) S 17252 17254 17184 0 -1 4194304 797 1728 0 0 0 0 0 1 24 0 1 0 167711232 48717824 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/17254/statm: 11894 362 245 79 0 217 0
[pid=17269] ppid=17254 vsize=862188 CPUtime=25.37
/proc/17269/stat : 17269 (java) S 17254 17254 17184 0 -1 0 99616 0 1 0 2492 45 0 0 25 0 8 0 167711236 882880512 95285 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17269/statm: 215547 95285 2044 14 0 201505 0
[pid=17269/tid=17270] ppid=17254 vsize=862188 CPUtime=15.4
/proc/17269/task/17270/stat : 17270 (java) R 17254 17254 17184 0 -1 64 83328 0 0 0 1505 35 0 0 23 0 8 0 167711239 882880512 95285 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4155525866 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17269/tid=17271] ppid=17254 vsize=862188 CPUtime=0
/proc/17269/task/17271/stat : 17271 (java) S 17254 17254 17184 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 167711240 882880512 95285 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17269/tid=17272] ppid=17254 vsize=862188 CPUtime=0
/proc/17269/task/17272/stat : 17272 (java) S 17254 17254 17184 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 167711240 882880512 95285 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17269/tid=17273] ppid=17254 vsize=862188 CPUtime=0
/proc/17269/task/17273/stat : 17273 (java) S 17254 17254 17184 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167711243 882880512 95285 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17269/tid=17274] ppid=17254 vsize=862188 CPUtime=0.27
/proc/17269/task/17274/stat : 17274 (java) S 17254 17254 17184 0 -1 64 1000 0 0 0 26 1 0 0 16 0 8 0 167711243 882880512 95285 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17269/tid=17275] ppid=17254 vsize=862188 CPUtime=0
/proc/17269/task/17275/stat : 17275 (java) S 17254 17254 17184 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167711243 882880512 95285 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17269/tid=17276] ppid=17254 vsize=862188 CPUtime=0
/proc/17269/task/17276/stat : 17276 (java) S 17254 17254 17184 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167711243 882880512 95285 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 909764
[startup+51.2053 s]
/proc/loadavg: 2.12 2.11 1.98 3/82 17276
/proc/meminfo: memFree=743416/2055920 swapFree=4192812/4192956
[pid=17254] ppid=17252 vsize=47576 CPUtime=0.01
/proc/17254/stat : 17254 (galacJ.sh) S 17252 17254 17184 0 -1 4194304 797 1728 0 0 0 0 0 1 24 0 1 0 167711232 48717824 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/17254/statm: 11894 362 245 79 0 217 0
[pid=17269] ppid=17254 vsize=862188 CPUtime=50.9
/proc/17269/stat : 17269 (java) R 17254 17254 17184 0 -1 0 133588 0 1 0 5032 58 0 0 17 0 8 0 167711236 882880512 126395 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4074121138 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17269/statm: 215547 126395 2044 14 0 201505 0
[pid=17269/tid=17270] ppid=17254 vsize=862188 CPUtime=36.64
/proc/17269/task/17270/stat : 17270 (java) R 17254 17254 17184 0 -1 64 117277 0 0 0 3616 48 0 0 25 0 8 0 167711239 882880512 126395 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17269/tid=17271] ppid=17254 vsize=862188 CPUtime=0
/proc/17269/task/17271/stat : 17271 (java) S 17254 17254 17184 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 167711240 882880512 126395 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17269/tid=17272] ppid=17254 vsize=862188 CPUtime=0
/proc/17269/task/17272/stat : 17272 (java) S 17254 17254 17184 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 167711240 882880512 126395 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17269/tid=17273] ppid=17254 vsize=862188 CPUtime=0
/proc/17269/task/17273/stat : 17273 (java) S 17254 17254 17184 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167711243 882880512 126395 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17269/tid=17274] ppid=17254 vsize=862188 CPUtime=0.28
/proc/17269/task/17274/stat : 17274 (java) S 17254 17254 17184 0 -1 64 1002 0 0 0 27 1 0 0 17 0 8 0 167711243 882880512 126395 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17269/tid=17275] ppid=17254 vsize=862188 CPUtime=0
/proc/17269/task/17275/stat : 17275 (java) S 17254 17254 17184 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167711243 882880512 126395 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17269/tid=17276] ppid=17254 vsize=862188 CPUtime=0
/proc/17269/task/17276/stat : 17276 (java) S 17254 17254 17184 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167711243 882880512 126395 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.91
Current children cumulated vsize (KiB) 909764
[startup+102.414 s]
/proc/loadavg: 2.05 2.09 1.98 3/82 17276
/proc/meminfo: memFree=538296/2055920 swapFree=4192812/4192956
[pid=17254] ppid=17252 vsize=47576 CPUtime=0.01
/proc/17254/stat : 17254 (galacJ.sh) S 17252 17254 17184 0 -1 4194304 797 1728 0 0 0 0 0 1 24 0 1 0 167711232 48717824 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/17254/statm: 11894 362 245 79 0 217 0
[pid=17269] ppid=17254 vsize=862188 CPUtime=101.87
/proc/17269/stat : 17269 (java) S 17254 17254 17184 0 -1 0 185558 0 1 0 10109 78 0 0 17 0 8 0 167711236 882880512 176501 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17269/statm: 215547 176501 2044 14 0 201505 0
[pid=17269/tid=17270] ppid=17254 vsize=862188 CPUtime=81.96
/proc/17269/task/17270/stat : 17270 (java) R 17254 17254 17184 0 -1 64 169211 0 0 0 8128 68 0 0 25 0 8 0 167711239 882880512 176501 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4155523567 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17269/tid=17271] ppid=17254 vsize=862188 CPUtime=0
/proc/17269/task/17271/stat : 17271 (java) S 17254 17254 17184 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 167711240 882880512 176501 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17269/tid=17272] ppid=17254 vsize=862188 CPUtime=0
/proc/17269/task/17272/stat : 17272 (java) S 17254 17254 17184 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 167711240 882880512 176501 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17269/tid=17273] ppid=17254 vsize=862188 CPUtime=0
/proc/17269/task/17273/stat : 17273 (java) S 17254 17254 17184 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167711243 882880512 176501 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17269/tid=17274] ppid=17254 vsize=862188 CPUtime=0.29
/proc/17269/task/17274/stat : 17274 (java) S 17254 17254 17184 0 -1 64 1007 0 0 0 28 1 0 0 17 0 8 0 167711243 882880512 176501 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17269/tid=17275] ppid=17254 vsize=862188 CPUtime=0
/proc/17269/task/17275/stat : 17275 (java) S 17254 17254 17184 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167711243 882880512 176501 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17269/tid=17276] ppid=17254 vsize=862188 CPUtime=0
/proc/17269/task/17276/stat : 17276 (java) S 17254 17254 17184 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167711243 882880512 176501 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.88
Current children cumulated vsize (KiB) 909764
Child status: 0
Real time (s): 122.435
CPU time (s): 121.796
CPU user time (s): 120.843
CPU system time (s): 0.953854
CPU usage (%): 99.4785
Max. virtual memory (cumulated for all children) (KiB): 911768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 120.843
system time used= 0.953854
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 199819
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= 3800
involuntary context switches= 5023
runsolver used 0.146977 s user time and 0.405938 s system time
The end
Begin job on node55 on Sun Jan 7 18:05:30 UTC 2007
IDJOB= 209553
IDBENCH= 4546
FILE ID= node55/209553-1168193128
PBS_JOBID= 3479405
Free space on /tmp= 66537 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp26-30/fapp28/fapp28-2800-5.xml
COMMAND LINE= /tmp/evaluation/209553-1168193128/galacJ.sh /tmp/evaluation/209553-1168193128/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-209553-1168193128 -o ROOT/results/node55/solver-209553-1168193128 -C 1800 -M 900 /tmp/evaluation/209553-1168193128/galacJ.sh /tmp/evaluation/209553-1168193128/unknown.xml
META MD5SUM SOLVER= ffd78bd56f274e94bd0d0faf76d262cb
MD5SUM BENCH= 1622e43408abfebe7d73b81f4cb1344c
RANDOM SEED= 850998503
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.218
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 : 5931.00
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.218
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: 1238408 kB
Buffers: 37008 kB
Cached: 456876 kB
SwapCached: 0 kB
Active: 395016 kB
Inactive: 365016 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1238408 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 6768 kB
Writeback: 0 kB
Mapped: 277592 kB
Slab: 42456 kB
Committed_AS: 3811924 kB
PageTables: 2336 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= 66537 MiB
End job on node55 on Sun Jan 7 18:07:32 UTC 2007