0.03 rm: No match.
0.03 c --- Preproc Stats ---
0.03 c benchs : unknown.xml
1.83 c start processing
1.83 c start relation processing
1.96 c start cnf exporting
5.34 c parsing time : 1.664
5.34 c preprocessing time : 5.18
5.35
5.35 c Nary constraints - conflicts : 0 supports : 78
5.35 c Binary constraints - conflicts : 3003 supports :78
5.35 c max arity constraint : 3
5.35 c Max Tuples generated 352870
5.35 c relations : 3
5.35 c relations BDD: 1
5.35 c vars : 211134 - clauses : 1244516
5.35
6.07 c Start Sat4J solver
6.07
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node59/watcher-217790-1168248938 -o ROOT/results/node59/solver-217790-1168248938 -C 1800 -M 900 /tmp/evaluation/217790-1168248938/galacJ.sh /tmp/evaluation/217790-1168248938/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.34 1.79 1.92 5/75 5906
/proc/meminfo: memFree=1880080/2055920 swapFree=4192812/4192956
[pid=5905] ppid=5903 vsize=8560 CPUtime=0
/proc/5905/stat : 5905 (galacJ.sh) R 5903 5905 5327 0 -1 4194304 308 0 0 0 0 0 0 0 20 0 1 0 173291777 8765440 253 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 217051809679 0 0 4096 8192 0 0 0 17 1 0 0
/proc/5905/statm: 2140 253 197 79 0 133 0
[startup+0.109839 s]
/proc/loadavg: 1.34 1.79 1.92 5/75 5906
/proc/meminfo: memFree=1880080/2055920 swapFree=4192812/4192956
[pid=5905] ppid=5903 vsize=47552 CPUtime=0.01
/proc/5905/stat : 5905 (galacJ.sh) S 5903 5905 5327 0 -1 4194304 797 1728 0 0 0 0 0 1 18 0 1 0 173291777 48693248 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/5905/statm: 11888 363 246 79 0 217 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47552
[startup+0.521884 s]
/proc/loadavg: 1.34 1.79 1.92 5/75 5906
/proc/meminfo: memFree=1880080/2055920 swapFree=4192812/4192956
[pid=5905] ppid=5903 vsize=47552 CPUtime=0.01
/proc/5905/stat : 5905 (galacJ.sh) S 5903 5905 5327 0 -1 4194304 797 1728 0 0 0 0 0 1 18 0 1 0 173291777 48693248 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/5905/statm: 11888 363 246 79 0 217 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47552
[startup+1.34598 s]
/proc/loadavg: 1.47 1.81 1.93 3/83 5927
/proc/meminfo: memFree=1835592/2055920 swapFree=4192812/4192956
[pid=5905] ppid=5903 vsize=47552 CPUtime=0.01
/proc/5905/stat : 5905 (galacJ.sh) S 5903 5905 5327 0 -1 4194304 797 1728 0 0 0 0 0 1 18 0 1 0 173291777 48693248 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/5905/statm: 11888 363 246 79 0 217 0
[pid=5920] ppid=5905 vsize=862340 CPUtime=1.29
/proc/5920/stat : 5920 (java) R 5905 5905 5327 0 -1 0 13235 0 1 0 119 10 0 0 23 0 8 0 173291781 883036160 12987 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4072941832 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5920/statm: 215585 12987 2042 14 0 201490 0
[pid=5920/tid=5921] ppid=5905 vsize=862340 CPUtime=0.08
/proc/5920/task/5921/stat : 5921 (java) S 5905 5905 5327 0 -1 64 3459 0 0 0 7 1 0 0 16 0 8 0 173291784 883036160 12987 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5922] ppid=5905 vsize=862340 CPUtime=0
/proc/5920/task/5922/stat : 5922 (java) S 5905 5905 5327 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 173291785 883036160 12987 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5923] ppid=5905 vsize=862340 CPUtime=0
/proc/5920/task/5923/stat : 5923 (java) S 5905 5905 5327 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 173291785 883036160 12987 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5924] ppid=5905 vsize=862340 CPUtime=0
/proc/5920/task/5924/stat : 5924 (java) S 5905 5905 5327 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173291788 883036160 12987 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5925] ppid=5905 vsize=862340 CPUtime=0.33
/proc/5920/task/5925/stat : 5925 (java) S 5905 5905 5327 0 -1 64 1042 0 0 0 32 1 0 0 15 0 8 0 173291788 883036160 12987 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5926] ppid=5905 vsize=862340 CPUtime=0
/proc/5920/task/5926/stat : 5926 (java) S 5905 5905 5327 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173291788 883036160 12987 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5927] ppid=5905 vsize=862340 CPUtime=0
/proc/5920/task/5927/stat : 5927 (java) S 5905 5905 5327 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173291788 883036160 12987 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 909892
[startup+2.98716 s]
/proc/loadavg: 1.47 1.81 1.93 3/83 5927
/proc/meminfo: memFree=1796168/2055920 swapFree=4192812/4192956
[pid=5905] ppid=5903 vsize=47552 CPUtime=0.01
/proc/5905/stat : 5905 (galacJ.sh) S 5903 5905 5327 0 -1 4194304 797 1728 0 0 0 0 0 1 18 0 1 0 173291777 48693248 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/5905/statm: 11888 363 246 79 0 217 0
[pid=5920] ppid=5905 vsize=862444 CPUtime=2.91
/proc/5920/stat : 5920 (java) R 5905 5905 5327 0 -1 0 30412 0 2 0 271 20 0 0 25 0 8 0 173291781 883142656 30162 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4074432626 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5920/statm: 215611 30162 2051 14 0 201516 0
[pid=5920/tid=5921] ppid=5905 vsize=862444 CPUtime=0.39
/proc/5920/task/5921/stat : 5921 (java) S 5905 5905 5327 0 -1 64 14250 0 0 0 32 7 0 0 18 0 8 0 173291784 883142656 30162 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5922] ppid=5905 vsize=862444 CPUtime=0
/proc/5920/task/5922/stat : 5922 (java) S 5905 5905 5327 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 173291785 883142656 30162 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5923] ppid=5905 vsize=862444 CPUtime=0
/proc/5920/task/5923/stat : 5923 (java) S 5905 5905 5327 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 173291785 883142656 30162 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5924] ppid=5905 vsize=862444 CPUtime=0
/proc/5920/task/5924/stat : 5924 (java) S 5905 5905 5327 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173291788 883142656 30162 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5925] ppid=5905 vsize=862444 CPUtime=0.4
/proc/5920/task/5925/stat : 5925 (java) S 5905 5905 5327 0 -1 64 1090 0 0 0 39 1 0 0 15 0 8 0 173291788 883142656 30162 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5926] ppid=5905 vsize=862444 CPUtime=0
/proc/5920/task/5926/stat : 5926 (java) S 5905 5905 5327 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173291788 883142656 30162 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5927] ppid=5905 vsize=862444 CPUtime=0
/proc/5920/task/5927/stat : 5927 (java) S 5905 5905 5327 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173291788 883142656 30162 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 909996
[startup+6.28353 s]
/proc/loadavg: 1.59 1.83 1.94 4/83 5927
/proc/meminfo: memFree=1685512/2055920 swapFree=4192812/4192956
[pid=5905] ppid=5903 vsize=47552 CPUtime=0.01
/proc/5905/stat : 5905 (galacJ.sh) S 5903 5905 5327 0 -1 4194304 797 1728 0 0 0 0 0 1 18 0 1 0 173291777 48693248 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/5905/statm: 11888 363 246 79 0 217 0
[pid=5920] ppid=5905 vsize=862960 CPUtime=6.18
/proc/5920/stat : 5920 (java) R 5905 5905 5327 0 -1 0 50733 0 2 0 589 29 0 0 25 0 9 0 173291781 883671040 49815 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4074469470 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5920/statm: 215740 49815 2057 14 0 201645 0
[pid=5920/tid=5921] ppid=5905 vsize=862960 CPUtime=2.1
/proc/5920/task/5921/stat : 5921 (java) S 5905 5905 5327 0 -1 64 34536 0 0 0 194 16 0 0 23 0 9 0 173291784 883671040 49815 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5922] ppid=5905 vsize=862960 CPUtime=0
/proc/5920/task/5922/stat : 5922 (java) S 5905 5905 5327 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 173291785 883671040 49815 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5923] ppid=5905 vsize=862960 CPUtime=0
/proc/5920/task/5923/stat : 5923 (java) S 5905 5905 5327 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 173291785 883671040 49815 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5924] ppid=5905 vsize=862960 CPUtime=0
/proc/5920/task/5924/stat : 5924 (java) S 5905 5905 5327 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 173291788 883671040 49815 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5925] ppid=5905 vsize=862960 CPUtime=0.43
/proc/5920/task/5925/stat : 5925 (java) S 5905 5905 5327 0 -1 64 1105 0 0 0 42 1 0 0 16 0 9 0 173291788 883671040 49815 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5926] ppid=5905 vsize=862960 CPUtime=0
/proc/5920/task/5926/stat : 5926 (java) S 5905 5905 5327 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 173291788 883671040 49815 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5927] ppid=5905 vsize=862960 CPUtime=0
/proc/5920/task/5927/stat : 5927 (java) S 5905 5905 5327 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 173291788 883671040 49815 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) 910512
[startup+12.7662 s]
/proc/loadavg: 1.63 1.83 1.94 3/89 5992
/proc/meminfo: memFree=1667104/2055920 swapFree=4192812/4192956
[pid=5905] ppid=5903 vsize=47552 CPUtime=0.01
/proc/5905/stat : 5905 (galacJ.sh) S 5903 5905 5327 0 -1 4194304 797 1728 0 0 0 0 0 1 18 0 1 0 173291777 48693248 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/5905/statm: 11888 363 246 79 0 217 0
[pid=5920] ppid=5905 vsize=862960 CPUtime=12.61
/proc/5920/stat : 5920 (java) R 5905 5905 5327 0 -1 0 50746 0 2 0 1232 29 0 0 25 0 9 0 173291781 883671040 49825 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4074465486 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5920/statm: 215740 49825 2057 14 0 201645 0
[pid=5920/tid=5921] ppid=5905 vsize=862960 CPUtime=2.1
/proc/5920/task/5921/stat : 5921 (java) S 5905 5905 5327 0 -1 64 34536 0 0 0 194 16 0 0 17 0 9 0 173291784 883671040 49825 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5920/tid=5922] ppid=5905 vsize=862960 CPUtime=0
/proc/5920/task/5922/stat : 5922 (java) S 5905 5905 5327 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 173291785 883671040 49825 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5923] ppid=5905 vsize=862960 CPUtime=0
/proc/5920/task/5923/stat : 5923 (java) S 5905 5905 5327 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 173291785 883671040 49825 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5924] ppid=5905 vsize=862960 CPUtime=0
/proc/5920/task/5924/stat : 5924 (java) S 5905 5905 5327 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 173291788 883671040 49825 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5925] ppid=5905 vsize=862960 CPUtime=0.45
/proc/5920/task/5925/stat : 5925 (java) S 5905 5905 5327 0 -1 64 1114 0 0 0 43 2 0 0 16 0 9 0 173291788 883671040 49825 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5926] ppid=5905 vsize=862960 CPUtime=0
/proc/5920/task/5926/stat : 5926 (java) S 5905 5905 5327 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 173291788 883671040 49825 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5927] ppid=5905 vsize=862960 CPUtime=0
/proc/5920/task/5927/stat : 5927 (java) S 5905 5905 5327 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 173291788 883671040 49825 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5928] ppid=5905 vsize=862960 CPUtime=0
/proc/5920/task/5928/stat : 5928 (java) S 5905 5905 5327 0 -1 64 5 0 0 0 0 0 0 0 25 0 9 0 173292396 883671040 49825 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) 910512
[startup+25.6546 s]
/proc/loadavg: 1.68 1.84 1.94 3/89 5992
/proc/meminfo: memFree=1667120/2055920 swapFree=4192812/4192956
[pid=5905] ppid=5903 vsize=47552 CPUtime=0.01
/proc/5905/stat : 5905 (galacJ.sh) S 5903 5905 5327 0 -1 4194304 797 1728 0 0 0 0 0 1 18 0 1 0 173291777 48693248 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/5905/statm: 11888 363 246 79 0 217 0
[pid=5920] ppid=5905 vsize=862960 CPUtime=25.5
/proc/5920/stat : 5920 (java) R 5905 5905 5327 0 -1 0 50746 0 2 0 2520 30 0 0 25 0 9 0 173291781 883671040 49825 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4074486706 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5920/statm: 215740 49825 2057 14 0 201645 0
[pid=5920/tid=5921] ppid=5905 vsize=862960 CPUtime=2.1
/proc/5920/task/5921/stat : 5921 (java) S 5905 5905 5327 0 -1 64 34536 0 0 0 194 16 0 0 16 0 9 0 173291784 883671040 49825 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5920/tid=5922] ppid=5905 vsize=862960 CPUtime=0
/proc/5920/task/5922/stat : 5922 (java) S 5905 5905 5327 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 173291785 883671040 49825 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5923] ppid=5905 vsize=862960 CPUtime=0
/proc/5920/task/5923/stat : 5923 (java) S 5905 5905 5327 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 173291785 883671040 49825 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5924] ppid=5905 vsize=862960 CPUtime=0
/proc/5920/task/5924/stat : 5924 (java) S 5905 5905 5327 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 173291788 883671040 49825 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5925] ppid=5905 vsize=862960 CPUtime=0.45
/proc/5920/task/5925/stat : 5925 (java) S 5905 5905 5327 0 -1 64 1114 0 0 0 43 2 0 0 16 0 9 0 173291788 883671040 49825 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5920/tid=5926] ppid=5905 vsize=862960 CPUtime=0
/proc/5920/task/5926/stat : 5926 (java) S 5905 5905 5327 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 173291788 883671040 49825 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5927] ppid=5905 vsize=862960 CPUtime=0
/proc/5920/task/5927/stat : 5927 (java) S 5905 5905 5327 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 173291788 883671040 49825 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5928] ppid=5905 vsize=862960 CPUtime=0
/proc/5920/task/5928/stat : 5928 (java) S 5905 5905 5327 0 -1 64 5 0 0 0 0 0 0 0 25 0 9 0 173292396 883671040 49825 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 910512
[startup+51.2875 s]
/proc/loadavg: 1.81 1.85 1.94 3/89 5992
/proc/meminfo: memFree=1667248/2055920 swapFree=4192812/4192956
[pid=5905] ppid=5903 vsize=47552 CPUtime=0.01
/proc/5905/stat : 5905 (galacJ.sh) S 5903 5905 5327 0 -1 4194304 797 1728 0 0 0 0 0 1 18 0 1 0 173291777 48693248 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/5905/statm: 11888 363 246 79 0 217 0
[pid=5920] ppid=5905 vsize=862960 CPUtime=51.12
/proc/5920/stat : 5920 (java) R 5905 5905 5327 0 -1 0 50750 0 2 0 5082 30 0 0 25 0 9 0 173291781 883671040 49827 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4074469309 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5920/statm: 215740 49827 2057 14 0 201645 0
[pid=5920/tid=5921] ppid=5905 vsize=862960 CPUtime=2.1
/proc/5920/task/5921/stat : 5921 (java) S 5905 5905 5327 0 -1 64 34536 0 0 0 194 16 0 0 16 0 9 0 173291784 883671040 49827 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5920/tid=5922] ppid=5905 vsize=862960 CPUtime=0
/proc/5920/task/5922/stat : 5922 (java) S 5905 5905 5327 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 173291785 883671040 49827 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5923] ppid=5905 vsize=862960 CPUtime=0
/proc/5920/task/5923/stat : 5923 (java) S 5905 5905 5327 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 173291785 883671040 49827 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5924] ppid=5905 vsize=862960 CPUtime=0
/proc/5920/task/5924/stat : 5924 (java) S 5905 5905 5327 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 173291788 883671040 49827 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5925] ppid=5905 vsize=862960 CPUtime=0.46
/proc/5920/task/5925/stat : 5925 (java) S 5905 5905 5327 0 -1 64 1117 0 0 0 44 2 0 0 15 0 9 0 173291788 883671040 49827 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5920/tid=5926] ppid=5905 vsize=862960 CPUtime=0
/proc/5920/task/5926/stat : 5926 (java) S 5905 5905 5327 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 173291788 883671040 49827 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5927] ppid=5905 vsize=862960 CPUtime=0
/proc/5920/task/5927/stat : 5927 (java) S 5905 5905 5327 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 173291788 883671040 49827 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5928] ppid=5905 vsize=862960 CPUtime=0
/proc/5920/task/5928/stat : 5928 (java) S 5905 5905 5327 0 -1 64 5 0 0 0 0 0 0 0 25 0 9 0 173292396 883671040 49827 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 910512
[startup+102.558 s]
/proc/loadavg: 1.91 1.87 1.94 3/89 5992
/proc/meminfo: memFree=1667248/2055920 swapFree=4192812/4192956
[pid=5905] ppid=5903 vsize=47552 CPUtime=0.01
################
# More data... #
################
[pid=5920/tid=5923] ppid=5905 vsize=862960 CPUtime=0
/proc/5920/task/5923/stat : 5923 (java) S 5905 5905 5327 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 173291785 883671040 64889 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5924] ppid=5905 vsize=862960 CPUtime=0
/proc/5920/task/5924/stat : 5924 (java) S 5905 5905 5327 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 173291788 883671040 64889 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5925] ppid=5905 vsize=862960 CPUtime=0.46
/proc/5920/task/5925/stat : 5925 (java) S 5905 5905 5327 0 -1 64 1118 0 0 0 44 2 0 0 16 0 9 0 173291788 883671040 64889 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5920/tid=5926] ppid=5905 vsize=862960 CPUtime=0
/proc/5920/task/5926/stat : 5926 (java) S 5905 5905 5327 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 173291788 883671040 64889 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5927] ppid=5905 vsize=862960 CPUtime=0
/proc/5920/task/5927/stat : 5927 (java) S 5905 5905 5327 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 173291788 883671040 64889 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5928] ppid=5905 vsize=862960 CPUtime=0
/proc/5920/task/5928/stat : 5928 (java) S 5905 5905 5327 0 -1 64 5 0 0 0 0 0 0 0 25 0 9 0 173292396 883671040 64889 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1540.02
Current children cumulated vsize (KiB) 910512
[startup+1603.87 s]
/proc/loadavg: 2.00 2.00 1.99 3/95 6162
/proc/meminfo: memFree=1604800/2055920 swapFree=4192812/4192956
[pid=5905] ppid=5903 vsize=47552 CPUtime=0.01
/proc/5905/stat : 5905 (galacJ.sh) S 5903 5905 5327 0 -1 4194304 797 1728 0 0 0 0 0 1 18 0 1 0 173291777 48693248 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/5905/statm: 11888 363 246 79 0 217 0
[pid=5920] ppid=5905 vsize=862960 CPUtime=1599.75
/proc/5920/stat : 5920 (java) R 5905 5905 5327 0 -1 0 65814 0 2 0 159922 53 0 0 25 0 9 0 173291781 883671040 64889 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4074469783 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5920/statm: 215740 64889 2057 14 0 201645 0
[pid=5920/tid=5921] ppid=5905 vsize=862960 CPUtime=2.38
/proc/5920/task/5921/stat : 5921 (java) S 5905 5905 5327 0 -1 64 49597 0 0 0 217 21 0 0 16 0 9 0 173291784 883671040 64889 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5920/tid=5922] ppid=5905 vsize=862960 CPUtime=0
/proc/5920/task/5922/stat : 5922 (java) S 5905 5905 5327 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 173291785 883671040 64889 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5923] ppid=5905 vsize=862960 CPUtime=0
/proc/5920/task/5923/stat : 5923 (java) S 5905 5905 5327 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 173291785 883671040 64889 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5924] ppid=5905 vsize=862960 CPUtime=0
/proc/5920/task/5924/stat : 5924 (java) S 5905 5905 5327 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 173291788 883671040 64889 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5925] ppid=5905 vsize=862960 CPUtime=0.46
/proc/5920/task/5925/stat : 5925 (java) S 5905 5905 5327 0 -1 64 1118 0 0 0 44 2 0 0 16 0 9 0 173291788 883671040 64889 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5920/tid=5926] ppid=5905 vsize=862960 CPUtime=0
/proc/5920/task/5926/stat : 5926 (java) S 5905 5905 5327 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 173291788 883671040 64889 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5927] ppid=5905 vsize=862960 CPUtime=0
/proc/5920/task/5927/stat : 5927 (java) S 5905 5905 5327 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 173291788 883671040 64889 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5928] ppid=5905 vsize=862960 CPUtime=0
/proc/5920/task/5928/stat : 5928 (java) S 5905 5905 5327 0 -1 64 5 0 0 0 0 0 0 0 25 0 9 0 173292396 883671040 64889 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1599.76
Current children cumulated vsize (KiB) 910512
[startup+1663.91 s]
/proc/loadavg: 2.00 2.00 1.99 3/89 6190
/proc/meminfo: memFree=1605808/2055920 swapFree=4192812/4192956
[pid=5905] ppid=5903 vsize=47552 CPUtime=0.01
/proc/5905/stat : 5905 (galacJ.sh) S 5903 5905 5327 0 -1 4194304 797 1728 0 0 0 0 0 1 18 0 1 0 173291777 48693248 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/5905/statm: 11888 363 246 79 0 217 0
[pid=5920] ppid=5905 vsize=862960 CPUtime=1659.47
/proc/5920/stat : 5920 (java) R 5905 5905 5327 0 -1 0 65814 0 2 0 165893 54 0 0 25 0 9 0 173291781 883671040 64889 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4074503032 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5920/statm: 215740 64889 2057 14 0 201645 0
[pid=5920/tid=5921] ppid=5905 vsize=862960 CPUtime=2.38
/proc/5920/task/5921/stat : 5921 (java) S 5905 5905 5327 0 -1 64 49597 0 0 0 217 21 0 0 16 0 9 0 173291784 883671040 64889 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5920/tid=5922] ppid=5905 vsize=862960 CPUtime=0
/proc/5920/task/5922/stat : 5922 (java) S 5905 5905 5327 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 173291785 883671040 64889 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5923] ppid=5905 vsize=862960 CPUtime=0
/proc/5920/task/5923/stat : 5923 (java) S 5905 5905 5327 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 173291785 883671040 64889 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5924] ppid=5905 vsize=862960 CPUtime=0
/proc/5920/task/5924/stat : 5924 (java) S 5905 5905 5327 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 173291788 883671040 64889 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5925] ppid=5905 vsize=862960 CPUtime=0.46
/proc/5920/task/5925/stat : 5925 (java) S 5905 5905 5327 0 -1 64 1118 0 0 0 44 2 0 0 16 0 9 0 173291788 883671040 64889 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5920/tid=5926] ppid=5905 vsize=862960 CPUtime=0
/proc/5920/task/5926/stat : 5926 (java) S 5905 5905 5327 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 173291788 883671040 64889 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5927] ppid=5905 vsize=862960 CPUtime=0
/proc/5920/task/5927/stat : 5927 (java) S 5905 5905 5327 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 173291788 883671040 64889 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5928] ppid=5905 vsize=862960 CPUtime=0
/proc/5920/task/5928/stat : 5928 (java) S 5905 5905 5327 0 -1 64 5 0 0 0 0 0 0 0 25 0 9 0 173292396 883671040 64889 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1659.48
Current children cumulated vsize (KiB) 910512
[startup+1723.96 s]
/proc/loadavg: 2.04 2.01 1.99 3/89 6190
/proc/meminfo: memFree=1605808/2055920 swapFree=4192812/4192956
[pid=5905] ppid=5903 vsize=47552 CPUtime=0.01
/proc/5905/stat : 5905 (galacJ.sh) S 5903 5905 5327 0 -1 4194304 797 1728 0 0 0 0 0 1 18 0 1 0 173291777 48693248 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/5905/statm: 11888 363 246 79 0 217 0
[pid=5920] ppid=5905 vsize=862960 CPUtime=1719.17
/proc/5920/stat : 5920 (java) R 5905 5905 5327 0 -1 0 65814 0 2 0 171863 54 0 0 25 0 9 0 173291781 883671040 64889 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4074479262 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5920/statm: 215740 64889 2057 14 0 201645 0
[pid=5920/tid=5921] ppid=5905 vsize=862960 CPUtime=2.38
/proc/5920/task/5921/stat : 5921 (java) S 5905 5905 5327 0 -1 64 49597 0 0 0 217 21 0 0 16 0 9 0 173291784 883671040 64889 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5920/tid=5922] ppid=5905 vsize=862960 CPUtime=0
/proc/5920/task/5922/stat : 5922 (java) S 5905 5905 5327 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 173291785 883671040 64889 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5923] ppid=5905 vsize=862960 CPUtime=0
/proc/5920/task/5923/stat : 5923 (java) S 5905 5905 5327 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 173291785 883671040 64889 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5924] ppid=5905 vsize=862960 CPUtime=0
/proc/5920/task/5924/stat : 5924 (java) S 5905 5905 5327 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 173291788 883671040 64889 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5925] ppid=5905 vsize=862960 CPUtime=0.46
/proc/5920/task/5925/stat : 5925 (java) S 5905 5905 5327 0 -1 64 1118 0 0 0 44 2 0 0 16 0 9 0 173291788 883671040 64889 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5920/tid=5926] ppid=5905 vsize=862960 CPUtime=0
/proc/5920/task/5926/stat : 5926 (java) S 5905 5905 5327 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 173291788 883671040 64889 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5927] ppid=5905 vsize=862960 CPUtime=0
/proc/5920/task/5927/stat : 5927 (java) S 5905 5905 5327 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 173291788 883671040 64889 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5928] ppid=5905 vsize=862960 CPUtime=0
/proc/5920/task/5928/stat : 5928 (java) S 5905 5905 5327 0 -1 64 5 0 0 0 0 0 0 0 25 0 9 0 173292396 883671040 64889 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1719.18
Current children cumulated vsize (KiB) 910512
[startup+1784 s]
/proc/loadavg: 2.13 2.04 2.01 3/89 6190
/proc/meminfo: memFree=1605808/2055920 swapFree=4192812/4192956
[pid=5905] ppid=5903 vsize=47552 CPUtime=0.01
/proc/5905/stat : 5905 (galacJ.sh) S 5903 5905 5327 0 -1 4194304 797 1728 0 0 0 0 0 1 18 0 1 0 173291777 48693248 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/5905/statm: 11888 363 246 79 0 217 0
[pid=5920] ppid=5905 vsize=862960 CPUtime=1778.91
/proc/5920/stat : 5920 (java) R 5905 5905 5327 0 -1 0 65814 0 2 0 177836 55 0 0 25 0 9 0 173291781 883671040 64889 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4074479262 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5920/statm: 215740 64889 2057 14 0 201645 0
[pid=5920/tid=5921] ppid=5905 vsize=862960 CPUtime=2.38
/proc/5920/task/5921/stat : 5921 (java) S 5905 5905 5327 0 -1 64 49597 0 0 0 217 21 0 0 16 0 9 0 173291784 883671040 64889 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5920/tid=5922] ppid=5905 vsize=862960 CPUtime=0
/proc/5920/task/5922/stat : 5922 (java) S 5905 5905 5327 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 173291785 883671040 64889 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5923] ppid=5905 vsize=862960 CPUtime=0
/proc/5920/task/5923/stat : 5923 (java) S 5905 5905 5327 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 173291785 883671040 64889 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5924] ppid=5905 vsize=862960 CPUtime=0
/proc/5920/task/5924/stat : 5924 (java) S 5905 5905 5327 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 173291788 883671040 64889 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5925] ppid=5905 vsize=862960 CPUtime=0.46
/proc/5920/task/5925/stat : 5925 (java) S 5905 5905 5327 0 -1 64 1118 0 0 0 44 2 0 0 16 0 9 0 173291788 883671040 64889 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5920/tid=5926] ppid=5905 vsize=862960 CPUtime=0
/proc/5920/task/5926/stat : 5926 (java) S 5905 5905 5327 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 173291788 883671040 64889 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5927] ppid=5905 vsize=862960 CPUtime=0
/proc/5920/task/5927/stat : 5927 (java) S 5905 5905 5327 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 173291788 883671040 64889 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5928] ppid=5905 vsize=862960 CPUtime=0
/proc/5920/task/5928/stat : 5928 (java) S 5905 5905 5327 0 -1 64 5 0 0 0 0 0 0 0 25 0 9 0 173292396 883671040 64889 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1778.92
Current children cumulated vsize (KiB) 910512
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1805.22 s]
/proc/loadavg: 2.09 2.04 2.00 3/89 6190
/proc/meminfo: memFree=1605808/2055920 swapFree=4192812/4192956
[pid=5905] ppid=5903 vsize=47552 CPUtime=0.01
/proc/5905/stat : 5905 (galacJ.sh) S 5903 5905 5327 0 -1 4194304 797 1728 0 0 0 0 0 1 18 0 1 0 173291777 48693248 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/5905/statm: 11888 363 246 79 0 217 0
[pid=5920] ppid=5905 vsize=862960 CPUtime=1800.02
/proc/5920/stat : 5920 (java) R 5905 5905 5327 0 -1 0 65814 0 2 0 179947 55 0 0 25 0 9 0 173291781 883671040 64889 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4074469165 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5920/statm: 215740 64889 2057 14 0 201645 0
[pid=5920/tid=5921] ppid=5905 vsize=862960 CPUtime=2.38
/proc/5920/task/5921/stat : 5921 (java) S 5905 5905 5327 0 -1 64 49597 0 0 0 217 21 0 0 16 0 9 0 173291784 883671040 64889 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5920/tid=5922] ppid=5905 vsize=862960 CPUtime=0
/proc/5920/task/5922/stat : 5922 (java) S 5905 5905 5327 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 173291785 883671040 64889 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5923] ppid=5905 vsize=862960 CPUtime=0
/proc/5920/task/5923/stat : 5923 (java) S 5905 5905 5327 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 173291785 883671040 64889 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5924] ppid=5905 vsize=862960 CPUtime=0
/proc/5920/task/5924/stat : 5924 (java) S 5905 5905 5327 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 173291788 883671040 64889 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5925] ppid=5905 vsize=862960 CPUtime=0.46
/proc/5920/task/5925/stat : 5925 (java) S 5905 5905 5327 0 -1 64 1118 0 0 0 44 2 0 0 16 0 9 0 173291788 883671040 64889 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5920/tid=5926] ppid=5905 vsize=862960 CPUtime=0
/proc/5920/task/5926/stat : 5926 (java) S 5905 5905 5327 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 173291788 883671040 64889 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5927] ppid=5905 vsize=862960 CPUtime=0
/proc/5920/task/5927/stat : 5927 (java) S 5905 5905 5327 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 173291788 883671040 64889 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5928] ppid=5905 vsize=862960 CPUtime=0
/proc/5920/task/5928/stat : 5928 (java) S 5905 5905 5327 0 -1 64 5 0 0 0 0 0 0 0 25 0 9 0 173292396 883671040 64889 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 910512
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 5905 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=6998 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=20996
CPU time returned by wait4() is 0.027994
while last known CPU time is 1800.03
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1805.24
CPU time (s): 1800.03
CPU user time (s): 1799.47
CPU system time (s): 0.56
CPU usage (%): 99.7115
Max. virtual memory (cumulated for all children) (KiB): 912000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.006998
system time used= 0.020996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2525
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50
involuntary context switches= 24
runsolver used 2.00569 s user time and 5.99109 s system time
The end
Begin job on node59 on Mon Jan 8 09:35:38 UTC 2007
IDJOB= 217790
IDBENCH= 5172
FILE ID= node59/217790-1168248938
PBS_JOBID= 3481909
Free space on /tmp= 66554 MiB
BENCH NAME= HOME/pub/bench/CPAI06/golombRuler/golombRulerArity3/ruler-70-13-a3.xml
COMMAND LINE= /tmp/evaluation/217790-1168248938/galacJ.sh /tmp/evaluation/217790-1168248938/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-217790-1168248938 -o ROOT/results/node59/solver-217790-1168248938 -C 1800 -M 900 /tmp/evaluation/217790-1168248938/galacJ.sh /tmp/evaluation/217790-1168248938/unknown.xml
META MD5SUM SOLVER= ffd78bd56f274e94bd0d0faf76d262cb
MD5SUM BENCH= 867e5ac3974f1355ea650434b3018815
RANDOM SEED= 895161276
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: 1880624 kB
Buffers: 29988 kB
Cached: 63580 kB
SwapCached: 0 kB
Active: 77504 kB
Inactive: 44616 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1880624 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 7108 kB
Writeback: 0 kB
Mapped: 39524 kB
Slab: 38596 kB
Committed_AS: 3551452 kB
PageTables: 1892 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= 66555 MiB
End job on node59 on Mon Jan 8 10:05:44 UTC 2007