0.12/0.22 c SAT4J: a SATisfiability library for Java (c) 2004-2008 Daniel Le Berre
0.12/0.22 c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.22 c See www.sat4j.org for details.
0.12/0.22 c That software uses the Rhino library from the Mozilla project.
0.12/0.24 c version 2.1.1.v20090622
0.12/0.24 c sun.arch.data.model 32
0.12/0.24 c java.version 1.6.0_12
0.12/0.24 c os.name Linux
0.12/0.24 c os.version 2.6.9-22.EL.rootsmp
0.12/0.24 c os.arch i386
0.12/0.24 c Free memory 671000808
0.12/0.24 c Max memory 672137216
0.12/0.24 c Total memory 672137216
0.12/0.24 c Number of processors 2
0.20/0.33 c c --- Begin Solver configuration ---
0.20/0.33 c Stops conflict analysis at the first Unique Implication Point
0.20/0.33 c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@1f14ceb
0.20/0.33 c Learn all clauses as in MiniSAT
0.20/0.33 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100
0.20/0.33 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.20/0.33 c Expensive reason simplification
0.20/0.33 c MiniSAT restarts strategy
0.20/0.33 c Memory based learned constraints deletion strategy
0.20/0.33 c timeout=2147483s
0.20/0.33 c DB Simplification allowed=false
0.20/0.33 c --- End Solver configuration ---
0.20/0.33 c solving HOME/instance-2083384-1247377287.xml
0.20/0.33 c reading problem ...
0.45/0.62 c reading problem named null
0.45/0.62 c reading domains done.
0.76/0.95 c reading variables done.
1.76/1.93 c reading predicates done.
1.95/2.13 c reading constraints
439.23/442.07 Exception in thread "main" java.lang.OutOfMemoryError: GC overhead limit exceeded
439.23/442.07 at org.mozilla.javascript.optimizer.OptRuntime.wrapDouble(OptRuntime.java:191)
439.23/442.07 at org.mozilla.javascript.gen.c1._c4(predefinedfunctions.js:10)
439.23/442.07 at org.mozilla.javascript.gen.c1.call(predefinedfunctions.js)
439.23/442.07 at org.mozilla.javascript.optimizer.OptRuntime.callName(OptRuntime.java:97)
439.23/442.07 at org.mozilla.javascript.gen.c2._c0(rhino.log:1)
439.23/442.07 at org.mozilla.javascript.gen.c2.call(rhino.log)
439.23/442.07 at org.mozilla.javascript.ContextFactory.doTopCall(ContextFactory.java:398)
439.23/442.07 at org.mozilla.javascript.ScriptRuntime.doTopCall(ScriptRuntime.java:3065)
439.23/442.07 at org.mozilla.javascript.gen.c2.call(rhino.log)
439.23/442.07 at org.mozilla.javascript.gen.c2.exec(rhino.log)
439.23/442.08 at org.sat4j.csp.Predicate.evaluate(Unknown Source)
439.23/442.08 at org.sat4j.csp.Predicate.find(Unknown Source)
439.23/442.08 at org.sat4j.csp.Predicate.find(Unknown Source)
439.23/442.08 at org.sat4j.csp.Predicate.find(Unknown Source)
439.23/442.08 at org.sat4j.csp.Predicate.toClause(Unknown Source)
439.23/442.08 at org.sat4j.reader.CSPReader.endConstraint(Unknown Source)
439.23/442.08 at org.sat4j.csp.xml.Constraint.endElement(Unknown Source)
439.23/442.08 at org.sat4j.csp.xml.InstanceParser.endElement(Unknown Source)
439.23/442.08 at com.sun.org.apache.xerces.internal.parsers.AbstractSAXParser.endElement(Unknown Source)
439.23/442.08 at com.sun.org.apache.xerces.internal.impl.xs.XMLSchemaValidator.endElement(Unknown Source)
439.23/442.08 at com.sun.org.apache.xerces.internal.impl.XMLDocumentFragmentScannerImpl.scanEndElement(Unknown Source)
439.23/442.08 at com.sun.org.apache.xerces.internal.impl.XMLDocumentFragmentScannerImpl$FragmentContentDriver.next(Unknown Source)
439.23/442.08 at com.sun.org.apache.xerces.internal.impl.XMLDocumentScannerImpl.next(Unknown Source)
439.23/442.08 at com.sun.org.apache.xerces.internal.impl.XMLDocumentFragmentScannerImpl.scanDocument(Unknown Source)
439.23/442.08 at com.sun.org.apache.xerces.internal.parsers.XML11Configuration.parse(Unknown Source)
439.23/442.08 at com.sun.org.apache.xerces.internal.parsers.XML11Configuration.parse(Unknown Source)
439.23/442.08 at com.sun.org.apache.xerces.internal.parsers.XMLParser.parse(Unknown Source)
439.23/442.08 at com.sun.org.apache.xerces.internal.parsers.AbstractSAXParser.parse(Unknown Source)
439.23/442.08 at com.sun.org.apache.xerces.internal.jaxp.SAXParserImpl$JAXPSAXParser.parse(Unknown Source)
439.23/442.08 at org.sat4j.csp.xml.CspXmlParser.parse(Unknown Source)
439.23/442.08 at org.sat4j.reader.XMLCSPReader.parseInstance(Unknown Source)
439.23/442.08 at org.sat4j.AbstractLauncher.readProblem(Unknown Source)
439.23/442.08 c starts : 0
439.23/442.08 c conflicts : 0
439.23/442.08 c decisions : 0
439.23/442.08 c propagations : 0
439.23/442.08 c inspects : 0
439.23/442.08 c learnt literals : 0
439.23/442.08 c learnt binary clauses : 0
439.23/442.08 c learnt ternary clauses : 0
439.23/442.08 c learnt clauses : 0
439.23/442.08 c ignored clauses : 0
439.23/442.08 c root simplifications : 0
439.23/442.08 c removed literals (reason simplification) : 0
439.23/442.08 c reason swapping (by a shorter reason) : 0
439.23/442.08 c Calls to reduceDB : 0
439.23/442.08 c speed (assignments/second) : 0.0
439.23/442.08 c non guided choices 0
439.23/442.08 c learnt constraints type
439.23/442.08 c constraints type
439.23/442.08 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 529699
439.23/442.08 c org.sat4j.minisat.constraints.card.AtLeast => 1000
439.23/442.08 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 44
439.23/442.08 s UNKNOWN
439.23/442.08 c Total wall clock time (in seconds) : 441.75
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2083384-1247377287/watcher-2083384-1247377287 -o /tmp/evaluation-result-2083384-1247377287/solver-2083384-1247377287 -C 1800 -W 2000 -M 900 java6 -server -Xms650m -Xmx650m -jar HOME/sat4j-csp.jar HOME/instance-2083384-1247377287.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: 2.03 2.12 2.07 4/82 22465
/proc/meminfo: memFree=1903512/2055920 swapFree=4192812/4192956
[pid=22465] ppid=22463 vsize=1616 CPUtime=0
/proc/22465/stat : 22465 (java) D 22463 22465 20971 0 -1 0 347 0 0 0 0 0 0 0 18 0 1 0 24793545 1654784 155 996147200 134512640 134550932 4294956016 18446744073709551615 1819195 0 2147483391 4096 0 18446744072099863542 0 0 17 1 0 0
/proc/22465/statm: 404 155 118 9 0 46 0
[startup+0.0180831 s]
/proc/loadavg: 2.03 2.12 2.07 4/82 22465
/proc/meminfo: memFree=1903512/2055920 swapFree=4192812/4192956
[pid=22465] ppid=22463 vsize=12928 CPUtime=0
/proc/22465/stat : 22465 (java) R 22463 22465 20971 0 -1 0 366 0 2 0 0 0 0 0 18 0 1 0 24793545 13238272 175 996147200 134512640 134550932 4294956016 18446744073709551615 1790239 0 0 4096 0 0 0 0 17 0 0 0
/proc/22465/statm: 3232 175 135 9 0 1104 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12928
[startup+0.101091 s]
/proc/loadavg: 2.03 2.12 2.07 4/82 22465
/proc/meminfo: memFree=1903512/2055920 swapFree=4192812/4192956
[pid=22465] ppid=22463 vsize=802032 CPUtime=0.05
/proc/22465/stat : 22465 (java) S 22463 22465 20971 0 -1 0 2518 0 30 0 1 4 0 0 18 0 7 0 24793545 821280768 2294 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0
/proc/22465/statm: 200508 2294 988 9 0 197859 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 802032
[startup+0.301116 s]
/proc/loadavg: 2.03 2.12 2.07 4/82 22465
/proc/meminfo: memFree=1903512/2055920 swapFree=4192812/4192956
[pid=22465] ppid=22463 vsize=805504 CPUtime=0.2
/proc/22465/stat : 22465 (java) S 22463 22465 20971 0 -1 0 3842 0 30 0 15 5 0 0 18 0 12 0 24793545 824836096 3609 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22465/statm: 201376 3609 1341 9 0 198710 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 805504
[startup+0.701167 s]
/proc/loadavg: 2.03 2.12 2.07 4/82 22465
/proc/meminfo: memFree=1903512/2055920 swapFree=4192812/4192956
[pid=22465] ppid=22463 vsize=807660 CPUtime=0.56
/proc/22465/stat : 22465 (java) S 22463 22465 20971 0 -1 0 5693 0 30 0 49 7 0 0 18 0 12 0 24793545 827043840 5014 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22465/statm: 201915 5014 1387 9 0 199242 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 807660
[startup+1.50227 s]
/proc/loadavg: 2.03 2.12 2.07 4/94 22477
/proc/meminfo: memFree=1879160/2055920 swapFree=4192812/4192956
[pid=22465] ppid=22463 vsize=808468 CPUtime=1.36
/proc/22465/stat : 22465 (java) S 22463 22465 20971 0 -1 0 16310 0 30 0 124 12 0 0 18 0 12 0 24793545 827871232 15283 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22465/statm: 202117 15284 1400 9 0 199444 0
[pid=22465/tid=22467] ppid=22463 vsize=808468 CPUtime=0.67
/proc/22465/task/22467/stat : 22467 (java) R 22463 22465 20971 0 -1 64 13526 0 1 0 59 8 0 0 25 0 12 0 24793551 827871232 15286 996147200 134512640 134550932 4294956016 18446744073709551615 4109496136 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22468] ppid=22463 vsize=808468 CPUtime=0
/proc/22465/task/22468/stat : 22468 (java) S 22463 22465 20971 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 24793552 827871232 15291 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22469] ppid=22463 vsize=808468 CPUtime=0
/proc/22465/task/22469/stat : 22469 (java) S 22463 22465 20971 0 -1 64 0 0 0 0 0 0 0 0 22 0 12 0 24793552 827871232 15296 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22470] ppid=22463 vsize=808468 CPUtime=0
/proc/22465/task/22470/stat : 22470 (java) S 22463 22465 20971 0 -1 64 3 0 0 0 0 0 0 0 17 0 12 0 24793554 827871232 15299 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22471] ppid=22463 vsize=808468 CPUtime=0
/proc/22465/task/22471/stat : 22471 (java) S 22463 22465 20971 0 -1 64 10 0 0 0 0 0 0 0 24 0 12 0 24793555 827871232 15300 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22472] ppid=22463 vsize=808468 CPUtime=0
/proc/22465/task/22472/stat : 22472 (java) S 22463 22465 20971 0 -1 64 4 0 0 0 0 0 0 0 25 0 12 0 24793555 827871232 15303 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22473] ppid=22463 vsize=808468 CPUtime=0
/proc/22465/task/22473/stat : 22473 (java) S 22463 22465 20971 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 24793561 827871232 15308 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22474] ppid=22463 vsize=808468 CPUtime=0
/proc/22465/task/22474/stat : 22474 (java) S 22463 22465 20971 0 -1 64 13 0 0 0 0 0 0 0 25 0 12 0 24793561 827871232 15309 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22475] ppid=22463 vsize=808468 CPUtime=0.65
/proc/22465/task/22475/stat : 22475 (java) S 22463 22465 20971 0 -1 64 2062 0 0 0 65 0 0 0 17 0 12 0 24793561 827871232 15313 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22476] ppid=22463 vsize=808468 CPUtime=0
/proc/22465/task/22476/stat : 22476 (java) S 22463 22465 20971 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 24793561 827871232 15319 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22477] ppid=22463 vsize=808468 CPUtime=0
/proc/22465/task/22477/stat : 22477 (java) S 22463 22465 20971 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 24793561 827871232 15323 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 808468
[startup+3.10247 s]
/proc/loadavg: 2.11 2.14 2.07 3/94 22477
/proc/meminfo: memFree=1775416/2055920 swapFree=4192812/4192956
[pid=22465] ppid=22463 vsize=810716 CPUtime=2.95
/proc/22465/stat : 22465 (java) S 22463 22465 20971 0 -1 0 33681 0 30 0 277 18 0 0 18 0 12 0 24793545 830173184 31810 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22465/statm: 202679 31810 1438 9 0 200006 0
[pid=22465/tid=22467] ppid=22463 vsize=810716 CPUtime=1.45
/proc/22465/task/22467/stat : 22467 (java) R 22463 22465 20971 0 -1 64 17250 0 1 0 135 10 0 0 22 0 12 0 24793551 830173184 31810 996147200 134512640 134550932 4294956016 18446744073709551615 4109666629 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22468] ppid=22463 vsize=810716 CPUtime=0.21
/proc/22465/task/22468/stat : 22468 (java) S 22463 22465 20971 0 -1 64 7343 0 0 0 19 2 0 0 19 0 12 0 24793552 830173184 31810 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22469] ppid=22463 vsize=810716 CPUtime=0.13
/proc/22465/task/22469/stat : 22469 (java) S 22463 22465 20971 0 -1 64 4835 0 0 0 12 1 0 0 17 0 12 0 24793552 830173184 31810 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22470] ppid=22463 vsize=810716 CPUtime=0
/proc/22465/task/22470/stat : 22470 (java) S 22463 22465 20971 0 -1 64 7 0 0 0 0 0 0 0 17 0 12 0 24793554 830173184 31810 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22471] ppid=22463 vsize=810716 CPUtime=0
/proc/22465/task/22471/stat : 22471 (java) S 22463 22465 20971 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 24793555 830173184 31810 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22472] ppid=22463 vsize=810716 CPUtime=0
/proc/22465/task/22472/stat : 22472 (java) S 22463 22465 20971 0 -1 64 4 0 0 0 0 0 0 0 25 0 12 0 24793555 830173184 31810 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22473] ppid=22463 vsize=810716 CPUtime=0
/proc/22465/task/22473/stat : 22473 (java) S 22463 22465 20971 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 24793561 830173184 31810 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22474] ppid=22463 vsize=810716 CPUtime=0
/proc/22465/task/22474/stat : 22474 (java) S 22463 22465 20971 0 -1 64 13 0 0 0 0 0 0 0 25 0 12 0 24793561 830173184 31810 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22475] ppid=22463 vsize=810716 CPUtime=1.09
/proc/22465/task/22475/stat : 22475 (java) S 22463 22465 20971 0 -1 64 3526 0 0 0 108 1 0 0 17 0 12 0 24793561 830173184 31810 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22476] ppid=22463 vsize=810716 CPUtime=0
/proc/22465/task/22476/stat : 22476 (java) S 22463 22465 20971 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 24793561 830173184 31810 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22477] ppid=22463 vsize=810716 CPUtime=0
/proc/22465/task/22477/stat : 22477 (java) S 22463 22465 20971 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 24793561 830173184 31810 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 810716
[startup+6.30188 s]
/proc/loadavg: 2.11 2.14 2.07 3/94 22477
/proc/meminfo: memFree=1756600/2055920 swapFree=4192812/4192956
[pid=22465] ppid=22463 vsize=810300 CPUtime=6.15
/proc/22465/stat : 22465 (java) S 22463 22465 20971 0 -1 0 38032 0 30 0 595 20 0 0 18 0 12 0 24793545 829747200 36063 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22465/statm: 202575 36063 1441 9 0 199902 0
[pid=22465/tid=22467] ppid=22463 vsize=810300 CPUtime=4.22
/proc/22465/task/22467/stat : 22467 (java) R 22463 22465 20971 0 -1 64 17259 0 1 0 412 10 0 0 25 0 12 0 24793551 829747200 36063 996147200 134512640 134550932 4294956016 18446744073709551615 4109667233 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22468] ppid=22463 vsize=810300 CPUtime=0.3
/proc/22465/task/22468/stat : 22468 (java) S 22463 22465 20971 0 -1 64 9504 0 0 0 28 2 0 0 16 0 12 0 24793552 829747200 36063 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22469] ppid=22463 vsize=810300 CPUtime=0.24
/proc/22465/task/22469/stat : 22469 (java) S 22463 22465 20971 0 -1 64 6988 0 0 0 22 2 0 0 16 0 12 0 24793552 829747200 36063 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22470] ppid=22463 vsize=810300 CPUtime=0
/proc/22465/task/22470/stat : 22470 (java) S 22463 22465 20971 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 24793554 829747200 36063 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22471] ppid=22463 vsize=810300 CPUtime=0
/proc/22465/task/22471/stat : 22471 (java) S 22463 22465 20971 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 24793555 829747200 36063 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22472] ppid=22463 vsize=810300 CPUtime=0
/proc/22465/task/22472/stat : 22472 (java) S 22463 22465 20971 0 -1 64 7 0 0 0 0 0 0 0 17 0 12 0 24793555 829747200 36063 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22473] ppid=22463 vsize=810300 CPUtime=0
/proc/22465/task/22473/stat : 22473 (java) S 22463 22465 20971 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 24793561 829747200 36063 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22474] ppid=22463 vsize=810300 CPUtime=0
/proc/22465/task/22474/stat : 22474 (java) S 22463 22465 20971 0 -1 64 13 0 0 0 0 0 0 0 25 0 12 0 24793561 829747200 36063 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22475] ppid=22463 vsize=810300 CPUtime=1.32
/proc/22465/task/22475/stat : 22475 (java) S 22463 22465 20971 0 -1 64 3549 0 0 0 131 1 0 0 16 0 12 0 24793561 829747200 36063 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22476] ppid=22463 vsize=810300 CPUtime=0
/proc/22465/task/22476/stat : 22476 (java) S 22463 22465 20971 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 24793561 829747200 36063 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22477] ppid=22463 vsize=810300 CPUtime=0
/proc/22465/task/22477/stat : 22477 (java) S 22463 22465 20971 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 24793561 829747200 36063 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 810300
[startup+12.7017 s]
/proc/loadavg: 2.09 2.13 2.07 3/94 22477
/proc/meminfo: memFree=1731128/2055920 swapFree=4192812/4192956
[pid=22465] ppid=22463 vsize=810012 CPUtime=12.54
/proc/22465/stat : 22465 (java) S 22463 22465 20971 0 -1 0 44715 0 30 0 1232 22 0 0 18 0 12 0 24793545 829452288 42655 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22465/statm: 202503 42655 1441 9 0 199830 0
[pid=22465/tid=22467] ppid=22463 vsize=810012 CPUtime=10.24
/proc/22465/task/22467/stat : 22467 (java) R 22463 22465 20971 0 -1 64 17280 0 1 0 1014 10 0 0 25 0 12 0 24793551 829452288 42655 996147200 134512640 134550932 4294956016 18446744073709551615 4109763838 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22468] ppid=22463 vsize=810012 CPUtime=0.4
/proc/22465/task/22468/stat : 22468 (java) S 22463 22465 20971 0 -1 64 12262 0 0 0 36 4 0 0 16 0 12 0 24793552 829452288 42655 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22469] ppid=22463 vsize=810012 CPUtime=0.34
/proc/22465/task/22469/stat : 22469 (java) S 22463 22465 20971 0 -1 64 10885 0 0 0 31 3 0 0 16 0 12 0 24793552 829452288 42655 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22470] ppid=22463 vsize=810012 CPUtime=0.01
/proc/22465/task/22470/stat : 22470 (java) S 22463 22465 20971 0 -1 64 9 0 0 0 1 0 0 0 15 0 12 0 24793554 829452288 42655 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22471] ppid=22463 vsize=810012 CPUtime=0
/proc/22465/task/22471/stat : 22471 (java) S 22463 22465 20971 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 24793555 829452288 42655 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22472] ppid=22463 vsize=810012 CPUtime=0
/proc/22465/task/22472/stat : 22472 (java) S 22463 22465 20971 0 -1 64 7 0 0 0 0 0 0 0 17 0 12 0 24793555 829452288 42655 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22473] ppid=22463 vsize=810012 CPUtime=0
/proc/22465/task/22473/stat : 22473 (java) S 22463 22465 20971 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 24793561 829452288 42655 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22474] ppid=22463 vsize=810012 CPUtime=0
/proc/22465/task/22474/stat : 22474 (java) S 22463 22465 20971 0 -1 64 13 0 0 0 0 0 0 0 25 0 12 0 24793561 829452288 42655 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22475] ppid=22463 vsize=810012 CPUtime=1.48
/proc/22465/task/22475/stat : 22475 (java) S 22463 22465 20971 0 -1 64 3556 0 0 0 147 1 0 0 16 0 12 0 24793561 829452288 42655 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22476] ppid=22463 vsize=810012 CPUtime=0
/proc/22465/task/22476/stat : 22476 (java) S 22463 22465 20971 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 24793561 829452288 42655 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22477] ppid=22463 vsize=810012 CPUtime=0
/proc/22465/task/22477/stat : 22477 (java) S 22463 22465 20971 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 24793561 829452288 42655 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 810012
[startup+25.5023 s]
/proc/loadavg: 2.08 2.13 2.07 3/94 22477
/proc/meminfo: memFree=1706424/2055920 swapFree=4192812/4192956
[pid=22465] ppid=22463 vsize=809720 CPUtime=25.34
/proc/22465/stat : 22465 (java) S 22463 22465 20971 0 -1 0 50778 0 30 0 2509 25 0 0 18 0 12 0 24793545 829153280 48559 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22465/statm: 202430 48559 1441 9 0 199757 0
[pid=22465/tid=22467] ppid=22463 vsize=809720 CPUtime=22.83
/proc/22465/task/22467/stat : 22467 (java) R 22463 22465 20971 0 -1 64 17303 0 1 0 2273 10 0 0 25 0 12 0 24793551 829153280 48559 996147200 134512640 134550932 4294956016 18446744073709551615 4109666611 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22468] ppid=22463 vsize=809720 CPUtime=0.46
/proc/22465/task/22468/stat : 22468 (java) S 22463 22465 20971 0 -1 64 14198 0 0 0 42 4 0 0 15 0 12 0 24793552 829153280 48559 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22469] ppid=22463 vsize=809720 CPUtime=0.46
/proc/22465/task/22469/stat : 22469 (java) S 22463 22465 20971 0 -1 64 14989 0 0 0 41 5 0 0 16 0 12 0 24793552 829153280 48559 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22470] ppid=22463 vsize=809720 CPUtime=0.01
/proc/22465/task/22470/stat : 22470 (java) S 22463 22465 20971 0 -1 64 9 0 0 0 1 0 0 0 15 0 12 0 24793554 829153280 48559 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22471] ppid=22463 vsize=809720 CPUtime=0
/proc/22465/task/22471/stat : 22471 (java) S 22463 22465 20971 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 24793555 829153280 48559 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22472] ppid=22463 vsize=809720 CPUtime=0
/proc/22465/task/22472/stat : 22472 (java) S 22463 22465 20971 0 -1 64 7 0 0 0 0 0 0 0 17 0 12 0 24793555 829153280 48559 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22473] ppid=22463 vsize=809720 CPUtime=0
/proc/22465/task/22473/stat : 22473 (java) S 22463 22465 20971 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 24793561 829153280 48559 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22474] ppid=22463 vsize=809720 CPUtime=0
################
# More data... #
################
[pid=22465/tid=22476] ppid=22463 vsize=813724 CPUtime=0
/proc/22465/task/22476/stat : 22476 (java) S 22463 22465 20971 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 24793561 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22477] ppid=22463 vsize=813724 CPUtime=0
/proc/22465/task/22477/stat : 22477 (java) S 22463 22465 20971 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 24793561 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 419.56
Current children cumulated vsize (KiB) 813724
[startup+435.102 s]
/proc/loadavg: 2.58 2.21 2.10 4/94 22477
/proc/meminfo: memFree=1206136/2055920 swapFree=4192812/4192956
[pid=22465] ppid=22463 vsize=813724 CPUtime=432.35
/proc/22465/stat : 22465 (java) S 22463 22465 20971 0 -1 0 290610 0 30 0 43108 127 0 0 18 0 12 0 24793545 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22465/statm: 203431 173018 1443 9 0 200758 0
[pid=22465/tid=22467] ppid=22463 vsize=813724 CPUtime=361.2
/proc/22465/task/22467/stat : 22467 (java) R 22463 22465 20971 0 -1 64 17756 0 1 0 36107 13 0 0 25 0 12 0 24793551 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22468] ppid=22463 vsize=813724 CPUtime=3.54
/proc/22465/task/22468/stat : 22468 (java) S 22463 22465 20971 0 -1 64 81610 0 0 0 324 30 0 0 15 0 12 0 24793552 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22465/tid=22469] ppid=22463 vsize=813724 CPUtime=3.5
/proc/22465/task/22469/stat : 22469 (java) S 22463 22465 20971 0 -1 64 70851 0 0 0 327 23 0 0 16 0 12 0 24793552 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22465/tid=22470] ppid=22463 vsize=813724 CPUtime=62.23
/proc/22465/task/22470/stat : 22470 (java) R 22463 22465 20971 0 -1 64 116105 0 0 0 6169 54 0 0 17 0 12 0 24793554 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 105697723 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22471] ppid=22463 vsize=813724 CPUtime=0
/proc/22465/task/22471/stat : 22471 (java) S 22463 22465 20971 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 24793555 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22465/tid=22472] ppid=22463 vsize=813724 CPUtime=0
/proc/22465/task/22472/stat : 22472 (java) S 22463 22465 20971 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 24793555 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22465/tid=22473] ppid=22463 vsize=813724 CPUtime=0
/proc/22465/task/22473/stat : 22473 (java) S 22463 22465 20971 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 24793561 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22474] ppid=22463 vsize=813724 CPUtime=0
/proc/22465/task/22474/stat : 22474 (java) S 22463 22465 20971 0 -1 64 13 0 0 0 0 0 0 0 25 0 12 0 24793561 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22475] ppid=22463 vsize=813724 CPUtime=1.8
/proc/22465/task/22475/stat : 22475 (java) S 22463 22465 20971 0 -1 64 3565 0 0 0 179 1 0 0 17 0 12 0 24793561 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22476] ppid=22463 vsize=813724 CPUtime=0
/proc/22465/task/22476/stat : 22476 (java) S 22463 22465 20971 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 24793561 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22477] ppid=22463 vsize=813724 CPUtime=0
/proc/22465/task/22477/stat : 22477 (java) S 22463 22465 20971 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 24793561 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 432.35
Current children cumulated vsize (KiB) 813724
[startup+438.303 s]
/proc/loadavg: 2.61 2.22 2.10 4/94 22477
/proc/meminfo: memFree=1208376/2055920 swapFree=4192812/4192956
[pid=22465] ppid=22463 vsize=813724 CPUtime=435.54
/proc/22465/stat : 22465 (java) S 22463 22465 20971 0 -1 0 296622 0 30 0 43425 129 0 0 18 0 12 0 24793545 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22465/statm: 203431 173018 1443 9 0 200758 0
[pid=22465/tid=22467] ppid=22463 vsize=813724 CPUtime=361.46
/proc/22465/task/22467/stat : 22467 (java) R 22463 22465 20971 0 -1 64 17760 0 1 0 36133 13 0 0 25 0 12 0 24793551 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22468] ppid=22463 vsize=813724 CPUtime=3.54
/proc/22465/task/22468/stat : 22468 (java) S 22463 22465 20971 0 -1 64 81610 0 0 0 324 30 0 0 15 0 12 0 24793552 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22465/tid=22469] ppid=22463 vsize=813724 CPUtime=3.5
/proc/22465/task/22469/stat : 22469 (java) S 22463 22465 20971 0 -1 64 70851 0 0 0 327 23 0 0 16 0 12 0 24793552 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22465/tid=22470] ppid=22463 vsize=813724 CPUtime=65.16
/proc/22465/task/22470/stat : 22470 (java) R 22463 22465 20971 0 -1 64 122113 0 0 0 6460 56 0 0 16 0 12 0 24793554 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 105886120 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22471] ppid=22463 vsize=813724 CPUtime=0
/proc/22465/task/22471/stat : 22471 (java) S 22463 22465 20971 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 24793555 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22465/tid=22472] ppid=22463 vsize=813724 CPUtime=0
/proc/22465/task/22472/stat : 22472 (java) S 22463 22465 20971 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 24793555 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22465/tid=22473] ppid=22463 vsize=813724 CPUtime=0
/proc/22465/task/22473/stat : 22473 (java) S 22463 22465 20971 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 24793561 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22474] ppid=22463 vsize=813724 CPUtime=0
/proc/22465/task/22474/stat : 22474 (java) S 22463 22465 20971 0 -1 64 13 0 0 0 0 0 0 0 25 0 12 0 24793561 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22475] ppid=22463 vsize=813724 CPUtime=1.8
/proc/22465/task/22475/stat : 22475 (java) S 22463 22465 20971 0 -1 64 3565 0 0 0 179 1 0 0 17 0 12 0 24793561 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22476] ppid=22463 vsize=813724 CPUtime=0
/proc/22465/task/22476/stat : 22476 (java) S 22463 22465 20971 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 24793561 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22477] ppid=22463 vsize=813724 CPUtime=0
/proc/22465/task/22477/stat : 22477 (java) S 22463 22465 20971 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 24793561 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 435.54
Current children cumulated vsize (KiB) 813724
[startup+439.903 s]
/proc/loadavg: 2.61 2.22 2.10 4/94 22477
/proc/meminfo: memFree=1206136/2055920 swapFree=4192812/4192956
[pid=22465] ppid=22463 vsize=813724 CPUtime=437.14
/proc/22465/stat : 22465 (java) S 22463 22465 20971 0 -1 0 299628 0 30 0 43584 130 0 0 18 0 12 0 24793545 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22465/statm: 203431 173018 1443 9 0 200758 0
[pid=22465/tid=22467] ppid=22463 vsize=813724 CPUtime=361.61
/proc/22465/task/22467/stat : 22467 (java) R 22463 22465 20971 0 -1 64 17762 0 1 0 36148 13 0 0 25 0 12 0 24793551 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22468] ppid=22463 vsize=813724 CPUtime=3.54
/proc/22465/task/22468/stat : 22468 (java) S 22463 22465 20971 0 -1 64 81610 0 0 0 324 30 0 0 15 0 12 0 24793552 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22465/tid=22469] ppid=22463 vsize=813724 CPUtime=3.5
/proc/22465/task/22469/stat : 22469 (java) S 22463 22465 20971 0 -1 64 70851 0 0 0 327 23 0 0 16 0 12 0 24793552 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22465/tid=22470] ppid=22463 vsize=813724 CPUtime=66.61
/proc/22465/task/22470/stat : 22470 (java) R 22463 22465 20971 0 -1 64 125117 0 0 0 6604 57 0 0 16 0 12 0 24793554 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 104187877 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22471] ppid=22463 vsize=813724 CPUtime=0
/proc/22465/task/22471/stat : 22471 (java) S 22463 22465 20971 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 24793555 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22465/tid=22472] ppid=22463 vsize=813724 CPUtime=0
/proc/22465/task/22472/stat : 22472 (java) S 22463 22465 20971 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 24793555 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22465/tid=22473] ppid=22463 vsize=813724 CPUtime=0
/proc/22465/task/22473/stat : 22473 (java) S 22463 22465 20971 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 24793561 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22474] ppid=22463 vsize=813724 CPUtime=0
/proc/22465/task/22474/stat : 22474 (java) S 22463 22465 20971 0 -1 64 13 0 0 0 0 0 0 0 25 0 12 0 24793561 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22475] ppid=22463 vsize=813724 CPUtime=1.8
/proc/22465/task/22475/stat : 22475 (java) S 22463 22465 20971 0 -1 64 3565 0 0 0 179 1 0 0 17 0 12 0 24793561 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22476] ppid=22463 vsize=813724 CPUtime=0
/proc/22465/task/22476/stat : 22476 (java) S 22463 22465 20971 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 24793561 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22477] ppid=22463 vsize=813724 CPUtime=0
/proc/22465/task/22477/stat : 22477 (java) S 22463 22465 20971 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 24793561 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 437.14
Current children cumulated vsize (KiB) 813724
[startup+441.501 s]
/proc/loadavg: 2.61 2.22 2.10 5/94 22477
/proc/meminfo: memFree=1208312/2055920 swapFree=4192812/4192956
[pid=22465] ppid=22463 vsize=813724 CPUtime=438.73
/proc/22465/stat : 22465 (java) S 22463 22465 20971 0 -1 0 302636 0 30 0 43742 131 0 0 18 0 12 0 24793545 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22465/statm: 203431 173018 1442 9 0 200758 0
[pid=22465/tid=22467] ppid=22463 vsize=813724 CPUtime=361.75
/proc/22465/task/22467/stat : 22467 (java) R 22463 22465 20971 0 -1 64 17766 0 1 0 36162 13 0 0 25 0 12 0 24793551 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22468] ppid=22463 vsize=813724 CPUtime=3.54
/proc/22465/task/22468/stat : 22468 (java) S 22463 22465 20971 0 -1 64 81610 0 0 0 324 30 0 0 15 0 12 0 24793552 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22465/tid=22469] ppid=22463 vsize=813724 CPUtime=3.5
/proc/22465/task/22469/stat : 22469 (java) S 22463 22465 20971 0 -1 64 70851 0 0 0 327 23 0 0 16 0 12 0 24793552 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22465/tid=22470] ppid=22463 vsize=813724 CPUtime=68.06
/proc/22465/task/22470/stat : 22470 (java) R 22463 22465 20971 0 -1 64 128121 0 0 0 6748 58 0 0 16 0 12 0 24793554 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 106158794 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22471] ppid=22463 vsize=813724 CPUtime=0
/proc/22465/task/22471/stat : 22471 (java) S 22463 22465 20971 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 24793555 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22465/tid=22472] ppid=22463 vsize=813724 CPUtime=0
/proc/22465/task/22472/stat : 22472 (java) S 22463 22465 20971 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 24793555 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22465/tid=22473] ppid=22463 vsize=813724 CPUtime=0
/proc/22465/task/22473/stat : 22473 (java) S 22463 22465 20971 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 24793561 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22474] ppid=22463 vsize=813724 CPUtime=0
/proc/22465/task/22474/stat : 22474 (java) S 22463 22465 20971 0 -1 64 13 0 0 0 0 0 0 0 25 0 12 0 24793561 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22475] ppid=22463 vsize=813724 CPUtime=1.8
/proc/22465/task/22475/stat : 22475 (java) S 22463 22465 20971 0 -1 64 3565 0 0 0 179 1 0 0 17 0 12 0 24793561 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22476] ppid=22463 vsize=813724 CPUtime=0
/proc/22465/task/22476/stat : 22476 (java) S 22463 22465 20971 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 24793561 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22477] ppid=22463 vsize=813724 CPUtime=0
/proc/22465/task/22477/stat : 22477 (java) S 22463 22465 20971 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 24793561 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 438.73
Current children cumulated vsize (KiB) 813724
[startup+441.901 s]
/proc/loadavg: 2.61 2.22 2.10 5/94 22477
/proc/meminfo: memFree=1208312/2055920 swapFree=4192812/4192956
[pid=22465] ppid=22463 vsize=813724 CPUtime=439.13
/proc/22465/stat : 22465 (java) S 22463 22465 20971 0 -1 0 302636 0 30 0 43782 131 0 0 18 0 12 0 24793545 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22465/statm: 203431 173018 1442 9 0 200758 0
[pid=22465/tid=22467] ppid=22463 vsize=813724 CPUtime=361.75
/proc/22465/task/22467/stat : 22467 (java) R 22463 22465 20971 0 -1 64 17766 0 1 0 36162 13 0 0 25 0 12 0 24793551 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22468] ppid=22463 vsize=813724 CPUtime=3.54
/proc/22465/task/22468/stat : 22468 (java) S 22463 22465 20971 0 -1 64 81610 0 0 0 324 30 0 0 15 0 12 0 24793552 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22465/tid=22469] ppid=22463 vsize=813724 CPUtime=3.5
/proc/22465/task/22469/stat : 22469 (java) S 22463 22465 20971 0 -1 64 70851 0 0 0 327 23 0 0 16 0 12 0 24793552 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22465/tid=22470] ppid=22463 vsize=813724 CPUtime=68.46
/proc/22465/task/22470/stat : 22470 (java) R 22463 22465 20971 0 -1 64 128121 0 0 0 6788 58 0 0 17 0 12 0 24793554 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 106159206 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22471] ppid=22463 vsize=813724 CPUtime=0
/proc/22465/task/22471/stat : 22471 (java) S 22463 22465 20971 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 24793555 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22465/tid=22472] ppid=22463 vsize=813724 CPUtime=0
/proc/22465/task/22472/stat : 22472 (java) S 22463 22465 20971 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 24793555 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22465/tid=22473] ppid=22463 vsize=813724 CPUtime=0
/proc/22465/task/22473/stat : 22473 (java) S 22463 22465 20971 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 24793561 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22474] ppid=22463 vsize=813724 CPUtime=0
/proc/22465/task/22474/stat : 22474 (java) S 22463 22465 20971 0 -1 64 13 0 0 0 0 0 0 0 25 0 12 0 24793561 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22475] ppid=22463 vsize=813724 CPUtime=1.8
/proc/22465/task/22475/stat : 22475 (java) S 22463 22465 20971 0 -1 64 3565 0 0 0 179 1 0 0 17 0 12 0 24793561 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22476] ppid=22463 vsize=813724 CPUtime=0
/proc/22465/task/22476/stat : 22476 (java) S 22463 22465 20971 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 24793561 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22465/tid=22477] ppid=22463 vsize=813724 CPUtime=0
/proc/22465/task/22477/stat : 22477 (java) S 22463 22465 20971 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 24793561 833253376 173018 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 439.13
Current children cumulated vsize (KiB) 813724
[startup+442.101 s]
/proc/loadavg: 2.64 2.24 2.11 3/84 22478
/proc/meminfo: memFree=1264312/2055920 swapFree=4192812/4192956
[pid=22465] ppid=22463 vsize=0 CPUtime=439.33
/proc/22465/stat : 22465 (java) Z 22463 22465 20971 0 -1 12 302652 0 30 0 43800 133 0 0 16 0 2 0 24793545 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22465/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 439.33
Current children cumulated vsize (KiB) 0
Child status: 1
Real time (s): 442.191
CPU time (s): 439.424
CPU user time (s): 438.008
CPU system time (s): 1.41578
CPU usage (%): 99.3743
Max. virtual memory (cumulated for all children) (KiB): 818852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 438.008
system time used= 1.41578
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 302652
page faults= 30
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17623
involuntary context switches= 20934
runsolver used 0.569913 second user time and 1.53877 second system time
The end
Begin job on node54 at 2009-07-12 07:41:27
IDJOB=2083384
IDBENCH=57801
IDSOLVER=731
FILE ID=node54/2083384-1247377287
PBS_JOBID= 9507114
Free space on /tmp= 66412 MiB
SOLVER NAME= SAT4J CSP 2.1.1
BENCH NAME= CPAI08/csp/fapp/fapp11/normalized-fapp11-1000-3.xml
COMMAND LINE= java6 -server -Xms650m -Xmx650m -jar HOME/sat4j-csp.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2083384-1247377287/watcher-2083384-1247377287 -o /tmp/evaluation-result-2083384-1247377287/solver-2083384-1247377287 -C 1800 -W 2000 -M 900 java6 -server -Xms650m -Xmx650m -jar HOME/sat4j-csp.jar HOME/instance-2083384-1247377287.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 2fe8075751fff64133735b72d8923bdd
RANDOM SEED=2120594028
node54.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.232
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.232
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: 1903992 kB
Buffers: 8940 kB
Cached: 59604 kB
SwapCached: 0 kB
Active: 83172 kB
Inactive: 22548 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1903992 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3476 kB
Writeback: 0 kB
Mapped: 57560 kB
Slab: 31248 kB
Committed_AS: 223416 kB
PageTables: 1844 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66408 MiB
End job on node54 at 2009-07-12 07:48:50