0.16/0.46 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.16/0.46 c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.16/0.46 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.16/0.47 c version SAT COMPETITION 2007
0.16/0.47 c sun.arch.data.model 32
0.16/0.47 c java.version 1.6.0
0.16/0.47 c os.name Linux
0.16/0.47 c os.version 2.6.9-22.EL.rootsmp
0.16/0.47 c os.arch i386
0.16/0.47 c Free memory 1703279312
0.16/0.47 c Max memory 1706164224
0.16/0.48 c Total memory 1706164224
0.16/0.48 c Number of processors 2
0.23/0.53 c --- Begin Solver configuration ---
0.23/0.53 c Stops conflict analysis at the first Unique Implication Point
0.23/0.53 c org.sat4j.minisat.constraints.MixedDataStructureDaniel@15cda3f
0.23/0.53 c Limit learning to clauses of size smaller or equal to 10% of the number of variables
0.23/0.53 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100
0.23/0.53 c VSIDS like heuristics from MiniSAT using a heap
0.23/0.53 c Expensive reason simplification
0.23/0.53 c --- End Solver configuration ---
0.23/0.53 c timeout: 2147483s
0.23/0.53 c solving /tmp/evaluation/308557-1172522079/instance-308557-1172522079.cnf
0.23/0.53 c reading problem ...
0.37/0.72 c ... done. Wall clock time 0.191s.
0.54/0.72 c CPU time (experimental) 0.32s.
0.54/0.72 c #vars 5500
0.54/0.72 c #constraints 14684
1200.02/1200.12 c starts : 19
1200.02/1200.12 c conflicts : 435451
1200.02/1200.12 c decisions : 570493
1200.02/1200.12 c propagations : 213277467
1200.02/1200.12 c inspects : 2707224292
1200.02/1200.12 c learnt literals : 1
1200.02/1200.12 c learnt binary clauses : 28
1200.02/1200.12 c learnt ternary clauses : 228
1200.02/1200.12 c learnt clauses : 435450
1200.02/1200.12 c root simplifications : 0
1200.02/1200.12 c removed literals (reason simplification) : 12030893
1200.02/1200.12 c reason swapping (by a shorter reason) : 0
1200.02/1200.12 c Calls to reduceDB : 0
1200.02/1200.12 c speed (decisions/second) : 475.6542097373156
1200.02/1200.12 c non guided choices 115
1200.02/1200.12 s UNKNOWN
1200.02/1200.12 c Total wall clock time (in seconds) : 1199.59
1200.02/1200.12 c Total CPU time (experimental, in seconds) : 0.0
runsolver version 3.2.0 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node30/watcher-308557-1172522079 -o ROOT/results/node30/solver-308557-1172522079 -C 1200 -M 1800 --output-limit 1,15 java -server -Xmx1650M -Xms1650M -jar /tmp/evaluation/308557-1172522079/sat4j-sat2007.jar /tmp/evaluation/308557-1172522079/instance-308557-1172522079.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.79 0.95 0.98 2/77 16073
/proc/meminfo: memFree=1908328/2055920 swapFree=4143328/4192956
[pid=16073] ppid=16071 vsize=152 CPUtime=0
/proc/16073/stat : 16073 (java) D 16071 16073 14949 0 -1 0 42 0 0 0 0 0 0 0 18 0 1 0 245971952 155648 26 18446744073709551615 134512640 134550740 4294956640 18446744073709551615 7017252 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/16073/statm: 38 26 19 9 0 4 0
[startup+0.108053 s]
/proc/loadavg: 0.79 0.95 0.98 2/77 16073
/proc/meminfo: memFree=1908328/2055920 swapFree=4143328/4192956
[pid=16073] ppid=16071 vsize=12496 CPUtime=0.02
/proc/16073/stat : 16073 (java) S 16071 16073 14949 0 -1 0 752 0 27 0 0 2 0 0 18 0 2 0 245971952 12795904 561 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/16073/statm: 3124 561 250 9 0 1241 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12496
[startup+0.520113 s]
/proc/loadavg: 0.79 0.95 0.98 2/77 16073
/proc/meminfo: memFree=1908328/2055920 swapFree=4143328/4192956
[pid=16073] ppid=16071 vsize=1833500 CPUtime=0.23
/proc/16073/stat : 16073 (java) S 16071 16073 14949 0 -1 0 4840 0 38 0 16 7 0 0 18 0 12 0 245971952 1877504000 4615 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16073/statm: 458375 4615 1252 9 0 455987 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 1833500
[startup+1.34423 s]
/proc/loadavg: 0.79 0.95 0.98 2/90 16086
/proc/meminfo: memFree=1878336/2055920 swapFree=4143328/4192956
[pid=16073] ppid=16071 vsize=1837876 CPUtime=1.49
/proc/16073/stat : 16073 (java) S 16071 16073 14949 0 -1 0 8422 0 38 0 139 10 0 0 18 0 13 0 245971952 1881985024 6451 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16073/statm: 459469 6451 1313 9 0 457081 0
[pid=16073/tid=16075] ppid=16071 vsize=1837876 CPUtime=0.78
/proc/16073/task/16075/stat : 16075 (java) R 16071 16073 14949 0 -1 64 4516 0 12 0 73 5 0 0 23 0 13 0 245971961 1881985024 6451 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4109580685 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16076] ppid=16071 vsize=1837876 CPUtime=0
/proc/16073/task/16076/stat : 16076 (java) S 16071 16073 14949 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 245971971 1881985024 6451 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16077] ppid=16071 vsize=1837876 CPUtime=0
/proc/16073/task/16077/stat : 16077 (java) S 16071 16073 14949 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 245971971 1881985024 6451 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16078] ppid=16071 vsize=1837876 CPUtime=0
/proc/16073/task/16078/stat : 16078 (java) S 16071 16073 14949 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 245971975 1881985024 6451 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16079] ppid=16071 vsize=1837876 CPUtime=0
/proc/16073/task/16079/stat : 16079 (java) S 16071 16073 14949 0 -1 64 10 0 0 0 0 0 0 0 21 0 13 0 245971975 1881985024 6451 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16080] ppid=16071 vsize=1837876 CPUtime=0
/proc/16073/task/16080/stat : 16080 (java) S 16071 16073 14949 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 245971975 1881985024 6451 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16081] ppid=16071 vsize=1837876 CPUtime=0
/proc/16073/task/16081/stat : 16081 (java) S 16071 16073 14949 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 245971985 1881985024 6451 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16082] ppid=16071 vsize=1837876 CPUtime=0.31
/proc/16073/task/16082/stat : 16082 (java) S 16071 16073 14949 0 -1 64 1343 0 0 0 31 0 0 0 15 0 13 0 245971985 1881985024 6451 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16073/tid=16083] ppid=16071 vsize=1837876 CPUtime=0.35
/proc/16073/task/16083/stat : 16083 (java) S 16071 16073 14949 0 -1 64 1867 0 0 0 34 1 0 0 16 0 13 0 245971985 1881985024 6451 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16084] ppid=16071 vsize=1837876 CPUtime=0
/proc/16073/task/16084/stat : 16084 (java) S 16071 16073 14949 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 245971985 1881985024 6451 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16085] ppid=16071 vsize=1837876 CPUtime=0
/proc/16073/task/16085/stat : 16085 (java) S 16071 16073 14949 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 245971985 1881985024 6451 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16086] ppid=16071 vsize=1837876 CPUtime=0
/proc/16073/task/16086/stat : 16086 (java) S 16071 16073 14949 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 245972027 1881985024 6451 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1837876
[startup+2.98647 s]
/proc/loadavg: 0.79 0.95 0.98 2/90 16086
/proc/meminfo: memFree=1877568/2055920 swapFree=4143328/4192956
[pid=16073] ppid=16071 vsize=1837876 CPUtime=3.16
/proc/16073/stat : 16073 (java) S 16071 16073 14949 0 -1 0 8673 0 38 0 306 10 0 0 18 0 13 0 245971952 1881985024 6702 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16073/statm: 459469 6702 1313 9 0 457081 0
[pid=16073/tid=16075] ppid=16071 vsize=1837876 CPUtime=2.4
/proc/16073/task/16075/stat : 16075 (java) R 16071 16073 14949 0 -1 64 4763 0 12 0 234 6 0 0 25 0 13 0 245971961 1881985024 6702 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4109177419 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16076] ppid=16071 vsize=1837876 CPUtime=0
/proc/16073/task/16076/stat : 16076 (java) S 16071 16073 14949 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 245971971 1881985024 6702 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16077] ppid=16071 vsize=1837876 CPUtime=0
/proc/16073/task/16077/stat : 16077 (java) S 16071 16073 14949 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 245971971 1881985024 6702 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16078] ppid=16071 vsize=1837876 CPUtime=0
/proc/16073/task/16078/stat : 16078 (java) S 16071 16073 14949 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 245971975 1881985024 6702 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16079] ppid=16071 vsize=1837876 CPUtime=0
/proc/16073/task/16079/stat : 16079 (java) S 16071 16073 14949 0 -1 64 10 0 0 0 0 0 0 0 21 0 13 0 245971975 1881985024 6702 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16080] ppid=16071 vsize=1837876 CPUtime=0
/proc/16073/task/16080/stat : 16080 (java) S 16071 16073 14949 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 245971975 1881985024 6702 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16081] ppid=16071 vsize=1837876 CPUtime=0
/proc/16073/task/16081/stat : 16081 (java) S 16071 16073 14949 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 245971985 1881985024 6702 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16082] ppid=16071 vsize=1837876 CPUtime=0.33
/proc/16073/task/16082/stat : 16082 (java) S 16071 16073 14949 0 -1 64 1345 0 0 0 33 0 0 0 16 0 13 0 245971985 1881985024 6702 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16073/tid=16083] ppid=16071 vsize=1837876 CPUtime=0.38
/proc/16073/task/16083/stat : 16083 (java) S 16071 16073 14949 0 -1 64 1869 0 0 0 37 1 0 0 16 0 13 0 245971985 1881985024 6702 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16084] ppid=16071 vsize=1837876 CPUtime=0
/proc/16073/task/16084/stat : 16084 (java) S 16071 16073 14949 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 245971985 1881985024 6702 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16085] ppid=16071 vsize=1837876 CPUtime=0
/proc/16073/task/16085/stat : 16085 (java) S 16071 16073 14949 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 245971985 1881985024 6702 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16086] ppid=16071 vsize=1837876 CPUtime=0
/proc/16073/task/16086/stat : 16086 (java) S 16071 16073 14949 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 245972027 1881985024 6702 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.16
Current children cumulated vsize (KiB) 1837876
[startup+6.18892 s]
/proc/loadavg: 0.81 0.95 0.98 2/90 16086
/proc/meminfo: memFree=1876480/2055920 swapFree=4143328/4192956
[pid=16073] ppid=16071 vsize=1836600 CPUtime=6.45
/proc/16073/stat : 16073 (java) S 16071 16073 14949 0 -1 0 9161 0 38 0 634 11 0 0 18 0 13 0 245971952 1880678400 6855 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16073/statm: 459150 6855 1317 9 0 456762 0
[pid=16073/tid=16075] ppid=16071 vsize=1836600 CPUtime=5.59
/proc/16073/task/16075/stat : 16075 (java) R 16071 16073 14949 0 -1 64 5234 0 12 0 553 6 0 0 25 0 13 0 245971961 1880678400 6855 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4109566090 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16076] ppid=16071 vsize=1836600 CPUtime=0
/proc/16073/task/16076/stat : 16076 (java) S 16071 16073 14949 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 245971971 1880678400 6855 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16077] ppid=16071 vsize=1836600 CPUtime=0
/proc/16073/task/16077/stat : 16077 (java) S 16071 16073 14949 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 245971971 1880678400 6855 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16078] ppid=16071 vsize=1836600 CPUtime=0
/proc/16073/task/16078/stat : 16078 (java) S 16071 16073 14949 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 245971975 1880678400 6855 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16079] ppid=16071 vsize=1836600 CPUtime=0
/proc/16073/task/16079/stat : 16079 (java) S 16071 16073 14949 0 -1 64 10 0 0 0 0 0 0 0 21 0 13 0 245971975 1880678400 6855 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16080] ppid=16071 vsize=1836600 CPUtime=0
/proc/16073/task/16080/stat : 16080 (java) S 16071 16073 14949 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 245971975 1880678400 6855 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16081] ppid=16071 vsize=1836600 CPUtime=0
/proc/16073/task/16081/stat : 16081 (java) S 16071 16073 14949 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 245971985 1880678400 6855 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16082] ppid=16071 vsize=1836600 CPUtime=0.39
/proc/16073/task/16082/stat : 16082 (java) S 16071 16073 14949 0 -1 64 1354 0 0 0 39 0 0 0 16 0 13 0 245971985 1880678400 6855 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16073/tid=16083] ppid=16071 vsize=1836600 CPUtime=0.42
/proc/16073/task/16083/stat : 16083 (java) S 16071 16073 14949 0 -1 64 1877 0 0 0 41 1 0 0 16 0 13 0 245971985 1880678400 6855 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16084] ppid=16071 vsize=1836600 CPUtime=0
/proc/16073/task/16084/stat : 16084 (java) S 16071 16073 14949 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 245971985 1880678400 6855 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16085] ppid=16071 vsize=1836600 CPUtime=0
/proc/16073/task/16085/stat : 16085 (java) S 16071 16073 14949 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 245971985 1880678400 6855 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16086] ppid=16071 vsize=1836600 CPUtime=0
/proc/16073/task/16086/stat : 16086 (java) S 16071 16073 14949 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 245972027 1880678400 6855 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.45
Current children cumulated vsize (KiB) 1836600
[startup+12.6718 s]
/proc/loadavg: 0.83 0.95 0.98 2/90 16086
/proc/meminfo: memFree=1873800/2055920 swapFree=4143328/4192956
[pid=16073] ppid=16071 vsize=1836236 CPUtime=12.95
/proc/16073/stat : 16073 (java) S 16071 16073 14949 0 -1 0 9868 0 38 0 1284 11 0 0 18 0 13 0 245971952 1880305664 7470 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16073/statm: 459059 7470 1317 9 0 456671 0
[pid=16073/tid=16075] ppid=16071 vsize=1836236 CPUtime=12.04
/proc/16073/task/16075/stat : 16075 (java) R 16071 16073 14949 0 -1 64 5938 0 12 0 1197 7 0 0 25 0 13 0 245971961 1880305664 7470 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4109564234 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16073/tid=16076] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16076/stat : 16076 (java) S 16071 16073 14949 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 245971971 1880305664 7470 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16077] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16077/stat : 16077 (java) S 16071 16073 14949 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 245971971 1880305664 7470 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16078] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16078/stat : 16078 (java) S 16071 16073 14949 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 245971975 1880305664 7470 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16079] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16079/stat : 16079 (java) S 16071 16073 14949 0 -1 64 10 0 0 0 0 0 0 0 21 0 13 0 245971975 1880305664 7470 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16080] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16080/stat : 16080 (java) S 16071 16073 14949 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 245971975 1880305664 7470 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16081] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16081/stat : 16081 (java) S 16071 16073 14949 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 245971985 1880305664 7470 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16082] ppid=16071 vsize=1836236 CPUtime=0.42
/proc/16073/task/16082/stat : 16082 (java) S 16071 16073 14949 0 -1 64 1355 0 0 0 42 0 0 0 17 0 13 0 245971985 1880305664 7470 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16073/tid=16083] ppid=16071 vsize=1836236 CPUtime=0.44
/proc/16073/task/16083/stat : 16083 (java) S 16071 16073 14949 0 -1 64 1879 0 0 0 43 1 0 0 16 0 13 0 245971985 1880305664 7470 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16084] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16084/stat : 16084 (java) S 16071 16073 14949 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 245971985 1880305664 7470 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16085] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16085/stat : 16085 (java) S 16071 16073 14949 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 245971985 1880305664 7470 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16086] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16086/stat : 16086 (java) S 16071 16073 14949 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 245972027 1880305664 7471 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.95
Current children cumulated vsize (KiB) 1836236
[startup+25.5557 s]
/proc/loadavg: 0.86 0.95 0.98 2/90 16086
/proc/meminfo: memFree=1869384/2055920 swapFree=4143328/4192956
[pid=16073] ppid=16071 vsize=1836236 CPUtime=25.83
/proc/16073/stat : 16073 (java) S 16071 16073 14949 0 -1 0 11081 0 38 0 2571 12 0 0 18 0 13 0 245971952 1880305664 8683 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16073/statm: 459059 8683 1317 9 0 456671 0
[pid=16073/tid=16075] ppid=16071 vsize=1836236 CPUtime=24.91
/proc/16073/task/16075/stat : 16075 (java) R 16071 16073 14949 0 -1 64 7150 0 12 0 2483 8 0 0 25 0 13 0 245971961 1880305664 8683 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4109625422 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16073/tid=16076] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16076/stat : 16076 (java) S 16071 16073 14949 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 245971971 1880305664 8683 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16077] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16077/stat : 16077 (java) S 16071 16073 14949 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 245971971 1880305664 8683 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16078] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16078/stat : 16078 (java) S 16071 16073 14949 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 245971975 1880305664 8683 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16079] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16079/stat : 16079 (java) S 16071 16073 14949 0 -1 64 10 0 0 0 0 0 0 0 21 0 13 0 245971975 1880305664 8683 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16080] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16080/stat : 16080 (java) S 16071 16073 14949 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 245971975 1880305664 8683 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16081] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16081/stat : 16081 (java) S 16071 16073 14949 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 245971985 1880305664 8683 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16082] ppid=16071 vsize=1836236 CPUtime=0.43
/proc/16073/task/16082/stat : 16082 (java) S 16071 16073 14949 0 -1 64 1356 0 0 0 43 0 0 0 17 0 13 0 245971985 1880305664 8683 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16073/tid=16083] ppid=16071 vsize=1836236 CPUtime=0.44
/proc/16073/task/16083/stat : 16083 (java) S 16071 16073 14949 0 -1 64 1879 0 0 0 43 1 0 0 16 0 13 0 245971985 1880305664 8683 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16084] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16084/stat : 16084 (java) S 16071 16073 14949 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 245971985 1880305664 8683 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16085] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16085/stat : 16085 (java) S 16071 16073 14949 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 245971985 1880305664 8683 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16073/tid=16086] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16086/stat : 16086 (java) S 16071 16073 14949 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 245972027 1880305664 8683 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.83
################
# More data... #
################
[pid=16073] ppid=16071 vsize=1836236 CPUtime=1062.82
/proc/16073/stat : 16073 (java) S 16071 16073 14949 0 -1 0 38272 0 38 0 106226 56 0 0 18 0 13 0 245971952 1880305664 35874 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16073/statm: 459059 35874 1317 9 0 456671 0
[pid=16073/tid=16075] ppid=16071 vsize=1836236 CPUtime=1061.89
/proc/16073/task/16075/stat : 16075 (java) R 16071 16073 14949 0 -1 64 34341 0 12 0 106137 52 0 0 25 0 13 0 245971961 1880305664 35874 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4109511514 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16073/tid=16076] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16076/stat : 16076 (java) S 16071 16073 14949 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 245971971 1880305664 35874 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16077] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16077/stat : 16077 (java) S 16071 16073 14949 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 245971971 1880305664 35874 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16078] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16078/stat : 16078 (java) S 16071 16073 14949 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 245971975 1880305664 35874 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16079] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16079/stat : 16079 (java) S 16071 16073 14949 0 -1 64 10 0 0 0 0 0 0 0 21 0 13 0 245971975 1880305664 35874 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16080] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16080/stat : 16080 (java) S 16071 16073 14949 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 245971975 1880305664 35874 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16081] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16081/stat : 16081 (java) S 16071 16073 14949 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 245971985 1880305664 35874 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16082] ppid=16071 vsize=1836236 CPUtime=0.44
/proc/16073/task/16082/stat : 16082 (java) S 16071 16073 14949 0 -1 64 1356 0 0 0 44 0 0 0 17 0 13 0 245971985 1880305664 35874 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16073/tid=16083] ppid=16071 vsize=1836236 CPUtime=0.46
/proc/16073/task/16083/stat : 16083 (java) S 16071 16073 14949 0 -1 64 1879 0 0 0 45 1 0 0 16 0 13 0 245971985 1880305664 35874 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16084] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16084/stat : 16084 (java) S 16071 16073 14949 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 245971985 1880305664 35874 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16085] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16085/stat : 16085 (java) S 16071 16073 14949 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 245971985 1880305664 35874 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16073/tid=16086] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16086/stat : 16086 (java) S 16071 16073 14949 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 245972027 1880305664 35874 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1062.82
Current children cumulated vsize (KiB) 1836236
[startup+1122.89 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 16086
/proc/meminfo: memFree=1756552/2055920 swapFree=4143328/4192956
[pid=16073] ppid=16071 vsize=1836236 CPUtime=1122.82
/proc/16073/stat : 16073 (java) S 16071 16073 14949 0 -1 0 39038 0 38 0 112224 58 0 0 18 0 13 0 245971952 1880305664 36640 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16073/statm: 459059 36640 1317 9 0 456671 0
[pid=16073/tid=16075] ppid=16071 vsize=1836236 CPUtime=1121.88
/proc/16073/task/16075/stat : 16075 (java) R 16071 16073 14949 0 -1 64 35107 0 12 0 112135 53 0 0 25 0 13 0 245971961 1880305664 36640 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4109557598 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16073/tid=16076] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16076/stat : 16076 (java) S 16071 16073 14949 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 245971971 1880305664 36640 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16077] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16077/stat : 16077 (java) S 16071 16073 14949 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 245971971 1880305664 36640 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16078] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16078/stat : 16078 (java) S 16071 16073 14949 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 245971975 1880305664 36640 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16079] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16079/stat : 16079 (java) S 16071 16073 14949 0 -1 64 10 0 0 0 0 0 0 0 21 0 13 0 245971975 1880305664 36640 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16080] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16080/stat : 16080 (java) S 16071 16073 14949 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 245971975 1880305664 36640 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16081] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16081/stat : 16081 (java) S 16071 16073 14949 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 245971985 1880305664 36640 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16082] ppid=16071 vsize=1836236 CPUtime=0.44
/proc/16073/task/16082/stat : 16082 (java) S 16071 16073 14949 0 -1 64 1356 0 0 0 44 0 0 0 17 0 13 0 245971985 1880305664 36640 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16073/tid=16083] ppid=16071 vsize=1836236 CPUtime=0.46
/proc/16073/task/16083/stat : 16083 (java) S 16071 16073 14949 0 -1 64 1879 0 0 0 45 1 0 0 16 0 13 0 245971985 1880305664 36640 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16084] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16084/stat : 16084 (java) S 16071 16073 14949 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 245971985 1880305664 36640 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16085] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16085/stat : 16085 (java) S 16071 16073 14949 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 245971985 1880305664 36640 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16073/tid=16086] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16086/stat : 16086 (java) S 16071 16073 14949 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 245972027 1880305664 36640 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1122.82
Current children cumulated vsize (KiB) 1836236
[startup+1182.92 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 16086
/proc/meminfo: memFree=1753096/2055920 swapFree=4143328/4192956
[pid=16073] ppid=16071 vsize=1836236 CPUtime=1182.83
/proc/16073/stat : 16073 (java) S 16071 16073 14949 0 -1 0 39885 0 38 0 118224 59 0 0 18 0 13 0 245971952 1880305664 37487 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16073/statm: 459059 37487 1317 9 0 456671 0
[pid=16073/tid=16075] ppid=16071 vsize=1836236 CPUtime=1181.88
/proc/16073/task/16075/stat : 16075 (java) R 16071 16073 14949 0 -1 64 35954 0 12 0 118134 54 0 0 25 0 13 0 245971961 1880305664 37487 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4109565121 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16073/tid=16076] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16076/stat : 16076 (java) S 16071 16073 14949 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 245971971 1880305664 37487 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16077] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16077/stat : 16077 (java) S 16071 16073 14949 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 245971971 1880305664 37487 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16078] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16078/stat : 16078 (java) S 16071 16073 14949 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 245971975 1880305664 37487 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16079] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16079/stat : 16079 (java) S 16071 16073 14949 0 -1 64 10 0 0 0 0 0 0 0 21 0 13 0 245971975 1880305664 37487 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16080] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16080/stat : 16080 (java) S 16071 16073 14949 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 245971975 1880305664 37487 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16081] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16081/stat : 16081 (java) S 16071 16073 14949 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 245971985 1880305664 37487 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16082] ppid=16071 vsize=1836236 CPUtime=0.44
/proc/16073/task/16082/stat : 16082 (java) S 16071 16073 14949 0 -1 64 1356 0 0 0 44 0 0 0 17 0 13 0 245971985 1880305664 37487 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16073/tid=16083] ppid=16071 vsize=1836236 CPUtime=0.46
/proc/16073/task/16083/stat : 16083 (java) S 16071 16073 14949 0 -1 64 1879 0 0 0 45 1 0 0 16 0 13 0 245971985 1880305664 37487 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16084] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16084/stat : 16084 (java) S 16071 16073 14949 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 245971985 1880305664 37487 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16085] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16085/stat : 16085 (java) S 16071 16073 14949 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 245971985 1880305664 37487 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16073/tid=16086] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16086/stat : 16086 (java) S 16071 16073 14949 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 245972027 1880305664 37487 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1182.83
Current children cumulated vsize (KiB) 1836236
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 16086
/proc/meminfo: memFree=1752136/2055920 swapFree=4143328/4192956
[pid=16073] ppid=16071 vsize=1836236 CPUtime=1200.02
/proc/16073/stat : 16073 (java) S 16071 16073 14949 0 -1 0 40119 0 38 0 119943 59 0 0 18 0 13 0 245971952 1880305664 37721 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16073/statm: 459059 37721 1317 9 0 456671 0
[pid=16073/tid=16075] ppid=16071 vsize=1836236 CPUtime=1199.09
/proc/16073/task/16075/stat : 16075 (java) R 16071 16073 14949 0 -1 64 36188 0 12 0 119854 55 0 0 25 0 13 0 245971961 1880305664 37721 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4109565512 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16073/tid=16076] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16076/stat : 16076 (java) S 16071 16073 14949 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 245971971 1880305664 37721 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16077] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16077/stat : 16077 (java) S 16071 16073 14949 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 245971971 1880305664 37721 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16078] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16078/stat : 16078 (java) S 16071 16073 14949 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 245971975 1880305664 37721 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16079] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16079/stat : 16079 (java) S 16071 16073 14949 0 -1 64 10 0 0 0 0 0 0 0 21 0 13 0 245971975 1880305664 37721 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16080] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16080/stat : 16080 (java) S 16071 16073 14949 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 245971975 1880305664 37721 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16081] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16081/stat : 16081 (java) S 16071 16073 14949 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 245971985 1880305664 37721 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16082] ppid=16071 vsize=1836236 CPUtime=0.44
/proc/16073/task/16082/stat : 16082 (java) S 16071 16073 14949 0 -1 64 1356 0 0 0 44 0 0 0 17 0 13 0 245971985 1880305664 37721 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16073/tid=16083] ppid=16071 vsize=1836236 CPUtime=0.46
/proc/16073/task/16083/stat : 16083 (java) S 16071 16073 14949 0 -1 64 1879 0 0 0 45 1 0 0 16 0 13 0 245971985 1880305664 37721 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16084] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16084/stat : 16084 (java) S 16071 16073 14949 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 245971985 1880305664 37721 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16085] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16085/stat : 16085 (java) S 16071 16073 14949 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 245971985 1880305664 37721 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16073/tid=16086] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16086/stat : 16086 (java) S 16071 16073 14949 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 245972027 1880305664 37721 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 1836236
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 16086
/proc/meminfo: memFree=1752136/2055920 swapFree=4143328/4192956
[pid=16073] ppid=16071 vsize=1836236 CPUtime=1200.02
/proc/16073/stat : 16073 (java) S 16071 16073 14949 0 -1 0 40119 0 38 0 119943 59 0 0 18 0 13 0 245971952 1880305664 37721 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16073/statm: 459059 37721 1317 9 0 456671 0
[pid=16073/tid=16075] ppid=16071 vsize=1836236 CPUtime=1199.09
/proc/16073/task/16075/stat : 16075 (java) R 16071 16073 14949 0 -1 64 36188 0 12 0 119854 55 0 0 25 0 13 0 245971961 1880305664 37721 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4109565512 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16073/tid=16076] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16076/stat : 16076 (java) S 16071 16073 14949 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 245971971 1880305664 37721 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16077] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16077/stat : 16077 (java) S 16071 16073 14949 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 245971971 1880305664 37721 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16078] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16078/stat : 16078 (java) S 16071 16073 14949 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 245971975 1880305664 37721 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16079] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16079/stat : 16079 (java) S 16071 16073 14949 0 -1 64 10 0 0 0 0 0 0 0 21 0 13 0 245971975 1880305664 37721 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16080] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16080/stat : 16080 (java) S 16071 16073 14949 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 245971975 1880305664 37721 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16081] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16081/stat : 16081 (java) S 16071 16073 14949 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 245971985 1880305664 37721 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16082] ppid=16071 vsize=1836236 CPUtime=0.44
/proc/16073/task/16082/stat : 16082 (java) S 16071 16073 14949 0 -1 64 1356 0 0 0 44 0 0 0 17 0 13 0 245971985 1880305664 37721 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16073/tid=16083] ppid=16071 vsize=1836236 CPUtime=0.46
/proc/16073/task/16083/stat : 16083 (java) S 16071 16073 14949 0 -1 64 1879 0 0 0 45 1 0 0 16 0 13 0 245971985 1880305664 37721 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16084] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16084/stat : 16084 (java) S 16071 16073 14949 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 245971985 1880305664 37721 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16073/tid=16085] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16085/stat : 16085 (java) S 16071 16073 14949 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 245971985 1880305664 37721 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16073/tid=16086] ppid=16071 vsize=1836236 CPUtime=0
/proc/16073/task/16086/stat : 16086 (java) S 16071 16073 14949 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 245972027 1880305664 37721 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 1836236
Child status: 143
Real time (s): 1200.16
CPU time (s): 1200.07
CPU user time (s): 1199.45
CPU system time (s): 0.619905
CPU usage (%): 99.993
Max. virtual memory (cumulated for all children) (KiB): 1839096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.45
system time used= 0.619905
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40146
page faults= 38
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25069
involuntary context switches= 24882
runsolver used 1.3108 second user time and 2.95255 second system time
The end
Begin job on node30 on Mon Feb 26 20:34:39 UTC 2007
IDJOB= 308557
IDBENCH= 20235
IDSOLVER= 96
FILE ID= node30/308557-1172522079
PBS_JOBID= 3971787
Free space on /tmp= 66558 MiB
SOLVER NAME= SAT4J SAT 2007
BENCH NAME= HOME/pub/bench/SAT07/random/2+p/p0.7/v5500/unif2p-p0.7-v5500-c14685-S915337037-05-SAT.cnf
COMMAND LINE= java -server -Xmx1650M -Xms1650M -jar /tmp/evaluation/308557-1172522079/sat4j-sat2007.jar /tmp/evaluation/308557-1172522079/instance-308557-1172522079.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node30/watcher-308557-1172522079 -o ROOT/results/node30/solver-308557-1172522079 -C 1200 -M 1800 --output-limit 1,15 java -server -Xmx1650M -Xms1650M -jar /tmp/evaluation/308557-1172522079/sat4j-sat2007.jar /tmp/evaluation/308557-1172522079/instance-308557-1172522079.cnf
META MD5SUM SOLVER= fd7c3100383641221a90b938607cc598
MD5SUM BENCH= ebde26cba69a0651179051fde4b21ccb
RANDOM SEED= 559172354
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node30.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux
/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.270
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.270
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: 1908800 kB
Buffers: 11568 kB
Cached: 72844 kB
SwapCached: 16976 kB
Active: 47472 kB
Inactive: 71580 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1908800 kB
SwapTotal: 4192956 kB
SwapFree: 4143328 kB
Dirty: 1808 kB
Writeback: 0 kB
Mapped: 30112 kB
Slab: 13484 kB
Committed_AS: 719856 kB
PageTables: 1884 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= 66558 MiB
End job on node30 on Mon Feb 26 20:54:41 UTC 2007