runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node7/watcher-247450-1168437894 -o ROOT/results/node7/solver-247450-1168437894 -C 1800 -M 900 /tmp/evaluation/247450-1168437894/galacJ.sh /tmp/evaluation/247450-1168437894/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.58 1.90 1.96 5/95 11624
/proc/meminfo: memFree=772056/2055920 swapFree=4192812/4192956
[pid=11623] ppid=11621 vsize=5180 CPUtime=0
/proc/11623/stat : 11623 (galacJ.sh) R 11621 11623 10709 0 -1 4194304 78 0 0 0 0 0 0 0 21 0 1 0 192185765 5304320 51 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 4206480 0 0 4096 0 0 0 0 17 1 0 0
/proc/11623/statm: 1295 51 35 79 0 105 0
[startup+0.104415 s]
/proc/loadavg: 1.58 1.90 1.96 5/95 11624
/proc/meminfo: memFree=772056/2055920 swapFree=4192812/4192956
[pid=11623] ppid=11621 vsize=47560 CPUtime=0.02
/proc/11623/stat : 11623 (galacJ.sh) S 11621 11623 10709 0 -1 4194304 797 1728 0 0 0 1 0 1 24 0 1 0 192185765 48701440 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 244670720858 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11623/statm: 11890 363 246 79 0 217 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 47560
[startup+0.512464 s]
/proc/loadavg: 1.58 1.90 1.96 5/95 11624
/proc/meminfo: memFree=772056/2055920 swapFree=4192812/4192956
[pid=11623] ppid=11621 vsize=47560 CPUtime=0.02
/proc/11623/stat : 11623 (galacJ.sh) S 11621 11623 10709 0 -1 4194304 797 1728 0 0 0 1 0 1 24 0 1 0 192185765 48701440 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 244670720858 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11623/statm: 11890 363 246 79 0 217 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 47560
[startup+1.33555 s]
/proc/loadavg: 1.58 1.90 1.96 4/103 11645
/proc/meminfo: memFree=683096/2055920 swapFree=4192812/4192956
[pid=11623] ppid=11621 vsize=47560 CPUtime=0.02
/proc/11623/stat : 11623 (galacJ.sh) S 11621 11623 10709 0 -1 4194304 797 1728 0 0 0 1 0 1 24 0 1 0 192185765 48701440 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 244670720858 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11623/statm: 11890 363 246 79 0 217 0
[pid=11638] ppid=11623 vsize=861996 CPUtime=1.27
/proc/11638/stat : 11638 (java) R 11623 11623 10709 0 -1 0 24251 0 1 0 114 13 0 0 24 0 8 0 192185769 882683904 24005 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4073684319 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11638/statm: 215499 24005 2012 14 0 201457 0
[pid=11638/tid=11639] ppid=11623 vsize=861996 CPUtime=0.08
/proc/11638/task/11639/stat : 11639 (java) S 11623 11623 10709 0 -1 64 8402 0 0 0 5 3 0 0 16 0 8 0 192185773 882683904 24005 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11638/tid=11640] ppid=11623 vsize=861996 CPUtime=0
/proc/11638/task/11640/stat : 11640 (java) S 11623 11623 10709 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 192185773 882683904 24005 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11638/tid=11641] ppid=11623 vsize=861996 CPUtime=0
/proc/11638/task/11641/stat : 11641 (java) S 11623 11623 10709 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 192185773 882683904 24005 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11638/tid=11642] ppid=11623 vsize=861996 CPUtime=0
/proc/11638/task/11642/stat : 11642 (java) S 11623 11623 10709 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 192185777 882683904 24005 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11638/tid=11643] ppid=11623 vsize=861996 CPUtime=0.12
/proc/11638/task/11643/stat : 11643 (java) S 11623 11623 10709 0 -1 64 872 0 0 0 12 0 0 0 16 0 8 0 192185777 882683904 24005 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11638/tid=11644] ppid=11623 vsize=861996 CPUtime=0
/proc/11638/task/11644/stat : 11644 (java) S 11623 11623 10709 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 192185777 882683904 24005 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11638/tid=11645] ppid=11623 vsize=861996 CPUtime=0
/proc/11638/task/11645/stat : 11645 (java) S 11623 11623 10709 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 192185777 882683904 24005 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 909556
[startup+2.98872 s]
/proc/loadavg: 1.58 1.90 1.96 4/103 11645
/proc/meminfo: memFree=663320/2055920 swapFree=4192812/4192956
[pid=11623] ppid=11621 vsize=47560 CPUtime=0.02
/proc/11623/stat : 11623 (galacJ.sh) S 11621 11623 10709 0 -1 4194304 797 1728 0 0 0 1 0 1 24 0 1 0 192185765 48701440 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 244670720858 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11623/statm: 11890 363 246 79 0 217 0
[pid=11638] ppid=11623 vsize=861996 CPUtime=2.91
/proc/11638/stat : 11638 (java) R 11623 11623 10709 0 -1 0 31358 0 1 0 274 17 0 0 25 0 8 0 192185769 882683904 31108 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4073681299 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11638/statm: 215499 31108 2012 14 0 201457 0
[pid=11638/tid=11639] ppid=11623 vsize=861996 CPUtime=0.2
/proc/11638/task/11639/stat : 11639 (java) S 11623 11623 10709 0 -1 64 15494 0 0 0 13 7 0 0 16 0 8 0 192185773 882683904 31108 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11638/tid=11640] ppid=11623 vsize=861996 CPUtime=0
/proc/11638/task/11640/stat : 11640 (java) S 11623 11623 10709 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 192185773 882683904 31108 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11638/tid=11641] ppid=11623 vsize=861996 CPUtime=0
/proc/11638/task/11641/stat : 11641 (java) S 11623 11623 10709 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 192185773 882683904 31108 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11638/tid=11642] ppid=11623 vsize=861996 CPUtime=0
/proc/11638/task/11642/stat : 11642 (java) S 11623 11623 10709 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 192185777 882683904 31108 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11638/tid=11643] ppid=11623 vsize=861996 CPUtime=0.14
/proc/11638/task/11643/stat : 11643 (java) S 11623 11623 10709 0 -1 64 883 0 0 0 14 0 0 0 16 0 8 0 192185777 882683904 31108 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11638/tid=11644] ppid=11623 vsize=861996 CPUtime=0
/proc/11638/task/11644/stat : 11644 (java) S 11623 11623 10709 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 192185777 882683904 31108 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11638/tid=11645] ppid=11623 vsize=861996 CPUtime=0
/proc/11638/task/11645/stat : 11645 (java) R 11623 11623 10709 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 192185777 882683904 31108 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 909556
[startup+6.27106 s]
/proc/loadavg: 1.61 1.90 1.96 3/103 11645
/proc/meminfo: memFree=598872/2055920 swapFree=4192812/4192956
[pid=11623] ppid=11621 vsize=47560 CPUtime=0.02
/proc/11623/stat : 11623 (galacJ.sh) S 11621 11623 10709 0 -1 4194304 797 1728 0 0 0 1 0 1 24 0 1 0 192185765 48701440 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 244670720858 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11623/statm: 11890 363 246 79 0 217 0
[pid=11638] ppid=11623 vsize=861996 CPUtime=6.16
/proc/11638/stat : 11638 (java) R 11623 11623 10709 0 -1 0 49647 0 1 0 587 29 0 0 25 0 8 0 192185769 882683904 49388 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4073697547 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11638/statm: 215499 49388 2012 14 0 201457 0
[pid=11638/tid=11639] ppid=11623 vsize=861996 CPUtime=0.53
/proc/11638/task/11639/stat : 11639 (java) S 11623 11623 10709 0 -1 64 33774 0 0 0 35 18 0 0 16 0 8 0 192185773 882683904 49388 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11638/tid=11640] ppid=11623 vsize=861996 CPUtime=0
/proc/11638/task/11640/stat : 11640 (java) S 11623 11623 10709 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 192185773 882683904 49388 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11638/tid=11641] ppid=11623 vsize=861996 CPUtime=0
/proc/11638/task/11641/stat : 11641 (java) S 11623 11623 10709 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 192185773 882683904 49388 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11638/tid=11642] ppid=11623 vsize=861996 CPUtime=0
/proc/11638/task/11642/stat : 11642 (java) S 11623 11623 10709 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 192185777 882683904 49388 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11638/tid=11643] ppid=11623 vsize=861996 CPUtime=0.14
/proc/11638/task/11643/stat : 11643 (java) S 11623 11623 10709 0 -1 64 883 0 0 0 14 0 0 0 17 0 8 0 192185777 882683904 49388 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11638/tid=11644] ppid=11623 vsize=861996 CPUtime=0
/proc/11638/task/11644/stat : 11644 (java) S 11623 11623 10709 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 192185777 882683904 49388 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11638/tid=11645] ppid=11623 vsize=861996 CPUtime=0
/proc/11638/task/11645/stat : 11645 (java) S 11623 11623 10709 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 192185777 882683904 49388 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 909556
[startup+12.6718 s]
/proc/loadavg: 1.64 1.90 1.96 3/103 11645
/proc/meminfo: memFree=458328/2055920 swapFree=4192812/4192956
[pid=11623] ppid=11621 vsize=47560 CPUtime=0.02
/proc/11623/stat : 11623 (galacJ.sh) S 11621 11623 10709 0 -1 4194304 797 1728 0 0 0 1 0 1 24 0 1 0 192185765 48701440 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 244670720858 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11623/statm: 11890 363 246 79 0 217 0
[pid=11638] ppid=11623 vsize=861996 CPUtime=12.5
/proc/11638/stat : 11638 (java) R 11623 11623 10709 0 -1 0 81746 0 1 0 1203 47 0 0 25 0 8 0 192185769 882683904 81471 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4073681299 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11638/statm: 215499 81471 2012 14 0 201457 0
[pid=11638/tid=11639] ppid=11623 vsize=861996 CPUtime=1.13
/proc/11638/task/11639/stat : 11639 (java) S 11623 11623 10709 0 -1 64 65854 0 0 0 78 35 0 0 16 0 8 0 192185773 882683904 81471 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11638/tid=11640] ppid=11623 vsize=861996 CPUtime=0
/proc/11638/task/11640/stat : 11640 (java) S 11623 11623 10709 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 192185773 882683904 81471 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11638/tid=11641] ppid=11623 vsize=861996 CPUtime=0
/proc/11638/task/11641/stat : 11641 (java) S 11623 11623 10709 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 192185773 882683904 81471 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11638/tid=11642] ppid=11623 vsize=861996 CPUtime=0
/proc/11638/task/11642/stat : 11642 (java) S 11623 11623 10709 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 192185777 882683904 81471 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11638/tid=11643] ppid=11623 vsize=861996 CPUtime=0.15
/proc/11638/task/11643/stat : 11643 (java) S 11623 11623 10709 0 -1 64 886 0 0 0 15 0 0 0 17 0 8 0 192185777 882683904 81471 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11638/tid=11644] ppid=11623 vsize=861996 CPUtime=0
/proc/11638/task/11644/stat : 11644 (java) S 11623 11623 10709 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 192185777 882683904 81471 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11638/tid=11645] ppid=11623 vsize=861996 CPUtime=0
/proc/11638/task/11645/stat : 11645 (java) S 11623 11623 10709 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 192185777 882683904 81471 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 909556
[startup+25.5511 s]
/proc/loadavg: 1.72 1.91 1.96 3/103 11645
/proc/meminfo: memFree=299544/2055920 swapFree=4192812/4192956
[pid=11623] ppid=11621 vsize=47560 CPUtime=0.02
/proc/11623/stat : 11623 (galacJ.sh) S 11621 11623 10709 0 -1 4194304 797 1728 0 0 0 1 0 1 24 0 1 0 192185765 48701440 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 244670720858 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11623/statm: 11890 363 246 79 0 217 0
[pid=11638] ppid=11623 vsize=861996 CPUtime=25.26
/proc/11638/stat : 11638 (java) R 11623 11623 10709 0 -1 0 129692 0 1 0 2453 73 0 0 25 0 8 0 192185769 882683904 129400 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4073918175 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11638/statm: 215499 129400 2023 14 0 201457 0
[pid=11638/tid=11639] ppid=11623 vsize=861996 CPUtime=2.66
/proc/11638/task/11639/stat : 11639 (java) S 11623 11623 10709 0 -1 64 113738 0 0 0 207 59 0 0 19 0 8 0 192185773 882683904 129400 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11638/tid=11640] ppid=11623 vsize=861996 CPUtime=0
/proc/11638/task/11640/stat : 11640 (java) S 11623 11623 10709 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 192185773 882683904 129400 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11638/tid=11641] ppid=11623 vsize=861996 CPUtime=0
/proc/11638/task/11641/stat : 11641 (java) S 11623 11623 10709 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 192185773 882683904 129400 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11638/tid=11642] ppid=11623 vsize=861996 CPUtime=0
/proc/11638/task/11642/stat : 11642 (java) S 11623 11623 10709 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 192185777 882683904 129400 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11638/tid=11643] ppid=11623 vsize=861996 CPUtime=0.2
/proc/11638/task/11643/stat : 11643 (java) S 11623 11623 10709 0 -1 64 907 0 0 0 20 0 0 0 15 0 8 0 192185777 882683904 129400 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11638/tid=11644] ppid=11623 vsize=861996 CPUtime=0
/proc/11638/task/11644/stat : 11644 (java) S 11623 11623 10709 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 192185777 882683904 129400 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11638/tid=11645] ppid=11623 vsize=861996 CPUtime=0
/proc/11638/task/11645/stat : 11645 (java) S 11623 11623 10709 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 192185777 882683904 129400 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 909556
[startup+51.2158 s]
/proc/loadavg: 1.89 1.93 1.97 3/103 11645
/proc/meminfo: memFree=64216/2055920 swapFree=4192812/4192956
[pid=11623] ppid=11621 vsize=47560 CPUtime=0.02
/proc/11623/stat : 11623 (galacJ.sh) S 11621 11623 10709 0 -1 4194304 797 1728 0 0 0 1 0 1 24 0 1 0 192185765 48701440 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 244670720858 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11623/statm: 11890 363 246 79 0 217 0
[pid=11638] ppid=11623 vsize=866000 CPUtime=50.68
/proc/11638/stat : 11638 (java) S 11623 11623 10709 0 -1 0 179281 0 1 0 4971 97 0 0 25 0 8 0 192185769 886784000 178477 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11638/statm: 216500 178477 2029 14 0 202458 0
[pid=11638/tid=11639] ppid=11623 vsize=866000 CPUtime=12.65
/proc/11638/task/11639/stat : 11639 (java) R 11623 11623 10709 0 -1 64 163297 0 0 0 1183 82 0 0 19 0 8 0 192185773 886784000 178477 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4155222440 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11638/tid=11640] ppid=11623 vsize=866000 CPUtime=0
/proc/11638/task/11640/stat : 11640 (java) S 11623 11623 10709 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 192185773 886784000 178477 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11638/tid=11641] ppid=11623 vsize=866000 CPUtime=0
/proc/11638/task/11641/stat : 11641 (java) S 11623 11623 10709 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 192185773 886784000 178477 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11638/tid=11642] ppid=11623 vsize=866000 CPUtime=0
/proc/11638/task/11642/stat : 11642 (java) S 11623 11623 10709 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 192185777 886784000 178477 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11638/tid=11643] ppid=11623 vsize=866000 CPUtime=0.23
/proc/11638/task/11643/stat : 11643 (java) S 11623 11623 10709 0 -1 64 917 0 0 0 22 1 0 0 15 0 8 0 192185777 886784000 178477 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11638/tid=11644] ppid=11623 vsize=866000 CPUtime=0
/proc/11638/task/11644/stat : 11644 (java) S 11623 11623 10709 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 192185777 886784000 178477 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11638/tid=11645] ppid=11623 vsize=866000 CPUtime=0
/proc/11638/task/11645/stat : 11645 (java) S 11623 11623 10709 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 192185777 886784000 178477 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 913560
[startup+102.463 s]
/proc/loadavg: 2.03 1.97 1.98 3/103 11645
/proc/meminfo: memFree=37016/2055920 swapFree=4192812/4192956
[pid=11623] ppid=11621 vsize=47560 CPUtime=0.02
/proc/11623/stat : 11623 (galacJ.sh) S 11621 11623 10709 0 -1 4194304 797 1728 0 0 0 1 0 1 24 0 1 0 192185765 48701440 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 244670720858 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11623/statm: 11890 363 246 79 0 217 0
[pid=11638] ppid=11623 vsize=864000 CPUtime=101.38
/proc/11638/stat : 11638 (java) S 11623 11623 10709 0 -1 0 210796 0 1 0 10025 113 0 0 17 0 8 0 192185769 884736000 184496 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11638/statm: 216000 184496 2029 14 0 201958 0
[pid=11638/tid=11639] ppid=11623 vsize=864000 CPUtime=60.88
/proc/11638/task/11639/stat : 11639 (java) R 11623 11623 10709 0 -1 64 194802 0 0 0 5989 99 0 0 25 0 8 0 192185773 884736000 184496 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4155134188 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11638/tid=11640] ppid=11623 vsize=864000 CPUtime=0
/proc/11638/task/11640/stat : 11640 (java) S 11623 11623 10709 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 192185773 884736000 184496 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11638/tid=11641] ppid=11623 vsize=864000 CPUtime=0
/proc/11638/task/11641/stat : 11641 (java) S 11623 11623 10709 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 192185773 884736000 184496 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11638/tid=11642] ppid=11623 vsize=864000 CPUtime=0
/proc/11638/task/11642/stat : 11642 (java) S 11623 11623 10709 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 192185777 884736000 184496 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11638/tid=11643] ppid=11623 vsize=864000 CPUtime=0.23
/proc/11638/task/11643/stat : 11643 (java) S 11623 11623 10709 0 -1 64 917 0 0 0 22 1 0 0 15 0 8 0 192185777 884736000 184496 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11638/tid=11644] ppid=11623 vsize=864000 CPUtime=0
/proc/11638/task/11644/stat : 11644 (java) S 11623 11623 10709 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 192185777 884736000 184496 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11638/tid=11645] ppid=11623 vsize=864000 CPUtime=0
/proc/11638/task/11645/stat : 11645 (java) S 11623 11623 10709 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 192185777 884736000 184496 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.4
Current children cumulated vsize (KiB) 911560
[startup+162.562 s]
/proc/loadavg: 2.01 1.97 1.98 3/103 11645
/proc/meminfo: memFree=36824/2055920 swapFree=4192812/4192956
[pid=11623] ppid=11621 vsize=47560 CPUtime=0.02
/proc/11623/stat : 11623 (galacJ.sh) S 11621 11623 10709 0 -1 4194304 797 1728 0 0 0 1 0 1 24 0 1 0 192185765 48701440 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 244670720858 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11623/statm: 11890 363 246 79 0 217 0
[pid=11638] ppid=11623 vsize=870000 CPUtime=160.88
/proc/11638/stat : 11638 (java) S 11623 11623 10709 0 -1 0 247086 0 1 0 15955 133 0 0 17 0 8 0 192185769 890880000 185274 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11638/statm: 217500 185274 2029 14 0 203458 0
[pid=11638/tid=11639] ppid=11623 vsize=870000 CPUtime=120.25
/proc/11638/task/11639/stat : 11639 (java) R 11623 11623 10709 0 -1 64 231079 0 0 0 11906 119 0 0 25 0 8 0 192185773 890880000 185274 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4154035665 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11638/tid=11640] ppid=11623 vsize=870000 CPUtime=0
/proc/11638/task/11640/stat : 11640 (java) S 11623 11623 10709 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 192185773 890880000 185274 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11638/tid=11641] ppid=11623 vsize=870000 CPUtime=0
/proc/11638/task/11641/stat : 11641 (java) S 11623 11623 10709 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 192185773 890880000 185274 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11638/tid=11642] ppid=11623 vsize=870000 CPUtime=0
/proc/11638/task/11642/stat : 11642 (java) S 11623 11623 10709 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 192185777 890880000 185274 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11638/tid=11643] ppid=11623 vsize=870000 CPUtime=0.23
/proc/11638/task/11643/stat : 11643 (java) S 11623 11623 10709 0 -1 64 917 0 0 0 22 1 0 0 15 0 8 0 192185777 890880000 185274 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11638/tid=11644] ppid=11623 vsize=870000 CPUtime=0
/proc/11638/task/11644/stat : 11644 (java) S 11623 11623 10709 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 192185777 890880000 185274 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11638/tid=11645] ppid=11623 vsize=870000 CPUtime=0
/proc/11638/task/11645/stat : 11645 (java) S 11623 11623 10709 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 192185777 890880000 185274 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.9
Current children cumulated vsize (KiB) 917560
[startup+222.656 s]
/proc/loadavg: 2.00 1.97 1.98 3/103 11645
/proc/meminfo: memFree=36888/2055920 swapFree=4192812/4192956
[pid=11623] ppid=11621 vsize=47560 CPUtime=0.02
/proc/11623/stat : 11623 (galacJ.sh) S 11621 11623 10709 0 -1 4194304 797 1728 0 0 0 1 0 1 24 0 1 0 192185765 48701440 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 244670720858 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11623/statm: 11890 363 246 79 0 217 0
[pid=11638] ppid=11623 vsize=870000 CPUtime=220.43
/proc/11638/stat : 11638 (java) S 11623 11623 10709 0 -1 0 284784 0 1 0 21891 152 0 0 17 0 8 0 192185769 890880000 185274 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11638/statm: 217500 185274 2029 14 0 203458 0
[pid=11638/tid=11639] ppid=11623 vsize=870000 CPUtime=179.79
/proc/11638/task/11639/stat : 11639 (java) R 11623 11623 10709 0 -1 64 268768 0 0 0 17842 137 0 0 25 0 8 0 192185773 890880000 185274 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4155222440 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11638/tid=11640] ppid=11623 vsize=870000 CPUtime=0
/proc/11638/task/11640/stat : 11640 (java) S 11623 11623 10709 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 192185773 890880000 185274 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11638/tid=11641] ppid=11623 vsize=870000 CPUtime=0
/proc/11638/task/11641/stat : 11641 (java) S 11623 11623 10709 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 192185773 890880000 185274 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11638/tid=11642] ppid=11623 vsize=870000 CPUtime=0
/proc/11638/task/11642/stat : 11642 (java) S 11623 11623 10709 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 192185777 890880000 185274 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11638/tid=11643] ppid=11623 vsize=870000 CPUtime=0.23
/proc/11638/task/11643/stat : 11643 (java) S 11623 11623 10709 0 -1 64 917 0 0 0 22 1 0 0 15 0 8 0 192185777 890880000 185274 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11638/tid=11644] ppid=11623 vsize=870000 CPUtime=0
/proc/11638/task/11644/stat : 11644 (java) S 11623 11623 10709 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 192185777 890880000 185274 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11638/tid=11645] ppid=11623 vsize=870000 CPUtime=0
/proc/11638/task/11645/stat : 11645 (java) S 11623 11623 10709 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 192185777 890880000 185274 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.45
Current children cumulated vsize (KiB) 917560
Child status: 0
Real time (s): 261.848
CPU time (s): 259.25
CPU user time (s): 257.468
CPU system time (s): 1.78173
CPU usage (%): 99.0077
Max. virtual memory (cumulated for all children) (KiB): 921564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 257.468
system time used= 1.78173
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 310540
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= 6419
involuntary context switches= 13891
runsolver used 0.32595 s user time and 0.941856 s system time
The end
Begin job on node7 on Wed Jan 10 14:04:57 UTC 2007
IDJOB= 247450
IDBENCH= 11128
FILE ID= node7/247450-1168437894
PBS_JOBID= 3523696
Free space on /tmp= 66532 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-8-20-5/rand-8-20-5-18-800-7_ext.xml
COMMAND LINE= /tmp/evaluation/247450-1168437894/galacJ.sh /tmp/evaluation/247450-1168437894/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-247450-1168437894 -o ROOT/results/node7/solver-247450-1168437894 -C 1800 -M 900 /tmp/evaluation/247450-1168437894/galacJ.sh /tmp/evaluation/247450-1168437894/unknown.xml
META MD5SUM SOLVER= ffd78bd56f274e94bd0d0faf76d262cb
MD5SUM BENCH= 0ab3dbb9edfa2aa092a5a9fe1825fa3f
RANDOM SEED= 134396542
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.220
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.220
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: 772280 kB
Buffers: 50788 kB
Cached: 365372 kB
SwapCached: 0 kB
Active: 969648 kB
Inactive: 235776 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 772280 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 25412 kB
Writeback: 0 kB
Mapped: 817256 kB
Slab: 61376 kB
Committed_AS: 7117252 kB
PageTables: 3884 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= 66532 MiB
End job on node7 on Wed Jan 10 14:09:25 UTC 2007