0.03 rm: No match.
0.03 c --- Preproc Stats ---
0.03 c benchs : unknown.xml
5.65 c start processing
5.65 c start relation processing
20.59 c start cnf exporting
26.30 c parsing time : 5.469
26.30 c preprocessing time : 26.121
26.30
26.30 c Nary constraints - conflicts : 0 supports : 93
26.30 c Binary constraints - conflicts : 0 supports :0
26.30 c max arity constraint : 3
26.30 c Max Tuples generated 0
26.30 c relations : 93
26.30 c relations BDD: 93
26.30 c vars : 598598 - clauses : 1875661
26.30
27.78 c Start Sat4J solver
27.78
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-206734-1168177440 -o ROOT/results/node19/solver-206734-1168177440 -C 1800 -M 900 /tmp/evaluation/206734-1168177440/galacJ.sh /tmp/evaluation/206734-1168177440/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.92 1.98 1.99 3/95 22911
/proc/meminfo: memFree=782816/2055920 swapFree=4171244/4192956
[pid=22910] ppid=22908 vsize=644 CPUtime=0
/proc/22910/stat : 22910 (galacJ.sh) R 22908 22910 22535 0 -1 4194304 26 0 0 0 0 0 0 0 20 0 1 0 166138646 659456 10 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 255233942097 0 0 4096 0 0 0 0 17 1 0 0
/proc/22910/statm: 161 10 5 79 0 51 0
[startup+0.10276 s]
/proc/loadavg: 1.92 1.98 1.99 3/95 22911
/proc/meminfo: memFree=782816/2055920 swapFree=4171244/4192956
[pid=22910] ppid=22908 vsize=47556 CPUtime=0.01
/proc/22910/stat : 22910 (galacJ.sh) S 22908 22910 22535 0 -1 4194304 798 1728 0 0 0 0 0 1 18 0 1 0 166138646 48697344 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/22910/statm: 11889 363 246 79 0 217 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47556
[startup+0.513835 s]
/proc/loadavg: 1.92 1.98 1.99 3/95 22911
/proc/meminfo: memFree=782816/2055920 swapFree=4171244/4192956
[pid=22910] ppid=22908 vsize=47556 CPUtime=0.01
/proc/22910/stat : 22910 (galacJ.sh) S 22908 22910 22535 0 -1 4194304 798 1728 0 0 0 0 0 1 18 0 1 0 166138646 48697344 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/22910/statm: 11889 363 246 79 0 217 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47556
[startup+1.33499 s]
/proc/loadavg: 1.92 1.98 1.99 4/103 22932
/proc/meminfo: memFree=705504/2055920 swapFree=4171244/4192956
[pid=22910] ppid=22908 vsize=47556 CPUtime=0.01
/proc/22910/stat : 22910 (galacJ.sh) S 22908 22910 22535 0 -1 4194304 798 1728 0 0 0 0 0 1 18 0 1 0 166138646 48697344 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/22910/statm: 11889 363 246 79 0 217 0
[pid=22925] ppid=22910 vsize=862208 CPUtime=1.26
/proc/22925/stat : 22925 (java) R 22910 22910 22535 0 -1 0 21453 0 1 0 115 11 0 0 25 0 8 0 166138650 882900992 21206 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4152819950 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22925/statm: 215552 21206 2014 14 0 201457 0
[pid=22925/tid=22926] ppid=22910 vsize=862208 CPUtime=0.06
/proc/22925/task/22926/stat : 22926 (java) S 22910 22910 22535 0 -1 64 5601 0 0 0 4 2 0 0 16 0 8 0 166138654 882900992 21206 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22927] ppid=22910 vsize=862208 CPUtime=0
/proc/22925/task/22927/stat : 22927 (java) S 22910 22910 22535 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 166138655 882900992 21206 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22928] ppid=22910 vsize=862208 CPUtime=0
/proc/22925/task/22928/stat : 22928 (java) S 22910 22910 22535 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 166138655 882900992 21206 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22929] ppid=22910 vsize=862208 CPUtime=0
/proc/22925/task/22929/stat : 22929 (java) S 22910 22910 22535 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166138658 882900992 21206 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22930] ppid=22910 vsize=862208 CPUtime=0.13
/proc/22925/task/22930/stat : 22930 (java) S 22910 22910 22535 0 -1 64 872 0 0 0 13 0 0 0 16 0 8 0 166138658 882900992 21206 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22931] ppid=22910 vsize=862208 CPUtime=0
/proc/22925/task/22931/stat : 22931 (java) S 22910 22910 22535 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 166138658 882900992 21206 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22932] ppid=22910 vsize=862208 CPUtime=0
/proc/22925/task/22932/stat : 22932 (java) S 22910 22910 22535 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166138658 882900992 21206 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 909764
[startup+2.97934 s]
/proc/loadavg: 1.92 1.98 1.99 3/103 22932
/proc/meminfo: memFree=698016/2055920 swapFree=4171244/4192956
[pid=22910] ppid=22908 vsize=47556 CPUtime=0.01
/proc/22910/stat : 22910 (galacJ.sh) S 22908 22910 22535 0 -1 4194304 798 1728 0 0 0 0 0 1 18 0 1 0 166138646 48697344 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/22910/statm: 11889 363 246 79 0 217 0
[pid=22925] ppid=22910 vsize=862208 CPUtime=2.89
/proc/22925/stat : 22925 (java) R 22910 22910 22535 0 -1 0 25110 0 1 0 276 13 0 0 25 0 8 0 166138650 882900992 24857 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4073671075 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22925/statm: 215552 24857 2014 14 0 201457 0
[pid=22925/tid=22926] ppid=22910 vsize=862208 CPUtime=0.2
/proc/22925/task/22926/stat : 22926 (java) S 22910 22910 22535 0 -1 64 9243 0 0 0 17 3 0 0 16 0 8 0 166138654 882900992 24857 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22927] ppid=22910 vsize=862208 CPUtime=0
/proc/22925/task/22927/stat : 22927 (java) S 22910 22910 22535 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 166138655 882900992 24857 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22928] ppid=22910 vsize=862208 CPUtime=0
/proc/22925/task/22928/stat : 22928 (java) S 22910 22910 22535 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 166138655 882900992 24857 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22929] ppid=22910 vsize=862208 CPUtime=0
/proc/22925/task/22929/stat : 22929 (java) S 22910 22910 22535 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166138658 882900992 24857 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22930] ppid=22910 vsize=862208 CPUtime=0.16
/proc/22925/task/22930/stat : 22930 (java) S 22910 22910 22535 0 -1 64 881 0 0 0 15 1 0 0 16 0 8 0 166138658 882900992 24857 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22931] ppid=22910 vsize=862208 CPUtime=0
/proc/22925/task/22931/stat : 22931 (java) S 22910 22910 22535 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 166138658 882900992 24857 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22932] ppid=22910 vsize=862208 CPUtime=0
/proc/22925/task/22932/stat : 22932 (java) S 22910 22910 22535 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166138658 882900992 24857 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 909764
[startup+6.17991 s]
/proc/loadavg: 1.93 1.98 1.99 3/103 22932
/proc/meminfo: memFree=667104/2055920 swapFree=4171244/4192956
[pid=22910] ppid=22908 vsize=47556 CPUtime=0.01
/proc/22910/stat : 22910 (galacJ.sh) S 22908 22910 22535 0 -1 4194304 798 1728 0 0 0 0 0 1 18 0 1 0 166138646 48697344 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/22910/statm: 11889 363 246 79 0 217 0
[pid=22925] ppid=22910 vsize=862208 CPUtime=6.06
/proc/22925/stat : 22925 (java) R 22910 22910 22535 0 -1 0 30945 0 1 0 589 17 0 0 25 0 8 0 166138650 882900992 30683 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4073916687 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22925/statm: 215552 30683 2022 14 0 201457 0
[pid=22925/tid=22926] ppid=22910 vsize=862208 CPUtime=0.43
/proc/22925/task/22926/stat : 22926 (java) S 22910 22910 22535 0 -1 64 15010 0 0 0 37 6 0 0 16 0 8 0 166138654 882900992 30683 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22927] ppid=22910 vsize=862208 CPUtime=0
/proc/22925/task/22927/stat : 22927 (java) S 22910 22910 22535 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 166138655 882900992 30683 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22928] ppid=22910 vsize=862208 CPUtime=0
/proc/22925/task/22928/stat : 22928 (java) S 22910 22910 22535 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 166138655 882900992 30683 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22929] ppid=22910 vsize=862208 CPUtime=0
/proc/22925/task/22929/stat : 22929 (java) S 22910 22910 22535 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166138658 882900992 30683 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22930] ppid=22910 vsize=862208 CPUtime=0.23
/proc/22925/task/22930/stat : 22930 (java) S 22910 22910 22535 0 -1 64 921 0 0 0 22 1 0 0 15 0 8 0 166138658 882900992 30683 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22931] ppid=22910 vsize=862208 CPUtime=0
/proc/22925/task/22931/stat : 22931 (java) S 22910 22910 22535 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 166138658 882900992 30683 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22932] ppid=22910 vsize=862208 CPUtime=0
/proc/22925/task/22932/stat : 22932 (java) S 22910 22910 22535 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166138658 882900992 30683 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 909764
[startup+12.6701 s]
/proc/loadavg: 1.93 1.98 1.99 4/103 22932
/proc/meminfo: memFree=572000/2055920 swapFree=4171244/4192956
[pid=22910] ppid=22908 vsize=47556 CPUtime=0.01
/proc/22910/stat : 22910 (galacJ.sh) S 22908 22910 22535 0 -1 4194304 798 1728 0 0 0 0 0 1 18 0 1 0 166138646 48697344 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/22910/statm: 11889 363 246 79 0 217 0
[pid=22925] ppid=22910 vsize=862208 CPUtime=12.49
/proc/22925/stat : 22925 (java) R 22910 22910 22535 0 -1 0 54693 0 1 0 1219 30 0 0 25 0 8 0 166138650 882900992 54427 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4073908344 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22925/statm: 215552 54427 2022 14 0 201457 0
[pid=22925/tid=22926] ppid=22910 vsize=862208 CPUtime=1.55
/proc/22925/task/22926/stat : 22926 (java) S 22910 22910 22535 0 -1 64 38753 0 0 0 136 19 0 0 20 0 8 0 166138654 882900992 54427 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22927] ppid=22910 vsize=862208 CPUtime=0
/proc/22925/task/22927/stat : 22927 (java) S 22910 22910 22535 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 166138655 882900992 54427 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22928] ppid=22910 vsize=862208 CPUtime=0
/proc/22925/task/22928/stat : 22928 (java) S 22910 22910 22535 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 166138655 882900992 54427 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22929] ppid=22910 vsize=862208 CPUtime=0
/proc/22925/task/22929/stat : 22929 (java) S 22910 22910 22535 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166138658 882900992 54427 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22930] ppid=22910 vsize=862208 CPUtime=0.23
/proc/22925/task/22930/stat : 22930 (java) S 22910 22910 22535 0 -1 64 922 0 0 0 22 1 0 0 15 0 8 0 166138658 882900992 54427 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22931] ppid=22910 vsize=862208 CPUtime=0
/proc/22925/task/22931/stat : 22931 (java) S 22910 22910 22535 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 166138658 882900992 54427 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22932] ppid=22910 vsize=862208 CPUtime=0
/proc/22925/task/22932/stat : 22932 (java) S 22910 22910 22535 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166138658 882900992 54427 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 909764
[startup+25.5626 s]
/proc/loadavg: 2.03 2.00 2.00 3/103 22932
/proc/meminfo: memFree=283424/2055920 swapFree=4171244/4192956
[pid=22910] ppid=22908 vsize=47556 CPUtime=0.01
/proc/22910/stat : 22910 (galacJ.sh) S 22908 22910 22535 0 -1 4194304 798 1728 0 0 0 0 0 1 18 0 1 0 166138646 48697344 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/22910/statm: 11889 363 246 79 0 217 0
[pid=22925] ppid=22910 vsize=862208 CPUtime=25.26
/proc/22925/stat : 22925 (java) R 22910 22910 22535 0 -1 0 131608 0 1 0 2458 68 0 0 25 0 8 0 166138650 882900992 131332 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4072918600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22925/statm: 215552 131332 2025 14 0 201457 0
[pid=22925/tid=22926] ppid=22910 vsize=862208 CPUtime=5.28
/proc/22925/task/22926/stat : 22926 (java) S 22910 22910 22535 0 -1 64 115643 0 0 0 471 57 0 0 18 0 8 0 166138654 882900992 131332 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22927] ppid=22910 vsize=862208 CPUtime=0
/proc/22925/task/22927/stat : 22927 (java) S 22910 22910 22535 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 166138655 882900992 131332 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22928] ppid=22910 vsize=862208 CPUtime=0
/proc/22925/task/22928/stat : 22928 (java) S 22910 22910 22535 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 166138655 882900992 131332 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22929] ppid=22910 vsize=862208 CPUtime=0
/proc/22925/task/22929/stat : 22929 (java) S 22910 22910 22535 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166138658 882900992 131332 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22930] ppid=22910 vsize=862208 CPUtime=0.25
/proc/22925/task/22930/stat : 22930 (java) S 22910 22910 22535 0 -1 64 932 0 0 0 24 1 0 0 16 0 8 0 166138658 882900992 131332 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22931] ppid=22910 vsize=862208 CPUtime=0
/proc/22925/task/22931/stat : 22931 (java) S 22910 22910 22535 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 166138658 882900992 131332 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22932] ppid=22910 vsize=862208 CPUtime=0
/proc/22925/task/22932/stat : 22932 (java) S 22910 22910 22535 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166138658 882900992 131332 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 909764
[startup+51.2344 s]
/proc/loadavg: 2.02 2.00 2.00 3/104 22933
/proc/meminfo: memFree=232472/2055920 swapFree=4171244/4192956
[pid=22910] ppid=22908 vsize=47556 CPUtime=0.01
/proc/22910/stat : 22910 (galacJ.sh) S 22908 22910 22535 0 -1 4194304 798 1728 0 0 0 0 0 1 18 0 1 0 166138646 48697344 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/22910/statm: 11889 363 246 79 0 217 0
[pid=22925] ppid=22910 vsize=862724 CPUtime=50.69
/proc/22925/stat : 22925 (java) R 22910 22910 22535 0 -1 0 142399 0 1 0 4995 74 0 0 25 0 9 0 166138650 883429376 139191 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4074031504 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22925/statm: 215681 139191 2029 14 0 201586 0
[pid=22925/tid=22926] ppid=22910 vsize=862724 CPUtime=7.11
/proc/22925/task/22926/stat : 22926 (java) S 22910 22910 22535 0 -1 64 126391 0 0 0 649 62 0 0 16 0 9 0 166138654 883429376 139191 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22927] ppid=22910 vsize=862724 CPUtime=0
/proc/22925/task/22927/stat : 22927 (java) S 22910 22910 22535 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 166138655 883429376 139191 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22928] ppid=22910 vsize=862724 CPUtime=0
/proc/22925/task/22928/stat : 22928 (java) S 22910 22910 22535 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 166138655 883429376 139191 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22929] ppid=22910 vsize=862724 CPUtime=0
/proc/22925/task/22929/stat : 22929 (java) S 22910 22910 22535 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 166138658 883429376 139191 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22930] ppid=22910 vsize=862724 CPUtime=0.3
/proc/22925/task/22930/stat : 22930 (java) S 22910 22910 22535 0 -1 64 949 0 0 0 28 2 0 0 15 0 9 0 166138658 883429376 139191 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22931] ppid=22910 vsize=862724 CPUtime=0
/proc/22925/task/22931/stat : 22931 (java) S 22910 22910 22535 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 166138658 883429376 139191 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22932] ppid=22910 vsize=862724 CPUtime=0
/proc/22925/task/22932/stat : 22932 (java) S 22910 22910 22535 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 166138658 883429376 139191 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22933] ppid=22910 vsize=862724 CPUtime=0
/proc/22925/task/22933/stat : 22933 (java) S 22910 22910 22535 0 -1 64 5 0 0 0 0 0 0 0 18 0 9 0 166141435 883429376 139191 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 910280
[startup+102.469 s]
/proc/loadavg: 2.01 2.00 2.00 3/104 22933
/proc/meminfo: memFree=232536/2055920 swapFree=4171244/4192956
[pid=22910] ppid=22908 vsize=47556 CPUtime=0.01
/proc/22910/stat : 22910 (galacJ.sh) S 22908 22910 22535 0 -1 4194304 798 1728 0 0 0 0 0 1 18 0 1 0 166138646 48697344 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/22910/statm: 11889 363 246 79 0 217 0
[pid=22925] ppid=22910 vsize=862724 CPUtime=101.28
/proc/22925/stat : 22925 (java) R 22910 22910 22535 0 -1 0 142401 0 1 0 10053 75 0 0 25 0 9 0 166138650 883429376 139192 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4074029692 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
[pid=22925/tid=22928] ppid=22910 vsize=862724 CPUtime=0
/proc/22925/task/22928/stat : 22928 (java) S 22910 22910 22535 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 166138655 883429376 139193 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22929] ppid=22910 vsize=862724 CPUtime=0
/proc/22925/task/22929/stat : 22929 (java) S 22910 22910 22535 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 166138658 883429376 139193 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22930] ppid=22910 vsize=862724 CPUtime=0.3
/proc/22925/task/22930/stat : 22930 (java) S 22910 22910 22535 0 -1 64 951 0 0 0 28 2 0 0 16 0 9 0 166138658 883429376 139193 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22931] ppid=22910 vsize=862724 CPUtime=0
/proc/22925/task/22931/stat : 22931 (java) S 22910 22910 22535 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 166138658 883429376 139193 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22932] ppid=22910 vsize=862724 CPUtime=0
/proc/22925/task/22932/stat : 22932 (java) S 22910 22910 22535 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 166138658 883429376 139193 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22933] ppid=22910 vsize=862724 CPUtime=0
/proc/22925/task/22933/stat : 22933 (java) S 22910 22910 22535 0 -1 64 5 0 0 0 0 0 0 0 18 0 9 0 166141435 883429376 139193 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1530.18
Current children cumulated vsize (KiB) 910280
[startup+1603.49 s]
/proc/loadavg: 2.05 2.04 2.00 3/96 23196
/proc/meminfo: memFree=283408/2055920 swapFree=4171244/4192956
[pid=22910] ppid=22908 vsize=47556 CPUtime=0.01
/proc/22910/stat : 22910 (galacJ.sh) S 22908 22910 22535 0 -1 4194304 798 1728 0 0 0 0 0 1 18 0 1 0 166138646 48697344 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/22910/statm: 11889 363 246 79 0 217 0
[pid=22925] ppid=22910 vsize=862724 CPUtime=1590.21
/proc/22925/stat : 22925 (java) R 22910 22910 22535 0 -1 0 142402 0 1 0 158932 89 0 0 25 0 9 0 166138650 883429376 139193 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4074020320 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22925/statm: 215681 139193 2029 14 0 201586 0
[pid=22925/tid=22926] ppid=22910 vsize=862724 CPUtime=7.11
/proc/22925/task/22926/stat : 22926 (java) S 22910 22910 22535 0 -1 64 126391 0 0 0 649 62 0 0 16 0 9 0 166138654 883429376 139193 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22927] ppid=22910 vsize=862724 CPUtime=0
/proc/22925/task/22927/stat : 22927 (java) S 22910 22910 22535 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 166138655 883429376 139193 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22928] ppid=22910 vsize=862724 CPUtime=0
/proc/22925/task/22928/stat : 22928 (java) S 22910 22910 22535 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 166138655 883429376 139193 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22929] ppid=22910 vsize=862724 CPUtime=0
/proc/22925/task/22929/stat : 22929 (java) S 22910 22910 22535 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 166138658 883429376 139193 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22930] ppid=22910 vsize=862724 CPUtime=0.3
/proc/22925/task/22930/stat : 22930 (java) S 22910 22910 22535 0 -1 64 951 0 0 0 28 2 0 0 16 0 9 0 166138658 883429376 139193 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22931] ppid=22910 vsize=862724 CPUtime=0
/proc/22925/task/22931/stat : 22931 (java) S 22910 22910 22535 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 166138658 883429376 139193 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22932] ppid=22910 vsize=862724 CPUtime=0
/proc/22925/task/22932/stat : 22932 (java) S 22910 22910 22535 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 166138658 883429376 139193 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22933] ppid=22910 vsize=862724 CPUtime=0
/proc/22925/task/22933/stat : 22933 (java) S 22910 22910 22535 0 -1 64 5 0 0 0 0 0 0 0 18 0 9 0 166141435 883429376 139193 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1590.22
Current children cumulated vsize (KiB) 910280
[startup+1663.58 s]
/proc/loadavg: 2.02 2.03 2.00 3/96 23196
/proc/meminfo: memFree=283472/2055920 swapFree=4171244/4192956
[pid=22910] ppid=22908 vsize=47556 CPUtime=0.01
/proc/22910/stat : 22910 (galacJ.sh) S 22908 22910 22535 0 -1 4194304 798 1728 0 0 0 0 0 1 18 0 1 0 166138646 48697344 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/22910/statm: 11889 363 246 79 0 217 0
[pid=22925] ppid=22910 vsize=862724 CPUtime=1650.22
/proc/22925/stat : 22925 (java) R 22910 22910 22535 0 -1 0 142402 0 1 0 164933 89 0 0 25 0 9 0 166138650 883429376 139193 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4074021613 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22925/statm: 215681 139193 2029 14 0 201586 0
[pid=22925/tid=22926] ppid=22910 vsize=862724 CPUtime=7.11
/proc/22925/task/22926/stat : 22926 (java) S 22910 22910 22535 0 -1 64 126391 0 0 0 649 62 0 0 16 0 9 0 166138654 883429376 139193 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22927] ppid=22910 vsize=862724 CPUtime=0
/proc/22925/task/22927/stat : 22927 (java) S 22910 22910 22535 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 166138655 883429376 139193 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22928] ppid=22910 vsize=862724 CPUtime=0
/proc/22925/task/22928/stat : 22928 (java) S 22910 22910 22535 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 166138655 883429376 139193 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22929] ppid=22910 vsize=862724 CPUtime=0
/proc/22925/task/22929/stat : 22929 (java) S 22910 22910 22535 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 166138658 883429376 139193 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22930] ppid=22910 vsize=862724 CPUtime=0.3
/proc/22925/task/22930/stat : 22930 (java) S 22910 22910 22535 0 -1 64 951 0 0 0 28 2 0 0 16 0 9 0 166138658 883429376 139193 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22931] ppid=22910 vsize=862724 CPUtime=0
/proc/22925/task/22931/stat : 22931 (java) S 22910 22910 22535 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 166138658 883429376 139193 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22932] ppid=22910 vsize=862724 CPUtime=0
/proc/22925/task/22932/stat : 22932 (java) S 22910 22910 22535 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 166138658 883429376 139193 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22933] ppid=22910 vsize=862724 CPUtime=0
/proc/22925/task/22933/stat : 22933 (java) S 22910 22910 22535 0 -1 64 5 0 0 0 0 0 0 0 18 0 9 0 166141435 883429376 139193 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1650.23
Current children cumulated vsize (KiB) 910280
[startup+1723.59 s]
/proc/loadavg: 2.00 2.02 2.00 3/96 23196
/proc/meminfo: memFree=283472/2055920 swapFree=4171244/4192956
[pid=22910] ppid=22908 vsize=47556 CPUtime=0.01
/proc/22910/stat : 22910 (galacJ.sh) S 22908 22910 22535 0 -1 4194304 798 1728 0 0 0 0 0 1 18 0 1 0 166138646 48697344 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/22910/statm: 11889 363 246 79 0 217 0
[pid=22925] ppid=22910 vsize=862724 CPUtime=1710.16
/proc/22925/stat : 22925 (java) R 22910 22910 22535 0 -1 0 142402 0 1 0 170927 89 0 0 25 0 9 0 166138650 883429376 139193 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4074032147 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22925/statm: 215681 139193 2029 14 0 201586 0
[pid=22925/tid=22926] ppid=22910 vsize=862724 CPUtime=7.11
/proc/22925/task/22926/stat : 22926 (java) S 22910 22910 22535 0 -1 64 126391 0 0 0 649 62 0 0 16 0 9 0 166138654 883429376 139193 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22927] ppid=22910 vsize=862724 CPUtime=0
/proc/22925/task/22927/stat : 22927 (java) S 22910 22910 22535 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 166138655 883429376 139193 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22928] ppid=22910 vsize=862724 CPUtime=0
/proc/22925/task/22928/stat : 22928 (java) S 22910 22910 22535 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 166138655 883429376 139193 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22929] ppid=22910 vsize=862724 CPUtime=0
/proc/22925/task/22929/stat : 22929 (java) S 22910 22910 22535 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 166138658 883429376 139193 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22930] ppid=22910 vsize=862724 CPUtime=0.3
/proc/22925/task/22930/stat : 22930 (java) S 22910 22910 22535 0 -1 64 951 0 0 0 28 2 0 0 16 0 9 0 166138658 883429376 139193 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22931] ppid=22910 vsize=862724 CPUtime=0
/proc/22925/task/22931/stat : 22931 (java) S 22910 22910 22535 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 166138658 883429376 139193 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22932] ppid=22910 vsize=862724 CPUtime=0
/proc/22925/task/22932/stat : 22932 (java) S 22910 22910 22535 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 166138658 883429376 139193 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22933] ppid=22910 vsize=862724 CPUtime=0
/proc/22925/task/22933/stat : 22933 (java) S 22910 22910 22535 0 -1 64 5 0 0 0 0 0 0 0 18 0 9 0 166141435 883429376 139193 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1710.17
Current children cumulated vsize (KiB) 910280
[startup+1783.59 s]
/proc/loadavg: 2.00 2.02 2.00 3/96 23196
/proc/meminfo: memFree=283408/2055920 swapFree=4171244/4192956
[pid=22910] ppid=22908 vsize=47556 CPUtime=0.01
/proc/22910/stat : 22910 (galacJ.sh) S 22908 22910 22535 0 -1 4194304 798 1728 0 0 0 0 0 1 18 0 1 0 166138646 48697344 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/22910/statm: 11889 363 246 79 0 217 0
[pid=22925] ppid=22910 vsize=862724 CPUtime=1770.1
/proc/22925/stat : 22925 (java) R 22910 22910 22535 0 -1 0 142402 0 1 0 176921 89 0 0 25 0 9 0 166138650 883429376 139193 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4074026430 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22925/statm: 215681 139193 2029 14 0 201586 0
[pid=22925/tid=22926] ppid=22910 vsize=862724 CPUtime=7.11
/proc/22925/task/22926/stat : 22926 (java) S 22910 22910 22535 0 -1 64 126391 0 0 0 649 62 0 0 16 0 9 0 166138654 883429376 139193 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22927] ppid=22910 vsize=862724 CPUtime=0
/proc/22925/task/22927/stat : 22927 (java) S 22910 22910 22535 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 166138655 883429376 139193 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22928] ppid=22910 vsize=862724 CPUtime=0
/proc/22925/task/22928/stat : 22928 (java) S 22910 22910 22535 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 166138655 883429376 139193 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22929] ppid=22910 vsize=862724 CPUtime=0
/proc/22925/task/22929/stat : 22929 (java) S 22910 22910 22535 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 166138658 883429376 139193 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22930] ppid=22910 vsize=862724 CPUtime=0.3
/proc/22925/task/22930/stat : 22930 (java) S 22910 22910 22535 0 -1 64 951 0 0 0 28 2 0 0 16 0 9 0 166138658 883429376 139193 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22931] ppid=22910 vsize=862724 CPUtime=0
/proc/22925/task/22931/stat : 22931 (java) S 22910 22910 22535 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 166138658 883429376 139193 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22932] ppid=22910 vsize=862724 CPUtime=0
/proc/22925/task/22932/stat : 22932 (java) S 22910 22910 22535 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 166138658 883429376 139193 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22933] ppid=22910 vsize=862724 CPUtime=0
/proc/22925/task/22933/stat : 22933 (java) S 22910 22910 22535 0 -1 64 5 0 0 0 0 0 0 0 18 0 9 0 166141435 883429376 139193 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1770.11
Current children cumulated vsize (KiB) 910280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1813.59 s]
/proc/loadavg: 2.00 2.01 2.00 4/96 23196
/proc/meminfo: memFree=283408/2055920 swapFree=4171244/4192956
[pid=22910] ppid=22908 vsize=47556 CPUtime=0.01
/proc/22910/stat : 22910 (galacJ.sh) S 22908 22910 22535 0 -1 4194304 798 1728 0 0 0 0 0 1 18 0 1 0 166138646 48697344 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/22910/statm: 11889 363 246 79 0 217 0
[pid=22925] ppid=22910 vsize=862724 CPUtime=1800.07
/proc/22925/stat : 22925 (java) R 22910 22910 22535 0 -1 0 142402 0 1 0 179918 89 0 0 25 0 9 0 166138650 883429376 139193 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4074026654 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22925/statm: 215681 139193 2029 14 0 201586 0
[pid=22925/tid=22926] ppid=22910 vsize=862724 CPUtime=7.11
/proc/22925/task/22926/stat : 22926 (java) S 22910 22910 22535 0 -1 64 126391 0 0 0 649 62 0 0 16 0 9 0 166138654 883429376 139193 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22927] ppid=22910 vsize=862724 CPUtime=0
/proc/22925/task/22927/stat : 22927 (java) S 22910 22910 22535 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 166138655 883429376 139193 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22928] ppid=22910 vsize=862724 CPUtime=0
/proc/22925/task/22928/stat : 22928 (java) S 22910 22910 22535 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 166138655 883429376 139193 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22929] ppid=22910 vsize=862724 CPUtime=0
/proc/22925/task/22929/stat : 22929 (java) S 22910 22910 22535 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 166138658 883429376 139193 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22930] ppid=22910 vsize=862724 CPUtime=0.3
/proc/22925/task/22930/stat : 22930 (java) S 22910 22910 22535 0 -1 64 951 0 0 0 28 2 0 0 16 0 9 0 166138658 883429376 139193 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22931] ppid=22910 vsize=862724 CPUtime=0
/proc/22925/task/22931/stat : 22931 (java) S 22910 22910 22535 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 166138658 883429376 139193 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22932] ppid=22910 vsize=862724 CPUtime=0
/proc/22925/task/22932/stat : 22932 (java) S 22910 22910 22535 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 166138658 883429376 139193 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22925/tid=22933] ppid=22910 vsize=862724 CPUtime=0
/proc/22925/task/22933/stat : 22933 (java) S 22910 22910 22535 0 -1 64 5 0 0 0 0 0 0 0 18 0 9 0 166141435 883429376 139193 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 910280
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 22910 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=7998 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=20996
CPU time returned by wait4() is 0.028994
while last known CPU time is 1800.08
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1813.61
CPU time (s): 1800.08
CPU user time (s): 1799.18
CPU system time (s): 0.9
CPU usage (%): 99.2542
Max. virtual memory (cumulated for all children) (KiB): 917768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.007998
system time used= 0.020996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2526
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 52
involuntary context switches= 25
runsolver used 2.19367 s user time and 6.32104 s system time
The end
Begin job on node19 on Sun Jan 7 13:44:00 UTC 2007
IDJOB= 206734
IDBENCH= 4231
FILE ID= node19/206734-1168177440
PBS_JOBID= 3478859
Free space on /tmp= 66302 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28/rand-3-28-28-93-632-44_ext.xml
COMMAND LINE= /tmp/evaluation/206734-1168177440/galacJ.sh /tmp/evaluation/206734-1168177440/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-206734-1168177440 -o ROOT/results/node19/solver-206734-1168177440 -C 1800 -M 900 /tmp/evaluation/206734-1168177440/galacJ.sh /tmp/evaluation/206734-1168177440/unknown.xml
META MD5SUM SOLVER= ffd78bd56f274e94bd0d0faf76d262cb
MD5SUM BENCH= f66defe44a9042bd3059afa3d35d7949
RANDOM SEED= 589662273
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: 783296 kB
Buffers: 79184 kB
Cached: 538188 kB
SwapCached: 10472 kB
Active: 750408 kB
Inactive: 453352 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 783296 kB
SwapTotal: 4192956 kB
SwapFree: 4171244 kB
Dirty: 9184 kB
Writeback: 0 kB
Mapped: 604088 kB
Slab: 52276 kB
Committed_AS: 4793524 kB
PageTables: 3572 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= 66297 MiB
End job on node19 on Sun Jan 7 14:14:14 UTC 2007