0.09/0.13 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.09/0.13 c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.09/0.13 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.09/0.15 c version SAT COMPETITION 2007
0.09/0.15 c sun.arch.data.model 32
0.09/0.15 c java.version 1.6.0
0.09/0.15 c os.name Linux
0.09/0.15 c os.version 2.6.9-22.EL.rootsmp
0.09/0.15 c os.arch i386
0.09/0.15 c Free memory 1703279312
0.09/0.15 c Max memory 1706164224
0.09/0.15 c Total memory 1706164224
0.09/0.15 c Number of processors 2
0.09/0.20 c --- Begin Solver configuration ---
0.09/0.20 c Stops conflict analysis at the first Unique Implication Point
0.09/0.20 c org.sat4j.minisat.constraints.MixedDataStructureDaniel@15cda3f
0.09/0.20 c Limit learning to clauses of size smaller or equal to 10% of the number of variables
0.09/0.20 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100
0.09/0.20 c VSIDS like heuristics from MiniSAT using a heap
0.09/0.20 c Expensive reason simplification
0.09/0.20 c --- End Solver configuration ---
0.09/0.20 c timeout: 2147483s
0.09/0.20 c solving /tmp/evaluation/296749-1171826538/instance-296749-1171826538.cnf
0.09/0.20 c reading problem ...
0.36/0.32 c ... done. Wall clock time 0.123s.
0.36/0.32 c CPU time (experimental) 0.23s.
0.36/0.32 c #vars 45
0.36/0.32 c #constraints 4005
141.93/141.57 c starts : 24
141.93/141.57 c conflicts : 2489839
141.93/141.57 c decisions : 2724108
141.93/141.57 c propagations : 18905788
141.93/141.57 c inspects : 984567413
141.93/141.57 c learnt literals : 19
141.93/141.58 c learnt binary clauses : 162
141.93/141.58 c learnt ternary clauses : 919
141.93/141.58 c learnt clauses : 4907
141.93/141.58 c root simplifications : 0
141.93/141.58 c removed literals (reason simplification) : 10126092
141.93/141.58 c reason swapping (by a shorter reason) : 0
141.93/141.58 c Calls to reduceDB : 0
141.93/141.58 c speed (decisions/second) : 19285.310754461854
141.93/141.58 c non guided choices 22
141.93/141.58 s UNSATISFIABLE
141.93/141.58 c Total wall clock time (in seconds) : 141.378
141.93/141.58 c Total CPU time (experimental, in seconds) : 141.29
runsolver version 3.2.0 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node66/watcher-296749-1171826538 -o ROOT/results/node66/solver-296749-1171826538 -C 1200 -M 1800 --output-limit 1,15 java -server -Xmx1650M -Xms1650M -jar /tmp/evaluation/296749-1171826538/sat4j-sat2007.jar /tmp/evaluation/296749-1171826538/instance-296749-1171826538.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.94 0.98 0.99 3/64 24104
/proc/meminfo: memFree=419328/2055920 swapFree=4183396/4192956
[pid=24104] ppid=24102 vsize=152 CPUtime=0
/proc/24104/stat : 24104 (java) R 24102 24104 23825 0 -1 0 42 0 0 0 0 0 0 0 19 0 1 0 202611397 155648 26 18446744073709551615 134512640 134550740 4294956640 18446744073709551615 9838891 0 0 4096 0 0 0 0 17 1 0 0
/proc/24104/statm: 38 26 19 9 0 4 0
[startup+0.106654 s]
/proc/loadavg: 0.94 0.98 0.99 3/64 24104
/proc/meminfo: memFree=419328/2055920 swapFree=4183396/4192956
[pid=24104] ppid=24102 vsize=1831644 CPUtime=0.09
/proc/24104/stat : 24104 (java) S 24102 24104 23825 0 -1 0 4063 0 1 0 7 2 0 0 18 0 12 0 202611397 1875603456 3804 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24104/statm: 457911 3804 1124 9 0 455530 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1831644
[startup+0.514733 s]
/proc/loadavg: 0.94 0.98 0.99 3/64 24104
/proc/meminfo: memFree=419328/2055920 swapFree=4183396/4192956
[pid=24104] ppid=24102 vsize=1837276 CPUtime=0.73
/proc/24104/stat : 24104 (java) S 24102 24104 23825 0 -1 0 6786 0 1 0 69 4 0 0 18 0 13 0 202611397 1881370624 5913 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24104/statm: 459319 5913 1304 9 0 456931 0
Current children cumulated CPU time (s) 0.73
Current children cumulated vsize (KiB) 1837276
[startup+1.33689 s]
/proc/loadavg: 0.94 0.98 0.99 2/77 24117
/proc/meminfo: memFree=399448/2055920 swapFree=4183396/4192956
[pid=24104] ppid=24102 vsize=1837276 CPUtime=1.7
/proc/24104/stat : 24104 (java) S 24102 24104 23825 0 -1 0 7378 0 1 0 166 4 0 0 18 0 13 0 202611397 1881370624 6275 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24104/statm: 459319 6275 1311 9 0 456931 0
[pid=24104/tid=24106] ppid=24102 vsize=1837276 CPUtime=1.12
/proc/24104/task/24106/stat : 24106 (java) R 24102 24104 23825 0 -1 64 4432 0 1 0 109 3 0 0 25 0 13 0 202611398 1881370624 6275 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4109587906 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24104/tid=24107] ppid=24102 vsize=1837276 CPUtime=0
/proc/24104/task/24107/stat : 24107 (java) S 24102 24104 23825 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 202611400 1881370624 6275 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24108] ppid=24102 vsize=1837276 CPUtime=0
/proc/24104/task/24108/stat : 24108 (java) S 24102 24104 23825 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 202611400 1881370624 6275 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24104/tid=24109] ppid=24102 vsize=1837276 CPUtime=0
/proc/24104/task/24109/stat : 24109 (java) S 24102 24104 23825 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 202611402 1881370624 6275 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24110] ppid=24102 vsize=1837276 CPUtime=0
/proc/24104/task/24110/stat : 24110 (java) S 24102 24104 23825 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 202611402 1881370624 6275 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24111] ppid=24102 vsize=1837276 CPUtime=0
/proc/24104/task/24111/stat : 24111 (java) S 24102 24104 23825 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 202611402 1881370624 6275 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24112] ppid=24102 vsize=1837276 CPUtime=0
/proc/24104/task/24112/stat : 24112 (java) S 24102 24104 23825 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 202611406 1881370624 6275 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24113] ppid=24102 vsize=1837276 CPUtime=0.28
/proc/24104/task/24113/stat : 24113 (java) S 24102 24104 23825 0 -1 64 1090 0 0 0 28 0 0 0 16 0 13 0 202611406 1881370624 6276 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24104/tid=24114] ppid=24102 vsize=1837276 CPUtime=0.28
/proc/24104/task/24114/stat : 24114 (java) S 24102 24104 23825 0 -1 64 1134 0 0 0 28 0 0 0 16 0 13 0 202611406 1881370624 6276 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24115] ppid=24102 vsize=1837276 CPUtime=0
/proc/24104/task/24115/stat : 24115 (java) S 24102 24104 23825 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 202611406 1881370624 6276 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24116] ppid=24102 vsize=1837276 CPUtime=0
/proc/24104/task/24116/stat : 24116 (java) S 24102 24104 23825 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 202611406 1881370624 6276 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24117] ppid=24102 vsize=1837276 CPUtime=0
/proc/24104/task/24117/stat : 24117 (java) S 24102 24104 23825 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 202611430 1881370624 6276 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.7
Current children cumulated vsize (KiB) 1837276
[startup+2.98922 s]
/proc/loadavg: 0.94 0.98 0.99 2/77 24117
/proc/meminfo: memFree=397272/2055920 swapFree=4183396/4192956
[pid=24104] ppid=24102 vsize=1837276 CPUtime=3.36
/proc/24104/stat : 24104 (java) S 24102 24104 23825 0 -1 0 8152 0 1 0 331 5 0 0 18 0 13 0 202611397 1881370624 7048 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24104/statm: 459319 7048 1311 9 0 456931 0
[pid=24104/tid=24106] ppid=24102 vsize=1837276 CPUtime=2.77
/proc/24104/task/24106/stat : 24106 (java) R 24102 24104 23825 0 -1 64 5206 0 1 0 274 3 0 0 24 0 13 0 202611398 1881370624 7048 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4109549401 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24104/tid=24107] ppid=24102 vsize=1837276 CPUtime=0
/proc/24104/task/24107/stat : 24107 (java) S 24102 24104 23825 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 202611400 1881370624 7048 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24108] ppid=24102 vsize=1837276 CPUtime=0
/proc/24104/task/24108/stat : 24108 (java) S 24102 24104 23825 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 202611400 1881370624 7048 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24104/tid=24109] ppid=24102 vsize=1837276 CPUtime=0
/proc/24104/task/24109/stat : 24109 (java) S 24102 24104 23825 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 202611402 1881370624 7048 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24110] ppid=24102 vsize=1837276 CPUtime=0
/proc/24104/task/24110/stat : 24110 (java) S 24102 24104 23825 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 202611402 1881370624 7048 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24111] ppid=24102 vsize=1837276 CPUtime=0
/proc/24104/task/24111/stat : 24111 (java) S 24102 24104 23825 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 202611402 1881370624 7048 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24112] ppid=24102 vsize=1837276 CPUtime=0
/proc/24104/task/24112/stat : 24112 (java) S 24102 24104 23825 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 202611406 1881370624 7048 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24113] ppid=24102 vsize=1837276 CPUtime=0.28
/proc/24104/task/24113/stat : 24113 (java) S 24102 24104 23825 0 -1 64 1090 0 0 0 28 0 0 0 16 0 13 0 202611406 1881370624 7048 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24104/tid=24114] ppid=24102 vsize=1837276 CPUtime=0.28
/proc/24104/task/24114/stat : 24114 (java) S 24102 24104 23825 0 -1 64 1134 0 0 0 28 0 0 0 16 0 13 0 202611406 1881370624 7048 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24115] ppid=24102 vsize=1837276 CPUtime=0
/proc/24104/task/24115/stat : 24115 (java) S 24102 24104 23825 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 202611406 1881370624 7048 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24116] ppid=24102 vsize=1837276 CPUtime=0
/proc/24104/task/24116/stat : 24116 (java) S 24102 24104 23825 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 202611406 1881370624 7048 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24117] ppid=24102 vsize=1837276 CPUtime=0
/proc/24104/task/24117/stat : 24117 (java) S 24102 24104 23825 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 202611430 1881370624 7048 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.36
Current children cumulated vsize (KiB) 1837276
[startup+6.27889 s]
/proc/loadavg: 0.94 0.98 0.99 3/77 24117
/proc/meminfo: memFree=390624/2055920 swapFree=4183396/4192956
[pid=24104] ppid=24102 vsize=1837276 CPUtime=6.64
/proc/24104/stat : 24104 (java) S 24102 24104 23825 0 -1 0 9711 0 1 0 659 5 0 0 18 0 13 0 202611397 1881370624 8606 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24104/statm: 459319 8606 1311 9 0 456931 0
[pid=24104/tid=24106] ppid=24102 vsize=1837276 CPUtime=6.06
/proc/24104/task/24106/stat : 24106 (java) R 24102 24104 23825 0 -1 64 6765 0 1 0 603 3 0 0 25 0 13 0 202611398 1881370624 8606 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4109527894 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24104/tid=24107] ppid=24102 vsize=1837276 CPUtime=0
/proc/24104/task/24107/stat : 24107 (java) S 24102 24104 23825 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 202611400 1881370624 8606 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24108] ppid=24102 vsize=1837276 CPUtime=0
/proc/24104/task/24108/stat : 24108 (java) S 24102 24104 23825 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 202611400 1881370624 8606 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24104/tid=24109] ppid=24102 vsize=1837276 CPUtime=0
/proc/24104/task/24109/stat : 24109 (java) S 24102 24104 23825 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 202611402 1881370624 8606 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24110] ppid=24102 vsize=1837276 CPUtime=0
/proc/24104/task/24110/stat : 24110 (java) S 24102 24104 23825 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 202611402 1881370624 8606 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24111] ppid=24102 vsize=1837276 CPUtime=0
/proc/24104/task/24111/stat : 24111 (java) S 24102 24104 23825 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 202611402 1881370624 8606 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24112] ppid=24102 vsize=1837276 CPUtime=0
/proc/24104/task/24112/stat : 24112 (java) S 24102 24104 23825 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 202611406 1881370624 8606 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24113] ppid=24102 vsize=1837276 CPUtime=0.28
/proc/24104/task/24113/stat : 24113 (java) S 24102 24104 23825 0 -1 64 1090 0 0 0 28 0 0 0 16 0 13 0 202611406 1881370624 8606 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24104/tid=24114] ppid=24102 vsize=1837276 CPUtime=0.28
/proc/24104/task/24114/stat : 24114 (java) S 24102 24104 23825 0 -1 64 1134 0 0 0 28 0 0 0 16 0 13 0 202611406 1881370624 8606 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24115] ppid=24102 vsize=1837276 CPUtime=0
/proc/24104/task/24115/stat : 24115 (java) S 24102 24104 23825 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 202611406 1881370624 8606 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24116] ppid=24102 vsize=1837276 CPUtime=0
/proc/24104/task/24116/stat : 24116 (java) S 24102 24104 23825 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 202611406 1881370624 8606 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24117] ppid=24102 vsize=1837276 CPUtime=0
/proc/24104/task/24117/stat : 24117 (java) S 24102 24104 23825 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 202611430 1881370624 8606 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.64
Current children cumulated vsize (KiB) 1837276
[startup+12.7712 s]
/proc/loadavg: 0.95 0.98 0.99 2/77 24117
/proc/meminfo: memFree=377896/2055920 swapFree=4183396/4192956
[pid=24104] ppid=24102 vsize=1837276 CPUtime=13.14
/proc/24104/stat : 24104 (java) S 24102 24104 23825 0 -1 0 12730 0 1 0 1307 7 0 0 18 0 13 0 202611397 1881370624 11625 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24104/statm: 459319 11625 1311 9 0 456931 0
[pid=24104/tid=24106] ppid=24102 vsize=1837276 CPUtime=12.55
/proc/24104/task/24106/stat : 24106 (java) R 24102 24104 23825 0 -1 64 9784 0 1 0 1250 5 0 0 25 0 13 0 202611398 1881370624 11625 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4109527472 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24104/tid=24107] ppid=24102 vsize=1837276 CPUtime=0
/proc/24104/task/24107/stat : 24107 (java) S 24102 24104 23825 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 202611400 1881370624 11625 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24108] ppid=24102 vsize=1837276 CPUtime=0
/proc/24104/task/24108/stat : 24108 (java) S 24102 24104 23825 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 202611400 1881370624 11625 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24104/tid=24109] ppid=24102 vsize=1837276 CPUtime=0
/proc/24104/task/24109/stat : 24109 (java) S 24102 24104 23825 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 202611402 1881370624 11625 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24110] ppid=24102 vsize=1837276 CPUtime=0
/proc/24104/task/24110/stat : 24110 (java) S 24102 24104 23825 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 202611402 1881370624 11625 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24111] ppid=24102 vsize=1837276 CPUtime=0
/proc/24104/task/24111/stat : 24111 (java) S 24102 24104 23825 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 202611402 1881370624 11625 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24112] ppid=24102 vsize=1837276 CPUtime=0
/proc/24104/task/24112/stat : 24112 (java) S 24102 24104 23825 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 202611406 1881370624 11625 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24113] ppid=24102 vsize=1837276 CPUtime=0.28
/proc/24104/task/24113/stat : 24113 (java) S 24102 24104 23825 0 -1 64 1090 0 0 0 28 0 0 0 16 0 13 0 202611406 1881370624 11625 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24104/tid=24114] ppid=24102 vsize=1837276 CPUtime=0.28
/proc/24104/task/24114/stat : 24114 (java) S 24102 24104 23825 0 -1 64 1134 0 0 0 28 0 0 0 16 0 13 0 202611406 1881370624 11625 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24115] ppid=24102 vsize=1837276 CPUtime=0
/proc/24104/task/24115/stat : 24115 (java) S 24102 24104 23825 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 202611406 1881370624 11625 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24116] ppid=24102 vsize=1837276 CPUtime=0
/proc/24104/task/24116/stat : 24116 (java) S 24102 24104 23825 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 202611406 1881370624 11625 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24117] ppid=24102 vsize=1837276 CPUtime=0
/proc/24104/task/24117/stat : 24117 (java) S 24102 24104 23825 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 202611430 1881370624 11625 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 13.14
Current children cumulated vsize (KiB) 1837276
[startup+25.6398 s]
/proc/loadavg: 0.96 0.98 0.99 2/77 24117
/proc/meminfo: memFree=355368/2055920 swapFree=4183396/4192956
[pid=24104] ppid=24102 vsize=1837276 CPUtime=26
/proc/24104/stat : 24104 (java) S 24102 24104 23825 0 -1 0 18555 0 1 0 2591 9 0 0 18 0 13 0 202611397 1881370624 17450 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24104/statm: 459319 17450 1315 9 0 456931 0
[pid=24104/tid=24106] ppid=24102 vsize=1837276 CPUtime=25.41
/proc/24104/task/24106/stat : 24106 (java) R 24102 24104 23825 0 -1 64 15595 0 1 0 2533 8 0 0 25 0 13 0 202611398 1881370624 17450 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4109527953 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24107] ppid=24102 vsize=1837276 CPUtime=0
/proc/24104/task/24107/stat : 24107 (java) S 24102 24104 23825 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 202611400 1881370624 17450 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24108] ppid=24102 vsize=1837276 CPUtime=0
/proc/24104/task/24108/stat : 24108 (java) S 24102 24104 23825 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 202611400 1881370624 17450 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24104/tid=24109] ppid=24102 vsize=1837276 CPUtime=0
/proc/24104/task/24109/stat : 24109 (java) S 24102 24104 23825 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 202611402 1881370624 17450 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24110] ppid=24102 vsize=1837276 CPUtime=0
/proc/24104/task/24110/stat : 24110 (java) S 24102 24104 23825 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 202611402 1881370624 17450 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24111] ppid=24102 vsize=1837276 CPUtime=0
/proc/24104/task/24111/stat : 24111 (java) S 24102 24104 23825 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 202611402 1881370624 17450 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24112] ppid=24102 vsize=1837276 CPUtime=0
/proc/24104/task/24112/stat : 24112 (java) S 24102 24104 23825 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 202611406 1881370624 17450 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24113] ppid=24102 vsize=1837276 CPUtime=0.29
/proc/24104/task/24113/stat : 24113 (java) S 24102 24104 23825 0 -1 64 1104 0 0 0 29 0 0 0 17 0 13 0 202611406 1881370624 17450 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24104/tid=24114] ppid=24102 vsize=1837276 CPUtime=0.28
/proc/24104/task/24114/stat : 24114 (java) S 24102 24104 23825 0 -1 64 1134 0 0 0 28 0 0 0 16 0 13 0 202611406 1881370624 17450 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24115] ppid=24102 vsize=1837276 CPUtime=0
/proc/24104/task/24115/stat : 24115 (java) S 24102 24104 23825 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 202611406 1881370624 17450 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24116] ppid=24102 vsize=1837276 CPUtime=0
/proc/24104/task/24116/stat : 24116 (java) S 24102 24104 23825 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 202611406 1881370624 17450 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24117] ppid=24102 vsize=1837276 CPUtime=0
/proc/24104/task/24117/stat : 24117 (java) S 24102 24104 23825 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 202611430 1881370624 17450 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 26
################
# More data... #
################
/proc/24104/task/24116/stat : 24116 (java) S 24102 24104 23825 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 202611406 1880600576 40678 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24117] ppid=24102 vsize=1836524 CPUtime=0
/proc/24104/task/24117/stat : 24117 (java) S 24102 24104 23825 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 202611430 1880600576 40678 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 138.71
Current children cumulated vsize (KiB) 1836524
[startup+140.018 s]
/proc/loadavg: 0.99 0.98 0.99 2/77 24117
/proc/meminfo: memFree=260840/2055920 swapFree=4183396/4192956
[pid=24104] ppid=24102 vsize=1837548 CPUtime=140.38
/proc/24104/stat : 24104 (java) S 24102 24104 23825 0 -1 0 42092 0 1 0 14018 20 0 0 18 0 13 0 202611397 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24104/statm: 459387 40799 1324 9 0 456999 0
[pid=24104/tid=24106] ppid=24102 vsize=1837548 CPUtime=139.73
/proc/24104/task/24106/stat : 24106 (java) R 24102 24104 23825 0 -1 64 38825 0 1 0 13954 19 0 0 25 0 13 0 202611398 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4109642874 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24107] ppid=24102 vsize=1837548 CPUtime=0
/proc/24104/task/24107/stat : 24107 (java) S 24102 24104 23825 0 -1 64 61 0 0 0 0 0 0 0 16 0 13 0 202611400 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24108] ppid=24102 vsize=1837548 CPUtime=0
/proc/24104/task/24108/stat : 24108 (java) S 24102 24104 23825 0 -1 64 116 0 0 0 0 0 0 0 16 0 13 0 202611400 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24104/tid=24109] ppid=24102 vsize=1837548 CPUtime=0
/proc/24104/task/24109/stat : 24109 (java) S 24102 24104 23825 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 202611402 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24104/tid=24110] ppid=24102 vsize=1837548 CPUtime=0
/proc/24104/task/24110/stat : 24110 (java) S 24102 24104 23825 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 202611402 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24111] ppid=24102 vsize=1837548 CPUtime=0
/proc/24104/task/24111/stat : 24111 (java) S 24102 24104 23825 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 202611402 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24112] ppid=24102 vsize=1837548 CPUtime=0
/proc/24104/task/24112/stat : 24112 (java) S 24102 24104 23825 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 202611406 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24113] ppid=24102 vsize=1837548 CPUtime=0.32
/proc/24104/task/24113/stat : 24113 (java) S 24102 24104 23825 0 -1 64 1225 0 0 0 32 0 0 0 16 0 13 0 202611406 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24104/tid=24114] ppid=24102 vsize=1837548 CPUtime=0.3
/proc/24104/task/24114/stat : 24114 (java) S 24102 24104 23825 0 -1 64 1136 0 0 0 30 0 0 0 16 0 13 0 202611406 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24115] ppid=24102 vsize=1837548 CPUtime=0
/proc/24104/task/24115/stat : 24115 (java) S 24102 24104 23825 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 202611406 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24116] ppid=24102 vsize=1837548 CPUtime=0
/proc/24104/task/24116/stat : 24116 (java) S 24102 24104 23825 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 202611406 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24117] ppid=24102 vsize=1837548 CPUtime=0
/proc/24104/task/24117/stat : 24117 (java) S 24102 24104 23825 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 202611430 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 140.38
Current children cumulated vsize (KiB) 1837548
[startup+140.846 s]
/proc/loadavg: 0.99 0.98 0.99 2/77 24117
/proc/meminfo: memFree=260328/2055920 swapFree=4183396/4192956
[pid=24104] ppid=24102 vsize=1837548 CPUtime=141.21
/proc/24104/stat : 24104 (java) S 24102 24104 23825 0 -1 0 42092 0 1 0 14101 20 0 0 18 0 13 0 202611397 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24104/statm: 459387 40799 1324 9 0 456999 0
[pid=24104/tid=24106] ppid=24102 vsize=1837548 CPUtime=140.55
/proc/24104/task/24106/stat : 24106 (java) R 24102 24104 23825 0 -1 64 38825 0 1 0 14036 19 0 0 25 0 13 0 202611398 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4109642889 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24104/tid=24107] ppid=24102 vsize=1837548 CPUtime=0
/proc/24104/task/24107/stat : 24107 (java) S 24102 24104 23825 0 -1 64 61 0 0 0 0 0 0 0 16 0 13 0 202611400 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24108] ppid=24102 vsize=1837548 CPUtime=0
/proc/24104/task/24108/stat : 24108 (java) S 24102 24104 23825 0 -1 64 116 0 0 0 0 0 0 0 16 0 13 0 202611400 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24104/tid=24109] ppid=24102 vsize=1837548 CPUtime=0
/proc/24104/task/24109/stat : 24109 (java) S 24102 24104 23825 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 202611402 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24104/tid=24110] ppid=24102 vsize=1837548 CPUtime=0
/proc/24104/task/24110/stat : 24110 (java) S 24102 24104 23825 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 202611402 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24111] ppid=24102 vsize=1837548 CPUtime=0
/proc/24104/task/24111/stat : 24111 (java) S 24102 24104 23825 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 202611402 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24112] ppid=24102 vsize=1837548 CPUtime=0
/proc/24104/task/24112/stat : 24112 (java) S 24102 24104 23825 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 202611406 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24113] ppid=24102 vsize=1837548 CPUtime=0.32
/proc/24104/task/24113/stat : 24113 (java) S 24102 24104 23825 0 -1 64 1225 0 0 0 32 0 0 0 16 0 13 0 202611406 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24104/tid=24114] ppid=24102 vsize=1837548 CPUtime=0.3
/proc/24104/task/24114/stat : 24114 (java) S 24102 24104 23825 0 -1 64 1136 0 0 0 30 0 0 0 16 0 13 0 202611406 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24115] ppid=24102 vsize=1837548 CPUtime=0
/proc/24104/task/24115/stat : 24115 (java) S 24102 24104 23825 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 202611406 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24116] ppid=24102 vsize=1837548 CPUtime=0
/proc/24104/task/24116/stat : 24116 (java) S 24102 24104 23825 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 202611406 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24117] ppid=24102 vsize=1837548 CPUtime=0
/proc/24104/task/24117/stat : 24117 (java) S 24102 24104 23825 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 202611430 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 141.21
Current children cumulated vsize (KiB) 1837548
[startup+141.258 s]
/proc/loadavg: 0.99 0.98 0.99 2/77 24117
/proc/meminfo: memFree=260328/2055920 swapFree=4183396/4192956
[pid=24104] ppid=24102 vsize=1837548 CPUtime=141.62
/proc/24104/stat : 24104 (java) S 24102 24104 23825 0 -1 0 42092 0 1 0 14142 20 0 0 18 0 13 0 202611397 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24104/statm: 459387 40799 1324 9 0 456999 0
[pid=24104/tid=24106] ppid=24102 vsize=1837548 CPUtime=140.97
/proc/24104/task/24106/stat : 24106 (java) R 24102 24104 23825 0 -1 64 38825 0 1 0 14078 19 0 0 25 0 13 0 202611398 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4109642901 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24104/tid=24107] ppid=24102 vsize=1837548 CPUtime=0
/proc/24104/task/24107/stat : 24107 (java) S 24102 24104 23825 0 -1 64 61 0 0 0 0 0 0 0 16 0 13 0 202611400 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24108] ppid=24102 vsize=1837548 CPUtime=0
/proc/24104/task/24108/stat : 24108 (java) S 24102 24104 23825 0 -1 64 116 0 0 0 0 0 0 0 16 0 13 0 202611400 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24104/tid=24109] ppid=24102 vsize=1837548 CPUtime=0
/proc/24104/task/24109/stat : 24109 (java) S 24102 24104 23825 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 202611402 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24104/tid=24110] ppid=24102 vsize=1837548 CPUtime=0
/proc/24104/task/24110/stat : 24110 (java) S 24102 24104 23825 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 202611402 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24111] ppid=24102 vsize=1837548 CPUtime=0
/proc/24104/task/24111/stat : 24111 (java) S 24102 24104 23825 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 202611402 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24112] ppid=24102 vsize=1837548 CPUtime=0
/proc/24104/task/24112/stat : 24112 (java) S 24102 24104 23825 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 202611406 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24113] ppid=24102 vsize=1837548 CPUtime=0.32
/proc/24104/task/24113/stat : 24113 (java) S 24102 24104 23825 0 -1 64 1225 0 0 0 32 0 0 0 16 0 13 0 202611406 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24104/tid=24114] ppid=24102 vsize=1837548 CPUtime=0.3
/proc/24104/task/24114/stat : 24114 (java) S 24102 24104 23825 0 -1 64 1136 0 0 0 30 0 0 0 16 0 13 0 202611406 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24115] ppid=24102 vsize=1837548 CPUtime=0
/proc/24104/task/24115/stat : 24115 (java) S 24102 24104 23825 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 202611406 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24116] ppid=24102 vsize=1837548 CPUtime=0
/proc/24104/task/24116/stat : 24116 (java) S 24102 24104 23825 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 202611406 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24117] ppid=24102 vsize=1837548 CPUtime=0
/proc/24104/task/24117/stat : 24117 (java) S 24102 24104 23825 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 202611430 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 141.62
Current children cumulated vsize (KiB) 1837548
[startup+141.464 s]
/proc/loadavg: 0.99 0.98 0.99 2/77 24117
/proc/meminfo: memFree=260328/2055920 swapFree=4183396/4192956
[pid=24104] ppid=24102 vsize=1837548 CPUtime=141.82
/proc/24104/stat : 24104 (java) S 24102 24104 23825 0 -1 0 42092 0 1 0 14162 20 0 0 18 0 13 0 202611397 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24104/statm: 459387 40799 1324 9 0 456999 0
[pid=24104/tid=24106] ppid=24102 vsize=1837548 CPUtime=141.17
/proc/24104/task/24106/stat : 24106 (java) R 24102 24104 23825 0 -1 64 38825 0 1 0 14098 19 0 0 25 0 13 0 202611398 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4109642889 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24104/tid=24107] ppid=24102 vsize=1837548 CPUtime=0
/proc/24104/task/24107/stat : 24107 (java) S 24102 24104 23825 0 -1 64 61 0 0 0 0 0 0 0 16 0 13 0 202611400 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24108] ppid=24102 vsize=1837548 CPUtime=0
/proc/24104/task/24108/stat : 24108 (java) S 24102 24104 23825 0 -1 64 116 0 0 0 0 0 0 0 16 0 13 0 202611400 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24104/tid=24109] ppid=24102 vsize=1837548 CPUtime=0
/proc/24104/task/24109/stat : 24109 (java) S 24102 24104 23825 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 202611402 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24104/tid=24110] ppid=24102 vsize=1837548 CPUtime=0
/proc/24104/task/24110/stat : 24110 (java) S 24102 24104 23825 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 202611402 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24111] ppid=24102 vsize=1837548 CPUtime=0
/proc/24104/task/24111/stat : 24111 (java) S 24102 24104 23825 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 202611402 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24112] ppid=24102 vsize=1837548 CPUtime=0
/proc/24104/task/24112/stat : 24112 (java) S 24102 24104 23825 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 202611406 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24113] ppid=24102 vsize=1837548 CPUtime=0.32
/proc/24104/task/24113/stat : 24113 (java) S 24102 24104 23825 0 -1 64 1225 0 0 0 32 0 0 0 16 0 13 0 202611406 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24104/tid=24114] ppid=24102 vsize=1837548 CPUtime=0.3
/proc/24104/task/24114/stat : 24114 (java) S 24102 24104 23825 0 -1 64 1136 0 0 0 30 0 0 0 16 0 13 0 202611406 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24115] ppid=24102 vsize=1837548 CPUtime=0
/proc/24104/task/24115/stat : 24115 (java) S 24102 24104 23825 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 202611406 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24116] ppid=24102 vsize=1837548 CPUtime=0
/proc/24104/task/24116/stat : 24116 (java) S 24102 24104 23825 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 202611406 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24117] ppid=24102 vsize=1837548 CPUtime=0
/proc/24104/task/24117/stat : 24117 (java) S 24102 24104 23825 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 202611430 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 141.82
Current children cumulated vsize (KiB) 1837548
[startup+141.566 s]
/proc/loadavg: 0.99 0.98 0.99 2/77 24117
/proc/meminfo: memFree=260328/2055920 swapFree=4183396/4192956
[pid=24104] ppid=24102 vsize=1837548 CPUtime=141.93
/proc/24104/stat : 24104 (java) S 24102 24104 23825 0 -1 0 42092 0 1 0 14173 20 0 0 18 0 13 0 202611397 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24104/statm: 459387 40799 1324 9 0 456999 0
[pid=24104/tid=24106] ppid=24102 vsize=1837548 CPUtime=141.28
/proc/24104/task/24106/stat : 24106 (java) R 24102 24104 23825 0 -1 64 38825 0 1 0 14109 19 0 0 25 0 13 0 202611398 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4109643012 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24104/tid=24107] ppid=24102 vsize=1837548 CPUtime=0
/proc/24104/task/24107/stat : 24107 (java) S 24102 24104 23825 0 -1 64 61 0 0 0 0 0 0 0 16 0 13 0 202611400 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24108] ppid=24102 vsize=1837548 CPUtime=0
/proc/24104/task/24108/stat : 24108 (java) S 24102 24104 23825 0 -1 64 116 0 0 0 0 0 0 0 16 0 13 0 202611400 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24104/tid=24109] ppid=24102 vsize=1837548 CPUtime=0
/proc/24104/task/24109/stat : 24109 (java) S 24102 24104 23825 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 202611402 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24104/tid=24110] ppid=24102 vsize=1837548 CPUtime=0
/proc/24104/task/24110/stat : 24110 (java) S 24102 24104 23825 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 202611402 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24111] ppid=24102 vsize=1837548 CPUtime=0
/proc/24104/task/24111/stat : 24111 (java) S 24102 24104 23825 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 202611402 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24112] ppid=24102 vsize=1837548 CPUtime=0
/proc/24104/task/24112/stat : 24112 (java) S 24102 24104 23825 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 202611406 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24113] ppid=24102 vsize=1837548 CPUtime=0.32
/proc/24104/task/24113/stat : 24113 (java) S 24102 24104 23825 0 -1 64 1225 0 0 0 32 0 0 0 16 0 13 0 202611406 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24104/tid=24114] ppid=24102 vsize=1837548 CPUtime=0.3
/proc/24104/task/24114/stat : 24114 (java) S 24102 24104 23825 0 -1 64 1136 0 0 0 30 0 0 0 16 0 13 0 202611406 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24115] ppid=24102 vsize=1837548 CPUtime=0
/proc/24104/task/24115/stat : 24115 (java) S 24102 24104 23825 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 202611406 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24116] ppid=24102 vsize=1837548 CPUtime=0
/proc/24104/task/24116/stat : 24116 (java) S 24102 24104 23825 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 202611406 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24104/tid=24117] ppid=24102 vsize=1837548 CPUtime=0
/proc/24104/task/24117/stat : 24117 (java) S 24102 24104 23825 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 202611430 1881649152 40799 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 141.93
Current children cumulated vsize (KiB) 1837548
Child status: 20
Real time (s): 141.626
CPU time (s): 141.979
CPU user time (s): 141.746
CPU system time (s): 0.232964
CPU usage (%): 100.25
Max. virtual memory (cumulated for all children) (KiB): 1837548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 141.746
system time used= 0.232964
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42100
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3261
involuntary context switches= 585
runsolver used 0.168974 second user time and 0.345947 second system time
The end
Begin job on node66 on Sun Feb 18 19:22:19 UTC 2007
IDJOB= 296749
IDBENCH= 19945
IDSOLVER= 96
FILE ID= node66/296749-1171826538
PBS_JOBID= 3839699
Free space on /tmp= 66563 MiB
SOLVER NAME= SAT4J SAT 2007
BENCH NAME= HOME/pub/bench/SAT07/random/OnTreshold/7SAT/v45/unif-k7-r89-v45-c4005-S179716588-02.UNSAT.shuffled.cnf
COMMAND LINE= java -server -Xmx1650M -Xms1650M -jar /tmp/evaluation/296749-1171826538/sat4j-sat2007.jar /tmp/evaluation/296749-1171826538/instance-296749-1171826538.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node66/watcher-296749-1171826538 -o ROOT/results/node66/solver-296749-1171826538 -C 1200 -M 1800 --output-limit 1,15 java -server -Xmx1650M -Xms1650M -jar /tmp/evaluation/296749-1171826538/sat4j-sat2007.jar /tmp/evaluation/296749-1171826538/instance-296749-1171826538.cnf
META MD5SUM SOLVER= fd7c3100383641221a90b938607cc598
MD5SUM BENCH= 2f40fd292e9c10e48e20f2a43c141175
RANDOM SEED= 441736647
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node66.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.259
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5931.00
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.259
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 419736 kB
Buffers: 50456 kB
Cached: 1431524 kB
SwapCached: 3616 kB
Active: 837356 kB
Inactive: 654176 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 419736 kB
SwapTotal: 4192956 kB
SwapFree: 4183396 kB
Dirty: 1576 kB
Writeback: 0 kB
Mapped: 15504 kB
Slab: 130724 kB
Committed_AS: 547936 kB
PageTables: 1376 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= 66563 MiB
End job on node66 on Sun Feb 18 19:24:40 UTC 2007