runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node56/watcher-205941-1168168570 -o ROOT/results/node56/solver-205941-1168168570 -C 1800 -M 900 /tmp/evaluation/205941-1168168570/galacJ.sh /tmp/evaluation/205941-1168168570/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: 2.20 2.04 1.70 5/73 4826
/proc/meminfo: memFree=1492376/2055920 swapFree=4184772/4192956
[pid=4825] ppid=4823 vsize=8560 CPUtime=0
/proc/4825/stat : 4825 (galacJ.sh) R 4823 4825 4129 0 -1 4194304 308 0 0 0 0 0 0 0 20 0 1 0 165255121 8765440 253 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 253307373455 0 0 4096 8192 0 0 0 17 1 0 0
/proc/4825/statm: 2140 253 197 79 0 133 0
[startup+0.104912 s]
/proc/loadavg: 2.20 2.04 1.70 5/73 4826
/proc/meminfo: memFree=1492376/2055920 swapFree=4184772/4192956
[pid=4825] ppid=4823 vsize=47556 CPUtime=0.01
/proc/4825/stat : 4825 (galacJ.sh) S 4823 4825 4129 0 -1 4194304 796 1728 0 0 0 0 0 1 18 0 1 0 165255121 48697344 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 253306792794 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/4825/statm: 11889 363 246 79 0 217 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47556
[startup+0.51295 s]
/proc/loadavg: 2.20 2.04 1.70 5/73 4826
/proc/meminfo: memFree=1492376/2055920 swapFree=4184772/4192956
[pid=4825] ppid=4823 vsize=47556 CPUtime=0.01
/proc/4825/stat : 4825 (galacJ.sh) S 4823 4825 4129 0 -1 4194304 796 1728 0 0 0 0 0 1 18 0 1 0 165255121 48697344 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 253306792794 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/4825/statm: 11889 363 246 79 0 217 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47556
[startup+1.33503 s]
/proc/loadavg: 2.20 2.04 1.70 4/81 4847
/proc/meminfo: memFree=1447064/2055920 swapFree=4184772/4192956
[pid=4825] ppid=4823 vsize=47556 CPUtime=0.01
/proc/4825/stat : 4825 (galacJ.sh) S 4823 4825 4129 0 -1 4194304 796 1728 0 0 0 0 0 1 18 0 1 0 165255121 48697344 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 253306792794 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/4825/statm: 11889 363 246 79 0 217 0
[pid=4840] ppid=4825 vsize=862400 CPUtime=1.26
/proc/4840/stat : 4840 (java) R 4825 4825 4129 0 -1 0 18545 0 1 0 116 10 0 0 23 0 8 0 165255125 883097600 17939 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4074122074 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4840/statm: 215600 17939 2037 14 0 201505 0
[pid=4840/tid=4841] ppid=4825 vsize=862400 CPUtime=0.09
/proc/4840/task/4841/stat : 4841 (java) S 4825 4825 4129 0 -1 64 5363 0 0 0 7 2 0 0 17 0 8 0 165255129 883097600 17939 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4840/tid=4842] ppid=4825 vsize=862400 CPUtime=0
/proc/4840/task/4842/stat : 4842 (java) S 4825 4825 4129 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 165255129 883097600 17939 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4840/tid=4843] ppid=4825 vsize=862400 CPUtime=0
/proc/4840/task/4843/stat : 4843 (java) S 4825 4825 4129 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 165255129 883097600 17939 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4840/tid=4844] ppid=4825 vsize=862400 CPUtime=0
/proc/4840/task/4844/stat : 4844 (java) S 4825 4825 4129 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165255133 883097600 17939 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4840/tid=4845] ppid=4825 vsize=862400 CPUtime=0.26
/proc/4840/task/4845/stat : 4845 (java) S 4825 4825 4129 0 -1 64 996 0 0 0 25 1 0 0 16 0 8 0 165255133 883097600 17939 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4840/tid=4846] ppid=4825 vsize=862400 CPUtime=0
/proc/4840/task/4846/stat : 4846 (java) S 4825 4825 4129 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165255133 883097600 17939 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4840/tid=4847] ppid=4825 vsize=862400 CPUtime=0
/proc/4840/task/4847/stat : 4847 (java) S 4825 4825 4129 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165255133 883097600 17939 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 909956
[startup+2.98819 s]
/proc/loadavg: 2.26 2.06 1.70 3/81 4847
/proc/meminfo: memFree=1404440/2055920 swapFree=4184772/4192956
[pid=4825] ppid=4823 vsize=47556 CPUtime=0.01
/proc/4825/stat : 4825 (galacJ.sh) S 4823 4825 4129 0 -1 4194304 796 1728 0 0 0 0 0 1 18 0 1 0 165255121 48697344 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 253306792794 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/4825/statm: 11889 363 246 79 0 217 0
[pid=4840] ppid=4825 vsize=862400 CPUtime=2.9
/proc/4840/stat : 4840 (java) R 4825 4825 4129 0 -1 0 26366 0 1 0 277 13 0 0 25 0 8 0 165255125 883097600 25235 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4840/statm: 215600 25235 2037 14 0 201505 0
[pid=4840/tid=4841] ppid=4825 vsize=862400 CPUtime=0.73
/proc/4840/task/4841/stat : 4841 (java) R 4825 4825 4129 0 -1 64 13176 0 0 0 68 5 0 0 16 0 8 0 165255129 883097600 25235 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4155523726 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4840/tid=4842] ppid=4825 vsize=862400 CPUtime=0
/proc/4840/task/4842/stat : 4842 (java) S 4825 4825 4129 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 165255129 883097600 25235 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4840/tid=4843] ppid=4825 vsize=862400 CPUtime=0
/proc/4840/task/4843/stat : 4843 (java) S 4825 4825 4129 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 165255129 883097600 25235 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4840/tid=4844] ppid=4825 vsize=862400 CPUtime=0
/proc/4840/task/4844/stat : 4844 (java) S 4825 4825 4129 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165255133 883097600 25235 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4840/tid=4845] ppid=4825 vsize=862400 CPUtime=0.26
/proc/4840/task/4845/stat : 4845 (java) S 4825 4825 4129 0 -1 64 998 0 0 0 25 1 0 0 16 0 8 0 165255133 883097600 25235 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4840/tid=4846] ppid=4825 vsize=862400 CPUtime=0
/proc/4840/task/4846/stat : 4846 (java) S 4825 4825 4129 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165255133 883097600 25235 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4840/tid=4847] ppid=4825 vsize=862400 CPUtime=0
/proc/4840/task/4847/stat : 4847 (java) S 4825 4825 4129 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165255133 883097600 25235 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 909956
[startup+6.28952 s]
/proc/loadavg: 2.26 2.06 1.70 3/81 4847
/proc/meminfo: memFree=1363040/2055920 swapFree=4184772/4192956
[pid=4825] ppid=4823 vsize=47556 CPUtime=0.01
/proc/4825/stat : 4825 (galacJ.sh) S 4823 4825 4129 0 -1 4194304 796 1728 0 0 0 0 0 1 18 0 1 0 165255121 48697344 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 253306792794 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/4825/statm: 11889 363 246 79 0 217 0
[pid=4840] ppid=4825 vsize=862400 CPUtime=6.18
/proc/4840/stat : 4840 (java) R 4825 4825 4129 0 -1 0 40282 0 1 0 600 18 0 0 25 0 8 0 165255125 883097600 38346 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073518449 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4840/statm: 215600 38346 2037 14 0 201505 0
[pid=4840/tid=4841] ppid=4825 vsize=862400 CPUtime=2.39
/proc/4840/task/4841/stat : 4841 (java) S 4825 4825 4129 0 -1 64 27084 0 0 0 229 10 0 0 18 0 8 0 165255129 883097600 38346 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4840/tid=4842] ppid=4825 vsize=862400 CPUtime=0
/proc/4840/task/4842/stat : 4842 (java) S 4825 4825 4129 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 165255129 883097600 38346 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4840/tid=4843] ppid=4825 vsize=862400 CPUtime=0
/proc/4840/task/4843/stat : 4843 (java) S 4825 4825 4129 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 165255129 883097600 38346 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4840/tid=4844] ppid=4825 vsize=862400 CPUtime=0
/proc/4840/task/4844/stat : 4844 (java) S 4825 4825 4129 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165255133 883097600 38346 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4840/tid=4845] ppid=4825 vsize=862400 CPUtime=0.26
/proc/4840/task/4845/stat : 4845 (java) S 4825 4825 4129 0 -1 64 998 0 0 0 25 1 0 0 17 0 8 0 165255133 883097600 38346 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4840/tid=4846] ppid=4825 vsize=862400 CPUtime=0
/proc/4840/task/4846/stat : 4846 (java) S 4825 4825 4129 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165255133 883097600 38346 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4840/tid=4847] ppid=4825 vsize=862400 CPUtime=0
/proc/4840/task/4847/stat : 4847 (java) S 4825 4825 4129 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165255133 883097600 38346 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 909956
[startup+12.7832 s]
/proc/loadavg: 2.29 2.07 1.71 3/81 4847
/proc/meminfo: memFree=1293664/2055920 swapFree=4184772/4192956
[pid=4825] ppid=4823 vsize=47556 CPUtime=0.01
/proc/4825/stat : 4825 (galacJ.sh) S 4823 4825 4129 0 -1 4194304 796 1728 0 0 0 0 0 1 18 0 1 0 165255121 48697344 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 253306792794 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/4825/statm: 11889 363 246 79 0 217 0
[pid=4840] ppid=4825 vsize=862400 CPUtime=12.61
/proc/4840/stat : 4840 (java) R 4825 4825 4129 0 -1 0 54730 0 1 0 1237 24 0 0 25 0 8 0 165255125 883097600 52080 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4840/statm: 215600 52080 2042 14 0 201505 0
[pid=4840/tid=4841] ppid=4825 vsize=862400 CPUtime=6.88
/proc/4840/task/4841/stat : 4841 (java) R 4825 4825 4129 0 -1 64 41506 0 0 0 673 15 0 0 16 0 8 0 165255129 883097600 52080 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4155215817 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4840/tid=4842] ppid=4825 vsize=862400 CPUtime=0
/proc/4840/task/4842/stat : 4842 (java) S 4825 4825 4129 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 165255129 883097600 52080 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4840/tid=4843] ppid=4825 vsize=862400 CPUtime=0
/proc/4840/task/4843/stat : 4843 (java) S 4825 4825 4129 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 165255129 883097600 52080 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4840/tid=4844] ppid=4825 vsize=862400 CPUtime=0
/proc/4840/task/4844/stat : 4844 (java) S 4825 4825 4129 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165255133 883097600 52080 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4840/tid=4845] ppid=4825 vsize=862400 CPUtime=0.27
/proc/4840/task/4845/stat : 4845 (java) S 4825 4825 4129 0 -1 64 999 0 0 0 26 1 0 0 16 0 8 0 165255133 883097600 52080 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4840/tid=4846] ppid=4825 vsize=862400 CPUtime=0
/proc/4840/task/4846/stat : 4846 (java) S 4825 4825 4129 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165255133 883097600 52080 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4840/tid=4847] ppid=4825 vsize=862400 CPUtime=0
/proc/4840/task/4847/stat : 4847 (java) S 4825 4825 4129 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165255133 883097600 52080 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 909956
[startup+25.6502 s]
/proc/loadavg: 2.32 2.09 1.72 3/81 4847
/proc/meminfo: memFree=1195936/2055920 swapFree=4184772/4192956
[pid=4825] ppid=4823 vsize=47556 CPUtime=0.01
/proc/4825/stat : 4825 (galacJ.sh) S 4823 4825 4129 0 -1 4194304 796 1728 0 0 0 0 0 1 18 0 1 0 165255121 48697344 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 253306792794 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/4825/statm: 11889 363 246 79 0 217 0
[pid=4840] ppid=4825 vsize=862400 CPUtime=25.42
/proc/4840/stat : 4840 (java) R 4825 4825 4129 0 -1 0 79325 0 1 0 2509 33 0 0 24 0 8 0 165255125 883097600 75875 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073518449 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4840/statm: 215600 75875 2042 14 0 201505 0
[pid=4840/tid=4841] ppid=4825 vsize=862400 CPUtime=16.87
/proc/4840/task/4841/stat : 4841 (java) S 4825 4825 4129 0 -1 64 66084 0 0 0 1663 24 0 0 22 0 8 0 165255129 883097600 75875 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4840/tid=4842] ppid=4825 vsize=862400 CPUtime=0
/proc/4840/task/4842/stat : 4842 (java) S 4825 4825 4129 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 165255129 883097600 75875 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4840/tid=4843] ppid=4825 vsize=862400 CPUtime=0
/proc/4840/task/4843/stat : 4843 (java) S 4825 4825 4129 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 165255129 883097600 75875 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4840/tid=4844] ppid=4825 vsize=862400 CPUtime=0
/proc/4840/task/4844/stat : 4844 (java) S 4825 4825 4129 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165255133 883097600 75875 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4840/tid=4845] ppid=4825 vsize=862400 CPUtime=0.27
/proc/4840/task/4845/stat : 4845 (java) S 4825 4825 4129 0 -1 64 1000 0 0 0 26 1 0 0 16 0 8 0 165255133 883097600 75875 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4840/tid=4846] ppid=4825 vsize=862400 CPUtime=0
/proc/4840/task/4846/stat : 4846 (java) S 4825 4825 4129 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165255133 883097600 75875 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4840/tid=4847] ppid=4825 vsize=862400 CPUtime=0
/proc/4840/task/4847/stat : 4847 (java) S 4825 4825 4129 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165255133 883097600 75875 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 909956
[startup+51.3037 s]
/proc/loadavg: 2.27 2.09 1.73 4/81 4847
/proc/meminfo: memFree=1083168/2055920 swapFree=4184772/4192956
[pid=4825] ppid=4823 vsize=47556 CPUtime=0.01
/proc/4825/stat : 4825 (galacJ.sh) S 4823 4825 4129 0 -1 4194304 796 1728 0 0 0 0 0 1 18 0 1 0 165255121 48697344 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 253306792794 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/4825/statm: 11889 363 246 79 0 217 0
[pid=4840] ppid=4825 vsize=862400 CPUtime=50.96
/proc/4840/stat : 4840 (java) S 4825 4825 4129 0 -1 0 107485 0 1 0 5052 44 0 0 25 0 8 0 165255125 883097600 104007 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4840/statm: 215600 104007 2042 14 0 201505 0
[pid=4840/tid=4841] ppid=4825 vsize=862400 CPUtime=38.14
/proc/4840/task/4841/stat : 4841 (java) R 4825 4825 4129 0 -1 64 94213 0 0 0 3779 35 0 0 19 0 8 0 165255129 883097600 104007 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4155523676 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4840/tid=4842] ppid=4825 vsize=862400 CPUtime=0
/proc/4840/task/4842/stat : 4842 (java) S 4825 4825 4129 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 165255129 883097600 104007 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4840/tid=4843] ppid=4825 vsize=862400 CPUtime=0
/proc/4840/task/4843/stat : 4843 (java) S 4825 4825 4129 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 165255129 883097600 104007 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4840/tid=4844] ppid=4825 vsize=862400 CPUtime=0
/proc/4840/task/4844/stat : 4844 (java) S 4825 4825 4129 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165255133 883097600 104007 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4840/tid=4845] ppid=4825 vsize=862400 CPUtime=0.27
/proc/4840/task/4845/stat : 4845 (java) S 4825 4825 4129 0 -1 64 1003 0 0 0 26 1 0 0 17 0 8 0 165255133 883097600 104007 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4840/tid=4846] ppid=4825 vsize=862400 CPUtime=0
/proc/4840/task/4846/stat : 4846 (java) S 4825 4825 4129 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165255133 883097600 104007 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4840/tid=4847] ppid=4825 vsize=862400 CPUtime=0
/proc/4840/task/4847/stat : 4847 (java) S 4825 4825 4129 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165255133 883097600 104007 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 909956
[startup+102.527 s]
/proc/loadavg: 2.26 2.12 1.76 3/81 4847
/proc/meminfo: memFree=871328/2055920 swapFree=4184772/4192956
[pid=4825] ppid=4823 vsize=47556 CPUtime=0.01
/proc/4825/stat : 4825 (galacJ.sh) S 4823 4825 4129 0 -1 4194304 796 1728 0 0 0 0 0 1 18 0 1 0 165255121 48697344 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 253306792794 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/4825/statm: 11889 363 246 79 0 217 0
[pid=4840] ppid=4825 vsize=862400 CPUtime=101.96
/proc/4840/stat : 4840 (java) S 4825 4825 4129 0 -1 0 163164 0 1 0 10133 63 0 0 17 0 8 0 165255125 883097600 158957 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4840/statm: 215600 158957 2042 14 0 201505 0
[pid=4840/tid=4841] ppid=4825 vsize=862400 CPUtime=82.5
/proc/4840/task/4841/stat : 4841 (java) R 4825 4825 4129 0 -1 64 149854 0 0 0 8196 54 0 0 25 0 8 0 165255129 883097600 158957 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4155215817 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4840/tid=4842] ppid=4825 vsize=862400 CPUtime=0
/proc/4840/task/4842/stat : 4842 (java) S 4825 4825 4129 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 165255129 883097600 158957 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4840/tid=4843] ppid=4825 vsize=862400 CPUtime=0
/proc/4840/task/4843/stat : 4843 (java) S 4825 4825 4129 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 165255129 883097600 158957 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4840/tid=4844] ppid=4825 vsize=862400 CPUtime=0
/proc/4840/task/4844/stat : 4844 (java) S 4825 4825 4129 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165255133 883097600 158957 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4840/tid=4845] ppid=4825 vsize=862400 CPUtime=0.28
/proc/4840/task/4845/stat : 4845 (java) S 4825 4825 4129 0 -1 64 1006 0 0 0 27 1 0 0 17 0 8 0 165255133 883097600 158957 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4840/tid=4846] ppid=4825 vsize=862400 CPUtime=0
/proc/4840/task/4846/stat : 4846 (java) S 4825 4825 4129 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165255133 883097600 158957 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4840/tid=4847] ppid=4825 vsize=862400 CPUtime=0
/proc/4840/task/4847/stat : 4847 (java) S 4825 4825 4129 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165255133 883097600 158957 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.97
Current children cumulated vsize (KiB) 909956
[startup+162.597 s]
/proc/loadavg: 2.23 2.13 1.78 3/81 4849
/proc/meminfo: memFree=783712/2055920 swapFree=4184772/4192956
[pid=4825] ppid=4823 vsize=47556 CPUtime=0.01
/proc/4825/stat : 4825 (galacJ.sh) S 4823 4825 4129 0 -1 4194304 796 1728 0 0 0 0 0 1 18 0 1 0 165255121 48697344 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 253306792794 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/4825/statm: 11889 363 246 79 0 217 0
[pid=4840] ppid=4825 vsize=862400 CPUtime=161.76
/proc/4840/stat : 4840 (java) S 4825 4825 4129 0 -1 0 183124 0 1 0 16105 71 0 0 18 0 8 0 165255125 883097600 178754 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4840/statm: 215600 178754 2042 14 0 201505 0
[pid=4840/tid=4841] ppid=4825 vsize=862400 CPUtime=137.96
/proc/4840/task/4841/stat : 4841 (java) R 4825 4825 4129 0 -1 64 169776 0 0 0 13734 62 0 0 25 0 8 0 165255129 883097600 178754 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4155134188 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4840/tid=4842] ppid=4825 vsize=862400 CPUtime=0
/proc/4840/task/4842/stat : 4842 (java) S 4825 4825 4129 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 165255129 883097600 178754 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4840/tid=4843] ppid=4825 vsize=862400 CPUtime=0
/proc/4840/task/4843/stat : 4843 (java) S 4825 4825 4129 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 165255129 883097600 178754 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4840/tid=4844] ppid=4825 vsize=862400 CPUtime=0
/proc/4840/task/4844/stat : 4844 (java) S 4825 4825 4129 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165255133 883097600 178754 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4840/tid=4845] ppid=4825 vsize=862400 CPUtime=0.29
/proc/4840/task/4845/stat : 4845 (java) S 4825 4825 4129 0 -1 64 1009 0 0 0 28 1 0 0 16 0 8 0 165255133 883097600 178754 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4840/tid=4846] ppid=4825 vsize=862400 CPUtime=0
/proc/4840/task/4846/stat : 4846 (java) S 4825 4825 4129 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165255133 883097600 178754 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4840/tid=4847] ppid=4825 vsize=862400 CPUtime=0
/proc/4840/task/4847/stat : 4847 (java) S 4825 4825 4129 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165255133 883097600 178754 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.77
Current children cumulated vsize (KiB) 909956
Child status: 0
Real time (s): 191.527
CPU time (s): 190.592
CPU user time (s): 189.731
CPU system time (s): 0.860869
CPU usage (%): 99.5117
Max. virtual memory (cumulated for all children) (KiB): 910960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 189.731
system time used= 0.860869
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 190221
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= 5540
involuntary context switches= 7649
runsolver used 0.226965 s user time and 0.594909 s system time
The end
Begin job on node56 on Sun Jan 7 11:16:10 UTC 2007
IDJOB= 205941
IDBENCH= 4177
FILE ID= node56/205941-1168168570
PBS_JOBID= 3479045
Free space on /tmp= 66534 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp36-40/fapp38/fapp38-2500-8.xml
COMMAND LINE= /tmp/evaluation/205941-1168168570/galacJ.sh /tmp/evaluation/205941-1168168570/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node56/watcher-205941-1168168570 -o ROOT/results/node56/solver-205941-1168168570 -C 1800 -M 900 /tmp/evaluation/205941-1168168570/galacJ.sh /tmp/evaluation/205941-1168168570/unknown.xml
META MD5SUM SOLVER= ffd78bd56f274e94bd0d0faf76d262cb
MD5SUM BENCH= c63689b420ce6e8c6aef37817cc56cbd
RANDOM SEED= 420988918
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: 1492792 kB
Buffers: 35440 kB
Cached: 326392 kB
SwapCached: 2104 kB
Active: 197136 kB
Inactive: 296196 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1492792 kB
SwapTotal: 4192956 kB
SwapFree: 4184772 kB
Dirty: 11928 kB
Writeback: 0 kB
Mapped: 141808 kB
Slab: 54848 kB
Committed_AS: 3375872 kB
PageTables: 2224 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= 66534 MiB
End job on node56 on Sun Jan 7 11:19:21 UTC 2007