0.09/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2008 Daniel Le Berre
0.09/0.14 c This is free software under the dual EPL/GNU LGPL licenses.
0.09/0.14 c See www.sat4j.org for details.
0.09/0.14 c That software uses the Rhino library from the Mozilla project.
0.09/0.15 c version 2.1.1.v20090622
0.09/0.15 c sun.arch.data.model 32
0.09/0.15 c java.version 1.6.0_12
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.16 c Free memory 671000808
0.09/0.16 c Max memory 672137216
0.09/0.16 c Total memory 672137216
0.09/0.16 c Number of processors 2
0.19/0.24 c c --- Begin Solver configuration ---
0.19/0.24 c Stops conflict analysis at the first Unique Implication Point
0.19/0.24 c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@1f14ceb
0.19/0.24 c Learn all clauses as in MiniSAT
0.19/0.24 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100
0.19/0.24 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.19/0.24 c Expensive reason simplification
0.19/0.24 c MiniSAT restarts strategy
0.19/0.24 c Memory based learned constraints deletion strategy
0.19/0.24 c timeout=2147483s
0.19/0.24 c DB Simplification allowed=false
0.19/0.24 c --- End Solver configuration ---
0.19/0.24 c solving HOME/instance-2064431-1247335317.xml
0.19/0.24 c reading problem ...
0.39/0.50 c reading problem named null
0.39/0.50 c reading domains done.
0.49/0.50 c reading variables done.
0.49/0.51 c reading relations done.
1.37/1.46 c reading constraints
92.38/90.84 Exception in thread "main" java.lang.OutOfMemoryError: GC overhead limit exceeded
92.38/90.84 at org.sat4j.minisat.constraints.cnf.WLClause.<init>(Unknown Source)
92.38/90.84 at org.sat4j.minisat.constraints.cnf.OriginalWLClause.<init>(Unknown Source)
92.38/90.84 at org.sat4j.minisat.constraints.cnf.OriginalWLClause.brandNewClause(Unknown Source)
92.38/90.84 at org.sat4j.minisat.constraints.MixedDataStructureDanielWL.createClause(Unknown Source)
92.38/90.84 at org.sat4j.minisat.core.Solver.addClause(Unknown Source)
92.38/90.84 at org.sat4j.csp.encodings.DirectEncoding.onNogood(Unknown Source)
92.38/90.84 at org.sat4j.csp.constraints.Supports.find(Unknown Source)
92.38/90.84 at org.sat4j.csp.constraints.Supports.find(Unknown Source)
92.38/90.84 at org.sat4j.csp.constraints.Supports.find(Unknown Source)
92.38/90.84 at org.sat4j.csp.constraints.Supports.find(Unknown Source)
92.38/90.84 at org.sat4j.csp.constraints.Supports.find(Unknown Source)
92.38/90.84 at org.sat4j.csp.constraints.Supports.find(Unknown Source)
92.38/90.84 at org.sat4j.csp.constraints.Supports.find(Unknown Source)
92.38/90.84 at org.sat4j.csp.constraints.Supports.find(Unknown Source)
92.38/90.84 at org.sat4j.csp.constraints.Supports.find(Unknown Source)
92.38/90.84 at org.sat4j.csp.constraints.Supports.find(Unknown Source)
92.38/90.84 at org.sat4j.csp.constraints.Supports.find(Unknown Source)
92.38/90.84 at org.sat4j.csp.constraints.Supports.find(Unknown Source)
92.38/90.84 at org.sat4j.csp.constraints.Supports.find(Unknown Source)
92.38/90.84 at org.sat4j.csp.constraints.Supports.find(Unknown Source)
92.38/90.84 at org.sat4j.csp.constraints.Supports.find(Unknown Source)
92.38/90.84 at org.sat4j.csp.constraints.Supports.find(Unknown Source)
92.38/90.84 at org.sat4j.csp.constraints.Supports.toClause(Unknown Source)
92.38/90.84 at org.sat4j.reader.CSPReader.endConstraint(Unknown Source)
92.38/90.84 at org.sat4j.csp.xml.Constraint.endElement(Unknown Source)
92.38/90.84 at org.sat4j.csp.xml.InstanceParser.endElement(Unknown Source)
92.38/90.84 at com.sun.org.apache.xerces.internal.parsers.AbstractSAXParser.endElement(Unknown Source)
92.38/90.84 at com.sun.org.apache.xerces.internal.parsers.AbstractXMLDocumentParser.emptyElement(Unknown Source)
92.38/90.84 at com.sun.org.apache.xerces.internal.impl.xs.XMLSchemaValidator.emptyElement(Unknown Source)
92.38/90.84 at com.sun.org.apache.xerces.internal.impl.XMLDocumentFragmentScannerImpl.scanStartElement(Unknown Source)
92.38/90.84 at com.sun.org.apache.xerces.internal.impl.XMLDocumentFragmentScannerImpl$FragmentContentDriver.next(Unknown Source)
92.38/90.84 at com.sun.org.apache.xerces.internal.impl.XMLDocumentScannerImpl.next(Unknown Source)
92.38/90.84 c starts : 0
92.38/90.84 c conflicts : 0
92.38/90.84 c decisions : 0
92.38/90.84 c propagations : 0
92.38/90.84 c inspects : 0
92.38/90.84 c learnt literals : 0
92.38/90.84 c learnt binary clauses : 0
92.38/90.84 c learnt ternary clauses : 0
92.38/90.84 c learnt clauses : 0
92.38/90.84 c ignored clauses : 0
92.38/90.84 c root simplifications : 0
92.38/90.84 c removed literals (reason simplification) : 0
92.38/90.84 c reason swapping (by a shorter reason) : 0
92.38/90.84 c Calls to reduceDB : 0
92.38/90.84 c speed (assignments/second) : 0.0
92.38/90.84 c non guided choices 0
92.38/90.84 c learnt constraints type
92.38/90.84 c constraints type
92.38/90.84 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5877634
92.38/90.84 c org.sat4j.minisat.constraints.card.AtLeast => 21
92.38/90.84 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 21
92.38/90.84 s UNKNOWN
92.38/90.84 c Total wall clock time (in seconds) : 90.594
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2064431-1247335317/watcher-2064431-1247335317 -o /tmp/evaluation-result-2064431-1247335317/solver-2064431-1247335317 -C 1800 -W 2000 -M 900 java6 -server -Xms650m -Xmx650m -jar HOME/sat4j-csp.jar HOME/instance-2064431-1247335317.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 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
[startup+0 s]
/proc/loadavg: 1.94 2.13 2.07 4/83 15593
/proc/meminfo: memFree=1614160/2055920 swapFree=4192812/4192956
[pid=15593] ppid=15591 vsize=1612 CPUtime=0
/proc/15593/stat : 15593 (java6) R 15591 15593 15287 0 -1 0 179 0 0 0 0 0 0 0 18 0 1 0 20599316 1650688 150 996147200 134512640 134550932 4294956176 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/15593/statm: 403 150 114 9 0 45 0
[startup+0.076194 s]
/proc/loadavg: 1.94 2.13 2.07 4/83 15593
/proc/meminfo: memFree=1614160/2055920 swapFree=4192812/4192956
[pid=15593] ppid=15591 vsize=802164 CPUtime=0.07
/proc/15593/stat : 15593 (java) S 15591 15593 15287 0 -1 0 2805 0 1 0 5 2 0 0 18 0 7 0 20599316 821415936 2550 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0
/proc/15593/statm: 200541 2550 1036 9 0 197892 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 802164
[startup+0.1022 s]
/proc/loadavg: 1.94 2.13 2.07 4/83 15593
/proc/meminfo: memFree=1614160/2055920 swapFree=4192812/4192956
[pid=15593] ppid=15591 vsize=804560 CPUtime=0.09
/proc/15593/stat : 15593 (java) S 15591 15593 15287 0 -1 0 3016 0 1 0 7 2 0 0 18 0 12 0 20599316 823869440 2759 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15593/statm: 201140 2759 1082 9 0 198474 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 804560
[startup+0.302232 s]
/proc/loadavg: 1.94 2.13 2.07 4/83 15593
/proc/meminfo: memFree=1614160/2055920 swapFree=4192812/4192956
[pid=15593] ppid=15591 vsize=805628 CPUtime=0.29
/proc/15593/stat : 15593 (java) S 15591 15593 15287 0 -1 0 4309 0 1 0 25 4 0 0 18 0 12 0 20599316 824963072 4046 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15593/statm: 201407 4046 1359 9 0 198734 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 805628
[startup+0.702296 s]
/proc/loadavg: 1.94 2.13 2.07 4/83 15593
/proc/meminfo: memFree=1614160/2055920 swapFree=4192812/4192956
[pid=15593] ppid=15591 vsize=807184 CPUtime=0.68
/proc/15593/stat : 15593 (java) S 15591 15593 15287 0 -1 0 6083 0 1 0 63 5 0 0 18 0 12 0 20599316 826556416 5537 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15593/statm: 201796 5537 1387 9 0 199123 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 807184
[startup+1.50143 s]
/proc/loadavg: 1.94 2.13 2.07 4/95 15605
/proc/meminfo: memFree=1593584/2055920 swapFree=4192812/4192956
[pid=15593] ppid=15591 vsize=811864 CPUtime=1.48
/proc/15593/stat : 15593 (java) S 15591 15593 15287 0 -1 0 11441 0 1 0 140 8 0 0 18 0 12 0 20599316 831348736 9321 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15593/statm: 202966 9321 1410 9 0 200293 0
[pid=15593/tid=15595] ppid=15591 vsize=811864 CPUtime=0.7
/proc/15593/task/15595/stat : 15595 (java) R 15591 15593 15287 0 -1 64 6736 0 1 0 65 5 0 0 22 0 12 0 20599318 831348736 9321 996147200 134512640 134550932 4294956016 18446744073709551615 4109131844 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15593/tid=15596] ppid=15591 vsize=811864 CPUtime=0
/proc/15593/task/15596/stat : 15596 (java) S 15591 15593 15287 0 -1 64 2 0 0 0 0 0 0 0 18 0 12 0 20599319 831348736 9321 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15593/tid=15597] ppid=15591 vsize=811864 CPUtime=0
/proc/15593/task/15597/stat : 15597 (java) S 15591 15593 15287 0 -1 64 0 0 0 0 0 0 0 0 19 0 12 0 20599319 831348736 9321 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15593/tid=15598] ppid=15591 vsize=811864 CPUtime=0
/proc/15593/task/15598/stat : 15598 (java) S 15591 15593 15287 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 20599321 831348736 9321 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15593/tid=15599] ppid=15591 vsize=811864 CPUtime=0
/proc/15593/task/15599/stat : 15599 (java) S 15591 15593 15287 0 -1 64 10 0 0 0 0 0 0 0 21 0 12 0 20599321 831348736 9321 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15593/tid=15600] ppid=15591 vsize=811864 CPUtime=0
/proc/15593/task/15600/stat : 15600 (java) S 15591 15593 15287 0 -1 64 4 0 0 0 0 0 0 0 22 0 12 0 20599321 831348736 9321 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15593/tid=15601] ppid=15591 vsize=811864 CPUtime=0
/proc/15593/task/15601/stat : 15601 (java) S 15591 15593 15287 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 20599326 831348736 9321 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15593/tid=15602] ppid=15591 vsize=811864 CPUtime=0
/proc/15593/task/15602/stat : 15602 (java) S 15591 15593 15287 0 -1 64 13 0 0 0 0 0 0 0 19 0 12 0 20599326 831348736 9321 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15593/tid=15603] ppid=15591 vsize=811864 CPUtime=0.75
/proc/15593/task/15603/stat : 15603 (java) S 15591 15593 15287 0 -1 64 3952 0 0 0 74 1 0 0 16 0 12 0 20599326 831348736 9321 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15593/tid=15604] ppid=15591 vsize=811864 CPUtime=0
/proc/15593/task/15604/stat : 15604 (java) S 15591 15593 15287 0 -1 64 0 0 0 0 0 0 0 0 19 0 12 0 20599326 831348736 9321 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15593/tid=15605] ppid=15591 vsize=811864 CPUtime=0
/proc/15593/task/15605/stat : 15605 (java) S 15591 15593 15287 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 20599326 831348736 9321 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 811864
[startup+3.10268 s]
/proc/loadavg: 1.94 2.13 2.07 3/95 15605
/proc/meminfo: memFree=1558704/2055920 swapFree=4192812/4192956
[pid=15593] ppid=15591 vsize=811864 CPUtime=3.06
/proc/15593/stat : 15593 (java) S 15591 15593 15287 0 -1 0 33240 0 1 0 291 15 0 0 18 0 12 0 20599316 831348736 30838 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15593/statm: 202966 30838 1423 9 0 200293 0
[pid=15593/tid=15595] ppid=15591 vsize=811864 CPUtime=1.73
/proc/15593/task/15595/stat : 15595 (java) R 15591 15593 15287 0 -1 64 16911 0 1 0 164 9 0 0 21 0 12 0 20599318 831348736 30838 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15593/tid=15596] ppid=15591 vsize=811864 CPUtime=0.15
/proc/15593/task/15596/stat : 15596 (java) R 15591 15593 15287 0 -1 64 5939 0 0 0 14 1 0 0 16 0 12 0 20599319 831348736 30838 996147200 134512640 134550932 4294956016 18446744073709551615 106196756 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15593/tid=15597] ppid=15591 vsize=811864 CPUtime=0.12
/proc/15593/task/15597/stat : 15597 (java) R 15591 15593 15287 0 -1 64 5361 0 0 0 11 1 0 0 16 0 12 0 20599319 831348736 30838 996147200 134512640 134550932 4294956016 18446744073709551615 106195400 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15593/tid=15598] ppid=15591 vsize=811864 CPUtime=0
/proc/15593/task/15598/stat : 15598 (java) S 15591 15593 15287 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 20599321 831348736 30838 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15593/tid=15599] ppid=15591 vsize=811864 CPUtime=0
/proc/15593/task/15599/stat : 15599 (java) S 15591 15593 15287 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 20599321 831348736 30838 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15593/tid=15600] ppid=15591 vsize=811864 CPUtime=0
/proc/15593/task/15600/stat : 15600 (java) S 15591 15593 15287 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 20599321 831348736 30838 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15593/tid=15601] ppid=15591 vsize=811864 CPUtime=0
/proc/15593/task/15601/stat : 15601 (java) S 15591 15593 15287 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 20599326 831348736 30838 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15593/tid=15602] ppid=15591 vsize=811864 CPUtime=0
/proc/15593/task/15602/stat : 15602 (java) S 15591 15593 15287 0 -1 64 13 0 0 0 0 0 0 0 19 0 12 0 20599326 831348736 30838 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15593/tid=15603] ppid=15591 vsize=811864 CPUtime=1.01
/proc/15593/task/15603/stat : 15603 (java) S 15591 15593 15287 0 -1 64 4267 0 0 0 100 1 0 0 16 0 12 0 20599326 831348736 30838 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15593/tid=15604] ppid=15591 vsize=811864 CPUtime=0
/proc/15593/task/15604/stat : 15604 (java) S 15591 15593 15287 0 -1 64 0 0 0 0 0 0 0 0 19 0 12 0 20599326 831348736 30838 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15593/tid=15605] ppid=15591 vsize=811864 CPUtime=0
/proc/15593/task/15605/stat : 15605 (java) S 15591 15593 15287 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 20599326 831348736 30838 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 811864
[startup+6.3012 s]
/proc/loadavg: 2.11 2.16 2.08 3/95 15605
/proc/meminfo: memFree=1407408/2055920 swapFree=4192812/4192956
[pid=15593] ppid=15591 vsize=812008 CPUtime=6.38
/proc/15593/stat : 15593 (java) S 15591 15593 15287 0 -1 0 61747 0 1 0 612 26 0 0 18 0 12 0 20599316 831496192 58588 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15593/statm: 203002 58590 1423 9 0 200329 0
[pid=15593/tid=15595] ppid=15591 vsize=812008 CPUtime=3.83
/proc/15593/task/15595/stat : 15595 (java) R 15591 15593 15287 0 -1 64 16917 0 1 0 374 9 0 0 22 0 12 0 20599318 831496192 58592 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15593/tid=15596] ppid=15591 vsize=812008 CPUtime=0.8
/proc/15593/task/15596/stat : 15596 (java) R 15591 15593 15287 0 -1 64 20325 0 0 0 74 6 0 0 16 0 12 0 20599319 831496192 58595 996147200 134512640 134550932 4294956016 18446744073709551615 106195400 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15593/tid=15597] ppid=15591 vsize=812008 CPUtime=0.69
/proc/15593/task/15597/stat : 15597 (java) R 15591 15593 15287 0 -1 64 19485 0 0 0 62 7 0 0 15 0 12 0 20599319 831496192 58597 996147200 134512640 134550932 4294956016 18446744073709551615 106195352 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15593/tid=15598] ppid=15591 vsize=812008 CPUtime=0
/proc/15593/task/15598/stat : 15598 (java) S 15591 15593 15287 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 20599321 831496192 58600 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15593/tid=15599] ppid=15591 vsize=812008 CPUtime=0
/proc/15593/task/15599/stat : 15599 (java) S 15591 15593 15287 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 20599321 831496192 58602 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15593/tid=15600] ppid=15591 vsize=812008 CPUtime=0
/proc/15593/task/15600/stat : 15600 (java) S 15591 15593 15287 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 20599321 831496192 58604 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15593/tid=15601] ppid=15591 vsize=812008 CPUtime=0
/proc/15593/task/15601/stat : 15601 (java) S 15591 15593 15287 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 20599326 831496192 58607 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15593/tid=15602] ppid=15591 vsize=812008 CPUtime=0
/proc/15593/task/15602/stat : 15602 (java) S 15591 15593 15287 0 -1 64 13 0 0 0 0 0 0 0 19 0 12 0 20599326 831496192 58609 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15593/tid=15603] ppid=15591 vsize=812008 CPUtime=1.01
/proc/15593/task/15603/stat : 15603 (java) S 15591 15593 15287 0 -1 64 4267 0 0 0 100 1 0 0 16 0 12 0 20599326 831496192 58611 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15593/tid=15604] ppid=15591 vsize=812008 CPUtime=0
/proc/15593/task/15604/stat : 15604 (java) S 15591 15593 15287 0 -1 64 0 0 0 0 0 0 0 0 19 0 12 0 20599326 831496192 58614 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15593/tid=15605] ppid=15591 vsize=812008 CPUtime=0
/proc/15593/task/15605/stat : 15605 (java) S 15591 15593 15287 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 20599326 831496192 58616 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.38
Current children cumulated vsize (KiB) 812008
[startup+12.7022 s]
/proc/loadavg: 2.26 2.19 2.09 5/95 15605
/proc/meminfo: memFree=1225584/2055920 swapFree=4192812/4192956
[pid=15593] ppid=15591 vsize=812008 CPUtime=13.36
/proc/15593/stat : 15593 (java) S 15591 15593 15287 0 -1 0 109394 0 1 0 1287 49 0 0 18 0 12 0 20599316 831496192 102739 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15593/statm: 203002 102739 1423 9 0 200329 0
[pid=15593/tid=15595] ppid=15591 vsize=812008 CPUtime=7.1
/proc/15593/task/15595/stat : 15595 (java) R 15591 15593 15287 0 -1 64 16933 0 1 0 701 9 0 0 24 0 12 0 20599318 831496192 102739 996147200 134512640 134550932 4294956016 18446744073709551615 4109642239 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15593/tid=15596] ppid=15591 vsize=812008 CPUtime=2.57
/proc/15593/task/15596/stat : 15596 (java) S 15591 15593 15287 0 -1 64 39069 0 0 0 241 16 0 0 16 0 12 0 20599319 831496192 102739 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15593/tid=15597] ppid=15591 vsize=812008 CPUtime=2.62
/proc/15593/task/15597/stat : 15597 (java) S 15591 15593 15287 0 -1 64 48363 0 0 0 242 20 0 0 17 0 12 0 20599319 831496192 102739 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15593/tid=15598] ppid=15591 vsize=812008 CPUtime=0
/proc/15593/task/15598/stat : 15598 (java) S 15591 15593 15287 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 20599321 831496192 102739 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15593/tid=15599] ppid=15591 vsize=812008 CPUtime=0
/proc/15593/task/15599/stat : 15599 (java) S 15591 15593 15287 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 20599321 831496192 102739 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15593/tid=15600] ppid=15591 vsize=812008 CPUtime=0
/proc/15593/task/15600/stat : 15600 (java) S 15591 15593 15287 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 20599321 831496192 102739 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15593/tid=15601] ppid=15591 vsize=812008 CPUtime=0
/proc/15593/task/15601/stat : 15601 (java) S 15591 15593 15287 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 20599326 831496192 102739 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15593/tid=15602] ppid=15591 vsize=812008 CPUtime=0
/proc/15593/task/15602/stat : 15602 (java) S 15591 15593 15287 0 -1 64 13 0 0 0 0 0 0 0 19 0 12 0 20599326 831496192 102739 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15593/tid=15603] ppid=15591 vsize=812008 CPUtime=1.02
/proc/15593/task/15603/stat : 15603 (java) S 15591 15593 15287 0 -1 64 4267 0 0 0 101 1 0 0 16 0 12 0 20599326 831496192 102739 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15593/tid=15604] ppid=15591 vsize=812008 CPUtime=0
/proc/15593/task/15604/stat : 15604 (java) S 15591 15593 15287 0 -1 64 0 0 0 0 0 0 0 0 19 0 12 0 20599326 831496192 102739 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15593/tid=15605] ppid=15591 vsize=812008 CPUtime=0
/proc/15593/task/15605/stat : 15605 (java) S 15591 15593 15287 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 20599326 831496192 102739 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 13.36
Current children cumulated vsize (KiB) 812008
[startup+25.5023 s]
/proc/loadavg: 2.47 2.24 2.11 5/95 15605
/proc/meminfo: memFree=939184/2055920 swapFree=4192812/4192956
[pid=15593] ppid=15591 vsize=812648 CPUtime=27.19
/proc/15593/stat : 15593 (java) S 15591 15593 15287 0 -1 0 184412 0 1 0 2636 83 0 0 18 0 12 0 20599316 832151552 168588 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15593/statm: 203162 168588 1426 9 0 200489 0
[pid=15593/tid=15595] ppid=15591 vsize=812648 CPUtime=12.24
/proc/15593/task/15595/stat : 15595 (java) R 15591 15593 15287 0 -1 64 23100 0 1 0 1212 12 0 0 18 0 12 0 20599318 832151552 168588 996147200 134512640 134550932 4294956016 18446744073709551615 4109635041 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15593/tid=15596] ppid=15591 vsize=812648 CPUtime=5.63
/proc/15593/task/15596/stat : 15596 (java) S 15591 15593 15287 0 -1 64 75519 0 0 0 531 32 0 0 18 0 12 0 20599319 832151552 168588 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15593/tid=15597] ppid=15591 vsize=812648 CPUtime=5.54
/proc/15593/task/15597/stat : 15597 (java) S 15591 15593 15287 0 -1 64 73250 0 0 0 522 32 0 0 16 0 12 0 20599319 832151552 168588 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15593/tid=15598] ppid=15591 vsize=812648 CPUtime=2.61
/proc/15593/task/15598/stat : 15598 (java) S 15591 15593 15287 0 -1 64 7515 0 0 0 258 3 0 0 16 0 12 0 20599321 832151552 168588 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15593/tid=15599] ppid=15591 vsize=812648 CPUtime=0
/proc/15593/task/15599/stat : 15599 (java) S 15591 15593 15287 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 20599321 832151552 168588 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15593/tid=15600] ppid=15591 vsize=812648 CPUtime=0
/proc/15593/task/15600/stat : 15600 (java) S 15591 15593 15287 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 20599321 832151552 168588 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15593/tid=15601] ppid=15591 vsize=812648 CPUtime=0
/proc/15593/task/15601/stat : 15601 (java) S 15591 15593 15287 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 20599326 832151552 168588 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15593/tid=15602] ppid=15591 vsize=812648 CPUtime=0
################
# More data... #
################
[pid=15593/tid=15604] ppid=15591 vsize=828652 CPUtime=0
/proc/15593/task/15604/stat : 15604 (java) S 15591 15593 15287 0 -1 64 0 0 0 0 0 0 0 0 19 0 12 0 20599326 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15593/tid=15605] ppid=15591 vsize=828652 CPUtime=0
/proc/15593/task/15605/stat : 15605 (java) S 15591 15593 15287 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 20599326 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 78.31
Current children cumulated vsize (KiB) 828652
[startup+83.1016 s]
/proc/loadavg: 2.26 2.23 2.11 3/95 15605
/proc/meminfo: memFree=901360/2055920 swapFree=4192812/4192956
[pid=15593] ppid=15591 vsize=828652 CPUtime=84.71
/proc/15593/stat : 15593 (java) S 15591 15593 15287 0 -1 0 392755 0 1 0 8298 173 0 0 18 0 12 0 20599316 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15593/statm: 207163 176319 1426 9 0 204490 0
[pid=15593/tid=15595] ppid=15591 vsize=828652 CPUtime=14.18
/proc/15593/task/15595/stat : 15595 (java) S 15591 15593 15287 0 -1 64 23118 0 1 0 1406 12 0 0 17 0 12 0 20599318 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15593/tid=15596] ppid=15591 vsize=828652 CPUtime=5.89
/proc/15593/task/15596/stat : 15596 (java) S 15591 15593 15287 0 -1 64 75519 0 0 0 557 32 0 0 17 0 12 0 20599319 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15593/tid=15597] ppid=15591 vsize=828652 CPUtime=5.73
/proc/15593/task/15597/stat : 15597 (java) S 15591 15593 15287 0 -1 64 73250 0 0 0 541 32 0 0 16 0 12 0 20599319 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15593/tid=15598] ppid=15591 vsize=828652 CPUtime=57.74
/proc/15593/task/15598/stat : 15598 (java) R 15591 15593 15287 0 -1 64 215840 0 0 0 5680 94 0 0 25 0 12 0 20599321 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 105697124 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15593/tid=15599] ppid=15591 vsize=828652 CPUtime=0
/proc/15593/task/15599/stat : 15599 (java) S 15591 15593 15287 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 20599321 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15593/tid=15600] ppid=15591 vsize=828652 CPUtime=0
/proc/15593/task/15600/stat : 15600 (java) S 15591 15593 15287 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 20599321 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15593/tid=15601] ppid=15591 vsize=828652 CPUtime=0
/proc/15593/task/15601/stat : 15601 (java) S 15591 15593 15287 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 20599326 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15593/tid=15602] ppid=15591 vsize=828652 CPUtime=0
/proc/15593/task/15602/stat : 15602 (java) S 15591 15593 15287 0 -1 64 13 0 0 0 0 0 0 0 19 0 12 0 20599326 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15593/tid=15603] ppid=15591 vsize=828652 CPUtime=1.12
/proc/15593/task/15603/stat : 15603 (java) S 15591 15593 15287 0 -1 64 4275 0 0 0 111 1 0 0 16 0 12 0 20599326 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15593/tid=15604] ppid=15591 vsize=828652 CPUtime=0
/proc/15593/task/15604/stat : 15604 (java) S 15591 15593 15287 0 -1 64 0 0 0 0 0 0 0 0 19 0 12 0 20599326 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15593/tid=15605] ppid=15591 vsize=828652 CPUtime=0
/proc/15593/task/15605/stat : 15605 (java) S 15591 15593 15287 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 20599326 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 84.71
Current children cumulated vsize (KiB) 828652
[startup+86.3021 s]
/proc/loadavg: 2.24 2.22 2.11 3/95 15605
/proc/meminfo: memFree=900848/2055920 swapFree=4192812/4192956
[pid=15593] ppid=15591 vsize=828652 CPUtime=87.9
/proc/15593/stat : 15593 (java) S 15591 15593 15287 0 -1 0 400262 0 1 0 8614 176 0 0 18 0 12 0 20599316 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15593/statm: 207163 176319 1425 9 0 204490 0
[pid=15593/tid=15595] ppid=15591 vsize=828652 CPUtime=14.18
/proc/15593/task/15595/stat : 15595 (java) S 15591 15593 15287 0 -1 64 23121 0 1 0 1406 12 0 0 17 0 12 0 20599318 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15593/tid=15596] ppid=15591 vsize=828652 CPUtime=5.89
/proc/15593/task/15596/stat : 15596 (java) S 15591 15593 15287 0 -1 64 75519 0 0 0 557 32 0 0 17 0 12 0 20599319 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15593/tid=15597] ppid=15591 vsize=828652 CPUtime=5.73
/proc/15593/task/15597/stat : 15597 (java) S 15591 15593 15287 0 -1 64 73250 0 0 0 541 32 0 0 16 0 12 0 20599319 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15593/tid=15598] ppid=15591 vsize=828652 CPUtime=60.93
/proc/15593/task/15598/stat : 15598 (java) R 15591 15593 15287 0 -1 64 223344 0 0 0 5996 97 0 0 25 0 12 0 20599321 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 106157706 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15593/tid=15599] ppid=15591 vsize=828652 CPUtime=0
/proc/15593/task/15599/stat : 15599 (java) S 15591 15593 15287 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 20599321 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15593/tid=15600] ppid=15591 vsize=828652 CPUtime=0
/proc/15593/task/15600/stat : 15600 (java) S 15591 15593 15287 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 20599321 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15593/tid=15601] ppid=15591 vsize=828652 CPUtime=0
/proc/15593/task/15601/stat : 15601 (java) S 15591 15593 15287 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 20599326 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15593/tid=15602] ppid=15591 vsize=828652 CPUtime=0
/proc/15593/task/15602/stat : 15602 (java) S 15591 15593 15287 0 -1 64 13 0 0 0 0 0 0 0 19 0 12 0 20599326 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15593/tid=15603] ppid=15591 vsize=828652 CPUtime=1.12
/proc/15593/task/15603/stat : 15603 (java) S 15591 15593 15287 0 -1 64 4275 0 0 0 111 1 0 0 16 0 12 0 20599326 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15593/tid=15604] ppid=15591 vsize=828652 CPUtime=0
/proc/15593/task/15604/stat : 15604 (java) S 15591 15593 15287 0 -1 64 0 0 0 0 0 0 0 0 19 0 12 0 20599326 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15593/tid=15605] ppid=15591 vsize=828652 CPUtime=0
/proc/15593/task/15605/stat : 15605 (java) S 15591 15593 15287 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 20599326 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 87.9
Current children cumulated vsize (KiB) 828652
[startup+89.5026 s]
/proc/loadavg: 2.24 2.22 2.11 3/95 15605
/proc/meminfo: memFree=900336/2055920 swapFree=4192812/4192956
[pid=15593] ppid=15591 vsize=828652 CPUtime=91.08
/proc/15593/stat : 15593 (java) S 15591 15593 15287 0 -1 0 407766 0 1 0 8928 180 0 0 18 0 12 0 20599316 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15593/statm: 207163 176319 1425 9 0 204490 0
[pid=15593/tid=15595] ppid=15591 vsize=828652 CPUtime=14.18
/proc/15593/task/15595/stat : 15595 (java) S 15591 15593 15287 0 -1 64 23121 0 1 0 1406 12 0 0 17 0 12 0 20599318 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15593/tid=15596] ppid=15591 vsize=828652 CPUtime=5.89
/proc/15593/task/15596/stat : 15596 (java) S 15591 15593 15287 0 -1 64 75519 0 0 0 557 32 0 0 17 0 12 0 20599319 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15593/tid=15597] ppid=15591 vsize=828652 CPUtime=5.73
/proc/15593/task/15597/stat : 15597 (java) S 15591 15593 15287 0 -1 64 73250 0 0 0 541 32 0 0 16 0 12 0 20599319 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15593/tid=15598] ppid=15591 vsize=828652 CPUtime=64.09
/proc/15593/task/15598/stat : 15598 (java) R 15591 15593 15287 0 -1 64 230848 0 0 0 6309 100 0 0 25 0 12 0 20599321 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 104187726 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15593/tid=15599] ppid=15591 vsize=828652 CPUtime=0
/proc/15593/task/15599/stat : 15599 (java) S 15591 15593 15287 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 20599321 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15593/tid=15600] ppid=15591 vsize=828652 CPUtime=0
/proc/15593/task/15600/stat : 15600 (java) S 15591 15593 15287 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 20599321 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15593/tid=15601] ppid=15591 vsize=828652 CPUtime=0
/proc/15593/task/15601/stat : 15601 (java) S 15591 15593 15287 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 20599326 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15593/tid=15602] ppid=15591 vsize=828652 CPUtime=0
/proc/15593/task/15602/stat : 15602 (java) S 15591 15593 15287 0 -1 64 13 0 0 0 0 0 0 0 19 0 12 0 20599326 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15593/tid=15603] ppid=15591 vsize=828652 CPUtime=1.12
/proc/15593/task/15603/stat : 15603 (java) S 15591 15593 15287 0 -1 64 4275 0 0 0 111 1 0 0 16 0 12 0 20599326 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15593/tid=15604] ppid=15591 vsize=828652 CPUtime=0
/proc/15593/task/15604/stat : 15604 (java) S 15591 15593 15287 0 -1 64 0 0 0 0 0 0 0 0 19 0 12 0 20599326 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15593/tid=15605] ppid=15591 vsize=828652 CPUtime=0
/proc/15593/task/15605/stat : 15605 (java) S 15591 15593 15287 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 20599326 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 91.08
Current children cumulated vsize (KiB) 828652
[startup+90.3028 s]
/proc/loadavg: 2.22 2.22 2.11 3/95 15605
/proc/meminfo: memFree=900336/2055920 swapFree=4192812/4192956
[pid=15593] ppid=15591 vsize=828652 CPUtime=91.88
/proc/15593/stat : 15593 (java) S 15591 15593 15287 0 -1 0 407766 0 1 0 9008 180 0 0 18 0 12 0 20599316 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15593/statm: 207163 176319 1425 9 0 204490 0
[pid=15593/tid=15595] ppid=15591 vsize=828652 CPUtime=14.18
/proc/15593/task/15595/stat : 15595 (java) S 15591 15593 15287 0 -1 64 23121 0 1 0 1406 12 0 0 17 0 12 0 20599318 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15593/tid=15596] ppid=15591 vsize=828652 CPUtime=5.89
/proc/15593/task/15596/stat : 15596 (java) S 15591 15593 15287 0 -1 64 75519 0 0 0 557 32 0 0 17 0 12 0 20599319 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15593/tid=15597] ppid=15591 vsize=828652 CPUtime=5.73
/proc/15593/task/15597/stat : 15597 (java) S 15591 15593 15287 0 -1 64 73250 0 0 0 541 32 0 0 16 0 12 0 20599319 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15593/tid=15598] ppid=15591 vsize=828652 CPUtime=64.89
/proc/15593/task/15598/stat : 15598 (java) R 15591 15593 15287 0 -1 64 230848 0 0 0 6389 100 0 0 25 0 12 0 20599321 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 106159199 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15593/tid=15599] ppid=15591 vsize=828652 CPUtime=0
/proc/15593/task/15599/stat : 15599 (java) S 15591 15593 15287 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 20599321 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15593/tid=15600] ppid=15591 vsize=828652 CPUtime=0
/proc/15593/task/15600/stat : 15600 (java) S 15591 15593 15287 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 20599321 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15593/tid=15601] ppid=15591 vsize=828652 CPUtime=0
/proc/15593/task/15601/stat : 15601 (java) S 15591 15593 15287 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 20599326 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15593/tid=15602] ppid=15591 vsize=828652 CPUtime=0
/proc/15593/task/15602/stat : 15602 (java) S 15591 15593 15287 0 -1 64 13 0 0 0 0 0 0 0 19 0 12 0 20599326 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15593/tid=15603] ppid=15591 vsize=828652 CPUtime=1.12
/proc/15593/task/15603/stat : 15603 (java) S 15591 15593 15287 0 -1 64 4275 0 0 0 111 1 0 0 16 0 12 0 20599326 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15593/tid=15604] ppid=15591 vsize=828652 CPUtime=0
/proc/15593/task/15604/stat : 15604 (java) S 15591 15593 15287 0 -1 64 0 0 0 0 0 0 0 0 19 0 12 0 20599326 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15593/tid=15605] ppid=15591 vsize=828652 CPUtime=0
/proc/15593/task/15605/stat : 15605 (java) S 15591 15593 15287 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 20599326 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 91.88
Current children cumulated vsize (KiB) 828652
[startup+90.7028 s]
/proc/loadavg: 2.22 2.22 2.11 3/95 15605
/proc/meminfo: memFree=900336/2055920 swapFree=4192812/4192956
[pid=15593] ppid=15591 vsize=828652 CPUtime=92.28
/proc/15593/stat : 15593 (java) S 15591 15593 15287 0 -1 0 407766 0 1 0 9048 180 0 0 18 0 12 0 20599316 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15593/statm: 207163 176319 1425 9 0 204490 0
[pid=15593/tid=15595] ppid=15591 vsize=828652 CPUtime=14.18
/proc/15593/task/15595/stat : 15595 (java) S 15591 15593 15287 0 -1 64 23121 0 1 0 1406 12 0 0 17 0 12 0 20599318 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15593/tid=15596] ppid=15591 vsize=828652 CPUtime=5.89
/proc/15593/task/15596/stat : 15596 (java) S 15591 15593 15287 0 -1 64 75519 0 0 0 557 32 0 0 17 0 12 0 20599319 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15593/tid=15597] ppid=15591 vsize=828652 CPUtime=5.73
/proc/15593/task/15597/stat : 15597 (java) S 15591 15593 15287 0 -1 64 73250 0 0 0 541 32 0 0 16 0 12 0 20599319 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15593/tid=15598] ppid=15591 vsize=828652 CPUtime=65.29
/proc/15593/task/15598/stat : 15598 (java) R 15591 15593 15287 0 -1 64 230848 0 0 0 6429 100 0 0 25 0 12 0 20599321 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 106159010 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15593/tid=15599] ppid=15591 vsize=828652 CPUtime=0
/proc/15593/task/15599/stat : 15599 (java) S 15591 15593 15287 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 20599321 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15593/tid=15600] ppid=15591 vsize=828652 CPUtime=0
/proc/15593/task/15600/stat : 15600 (java) S 15591 15593 15287 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 20599321 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15593/tid=15601] ppid=15591 vsize=828652 CPUtime=0
/proc/15593/task/15601/stat : 15601 (java) S 15591 15593 15287 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 20599326 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15593/tid=15602] ppid=15591 vsize=828652 CPUtime=0
/proc/15593/task/15602/stat : 15602 (java) S 15591 15593 15287 0 -1 64 13 0 0 0 0 0 0 0 19 0 12 0 20599326 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15593/tid=15603] ppid=15591 vsize=828652 CPUtime=1.12
/proc/15593/task/15603/stat : 15603 (java) S 15591 15593 15287 0 -1 64 4275 0 0 0 111 1 0 0 16 0 12 0 20599326 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15593/tid=15604] ppid=15591 vsize=828652 CPUtime=0
/proc/15593/task/15604/stat : 15604 (java) S 15591 15593 15287 0 -1 64 0 0 0 0 0 0 0 0 19 0 12 0 20599326 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15593/tid=15605] ppid=15591 vsize=828652 CPUtime=0
/proc/15593/task/15605/stat : 15605 (java) S 15591 15593 15287 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 20599326 848539648 176319 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 92.28
Current children cumulated vsize (KiB) 828652
[startup+90.9029 s]
/proc/loadavg: 2.22 2.22 2.11 3/95 15605
/proc/meminfo: memFree=900336/2055920 swapFree=4192812/4192956
[pid=15593] ppid=15591 vsize=0 CPUtime=92.43
/proc/15593/stat : 15593 (java) Z 15591 15593 15287 0 -1 12 407784 0 1 0 9062 181 0 0 16 0 2 0 20599316 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15593/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 92.43
Current children cumulated vsize (KiB) 0
Child status: 1
Real time (s): 90.9892
CPU time (s): 92.5229
CPU user time (s): 90.6202
CPU system time (s): 1.90271
CPU usage (%): 101.686
Max. virtual memory (cumulated for all children) (KiB): 860656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 90.6202
system time used= 1.90271
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 407784
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= 3083
involuntary context switches= 4380
runsolver used 0.116982 second user time and 0.309952 second system time
The end
Begin job on node3 at 2009-07-11 20:01:57
IDJOB=2064431
IDBENCH=54153
IDSOLVER=731
FILE ID=node3/2064431-1247335317
PBS_JOBID= 9506696
Free space on /tmp= 66376 MiB
SOLVER NAME= SAT4J CSP 2.1.1
BENCH NAME= CPAI08/csp/bddLarge/normalized-bdd-21-2713-15-79-24_ext.xml
COMMAND LINE= java6 -server -Xms650m -Xmx650m -jar HOME/sat4j-csp.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2064431-1247335317/watcher-2064431-1247335317 -o /tmp/evaluation-result-2064431-1247335317/solver-2064431-1247335317 -C 1800 -W 2000 -M 900 java6 -server -Xms650m -Xmx650m -jar HOME/sat4j-csp.jar HOME/instance-2064431-1247335317.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 9ba8aee6934293b41abce7daa463ddc3
RANDOM SEED=1195753596
node3.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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 : 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.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: 1614576 kB
Buffers: 13728 kB
Cached: 73508 kB
SwapCached: 144 kB
Active: 357456 kB
Inactive: 28400 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1614576 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1880 kB
Writeback: 0 kB
Mapped: 314196 kB
Slab: 40368 kB
Committed_AS: 850588 kB
PageTables: 2292 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= 66376 MiB
End job on node3 at 2009-07-11 20:03:28