runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node59/watcher-221504-1168259582 -o ROOT/results/node59/solver-221504-1168259582 -C 1800 -M 900 /tmp/evaluation/221504-1168259582/galacJ.sh /tmp/evaluation/221504-1168259582/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.04 2.01 1.87 5/73 9905
/proc/meminfo: memFree=1827416/2055920 swapFree=4192812/4192956
[pid=9904] ppid=9902 vsize=5184 CPUtime=0
/proc/9904/stat : 9904 (galacJ.sh) R 9902 9904 9425 0 -1 4194304 85 0 0 0 0 0 0 0 21 0 1 0 174356270 5308416 58 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 4213135 0 0 4096 0 0 0 0 17 1 0 0
/proc/9904/statm: 1296 58 41 79 0 106 0
[startup+0.10416 s]
/proc/loadavg: 2.04 2.01 1.87 5/73 9905
/proc/meminfo: memFree=1827416/2055920 swapFree=4192812/4192956
[pid=9904] ppid=9902 vsize=47552 CPUtime=0.01
/proc/9904/stat : 9904 (galacJ.sh) S 9902 9904 9425 0 -1 4194304 797 1728 0 0 0 0 0 1 23 0 1 0 174356270 48693248 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9904/statm: 11888 363 246 79 0 217 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47552
[startup+0.51221 s]
/proc/loadavg: 2.04 2.01 1.87 5/73 9905
/proc/meminfo: memFree=1827416/2055920 swapFree=4192812/4192956
[pid=9904] ppid=9902 vsize=47552 CPUtime=0.01
/proc/9904/stat : 9904 (galacJ.sh) S 9902 9904 9425 0 -1 4194304 797 1728 0 0 0 0 0 1 23 0 1 0 174356270 48693248 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9904/statm: 11888 363 246 79 0 217 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47552
[startup+1.3333 s]
/proc/loadavg: 2.04 2.01 1.87 4/81 9926
/proc/meminfo: memFree=1754008/2055920 swapFree=4192812/4192956
[pid=9904] ppid=9902 vsize=47552 CPUtime=0.01
/proc/9904/stat : 9904 (galacJ.sh) S 9902 9904 9425 0 -1 4194304 797 1728 0 0 0 0 0 1 23 0 1 0 174356270 48693248 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9904/statm: 11888 363 246 79 0 217 0
[pid=9919] ppid=9904 vsize=862312 CPUtime=1.22
/proc/9919/stat : 9919 (java) S 9904 9904 9425 0 -1 0 26305 0 1 0 109 13 0 0 23 0 8 0 174356276 883007488 26059 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9919/statm: 215578 26059 2034 14 0 201483 0
[pid=9919/tid=9920] ppid=9904 vsize=862312 CPUtime=0.26
/proc/9919/task/9920/stat : 9920 (java) R 9904 9904 9425 0 -1 64 10162 0 0 0 22 4 0 0 19 0 8 0 174356282 883007488 26059 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4153968446 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9919/tid=9921] ppid=9904 vsize=862312 CPUtime=0
/proc/9919/task/9921/stat : 9921 (java) S 9904 9904 9425 0 -1 64 11 0 0 0 0 0 0 0 19 0 8 0 174356283 883007488 26059 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9919/tid=9922] ppid=9904 vsize=862312 CPUtime=0
/proc/9919/task/9922/stat : 9922 (java) S 9904 9904 9425 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 174356283 883007488 26059 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9919/tid=9923] ppid=9904 vsize=862312 CPUtime=0
/proc/9919/task/9923/stat : 9923 (java) S 9904 9904 9425 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174356286 883007488 26059 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9919/tid=9924] ppid=9904 vsize=862312 CPUtime=0.16
/proc/9919/task/9924/stat : 9924 (java) S 9904 9904 9425 0 -1 64 927 0 0 0 16 0 0 0 16 0 8 0 174356286 883007488 26059 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9919/tid=9925] ppid=9904 vsize=862312 CPUtime=0
/proc/9919/task/9925/stat : 9925 (java) S 9904 9904 9425 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174356286 883007488 26059 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9919/tid=9926] ppid=9904 vsize=862312 CPUtime=0
/proc/9919/task/9926/stat : 9926 (java) S 9904 9904 9425 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174356286 883007488 26059 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 909864
[startup+2.97248 s]
/proc/loadavg: 2.04 2.01 1.87 4/81 9926
/proc/meminfo: memFree=1683352/2055920 swapFree=4192812/4192956
[pid=9904] ppid=9902 vsize=47552 CPUtime=0.01
/proc/9904/stat : 9904 (galacJ.sh) S 9902 9904 9425 0 -1 4194304 797 1728 0 0 0 0 0 1 23 0 1 0 174356270 48693248 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9904/statm: 11888 363 246 79 0 217 0
[pid=9919] ppid=9904 vsize=862312 CPUtime=2.86
/proc/9919/stat : 9919 (java) R 9904 9904 9425 0 -1 0 41238 0 1 0 265 21 0 0 25 0 8 0 174356276 883007488 39681 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9919/statm: 215578 39681 2041 14 0 201483 0
[pid=9919/tid=9920] ppid=9904 vsize=862312 CPUtime=0.96
/proc/9919/task/9920/stat : 9920 (java) R 9904 9904 9425 0 -1 64 25077 0 0 0 85 11 0 0 16 0 8 0 174356282 883007488 39681 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4152891590 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9919/tid=9921] ppid=9904 vsize=862312 CPUtime=0
/proc/9919/task/9921/stat : 9921 (java) S 9904 9904 9425 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 174356283 883007488 39681 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9919/tid=9922] ppid=9904 vsize=862312 CPUtime=0
/proc/9919/task/9922/stat : 9922 (java) S 9904 9904 9425 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 174356283 883007488 39681 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9919/tid=9923] ppid=9904 vsize=862312 CPUtime=0
/proc/9919/task/9923/stat : 9923 (java) S 9904 9904 9425 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174356286 883007488 39681 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9919/tid=9924] ppid=9904 vsize=862312 CPUtime=0.17
/proc/9919/task/9924/stat : 9924 (java) S 9904 9904 9425 0 -1 64 933 0 0 0 17 0 0 0 16 0 8 0 174356286 883007488 39681 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9919/tid=9925] ppid=9904 vsize=862312 CPUtime=0
/proc/9919/task/9925/stat : 9925 (java) S 9904 9904 9425 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174356286 883007488 39681 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9919/tid=9926] ppid=9904 vsize=862312 CPUtime=0
/proc/9919/task/9926/stat : 9926 (java) S 9904 9904 9425 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174356286 883007488 39681 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 909864
[startup+6.17983 s]
/proc/loadavg: 2.11 2.03 1.87 3/81 9926
/proc/meminfo: memFree=1635480/2055920 swapFree=4192812/4192956
[pid=9904] ppid=9902 vsize=47552 CPUtime=0.01
/proc/9904/stat : 9904 (galacJ.sh) S 9902 9904 9425 0 -1 4194304 797 1728 0 0 0 0 0 1 23 0 1 0 174356270 48693248 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9904/statm: 11888 363 246 79 0 217 0
[pid=9919] ppid=9904 vsize=862312 CPUtime=6.05
/proc/9919/stat : 9919 (java) R 9904 9904 9425 0 -1 0 63148 0 1 0 575 30 0 0 25 0 8 0 174356276 883007488 59306 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073911420 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9919/statm: 215578 59306 2046 14 0 201483 0
[pid=9919/tid=9920] ppid=9904 vsize=862312 CPUtime=2.83
/proc/9919/task/9920/stat : 9920 (java) S 9904 9904 9425 0 -1 64 46964 0 0 0 262 21 0 0 18 0 8 0 174356282 883007488 59306 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9919/tid=9921] ppid=9904 vsize=862312 CPUtime=0
/proc/9919/task/9921/stat : 9921 (java) S 9904 9904 9425 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 174356283 883007488 59306 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9919/tid=9922] ppid=9904 vsize=862312 CPUtime=0
/proc/9919/task/9922/stat : 9922 (java) S 9904 9904 9425 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 174356283 883007488 59306 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9919/tid=9923] ppid=9904 vsize=862312 CPUtime=0
/proc/9919/task/9923/stat : 9923 (java) S 9904 9904 9425 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174356286 883007488 59306 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9919/tid=9924] ppid=9904 vsize=862312 CPUtime=0.18
/proc/9919/task/9924/stat : 9924 (java) S 9904 9904 9425 0 -1 64 939 0 0 0 18 0 0 0 17 0 8 0 174356286 883007488 59306 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9919/tid=9925] ppid=9904 vsize=862312 CPUtime=0
/proc/9919/task/9925/stat : 9925 (java) S 9904 9904 9425 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174356286 883007488 59306 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9919/tid=9926] ppid=9904 vsize=862312 CPUtime=0
/proc/9919/task/9926/stat : 9926 (java) S 9904 9904 9425 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174356286 883007488 59306 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 909864
[startup+12.6625 s]
/proc/loadavg: 2.18 2.05 1.88 3/81 9926
/proc/meminfo: memFree=1539360/2055920 swapFree=4192812/4192956
[pid=9904] ppid=9902 vsize=47552 CPUtime=0.01
/proc/9904/stat : 9904 (galacJ.sh) S 9902 9904 9425 0 -1 4194304 797 1728 0 0 0 0 0 1 23 0 1 0 174356270 48693248 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9904/statm: 11888 363 246 79 0 217 0
[pid=9919] ppid=9904 vsize=862312 CPUtime=12.5
/proc/9919/stat : 9919 (java) R 9904 9904 9425 0 -1 0 79815 0 1 0 1213 37 0 0 25 0 8 0 174356276 883007488 73637 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073887399 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9919/statm: 215578 73637 2046 14 0 201483 0
[pid=9919/tid=9920] ppid=9904 vsize=862312 CPUtime=7.4
/proc/9919/task/9920/stat : 9920 (java) S 9904 9904 9425 0 -1 64 63622 0 0 0 713 27 0 0 20 0 8 0 174356282 883007488 73637 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9919/tid=9921] ppid=9904 vsize=862312 CPUtime=0
/proc/9919/task/9921/stat : 9921 (java) S 9904 9904 9425 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 174356283 883007488 73637 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9919/tid=9922] ppid=9904 vsize=862312 CPUtime=0
/proc/9919/task/9922/stat : 9922 (java) S 9904 9904 9425 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 174356283 883007488 73637 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9919/tid=9923] ppid=9904 vsize=862312 CPUtime=0
/proc/9919/task/9923/stat : 9923 (java) S 9904 9904 9425 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174356286 883007488 73637 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9919/tid=9924] ppid=9904 vsize=862312 CPUtime=0.18
/proc/9919/task/9924/stat : 9924 (java) S 9904 9904 9425 0 -1 64 939 0 0 0 18 0 0 0 17 0 8 0 174356286 883007488 73637 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9919/tid=9925] ppid=9904 vsize=862312 CPUtime=0
/proc/9919/task/9925/stat : 9925 (java) S 9904 9904 9425 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174356286 883007488 73637 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9919/tid=9926] ppid=9904 vsize=862312 CPUtime=0
/proc/9919/task/9926/stat : 9926 (java) S 9904 9904 9425 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174356286 883007488 73637 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 909864
[startup+25.55 s]
/proc/loadavg: 2.16 2.04 1.88 3/81 9926
/proc/meminfo: memFree=1474976/2055920 swapFree=4192812/4192956
[pid=9904] ppid=9902 vsize=47552 CPUtime=0.01
/proc/9904/stat : 9904 (galacJ.sh) S 9902 9904 9425 0 -1 4194304 797 1728 0 0 0 0 0 1 23 0 1 0 174356270 48693248 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9904/statm: 11888 363 246 79 0 217 0
[pid=9919] ppid=9904 vsize=862312 CPUtime=25.33
/proc/9919/stat : 9919 (java) R 9904 9904 9425 0 -1 0 98989 0 1 0 2490 43 0 0 25 0 8 0 174356276 883007488 92798 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073887399 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9919/statm: 215578 92798 2046 14 0 201483 0
[pid=9919/tid=9920] ppid=9904 vsize=862312 CPUtime=15.85
/proc/9919/task/9920/stat : 9920 (java) S 9904 9904 9425 0 -1 64 82782 0 0 0 1552 33 0 0 23 0 8 0 174356282 883007488 92798 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9919/tid=9921] ppid=9904 vsize=862312 CPUtime=0
/proc/9919/task/9921/stat : 9921 (java) S 9904 9904 9425 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 174356283 883007488 92798 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9919/tid=9922] ppid=9904 vsize=862312 CPUtime=0
/proc/9919/task/9922/stat : 9922 (java) S 9904 9904 9425 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 174356283 883007488 92798 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9919/tid=9923] ppid=9904 vsize=862312 CPUtime=0
/proc/9919/task/9923/stat : 9923 (java) S 9904 9904 9425 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174356286 883007488 92798 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9919/tid=9924] ppid=9904 vsize=862312 CPUtime=0.18
/proc/9919/task/9924/stat : 9924 (java) S 9904 9904 9425 0 -1 64 940 0 0 0 18 0 0 0 17 0 8 0 174356286 883007488 92798 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9919/tid=9925] ppid=9904 vsize=862312 CPUtime=0
/proc/9919/task/9925/stat : 9925 (java) S 9904 9904 9425 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174356286 883007488 92798 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9919/tid=9926] ppid=9904 vsize=862312 CPUtime=0
/proc/9919/task/9926/stat : 9926 (java) S 9904 9904 9425 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174356286 883007488 92798 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 909864
[startup+51.2048 s]
/proc/loadavg: 2.09 2.04 1.88 3/81 9926
/proc/meminfo: memFree=1279712/2055920 swapFree=4192812/4192956
[pid=9904] ppid=9902 vsize=47552 CPUtime=0.01
/proc/9904/stat : 9904 (galacJ.sh) S 9902 9904 9425 0 -1 4194304 797 1728 0 0 0 0 0 1 23 0 1 0 174356270 48693248 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9904/statm: 11888 363 246 79 0 217 0
[pid=9919] ppid=9904 vsize=864316 CPUtime=50.85
/proc/9919/stat : 9919 (java) S 9904 9904 9425 0 -1 0 151966 0 1 0 5021 64 0 0 22 0 8 0 174356276 885059584 141863 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9919/statm: 216079 141863 2046 14 0 201984 0
[pid=9919/tid=9920] ppid=9904 vsize=864316 CPUtime=35.92
/proc/9919/task/9920/stat : 9920 (java) R 9904 9904 9425 0 -1 64 135738 0 0 0 3537 55 0 0 25 0 8 0 174356282 885059584 141863 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4155526070 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9919/tid=9921] ppid=9904 vsize=864316 CPUtime=0
/proc/9919/task/9921/stat : 9921 (java) S 9904 9904 9425 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 174356283 885059584 141863 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9919/tid=9922] ppid=9904 vsize=864316 CPUtime=0
/proc/9919/task/9922/stat : 9922 (java) S 9904 9904 9425 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 174356283 885059584 141863 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9919/tid=9923] ppid=9904 vsize=864316 CPUtime=0
/proc/9919/task/9923/stat : 9923 (java) S 9904 9904 9425 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174356286 885059584 141863 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9919/tid=9924] ppid=9904 vsize=864316 CPUtime=0.18
/proc/9919/task/9924/stat : 9924 (java) S 9904 9904 9425 0 -1 64 941 0 0 0 18 0 0 0 16 0 8 0 174356286 885059584 141863 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9919/tid=9925] ppid=9904 vsize=864316 CPUtime=0
/proc/9919/task/9925/stat : 9925 (java) S 9904 9904 9425 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174356286 885059584 141863 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9919/tid=9926] ppid=9904 vsize=864316 CPUtime=0
/proc/9919/task/9926/stat : 9926 (java) S 9904 9904 9425 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174356286 885059584 141863 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 911868
[startup+102.407 s]
/proc/loadavg: 2.14 2.06 1.90 3/81 9926
/proc/meminfo: memFree=1095328/2055920 swapFree=4192812/4192956
[pid=9904] ppid=9902 vsize=47552 CPUtime=0.01
/proc/9904/stat : 9904 (galacJ.sh) S 9902 9904 9425 0 -1 4194304 797 1728 0 0 0 0 0 1 23 0 1 0 174356270 48693248 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9904/statm: 11888 363 246 79 0 217 0
[pid=9919] ppid=9904 vsize=862312 CPUtime=101.83
/proc/9919/stat : 9919 (java) S 9904 9904 9425 0 -1 0 196933 0 1 0 10101 82 0 0 17 0 8 0 174356276 883007488 184482 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9919/statm: 215578 184482 2046 14 0 201483 0
[pid=9919/tid=9920] ppid=9904 vsize=862312 CPUtime=79.99
/proc/9919/task/9920/stat : 9920 (java) R 9904 9904 9425 0 -1 64 180676 0 0 0 7927 72 0 0 25 0 8 0 174356282 883007488 184482 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4155772384 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9919/tid=9921] ppid=9904 vsize=862312 CPUtime=0
/proc/9919/task/9921/stat : 9921 (java) S 9904 9904 9425 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 174356283 883007488 184482 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9919/tid=9922] ppid=9904 vsize=862312 CPUtime=0
/proc/9919/task/9922/stat : 9922 (java) S 9904 9904 9425 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 174356283 883007488 184482 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9919/tid=9923] ppid=9904 vsize=862312 CPUtime=0
/proc/9919/task/9923/stat : 9923 (java) S 9904 9904 9425 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174356286 883007488 184482 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9919/tid=9924] ppid=9904 vsize=862312 CPUtime=0.19
/proc/9919/task/9924/stat : 9924 (java) S 9904 9904 9425 0 -1 64 944 0 0 0 19 0 0 0 17 0 8 0 174356286 883007488 184482 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9919/tid=9925] ppid=9904 vsize=862312 CPUtime=0
/proc/9919/task/9925/stat : 9925 (java) S 9904 9904 9425 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174356286 883007488 184482 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9919/tid=9926] ppid=9904 vsize=862312 CPUtime=0
/proc/9919/task/9926/stat : 9926 (java) S 9904 9904 9425 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174356286 883007488 184482 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 909864
Child status: 0
Real time (s): 104.287
CPU time (s): 103.689
CPU user time (s): 102.732
CPU system time (s): 0.956854
CPU usage (%): 99.4264
Max. virtual memory (cumulated for all children) (KiB): 911888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 102.732
system time used= 0.956854
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 199634
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= 3158
involuntary context switches= 4198
runsolver used 0.13098 s user time and 0.339948 s system time
The end
Begin job on node59 on Mon Jan 8 12:33:03 UTC 2007
IDJOB= 221504
IDBENCH= 5453
FILE ID= node59/221504-1168259582
PBS_JOBID= 3482628
Free space on /tmp= 66552 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp31-35/fapp32/fapp32-0550-8.xml
COMMAND LINE= /tmp/evaluation/221504-1168259582/galacJ.sh /tmp/evaluation/221504-1168259582/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-221504-1168259582 -o ROOT/results/node59/solver-221504-1168259582 -C 1800 -M 900 /tmp/evaluation/221504-1168259582/galacJ.sh /tmp/evaluation/221504-1168259582/unknown.xml
META MD5SUM SOLVER= ffd78bd56f274e94bd0d0faf76d262cb
MD5SUM BENCH= 316a3812cc8931312682843c89f2669e
RANDOM SEED= 882597526
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: 1827896 kB
Buffers: 37044 kB
Cached: 96780 kB
SwapCached: 0 kB
Active: 114572 kB
Inactive: 60228 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1827896 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4640 kB
Writeback: 0 kB
Mapped: 54560 kB
Slab: 38652 kB
Committed_AS: 3635460 kB
PageTables: 1908 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= 66552 MiB
End job on node59 on Mon Jan 8 12:34:49 UTC 2007