runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node10/watcher-233922-1168329172 -o ROOT/results/node10/solver-233922-1168329172 -C 1800 -M 900 /tmp/evaluation/233922-1168329172/galacJ.sh /tmp/evaluation/233922-1168329172/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.85 1.98 1.99 5/94 9104
/proc/meminfo: memFree=1220696/2055920 swapFree=4178216/4192956
[pid=9103] ppid=9101 vsize=8560 CPUtime=0
/proc/9103/stat : 9103 (galacJ.sh) R 9101 9103 8744 0 -1 4194304 308 0 0 0 0 0 0 0 20 0 1 0 181312330 8765440 253 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 214920054671 0 0 4096 8192 0 0 0 17 1 0 0
/proc/9103/statm: 2140 253 197 79 0 133 0
[startup+0.10743 s]
/proc/loadavg: 1.85 1.98 1.99 5/94 9104
/proc/meminfo: memFree=1220696/2055920 swapFree=4178216/4192956
[pid=9103] ppid=9101 vsize=47572 CPUtime=0
/proc/9103/stat : 9103 (galacJ.sh) S 9101 9103 8744 0 -1 4194304 795 1728 0 0 0 0 0 0 24 0 1 0 181312330 48713728 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9103/statm: 11893 362 245 79 0 217 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 47572
[startup+0.515486 s]
/proc/loadavg: 1.85 1.98 1.99 5/94 9104
/proc/meminfo: memFree=1220696/2055920 swapFree=4178216/4192956
[pid=9103] ppid=9101 vsize=47572 CPUtime=0
/proc/9103/stat : 9103 (galacJ.sh) S 9101 9103 8744 0 -1 4194304 795 1728 0 0 0 0 0 0 24 0 1 0 181312330 48713728 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9103/statm: 11893 362 245 79 0 217 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 47572
[startup+1.3386 s]
/proc/loadavg: 1.85 1.98 1.99 3/102 9125
/proc/meminfo: memFree=1167264/2055920 swapFree=4178216/4192956
[pid=9103] ppid=9101 vsize=47572 CPUtime=0
/proc/9103/stat : 9103 (galacJ.sh) S 9101 9103 8744 0 -1 4194304 795 1728 0 0 0 0 0 0 24 0 1 0 181312330 48713728 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9103/statm: 11893 362 245 79 0 217 0
[pid=9118] ppid=9103 vsize=862312 CPUtime=1.25
/proc/9118/stat : 9118 (java) R 9103 9103 8744 0 -1 0 16369 0 1 0 118 7 0 0 25 0 8 0 181312337 883007488 15998 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9118/statm: 215578 15998 2036 14 0 201483 0
[pid=9118/tid=9119] ppid=9103 vsize=862312 CPUtime=0.28
/proc/9118/task/9119/stat : 9119 (java) R 9103 9103 8744 0 -1 64 6524 0 0 0 26 2 0 0 16 0 8 0 181312340 883007488 15998 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4155772388 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9120] ppid=9103 vsize=862312 CPUtime=0
/proc/9118/task/9120/stat : 9120 (java) S 9103 9103 8744 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 181312341 883007488 15998 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9121] ppid=9103 vsize=862312 CPUtime=0
/proc/9118/task/9121/stat : 9121 (java) S 9103 9103 8744 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 181312341 883007488 15998 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9122] ppid=9103 vsize=862312 CPUtime=0
/proc/9118/task/9122/stat : 9122 (java) S 9103 9103 8744 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181312344 883007488 15998 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9123] ppid=9103 vsize=862312 CPUtime=0.11
/proc/9118/task/9123/stat : 9123 (java) S 9103 9103 8744 0 -1 64 891 0 0 0 11 0 0 0 16 0 8 0 181312344 883007488 15998 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9124] ppid=9103 vsize=862312 CPUtime=0
/proc/9118/task/9124/stat : 9124 (java) S 9103 9103 8744 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181312344 883007488 15998 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9125] ppid=9103 vsize=862312 CPUtime=0
/proc/9118/task/9125/stat : 9125 (java) S 9103 9103 8744 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181312344 883007488 15998 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 909884
[startup+2.99083 s]
/proc/loadavg: 1.85 1.98 1.99 3/102 9125
/proc/meminfo: memFree=1149280/2055920 swapFree=4178216/4192956
[pid=9103] ppid=9101 vsize=47572 CPUtime=0
/proc/9103/stat : 9103 (galacJ.sh) S 9101 9103 8744 0 -1 4194304 795 1728 0 0 0 0 0 0 24 0 1 0 181312330 48713728 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9103/statm: 11893 362 245 79 0 217 0
[pid=9118] ppid=9103 vsize=862564 CPUtime=2.9
/proc/9118/stat : 9118 (java) R 9103 9103 8744 0 -1 0 22389 0 1 0 281 9 0 0 25 0 8 0 181312337 883265536 21709 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9118/statm: 215641 21709 2036 14 0 201546 0
[pid=9118/tid=9119] ppid=9103 vsize=862564 CPUtime=1.22
/proc/9118/task/9119/stat : 9119 (java) R 9103 9103 8744 0 -1 64 12533 0 0 0 118 4 0 0 16 0 8 0 181312340 883265536 21709 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4155772416 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9120] ppid=9103 vsize=862564 CPUtime=0
/proc/9118/task/9120/stat : 9120 (java) S 9103 9103 8744 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 181312341 883265536 21709 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9121] ppid=9103 vsize=862564 CPUtime=0
/proc/9118/task/9121/stat : 9121 (java) S 9103 9103 8744 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 181312341 883265536 21709 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9122] ppid=9103 vsize=862564 CPUtime=0
/proc/9118/task/9122/stat : 9122 (java) S 9103 9103 8744 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181312344 883265536 21709 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9123] ppid=9103 vsize=862564 CPUtime=0.11
/proc/9118/task/9123/stat : 9123 (java) S 9103 9103 8744 0 -1 64 893 0 0 0 11 0 0 0 16 0 8 0 181312344 883265536 21709 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9124] ppid=9103 vsize=862564 CPUtime=0
/proc/9118/task/9124/stat : 9124 (java) S 9103 9103 8744 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181312344 883265536 21709 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9125] ppid=9103 vsize=862564 CPUtime=0
/proc/9118/task/9125/stat : 9125 (java) S 9103 9103 8744 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181312344 883265536 21709 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 910136
[startup+6.27028 s]
/proc/loadavg: 1.94 2.00 1.99 3/102 9125
/proc/meminfo: memFree=1113888/2055920 swapFree=4178216/4192956
[pid=9103] ppid=9101 vsize=47572 CPUtime=0
/proc/9103/stat : 9103 (galacJ.sh) S 9101 9103 8744 0 -1 4194304 795 1728 0 0 0 0 0 0 24 0 1 0 181312330 48713728 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9103/statm: 11893 362 245 79 0 217 0
[pid=9118] ppid=9103 vsize=862312 CPUtime=6.16
/proc/9118/stat : 9118 (java) R 9103 9103 8744 0 -1 0 30030 0 1 0 604 12 0 0 25 0 8 0 181312337 883007488 29037 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4073518071 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9118/statm: 215578 29037 2036 14 0 201483 0
[pid=9118/tid=9119] ppid=9103 vsize=862312 CPUtime=3.42
/proc/9118/task/9119/stat : 9119 (java) S 9103 9103 8744 0 -1 64 20158 0 0 0 335 7 0 0 18 0 8 0 181312340 883007488 29037 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9120] ppid=9103 vsize=862312 CPUtime=0
/proc/9118/task/9120/stat : 9120 (java) S 9103 9103 8744 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 181312341 883007488 29037 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9121] ppid=9103 vsize=862312 CPUtime=0
/proc/9118/task/9121/stat : 9121 (java) S 9103 9103 8744 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 181312341 883007488 29037 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9122] ppid=9103 vsize=862312 CPUtime=0
/proc/9118/task/9122/stat : 9122 (java) S 9103 9103 8744 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181312344 883007488 29037 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9123] ppid=9103 vsize=862312 CPUtime=0.12
/proc/9118/task/9123/stat : 9123 (java) S 9103 9103 8744 0 -1 64 896 0 0 0 12 0 0 0 16 0 8 0 181312344 883007488 29037 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9124] ppid=9103 vsize=862312 CPUtime=0
/proc/9118/task/9124/stat : 9124 (java) S 9103 9103 8744 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181312344 883007488 29037 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9125] ppid=9103 vsize=862312 CPUtime=0
/proc/9118/task/9125/stat : 9125 (java) S 9103 9103 8744 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181312344 883007488 29037 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 909884
[startup+12.6741 s]
/proc/loadavg: 2.02 2.02 2.00 4/102 9125
/proc/meminfo: memFree=1066272/2055920 swapFree=4178216/4192956
[pid=9103] ppid=9101 vsize=47572 CPUtime=0
/proc/9103/stat : 9103 (galacJ.sh) S 9101 9103 8744 0 -1 4194304 795 1728 0 0 0 0 0 0 24 0 1 0 181312330 48713728 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9103/statm: 11893 362 245 79 0 217 0
[pid=9118] ppid=9103 vsize=862312 CPUtime=12.53
/proc/9118/stat : 9118 (java) R 9103 9103 8744 0 -1 0 42255 0 1 0 1236 17 0 0 25 0 8 0 181312337 883007488 41243 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4073731696 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9118/statm: 215578 41243 2036 14 0 201483 0
[pid=9118/tid=9119] ppid=9103 vsize=862312 CPUtime=8.34
/proc/9118/task/9119/stat : 9119 (java) S 9103 9103 8744 0 -1 64 32361 0 0 0 822 12 0 0 19 0 8 0 181312340 883007488 41243 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9120] ppid=9103 vsize=862312 CPUtime=0
/proc/9118/task/9120/stat : 9120 (java) S 9103 9103 8744 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 181312341 883007488 41243 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9121] ppid=9103 vsize=862312 CPUtime=0
/proc/9118/task/9121/stat : 9121 (java) S 9103 9103 8744 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 181312341 883007488 41243 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9122] ppid=9103 vsize=862312 CPUtime=0
/proc/9118/task/9122/stat : 9122 (java) S 9103 9103 8744 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181312344 883007488 41243 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9123] ppid=9103 vsize=862312 CPUtime=0.13
/proc/9118/task/9123/stat : 9123 (java) S 9103 9103 8744 0 -1 64 899 0 0 0 13 0 0 0 16 0 8 0 181312344 883007488 41243 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9124] ppid=9103 vsize=862312 CPUtime=0
/proc/9118/task/9124/stat : 9124 (java) S 9103 9103 8744 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181312344 883007488 41243 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9125] ppid=9103 vsize=862312 CPUtime=0
/proc/9118/task/9125/stat : 9125 (java) S 9103 9103 8744 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181312344 883007488 41243 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 909884
[startup+25.5499 s]
/proc/loadavg: 2.16 2.05 2.01 3/102 9125
/proc/meminfo: memFree=1007008/2055920 swapFree=4178216/4192956
[pid=9103] ppid=9101 vsize=47572 CPUtime=0
/proc/9103/stat : 9103 (galacJ.sh) S 9101 9103 8744 0 -1 4194304 795 1728 0 0 0 0 0 0 24 0 1 0 181312330 48713728 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9103/statm: 11893 362 245 79 0 217 0
[pid=9118] ppid=9103 vsize=862312 CPUtime=25.35
/proc/9118/stat : 9118 (java) S 9103 9103 8744 0 -1 0 56691 0 1 0 2512 23 0 0 18 0 8 0 181312337 883007488 55653 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9118/statm: 215578 55653 2036 14 0 201483 0
[pid=9118/tid=9119] ppid=9103 vsize=862312 CPUtime=19.15
/proc/9118/task/9119/stat : 9119 (java) R 9103 9103 8744 0 -1 64 46763 0 0 0 1897 18 0 0 25 0 8 0 181312340 883007488 55653 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4155772454 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9120] ppid=9103 vsize=862312 CPUtime=0
/proc/9118/task/9120/stat : 9120 (java) S 9103 9103 8744 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 181312341 883007488 55653 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9121] ppid=9103 vsize=862312 CPUtime=0
/proc/9118/task/9121/stat : 9121 (java) S 9103 9103 8744 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 181312341 883007488 55653 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9122] ppid=9103 vsize=862312 CPUtime=0
/proc/9118/task/9122/stat : 9122 (java) S 9103 9103 8744 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181312344 883007488 55653 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9123] ppid=9103 vsize=862312 CPUtime=0.14
/proc/9118/task/9123/stat : 9123 (java) S 9103 9103 8744 0 -1 64 907 0 0 0 14 0 0 0 17 0 8 0 181312344 883007488 55653 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9124] ppid=9103 vsize=862312 CPUtime=0
/proc/9118/task/9124/stat : 9124 (java) S 9103 9103 8744 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181312344 883007488 55653 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9125] ppid=9103 vsize=862312 CPUtime=0
/proc/9118/task/9125/stat : 9125 (java) S 9103 9103 8744 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181312344 883007488 55653 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 909884
[startup+51.2134 s]
/proc/loadavg: 2.10 2.04 2.01 3/102 9125
/proc/meminfo: memFree=914528/2055920 swapFree=4178216/4192956
[pid=9103] ppid=9101 vsize=47572 CPUtime=0
/proc/9103/stat : 9103 (galacJ.sh) S 9101 9103 8744 0 -1 4194304 795 1728 0 0 0 0 0 0 24 0 1 0 181312330 48713728 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9103/statm: 11893 362 245 79 0 217 0
[pid=9118] ppid=9103 vsize=862312 CPUtime=50.89
/proc/9118/stat : 9118 (java) S 9103 9103 8744 0 -1 0 79322 0 1 0 5058 31 0 0 16 0 8 0 181312337 883007488 78246 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9118/statm: 215578 78246 2036 14 0 201483 0
[pid=9118/tid=9119] ppid=9103 vsize=862312 CPUtime=41.78
/proc/9118/task/9119/stat : 9119 (java) R 9103 9103 8744 0 -1 64 69344 0 0 0 4153 25 0 0 25 0 8 0 181312340 883007488 78246 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4155525083 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9120] ppid=9103 vsize=862312 CPUtime=0
/proc/9118/task/9120/stat : 9120 (java) S 9103 9103 8744 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 181312341 883007488 78246 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9121] ppid=9103 vsize=862312 CPUtime=0
/proc/9118/task/9121/stat : 9121 (java) S 9103 9103 8744 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 181312341 883007488 78246 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9122] ppid=9103 vsize=862312 CPUtime=0
/proc/9118/task/9122/stat : 9122 (java) S 9103 9103 8744 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181312344 883007488 78246 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9123] ppid=9103 vsize=862312 CPUtime=0.16
/proc/9118/task/9123/stat : 9123 (java) S 9103 9103 8744 0 -1 64 919 0 0 0 16 0 0 0 16 0 8 0 181312344 883007488 78246 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9124] ppid=9103 vsize=862312 CPUtime=0
/proc/9118/task/9124/stat : 9124 (java) S 9103 9103 8744 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181312344 883007488 78246 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9125] ppid=9103 vsize=862312 CPUtime=0
/proc/9118/task/9125/stat : 9125 (java) S 9103 9103 8744 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181312344 883007488 78246 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.89
Current children cumulated vsize (KiB) 909884
[startup+102.427 s]
/proc/loadavg: 2.04 2.03 2.00 4/102 9125
/proc/meminfo: memFree=775840/2055920 swapFree=4178216/4192956
[pid=9103] ppid=9101 vsize=47572 CPUtime=0
/proc/9103/stat : 9103 (galacJ.sh) S 9101 9103 8744 0 -1 4194304 795 1728 0 0 0 0 0 0 24 0 1 0 181312330 48713728 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9103/statm: 11893 362 245 79 0 217 0
[pid=9118] ppid=9103 vsize=862312 CPUtime=101.86
/proc/9118/stat : 9118 (java) S 9103 9103 8744 0 -1 0 113980 0 1 0 10142 44 0 0 17 0 8 0 181312337 883007488 112853 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9118/statm: 215578 112853 2036 14 0 201483 0
[pid=9118/tid=9119] ppid=9103 vsize=862312 CPUtime=88.79
/proc/9118/task/9119/stat : 9119 (java) R 9103 9103 8744 0 -1 64 103948 0 0 0 8841 38 0 0 25 0 8 0 181312340 883007488 112853 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4155222440 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9120] ppid=9103 vsize=862312 CPUtime=0
/proc/9118/task/9120/stat : 9120 (java) S 9103 9103 8744 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 181312341 883007488 112853 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9121] ppid=9103 vsize=862312 CPUtime=0
/proc/9118/task/9121/stat : 9121 (java) S 9103 9103 8744 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 181312341 883007488 112853 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9122] ppid=9103 vsize=862312 CPUtime=0
/proc/9118/task/9122/stat : 9122 (java) S 9103 9103 8744 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181312344 883007488 112853 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9123] ppid=9103 vsize=862312 CPUtime=0.16
/proc/9118/task/9123/stat : 9123 (java) S 9103 9103 8744 0 -1 64 922 0 0 0 16 0 0 0 16 0 8 0 181312344 883007488 112853 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9124] ppid=9103 vsize=862312 CPUtime=0
/proc/9118/task/9124/stat : 9124 (java) S 9103 9103 8744 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181312344 883007488 112853 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9125] ppid=9103 vsize=862312 CPUtime=0
/proc/9118/task/9125/stat : 9125 (java) S 9103 9103 8744 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181312344 883007488 112853 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.86
Current children cumulated vsize (KiB) 909884
[startup+162.504 s]
/proc/loadavg: 2.06 2.04 2.00 3/102 9125
/proc/meminfo: memFree=664224/2055920 swapFree=4178216/4192956
[pid=9103] ppid=9101 vsize=47572 CPUtime=0
/proc/9103/stat : 9103 (galacJ.sh) S 9101 9103 8744 0 -1 4194304 795 1728 0 0 0 0 0 0 24 0 1 0 181312330 48713728 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9103/statm: 11893 362 245 79 0 217 0
[pid=9118] ppid=9103 vsize=862312 CPUtime=161.65
/proc/9118/stat : 9118 (java) S 9103 9103 8744 0 -1 0 141871 0 1 0 16111 54 0 0 17 0 8 0 181312337 883007488 140698 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9118/statm: 215578 140698 2036 14 0 201483 0
[pid=9118/tid=9119] ppid=9103 vsize=862312 CPUtime=145.06
/proc/9118/task/9119/stat : 9119 (java) R 9103 9103 8744 0 -1 64 131789 0 0 0 14458 48 0 0 25 0 8 0 181312340 883007488 140698 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4155134188 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9120] ppid=9103 vsize=862312 CPUtime=0
/proc/9118/task/9120/stat : 9120 (java) S 9103 9103 8744 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 181312341 883007488 140698 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9121] ppid=9103 vsize=862312 CPUtime=0
/proc/9118/task/9121/stat : 9121 (java) S 9103 9103 8744 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 181312341 883007488 140698 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9122] ppid=9103 vsize=862312 CPUtime=0
/proc/9118/task/9122/stat : 9122 (java) S 9103 9103 8744 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181312344 883007488 140698 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9123] ppid=9103 vsize=862312 CPUtime=0.17
/proc/9118/task/9123/stat : 9123 (java) S 9103 9103 8744 0 -1 64 926 0 0 0 17 0 0 0 16 0 8 0 181312344 883007488 140698 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9124] ppid=9103 vsize=862312 CPUtime=0
/proc/9118/task/9124/stat : 9124 (java) S 9103 9103 8744 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181312344 883007488 140698 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9125] ppid=9103 vsize=862312 CPUtime=0
/proc/9118/task/9125/stat : 9125 (java) S 9103 9103 8744 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181312344 883007488 140698 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.65
Current children cumulated vsize (KiB) 909884
[startup+222.577 s]
/proc/loadavg: 2.02 2.03 2.00 3/102 9125
/proc/meminfo: memFree=566432/2055920 swapFree=4178216/4192956
[pid=9103] ppid=9101 vsize=47572 CPUtime=0
/proc/9103/stat : 9103 (galacJ.sh) S 9101 9103 8744 0 -1 4194304 795 1728 0 0 0 0 0 0 24 0 1 0 181312330 48713728 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9103/statm: 11893 362 245 79 0 217 0
[pid=9118] ppid=9103 vsize=862312 CPUtime=221.44
/proc/9118/stat : 9118 (java) S 9103 9103 8744 0 -1 0 166310 0 1 0 22081 63 0 0 17 0 8 0 181312337 883007488 165099 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9118/statm: 215578 165099 2036 14 0 201483 0
[pid=9118/tid=9119] ppid=9103 vsize=862312 CPUtime=201.91
/proc/9118/task/9119/stat : 9119 (java) R 9103 9103 8744 0 -1 64 156187 0 0 0 20134 57 0 0 25 0 8 0 181312340 883007488 165099 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4155523573 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9120] ppid=9103 vsize=862312 CPUtime=0
/proc/9118/task/9120/stat : 9120 (java) S 9103 9103 8744 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 181312341 883007488 165099 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9121] ppid=9103 vsize=862312 CPUtime=0
/proc/9118/task/9121/stat : 9121 (java) S 9103 9103 8744 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 181312341 883007488 165099 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9122] ppid=9103 vsize=862312 CPUtime=0
/proc/9118/task/9122/stat : 9122 (java) S 9103 9103 8744 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181312344 883007488 165099 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9123] ppid=9103 vsize=862312 CPUtime=0.19
/proc/9118/task/9123/stat : 9123 (java) S 9103 9103 8744 0 -1 64 929 0 0 0 18 1 0 0 16 0 8 0 181312344 883007488 165099 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9124] ppid=9103 vsize=862312 CPUtime=0
/proc/9118/task/9124/stat : 9124 (java) S 9103 9103 8744 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181312344 883007488 165099 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9125] ppid=9103 vsize=862312 CPUtime=0
/proc/9118/task/9125/stat : 9125 (java) S 9103 9103 8744 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181312344 883007488 165099 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.44
Current children cumulated vsize (KiB) 909884
[startup+282.657 s]
/proc/loadavg: 2.01 2.02 2.00 4/102 9125
/proc/meminfo: memFree=509024/2055920 swapFree=4178216/4192956
[pid=9103] ppid=9101 vsize=47572 CPUtime=0
/proc/9103/stat : 9103 (galacJ.sh) S 9101 9103 8744 0 -1 4194304 795 1728 0 0 0 0 0 0 24 0 1 0 181312330 48713728 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9103/statm: 11893 362 245 79 0 217 0
[pid=9118] ppid=9103 vsize=862312 CPUtime=281.24
/proc/9118/stat : 9118 (java) S 9103 9103 8744 0 -1 0 180665 0 1 0 28055 69 0 0 17 0 8 0 181312337 883007488 179420 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9118/statm: 215578 179420 2036 14 0 201483 0
[pid=9118/tid=9119] ppid=9103 vsize=862312 CPUtime=259.11
/proc/9118/task/9119/stat : 9119 (java) R 9103 9103 8744 0 -1 64 166518 0 0 0 25850 61 0 0 25 0 8 0 181312340 883007488 179420 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4155523691 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9120] ppid=9103 vsize=862312 CPUtime=0
/proc/9118/task/9120/stat : 9120 (java) S 9103 9103 8744 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 181312341 883007488 179420 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9121] ppid=9103 vsize=862312 CPUtime=0
/proc/9118/task/9121/stat : 9121 (java) S 9103 9103 8744 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 181312341 883007488 179420 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9122] ppid=9103 vsize=862312 CPUtime=0
/proc/9118/task/9122/stat : 9122 (java) S 9103 9103 8744 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181312344 883007488 179420 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9123] ppid=9103 vsize=862312 CPUtime=0.19
/proc/9118/task/9123/stat : 9123 (java) S 9103 9103 8744 0 -1 64 933 0 0 0 18 1 0 0 16 0 8 0 181312344 883007488 179420 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9124] ppid=9103 vsize=862312 CPUtime=0
/proc/9118/task/9124/stat : 9124 (java) S 9103 9103 8744 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181312344 883007488 179420 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9118/tid=9125] ppid=9103 vsize=862312 CPUtime=0
/proc/9118/task/9125/stat : 9125 (java) S 9103 9103 8744 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181312344 883007488 179420 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.24
Current children cumulated vsize (KiB) 909884
Child status: 0
Real time (s): 312.239
CPU time (s): 310.679
CPU user time (s): 309.841
CPU system time (s): 0.837872
CPU usage (%): 99.5002
Max. virtual memory (cumulated for all children) (KiB): 910136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 309.841
system time used= 0.837872
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 186700
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= 7550
involuntary context switches= 11527
runsolver used 0.378942 s user time and 1.01185 s system time
The end
Begin job on node10 on Tue Jan 9 07:52:52 UTC 2007
IDJOB= 233922
IDBENCH= 6647
FILE ID= node10/233922-1168329172
PBS_JOBID= 3503042
Free space on /tmp= 66559 MiB
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-7/os-taillard-7-105-3.xml
COMMAND LINE= /tmp/evaluation/233922-1168329172/galacJ.sh /tmp/evaluation/233922-1168329172/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-233922-1168329172 -o ROOT/results/node10/solver-233922-1168329172 -C 1800 -M 900 /tmp/evaluation/233922-1168329172/galacJ.sh /tmp/evaluation/233922-1168329172/unknown.xml
META MD5SUM SOLVER= ffd78bd56f274e94bd0d0faf76d262cb
MD5SUM BENCH= 3bb09a0442152690b841b4ddbc213821
RANDOM SEED= 339098419
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.232
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.232
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: 1221112 kB
Buffers: 88480 kB
Cached: 612828 kB
SwapCached: 2628 kB
Active: 443908 kB
Inactive: 327956 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1221112 kB
SwapTotal: 4192956 kB
SwapFree: 4178216 kB
Dirty: 3656 kB
Writeback: 0 kB
Mapped: 87488 kB
Slab: 47576 kB
Committed_AS: 5107968 kB
PageTables: 2360 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= 66559 MiB
End job on node10 on Tue Jan 9 07:58:04 UTC 2007