runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node59/watcher-246772-1168719311 -o ROOT/results/node59/solver-246772-1168719311 -C 1800 -M 900 /tmp/evaluation/246772-1168719311/galacJ.sh /tmp/evaluation/246772-1168719311/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: 0.21 1.07 1.49 4/68 19953
/proc/meminfo: memFree=1798168/2055920 swapFree=4192680/4192956
[pid=19952] ppid=19950 vsize=8652 CPUtime=0
/proc/19952/stat : 19952 (galacJ.sh) R 19950 19952 19063 0 -1 4194304 335 0 0 0 0 0 0 0 17 0 1 0 220329343 8859648 279 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 217051622047 0 65538 4096 73728 0 0 0 17 1 0 0
/proc/19952/statm: 2163 279 207 79 0 156 0
[pid=19954] ppid=19952 vsize=8688 CPUtime=0
/proc/19954/stat : 19954 (galacJ.sh) R 19952 19952 19063 0 -1 4194368 27 0 0 0 0 0 0 0 17 0 1 0 220329344 8896512 286 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 217051622047 0 65536 4096 73728 0 0 0 17 1 0 0
/proc/19954/statm: 2172 286 209 79 0 165 0
[pid=19955] ppid=19954 vsize=8688 CPUtime=0
/proc/19955/stat : 19955 (galacJ.sh) R 19954 19952 19063 0 -1 4194368 10 0 0 0 0 0 0 0 17 0 1 0 220329344 8896512 286 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 217051790002 0 0 4096 73728 0 0 0 17 1 0 0
/proc/19955/statm: 2172 286 209 79 0 165 0
[startup+0.104583 s]
/proc/loadavg: 0.21 1.07 1.49 4/68 19953
/proc/meminfo: memFree=1798168/2055920 swapFree=4192680/4192956
[pid=19952] ppid=19950 vsize=47552 CPUtime=0.01
/proc/19952/stat : 19952 (galacJ.sh) S 19950 19952 19063 0 -1 4194304 798 1728 0 0 0 0 0 1 18 0 1 0 220329343 48693248 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/19952/statm: 11888 363 246 79 0 217 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47552
[startup+0.512625 s]
/proc/loadavg: 0.21 1.07 1.49 4/68 19953
/proc/meminfo: memFree=1798168/2055920 swapFree=4192680/4192956
[pid=19952] ppid=19950 vsize=47552 CPUtime=0.01
/proc/19952/stat : 19952 (galacJ.sh) S 19950 19952 19063 0 -1 4194304 798 1728 0 0 0 0 0 1 18 0 1 0 220329343 48693248 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/19952/statm: 11888 363 246 79 0 217 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47552
[startup+1.33372 s]
/proc/loadavg: 0.21 1.07 1.49 2/76 19975
/proc/meminfo: memFree=1698328/2055920 swapFree=4192680/4192956
[pid=19952] ppid=19950 vsize=47552 CPUtime=0.01
/proc/19952/stat : 19952 (galacJ.sh) S 19950 19952 19063 0 -1 4194304 798 1728 0 0 0 0 0 1 18 0 1 0 220329343 48693248 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/19952/statm: 11888 363 246 79 0 217 0
[pid=19968] ppid=19952 vsize=860800 CPUtime=1.28
/proc/19968/stat : 19968 (java) R 19952 19952 19063 0 -1 0 31063 0 1 0 114 14 0 0 17 0 8 0 220329346 881459200 30817 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073570560 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19968/statm: 215200 30817 2039 14 0 201105 0
[pid=19968/tid=19969] ppid=19952 vsize=860800 CPUtime=0.45
/proc/19968/task/19969/stat : 19969 (java) S 19952 19952 19063 0 -1 64 15703 0 0 0 38 7 0 0 16 0 8 0 220329350 881459200 30817 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19968/tid=19970] ppid=19952 vsize=860800 CPUtime=0
/proc/19968/task/19970/stat : 19970 (java) S 19952 19952 19063 0 -1 64 12 0 0 0 0 0 0 0 15 0 8 0 220329350 881459200 30817 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19968/tid=19971] ppid=19952 vsize=860800 CPUtime=0
/proc/19968/task/19971/stat : 19971 (java) S 19952 19952 19063 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 220329350 881459200 30817 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19968/tid=19972] ppid=19952 vsize=860800 CPUtime=0
/proc/19968/task/19972/stat : 19972 (java) S 19952 19952 19063 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 220329353 881459200 30817 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19968/tid=19973] ppid=19952 vsize=860800 CPUtime=0.05
/proc/19968/task/19973/stat : 19973 (java) S 19952 19952 19063 0 -1 64 346 0 0 0 5 0 0 0 16 0 8 0 220329353 881459200 30817 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19968/tid=19974] ppid=19952 vsize=860800 CPUtime=0
/proc/19968/task/19974/stat : 19974 (java) S 19952 19952 19063 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 220329354 881459200 30817 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19968/tid=19975] ppid=19952 vsize=860800 CPUtime=0
/proc/19968/task/19975/stat : 19975 (java) S 19952 19952 19063 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 220329354 881459200 30817 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 908352
[startup+2.9841 s]
/proc/loadavg: 0.27 1.07 1.49 2/76 19975
/proc/meminfo: memFree=1615000/2055920 swapFree=4192680/4192956
[pid=19952] ppid=19950 vsize=47552 CPUtime=0.01
/proc/19952/stat : 19952 (galacJ.sh) S 19950 19952 19063 0 -1 4194304 798 1728 0 0 0 0 0 1 18 0 1 0 220329343 48693248 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/19952/statm: 11888 363 246 79 0 217 0
[pid=19968] ppid=19952 vsize=860800 CPUtime=2.93
/proc/19968/stat : 19968 (java) S 19952 19952 19063 0 -1 0 63667 0 1 0 265 28 0 0 17 0 8 0 220329346 881459200 63419 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19968/statm: 215200 63419 2039 14 0 201105 0
[pid=19968/tid=19969] ppid=19952 vsize=860800 CPUtime=1.62
/proc/19968/task/19969/stat : 19969 (java) R 19952 19952 19063 0 -1 64 48305 0 0 0 141 21 0 0 19 0 8 0 220329350 881459200 63419 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4153827398 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19968/tid=19970] ppid=19952 vsize=860800 CPUtime=0
/proc/19968/task/19970/stat : 19970 (java) S 19952 19952 19063 0 -1 64 12 0 0 0 0 0 0 0 15 0 8 0 220329350 881459200 63419 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19968/tid=19971] ppid=19952 vsize=860800 CPUtime=0
/proc/19968/task/19971/stat : 19971 (java) S 19952 19952 19063 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 220329350 881459200 63419 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19968/tid=19972] ppid=19952 vsize=860800 CPUtime=0
/proc/19968/task/19972/stat : 19972 (java) S 19952 19952 19063 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 220329353 881459200 63419 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19968/tid=19973] ppid=19952 vsize=860800 CPUtime=0.05
/proc/19968/task/19973/stat : 19973 (java) S 19952 19952 19063 0 -1 64 346 0 0 0 5 0 0 0 16 0 8 0 220329353 881459200 63419 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19968/tid=19974] ppid=19952 vsize=860800 CPUtime=0
/proc/19968/task/19974/stat : 19974 (java) S 19952 19952 19063 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 220329354 881459200 63419 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19968/tid=19975] ppid=19952 vsize=860800 CPUtime=0
/proc/19968/task/19975/stat : 19975 (java) S 19952 19952 19063 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 220329354 881459200 63419 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 908352
[startup+6.27746 s]
/proc/loadavg: 0.27 1.07 1.49 2/76 19975
/proc/meminfo: memFree=1362080/2055920 swapFree=4192680/4192956
[pid=19952] ppid=19950 vsize=47552 CPUtime=0.01
/proc/19952/stat : 19952 (galacJ.sh) S 19950 19952 19063 0 -1 4194304 798 1728 0 0 0 0 0 1 18 0 1 0 220329343 48693248 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/19952/statm: 11888 363 246 79 0 217 0
[pid=19968] ppid=19952 vsize=860800 CPUtime=6.21
/proc/19968/stat : 19968 (java) S 19952 19952 19063 0 -1 0 124255 0 1 0 569 52 0 0 16 0 8 0 220329346 881459200 124001 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19968/statm: 215200 124001 2039 14 0 201105 0
[pid=19968/tid=19969] ppid=19952 vsize=860800 CPUtime=3.77
/proc/19968/task/19969/stat : 19969 (java) R 19952 19952 19063 0 -1 64 108887 0 0 0 332 45 0 0 18 0 8 0 220329350 881459200 124001 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4152891588 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19968/tid=19970] ppid=19952 vsize=860800 CPUtime=0
/proc/19968/task/19970/stat : 19970 (java) S 19952 19952 19063 0 -1 64 12 0 0 0 0 0 0 0 15 0 8 0 220329350 881459200 124001 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19968/tid=19971] ppid=19952 vsize=860800 CPUtime=0
/proc/19968/task/19971/stat : 19971 (java) S 19952 19952 19063 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 220329350 881459200 124001 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19968/tid=19972] ppid=19952 vsize=860800 CPUtime=0
/proc/19968/task/19972/stat : 19972 (java) S 19952 19952 19063 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 220329353 881459200 124001 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19968/tid=19973] ppid=19952 vsize=860800 CPUtime=0.05
/proc/19968/task/19973/stat : 19973 (java) S 19952 19952 19063 0 -1 64 346 0 0 0 5 0 0 0 16 0 8 0 220329353 881459200 124001 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19968/tid=19974] ppid=19952 vsize=860800 CPUtime=0
/proc/19968/task/19974/stat : 19974 (java) S 19952 19952 19063 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 220329354 881459200 124001 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19968/tid=19975] ppid=19952 vsize=860800 CPUtime=0
/proc/19968/task/19975/stat : 19975 (java) S 19952 19952 19063 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 220329354 881459200 124001 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 908352
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+9.25059 s]
/proc/loadavg: 0.33 1.06 1.48 2/76 19976
/proc/meminfo: memFree=1097896/2055920 swapFree=4192680/4192956
[pid=19952] ppid=19950 vsize=47552 CPUtime=0.01
/proc/19952/stat : 19952 (galacJ.sh) S 19950 19952 19063 0 -1 4194304 798 1728 0 0 0 0 0 1 18 0 1 0 220329343 48693248 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/19952/statm: 11888 363 246 79 0 217 0
[pid=19968] ppid=19952 vsize=876804 CPUtime=9.18
/proc/19968/stat : 19968 (java) S 19952 19952 19063 0 -1 0 181488 0 1 0 842 76 0 0 17 0 8 0 220329346 897847296 177286 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19968/statm: 219201 177286 2039 14 0 205106 0
[pid=19968/tid=19969] ppid=19952 vsize=876804 CPUtime=5.81
/proc/19968/task/19969/stat : 19969 (java) R 19952 19952 19063 0 -1 64 166117 0 0 0 512 69 0 0 18 0 8 0 220329350 897847296 177288 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4155134375 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19968/tid=19970] ppid=19952 vsize=876804 CPUtime=0
/proc/19968/task/19970/stat : 19970 (java) S 19952 19952 19063 0 -1 64 12 0 0 0 0 0 0 0 15 0 8 0 220329350 897847296 177288 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19968/tid=19971] ppid=19952 vsize=876804 CPUtime=0
/proc/19968/task/19971/stat : 19971 (java) S 19952 19952 19063 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 220329350 897847296 177289 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19968/tid=19972] ppid=19952 vsize=876804 CPUtime=0
/proc/19968/task/19972/stat : 19972 (java) S 19952 19952 19063 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 220329353 897847296 177289 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19968/tid=19973] ppid=19952 vsize=876804 CPUtime=0.05
/proc/19968/task/19973/stat : 19973 (java) S 19952 19952 19063 0 -1 64 346 0 0 0 5 0 0 0 16 0 8 0 220329353 897847296 177290 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19968/tid=19974] ppid=19952 vsize=876804 CPUtime=0
/proc/19968/task/19974/stat : 19974 (java) S 19952 19952 19063 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 220329354 897847296 177291 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19968/tid=19975] ppid=19952 vsize=876804 CPUtime=0
/proc/19968/task/19975/stat : 19975 (java) S 19952 19952 19063 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 220329354 897847296 177291 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9.19
Current children cumulated vsize (KiB) 924356
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 9.26799
CPU time (s): 0.029994
CPU user time (s): 0.007998
CPU system time (s): 0.021996
CPU usage (%): 0.32363
Max. virtual memory (cumulated for all children) (KiB): 924356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.007998
system time used= 0.021996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2526
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= 53
involuntary context switches= 17
runsolver used 0.008998 s user time and 0.044993 s system time
The end
Begin job on node59 on Sat Jan 13 20:15:12 UTC 2007
IDJOB= 246772
IDBENCH= 10723
IDSOLVER= 67
FILE ID= node59/246772-1168719311
PBS_JOBID= 3547659
Free space on /tmp= 66558 MiB
SOLVER NAME= galacJ beta 1
BENCH NAME= HOME/pub/bench/CPAI06/pigeons_glb/pigeons-25_ext.xml
COMMAND LINE= /tmp/evaluation/246772-1168719311/galacJ.sh /tmp/evaluation/246772-1168719311/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-246772-1168719311 -o ROOT/results/node59/solver-246772-1168719311 -C 1800 -M 900 /tmp/evaluation/246772-1168719311/galacJ.sh /tmp/evaluation/246772-1168719311/unknown.xml
META MD5SUM SOLVER= ffd78bd56f274e94bd0d0faf76d262cb
MD5SUM BENCH= 302cb2ee240bea09df686cb01a7b3240
RANDOM SEED= 12464420
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.239
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.239
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: 1798584 kB
Buffers: 20012 kB
Cached: 156856 kB
SwapCached: 0 kB
Active: 63216 kB
Inactive: 133840 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1798584 kB
SwapTotal: 4192956 kB
SwapFree: 4192680 kB
Dirty: 6572 kB
Writeback: 0 kB
Mapped: 30352 kB
Slab: 45948 kB
Committed_AS: 4709356 kB
PageTables: 1696 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= 66561 MiB
End job on node59 on Sat Jan 13 20:15:27 UTC 2007