0.04 rm: No match.
0.04 c --- Preproc Stats ---
0.04 c benchs : unknown.xml
0.87 c start processing
0.87 c start relation processing
0.87 c start cnf exporting
0.91 c parsing time : 0.699
0.91 c preprocessing time : 0.747
0.92
0.92 c Nary constraints - conflicts : 0 supports : 0
0.92 c Binary constraints - conflicts : 414 supports :0
0.92 c max arity constraint : 2
0.92 c Max Tuples generated 0
0.92 c relations : 414
0.92 c relations BDD: 0
0.92 c vars : 441 - clauses : 12223
0.92
0.95 c Start Sat4J solver
0.95
511.56 s UNSATISFIABLE
511.57 c {propagations=13917874, learnedliterals=18, changedreason=0, reduceddb=0, starts=18, learnedbinaryclauses=107, learnedclauses=149223, reducedliterals=5896928, learnedternaryclauses=309, conflicts=217038, serialVersionUID=1, inspects=1509605289, rootSimplifications=0, decisions=261467}
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-228407-1168298154 -o ROOT/results/node19/solver-228407-1168298154 -C 1800 -M 900 /tmp/evaluation/228407-1168298154/galacJ.sh /tmp/evaluation/228407-1168298154/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: 0.85 0.97 1.03 5/86 14418
/proc/meminfo: memFree=1322488/2055920 swapFree=4171244/4192956
[pid=14417] ppid=14415 vsize=18540 CPUtime=0
/proc/14417/stat : 14417 (runsolver) R 14415 14417 14275 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 178210017 18984960 279 18446744073709551615 4194304 4267372 548682069072 18446744073709551615 255236566311 0 0 4096 24578 0 0 0 17 1 0 0
/proc/14417/statm: 4635 279 244 17 0 2626 0
[startup+0.107396 s]
/proc/loadavg: 0.85 0.97 1.03 5/86 14418
/proc/meminfo: memFree=1322488/2055920 swapFree=4171244/4192956
[pid=14417] ppid=14415 vsize=47556 CPUtime=0
/proc/14417/stat : 14417 (galacJ.sh) S 14415 14417 14275 0 -1 4194304 798 1728 0 0 0 0 0 0 20 0 1 0 178210017 48697344 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/14417/statm: 11889 363 246 79 0 217 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 47556
[startup+0.515466 s]
/proc/loadavg: 0.85 0.97 1.03 5/86 14418
/proc/meminfo: memFree=1322488/2055920 swapFree=4171244/4192956
[pid=14417] ppid=14415 vsize=47556 CPUtime=0
/proc/14417/stat : 14417 (galacJ.sh) S 14415 14417 14275 0 -1 4194304 798 1728 0 0 0 0 0 0 20 0 1 0 178210017 48697344 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/14417/statm: 11889 363 246 79 0 217 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 47556
[startup+1.33862 s]
/proc/loadavg: 0.85 0.97 1.03 3/97 14450
/proc/meminfo: memFree=1281680/2055920 swapFree=4171244/4192956
[pid=14417] ppid=14415 vsize=47556 CPUtime=0
/proc/14417/stat : 14417 (galacJ.sh) S 14415 14417 14275 0 -1 4194304 798 1728 0 0 0 0 0 0 20 0 1 0 178210017 48697344 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/14417/statm: 11889 363 246 79 0 217 0
[pid=14432] ppid=14417 vsize=862724 CPUtime=1.28
/proc/14432/stat : 14432 (java) R 14417 14417 14275 0 -1 0 12013 0 1 0 120 8 0 0 25 0 9 0 178210021 883429376 11767 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4074048317 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14432/statm: 215681 11767 2019 14 0 201586 0
[pid=14432/tid=14433] ppid=14417 vsize=862724 CPUtime=0.03
/proc/14432/task/14433/stat : 14433 (java) S 14417 14417 14275 0 -1 64 298 0 0 0 3 0 0 0 17 0 9 0 178210025 883429376 11767 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14432/tid=14434] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14434/stat : 14434 (java) S 14417 14417 14275 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 178210025 883429376 11767 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14432/tid=14435] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14435/stat : 14435 (java) S 14417 14417 14275 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 178210025 883429376 11767 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14432/tid=14436] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14436/stat : 14436 (java) S 14417 14417 14275 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 178210028 883429376 11767 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14432/tid=14437] ppid=14417 vsize=862724 CPUtime=0.26
/proc/14432/task/14437/stat : 14437 (java) S 14417 14417 14275 0 -1 64 972 0 0 0 24 2 0 0 16 0 9 0 178210028 883429376 11767 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14432/tid=14438] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14438/stat : 14438 (java) S 14417 14417 14275 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 178210028 883429376 11767 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14432/tid=14439] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14439/stat : 14439 (java) S 14417 14417 14275 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 178210028 883429376 11767 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14432/tid=14450] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14450/stat : 14450 (java) S 14417 14417 14275 0 -1 64 5 0 0 0 0 0 0 0 25 0 9 0 178210113 883429376 11767 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) 910280
[startup+2.98493 s]
/proc/loadavg: 0.85 0.97 1.03 3/97 14450
/proc/meminfo: memFree=1281680/2055920 swapFree=4171244/4192956
[pid=14417] ppid=14415 vsize=47556 CPUtime=0
/proc/14417/stat : 14417 (galacJ.sh) S 14415 14417 14275 0 -1 4194304 798 1728 0 0 0 0 0 0 20 0 1 0 178210017 48697344 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/14417/statm: 11889 363 246 79 0 217 0
[pid=14432] ppid=14417 vsize=862724 CPUtime=2.91
/proc/14432/stat : 14432 (java) R 14417 14417 14275 0 -1 0 12014 0 1 0 283 8 0 0 25 0 9 0 178210021 883429376 11767 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4074052766 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14432/statm: 215681 11767 2019 14 0 201586 0
[pid=14432/tid=14433] ppid=14417 vsize=862724 CPUtime=0.03
/proc/14432/task/14433/stat : 14433 (java) S 14417 14417 14275 0 -1 64 298 0 0 0 3 0 0 0 16 0 9 0 178210025 883429376 11767 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14432/tid=14434] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14434/stat : 14434 (java) S 14417 14417 14275 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 178210025 883429376 11767 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14432/tid=14435] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14435/stat : 14435 (java) S 14417 14417 14275 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 178210025 883429376 11767 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14432/tid=14436] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14436/stat : 14436 (java) S 14417 14417 14275 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 178210028 883429376 11767 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14432/tid=14437] ppid=14417 vsize=862724 CPUtime=0.26
/proc/14432/task/14437/stat : 14437 (java) S 14417 14417 14275 0 -1 64 972 0 0 0 24 2 0 0 16 0 9 0 178210028 883429376 11767 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14432/tid=14438] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14438/stat : 14438 (java) S 14417 14417 14275 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 178210028 883429376 11767 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14432/tid=14439] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14439/stat : 14439 (java) S 14417 14417 14275 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 178210028 883429376 11767 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14432/tid=14450] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14450/stat : 14450 (java) S 14417 14417 14275 0 -1 64 5 0 0 0 0 0 0 0 25 0 9 0 178210113 883429376 11767 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) 910280
[startup+6.27755 s]
/proc/loadavg: 0.94 0.98 1.04 3/97 14450
/proc/meminfo: memFree=1281488/2055920 swapFree=4171244/4192956
[pid=14417] ppid=14415 vsize=47556 CPUtime=0
/proc/14417/stat : 14417 (galacJ.sh) S 14415 14417 14275 0 -1 4194304 798 1728 0 0 0 0 0 0 20 0 1 0 178210017 48697344 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/14417/statm: 11889 363 246 79 0 217 0
[pid=14432] ppid=14417 vsize=862724 CPUtime=6.19
/proc/14432/stat : 14432 (java) R 14417 14417 14275 0 -1 0 12014 0 1 0 611 8 0 0 25 0 9 0 178210021 883429376 11767 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4074048750 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14432/statm: 215681 11767 2019 14 0 201586 0
[pid=14432/tid=14433] ppid=14417 vsize=862724 CPUtime=0.03
/proc/14432/task/14433/stat : 14433 (java) S 14417 14417 14275 0 -1 64 298 0 0 0 3 0 0 0 16 0 9 0 178210025 883429376 11767 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14432/tid=14434] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14434/stat : 14434 (java) S 14417 14417 14275 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 178210025 883429376 11767 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14432/tid=14435] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14435/stat : 14435 (java) S 14417 14417 14275 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 178210025 883429376 11767 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14432/tid=14436] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14436/stat : 14436 (java) S 14417 14417 14275 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 178210028 883429376 11767 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14432/tid=14437] ppid=14417 vsize=862724 CPUtime=0.26
/proc/14432/task/14437/stat : 14437 (java) S 14417 14417 14275 0 -1 64 972 0 0 0 24 2 0 0 16 0 9 0 178210028 883429376 11767 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14432/tid=14438] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14438/stat : 14438 (java) S 14417 14417 14275 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 178210028 883429376 11767 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14432/tid=14439] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14439/stat : 14439 (java) S 14417 14417 14275 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 178210028 883429376 11767 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14432/tid=14450] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14450/stat : 14450 (java) S 14417 14417 14275 0 -1 64 5 0 0 0 0 0 0 0 25 0 9 0 178210113 883429376 11767 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) 910280
[startup+12.7678 s]
/proc/loadavg: 1.02 1.00 1.04 3/97 14450
/proc/meminfo: memFree=1281496/2055920 swapFree=4171244/4192956
[pid=14417] ppid=14415 vsize=47556 CPUtime=0
/proc/14417/stat : 14417 (galacJ.sh) S 14415 14417 14275 0 -1 4194304 798 1728 0 0 0 0 0 0 20 0 1 0 178210017 48697344 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/14417/statm: 11889 363 246 79 0 217 0
[pid=14432] ppid=14417 vsize=862724 CPUtime=12.65
/proc/14432/stat : 14432 (java) R 14417 14417 14275 0 -1 0 12014 0 1 0 1257 8 0 0 25 0 9 0 178210021 883429376 11767 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4074052766 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14432/statm: 215681 11767 2019 14 0 201586 0
[pid=14432/tid=14433] ppid=14417 vsize=862724 CPUtime=0.03
/proc/14432/task/14433/stat : 14433 (java) S 14417 14417 14275 0 -1 64 298 0 0 0 3 0 0 0 16 0 9 0 178210025 883429376 11767 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14432/tid=14434] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14434/stat : 14434 (java) S 14417 14417 14275 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 178210025 883429376 11767 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14432/tid=14435] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14435/stat : 14435 (java) S 14417 14417 14275 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 178210025 883429376 11767 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14432/tid=14436] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14436/stat : 14436 (java) S 14417 14417 14275 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 178210028 883429376 11767 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14432/tid=14437] ppid=14417 vsize=862724 CPUtime=0.26
/proc/14432/task/14437/stat : 14437 (java) S 14417 14417 14275 0 -1 64 972 0 0 0 24 2 0 0 17 0 9 0 178210028 883429376 11767 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14432/tid=14438] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14438/stat : 14438 (java) S 14417 14417 14275 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 178210028 883429376 11767 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14432/tid=14439] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14439/stat : 14439 (java) R 14417 14417 14275 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 178210028 883429376 11767 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14432/tid=14450] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14450/stat : 14450 (java) S 14417 14417 14275 0 -1 64 5 0 0 0 0 0 0 0 25 0 9 0 178210113 883429376 11767 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 910280
[startup+25.6302 s]
/proc/loadavg: 1.24 1.05 1.06 3/97 14450
/proc/meminfo: memFree=1281560/2055920 swapFree=4171244/4192956
[pid=14417] ppid=14415 vsize=47556 CPUtime=0
/proc/14417/stat : 14417 (galacJ.sh) S 14415 14417 14275 0 -1 4194304 798 1728 0 0 0 0 0 0 20 0 1 0 178210017 48697344 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/14417/statm: 11889 363 246 79 0 217 0
[pid=14432] ppid=14417 vsize=862724 CPUtime=25.45
/proc/14432/stat : 14432 (java) R 14417 14417 14275 0 -1 0 12015 0 1 0 2537 8 0 0 25 0 9 0 178210021 883429376 11768 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4074018870 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14432/statm: 215681 11768 2019 14 0 201586 0
[pid=14432/tid=14433] ppid=14417 vsize=862724 CPUtime=0.03
/proc/14432/task/14433/stat : 14433 (java) S 14417 14417 14275 0 -1 64 298 0 0 0 3 0 0 0 16 0 9 0 178210025 883429376 11768 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14432/tid=14434] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14434/stat : 14434 (java) S 14417 14417 14275 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 178210025 883429376 11768 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14432/tid=14435] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14435/stat : 14435 (java) S 14417 14417 14275 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 178210025 883429376 11768 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14432/tid=14436] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14436/stat : 14436 (java) S 14417 14417 14275 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 178210028 883429376 11768 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14432/tid=14437] ppid=14417 vsize=862724 CPUtime=0.26
/proc/14432/task/14437/stat : 14437 (java) S 14417 14417 14275 0 -1 64 973 0 0 0 24 2 0 0 16 0 9 0 178210028 883429376 11768 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14432/tid=14438] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14438/stat : 14438 (java) S 14417 14417 14275 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 178210028 883429376 11768 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14432/tid=14439] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14439/stat : 14439 (java) S 14417 14417 14275 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 178210028 883429376 11768 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14432/tid=14450] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14450/stat : 14450 (java) S 14417 14417 14275 0 -1 64 5 0 0 0 0 0 0 0 25 0 9 0 178210113 883429376 11768 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 910280
[startup+51.292 s]
/proc/loadavg: 1.50 1.12 1.08 3/97 14450
/proc/meminfo: memFree=1281688/2055920 swapFree=4171244/4192956
[pid=14417] ppid=14415 vsize=47556 CPUtime=0
/proc/14417/stat : 14417 (galacJ.sh) S 14415 14417 14275 0 -1 4194304 798 1728 0 0 0 0 0 0 20 0 1 0 178210017 48697344 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/14417/statm: 11889 363 246 79 0 217 0
[pid=14432] ppid=14417 vsize=862724 CPUtime=50.98
/proc/14432/stat : 14432 (java) R 14417 14417 14275 0 -1 0 12015 0 1 0 5090 8 0 0 25 0 9 0 178210021 883429376 11768 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4074052738 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14432/statm: 215681 11768 2019 14 0 201586 0
[pid=14432/tid=14433] ppid=14417 vsize=862724 CPUtime=0.03
/proc/14432/task/14433/stat : 14433 (java) S 14417 14417 14275 0 -1 64 298 0 0 0 3 0 0 0 16 0 9 0 178210025 883429376 11768 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14432/tid=14434] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14434/stat : 14434 (java) S 14417 14417 14275 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 178210025 883429376 11768 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14432/tid=14435] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14435/stat : 14435 (java) S 14417 14417 14275 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 178210025 883429376 11768 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14432/tid=14436] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14436/stat : 14436 (java) S 14417 14417 14275 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 178210028 883429376 11768 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14432/tid=14437] ppid=14417 vsize=862724 CPUtime=0.26
/proc/14432/task/14437/stat : 14437 (java) S 14417 14417 14275 0 -1 64 973 0 0 0 24 2 0 0 16 0 9 0 178210028 883429376 11768 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14432/tid=14438] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14438/stat : 14438 (java) S 14417 14417 14275 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 178210028 883429376 11768 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14432/tid=14439] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14439/stat : 14439 (java) S 14417 14417 14275 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 178210028 883429376 11768 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14432/tid=14450] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14450/stat : 14450 (java) S 14417 14417 14275 0 -1 64 5 0 0 0 0 0 0 0 25 0 9 0 178210113 883429376 11768 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.98
################
# More data... #
################
Current children cumulated CPU time (s) 102.01
Current children cumulated vsize (KiB) 910280
[startup+162.584 s]
/proc/loadavg: 1.93 1.40 1.18 3/97 14450
/proc/meminfo: memFree=1275992/2055920 swapFree=4171244/4192956
[pid=14417] ppid=14415 vsize=47556 CPUtime=0
/proc/14417/stat : 14417 (galacJ.sh) S 14415 14417 14275 0 -1 4194304 798 1728 0 0 0 0 0 0 20 0 1 0 178210017 48697344 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/14417/statm: 11889 363 246 79 0 217 0
[pid=14432] ppid=14417 vsize=862724 CPUtime=161.74
/proc/14432/stat : 14432 (java) R 14417 14417 14275 0 -1 0 13456 0 1 0 16163 11 0 0 25 0 9 0 178210021 883429376 13209 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4074048329 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14432/statm: 215681 13209 2019 14 0 201586 0
[pid=14432/tid=14433] ppid=14417 vsize=862724 CPUtime=0.03
/proc/14432/task/14433/stat : 14433 (java) S 14417 14417 14275 0 -1 64 298 0 0 0 3 0 0 0 16 0 9 0 178210025 883429376 13209 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14432/tid=14434] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14434/stat : 14434 (java) S 14417 14417 14275 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 178210025 883429376 13209 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14432/tid=14435] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14435/stat : 14435 (java) S 14417 14417 14275 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 178210025 883429376 13209 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14432/tid=14436] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14436/stat : 14436 (java) S 14417 14417 14275 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 178210028 883429376 13209 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14432/tid=14437] ppid=14417 vsize=862724 CPUtime=0.26
/proc/14432/task/14437/stat : 14437 (java) S 14417 14417 14275 0 -1 64 973 0 0 0 24 2 0 0 17 0 9 0 178210028 883429376 13209 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14432/tid=14438] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14438/stat : 14438 (java) S 14417 14417 14275 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 178210028 883429376 13209 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14432/tid=14439] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14439/stat : 14439 (java) S 14417 14417 14275 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 178210028 883429376 13209 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14432/tid=14450] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14450/stat : 14450 (java) S 14417 14417 14275 0 -1 64 5 0 0 0 0 0 0 0 25 0 9 0 178210113 883429376 13209 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.74
Current children cumulated vsize (KiB) 910280
[startup+222.613 s]
/proc/loadavg: 1.97 1.51 1.23 3/97 14452
/proc/meminfo: memFree=1269528/2055920 swapFree=4171244/4192956
[pid=14417] ppid=14415 vsize=47556 CPUtime=0
/proc/14417/stat : 14417 (galacJ.sh) S 14415 14417 14275 0 -1 4194304 798 1728 0 0 0 0 0 0 20 0 1 0 178210017 48697344 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/14417/statm: 11889 363 246 79 0 217 0
[pid=14432] ppid=14417 vsize=862724 CPUtime=221.48
/proc/14432/stat : 14432 (java) R 14417 14417 14275 0 -1 0 15066 0 1 0 22134 14 0 0 25 0 9 0 178210021 883429376 14819 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4074048306 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14432/statm: 215681 14819 2019 14 0 201586 0
[pid=14432/tid=14433] ppid=14417 vsize=862724 CPUtime=0.03
/proc/14432/task/14433/stat : 14433 (java) S 14417 14417 14275 0 -1 64 298 0 0 0 3 0 0 0 16 0 9 0 178210025 883429376 14819 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14432/tid=14434] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14434/stat : 14434 (java) S 14417 14417 14275 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 178210025 883429376 14819 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14432/tid=14435] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14435/stat : 14435 (java) S 14417 14417 14275 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 178210025 883429376 14819 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14432/tid=14436] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14436/stat : 14436 (java) S 14417 14417 14275 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 178210028 883429376 14819 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14432/tid=14437] ppid=14417 vsize=862724 CPUtime=0.26
/proc/14432/task/14437/stat : 14437 (java) S 14417 14417 14275 0 -1 64 973 0 0 0 24 2 0 0 17 0 9 0 178210028 883429376 14819 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14432/tid=14438] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14438/stat : 14438 (java) S 14417 14417 14275 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 178210028 883429376 14819 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14432/tid=14439] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14439/stat : 14439 (java) S 14417 14417 14275 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 178210028 883429376 14819 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14432/tid=14450] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14450/stat : 14450 (java) S 14417 14417 14275 0 -1 64 5 0 0 0 0 0 0 0 25 0 9 0 178210113 883429376 14819 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.48
Current children cumulated vsize (KiB) 910280
[startup+282.65 s]
/proc/loadavg: 1.99 1.59 1.28 3/97 14452
/proc/meminfo: memFree=1264984/2055920 swapFree=4171244/4192956
[pid=14417] ppid=14415 vsize=47556 CPUtime=0
/proc/14417/stat : 14417 (galacJ.sh) S 14415 14417 14275 0 -1 4194304 798 1728 0 0 0 0 0 0 20 0 1 0 178210017 48697344 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/14417/statm: 11889 363 246 79 0 217 0
[pid=14432] ppid=14417 vsize=862724 CPUtime=281.24
/proc/14432/stat : 14432 (java) R 14417 14417 14275 0 -1 0 16189 0 1 0 28108 16 0 0 25 0 9 0 178210021 883429376 15942 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4074052766 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14432/statm: 215681 15942 2019 14 0 201586 0
[pid=14432/tid=14433] ppid=14417 vsize=862724 CPUtime=0.03
/proc/14432/task/14433/stat : 14433 (java) S 14417 14417 14275 0 -1 64 298 0 0 0 3 0 0 0 16 0 9 0 178210025 883429376 15942 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14432/tid=14434] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14434/stat : 14434 (java) S 14417 14417 14275 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 178210025 883429376 15942 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14432/tid=14435] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14435/stat : 14435 (java) S 14417 14417 14275 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 178210025 883429376 15942 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14432/tid=14436] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14436/stat : 14436 (java) S 14417 14417 14275 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 178210028 883429376 15942 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14432/tid=14437] ppid=14417 vsize=862724 CPUtime=0.26
/proc/14432/task/14437/stat : 14437 (java) S 14417 14417 14275 0 -1 64 973 0 0 0 24 2 0 0 17 0 9 0 178210028 883429376 15942 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14432/tid=14438] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14438/stat : 14438 (java) S 14417 14417 14275 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 178210028 883429376 15942 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14432/tid=14439] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14439/stat : 14439 (java) S 14417 14417 14275 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 178210028 883429376 15942 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14432/tid=14450] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14450/stat : 14450 (java) S 14417 14417 14275 0 -1 64 5 0 0 0 0 0 0 0 25 0 9 0 178210113 883429376 15942 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.24
Current children cumulated vsize (KiB) 910280
[startup+342.71 s]
/proc/loadavg: 1.91 1.65 1.31 3/104 14877
/proc/meminfo: memFree=1200808/2055920 swapFree=4171244/4192956
[pid=14417] ppid=14415 vsize=47556 CPUtime=0
/proc/14417/stat : 14417 (galacJ.sh) S 14415 14417 14275 0 -1 4194304 798 1728 0 0 0 0 0 0 20 0 1 0 178210017 48697344 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/14417/statm: 11889 363 246 79 0 217 0
[pid=14432] ppid=14417 vsize=862724 CPUtime=340.95
/proc/14432/stat : 14432 (java) R 14417 14417 14275 0 -1 0 21813 0 1 0 34074 21 0 0 25 0 9 0 178210021 883429376 21565 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4074052766 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14432/statm: 215681 21565 2023 14 0 201586 0
[pid=14432/tid=14433] ppid=14417 vsize=862724 CPUtime=0.16
/proc/14432/task/14433/stat : 14433 (java) S 14417 14417 14275 0 -1 64 5836 0 0 0 14 2 0 0 16 0 9 0 178210025 883429376 21565 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14432/tid=14434] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14434/stat : 14434 (java) S 14417 14417 14275 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 178210025 883429376 21565 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14432/tid=14435] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14435/stat : 14435 (java) S 14417 14417 14275 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 178210025 883429376 21565 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14432/tid=14436] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14436/stat : 14436 (java) S 14417 14417 14275 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 178210028 883429376 21565 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14432/tid=14437] ppid=14417 vsize=862724 CPUtime=0.26
/proc/14432/task/14437/stat : 14437 (java) S 14417 14417 14275 0 -1 64 973 0 0 0 24 2 0 0 17 0 9 0 178210028 883429376 21565 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14432/tid=14438] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14438/stat : 14438 (java) S 14417 14417 14275 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 178210028 883429376 21565 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14432/tid=14439] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14439/stat : 14439 (java) S 14417 14417 14275 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 178210028 883429376 21565 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14432/tid=14450] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14450/stat : 14450 (java) S 14417 14417 14275 0 -1 64 5 0 0 0 0 0 0 0 25 0 9 0 178210113 883429376 21565 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 340.95
Current children cumulated vsize (KiB) 910280
[startup+402.802 s]
/proc/loadavg: 1.48 1.58 1.31 2/87 14899
/proc/meminfo: memFree=1250368/2055920 swapFree=4171244/4192956
[pid=14417] ppid=14415 vsize=47556 CPUtime=0
/proc/14417/stat : 14417 (galacJ.sh) S 14415 14417 14275 0 -1 4194304 798 1728 0 0 0 0 0 0 20 0 1 0 178210017 48697344 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/14417/statm: 11889 363 246 79 0 217 0
[pid=14432] ppid=14417 vsize=862724 CPUtime=400.93
/proc/14432/stat : 14432 (java) R 14417 14417 14275 0 -1 0 21813 0 1 0 40071 22 0 0 25 0 9 0 178210021 883429376 21565 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4074082313 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14432/statm: 215681 21565 2023 14 0 201586 0
[pid=14432/tid=14433] ppid=14417 vsize=862724 CPUtime=0.16
/proc/14432/task/14433/stat : 14433 (java) S 14417 14417 14275 0 -1 64 5836 0 0 0 14 2 0 0 16 0 9 0 178210025 883429376 21565 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14432/tid=14434] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14434/stat : 14434 (java) S 14417 14417 14275 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 178210025 883429376 21565 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14432/tid=14435] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14435/stat : 14435 (java) S 14417 14417 14275 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 178210025 883429376 21565 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14432/tid=14436] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14436/stat : 14436 (java) S 14417 14417 14275 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 178210028 883429376 21565 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14432/tid=14437] ppid=14417 vsize=862724 CPUtime=0.26
/proc/14432/task/14437/stat : 14437 (java) S 14417 14417 14275 0 -1 64 973 0 0 0 24 2 0 0 17 0 9 0 178210028 883429376 21565 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14432/tid=14438] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14438/stat : 14438 (java) S 14417 14417 14275 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 178210028 883429376 21565 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14432/tid=14439] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14439/stat : 14439 (java) S 14417 14417 14275 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 178210028 883429376 21565 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14432/tid=14450] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14450/stat : 14450 (java) S 14417 14417 14275 0 -1 64 5 0 0 0 0 0 0 0 25 0 9 0 178210113 883429376 21565 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 400.93
Current children cumulated vsize (KiB) 910280
[startup+462.856 s]
/proc/loadavg: 1.24 1.49 1.29 2/87 14899
/proc/meminfo: memFree=1250432/2055920 swapFree=4171244/4192956
[pid=14417] ppid=14415 vsize=47556 CPUtime=0
/proc/14417/stat : 14417 (galacJ.sh) S 14415 14417 14275 0 -1 4194304 798 1728 0 0 0 0 0 0 20 0 1 0 178210017 48697344 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/14417/statm: 11889 363 246 79 0 217 0
[pid=14432] ppid=14417 vsize=862724 CPUtime=460.96
/proc/14432/stat : 14432 (java) R 14417 14417 14275 0 -1 0 21813 0 1 0 46073 23 0 0 25 0 9 0 178210021 883429376 21565 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4074052766 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14432/statm: 215681 21565 2023 14 0 201586 0
[pid=14432/tid=14433] ppid=14417 vsize=862724 CPUtime=0.16
/proc/14432/task/14433/stat : 14433 (java) S 14417 14417 14275 0 -1 64 5836 0 0 0 14 2 0 0 16 0 9 0 178210025 883429376 21565 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14432/tid=14434] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14434/stat : 14434 (java) S 14417 14417 14275 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 178210025 883429376 21565 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14432/tid=14435] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14435/stat : 14435 (java) S 14417 14417 14275 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 178210025 883429376 21565 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14432/tid=14436] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14436/stat : 14436 (java) S 14417 14417 14275 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 178210028 883429376 21565 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14432/tid=14437] ppid=14417 vsize=862724 CPUtime=0.26
/proc/14432/task/14437/stat : 14437 (java) S 14417 14417 14275 0 -1 64 973 0 0 0 24 2 0 0 17 0 9 0 178210028 883429376 21565 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14432/tid=14438] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14438/stat : 14438 (java) S 14417 14417 14275 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 178210028 883429376 21565 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14432/tid=14439] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14439/stat : 14439 (java) S 14417 14417 14275 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 178210028 883429376 21565 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14432/tid=14450] ppid=14417 vsize=862724 CPUtime=0
/proc/14432/task/14450/stat : 14450 (java) S 14417 14417 14275 0 -1 64 5 0 0 0 0 0 0 0 25 0 9 0 178210113 883429376 21565 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 460.96
Current children cumulated vsize (KiB) 910280
Child status: 0
Real time (s): 511.605
CPU time (s): 509.704
CPU user time (s): 509.439
CPU system time (s): 0.265959
CPU usage (%): 99.6285
Max. virtual memory (cumulated for all children) (KiB): 910280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 509.439
system time used= 0.265959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24396
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= 11402
involuntary context switches= 15715
runsolver used 0.58991 s user time and 1.54476 s system time
The end
Begin job on node19 on Mon Jan 8 23:15:54 UTC 2007
IDJOB= 228407
IDBENCH= 6189
FILE ID= node19/228407-1168298154
PBS_JOBID= 3502146
Free space on /tmp= 66320 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.2/rand-2-40-11-414-200-41_ext.xml
COMMAND LINE= /tmp/evaluation/228407-1168298154/galacJ.sh /tmp/evaluation/228407-1168298154/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-228407-1168298154 -o ROOT/results/node19/solver-228407-1168298154 -C 1800 -M 900 /tmp/evaluation/228407-1168298154/galacJ.sh /tmp/evaluation/228407-1168298154/unknown.xml
META MD5SUM SOLVER= ffd78bd56f274e94bd0d0faf76d262cb
MD5SUM BENCH= 065b3bd2bdb0aaa1ace96af46f71b4cd
RANDOM SEED= 291638918
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.260
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.260
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: 1323352 kB
Buffers: 87296 kB
Cached: 548460 kB
SwapCached: 9904 kB
Active: 318992 kB
Inactive: 352644 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1323352 kB
SwapTotal: 4192956 kB
SwapFree: 4171244 kB
Dirty: 4396 kB
Writeback: 0 kB
Mapped: 45984 kB
Slab: 45656 kB
Committed_AS: 4667464 kB
PageTables: 2384 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= 66320 MiB
End job on node19 on Mon Jan 8 23:24:26 UTC 2007