0.04 rm: No match.
0.04 c --- Preproc Stats ---
0.04 c benchs : unknown.xml
1.42 c start processing
1.42 c start relation processing
1.87 c start cnf exporting
2.29 c parsing time : 1.256
2.29 c preprocessing time : 2.123
2.29
2.29 c Nary constraints - conflicts : 0 supports : 0
2.29 c Binary constraints - conflicts : 0 supports :103
2.29 c max arity constraint : 2
2.29 c Max Tuples generated 0
2.29 c relations : 103
2.29 c relations BDD: 0
2.29 c vars : 3201 - clauses : 142920
2.29
2.42 c Start Sat4J solver
2.42
1696.80 s UNSATISFIABLE
1696.80 c {propagations=72943584, learnedliterals=13, changedreason=0, reduceddb=0, starts=16, learnedbinaryclauses=37, learnedclauses=54967, reducedliterals=14727609, learnedternaryclauses=49, conflicts=127846, serialVersionUID=1, inspects=2599119253, rootSimplifications=0, decisions=141843}
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node24/watcher-225165-1168271147 -o ROOT/results/node24/solver-225165-1168271147 -C 1800 -M 900 /tmp/evaluation/225165-1168271147/galacJ.sh /tmp/evaluation/225165-1168271147/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
/proc/loadavg: 0.92 0.98 1.10 5/83 22490
/proc/meminfo: memFree=545984/2055920 swapFree=4192812/4192956
[pid=22489] ppid=22485 vsize=18540 CPUtime=0
/proc/22489/stat : 22489 (runsolver) R 22485 22353 22353 0 -1 4194368 3 0 0 0 0 0 0 0 19 0 1 0 175510033 18984960 277 18446744073709551615 4194304 4267372 548682069072 18446744073709551615 237788261108 0 0 4096 24578 0 0 0 17 0 0 0
/proc/22489/statm: 4635 277 242 17 0 2626 0
Current StackSize limit: 10240 KiB
[startup+0.108196 s]
/proc/loadavg: 0.92 0.98 1.10 5/83 22490
/proc/meminfo: memFree=545984/2055920 swapFree=4192812/4192956
[pid=22489] ppid=22485 vsize=47556 CPUtime=0.01
/proc/22489/stat : 22489 (galacJ.sh) S 22485 22489 22353 0 -1 4194304 796 1728 0 0 0 0 0 1 18 0 1 0 175510033 48697344 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 237787867994 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/22489/statm: 11889 362 245 79 0 217 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47556
[startup+0.51624 s]
/proc/loadavg: 0.92 0.98 1.10 5/83 22490
/proc/meminfo: memFree=545984/2055920 swapFree=4192812/4192956
[pid=22489] ppid=22485 vsize=47556 CPUtime=0.01
/proc/22489/stat : 22489 (galacJ.sh) S 22485 22489 22353 0 -1 4194304 796 1728 0 0 0 0 0 1 18 0 1 0 175510033 48697344 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 237787867994 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/22489/statm: 11889 362 245 79 0 217 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47556
[startup+1.34033 s]
/proc/loadavg: 0.92 0.98 1.10 3/101 22521
/proc/meminfo: memFree=435752/2055920 swapFree=4192812/4192956
[pid=22489] ppid=22485 vsize=47556 CPUtime=0.01
/proc/22489/stat : 22489 (galacJ.sh) S 22485 22489 22353 0 -1 4194304 796 1728 0 0 0 0 0 1 18 0 1 0 175510033 48697344 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 237787867994 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/22489/statm: 11889 362 245 79 0 217 0
[pid=22507] ppid=22489 vsize=862000 CPUtime=1.28
/proc/22507/stat : 22507 (java) R 22489 22489 22353 0 -1 0 21696 0 1 0 116 12 0 0 25 0 8 0 175510037 882688000 21448 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073657902 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22507/statm: 215500 21448 2016 14 0 201457 0
[pid=22507/tid=22511] ppid=22489 vsize=862000 CPUtime=0.07
/proc/22507/task/22511/stat : 22511 (java) S 22489 22489 22353 0 -1 64 5829 0 0 0 5 2 0 0 16 0 8 0 175510040 882688000 21448 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22512] ppid=22489 vsize=862000 CPUtime=0
/proc/22507/task/22512/stat : 22512 (java) S 22489 22489 22353 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 175510041 882688000 21448 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22513] ppid=22489 vsize=862000 CPUtime=0
/proc/22507/task/22513/stat : 22513 (java) S 22489 22489 22353 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 175510041 882688000 21448 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22518] ppid=22489 vsize=862000 CPUtime=0
/proc/22507/task/22518/stat : 22518 (java) S 22489 22489 22353 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 175510044 882688000 21448 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22519] ppid=22489 vsize=862000 CPUtime=0.13
/proc/22507/task/22519/stat : 22519 (java) S 22489 22489 22353 0 -1 64 880 0 0 0 13 0 0 0 16 0 8 0 175510044 882688000 21448 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22520] ppid=22489 vsize=862000 CPUtime=0
/proc/22507/task/22520/stat : 22520 (java) S 22489 22489 22353 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 175510044 882688000 21448 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22521] ppid=22489 vsize=862000 CPUtime=0
/proc/22507/task/22521/stat : 22521 (java) S 22489 22489 22353 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175510044 882688000 21448 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 909556
[startup+2.9935 s]
/proc/loadavg: 1.01 1.00 1.10 3/101 22521
/proc/meminfo: memFree=435432/2055920 swapFree=4192812/4192956
[pid=22489] ppid=22485 vsize=47556 CPUtime=0.01
/proc/22489/stat : 22489 (galacJ.sh) S 22485 22489 22353 0 -1 4194304 796 1728 0 0 0 0 0 1 18 0 1 0 175510033 48697344 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 237787867994 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/22489/statm: 11889 362 245 79 0 217 0
[pid=22507] ppid=22489 vsize=862620 CPUtime=2.93
/proc/22507/stat : 22507 (java) R 22489 22489 22353 0 -1 0 24386 0 1 0 278 15 0 0 25 0 9 0 175510037 883322880 24137 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073902581 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22507/statm: 215655 24137 2033 14 0 201612 0
[pid=22507/tid=22511] ppid=22489 vsize=862620 CPUtime=0.19
/proc/22507/task/22511/stat : 22511 (java) S 22489 22489 22353 0 -1 64 8416 0 0 0 16 3 0 0 18 0 9 0 175510040 883322880 24137 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22512] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22512/stat : 22512 (java) S 22489 22489 22353 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 175510041 883322880 24137 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22513] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22513/stat : 22513 (java) S 22489 22489 22353 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 175510041 883322880 24137 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22518] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22518/stat : 22518 (java) S 22489 22489 22353 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 175510044 883322880 24137 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22519] ppid=22489 vsize=862620 CPUtime=0.23
/proc/22507/task/22519/stat : 22519 (java) S 22489 22489 22353 0 -1 64 942 0 0 0 22 1 0 0 15 0 9 0 175510044 883322880 24137 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22520] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22520/stat : 22520 (java) S 22489 22489 22353 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 175510044 883322880 24137 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22521] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22521/stat : 22521 (java) S 22489 22489 22353 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 175510044 883322880 24137 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 910176
[startup+6.27385 s]
/proc/loadavg: 1.01 1.00 1.10 4/102 22522
/proc/meminfo: memFree=424608/2055920 swapFree=4192812/4192956
[pid=22489] ppid=22485 vsize=47556 CPUtime=0.01
/proc/22489/stat : 22489 (galacJ.sh) S 22485 22489 22353 0 -1 4194304 796 1728 0 0 0 0 0 1 18 0 1 0 175510033 48697344 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 237787867994 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/22489/statm: 11889 362 245 79 0 217 0
[pid=22507] ppid=22489 vsize=862620 CPUtime=6.2
/proc/22507/stat : 22507 (java) R 22489 22489 22353 0 -1 0 24391 0 1 0 605 15 0 0 25 0 9 0 175510037 883322880 24139 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073978974 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22507/statm: 215655 24139 2033 14 0 201612 0
[pid=22507/tid=22511] ppid=22489 vsize=862620 CPUtime=0.19
/proc/22507/task/22511/stat : 22511 (java) S 22489 22489 22353 0 -1 64 8416 0 0 0 16 3 0 0 17 0 9 0 175510040 883322880 24139 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22512] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22512/stat : 22512 (java) S 22489 22489 22353 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 175510041 883322880 24139 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22513] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22513/stat : 22513 (java) S 22489 22489 22353 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 175510041 883322880 24139 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22518] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22518/stat : 22518 (java) S 22489 22489 22353 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 175510044 883322880 24139 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22519] ppid=22489 vsize=862620 CPUtime=0.23
/proc/22507/task/22519/stat : 22519 (java) S 22489 22489 22353 0 -1 64 944 0 0 0 22 1 0 0 16 0 9 0 175510044 883322880 24139 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22520] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22520/stat : 22520 (java) S 22489 22489 22353 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 175510044 883322880 24139 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22521] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22521/stat : 22521 (java) S 22489 22489 22353 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 175510044 883322880 24139 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22522] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22522/stat : 22522 (java) S 22489 22489 22353 0 -1 64 5 0 0 0 0 0 0 0 25 0 9 0 175510276 883322880 24139 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 910176
[startup+12.7685 s]
/proc/loadavg: 1.08 1.02 1.10 2/90 22533
/proc/meminfo: memFree=459136/2055920 swapFree=4192812/4192956
[pid=22489] ppid=22485 vsize=47556 CPUtime=0.01
/proc/22489/stat : 22489 (galacJ.sh) S 22485 22489 22353 0 -1 4194304 796 1728 0 0 0 0 0 1 18 0 1 0 175510033 48697344 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 237787867994 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/22489/statm: 11889 362 245 79 0 217 0
[pid=22507] ppid=22489 vsize=862620 CPUtime=12.66
/proc/22507/stat : 22507 (java) R 22489 22489 22353 0 -1 0 24394 0 1 0 1251 15 0 0 25 0 9 0 175510037 883322880 24140 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073978974 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22507/statm: 215655 24140 2033 14 0 201612 0
[pid=22507/tid=22511] ppid=22489 vsize=862620 CPUtime=0.19
/proc/22507/task/22511/stat : 22511 (java) S 22489 22489 22353 0 -1 64 8416 0 0 0 16 3 0 0 16 0 9 0 175510040 883322880 24140 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22512] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22512/stat : 22512 (java) S 22489 22489 22353 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 175510041 883322880 24140 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22513] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22513/stat : 22513 (java) S 22489 22489 22353 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 175510041 883322880 24140 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22518] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22518/stat : 22518 (java) S 22489 22489 22353 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 175510044 883322880 24140 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22519] ppid=22489 vsize=862620 CPUtime=0.23
/proc/22507/task/22519/stat : 22519 (java) S 22489 22489 22353 0 -1 64 945 0 0 0 22 1 0 0 15 0 9 0 175510044 883322880 24140 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22520] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22520/stat : 22520 (java) S 22489 22489 22353 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 175510044 883322880 24140 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22521] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22521/stat : 22521 (java) S 22489 22489 22353 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 175510044 883322880 24140 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22522] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22522/stat : 22522 (java) S 22489 22489 22353 0 -1 64 5 0 0 0 0 0 0 0 25 0 9 0 175510276 883322880 24140 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 910176
[startup+25.6419 s]
/proc/loadavg: 1.29 1.06 1.12 3/96 22595
/proc/meminfo: memFree=435856/2055920 swapFree=4192812/4192956
[pid=22489] ppid=22485 vsize=47556 CPUtime=0.01
/proc/22489/stat : 22489 (galacJ.sh) S 22485 22489 22353 0 -1 4194304 796 1728 0 0 0 0 0 1 18 0 1 0 175510033 48697344 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 237787867994 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/22489/statm: 11889 362 245 79 0 217 0
[pid=22507] ppid=22489 vsize=862620 CPUtime=25.47
/proc/22507/stat : 22507 (java) R 22489 22489 22353 0 -1 0 24395 0 1 0 2531 16 0 0 25 0 9 0 175510037 883322880 24140 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073984464 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22507/statm: 215655 24140 2033 14 0 201612 0
[pid=22507/tid=22511] ppid=22489 vsize=862620 CPUtime=0.19
/proc/22507/task/22511/stat : 22511 (java) S 22489 22489 22353 0 -1 64 8416 0 0 0 16 3 0 0 16 0 9 0 175510040 883322880 24140 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22512] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22512/stat : 22512 (java) S 22489 22489 22353 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 175510041 883322880 24140 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22513] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22513/stat : 22513 (java) S 22489 22489 22353 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 175510041 883322880 24140 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22518] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22518/stat : 22518 (java) S 22489 22489 22353 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 175510044 883322880 24140 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22519] ppid=22489 vsize=862620 CPUtime=0.23
/proc/22507/task/22519/stat : 22519 (java) S 22489 22489 22353 0 -1 64 945 0 0 0 22 1 0 0 16 0 9 0 175510044 883322880 24140 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22520] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22520/stat : 22520 (java) S 22489 22489 22353 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 175510044 883322880 24140 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22521] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22521/stat : 22521 (java) S 22489 22489 22353 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 175510044 883322880 24140 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22522] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22522/stat : 22522 (java) S 22489 22489 22353 0 -1 64 5 0 0 0 0 0 0 0 25 0 9 0 175510276 883322880 24140 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 910176
[startup+51.3017 s]
/proc/loadavg: 1.53 1.14 1.14 3/96 22595
/proc/meminfo: memFree=414736/2055920 swapFree=4192812/4192956
[pid=22489] ppid=22485 vsize=47556 CPUtime=0.01
/proc/22489/stat : 22489 (galacJ.sh) S 22485 22489 22353 0 -1 4194304 796 1728 0 0 0 0 0 1 18 0 1 0 175510033 48697344 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 237787867994 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/22489/statm: 11889 362 245 79 0 217 0
[pid=22507] ppid=22489 vsize=862620 CPUtime=50.99
/proc/22507/stat : 22507 (java) R 22489 22489 22353 0 -1 0 24395 0 1 0 5083 16 0 0 25 0 9 0 175510037 883322880 24140 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073987297 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22507/statm: 215655 24140 2033 14 0 201612 0
[pid=22507/tid=22511] ppid=22489 vsize=862620 CPUtime=0.19
/proc/22507/task/22511/stat : 22511 (java) S 22489 22489 22353 0 -1 64 8416 0 0 0 16 3 0 0 16 0 9 0 175510040 883322880 24140 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22512] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22512/stat : 22512 (java) S 22489 22489 22353 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 175510041 883322880 24140 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22513] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22513/stat : 22513 (java) S 22489 22489 22353 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 175510041 883322880 24140 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22518] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22518/stat : 22518 (java) S 22489 22489 22353 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 175510044 883322880 24140 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22519] ppid=22489 vsize=862620 CPUtime=0.23
/proc/22507/task/22519/stat : 22519 (java) S 22489 22489 22353 0 -1 64 945 0 0 0 22 1 0 0 16 0 9 0 175510044 883322880 24140 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22507/tid=22520] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22520/stat : 22520 (java) S 22489 22489 22353 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 175510044 883322880 24140 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22521] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22521/stat : 22521 (java) S 22489 22489 22353 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 175510044 883322880 24140 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22522] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22522/stat : 22522 (java) S 22489 22489 22353 0 -1 64 5 0 0 0 0 0 0 0 25 0 9 0 175510276 883322880 24140 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 910176
[startup+102.516 s]
/proc/loadavg: 1.81 1.28 1.19 3/96 22595
################
# More data... #
################
Current children cumulated CPU time (s) 1296.85
Current children cumulated vsize (KiB) 910176
[startup+1364.16 s]
/proc/loadavg: 2.00 1.97 1.76 3/96 22793
/proc/meminfo: memFree=154000/2055920 swapFree=4192812/4192956
[pid=22489] ppid=22485 vsize=47556 CPUtime=0.01
/proc/22489/stat : 22489 (galacJ.sh) S 22485 22489 22353 0 -1 4194304 796 1728 0 0 0 0 0 1 18 0 1 0 175510033 48697344 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 237787867994 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/22489/statm: 11889 362 245 79 0 217 0
[pid=22507] ppid=22489 vsize=862620 CPUtime=1356.58
/proc/22507/stat : 22507 (java) R 22489 22489 22353 0 -1 0 37573 0 1 0 135610 48 0 0 25 0 9 0 175510037 883322880 37313 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073973918 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22507/statm: 215655 37313 2033 14 0 201612 0
[pid=22507/tid=22511] ppid=22489 vsize=862620 CPUtime=0.47
/proc/22507/task/22511/stat : 22511 (java) S 22489 22489 22353 0 -1 64 21588 0 0 0 38 9 0 0 16 0 9 0 175510040 883322880 37313 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22507/tid=22512] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22512/stat : 22512 (java) S 22489 22489 22353 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 175510041 883322880 37313 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22513] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22513/stat : 22513 (java) S 22489 22489 22353 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 175510041 883322880 37313 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22518] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22518/stat : 22518 (java) S 22489 22489 22353 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 175510044 883322880 37313 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22519] ppid=22489 vsize=862620 CPUtime=0.24
/proc/22507/task/22519/stat : 22519 (java) S 22489 22489 22353 0 -1 64 946 0 0 0 23 1 0 0 16 0 9 0 175510044 883322880 37313 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22507/tid=22520] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22520/stat : 22520 (java) S 22489 22489 22353 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 175510044 883322880 37313 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22521] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22521/stat : 22521 (java) S 22489 22489 22353 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 175510044 883322880 37313 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22522] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22522/stat : 22522 (java) S 22489 22489 22353 0 -1 64 5 0 0 0 0 0 0 0 25 0 9 0 175510276 883322880 37313 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1356.59
Current children cumulated vsize (KiB) 910176
[startup+1424.23 s]
/proc/loadavg: 2.00 1.97 1.78 3/96 22793
/proc/meminfo: memFree=150288/2055920 swapFree=4192812/4192956
[pid=22489] ppid=22485 vsize=47556 CPUtime=0.01
/proc/22489/stat : 22489 (galacJ.sh) S 22485 22489 22353 0 -1 4194304 796 1728 0 0 0 0 0 1 18 0 1 0 175510033 48697344 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 237787867994 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/22489/statm: 11889 362 245 79 0 217 0
[pid=22507] ppid=22489 vsize=862620 CPUtime=1416.32
/proc/22507/stat : 22507 (java) R 22489 22489 22353 0 -1 0 37573 0 1 0 141584 48 0 0 25 0 9 0 175510037 883322880 37313 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073973918 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22507/statm: 215655 37313 2033 14 0 201612 0
[pid=22507/tid=22511] ppid=22489 vsize=862620 CPUtime=0.47
/proc/22507/task/22511/stat : 22511 (java) S 22489 22489 22353 0 -1 64 21588 0 0 0 38 9 0 0 16 0 9 0 175510040 883322880 37313 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22507/tid=22512] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22512/stat : 22512 (java) S 22489 22489 22353 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 175510041 883322880 37313 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22513] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22513/stat : 22513 (java) S 22489 22489 22353 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 175510041 883322880 37313 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22518] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22518/stat : 22518 (java) S 22489 22489 22353 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 175510044 883322880 37313 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22519] ppid=22489 vsize=862620 CPUtime=0.24
/proc/22507/task/22519/stat : 22519 (java) S 22489 22489 22353 0 -1 64 946 0 0 0 23 1 0 0 16 0 9 0 175510044 883322880 37313 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22507/tid=22520] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22520/stat : 22520 (java) S 22489 22489 22353 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 175510044 883322880 37313 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22521] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22521/stat : 22521 (java) S 22489 22489 22353 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 175510044 883322880 37313 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22522] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22522/stat : 22522 (java) S 22489 22489 22353 0 -1 64 5 0 0 0 0 0 0 0 25 0 9 0 175510276 883322880 37313 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1416.33
Current children cumulated vsize (KiB) 910176
[startup+1484.3 s]
/proc/loadavg: 2.00 1.97 1.79 3/96 22793
/proc/meminfo: memFree=146448/2055920 swapFree=4192812/4192956
[pid=22489] ppid=22485 vsize=47556 CPUtime=0.01
/proc/22489/stat : 22489 (galacJ.sh) S 22485 22489 22353 0 -1 4194304 796 1728 0 0 0 0 0 1 18 0 1 0 175510033 48697344 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 237787867994 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/22489/statm: 11889 362 245 79 0 217 0
[pid=22507] ppid=22489 vsize=862620 CPUtime=1476.07
/proc/22507/stat : 22507 (java) R 22489 22489 22353 0 -1 0 37573 0 1 0 147559 48 0 0 25 0 9 0 175510037 883322880 37313 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073978974 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22507/statm: 215655 37313 2033 14 0 201612 0
[pid=22507/tid=22511] ppid=22489 vsize=862620 CPUtime=0.47
/proc/22507/task/22511/stat : 22511 (java) S 22489 22489 22353 0 -1 64 21588 0 0 0 38 9 0 0 16 0 9 0 175510040 883322880 37313 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22507/tid=22512] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22512/stat : 22512 (java) S 22489 22489 22353 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 175510041 883322880 37313 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22513] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22513/stat : 22513 (java) S 22489 22489 22353 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 175510041 883322880 37313 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22518] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22518/stat : 22518 (java) S 22489 22489 22353 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 175510044 883322880 37313 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22519] ppid=22489 vsize=862620 CPUtime=0.24
/proc/22507/task/22519/stat : 22519 (java) S 22489 22489 22353 0 -1 64 946 0 0 0 23 1 0 0 16 0 9 0 175510044 883322880 37313 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22507/tid=22520] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22520/stat : 22520 (java) S 22489 22489 22353 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 175510044 883322880 37313 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22521] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22521/stat : 22521 (java) S 22489 22489 22353 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 175510044 883322880 37313 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22522] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22522/stat : 22522 (java) S 22489 22489 22353 0 -1 64 5 0 0 0 0 0 0 0 25 0 9 0 175510276 883322880 37313 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1476.08
Current children cumulated vsize (KiB) 910176
[startup+1544.38 s]
/proc/loadavg: 2.00 1.97 1.80 3/96 22793
/proc/meminfo: memFree=142032/2055920 swapFree=4192812/4192956
[pid=22489] ppid=22485 vsize=47556 CPUtime=0.01
/proc/22489/stat : 22489 (galacJ.sh) S 22485 22489 22353 0 -1 4194304 796 1728 0 0 0 0 0 1 18 0 1 0 175510033 48697344 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 237787867994 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/22489/statm: 11889 362 245 79 0 217 0
[pid=22507] ppid=22489 vsize=862620 CPUtime=1535.8
/proc/22507/stat : 22507 (java) R 22489 22489 22353 0 -1 0 37573 0 1 0 153532 48 0 0 25 0 9 0 175510037 883322880 37313 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073973738 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22507/statm: 215655 37313 2033 14 0 201612 0
[pid=22507/tid=22511] ppid=22489 vsize=862620 CPUtime=0.47
/proc/22507/task/22511/stat : 22511 (java) S 22489 22489 22353 0 -1 64 21588 0 0 0 38 9 0 0 16 0 9 0 175510040 883322880 37313 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22507/tid=22512] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22512/stat : 22512 (java) S 22489 22489 22353 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 175510041 883322880 37313 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22513] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22513/stat : 22513 (java) S 22489 22489 22353 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 175510041 883322880 37313 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22518] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22518/stat : 22518 (java) S 22489 22489 22353 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 175510044 883322880 37313 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22519] ppid=22489 vsize=862620 CPUtime=0.24
/proc/22507/task/22519/stat : 22519 (java) S 22489 22489 22353 0 -1 64 946 0 0 0 23 1 0 0 16 0 9 0 175510044 883322880 37313 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22507/tid=22520] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22520/stat : 22520 (java) S 22489 22489 22353 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 175510044 883322880 37313 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22521] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22521/stat : 22521 (java) S 22489 22489 22353 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 175510044 883322880 37313 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22522] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22522/stat : 22522 (java) S 22489 22489 22353 0 -1 64 5 0 0 0 0 0 0 0 25 0 9 0 175510276 883322880 37313 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1535.81
Current children cumulated vsize (KiB) 910176
[startup+1604.45 s]
/proc/loadavg: 2.00 1.97 1.81 3/96 22793
/proc/meminfo: memFree=138832/2055920 swapFree=4192812/4192956
[pid=22489] ppid=22485 vsize=47556 CPUtime=0.01
/proc/22489/stat : 22489 (galacJ.sh) S 22485 22489 22353 0 -1 4194304 796 1728 0 0 0 0 0 1 18 0 1 0 175510033 48697344 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 237787867994 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/22489/statm: 11889 362 245 79 0 217 0
[pid=22507] ppid=22489 vsize=862620 CPUtime=1595.55
/proc/22507/stat : 22507 (java) R 22489 22489 22353 0 -1 0 37573 0 1 0 159507 48 0 0 25 0 9 0 175510037 883322880 37313 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073978974 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22507/statm: 215655 37313 2033 14 0 201612 0
[pid=22507/tid=22511] ppid=22489 vsize=862620 CPUtime=0.47
/proc/22507/task/22511/stat : 22511 (java) S 22489 22489 22353 0 -1 64 21588 0 0 0 38 9 0 0 16 0 9 0 175510040 883322880 37313 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22507/tid=22512] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22512/stat : 22512 (java) S 22489 22489 22353 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 175510041 883322880 37313 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22513] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22513/stat : 22513 (java) S 22489 22489 22353 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 175510041 883322880 37313 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22518] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22518/stat : 22518 (java) S 22489 22489 22353 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 175510044 883322880 37313 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22519] ppid=22489 vsize=862620 CPUtime=0.24
/proc/22507/task/22519/stat : 22519 (java) S 22489 22489 22353 0 -1 64 946 0 0 0 23 1 0 0 16 0 9 0 175510044 883322880 37313 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22507/tid=22520] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22520/stat : 22520 (java) S 22489 22489 22353 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 175510044 883322880 37313 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22521] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22521/stat : 22521 (java) S 22489 22489 22353 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 175510044 883322880 37313 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22522] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22522/stat : 22522 (java) S 22489 22489 22353 0 -1 64 5 0 0 0 0 0 0 0 25 0 9 0 175510276 883322880 37313 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1595.56
Current children cumulated vsize (KiB) 910176
[startup+1664.53 s]
/proc/loadavg: 2.08 1.99 1.83 3/96 22793
/proc/meminfo: memFree=134416/2055920 swapFree=4192812/4192956
[pid=22489] ppid=22485 vsize=47556 CPUtime=0.01
/proc/22489/stat : 22489 (galacJ.sh) S 22485 22489 22353 0 -1 4194304 796 1728 0 0 0 0 0 1 18 0 1 0 175510033 48697344 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 237787867994 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/22489/statm: 11889 362 245 79 0 217 0
[pid=22507] ppid=22489 vsize=862620 CPUtime=1655.31
/proc/22507/stat : 22507 (java) R 22489 22489 22353 0 -1 0 37573 0 1 0 165482 49 0 0 25 0 9 0 175510037 883322880 37313 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073905782 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22507/statm: 215655 37313 2033 14 0 201612 0
[pid=22507/tid=22511] ppid=22489 vsize=862620 CPUtime=0.47
/proc/22507/task/22511/stat : 22511 (java) S 22489 22489 22353 0 -1 64 21588 0 0 0 38 9 0 0 16 0 9 0 175510040 883322880 37313 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22507/tid=22512] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22512/stat : 22512 (java) S 22489 22489 22353 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 175510041 883322880 37313 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22513] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22513/stat : 22513 (java) S 22489 22489 22353 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 175510041 883322880 37313 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22518] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22518/stat : 22518 (java) S 22489 22489 22353 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 175510044 883322880 37313 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22519] ppid=22489 vsize=862620 CPUtime=0.24
/proc/22507/task/22519/stat : 22519 (java) S 22489 22489 22353 0 -1 64 946 0 0 0 23 1 0 0 16 0 9 0 175510044 883322880 37313 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22507/tid=22520] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22520/stat : 22520 (java) S 22489 22489 22353 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 175510044 883322880 37313 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22521] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22521/stat : 22521 (java) S 22489 22489 22353 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 175510044 883322880 37313 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22507/tid=22522] ppid=22489 vsize=862620 CPUtime=0
/proc/22507/task/22522/stat : 22522 (java) S 22489 22489 22353 0 -1 64 5 0 0 0 0 0 0 0 25 0 9 0 175510276 883322880 37313 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1655.32
Current children cumulated vsize (KiB) 910176
Child status: 0
Real time (s): 1696.84
CPU time (s): 1687.47
CPU user time (s): 1686.93
CPU system time (s): 0.538918
CPU usage (%): 99.448
Max. virtual memory (cumulated for all children) (KiB): 910176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1686.93
system time used= 0.538918
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40150
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= 35338
involuntary context switches= 62744
runsolver used 2.23866 s user time and 5.2622 s system time
The end
Begin job on node24 on Mon Jan 8 15:45:48 UTC 2007
IDJOB= 225165
IDBENCH= 5827
FILE ID= node24/225165-1168271147
PBS_JOBID= 3483194
Free space on /tmp= 66472 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.8/rand-2-40-80-103-800-67_ext.xml
COMMAND LINE= /tmp/evaluation/225165-1168271147/galacJ.sh /tmp/evaluation/225165-1168271147/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-225165-1168271147 -o ROOT/results/node24/solver-225165-1168271147 -C 1800 -M 900 /tmp/evaluation/225165-1168271147/galacJ.sh /tmp/evaluation/225165-1168271147/unknown.xml
META MD5SUM SOLVER= ffd78bd56f274e94bd0d0faf76d262cb
MD5SUM BENCH= 810fbae72427e3f1b1fe3fbaf47d03b3
RANDOM SEED= 890960327
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.234
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.234
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: 546672 kB
Buffers: 11536 kB
Cached: 1388856 kB
SwapCached: 0 kB
Active: 822480 kB
Inactive: 635308 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 546672 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 6780 kB
Writeback: 0 kB
Mapped: 76372 kB
Slab: 36404 kB
Committed_AS: 3726720 kB
PageTables: 2236 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= 66468 MiB
End job on node24 on Mon Jan 8 16:14:05 UTC 2007