0.15 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.15 c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.15 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.16 c version CSP COMPETITION BUGFIX 3
0.16 c sun.arch.data.model 32
0.16 c java.version 1.5.0_10
0.16 c os.name Linux
0.16 c os.version 2.6.9-22.EL.rootsmp
0.16 c os.arch i386
0.16 c Free memory 722620888
0.16 c Max memory 723845120
0.16 c Total memory 723845120
0.16 c Number of processors 2
0.25 c --- Begin Solver configuration ---
0.25 c Stops conflict analysis at the first Unique Implication Point
0.25 c org.sat4j.minisat.constraints.MixedDataStructureWithBinary@19dfbff
0.25 c Learn all clauses as in MiniSAT
0.25 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100
0.25 c VSIDS like heuristics from MiniSAT using a heap
0.25 c No reason simplification
0.25 c --- End Solver configuration ---
0.25 c solving /tmp/evaluation/233520-1168326715/unknown.xml
0.25 c reading problem ...
0.51 c reading problem named ?
0.51 c reading domains done.
0.77 c reading variables
c reading variables (225) done.
1.27 c reading predicates
c reading relations (2) done.
1.58 c reading constraintsException in thread "main" java.lang.OutOfMemoryError: Java heap space
397.06 c starts : 0
397.06 c conflicts : 0
397.06 c decisions : 0
397.06 c propagations : 0
397.06 c inspects : 0
397.06 c learnt literals : 0
397.06 c learnt binary clauses : 0
397.06 c learnt ternary clauses : 0
397.06 c learnt clauses : 0
397.06 c root simplifications : 0
397.06 c removed literals (reason simplification) : 0
397.06 c reason swapping (by a shorter reason) : 0
397.06 c Calls to reduceDB : 0
397.06 c speed (decisions/second) : 0.0
397.06 c non guided choices 0
397.06 s UNKNOWN
397.06 c Total wall clock time (in seconds) : 395.209
397.06 c Total CPU time (experimental, in seconds) : 0.0
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node40/watcher-233520-1168326715 -o ROOT/results/node40/solver-233520-1168326715 -C 1800 -M 900 java -server -Xmx700M -Xms700M -jar /tmp/evaluation/233520-1168326715/sat4jCSP-bf3.jar /tmp/evaluation/233520-1168326715/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.26 2.10 1.93 4/74 21345
/proc/meminfo: memFree=1272840/2055920 swapFree=4192812/4192956
[pid=21344] ppid=21342 vsize=18540 CPUtime=0
/proc/21344/stat : 21344 (runsolver) R 21342 21344 19940 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 181070810 18984960 279 18446744073709551615 4194304 4267372 548682068992 18446744073709551615 264519609639 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/21344/statm: 4635 279 244 17 0 2626 0
[startup+0.107751 s]
/proc/loadavg: 2.26 2.10 1.93 4/74 21345
/proc/meminfo: memFree=1272840/2055920 swapFree=4192812/4192956
[pid=21344] ppid=21342 vsize=901540 CPUtime=0.08
/proc/21344/stat : 21344 (java) R 21342 21344 19940 0 -1 0 3343 0 1 0 7 1 0 0 21 0 12 0 181070810 923176960 3103 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4053868080 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21344/statm: 225385 3103 1565 14 0 212109 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 901540
[startup+0.515794 s]
/proc/loadavg: 2.26 2.10 1.93 4/74 21345
/proc/meminfo: memFree=1272840/2055920 swapFree=4192812/4192956
[pid=21344] ppid=21342 vsize=905236 CPUtime=0.49
/proc/21344/stat : 21344 (java) R 21342 21344 19940 0 -1 0 5960 0 1 0 46 3 0 0 19 0 12 0 181070810 926961664 5554 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21344/statm: 226309 5555 2291 14 0 212746 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 905236
[startup+1.3389 s]
/proc/loadavg: 2.26 2.10 1.93 3/85 21356
/proc/meminfo: memFree=1248304/2055920 swapFree=4192812/4192956
[pid=21344] ppid=21342 vsize=906360 CPUtime=1.31
/proc/21344/stat : 21344 (java) R 21342 21344 19940 0 -1 0 18677 0 1 0 122 9 0 0 23 0 12 0 181070810 928112640 17792 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4151900713 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21344/statm: 226590 17792 2393 14 0 213027 0
[pid=21344/tid=21346] ppid=21342 vsize=906360 CPUtime=0
/proc/21344/task/21346/stat : 21346 (java) S 21342 21344 19940 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 181070813 928112640 17793 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21347] ppid=21342 vsize=906360 CPUtime=0
/proc/21344/task/21347/stat : 21347 (java) S 21342 21344 19940 0 -1 64 1 0 0 0 0 0 0 0 19 0 12 0 181070813 928112640 17793 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21348] ppid=21342 vsize=906360 CPUtime=0
/proc/21344/task/21348/stat : 21348 (java) S 21342 21344 19940 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 181070816 928112640 17794 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21349] ppid=21342 vsize=906360 CPUtime=0
/proc/21344/task/21349/stat : 21349 (java) S 21342 21344 19940 0 -1 64 8 0 0 0 0 0 0 0 21 0 12 0 181070817 928112640 17794 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21350] ppid=21342 vsize=906360 CPUtime=0
/proc/21344/task/21350/stat : 21350 (java) S 21342 21344 19940 0 -1 64 4 0 0 0 0 0 0 0 22 0 12 0 181070817 928112640 17794 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21351] ppid=21342 vsize=906360 CPUtime=0
/proc/21344/task/21351/stat : 21351 (java) S 21342 21344 19940 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 181070820 928112640 17794 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21352] ppid=21342 vsize=906360 CPUtime=0
/proc/21344/task/21352/stat : 21352 (java) S 21342 21344 19940 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 181070820 928112640 17794 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21344/tid=21353] ppid=21342 vsize=906360 CPUtime=0.35
/proc/21344/task/21353/stat : 21353 (java) S 21342 21344 19940 0 -1 64 978 0 0 0 35 0 0 0 16 0 12 0 181070820 928112640 17794 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21344/tid=21354] ppid=21342 vsize=906360 CPUtime=0.24
/proc/21344/task/21354/stat : 21354 (java) S 21342 21344 19940 0 -1 64 694 0 0 0 24 0 0 0 16 0 12 0 181070820 928112640 17794 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21344/tid=21355] ppid=21342 vsize=906360 CPUtime=0
/proc/21344/task/21355/stat : 21355 (java) S 21342 21344 19940 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 181070820 928112640 17795 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21356] ppid=21342 vsize=906360 CPUtime=0
/proc/21344/task/21356/stat : 21356 (java) S 21342 21344 19940 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 181070820 928112640 17795 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 906360
[startup+2.99012 s]
/proc/loadavg: 2.26 2.10 1.93 5/85 21356
/proc/meminfo: memFree=1165424/2055920 swapFree=4192812/4192956
[pid=21344] ppid=21342 vsize=910208 CPUtime=3.01
/proc/21344/stat : 21344 (java) R 21342 21344 19940 0 -1 0 33466 0 1 0 286 15 0 0 21 0 12 0 181070810 932052992 31059 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054240192 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21344/statm: 227552 31059 2477 14 0 213989 0
[pid=21344/tid=21346] ppid=21342 vsize=910208 CPUtime=0.2
/proc/21344/task/21346/stat : 21346 (java) S 21342 21344 19940 0 -1 64 3964 0 0 0 19 1 0 0 16 0 12 0 181070813 932052992 31059 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21347] ppid=21342 vsize=910208 CPUtime=0.24
/proc/21344/task/21347/stat : 21347 (java) S 21342 21344 19940 0 -1 64 7732 0 0 0 22 2 0 0 18 0 12 0 181070813 932052992 31059 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21348] ppid=21342 vsize=910208 CPUtime=0
/proc/21344/task/21348/stat : 21348 (java) S 21342 21344 19940 0 -1 64 11 0 0 0 0 0 0 0 17 0 12 0 181070816 932052992 31059 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21349] ppid=21342 vsize=910208 CPUtime=0
/proc/21344/task/21349/stat : 21349 (java) S 21342 21344 19940 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 181070817 932052992 31059 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21350] ppid=21342 vsize=910208 CPUtime=0
/proc/21344/task/21350/stat : 21350 (java) S 21342 21344 19940 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 181070817 932052992 31059 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21351] ppid=21342 vsize=910208 CPUtime=0
/proc/21344/task/21351/stat : 21351 (java) S 21342 21344 19940 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 181070820 932052992 31059 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21352] ppid=21342 vsize=910208 CPUtime=0
/proc/21344/task/21352/stat : 21352 (java) S 21342 21344 19940 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 181070820 932052992 31059 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21344/tid=21353] ppid=21342 vsize=910208 CPUtime=0.46
/proc/21344/task/21353/stat : 21353 (java) S 21342 21344 19940 0 -1 64 990 0 0 0 46 0 0 0 16 0 12 0 181070820 932052992 31059 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21344/tid=21354] ppid=21342 vsize=910208 CPUtime=0.34
/proc/21344/task/21354/stat : 21354 (java) S 21342 21344 19940 0 -1 64 715 0 0 0 34 0 0 0 16 0 12 0 181070820 932052992 31059 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21344/tid=21355] ppid=21342 vsize=910208 CPUtime=0
/proc/21344/task/21355/stat : 21355 (java) S 21342 21344 19940 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 181070820 932052992 31059 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21356] ppid=21342 vsize=910208 CPUtime=0
/proc/21344/task/21356/stat : 21356 (java) S 21342 21344 19940 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 181070820 932052992 31059 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 910208
[startup+6.27454 s]
/proc/loadavg: 2.24 2.10 1.93 4/85 21356
/proc/meminfo: memFree=1132784/2055920 swapFree=4192812/4192956
[pid=21344] ppid=21342 vsize=910080 CPUtime=6.3
/proc/21344/stat : 21344 (java) R 21342 21344 19940 0 -1 0 40709 0 1 0 611 19 0 0 25 0 12 0 181070810 931921920 38182 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054133345 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21344/statm: 227520 38182 2478 14 0 213957 0
[pid=21344/tid=21346] ppid=21342 vsize=910080 CPUtime=0.36
/proc/21344/task/21346/stat : 21346 (java) S 21342 21344 19940 0 -1 64 7596 0 0 0 33 3 0 0 16 0 12 0 181070813 931921920 38182 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21347] ppid=21342 vsize=910080 CPUtime=0.42
/proc/21344/task/21347/stat : 21347 (java) S 21342 21344 19940 0 -1 64 11329 0 0 0 38 4 0 0 16 0 12 0 181070813 931921920 38182 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21348] ppid=21342 vsize=910080 CPUtime=0
/proc/21344/task/21348/stat : 21348 (java) S 21342 21344 19940 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 181070816 931921920 38182 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21349] ppid=21342 vsize=910080 CPUtime=0
/proc/21344/task/21349/stat : 21349 (java) S 21342 21344 19940 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 181070817 931921920 38182 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21350] ppid=21342 vsize=910080 CPUtime=0
/proc/21344/task/21350/stat : 21350 (java) S 21342 21344 19940 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 181070817 931921920 38182 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21351] ppid=21342 vsize=910080 CPUtime=0
/proc/21344/task/21351/stat : 21351 (java) S 21342 21344 19940 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 181070820 931921920 38182 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21352] ppid=21342 vsize=910080 CPUtime=0
/proc/21344/task/21352/stat : 21352 (java) S 21342 21344 19940 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 181070820 931921920 38182 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21344/tid=21353] ppid=21342 vsize=910080 CPUtime=0.49
/proc/21344/task/21353/stat : 21353 (java) S 21342 21344 19940 0 -1 64 994 0 0 0 49 0 0 0 17 0 12 0 181070820 931921920 38182 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21354] ppid=21342 vsize=910080 CPUtime=0.37
/proc/21344/task/21354/stat : 21354 (java) S 21342 21344 19940 0 -1 64 717 0 0 0 37 0 0 0 17 0 12 0 181070820 931921920 38182 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21355] ppid=21342 vsize=910080 CPUtime=0
/proc/21344/task/21355/stat : 21355 (java) S 21342 21344 19940 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 181070820 931921920 38182 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21356] ppid=21342 vsize=910080 CPUtime=0
/proc/21344/task/21356/stat : 21356 (java) S 21342 21344 19940 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 181070820 931921920 38182 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 910080
[startup+12.6824 s]
/proc/loadavg: 2.22 2.10 1.93 3/85 21356
/proc/meminfo: memFree=1085176/2055920 swapFree=4192812/4192956
[pid=21344] ppid=21342 vsize=910080 CPUtime=12.68
/proc/21344/stat : 21344 (java) R 21342 21344 19940 0 -1 0 53556 0 1 0 1244 24 0 0 25 0 12 0 181070810 931921920 49757 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054259933 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21344/statm: 227520 49757 2478 14 0 213957 0
[pid=21344/tid=21346] ppid=21342 vsize=910080 CPUtime=0.46
/proc/21344/task/21346/stat : 21346 (java) S 21342 21344 19940 0 -1 64 13159 0 0 0 41 5 0 0 16 0 12 0 181070813 931921920 49757 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21347] ppid=21342 vsize=910080 CPUtime=0.51
/proc/21344/task/21347/stat : 21347 (java) S 21342 21344 19940 0 -1 64 18589 0 0 0 45 6 0 0 16 0 12 0 181070813 931921920 49757 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21348] ppid=21342 vsize=910080 CPUtime=0
/proc/21344/task/21348/stat : 21348 (java) S 21342 21344 19940 0 -1 64 15 0 0 0 0 0 0 0 16 0 12 0 181070816 931921920 49757 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21349] ppid=21342 vsize=910080 CPUtime=0
/proc/21344/task/21349/stat : 21349 (java) S 21342 21344 19940 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 181070817 931921920 49757 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21350] ppid=21342 vsize=910080 CPUtime=0
/proc/21344/task/21350/stat : 21350 (java) S 21342 21344 19940 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 181070817 931921920 49757 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21351] ppid=21342 vsize=910080 CPUtime=0
/proc/21344/task/21351/stat : 21351 (java) S 21342 21344 19940 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 181070820 931921920 49757 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21352] ppid=21342 vsize=910080 CPUtime=0
/proc/21344/task/21352/stat : 21352 (java) S 21342 21344 19940 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 181070820 931921920 49757 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21344/tid=21353] ppid=21342 vsize=910080 CPUtime=0.49
/proc/21344/task/21353/stat : 21353 (java) S 21342 21344 19940 0 -1 64 994 0 0 0 49 0 0 0 16 0 12 0 181070820 931921920 49757 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21354] ppid=21342 vsize=910080 CPUtime=0.38
/proc/21344/task/21354/stat : 21354 (java) S 21342 21344 19940 0 -1 64 717 0 0 0 38 0 0 0 17 0 12 0 181070820 931921920 49757 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21355] ppid=21342 vsize=910080 CPUtime=0
/proc/21344/task/21355/stat : 21355 (java) S 21342 21344 19940 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 181070820 931921920 49757 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21356] ppid=21342 vsize=910080 CPUtime=0
/proc/21344/task/21356/stat : 21356 (java) S 21342 21344 19940 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 181070820 931921920 49757 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 910080
[startup+25.582 s]
/proc/loadavg: 2.17 2.09 1.93 3/85 21356
/proc/meminfo: memFree=1010296/2055920 swapFree=4192812/4192956
[pid=21344] ppid=21342 vsize=909788 CPUtime=25.52
/proc/21344/stat : 21344 (java) R 21342 21344 19940 0 -1 0 74342 0 1 0 2519 33 0 0 25 0 12 0 181070810 931622912 70443 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054132852 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21344/statm: 227447 70443 2478 14 0 213884 0
[pid=21344/tid=21346] ppid=21342 vsize=909788 CPUtime=0.6
/proc/21344/task/21346/stat : 21346 (java) S 21342 21344 19940 0 -1 64 22566 0 0 0 52 8 0 0 16 0 12 0 181070813 931622912 70443 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21347] ppid=21342 vsize=909788 CPUtime=0.69
/proc/21344/task/21347/stat : 21347 (java) S 21342 21344 19940 0 -1 64 29934 0 0 0 58 11 0 0 16 0 12 0 181070813 931622912 70443 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21348] ppid=21342 vsize=909788 CPUtime=0.01
/proc/21344/task/21348/stat : 21348 (java) S 21342 21344 19940 0 -1 64 19 0 0 0 1 0 0 0 15 0 12 0 181070816 931622912 70443 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21349] ppid=21342 vsize=909788 CPUtime=0
/proc/21344/task/21349/stat : 21349 (java) S 21342 21344 19940 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 181070817 931622912 70443 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21350] ppid=21342 vsize=909788 CPUtime=0
/proc/21344/task/21350/stat : 21350 (java) S 21342 21344 19940 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 181070817 931622912 70443 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21351] ppid=21342 vsize=909788 CPUtime=0
/proc/21344/task/21351/stat : 21351 (java) S 21342 21344 19940 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 181070820 931622912 70443 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21352] ppid=21342 vsize=909788 CPUtime=0
/proc/21344/task/21352/stat : 21352 (java) S 21342 21344 19940 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 181070820 931622912 70443 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21344/tid=21353] ppid=21342 vsize=909788 CPUtime=0.51
/proc/21344/task/21353/stat : 21353 (java) S 21342 21344 19940 0 -1 64 994 0 0 0 51 0 0 0 16 0 12 0 181070820 931622912 70443 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21354] ppid=21342 vsize=909788 CPUtime=0.42
/proc/21344/task/21354/stat : 21354 (java) S 21342 21344 19940 0 -1 64 724 0 0 0 42 0 0 0 16 0 12 0 181070820 931622912 70443 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21355] ppid=21342 vsize=909788 CPUtime=0
/proc/21344/task/21355/stat : 21355 (java) S 21342 21344 19940 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 181070820 931622912 70443 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21356] ppid=21342 vsize=909788 CPUtime=0
/proc/21344/task/21356/stat : 21356 (java) S 21342 21344 19940 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 181070820 931622912 70443 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 909788
[startup+51.2184 s]
/proc/loadavg: 2.11 2.08 1.93 3/85 21356
/proc/meminfo: memFree=841528/2055920 swapFree=4192812/4192956
[pid=21344] ppid=21342 vsize=909788 CPUtime=51.02
/proc/21344/stat : 21344 (java) R 21342 21344 19940 0 -1 0 114565 0 1 0 5056 46 0 0 25 0 12 0 181070810 931622912 110252 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054275579 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21344/statm: 227447 110252 2478 14 0 213884 0
[pid=21344/tid=21346] ppid=21342 vsize=909788 CPUtime=0.97
/proc/21344/task/21346/stat : 21346 (java) S 21342 21344 19940 0 -1 64 44718 0 0 0 81 16 0 0 16 0 12 0 181070813 931622912 110252 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21347] ppid=21342 vsize=909788 CPUtime=1.03
/proc/21344/task/21347/stat : 21347 (java) S 21342 21344 19940 0 -1 64 47961 0 0 0 87 16 0 0 16 0 12 0 181070813 931622912 110252 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21348] ppid=21342 vsize=909788 CPUtime=0.02
################
# More data... #
################
/proc/21344/task/21350/stat : 21350 (java) S 21342 21344 19940 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 181070817 931622912 110252 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21351] ppid=21342 vsize=909788 CPUtime=0
/proc/21344/task/21351/stat : 21351 (java) S 21342 21344 19940 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 181070820 931622912 110252 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21352] ppid=21342 vsize=909788 CPUtime=0
/proc/21344/task/21352/stat : 21352 (java) S 21342 21344 19940 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 181070820 931622912 110252 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21344/tid=21353] ppid=21342 vsize=909788 CPUtime=0.52
/proc/21344/task/21353/stat : 21353 (java) S 21342 21344 19940 0 -1 64 994 0 0 0 52 0 0 0 16 0 12 0 181070820 931622912 110252 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21354] ppid=21342 vsize=909788 CPUtime=0.42
/proc/21344/task/21354/stat : 21354 (java) S 21342 21344 19940 0 -1 64 724 0 0 0 42 0 0 0 16 0 12 0 181070820 931622912 110252 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21355] ppid=21342 vsize=909788 CPUtime=0
/proc/21344/task/21355/stat : 21355 (java) S 21342 21344 19940 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 181070820 931622912 110252 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21356] ppid=21342 vsize=909788 CPUtime=0
/proc/21344/task/21356/stat : 21356 (java) S 21342 21344 19940 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 181070820 931622912 110252 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 909788
[startup+102.435 s]
/proc/loadavg: 2.05 2.07 1.93 3/85 21356
/proc/meminfo: memFree=556152/2055920 swapFree=4192812/4192956
[pid=21344] ppid=21342 vsize=909788 CPUtime=102
/proc/21344/stat : 21344 (java) R 21342 21344 19940 0 -1 0 186871 0 1 0 10126 74 0 0 25 0 12 0 181070810 931622912 181254 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054311602 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21344/statm: 227447 181254 2478 14 0 213884 0
[pid=21344/tid=21346] ppid=21342 vsize=909788 CPUtime=1.83
/proc/21344/task/21346/stat : 21346 (java) S 21342 21344 19940 0 -1 64 82758 0 0 0 152 31 0 0 16 0 12 0 181070813 931622912 181254 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21347] ppid=21342 vsize=909788 CPUtime=1.78
/proc/21344/task/21347/stat : 21347 (java) S 21342 21344 19940 0 -1 64 82145 0 0 0 150 28 0 0 16 0 12 0 181070813 931622912 181254 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21348] ppid=21342 vsize=909788 CPUtime=0.05
/proc/21344/task/21348/stat : 21348 (java) S 21342 21344 19940 0 -1 64 19 0 0 0 4 1 0 0 15 0 12 0 181070816 931622912 181254 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21349] ppid=21342 vsize=909788 CPUtime=0
/proc/21344/task/21349/stat : 21349 (java) S 21342 21344 19940 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 181070817 931622912 181254 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21350] ppid=21342 vsize=909788 CPUtime=0
/proc/21344/task/21350/stat : 21350 (java) S 21342 21344 19940 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 181070817 931622912 181254 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21351] ppid=21342 vsize=909788 CPUtime=0
/proc/21344/task/21351/stat : 21351 (java) S 21342 21344 19940 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 181070820 931622912 181254 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21352] ppid=21342 vsize=909788 CPUtime=0
/proc/21344/task/21352/stat : 21352 (java) S 21342 21344 19940 0 -1 64 3 0 0 0 0 0 0 0 17 0 12 0 181070820 931622912 181254 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21353] ppid=21342 vsize=909788 CPUtime=0.52
/proc/21344/task/21353/stat : 21353 (java) S 21342 21344 19940 0 -1 64 994 0 0 0 52 0 0 0 16 0 12 0 181070820 931622912 181254 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21354] ppid=21342 vsize=909788 CPUtime=0.43
/proc/21344/task/21354/stat : 21354 (java) S 21342 21344 19940 0 -1 64 724 0 0 0 43 0 0 0 16 0 12 0 181070820 931622912 181254 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21355] ppid=21342 vsize=909788 CPUtime=0
/proc/21344/task/21355/stat : 21355 (java) S 21342 21344 19940 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 181070820 931622912 181254 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21356] ppid=21342 vsize=909788 CPUtime=0
/proc/21344/task/21356/stat : 21356 (java) S 21342 21344 19940 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 181070820 931622912 181254 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102
Current children cumulated vsize (KiB) 909788
[startup+162.527 s]
/proc/loadavg: 2.10 2.08 1.94 3/85 21356
/proc/meminfo: memFree=546040/2055920 swapFree=4192812/4192956
[pid=21344] ppid=21342 vsize=909788 CPUtime=161.86
/proc/21344/stat : 21344 (java) R 21342 21344 19940 0 -1 0 191702 0 1 0 16108 78 0 0 25 0 12 0 181070810 931622912 183714 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054132825 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21344/statm: 227447 183714 2479 14 0 213884 0
[pid=21344/tid=21346] ppid=21342 vsize=909788 CPUtime=2.69
/proc/21344/task/21346/stat : 21346 (java) S 21342 21344 19940 0 -1 64 83524 0 0 0 238 31 0 0 16 0 12 0 181070813 931622912 183714 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21344/tid=21347] ppid=21342 vsize=909788 CPUtime=2.66
/proc/21344/task/21347/stat : 21347 (java) S 21342 21344 19940 0 -1 64 84793 0 0 0 237 29 0 0 16 0 12 0 181070813 931622912 183714 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21344/tid=21348] ppid=21342 vsize=909788 CPUtime=0.83
/proc/21344/task/21348/stat : 21348 (java) S 21342 21344 19940 0 -1 64 1332 0 0 0 80 3 0 0 15 0 12 0 181070816 931622912 183714 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21344/tid=21349] ppid=21342 vsize=909788 CPUtime=0
/proc/21344/task/21349/stat : 21349 (java) S 21342 21344 19940 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 181070817 931622912 183714 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21350] ppid=21342 vsize=909788 CPUtime=0
/proc/21344/task/21350/stat : 21350 (java) S 21342 21344 19940 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 181070817 931622912 183714 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21351] ppid=21342 vsize=909788 CPUtime=0
/proc/21344/task/21351/stat : 21351 (java) S 21342 21344 19940 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 181070820 931622912 183714 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21352] ppid=21342 vsize=909788 CPUtime=0
/proc/21344/task/21352/stat : 21352 (java) S 21342 21344 19940 0 -1 64 3 0 0 0 0 0 0 0 17 0 12 0 181070820 931622912 183714 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21353] ppid=21342 vsize=909788 CPUtime=0.52
/proc/21344/task/21353/stat : 21353 (java) S 21342 21344 19940 0 -1 64 994 0 0 0 52 0 0 0 16 0 12 0 181070820 931622912 183714 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21354] ppid=21342 vsize=909788 CPUtime=0.43
/proc/21344/task/21354/stat : 21354 (java) S 21342 21344 19940 0 -1 64 724 0 0 0 43 0 0 0 16 0 12 0 181070820 931622912 183714 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21355] ppid=21342 vsize=909788 CPUtime=0
/proc/21344/task/21355/stat : 21355 (java) S 21342 21344 19940 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 181070820 931622912 183714 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21356] ppid=21342 vsize=909788 CPUtime=0
/proc/21344/task/21356/stat : 21356 (java) S 21342 21344 19940 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 181070820 931622912 183714 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.86
Current children cumulated vsize (KiB) 909788
[startup+222.54 s]
/proc/loadavg: 2.03 2.06 1.94 3/85 21356
/proc/meminfo: memFree=546104/2055920 swapFree=4192812/4192956
[pid=21344] ppid=21342 vsize=909788 CPUtime=221.42
/proc/21344/stat : 21344 (java) R 21342 21344 19940 0 -1 0 193402 0 1 0 22062 80 0 0 25 0 12 0 181070810 931622912 183698 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054259911 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21344/statm: 227447 183698 2479 14 0 213884 0
[pid=21344/tid=21346] ppid=21342 vsize=909788 CPUtime=3.59
/proc/21344/task/21346/stat : 21346 (java) S 21342 21344 19940 0 -1 64 83998 0 0 0 328 31 0 0 16 0 12 0 181070813 931622912 183698 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21347] ppid=21342 vsize=909788 CPUtime=3.5
/proc/21344/task/21347/stat : 21347 (java) S 21342 21344 19940 0 -1 64 85269 0 0 0 321 29 0 0 16 0 12 0 181070813 931622912 183698 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21348] ppid=21342 vsize=909788 CPUtime=1.21
/proc/21344/task/21348/stat : 21348 (java) S 21342 21344 19940 0 -1 64 1986 0 0 0 117 4 0 0 15 0 12 0 181070816 931622912 183698 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21349] ppid=21342 vsize=909788 CPUtime=0
/proc/21344/task/21349/stat : 21349 (java) S 21342 21344 19940 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 181070817 931622912 183698 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21350] ppid=21342 vsize=909788 CPUtime=0
/proc/21344/task/21350/stat : 21350 (java) S 21342 21344 19940 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 181070817 931622912 183698 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21351] ppid=21342 vsize=909788 CPUtime=0
/proc/21344/task/21351/stat : 21351 (java) S 21342 21344 19940 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 181070820 931622912 183698 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21352] ppid=21342 vsize=909788 CPUtime=0
/proc/21344/task/21352/stat : 21352 (java) S 21342 21344 19940 0 -1 64 3 0 0 0 0 0 0 0 17 0 12 0 181070820 931622912 183698 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21353] ppid=21342 vsize=909788 CPUtime=0.52
/proc/21344/task/21353/stat : 21353 (java) S 21342 21344 19940 0 -1 64 994 0 0 0 52 0 0 0 16 0 12 0 181070820 931622912 183698 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21354] ppid=21342 vsize=909788 CPUtime=0.43
/proc/21344/task/21354/stat : 21354 (java) S 21342 21344 19940 0 -1 64 724 0 0 0 43 0 0 0 16 0 12 0 181070820 931622912 183698 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21355] ppid=21342 vsize=909788 CPUtime=0
/proc/21344/task/21355/stat : 21355 (java) S 21342 21344 19940 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 181070820 931622912 183698 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21356] ppid=21342 vsize=909788 CPUtime=0
/proc/21344/task/21356/stat : 21356 (java) S 21342 21344 19940 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 181070820 931622912 183698 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 221.42
Current children cumulated vsize (KiB) 909788
[startup+282.553 s]
/proc/loadavg: 2.41 2.16 1.98 3/95 21481
/proc/meminfo: memFree=575608/2055920 swapFree=4192812/4192956
[pid=21344] ppid=21342 vsize=909788 CPUtime=281.04
/proc/21344/stat : 21344 (java) R 21342 21344 19940 0 -1 0 202416 0 1 0 28015 89 0 0 25 0 12 0 181070810 931622912 184309 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054287804 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21344/statm: 227447 184309 2479 14 0 213884 0
[pid=21344/tid=21346] ppid=21342 vsize=909788 CPUtime=4.97
/proc/21344/task/21346/stat : 21346 (java) S 21342 21344 19940 0 -1 64 85216 0 0 0 465 32 0 0 16 0 12 0 181070813 931622912 184309 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21347] ppid=21342 vsize=909788 CPUtime=4.86
/proc/21344/task/21347/stat : 21347 (java) S 21342 21344 19940 0 -1 64 86689 0 0 0 456 30 0 0 16 0 12 0 181070813 931622912 184309 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21348] ppid=21342 vsize=909788 CPUtime=5.48
/proc/21344/task/21348/stat : 21348 (java) S 21342 21344 19940 0 -1 64 8250 0 0 0 539 9 0 0 15 0 12 0 181070816 931622912 184309 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21349] ppid=21342 vsize=909788 CPUtime=0
/proc/21344/task/21349/stat : 21349 (java) S 21342 21344 19940 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 181070817 931622912 184309 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21350] ppid=21342 vsize=909788 CPUtime=0
/proc/21344/task/21350/stat : 21350 (java) S 21342 21344 19940 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 181070817 931622912 184309 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21351] ppid=21342 vsize=909788 CPUtime=0
/proc/21344/task/21351/stat : 21351 (java) S 21342 21344 19940 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 181070820 931622912 184309 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21352] ppid=21342 vsize=909788 CPUtime=0
/proc/21344/task/21352/stat : 21352 (java) S 21342 21344 19940 0 -1 64 3 0 0 0 0 0 0 0 17 0 12 0 181070820 931622912 184309 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21353] ppid=21342 vsize=909788 CPUtime=0.52
/proc/21344/task/21353/stat : 21353 (java) S 21342 21344 19940 0 -1 64 994 0 0 0 52 0 0 0 16 0 12 0 181070820 931622912 184309 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21354] ppid=21342 vsize=909788 CPUtime=0.43
/proc/21344/task/21354/stat : 21354 (java) S 21342 21344 19940 0 -1 64 724 0 0 0 43 0 0 0 16 0 12 0 181070820 931622912 184309 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21355] ppid=21342 vsize=909788 CPUtime=0
/proc/21344/task/21355/stat : 21355 (java) S 21342 21344 19940 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 181070820 931622912 184309 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21356] ppid=21342 vsize=909788 CPUtime=0
/proc/21344/task/21356/stat : 21356 (java) S 21342 21344 19940 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 181070820 931622912 184309 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.04
Current children cumulated vsize (KiB) 909788
[startup+342.599 s]
/proc/loadavg: 2.47 2.23 2.02 3/95 21481
/proc/meminfo: memFree=257912/2055920 swapFree=4192812/4192956
[pid=21344] ppid=21342 vsize=911792 CPUtime=340.74
/proc/21344/stat : 21344 (java) S 21342 21344 19940 0 -1 0 299951 0 1 0 33939 135 0 0 16 0 12 0 181070810 933675008 185539 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21344/statm: 227948 185540 2479 14 0 214385 0
[pid=21344/tid=21346] ppid=21342 vsize=911792 CPUtime=5.2
/proc/21344/task/21346/stat : 21346 (java) S 21342 21344 19940 0 -1 64 85216 0 0 0 488 32 0 0 16 0 12 0 181070813 933675008 185541 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21344/tid=21347] ppid=21342 vsize=911792 CPUtime=5
/proc/21344/task/21347/stat : 21347 (java) S 21342 21344 19940 0 -1 64 88031 0 0 0 469 31 0 0 15 0 12 0 181070813 933675008 185541 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21344/tid=21348] ppid=21342 vsize=911792 CPUtime=50.66
/proc/21344/task/21348/stat : 21348 (java) R 21342 21344 19940 0 -1 64 104290 0 0 0 5012 54 0 0 25 0 12 0 181070816 933675008 185542 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154454247 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21344/tid=21349] ppid=21342 vsize=911792 CPUtime=0
/proc/21344/task/21349/stat : 21349 (java) S 21342 21344 19940 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 181070817 933675008 185543 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21350] ppid=21342 vsize=911792 CPUtime=0
/proc/21344/task/21350/stat : 21350 (java) S 21342 21344 19940 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 181070817 933675008 185544 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21351] ppid=21342 vsize=911792 CPUtime=0
/proc/21344/task/21351/stat : 21351 (java) S 21342 21344 19940 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 181070820 933675008 185544 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21352] ppid=21342 vsize=911792 CPUtime=0
/proc/21344/task/21352/stat : 21352 (java) S 21342 21344 19940 0 -1 64 3 0 0 0 0 0 0 0 17 0 12 0 181070820 933675008 185545 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21353] ppid=21342 vsize=911792 CPUtime=0.52
/proc/21344/task/21353/stat : 21353 (java) S 21342 21344 19940 0 -1 64 994 0 0 0 52 0 0 0 16 0 12 0 181070820 933675008 185546 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21354] ppid=21342 vsize=911792 CPUtime=0.43
/proc/21344/task/21354/stat : 21354 (java) S 21342 21344 19940 0 -1 64 724 0 0 0 43 0 0 0 16 0 12 0 181070820 933675008 185547 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21355] ppid=21342 vsize=911792 CPUtime=0
/proc/21344/task/21355/stat : 21355 (java) S 21342 21344 19940 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 181070820 933675008 185547 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21344/tid=21356] ppid=21342 vsize=911792 CPUtime=0
/proc/21344/task/21356/stat : 21356 (java) S 21342 21344 19940 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 181070820 933675008 185548 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 340.74
Current children cumulated vsize (KiB) 911792
Child status: 1
Real time (s): 397.184
CPU time (s): 394.997
CPU user time (s): 393.003
CPU system time (s): 1.9937
CPU usage (%): 99.4494
Max. virtual memory (cumulated for all children) (KiB): 912796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 393.003
system time used= 1.9937
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 421236
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= 16086
involuntary context switches= 17686
runsolver used 0.550916 s user time and 1.26581 s system time
The end
Begin job on node40 on Tue Jan 9 07:11:55 UTC 2007
IDJOB= 233520
IDBENCH= 6613
FILE ID= node40/233520-1168326715
PBS_JOBID= 3502943
Free space on /tmp= 66535 MiB
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-15/os-taillard-15-105-7.xml
COMMAND LINE= java -server -Xmx700M -Xms700M -jar /tmp/evaluation/233520-1168326715/sat4jCSP-bf3.jar /tmp/evaluation/233520-1168326715/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node40/watcher-233520-1168326715 -o ROOT/results/node40/solver-233520-1168326715 -C 1800 -M 900 java -server -Xmx700M -Xms700M -jar /tmp/evaluation/233520-1168326715/sat4jCSP-bf3.jar /tmp/evaluation/233520-1168326715/unknown.xml
META MD5SUM SOLVER= c614762dbe7de46d2af9d7b592545c03
MD5SUM BENCH= f2ccb8b31fd9f21bbe76b41ee826c770
RANDOM SEED= 577248983
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.239
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.239
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: 1273320 kB
Buffers: 60664 kB
Cached: 586968 kB
SwapCached: 0 kB
Active: 286852 kB
Inactive: 416564 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1273320 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2804 kB
Writeback: 0 kB
Mapped: 67072 kB
Slab: 64596 kB
Committed_AS: 4026324 kB
PageTables: 1840 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= 66549 MiB
End job on node40 on Tue Jan 9 07:18:32 UTC 2007