0.03 rm: No match.
0.03 c --- Preproc Stats ---
0.03 c benchs : unknown.xml
1.08 c start processing
1.08 c start relation processing
1.14 c start cnf exporting
1.27 c parsing time : 0.907
1.27 c preprocessing time : 1.098
1.27
1.27 c Nary constraints - conflicts : 0 supports : 0
1.27 c Binary constraints - conflicts : 79 supports :101
1.27 c max arity constraint : 2
1.27 c Max Tuples generated 0
1.27 c relations : 180
1.27 c relations BDD: 0
1.27 c vars : 1001 - clauses : 41014
1.27
1.33 c Start Sat4J solver
1.33
627.84 s UNSATISFIABLE
627.84 c {propagations=19978956, learnedliterals=18, changedreason=0, reduceddb=0, starts=17, learnedbinaryclauses=73, learnedclauses=98455, reducedliterals=7732559, learnedternaryclauses=205, conflicts=147527, serialVersionUID=1, inspects=1406851065, rootSimplifications=0, decisions=188374}
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node61/watcher-224207-1168268021 -o ROOT/results/node61/solver-224207-1168268021 -C 1800 -M 900 /tmp/evaluation/224207-1168268021/galacJ.sh /tmp/evaluation/224207-1168268021/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.00 2.00 1.86 5/75 6302
/proc/meminfo: memFree=1819040/2055920 swapFree=4192812/4192956
[pid=6301] ppid=6299 vsize=8560 CPUtime=0
/proc/6301/stat : 6301 (galacJ.sh) R 6299 6301 5322 0 -1 4194304 308 0 0 0 0 0 0 0 20 0 1 0 175199942 8765440 253 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 246406694799 0 0 4096 8192 0 0 0 17 1 0 0
/proc/6301/statm: 2140 253 197 79 0 133 0
[startup+0.10997 s]
/proc/loadavg: 2.00 2.00 1.86 5/75 6302
/proc/meminfo: memFree=1819040/2055920 swapFree=4192812/4192956
[pid=6301] ppid=6299 vsize=47556 CPUtime=0.01
/proc/6301/stat : 6301 (galacJ.sh) S 6299 6301 5322 0 -1 4194304 795 1728 0 0 0 0 0 1 18 0 1 0 175199942 48697344 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 246406114138 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6301/statm: 11889 362 245 79 0 217 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47556
[startup+0.518042 s]
/proc/loadavg: 2.00 2.00 1.86 5/75 6302
/proc/meminfo: memFree=1819040/2055920 swapFree=4192812/4192956
[pid=6301] ppid=6299 vsize=47556 CPUtime=0.01
/proc/6301/stat : 6301 (galacJ.sh) S 6299 6301 5322 0 -1 4194304 795 1728 0 0 0 0 0 1 18 0 1 0 175199942 48697344 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 246406114138 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6301/statm: 11889 362 245 79 0 217 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47556
[startup+1.34118 s]
/proc/loadavg: 2.00 2.00 1.86 3/83 6323
/proc/meminfo: memFree=1748312/2055920 swapFree=4192812/4192956
[pid=6301] ppid=6299 vsize=47556 CPUtime=0.01
/proc/6301/stat : 6301 (galacJ.sh) S 6299 6301 5322 0 -1 4194304 795 1728 0 0 0 0 0 1 18 0 1 0 175199942 48697344 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 246406114138 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6301/statm: 11889 362 245 79 0 217 0
[pid=6316] ppid=6301 vsize=862860 CPUtime=1.27
/proc/6316/stat : 6316 (java) R 6301 6301 5322 0 -1 0 20566 0 1 0 116 11 0 0 25 0 9 0 175199946 883568640 20319 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4072925079 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6316/statm: 215715 20319 2031 14 0 201620 0
[pid=6316/tid=6317] ppid=6301 vsize=862860 CPUtime=0.08
/proc/6316/task/6317/stat : 6317 (java) S 6301 6301 5322 0 -1 64 4587 0 0 0 7 1 0 0 16 0 9 0 175199950 883568640 20319 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6318] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6318/stat : 6318 (java) S 6301 6301 5322 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 175199950 883568640 20319 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6319] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6319/stat : 6319 (java) S 6301 6301 5322 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 175199950 883568640 20319 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6320] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6320/stat : 6320 (java) S 6301 6301 5322 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 175199954 883568640 20319 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6321] ppid=6301 vsize=862860 CPUtime=0.24
/proc/6316/task/6321/stat : 6321 (java) S 6301 6301 5322 0 -1 64 956 0 0 0 23 1 0 0 16 0 9 0 175199954 883568640 20319 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6322] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6322/stat : 6322 (java) S 6301 6301 5322 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 175199954 883568640 20319 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6323] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6323/stat : 6323 (java) S 6301 6301 5322 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 175199954 883568640 20319 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 910416
[startup+2.98747 s]
/proc/loadavg: 2.00 2.00 1.86 3/84 6324
/proc/meminfo: memFree=1744848/2055920 swapFree=4192812/4192956
[pid=6301] ppid=6299 vsize=47556 CPUtime=0.01
/proc/6301/stat : 6301 (galacJ.sh) S 6299 6301 5322 0 -1 4194304 795 1728 0 0 0 0 0 1 18 0 1 0 175199942 48697344 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 246406114138 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6301/statm: 11889 362 245 79 0 217 0
[pid=6316] ppid=6301 vsize=862860 CPUtime=2.9
/proc/6316/stat : 6316 (java) R 6301 6301 5322 0 -1 0 20589 0 1 0 279 11 0 0 25 0 9 0 175199946 883568640 20341 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4074072800 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6316/statm: 215715 20341 2031 14 0 201620 0
[pid=6316/tid=6317] ppid=6301 vsize=862860 CPUtime=0.08
/proc/6316/task/6317/stat : 6317 (java) S 6301 6301 5322 0 -1 64 4587 0 0 0 7 1 0 0 17 0 9 0 175199950 883568640 20341 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6318] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6318/stat : 6318 (java) S 6301 6301 5322 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 175199950 883568640 20341 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6319] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6319/stat : 6319 (java) S 6301 6301 5322 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 175199950 883568640 20341 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6320] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6320/stat : 6320 (java) S 6301 6301 5322 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 175199954 883568640 20341 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6321] ppid=6301 vsize=862860 CPUtime=0.27
/proc/6316/task/6321/stat : 6321 (java) S 6301 6301 5322 0 -1 64 972 0 0 0 26 1 0 0 15 0 9 0 175199954 883568640 20341 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6322] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6322/stat : 6322 (java) S 6301 6301 5322 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 175199954 883568640 20341 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6323] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6323/stat : 6323 (java) S 6301 6301 5322 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 175199954 883568640 20341 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6324] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6324/stat : 6324 (java) S 6301 6301 5322 0 -1 64 5 0 0 0 0 0 0 0 25 0 9 0 175200076 883568640 20341 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 910416
[startup+6.28406 s]
/proc/loadavg: 2.00 2.00 1.86 3/84 6324
/proc/meminfo: memFree=1744720/2055920 swapFree=4192812/4192956
[pid=6301] ppid=6299 vsize=47556 CPUtime=0.01
/proc/6301/stat : 6301 (galacJ.sh) S 6299 6301 5322 0 -1 4194304 795 1728 0 0 0 0 0 1 18 0 1 0 175199942 48697344 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 246406114138 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6301/statm: 11889 362 245 79 0 217 0
[pid=6316] ppid=6301 vsize=862860 CPUtime=6.16
/proc/6316/stat : 6316 (java) R 6301 6301 5322 0 -1 0 20590 0 1 0 605 11 0 0 25 0 9 0 175199946 883568640 20341 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073334941 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6316/statm: 215715 20341 2031 14 0 201620 0
[pid=6316/tid=6317] ppid=6301 vsize=862860 CPUtime=0.08
/proc/6316/task/6317/stat : 6317 (java) S 6301 6301 5322 0 -1 64 4587 0 0 0 7 1 0 0 16 0 9 0 175199950 883568640 20341 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6318] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6318/stat : 6318 (java) S 6301 6301 5322 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 175199950 883568640 20341 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6319] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6319/stat : 6319 (java) S 6301 6301 5322 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 175199950 883568640 20341 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6320] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6320/stat : 6320 (java) S 6301 6301 5322 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 175199954 883568640 20341 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6321] ppid=6301 vsize=862860 CPUtime=0.27
/proc/6316/task/6321/stat : 6321 (java) S 6301 6301 5322 0 -1 64 972 0 0 0 26 1 0 0 15 0 9 0 175199954 883568640 20341 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6322] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6322/stat : 6322 (java) S 6301 6301 5322 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 175199954 883568640 20341 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6323] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6323/stat : 6323 (java) S 6301 6301 5322 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 175199954 883568640 20341 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6324] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6324/stat : 6324 (java) S 6301 6301 5322 0 -1 64 5 0 0 0 0 0 0 0 25 0 9 0 175200076 883568640 20341 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 910416
[startup+12.7822 s]
/proc/loadavg: 2.00 2.00 1.86 3/84 6324
/proc/meminfo: memFree=1744792/2055920 swapFree=4192812/4192956
[pid=6301] ppid=6299 vsize=47556 CPUtime=0.01
/proc/6301/stat : 6301 (galacJ.sh) S 6299 6301 5322 0 -1 4194304 795 1728 0 0 0 0 0 1 18 0 1 0 175199942 48697344 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 246406114138 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6301/statm: 11889 362 245 79 0 217 0
[pid=6316] ppid=6301 vsize=862860 CPUtime=12.6
/proc/6316/stat : 6316 (java) R 6301 6301 5322 0 -1 0 20590 0 1 0 1249 11 0 0 25 0 9 0 175199946 883568640 20341 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4074064771 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6316/statm: 215715 20341 2031 14 0 201620 0
[pid=6316/tid=6317] ppid=6301 vsize=862860 CPUtime=0.08
/proc/6316/task/6317/stat : 6317 (java) S 6301 6301 5322 0 -1 64 4587 0 0 0 7 1 0 0 16 0 9 0 175199950 883568640 20341 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6318] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6318/stat : 6318 (java) S 6301 6301 5322 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 175199950 883568640 20341 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6319] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6319/stat : 6319 (java) S 6301 6301 5322 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 175199950 883568640 20341 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6320] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6320/stat : 6320 (java) S 6301 6301 5322 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 175199954 883568640 20341 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6321] ppid=6301 vsize=862860 CPUtime=0.27
/proc/6316/task/6321/stat : 6321 (java) S 6301 6301 5322 0 -1 64 972 0 0 0 26 1 0 0 16 0 9 0 175199954 883568640 20341 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6322] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6322/stat : 6322 (java) S 6301 6301 5322 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 175199954 883568640 20341 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6323] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6323/stat : 6323 (java) S 6301 6301 5322 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 175199954 883568640 20341 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6324] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6324/stat : 6324 (java) S 6301 6301 5322 0 -1 64 5 0 0 0 0 0 0 0 25 0 9 0 175200076 883568640 20341 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 910416
[startup+25.6554 s]
/proc/loadavg: 2.00 2.00 1.86 3/84 6324
/proc/meminfo: memFree=1744920/2055920 swapFree=4192812/4192956
[pid=6301] ppid=6299 vsize=47556 CPUtime=0.01
/proc/6301/stat : 6301 (galacJ.sh) S 6299 6301 5322 0 -1 4194304 795 1728 0 0 0 0 0 1 18 0 1 0 175199942 48697344 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 246406114138 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6301/statm: 11889 362 245 79 0 217 0
[pid=6316] ppid=6301 vsize=862860 CPUtime=25.36
/proc/6316/stat : 6316 (java) R 6301 6301 5322 0 -1 0 20590 0 1 0 2525 11 0 0 25 0 9 0 175199946 883568640 20341 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4074084592 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6316/statm: 215715 20341 2031 14 0 201620 0
[pid=6316/tid=6317] ppid=6301 vsize=862860 CPUtime=0.08
/proc/6316/task/6317/stat : 6317 (java) S 6301 6301 5322 0 -1 64 4587 0 0 0 7 1 0 0 16 0 9 0 175199950 883568640 20341 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6318] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6318/stat : 6318 (java) S 6301 6301 5322 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 175199950 883568640 20341 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6319] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6319/stat : 6319 (java) S 6301 6301 5322 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 175199950 883568640 20341 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6320] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6320/stat : 6320 (java) S 6301 6301 5322 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 175199954 883568640 20341 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6321] ppid=6301 vsize=862860 CPUtime=0.27
/proc/6316/task/6321/stat : 6321 (java) S 6301 6301 5322 0 -1 64 972 0 0 0 26 1 0 0 16 0 9 0 175199954 883568640 20341 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6322] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6322/stat : 6322 (java) S 6301 6301 5322 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 175199954 883568640 20341 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6323] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6323/stat : 6323 (java) S 6301 6301 5322 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 175199954 883568640 20341 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6324] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6324/stat : 6324 (java) S 6301 6301 5322 0 -1 64 5 0 0 0 0 0 0 0 25 0 9 0 175200076 883568640 20341 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 910416
[startup+51.3229 s]
/proc/loadavg: 2.07 2.02 1.87 3/84 6324
/proc/meminfo: memFree=1744984/2055920 swapFree=4192812/4192956
[pid=6301] ppid=6299 vsize=47556 CPUtime=0.01
/proc/6301/stat : 6301 (galacJ.sh) S 6299 6301 5322 0 -1 4194304 795 1728 0 0 0 0 0 1 18 0 1 0 175199942 48697344 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 246406114138 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6301/statm: 11889 362 245 79 0 217 0
[pid=6316] ppid=6301 vsize=862860 CPUtime=50.8
/proc/6316/stat : 6316 (java) R 6301 6301 5322 0 -1 0 20590 0 1 0 5068 12 0 0 25 0 9 0 175199946 883568640 20341 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4074064978 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6316/statm: 215715 20341 2031 14 0 201620 0
[pid=6316/tid=6317] ppid=6301 vsize=862860 CPUtime=0.08
/proc/6316/task/6317/stat : 6317 (java) S 6301 6301 5322 0 -1 64 4587 0 0 0 7 1 0 0 16 0 9 0 175199950 883568640 20341 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6318] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6318/stat : 6318 (java) S 6301 6301 5322 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 175199950 883568640 20341 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6319] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6319/stat : 6319 (java) S 6301 6301 5322 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 175199950 883568640 20341 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6320] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6320/stat : 6320 (java) S 6301 6301 5322 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 175199954 883568640 20341 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6321] ppid=6301 vsize=862860 CPUtime=0.27
/proc/6316/task/6321/stat : 6321 (java) S 6301 6301 5322 0 -1 64 972 0 0 0 26 1 0 0 16 0 9 0 175199954 883568640 20341 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6322] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6322/stat : 6322 (java) S 6301 6301 5322 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 175199954 883568640 20341 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6323] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6323/stat : 6323 (java) S 6301 6301 5322 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 175199954 883568640 20341 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6324] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6324/stat : 6324 (java) S 6301 6301 5322 0 -1 64 5 0 0 0 0 0 0 0 25 0 9 0 175200076 883568640 20341 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 910416
################
# More data... #
################
Current children cumulated CPU time (s) 220.97
Current children cumulated vsize (KiB) 910416
[startup+282.695 s]
/proc/loadavg: 2.23 2.16 1.95 3/91 6389
/proc/meminfo: memFree=1148072/2055920 swapFree=4192812/4192956
[pid=6301] ppid=6299 vsize=47556 CPUtime=0.01
/proc/6301/stat : 6301 (galacJ.sh) S 6299 6301 5322 0 -1 4194304 795 1728 0 0 0 0 0 1 18 0 1 0 175199942 48697344 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 246406114138 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6301/statm: 11889 362 245 79 0 217 0
[pid=6316] ppid=6301 vsize=862860 CPUtime=280.44
/proc/6316/stat : 6316 (java) R 6301 6301 5322 0 -1 0 25604 0 1 0 28027 17 0 0 25 0 9 0 175199946 883568640 25354 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4074069854 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6316/statm: 215715 25354 2031 14 0 201620 0
[pid=6316/tid=6317] ppid=6301 vsize=862860 CPUtime=0.19
/proc/6316/task/6317/stat : 6317 (java) S 6301 6301 5322 0 -1 64 9599 0 0 0 15 4 0 0 16 0 9 0 175199950 883568640 25354 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6316/tid=6318] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6318/stat : 6318 (java) S 6301 6301 5322 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 175199950 883568640 25354 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6319] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6319/stat : 6319 (java) S 6301 6301 5322 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 175199950 883568640 25354 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6320] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6320/stat : 6320 (java) S 6301 6301 5322 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 175199954 883568640 25354 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6321] ppid=6301 vsize=862860 CPUtime=0.27
/proc/6316/task/6321/stat : 6321 (java) S 6301 6301 5322 0 -1 64 973 0 0 0 26 1 0 0 16 0 9 0 175199954 883568640 25354 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6316/tid=6322] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6322/stat : 6322 (java) S 6301 6301 5322 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 175199954 883568640 25354 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6323] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6323/stat : 6323 (java) S 6301 6301 5322 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 175199954 883568640 25354 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6316/tid=6324] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6324/stat : 6324 (java) S 6301 6301 5322 0 -1 64 5 0 0 0 0 0 0 0 25 0 9 0 175200076 883568640 25354 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.45
Current children cumulated vsize (KiB) 910416
[startup+342.789 s]
/proc/loadavg: 2.52 2.24 1.99 3/91 6389
/proc/meminfo: memFree=1139368/2055920 swapFree=4192812/4192956
[pid=6301] ppid=6299 vsize=47556 CPUtime=0.01
/proc/6301/stat : 6301 (galacJ.sh) S 6299 6301 5322 0 -1 4194304 795 1728 0 0 0 0 0 1 18 0 1 0 175199942 48697344 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 246406114138 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6301/statm: 11889 362 245 79 0 217 0
[pid=6316] ppid=6301 vsize=862860 CPUtime=339.95
/proc/6316/stat : 6316 (java) R 6301 6301 5322 0 -1 0 25604 0 1 0 33978 17 0 0 25 0 9 0 175199946 883568640 25354 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4074069854 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6316/statm: 215715 25354 2031 14 0 201620 0
[pid=6316/tid=6317] ppid=6301 vsize=862860 CPUtime=0.19
/proc/6316/task/6317/stat : 6317 (java) S 6301 6301 5322 0 -1 64 9599 0 0 0 15 4 0 0 16 0 9 0 175199950 883568640 25354 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6316/tid=6318] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6318/stat : 6318 (java) S 6301 6301 5322 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 175199950 883568640 25354 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6319] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6319/stat : 6319 (java) S 6301 6301 5322 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 175199950 883568640 25354 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6320] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6320/stat : 6320 (java) S 6301 6301 5322 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 175199954 883568640 25354 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6321] ppid=6301 vsize=862860 CPUtime=0.27
/proc/6316/task/6321/stat : 6321 (java) S 6301 6301 5322 0 -1 64 973 0 0 0 26 1 0 0 16 0 9 0 175199954 883568640 25354 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6316/tid=6322] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6322/stat : 6322 (java) S 6301 6301 5322 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 175199954 883568640 25354 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6323] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6323/stat : 6323 (java) S 6301 6301 5322 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 175199954 883568640 25354 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6316/tid=6324] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6324/stat : 6324 (java) S 6301 6301 5322 0 -1 64 5 0 0 0 0 0 0 0 25 0 9 0 175200076 883568640 25354 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.96
Current children cumulated vsize (KiB) 910416
[startup+402.876 s]
/proc/loadavg: 2.50 2.28 2.02 3/91 6389
/proc/meminfo: memFree=1139304/2055920 swapFree=4192812/4192956
[pid=6301] ppid=6299 vsize=47556 CPUtime=0.01
/proc/6301/stat : 6301 (galacJ.sh) S 6299 6301 5322 0 -1 4194304 795 1728 0 0 0 0 0 1 18 0 1 0 175199942 48697344 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 246406114138 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6301/statm: 11889 362 245 79 0 217 0
[pid=6316] ppid=6301 vsize=862860 CPUtime=399.45
/proc/6316/stat : 6316 (java) R 6301 6301 5322 0 -1 0 25604 0 1 0 39927 18 0 0 25 0 9 0 175199946 883568640 25354 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4074064618 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6316/statm: 215715 25354 2031 14 0 201620 0
[pid=6316/tid=6317] ppid=6301 vsize=862860 CPUtime=0.19
/proc/6316/task/6317/stat : 6317 (java) S 6301 6301 5322 0 -1 64 9599 0 0 0 15 4 0 0 16 0 9 0 175199950 883568640 25354 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6316/tid=6318] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6318/stat : 6318 (java) S 6301 6301 5322 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 175199950 883568640 25354 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6319] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6319/stat : 6319 (java) S 6301 6301 5322 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 175199950 883568640 25354 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6320] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6320/stat : 6320 (java) S 6301 6301 5322 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 175199954 883568640 25354 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6321] ppid=6301 vsize=862860 CPUtime=0.27
/proc/6316/task/6321/stat : 6321 (java) S 6301 6301 5322 0 -1 64 973 0 0 0 26 1 0 0 16 0 9 0 175199954 883568640 25354 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6316/tid=6322] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6322/stat : 6322 (java) S 6301 6301 5322 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 175199954 883568640 25354 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6323] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6323/stat : 6323 (java) S 6301 6301 5322 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 175199954 883568640 25354 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6316/tid=6324] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6324/stat : 6324 (java) S 6301 6301 5322 0 -1 64 5 0 0 0 0 0 0 0 25 0 9 0 175200076 883568640 25354 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 399.46
Current children cumulated vsize (KiB) 910416
[startup+462.949 s]
/proc/loadavg: 2.34 2.28 2.03 3/90 6492
/proc/meminfo: memFree=1499048/2055920 swapFree=4192812/4192956
[pid=6301] ppid=6299 vsize=47556 CPUtime=0.01
/proc/6301/stat : 6301 (galacJ.sh) S 6299 6301 5322 0 -1 4194304 795 1728 0 0 0 0 0 1 18 0 1 0 175199942 48697344 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 246406114138 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6301/statm: 11889 362 245 79 0 217 0
[pid=6316] ppid=6301 vsize=862860 CPUtime=458.89
/proc/6316/stat : 6316 (java) R 6301 6301 5322 0 -1 0 25604 0 1 0 45862 27 0 0 25 0 9 0 175199946 883568640 25354 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4074064640 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6316/statm: 215715 25354 2031 14 0 201620 0
[pid=6316/tid=6317] ppid=6301 vsize=862860 CPUtime=0.19
/proc/6316/task/6317/stat : 6317 (java) S 6301 6301 5322 0 -1 64 9599 0 0 0 15 4 0 0 16 0 9 0 175199950 883568640 25354 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6316/tid=6318] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6318/stat : 6318 (java) S 6301 6301 5322 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 175199950 883568640 25354 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6319] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6319/stat : 6319 (java) S 6301 6301 5322 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 175199950 883568640 25354 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6320] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6320/stat : 6320 (java) S 6301 6301 5322 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 175199954 883568640 25354 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6321] ppid=6301 vsize=862860 CPUtime=0.27
/proc/6316/task/6321/stat : 6321 (java) S 6301 6301 5322 0 -1 64 973 0 0 0 26 1 0 0 16 0 9 0 175199954 883568640 25354 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6316/tid=6322] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6322/stat : 6322 (java) S 6301 6301 5322 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 175199954 883568640 25354 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6323] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6323/stat : 6323 (java) S 6301 6301 5322 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 175199954 883568640 25354 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6316/tid=6324] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6324/stat : 6324 (java) S 6301 6301 5322 0 -1 64 5 0 0 0 0 0 0 0 25 0 9 0 175200076 883568640 25354 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 458.9
Current children cumulated vsize (KiB) 910416
[startup+523.036 s]
/proc/loadavg: 2.17 2.24 2.03 3/90 6562
/proc/meminfo: memFree=1490088/2055920 swapFree=4192812/4192956
[pid=6301] ppid=6299 vsize=47556 CPUtime=0.01
/proc/6301/stat : 6301 (galacJ.sh) S 6299 6301 5322 0 -1 4194304 795 1728 0 0 0 0 0 1 18 0 1 0 175199942 48697344 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 246406114138 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6301/statm: 11889 362 245 79 0 217 0
[pid=6316] ppid=6301 vsize=862860 CPUtime=518.31
/proc/6316/stat : 6316 (java) R 6301 6301 5322 0 -1 0 25604 0 1 0 51794 37 0 0 25 0 9 0 175199946 883568640 25354 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4074064493 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6316/statm: 215715 25354 2031 14 0 201620 0
[pid=6316/tid=6317] ppid=6301 vsize=862860 CPUtime=0.19
/proc/6316/task/6317/stat : 6317 (java) S 6301 6301 5322 0 -1 64 9599 0 0 0 15 4 0 0 16 0 9 0 175199950 883568640 25354 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6316/tid=6318] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6318/stat : 6318 (java) S 6301 6301 5322 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 175199950 883568640 25354 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6319] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6319/stat : 6319 (java) S 6301 6301 5322 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 175199950 883568640 25354 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6320] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6320/stat : 6320 (java) S 6301 6301 5322 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 175199954 883568640 25354 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6321] ppid=6301 vsize=862860 CPUtime=0.27
/proc/6316/task/6321/stat : 6321 (java) S 6301 6301 5322 0 -1 64 973 0 0 0 26 1 0 0 16 0 9 0 175199954 883568640 25354 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6316/tid=6322] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6322/stat : 6322 (java) S 6301 6301 5322 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 175199954 883568640 25354 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6323] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6323/stat : 6323 (java) S 6301 6301 5322 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 175199954 883568640 25354 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6316/tid=6324] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6324/stat : 6324 (java) S 6301 6301 5322 0 -1 64 5 0 0 0 0 0 0 0 25 0 9 0 175200076 883568640 25354 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 518.32
Current children cumulated vsize (KiB) 910416
[startup+583.113 s]
/proc/loadavg: 2.18 2.23 2.04 3/84 6588
/proc/meminfo: memFree=1483424/2055920 swapFree=4192812/4192956
[pid=6301] ppid=6299 vsize=47556 CPUtime=0.01
/proc/6301/stat : 6301 (galacJ.sh) S 6299 6301 5322 0 -1 4194304 795 1728 0 0 0 0 0 1 18 0 1 0 175199942 48697344 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 246406114138 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6301/statm: 11889 362 245 79 0 217 0
[pid=6316] ppid=6301 vsize=862860 CPUtime=577.81
/proc/6316/stat : 6316 (java) R 6301 6301 5322 0 -1 0 25604 0 1 0 57743 38 0 0 25 0 9 0 175199946 883568640 25354 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4074064493 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6316/statm: 215715 25354 2031 14 0 201620 0
[pid=6316/tid=6317] ppid=6301 vsize=862860 CPUtime=0.19
/proc/6316/task/6317/stat : 6317 (java) S 6301 6301 5322 0 -1 64 9599 0 0 0 15 4 0 0 16 0 9 0 175199950 883568640 25354 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6316/tid=6318] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6318/stat : 6318 (java) S 6301 6301 5322 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 175199950 883568640 25354 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6319] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6319/stat : 6319 (java) S 6301 6301 5322 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 175199950 883568640 25354 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6320] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6320/stat : 6320 (java) S 6301 6301 5322 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 175199954 883568640 25354 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6321] ppid=6301 vsize=862860 CPUtime=0.27
/proc/6316/task/6321/stat : 6321 (java) S 6301 6301 5322 0 -1 64 973 0 0 0 26 1 0 0 16 0 9 0 175199954 883568640 25354 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6316/tid=6322] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6322/stat : 6322 (java) S 6301 6301 5322 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 175199954 883568640 25354 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6316/tid=6323] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6323/stat : 6323 (java) S 6301 6301 5322 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 175199954 883568640 25354 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6316/tid=6324] ppid=6301 vsize=862860 CPUtime=0
/proc/6316/task/6324/stat : 6324 (java) S 6301 6301 5322 0 -1 64 5 0 0 0 0 0 0 0 25 0 9 0 175200076 883568640 25354 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 577.82
Current children cumulated vsize (KiB) 910416
Child status: 0
Real time (s): 627.861
CPU time (s): 622.193
CPU user time (s): 621.768
CPU system time (s): 0.425935
CPU usage (%): 99.0973
Max. virtual memory (cumulated for all children) (KiB): 910416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 621.767
system time used= 0.425935
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28181
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= 13765
involuntary context switches= 28624
runsolver used 0.725889 s user time and 2.17467 s system time
The end
Begin job on node61 on Mon Jan 8 14:53:41 UTC 2007
IDJOB= 224207
IDBENCH= 5727
FILE ID= node61/224207-1168268021
PBS_JOBID= 3482788
Free space on /tmp= 66517 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.5/rand-2-40-25-180-500-11_ext.xml
COMMAND LINE= /tmp/evaluation/224207-1168268021/galacJ.sh /tmp/evaluation/224207-1168268021/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-224207-1168268021 -o ROOT/results/node61/solver-224207-1168268021 -C 1800 -M 900 /tmp/evaluation/224207-1168268021/galacJ.sh /tmp/evaluation/224207-1168268021/unknown.xml
META MD5SUM SOLVER= ffd78bd56f274e94bd0d0faf76d262cb
MD5SUM BENCH= cddde83e97abaa8727713e4b7e33af6d
RANDOM SEED= 306898201
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.259
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.259
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: 1819456 kB
Buffers: 41852 kB
Cached: 115024 kB
SwapCached: 0 kB
Active: 107472 kB
Inactive: 73208 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1819456 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3660 kB
Writeback: 0 kB
Mapped: 35564 kB
Slab: 41244 kB
Committed_AS: 3926420 kB
PageTables: 1768 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= 66428 MiB
End job on node61 on Mon Jan 8 15:04:10 UTC 2007