0.29/0.30 c SAT4J: a SATisfiability library for Java (c) 2004-2008 Daniel Le Berre
0.29/0.30 c This is free software under the dual EPL/GNU LGPL licenses.
0.29/0.30 c See www.sat4j.org for details.
0.29/0.30 c That software uses the Rhino library from the Mozilla project.
0.29/0.34 c version 9.9.9.token
0.29/0.34 c sun.arch.data.model 32
0.29/0.34 c java.version 1.6.0_06
0.29/0.34 c os.name Linux
0.29/0.34 c os.version 2.6.9-22.EL.rootsmp
0.29/0.34 c os.arch i386
0.29/0.34 c Free memory 669864272
0.29/0.34 c Max memory 672137216
0.29/0.34 c Total memory 672137216
0.29/0.34 c Number of processors 2
0.29/0.39 c c --- Begin Solver configuration ---
0.29/0.39 c Stops conflict analysis at the first Unique Implication Point
0.29/0.39 c org.sat4j.minisat.constraints.MixedDataStructureDaniel@1d2068d
0.29/0.39 c Learn all clauses as in MiniSAT
0.29/0.39 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100
0.29/0.39 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.29/0.39 c Expensive reason simplification
0.29/0.39 c MiniSAT restarts strategy
0.29/0.39 c timeout=2147483s
0.29/0.39 c DB Simplification allowed=false
0.29/0.39 c --- End Solver configuration ---
0.29/0.39 c solving HOME/instance-1092497-1215275593.xml
0.29/0.39 c reading problem ...
0.58/0.64 c reading problem named null
0.58/0.65 c reading domains done.
0.78/0.89 c reading variables done.
3.02/2.49 c reading predicates done.
3.32/2.70 c reading constraints
219.03/219.08 Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
219.03/219.08 at org.sat4j.minisat.constraints.cnf.WLClause.(WLClause.java:62)
222.42/222.41 at org.sat4j.minisat.constraints.cnf.OriginalWLClause.(OriginalWLClause.java:37)
222.42/222.41 at org.sat4j.minisat.constraints.cnf.OriginalWLClause.brandNewClause(OriginalWLClause.java:78)
222.42/222.41 at org.sat4j.minisat.constraints.MixedDataStructureDaniel.createClause(MixedDataStructureDaniel.java:69)
222.42/222.41 at org.sat4j.minisat.core.Solver.addClause(Solver.java:303)
222.42/222.41 at org.sat4j.csp.encodings.BinarySupportEncoding.generateClauses(BinarySupportEncoding.java:98)
222.42/222.41 at org.sat4j.csp.encodings.BinarySupportEncoding.onFinish(BinarySupportEncoding.java:53)
222.42/222.41 at org.sat4j.csp.Predicate.toClause(Predicate.java:110)
222.42/222.41 at org.sat4j.reader.CSPReader.endConstraint(CSPReader.java:479)
222.42/222.41 at org.sat4j.csp.xml.Constraint.endElement(Constraint.java:50)
222.42/222.41 at org.sat4j.csp.xml.InstanceParser.endElement(InstanceParser.java:49)
222.42/222.41 at com.sun.org.apache.xerces.internal.parsers.AbstractSAXParser.endElement(Unknown Source)
222.42/222.41 at com.sun.org.apache.xerces.internal.impl.xs.XMLSchemaValidator.endElement(Unknown Source)
222.42/222.41 at com.sun.org.apache.xerces.internal.impl.XMLDocumentFragmentScannerImpl.scanEndElement(Unknown Source)
222.42/222.41 at com.sun.org.apache.xerces.internal.impl.XMLDocumentFragmentScannerImpl$FragmentContentDriver.next(Unknown Source)
222.42/222.41 at com.sun.org.apache.xerces.internal.impl.XMLDocumentScannerImpl.next(Unknown Source)
222.42/222.41 at com.sun.org.apache.xerces.internal.impl.XMLDocumentFragmentScannerImpl.scanDocument(Unknown Source)
222.42/222.41 at com.sun.org.apache.xerces.internal.parsers.XML11Configuration.parse(Unknown Source)
222.42/222.41 at com.sun.org.apache.xerces.internal.parsers.XML11Configuration.parse(Unknown Source)
222.42/222.41 at com.sun.org.apache.xerces.internal.parsers.XMLParser.parse(Unknown Source)
222.42/222.41 at com.sun.org.apache.xerces.internal.parsers.AbstractSAXParser.parse(Unknown Source)
222.42/222.41 at com.sun.org.apache.xerces.internal.jaxp.SAXParserImpl$JAXPSAXParser.parse(Unknown Source)
222.42/222.41 at org.sat4j.csp.xml.CspXmlParser.parse(CspXmlParser.java:62)
222.42/222.41 at org.sat4j.reader.XMLCSPReader.parseInstance(XMLCSPReader.java:62)
222.42/222.41 at org.sat4j.AbstractLauncher.readProblem(AbstractLauncher.java:174)
222.42/222.41 at org.sat4j.AbstractLauncher.run(AbstractLauncher.java:194)
222.42/222.41 at org.sat4j.csp.CSPLauncher.main(CSPLauncher.java:74)
225.72/225.74 c starts : 0
225.72/225.74 c conflicts : 0
225.72/225.74 c decisions : 0
225.72/225.74 c propagations : 0
225.72/225.74 c inspects : 0
225.72/225.74 c learnt literals : 0
225.72/225.74 c learnt binary clauses : 0
225.72/225.74 c learnt ternary clauses : 0
225.72/225.74 c learnt clauses : 0
225.72/225.74 c ignored clauses : 0
225.72/225.74 c root simplifications : 0
225.72/225.74 c removed literals (reason simplification) : 0
225.72/225.74 c reason swapping (by a shorter reason) : 0
225.72/225.74 c Calls to reduceDB : 0
225.72/225.74 c speed (assignments/second) : 0.0
225.72/225.74 c non guided choices 0
225.72/225.74 s UNKNOWN
225.72/225.74 c Total wall clock time (in seconds) : 222.024
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1092497-1215275593/watcher-1092497-1215275593 -o /tmp/evaluation-result-1092497-1215275593/solver-1092497-1215275593 -C 1800 -W 2200 -M 900 --output-limit 1,15 java6 -server -Xms650m -Xmx650m -jar HOME/sat4jcsp.jar HOME/instance-1092497-1215275593.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): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/87 3892
/proc/meminfo: memFree=1498920/2055920 swapFree=4178892/4192956
[pid=3892] ppid=3890 vsize=18572 CPUtime=0
/proc/3892/stat : 3892 (runsolver) R 3890 3892 3240 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 683288246 19017728 292 996147200 4194304 4296836 548682068416 18446744073709551615 240153849127 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/3892/statm: 4643 292 257 25 0 2626 0
[startup+0.106843 s]
/proc/loadavg: 2.00 2.00 2.00 4/87 3892
/proc/meminfo: memFree=1498920/2055920 swapFree=4178892/4192956
[pid=3892] ppid=3890 vsize=804756 CPUtime=0.09
/proc/3892/stat : 3892 (java) S 3890 3892 3240 0 -1 0 3161 0 1 0 7 2 0 0 20 0 12 0 683288246 824070144 2892 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3892/statm: 201189 2892 1164 9 0 198558 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 804756
[startup+0.202854 s]
/proc/loadavg: 2.00 2.00 2.00 4/87 3892
/proc/meminfo: memFree=1498920/2055920 swapFree=4178892/4192956
[pid=3892] ppid=3890 vsize=808572 CPUtime=0.18
/proc/3892/stat : 3892 (java) S 3890 3892 3240 0 -1 0 4487 0 1 0 15 3 0 0 20 0 12 0 683288246 827977728 3890 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3892/statm: 202143 3890 1293 9 0 199512 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 808572
[startup+0.302865 s]
/proc/loadavg: 2.00 2.00 2.00 4/87 3892
/proc/meminfo: memFree=1498920/2055920 swapFree=4178892/4192956
[pid=3892] ppid=3890 vsize=808112 CPUtime=0.29
/proc/3892/stat : 3892 (java) S 3890 3892 3240 0 -1 0 4998 0 1 0 25 4 0 0 20 0 12 0 683288246 827506688 4327 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3892/statm: 202028 4327 1308 9 0 199397 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 808112
[startup+0.70291 s]
/proc/loadavg: 2.00 2.00 2.00 4/87 3892
/proc/meminfo: memFree=1498920/2055920 swapFree=4178892/4192956
[pid=3892] ppid=3890 vsize=808140 CPUtime=0.68
/proc/3892/stat : 3892 (java) S 3890 3892 3240 0 -1 0 6348 0 1 0 63 5 0 0 20 0 12 0 683288246 827535360 5497 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3892/statm: 202035 5497 1335 9 0 199397 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 808140
[startup+1.502 s]
/proc/loadavg: 2.00 2.00 2.00 4/99 3904
/proc/meminfo: memFree=1464904/2055920 swapFree=4178892/4192956
[pid=3892] ppid=3890 vsize=811988 CPUtime=1.58
/proc/3892/stat : 3892 (java) S 3890 3892 3240 0 -1 0 31122 0 1 0 141 17 0 0 20 0 12 0 683288246 831475712 28065 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3892/statm: 202997 28065 1347 9 0 200359 0
[pid=3892/tid=3894] ppid=3890 vsize=811988 CPUtime=0.73
/proc/3892/task/3894/stat : 3894 (java) S 3890 3892 3240 0 -1 64 16977 0 1 0 64 9 0 0 25 0 12 0 683288248 831475712 28065 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3895] ppid=3890 vsize=811988 CPUtime=0.12
/proc/3892/task/3895/stat : 3895 (java) R 3890 3892 3240 0 -1 64 6209 0 0 0 10 2 0 0 17 0 12 0 683288249 831475712 28065 996147200 134512640 134550740 4294956016 18446744073709551615 106158035 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3892/tid=3896] ppid=3890 vsize=811988 CPUtime=0.13
/proc/3892/task/3896/stat : 3896 (java) R 3890 3892 3240 0 -1 64 4751 0 0 0 11 2 0 0 18 0 12 0 683288249 831475712 28065 996147200 134512640 134550740 4294956016 18446744073709551615 106160148 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3897] ppid=3890 vsize=811988 CPUtime=0
/proc/3892/task/3897/stat : 3897 (java) S 3890 3892 3240 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 683288251 831475712 28065 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3898] ppid=3890 vsize=811988 CPUtime=0
/proc/3892/task/3898/stat : 3898 (java) S 3890 3892 3240 0 -1 64 9 0 0 0 0 0 0 0 25 0 12 0 683288251 831475712 28065 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3899] ppid=3890 vsize=811988 CPUtime=0
/proc/3892/task/3899/stat : 3899 (java) S 3890 3892 3240 0 -1 64 3 0 0 0 0 0 0 0 25 0 12 0 683288251 831475712 28065 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3900] ppid=3890 vsize=811988 CPUtime=0
/proc/3892/task/3900/stat : 3900 (java) S 3890 3892 3240 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 683288255 831475712 28065 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3901] ppid=3890 vsize=811988 CPUtime=0.3
/proc/3892/task/3901/stat : 3901 (java) S 3890 3892 3240 0 -1 64 1378 0 0 0 30 0 0 0 16 0 12 0 683288255 831475712 28065 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3902] ppid=3890 vsize=811988 CPUtime=0.24
/proc/3892/task/3902/stat : 3902 (java) S 3890 3892 3240 0 -1 64 1046 0 0 0 24 0 0 0 16 0 12 0 683288255 831475712 28065 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3903] ppid=3890 vsize=811988 CPUtime=0
/proc/3892/task/3903/stat : 3903 (java) S 3890 3892 3240 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 683288255 831475712 28065 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3904] ppid=3890 vsize=811988 CPUtime=0
/proc/3892/task/3904/stat : 3904 (java) S 3890 3892 3240 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 683288256 831475712 28065 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 811988
[startup+3.10118 s]
/proc/loadavg: 2.00 2.00 2.00 5/99 3904
/proc/meminfo: memFree=1333704/2055920 swapFree=4178892/4192956
[pid=3892] ppid=3890 vsize=824728 CPUtime=3.72
/proc/3892/stat : 3892 (java) S 3890 3892 3240 0 -1 0 58332 0 1 0 343 29 0 0 20 0 12 0 683288246 844521472 49126 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3892/statm: 206182 49126 1362 9 0 203544 0
[pid=3892/tid=3894] ppid=3890 vsize=824728 CPUtime=1.18
/proc/3892/task/3894/stat : 3894 (java) R 3890 3892 3240 0 -1 64 17287 0 1 0 108 10 0 0 25 0 12 0 683288248 844521472 49126 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3892/tid=3895] ppid=3890 vsize=824728 CPUtime=0.9
/proc/3892/task/3895/stat : 3895 (java) S 3890 3892 3240 0 -1 64 20427 0 0 0 81 9 0 0 21 0 12 0 683288249 844521472 49126 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3892/tid=3896] ppid=3890 vsize=824728 CPUtime=0.72
/proc/3892/task/3896/stat : 3896 (java) S 3890 3892 3240 0 -1 64 14004 0 0 0 66 6 0 0 19 0 12 0 683288249 844521472 49126 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3892/tid=3897] ppid=3890 vsize=824728 CPUtime=0
/proc/3892/task/3897/stat : 3897 (java) S 3890 3892 3240 0 -1 64 29 0 0 0 0 0 0 0 16 0 12 0 683288251 844521472 49126 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3892/tid=3898] ppid=3890 vsize=824728 CPUtime=0
/proc/3892/task/3898/stat : 3898 (java) S 3890 3892 3240 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 683288251 844521472 49126 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3892/tid=3899] ppid=3890 vsize=824728 CPUtime=0
/proc/3892/task/3899/stat : 3899 (java) S 3890 3892 3240 0 -1 64 3 0 0 0 0 0 0 0 25 0 12 0 683288251 844521472 49126 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3900] ppid=3890 vsize=824728 CPUtime=0
/proc/3892/task/3900/stat : 3900 (java) S 3890 3892 3240 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 683288255 844521472 49126 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3901] ppid=3890 vsize=824728 CPUtime=0.36
/proc/3892/task/3901/stat : 3901 (java) S 3890 3892 3240 0 -1 64 1388 0 0 0 36 0 0 0 16 0 12 0 683288255 844521472 49126 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3892/tid=3902] ppid=3890 vsize=824728 CPUtime=0.51
/proc/3892/task/3902/stat : 3902 (java) R 3890 3892 3240 0 -1 64 4436 0 0 0 49 2 0 0 18 0 12 0 683288255 844521472 49126 996147200 134512640 134550740 4294956016 18446744073709551615 104112555 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3892/tid=3903] ppid=3890 vsize=824728 CPUtime=0
/proc/3892/task/3903/stat : 3903 (java) S 3890 3892 3240 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 683288255 844521472 49126 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3904] ppid=3890 vsize=824728 CPUtime=0
/proc/3892/task/3904/stat : 3904 (java) S 3890 3892 3240 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 683288256 844521472 49126 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.72
Current children cumulated vsize (KiB) 824728
[startup+6.30254 s]
/proc/loadavg: 2.08 2.02 2.01 3/99 3904
/proc/meminfo: memFree=1275592/2055920 swapFree=4178892/4192956
[pid=3892] ppid=3890 vsize=823864 CPUtime=7.16
/proc/3892/stat : 3892 (java) S 3890 3892 3240 0 -1 0 70286 0 1 0 680 36 0 0 20 0 12 0 683288246 843636736 59443 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3892/statm: 205966 59443 1380 9 0 203328 0
[pid=3892/tid=3894] ppid=3890 vsize=823864 CPUtime=3.4
/proc/3892/task/3894/stat : 3894 (java) R 3890 3892 3240 0 -1 64 17298 0 1 0 330 10 0 0 25 0 12 0 683288248 843636736 59443 996147200 134512640 134550740 4294956016 18446744073709551615 4109175694 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3892/tid=3895] ppid=3890 vsize=823864 CPUtime=1.37
/proc/3892/task/3895/stat : 3895 (java) S 3890 3892 3240 0 -1 64 24700 0 0 0 126 11 0 0 16 0 12 0 683288249 843636736 59443 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3892/tid=3896] ppid=3890 vsize=823864 CPUtime=1.25
/proc/3892/task/3896/stat : 3896 (java) S 3890 3892 3240 0 -1 64 21058 0 0 0 115 10 0 0 16 0 12 0 683288249 843636736 59443 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3892/tid=3897] ppid=3890 vsize=823864 CPUtime=0
/proc/3892/task/3897/stat : 3897 (java) S 3890 3892 3240 0 -1 64 29 0 0 0 0 0 0 0 16 0 12 0 683288251 843636736 59443 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3892/tid=3898] ppid=3890 vsize=823864 CPUtime=0
/proc/3892/task/3898/stat : 3898 (java) S 3890 3892 3240 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 683288251 843636736 59443 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3892/tid=3899] ppid=3890 vsize=823864 CPUtime=0
/proc/3892/task/3899/stat : 3899 (java) S 3890 3892 3240 0 -1 64 3 0 0 0 0 0 0 0 25 0 12 0 683288251 843636736 59443 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3900] ppid=3890 vsize=823864 CPUtime=0
/proc/3892/task/3900/stat : 3900 (java) S 3890 3892 3240 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 683288255 843636736 59443 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3901] ppid=3890 vsize=823864 CPUtime=0.4
/proc/3892/task/3901/stat : 3901 (java) S 3890 3892 3240 0 -1 64 1401 0 0 0 40 0 0 0 16 0 12 0 683288255 843636736 59443 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3892/tid=3902] ppid=3890 vsize=823864 CPUtime=0.68
/proc/3892/task/3902/stat : 3902 (java) S 3890 3892 3240 0 -1 64 5039 0 0 0 66 2 0 0 17 0 12 0 683288255 843636736 59443 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3892/tid=3903] ppid=3890 vsize=823864 CPUtime=0
/proc/3892/task/3903/stat : 3903 (java) S 3890 3892 3240 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 683288255 843636736 59443 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3904] ppid=3890 vsize=823864 CPUtime=0
/proc/3892/task/3904/stat : 3904 (java) S 3890 3892 3240 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 683288256 843636736 59443 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 7.16
Current children cumulated vsize (KiB) 823864
[startup+12.7023 s]
/proc/loadavg: 2.07 2.02 2.00 4/99 3904
/proc/meminfo: memFree=1223624/2055920 swapFree=4178892/4192956
[pid=3892] ppid=3890 vsize=821572 CPUtime=13.53
/proc/3892/stat : 3892 (java) S 3890 3892 3240 0 -1 0 82928 0 1 0 1312 41 0 0 20 0 12 0 683288246 841289728 71349 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3892/statm: 205393 71349 1386 9 0 202755 0
[pid=3892/tid=3894] ppid=3890 vsize=821572 CPUtime=8.96
/proc/3892/task/3894/stat : 3894 (java) R 3890 3892 3240 0 -1 64 17325 0 1 0 886 10 0 0 25 0 12 0 683288248 841289728 71349 996147200 134512640 134550740 4294956016 18446744073709551615 4109682668 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3892/tid=3895] ppid=3890 vsize=821572 CPUtime=1.6
/proc/3892/task/3895/stat : 3895 (java) S 3890 3892 3240 0 -1 64 32896 0 0 0 147 13 0 0 16 0 12 0 683288249 841289728 71349 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3892/tid=3896] ppid=3890 vsize=821572 CPUtime=1.44
/proc/3892/task/3896/stat : 3896 (java) S 3890 3892 3240 0 -1 64 25390 0 0 0 133 11 0 0 16 0 12 0 683288249 841289728 71349 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3892/tid=3897] ppid=3890 vsize=821572 CPUtime=0
/proc/3892/task/3897/stat : 3897 (java) S 3890 3892 3240 0 -1 64 29 0 0 0 0 0 0 0 16 0 12 0 683288251 841289728 71349 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3892/tid=3898] ppid=3890 vsize=821572 CPUtime=0
/proc/3892/task/3898/stat : 3898 (java) S 3890 3892 3240 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 683288251 841289728 71349 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3892/tid=3899] ppid=3890 vsize=821572 CPUtime=0
/proc/3892/task/3899/stat : 3899 (java) S 3890 3892 3240 0 -1 64 3 0 0 0 0 0 0 0 25 0 12 0 683288251 841289728 71349 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3900] ppid=3890 vsize=821572 CPUtime=0
/proc/3892/task/3900/stat : 3900 (java) S 3890 3892 3240 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 683288255 841289728 71349 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3901] ppid=3890 vsize=821572 CPUtime=0.65
/proc/3892/task/3901/stat : 3901 (java) S 3890 3892 3240 0 -1 64 1474 0 0 0 65 0 0 0 16 0 12 0 683288255 841289728 71349 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3892/tid=3902] ppid=3890 vsize=821572 CPUtime=0.8
/proc/3892/task/3902/stat : 3902 (java) S 3890 3892 3240 0 -1 64 5053 0 0 0 78 2 0 0 16 0 12 0 683288255 841289728 71349 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3892/tid=3903] ppid=3890 vsize=821572 CPUtime=0
/proc/3892/task/3903/stat : 3903 (java) S 3890 3892 3240 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 683288255 841289728 71349 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3904] ppid=3890 vsize=821572 CPUtime=0
/proc/3892/task/3904/stat : 3904 (java) S 3890 3892 3240 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 683288256 841289728 71349 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 13.53
Current children cumulated vsize (KiB) 821572
[startup+25.5027 s]
/proc/loadavg: 2.06 2.01 2.00 3/99 3904
/proc/meminfo: memFree=1085960/2055920 swapFree=4178892/4192956
[pid=3892] ppid=3890 vsize=821572 CPUtime=26.28
/proc/3892/stat : 3892 (java) S 3890 3892 3240 0 -1 0 116474 0 1 0 2574 54 0 0 20 0 12 0 683288246 841289728 104810 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3892/statm: 205393 104810 1386 9 0 202755 0
[pid=3892/tid=3894] ppid=3890 vsize=821572 CPUtime=20.81
/proc/3892/task/3894/stat : 3894 (java) R 3890 3892 3240 0 -1 64 17357 0 1 0 2071 10 0 0 25 0 12 0 683288248 841289728 104810 996147200 134512640 134550740 4294956016 18446744073709551615 4109894904 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3892/tid=3895] ppid=3890 vsize=821572 CPUtime=1.97
/proc/3892/task/3895/stat : 3895 (java) S 3890 3892 3240 0 -1 64 47562 0 0 0 177 20 0 0 16 0 12 0 683288249 841289728 104810 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3892/tid=3896] ppid=3890 vsize=821572 CPUtime=1.9
/proc/3892/task/3896/stat : 3896 (java) S 3890 3892 3240 0 -1 64 44238 0 0 0 172 18 0 0 16 0 12 0 683288249 841289728 104810 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3892/tid=3897] ppid=3890 vsize=821572 CPUtime=0.01
/proc/3892/task/3897/stat : 3897 (java) S 3890 3892 3240 0 -1 64 29 0 0 0 1 0 0 0 15 0 12 0 683288251 841289728 104810 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3892/tid=3898] ppid=3890 vsize=821572 CPUtime=0
/proc/3892/task/3898/stat : 3898 (java) S 3890 3892 3240 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 683288251 841289728 104810 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3892/tid=3899] ppid=3890 vsize=821572 CPUtime=0
/proc/3892/task/3899/stat : 3899 (java) S 3890 3892 3240 0 -1 64 3 0 0 0 0 0 0 0 25 0 12 0 683288251 841289728 104810 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3900] ppid=3890 vsize=821572 CPUtime=0
/proc/3892/task/3900/stat : 3900 (java) S 3890 3892 3240 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 683288255 841289728 104810 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
/proc/loadavg: 2.09 2.05 2.01 3/99 3904
/proc/meminfo: memFree=802760/2055920 swapFree=4178892/4192956
[pid=3892] ppid=3890 vsize=821572 CPUtime=162.5
/proc/3892/stat : 3892 (java) S 3890 3892 3240 0 -1 0 220499 0 1 0 16146 104 0 0 20 0 12 0 683288246 841289728 174722 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3892/statm: 205393 174722 1390 9 0 202755 0
[pid=3892/tid=3894] ppid=3890 vsize=821572 CPUtime=145.55
/proc/3892/task/3894/stat : 3894 (java) R 3890 3892 3240 0 -1 64 17691 0 1 0 14543 12 0 0 25 0 12 0 683288248 841289728 174722 996147200 134512640 134550740 4294956016 18446744073709551615 4109786696 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3892/tid=3895] ppid=3890 vsize=821572 CPUtime=4.98
/proc/3892/task/3895/stat : 3895 (java) S 3890 3892 3240 0 -1 64 83677 0 0 0 463 35 0 0 15 0 12 0 683288249 841289728 174722 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3892/tid=3896] ppid=3890 vsize=821572 CPUtime=5.06
/proc/3892/task/3896/stat : 3896 (java) S 3890 3892 3240 0 -1 64 79558 0 0 0 473 33 0 0 16 0 12 0 683288249 841289728 174722 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3892/tid=3897] ppid=3890 vsize=821572 CPUtime=5.3
/proc/3892/task/3897/stat : 3897 (java) S 3890 3892 3240 0 -1 64 32282 0 0 0 512 18 0 0 15 0 12 0 683288251 841289728 174722 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3892/tid=3898] ppid=3890 vsize=821572 CPUtime=0
/proc/3892/task/3898/stat : 3898 (java) S 3890 3892 3240 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 683288251 841289728 174722 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3899] ppid=3890 vsize=821572 CPUtime=0
/proc/3892/task/3899/stat : 3899 (java) S 3890 3892 3240 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 683288251 841289728 174722 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3900] ppid=3890 vsize=821572 CPUtime=0
/proc/3892/task/3900/stat : 3900 (java) S 3890 3892 3240 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 683288255 841289728 174722 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3901] ppid=3890 vsize=821572 CPUtime=0.68
/proc/3892/task/3901/stat : 3901 (java) S 3890 3892 3240 0 -1 64 1474 0 0 0 68 0 0 0 17 0 12 0 683288255 841289728 174722 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3902] ppid=3890 vsize=821572 CPUtime=0.86
/proc/3892/task/3902/stat : 3902 (java) S 3890 3892 3240 0 -1 64 5053 0 0 0 84 2 0 0 17 0 12 0 683288255 841289728 174722 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3892/tid=3903] ppid=3890 vsize=821572 CPUtime=0
/proc/3892/task/3903/stat : 3903 (java) S 3890 3892 3240 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 683288255 841289728 174722 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3904] ppid=3890 vsize=821572 CPUtime=0
/proc/3892/task/3904/stat : 3904 (java) S 3890 3892 3240 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 683288256 841289728 174722 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.5
Current children cumulated vsize (KiB) 821572
[startup+222.309 s]
/proc/loadavg: 2.31 2.10 2.03 3/99 3904
/proc/meminfo: memFree=794568/2055920 swapFree=4178892/4192956
[pid=3892] ppid=3890 vsize=829576 CPUtime=222.32
/proc/3892/stat : 3892 (java) S 3890 3892 3240 0 -1 0 353729 0 1 0 22067 165 0 0 20 0 12 0 683288246 849485824 176724 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3892/statm: 207394 176724 1390 9 0 204756 0
[pid=3892/tid=3894] ppid=3890 vsize=829576 CPUtime=175.2
/proc/3892/task/3894/stat : 3894 (java) S 3890 3892 3240 0 -1 64 17807 0 1 0 17508 12 0 0 21 0 12 0 683288248 849485824 176724 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3895] ppid=3890 vsize=829576 CPUtime=5.67
/proc/3892/task/3895/stat : 3895 (java) S 3890 3892 3240 0 -1 64 83677 0 0 0 532 35 0 0 16 0 12 0 683288249 849485824 176724 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3896] ppid=3890 vsize=829576 CPUtime=5.84
/proc/3892/task/3896/stat : 3896 (java) S 3890 3892 3240 0 -1 64 79558 0 0 0 551 33 0 0 15 0 12 0 683288249 849485824 176724 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3897] ppid=3890 vsize=829576 CPUtime=34.01
/proc/3892/task/3897/stat : 3897 (java) R 3890 3892 3240 0 -1 64 165396 0 0 0 3323 78 0 0 25 0 12 0 683288251 849485824 176724 996147200 134512640 134550740 4294956016 18446744073709551615 106123734 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3898] ppid=3890 vsize=829576 CPUtime=0
/proc/3892/task/3898/stat : 3898 (java) S 3890 3892 3240 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 683288251 849485824 176724 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3899] ppid=3890 vsize=829576 CPUtime=0
/proc/3892/task/3899/stat : 3899 (java) S 3890 3892 3240 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 683288251 849485824 176724 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3900] ppid=3890 vsize=829576 CPUtime=0
/proc/3892/task/3900/stat : 3900 (java) S 3890 3892 3240 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 683288255 849485824 176724 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3901] ppid=3890 vsize=829576 CPUtime=0.68
/proc/3892/task/3901/stat : 3901 (java) S 3890 3892 3240 0 -1 64 1474 0 0 0 68 0 0 0 17 0 12 0 683288255 849485824 176724 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3902] ppid=3890 vsize=829576 CPUtime=0.86
/proc/3892/task/3902/stat : 3902 (java) S 3890 3892 3240 0 -1 64 5053 0 0 0 84 2 0 0 17 0 12 0 683288255 849485824 176724 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3892/tid=3903] ppid=3890 vsize=829576 CPUtime=0
/proc/3892/task/3903/stat : 3903 (java) S 3890 3892 3240 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 683288255 849485824 176724 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3904] ppid=3890 vsize=829576 CPUtime=0
/proc/3892/task/3904/stat : 3904 (java) S 3890 3892 3240 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 683288256 849485824 176724 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 829576
Solver just ended. Dumping a history of the last processes samples
[startup+224.002 s]
/proc/loadavg: 2.28 2.10 2.03 3/100 3905
/proc/meminfo: memFree=794368/2055920 swapFree=4178892/4192956
[pid=3892] ppid=3890 vsize=833904 CPUtime=224.02
/proc/3892/stat : 3892 (java) S 3890 3892 3240 0 -1 0 362758 0 1 0 22232 170 0 0 20 0 13 0 683288246 853917696 176243 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3892/statm: 208476 176250 1390 9 0 205838 0
[pid=3892/tid=3894] ppid=3890 vsize=833904 CPUtime=175.2
/proc/3892/task/3894/stat : 3894 (java) S 3890 3892 3240 0 -1 64 17810 0 1 0 17508 12 0 0 18 0 13 0 683288248 853917696 176255 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3895] ppid=3890 vsize=833904 CPUtime=5.67
/proc/3892/task/3895/stat : 3895 (java) S 3890 3892 3240 0 -1 64 83677 0 0 0 532 35 0 0 16 0 13 0 683288249 853917696 176263 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3896] ppid=3890 vsize=833904 CPUtime=5.84
/proc/3892/task/3896/stat : 3896 (java) S 3890 3892 3240 0 -1 64 79558 0 0 0 551 33 0 0 15 0 13 0 683288249 853917696 176270 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3897] ppid=3890 vsize=833904 CPUtime=35.7
/proc/3892/task/3897/stat : 3897 (java) R 3890 3892 3240 0 -1 64 174451 0 0 0 3487 83 0 0 25 0 13 0 683288251 853917696 176277 996147200 134512640 134550740 4294956016 18446744073709551615 103550858 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3898] ppid=3890 vsize=833904 CPUtime=0
/proc/3892/task/3898/stat : 3898 (java) S 3890 3892 3240 0 -1 64 10 0 0 0 0 0 0 0 15 0 13 0 683288251 853917696 176284 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3899] ppid=3890 vsize=833904 CPUtime=0
/proc/3892/task/3899/stat : 3899 (java) S 3890 3892 3240 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 683288251 853917696 176292 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3900] ppid=3890 vsize=833904 CPUtime=0
/proc/3892/task/3900/stat : 3900 (java) S 3890 3892 3240 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 683288255 853917696 176299 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3901] ppid=3890 vsize=833904 CPUtime=0.68
/proc/3892/task/3901/stat : 3901 (java) S 3890 3892 3240 0 -1 64 1474 0 0 0 68 0 0 0 17 0 13 0 683288255 853917696 176305 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3902] ppid=3890 vsize=833904 CPUtime=0.86
/proc/3892/task/3902/stat : 3902 (java) S 3890 3892 3240 0 -1 64 5053 0 0 0 84 2 0 0 17 0 13 0 683288255 853917696 176313 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3892/tid=3903] ppid=3890 vsize=833904 CPUtime=0
/proc/3892/task/3903/stat : 3903 (java) S 3890 3892 3240 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 683288255 853917696 176320 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3904] ppid=3890 vsize=833904 CPUtime=0
/proc/3892/task/3904/stat : 3904 (java) S 3890 3892 3240 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 683288256 853917696 176326 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3905] ppid=3890 vsize=833904 CPUtime=0
/proc/3892/task/3905/stat : 3905 (java) S 3890 3892 3240 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 683310488 853917696 176332 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 224.02
Current children cumulated vsize (KiB) 833904
[startup+224.806 s]
/proc/loadavg: 2.28 2.10 2.03 3/100 3905
/proc/meminfo: memFree=794560/2055920 swapFree=4178892/4192956
[pid=3892] ppid=3890 vsize=829900 CPUtime=224.82
/proc/3892/stat : 3892 (java) S 3890 3892 3240 0 -1 0 367751 0 1 0 22310 172 0 0 20 0 13 0 683288246 849817600 176730 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3892/statm: 207475 176730 1390 9 0 204837 0
[pid=3892/tid=3894] ppid=3890 vsize=829900 CPUtime=175.2
/proc/3892/task/3894/stat : 3894 (java) S 3890 3892 3240 0 -1 64 17810 0 1 0 17508 12 0 0 18 0 13 0 683288248 849817600 176730 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3895] ppid=3890 vsize=829900 CPUtime=5.67
/proc/3892/task/3895/stat : 3895 (java) S 3890 3892 3240 0 -1 64 83677 0 0 0 532 35 0 0 16 0 13 0 683288249 849817600 176730 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3896] ppid=3890 vsize=829900 CPUtime=5.84
/proc/3892/task/3896/stat : 3896 (java) S 3890 3892 3240 0 -1 64 79558 0 0 0 551 33 0 0 15 0 13 0 683288249 849817600 176730 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3897] ppid=3890 vsize=829900 CPUtime=36.51
/proc/3892/task/3897/stat : 3897 (java) R 3890 3892 3240 0 -1 64 179408 0 0 0 3566 85 0 0 25 0 13 0 683288251 849817600 176730 996147200 134512640 134550740 4294956016 18446744073709551615 105847282 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3898] ppid=3890 vsize=829900 CPUtime=0
/proc/3892/task/3898/stat : 3898 (java) S 3890 3892 3240 0 -1 64 10 0 0 0 0 0 0 0 15 0 13 0 683288251 849817600 176730 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3899] ppid=3890 vsize=829900 CPUtime=0
/proc/3892/task/3899/stat : 3899 (java) S 3890 3892 3240 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 683288251 849817600 176730 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3900] ppid=3890 vsize=829900 CPUtime=0
/proc/3892/task/3900/stat : 3900 (java) S 3890 3892 3240 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 683288255 849817600 176730 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3901] ppid=3890 vsize=829900 CPUtime=0.68
/proc/3892/task/3901/stat : 3901 (java) S 3890 3892 3240 0 -1 64 1474 0 0 0 68 0 0 0 17 0 13 0 683288255 849817600 176730 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3902] ppid=3890 vsize=829900 CPUtime=0.86
/proc/3892/task/3902/stat : 3902 (java) S 3890 3892 3240 0 -1 64 5053 0 0 0 84 2 0 0 17 0 13 0 683288255 849817600 176730 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3892/tid=3903] ppid=3890 vsize=829900 CPUtime=0
/proc/3892/task/3903/stat : 3903 (java) S 3890 3892 3240 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 683288255 849817600 176730 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3904] ppid=3890 vsize=829900 CPUtime=0
/proc/3892/task/3904/stat : 3904 (java) S 3890 3892 3240 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 683288256 849817600 176730 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3905] ppid=3890 vsize=829900 CPUtime=0
/proc/3892/task/3905/stat : 3905 (java) S 3890 3892 3240 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 683310488 849817600 176730 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 224.82
Current children cumulated vsize (KiB) 829900
[startup+225.607 s]
/proc/loadavg: 2.28 2.10 2.03 3/100 3905
/proc/meminfo: memFree=794560/2055920 swapFree=4178892/4192956
[pid=3892] ppid=3890 vsize=829900 CPUtime=225.63
/proc/3892/stat : 3892 (java) S 3890 3892 3240 0 -1 0 367751 0 1 0 22391 172 0 0 20 0 13 0 683288246 849817600 176730 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3892/statm: 207475 176730 1390 9 0 204837 0
[pid=3892/tid=3894] ppid=3890 vsize=829900 CPUtime=175.2
/proc/3892/task/3894/stat : 3894 (java) S 3890 3892 3240 0 -1 64 17810 0 1 0 17508 12 0 0 18 0 13 0 683288248 849817600 176730 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3895] ppid=3890 vsize=829900 CPUtime=5.67
/proc/3892/task/3895/stat : 3895 (java) S 3890 3892 3240 0 -1 64 83677 0 0 0 532 35 0 0 16 0 13 0 683288249 849817600 176730 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3896] ppid=3890 vsize=829900 CPUtime=5.84
/proc/3892/task/3896/stat : 3896 (java) S 3890 3892 3240 0 -1 64 79558 0 0 0 551 33 0 0 15 0 13 0 683288249 849817600 176730 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3897] ppid=3890 vsize=829900 CPUtime=37.31
/proc/3892/task/3897/stat : 3897 (java) R 3890 3892 3240 0 -1 64 179408 0 0 0 3646 85 0 0 25 0 13 0 683288251 849817600 176730 996147200 134512640 134550740 4294956016 18446744073709551615 106123734 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3898] ppid=3890 vsize=829900 CPUtime=0
/proc/3892/task/3898/stat : 3898 (java) S 3890 3892 3240 0 -1 64 10 0 0 0 0 0 0 0 15 0 13 0 683288251 849817600 176730 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3899] ppid=3890 vsize=829900 CPUtime=0
/proc/3892/task/3899/stat : 3899 (java) S 3890 3892 3240 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 683288251 849817600 176730 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3900] ppid=3890 vsize=829900 CPUtime=0
/proc/3892/task/3900/stat : 3900 (java) S 3890 3892 3240 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 683288255 849817600 176730 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3901] ppid=3890 vsize=829900 CPUtime=0.68
/proc/3892/task/3901/stat : 3901 (java) S 3890 3892 3240 0 -1 64 1474 0 0 0 68 0 0 0 17 0 13 0 683288255 849817600 176730 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3902] ppid=3890 vsize=829900 CPUtime=0.86
/proc/3892/task/3902/stat : 3902 (java) S 3890 3892 3240 0 -1 64 5053 0 0 0 84 2 0 0 17 0 13 0 683288255 849817600 176730 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3892/tid=3903] ppid=3890 vsize=829900 CPUtime=0
/proc/3892/task/3903/stat : 3903 (java) S 3890 3892 3240 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 683288255 849817600 176730 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3904] ppid=3890 vsize=829900 CPUtime=0
/proc/3892/task/3904/stat : 3904 (java) S 3890 3892 3240 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 683288256 849817600 176730 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3892/tid=3905] ppid=3890 vsize=829900 CPUtime=0
/proc/3892/task/3905/stat : 3905 (java) S 3890 3892 3240 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 683310488 849817600 176730 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 225.63
Current children cumulated vsize (KiB) 829900
[startup+226.001 s]
/proc/loadavg: 2.28 2.10 2.03 3/100 3905
/proc/meminfo: memFree=794560/2055920 swapFree=4178892/4192956
[pid=3892] ppid=3890 vsize=0 CPUtime=225.98
/proc/3892/stat : 3892 (java) Z 3890 3892 3240 0 -1 12 367758 0 1 0 22417 181 0 0 16 0 2 0 683288246 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3892/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 225.98
Current children cumulated vsize (KiB) 0
Child status: 1
Real time (s): 226.011
CPU time (s): 226.006
CPU user time (s): 224.179
CPU system time (s): 1.82672
CPU usage (%): 99.9978
Max. virtual memory (cumulated for all children) (KiB): 850064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 224.179
system time used= 1.82672
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 367758
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= 11848
involuntary context switches= 10799
runsolver used 0.32595 second user time and 0.792879 second system time
The end
Begin job on node86 at 2008-07-05 18:33:13
IDJOB=1092497
IDBENCH=58630
IDSOLVER=344
FILE ID=node86/1092497-1215275593
PBS_JOBID= 7882238
Free space on /tmp= 66556 MiB
SOLVER NAME= SAT4J CSP 2008-06-13
BENCH NAME= CPAI08/csp/js-taillard-20/normalized-js-taillard-20-105-3.xml
COMMAND LINE= java6 -server -Xms650m -Xmx650m -jar HOME/sat4jcsp.jar BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1092497-1215275593/watcher-1092497-1215275593 -o /tmp/evaluation-result-1092497-1215275593/solver-1092497-1215275593 -C 1800 -W 2200 -M 900 --output-limit 1,15 java6 -server -Xms650m -Xmx650m -jar HOME/sat4jcsp.jar HOME/instance-1092497-1215275593.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 223aaf1483a6ca1bf0f0bb4b746a8074
RANDOM SEED=1432866887
node86.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.220
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.220
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1499336 kB
Buffers: 95400 kB
Cached: 277240 kB
SwapCached: 6392 kB
Active: 368648 kB
Inactive: 133652 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1499336 kB
SwapTotal: 4192956 kB
SwapFree: 4178892 kB
Dirty: 1676 kB
Writeback: 0 kB
Mapped: 143328 kB
Slab: 38684 kB
Committed_AS: 2037676 kB
PageTables: 2564 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= 66556 MiB
End job on node86 at 2008-07-05 18:36:59