0.28/0.31 c SAT4J: a SATisfiability library for Java (c) 2004-2008 Daniel Le Berre
0.28/0.31 c This is free software under the dual EPL/GNU LGPL licenses.
0.28/0.31 c See www.sat4j.org for details.
0.28/0.31 c That software uses the Rhino library from the Mozilla project.
0.28/0.35 c version 9.9.9.token
0.28/0.35 c sun.arch.data.model 32
0.28/0.35 c java.version 1.6.0_06
0.28/0.35 c os.name Linux
0.28/0.35 c os.version 2.6.9-22.EL.rootsmp
0.28/0.35 c os.arch i386
0.28/0.35 c Free memory 669864272
0.28/0.35 c Max memory 672137216
0.28/0.35 c Total memory 672137216
0.28/0.35 c Number of processors 2
0.38/0.40 c c --- Begin Solver configuration ---
0.38/0.40 c Stops conflict analysis at the first Unique Implication Point
0.38/0.40 c org.sat4j.minisat.constraints.MixedDataStructureDaniel@1d2068d
0.38/0.40 c Learn all clauses as in MiniSAT
0.38/0.40 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100
0.38/0.40 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.38/0.40 c Expensive reason simplification
0.38/0.40 c MiniSAT restarts strategy
0.38/0.40 c timeout=2147483s
0.38/0.40 c DB Simplification allowed=false
0.38/0.40 c --- End Solver configuration ---
0.38/0.40 c solving HOME/instance-1048387-1215043104.xml
0.38/0.40 c reading problem ...
0.58/0.67 c reading problem named null
0.58/0.67 c reading domains done.
0.58/0.68 c reading variables done.
0.68/0.71 c reading relations done.
2.07/2.16 c reading constraints
35.23/33.90 Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
35.23/33.90 at org.sat4j.core.Vec.ensure(Vec.java:175)
35.23/33.90 at org.sat4j.core.Vec.push(Vec.java:182)
35.23/33.90 at org.sat4j.minisat.core.Solver.addConstr(Solver.java:1190)
35.23/33.90 at org.sat4j.minisat.core.Solver.addClause(Solver.java:303)
35.23/33.90 at org.sat4j.csp.encodings.DirectEncoding.onNogood(DirectEncoding.java:60)
35.23/33.90 at org.sat4j.csp.constraints.Supports.find(Supports.java:77)
35.23/33.90 at org.sat4j.csp.constraints.Supports.find(Supports.java:86)
35.23/33.90 at org.sat4j.csp.constraints.Supports.find(Supports.java:86)
35.23/33.90 at org.sat4j.csp.constraints.Supports.find(Supports.java:86)
35.23/33.90 at org.sat4j.csp.constraints.Supports.find(Supports.java:86)
35.23/33.90 at org.sat4j.csp.constraints.Supports.find(Supports.java:86)
35.23/33.90 at org.sat4j.csp.constraints.Supports.find(Supports.java:86)
35.23/33.90 at org.sat4j.csp.constraints.Supports.find(Supports.java:86)
35.23/33.90 at org.sat4j.csp.constraints.Supports.find(Supports.java:86)
35.23/33.90 at org.sat4j.csp.constraints.Supports.find(Supports.java:86)
35.23/33.90 at org.sat4j.csp.constraints.Supports.find(Supports.java:86)
35.23/33.90 at org.sat4j.csp.constraints.Supports.toClause(Supports.java:66)
35.23/33.90 at org.sat4j.reader.CSPReader.endConstraint(CSPReader.java:479)
35.23/33.90 at org.sat4j.csp.xml.Constraint.endElement(Constraint.java:50)
35.23/33.90 at org.sat4j.csp.xml.InstanceParser.endElement(InstanceParser.java:49)
35.23/33.90 at com.sun.org.apache.xerces.internal.parsers.AbstractSAXParser.endElement(Unknown Source)
35.23/33.90 at com.sun.org.apache.xerces.internal.parsers.AbstractXMLDocumentParser.emptyElement(Unknown Source)
35.23/33.90 at com.sun.org.apache.xerces.internal.impl.xs.XMLSchemaValidator.emptyElement(Unknown Source)
35.23/33.90 at com.sun.org.apache.xerces.internal.impl.XMLDocumentFragmentScannerImpl.scanStartElement(Unknown Source)
35.23/33.90 at com.sun.org.apache.xerces.internal.impl.XMLDocumentFragmentScannerImpl$FragmentContentDriver.next(Unknown Source)
35.23/33.90 at com.sun.org.apache.xerces.internal.impl.XMLDocumentScannerImpl.next(Unknown Source)
35.23/33.90 at com.sun.org.apache.xerces.internal.impl.XMLDocumentFragmentScannerImpl.scanDocument(Unknown Source)
35.23/33.90 at com.sun.org.apache.xerces.internal.parsers.XML11Configuration.parse(Unknown Source)
35.23/33.90 at com.sun.org.apache.xerces.internal.parsers.XML11Configuration.parse(Unknown Source)
35.23/33.90 at com.sun.org.apache.xerces.internal.parsers.XMLParser.parse(Unknown Source)
35.23/33.90 at com.sun.org.apache.xerces.internal.parsers.AbstractSAXParser.parse(Unknown Source)
35.23/33.90 at com.sun.org.apache.xerces.internal.jaxp.SAXParserImpl$JAXPSAXParser.parse(Unknown Source)
35.23/33.90 c starts : 0
35.23/33.90 c conflicts : 0
35.23/33.90 c decisions : 0
35.23/33.90 c propagations : 0
35.23/33.90 c inspects : 0
35.23/33.90 c learnt literals : 0
35.23/33.90 c learnt binary clauses : 0
35.23/33.90 c learnt ternary clauses : 0
35.23/33.90 c learnt clauses : 0
35.23/33.90 c ignored clauses : 0
35.33/33.90 c root simplifications : 0
35.33/33.90 c removed literals (reason simplification) : 0
35.33/33.90 c reason swapping (by a shorter reason) : 0
35.33/33.90 c Calls to reduceDB : 0
35.33/33.90 c speed (assignments/second) : 0.0
35.33/33.90 c non guided choices 0
35.33/33.90 s UNKNOWN
35.33/33.90 c Total wall clock time (in seconds) : 33.496
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1048387-1215043104/watcher-1048387-1215043104 -o /tmp/evaluation-result-1048387-1215043104/solver-1048387-1215043104 -C 1800 -W 2200 -M 900 --output-limit 1,15 java6 -server -Xms650m -Xmx650m -jar HOME/sat4jcsp.jar HOME/instance-1048387-1215043104.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.10 2.05 1.98 4/81 18995
/proc/meminfo: memFree=1821456/2055920 swapFree=4180084/4192956
[pid=18995] ppid=18993 vsize=152 CPUtime=0
/proc/18995/stat : 18995 (java) R 18993 18995 18316 0 -1 0 211 0 0 0 0 0 0 0 18 0 1 0 1983284485 155648 26 996147200 134512640 134550740 4294956032 18446744073709551615 10027812 0 0 4096 0 0 0 0 17 0 0 0
/proc/18995/statm: 38 26 19 9 0 4 0
[startup+0.100214 s]
/proc/loadavg: 2.10 2.05 1.98 4/81 18995
/proc/meminfo: memFree=1821456/2055920 swapFree=4180084/4192956
[pid=18995] ppid=18993 vsize=804612 CPUtime=0.09
/proc/18995/stat : 18995 (java) S 18993 18995 18316 0 -1 0 3000 0 1 0 7 2 0 0 18 0 12 0 1983284485 823922688 2733 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18995/statm: 201153 2733 1048 9 0 198522 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 804612
[startup+0.201224 s]
/proc/loadavg: 2.10 2.05 1.98 4/81 18995
/proc/meminfo: memFree=1821456/2055920 swapFree=4180084/4192956
[pid=18995] ppid=18993 vsize=807760 CPUtime=0.18
/proc/18995/stat : 18995 (java) S 18993 18995 18316 0 -1 0 4380 0 1 0 16 2 0 0 18 0 12 0 1983284485 827146240 3709 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18995/statm: 201940 3709 1293 9 0 199309 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 807760
[startup+0.301231 s]
/proc/loadavg: 2.10 2.05 1.98 4/81 18995
/proc/meminfo: memFree=1821456/2055920 swapFree=4180084/4192956
[pid=18995] ppid=18993 vsize=807760 CPUtime=0.28
/proc/18995/stat : 18995 (java) S 18993 18995 18316 0 -1 0 4847 0 1 0 26 2 0 0 18 0 12 0 1983284485 827146240 4176 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18995/statm: 201940 4176 1299 9 0 199309 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 807760
[startup+0.701266 s]
/proc/loadavg: 2.10 2.05 1.98 4/81 18995
/proc/meminfo: memFree=1821456/2055920 swapFree=4180084/4192956
[pid=18995] ppid=18993 vsize=807788 CPUtime=0.68
/proc/18995/stat : 18995 (java) S 18993 18995 18316 0 -1 0 6251 0 1 0 63 5 0 0 18 0 12 0 1983284485 827174912 5381 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18995/statm: 201947 5381 1335 9 0 199309 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 807788
[startup+1.50234 s]
/proc/loadavg: 2.09 2.05 1.98 4/93 19007
/proc/meminfo: memFree=1800944/2055920 swapFree=4180084/4192956
[pid=18995] ppid=18993 vsize=807788 CPUtime=1.47
/proc/18995/stat : 18995 (java) S 18993 18995 18316 0 -1 0 9585 0 1 0 140 7 0 0 18 0 12 0 1983284485 827174912 8374 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18995/statm: 201947 8374 1347 9 0 199309 0
[pid=18995/tid=18997] ppid=18993 vsize=807788 CPUtime=0.71
/proc/18995/task/18997/stat : 18997 (java) R 18993 18995 18316 0 -1 64 6724 0 1 0 66 5 0 0 22 0 12 0 1983284486 827174912 8374 996147200 134512640 134550740 4294956032 18446744073709551615 4109318595 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=18998] ppid=18993 vsize=807788 CPUtime=0
/proc/18995/task/18998/stat : 18998 (java) S 18993 18995 18316 0 -1 64 3 0 0 0 0 0 0 0 18 0 12 0 1983284487 827174912 8374 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=18999] ppid=18993 vsize=807788 CPUtime=0
/proc/18995/task/18999/stat : 18999 (java) S 18993 18995 18316 0 -1 64 0 0 0 0 0 0 0 0 19 0 12 0 1983284487 827174912 8374 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19000] ppid=18993 vsize=807788 CPUtime=0
/proc/18995/task/19000/stat : 19000 (java) S 18993 18995 18316 0 -1 64 0 0 0 0 0 0 0 0 16 0 12 0 1983284489 827174912 8374 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19001] ppid=18993 vsize=807788 CPUtime=0
/proc/18995/task/19001/stat : 19001 (java) S 18993 18995 18316 0 -1 64 8 0 0 0 0 0 0 0 20 0 12 0 1983284489 827174912 8374 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19002] ppid=18993 vsize=807788 CPUtime=0
/proc/18995/task/19002/stat : 19002 (java) S 18993 18995 18316 0 -1 64 4 0 0 0 0 0 0 0 21 0 12 0 1983284489 827174912 8374 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19003] ppid=18993 vsize=807788 CPUtime=0
/proc/18995/task/19003/stat : 19003 (java) S 18993 18995 18316 0 -1 64 2 0 0 0 0 0 0 0 18 0 12 0 1983284494 827174912 8374 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19004] ppid=18993 vsize=807788 CPUtime=0.33
/proc/18995/task/19004/stat : 19004 (java) S 18993 18995 18316 0 -1 64 781 0 0 0 33 0 0 0 16 0 12 0 1983284494 827174912 8374 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19005] ppid=18993 vsize=807788 CPUtime=0.4
/proc/18995/task/19005/stat : 19005 (java) S 18993 18995 18316 0 -1 64 1319 0 0 0 40 0 0 0 16 0 12 0 1983284494 827174912 8374 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19006] ppid=18993 vsize=807788 CPUtime=0
/proc/18995/task/19006/stat : 19006 (java) S 18993 18995 18316 0 -1 64 0 0 0 0 0 0 0 0 20 0 12 0 1983284494 827174912 8374 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19007] ppid=18993 vsize=807788 CPUtime=0
/proc/18995/task/19007/stat : 19007 (java) S 18993 18995 18316 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 1983284494 827174912 8374 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 807788
[startup+3.10248 s]
/proc/loadavg: 2.09 2.05 1.98 3/93 19007
/proc/meminfo: memFree=1746672/2055920 swapFree=4180084/4192956
[pid=18995] ppid=18993 vsize=811108 CPUtime=3.08
/proc/18995/stat : 18995 (java) S 18993 18995 18316 0 -1 0 29362 0 1 0 292 16 0 0 18 0 12 0 1983284485 830574592 27213 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18995/statm: 202777 27213 1360 9 0 200139 0
[pid=18995/tid=18997] ppid=18993 vsize=811108 CPUtime=1.6
/proc/18995/task/18997/stat : 18997 (java) R 18993 18995 18316 0 -1 64 16973 0 1 0 151 9 0 0 17 0 12 0 1983284486 830574592 27213 996147200 134512640 134550740 4294956032 18446744073709551615 4109792951 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18995/tid=18998] ppid=18993 vsize=811108 CPUtime=0.04
/proc/18995/task/18998/stat : 18998 (java) S 18993 18995 18316 0 -1 64 2170 0 0 0 4 0 0 0 17 0 12 0 1983284487 830574592 27213 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18995/tid=18999] ppid=18993 vsize=811108 CPUtime=0.14
/proc/18995/task/18999/stat : 18999 (java) S 18993 18995 18316 0 -1 64 6034 0 0 0 12 2 0 0 16 0 12 0 1983284487 830574592 27213 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19000] ppid=18993 vsize=811108 CPUtime=0
/proc/18995/task/19000/stat : 19000 (java) S 18993 18995 18316 0 -1 64 56 0 0 0 0 0 0 0 17 0 12 0 1983284489 830574592 27213 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18995/tid=19001] ppid=18993 vsize=811108 CPUtime=0
/proc/18995/task/19001/stat : 19001 (java) S 18993 18995 18316 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 1983284489 830574592 27213 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19002] ppid=18993 vsize=811108 CPUtime=0
/proc/18995/task/19002/stat : 19002 (java) S 18993 18995 18316 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 1983284489 830574592 27213 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19003] ppid=18993 vsize=811108 CPUtime=0
/proc/18995/task/19003/stat : 19003 (java) S 18993 18995 18316 0 -1 64 2 0 0 0 0 0 0 0 18 0 12 0 1983284494 830574592 27213 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19004] ppid=18993 vsize=811108 CPUtime=0.57
/proc/18995/task/19004/stat : 19004 (java) S 18993 18995 18316 0 -1 64 810 0 0 0 57 0 0 0 16 0 12 0 1983284494 830574592 27213 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19005] ppid=18993 vsize=811108 CPUtime=0.67
/proc/18995/task/19005/stat : 19005 (java) S 18993 18995 18316 0 -1 64 2559 0 0 0 66 1 0 0 16 0 12 0 1983284494 830574592 27213 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19006] ppid=18993 vsize=811108 CPUtime=0
/proc/18995/task/19006/stat : 19006 (java) S 18993 18995 18316 0 -1 64 0 0 0 0 0 0 0 0 20 0 12 0 1983284494 830574592 27213 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19007] ppid=18993 vsize=811108 CPUtime=0
/proc/18995/task/19007/stat : 19007 (java) S 18993 18995 18316 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 1983284494 830574592 27213 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 811108
[startup+6.30277 s]
/proc/loadavg: 2.09 2.05 1.98 3/93 19007
/proc/meminfo: memFree=1606832/2055920 swapFree=4180084/4192956
[pid=18995] ppid=18993 vsize=824764 CPUtime=7.46
/proc/18995/stat : 18995 (java) S 18993 18995 18316 0 -1 0 68996 0 1 0 712 34 0 0 18 0 12 0 1983284485 844558336 60061 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18995/statm: 206191 60065 1360 9 0 203553 0
[pid=18995/tid=18997] ppid=18993 vsize=824764 CPUtime=3.09
/proc/18995/task/18997/stat : 18997 (java) R 18993 18995 18316 0 -1 64 16977 0 1 0 300 9 0 0 25 0 12 0 1983284486 844558336 60067 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18995/tid=18998] ppid=18993 vsize=824764 CPUtime=1.5
/proc/18995/task/18998/stat : 18998 (java) R 18993 18995 18316 0 -1 64 25761 0 0 0 140 10 0 0 18 0 12 0 1983284487 844558336 60069 996147200 134512640 134550740 4294956032 18446744073709551615 106160148 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18995/tid=18999] ppid=18993 vsize=824764 CPUtime=1.58
/proc/18995/task/18999/stat : 18999 (java) R 18993 18995 18316 0 -1 64 22081 0 0 0 147 11 0 0 18 0 12 0 1983284487 844558336 60072 996147200 134512640 134550740 4294956032 18446744073709551615 104145927 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19000] ppid=18993 vsize=824764 CPUtime=0
/proc/18995/task/19000/stat : 19000 (java) S 18993 18995 18316 0 -1 64 56 0 0 0 0 0 0 0 16 0 12 0 1983284489 844558336 60075 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18995/tid=19001] ppid=18993 vsize=824764 CPUtime=0
/proc/18995/task/19001/stat : 19001 (java) S 18993 18995 18316 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 1983284489 844558336 60077 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19002] ppid=18993 vsize=824764 CPUtime=0
/proc/18995/task/19002/stat : 19002 (java) S 18993 18995 18316 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 1983284489 844558336 60080 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19003] ppid=18993 vsize=824764 CPUtime=0
/proc/18995/task/19003/stat : 19003 (java) S 18993 18995 18316 0 -1 64 2 0 0 0 0 0 0 0 18 0 12 0 1983284494 844558336 60083 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19004] ppid=18993 vsize=824764 CPUtime=0.57
/proc/18995/task/19004/stat : 19004 (java) S 18993 18995 18316 0 -1 64 810 0 0 0 57 0 0 0 16 0 12 0 1983284494 844558336 60086 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19005] ppid=18993 vsize=824764 CPUtime=0.67
/proc/18995/task/19005/stat : 19005 (java) S 18993 18995 18316 0 -1 64 2559 0 0 0 66 1 0 0 16 0 12 0 1983284494 844558336 60088 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19006] ppid=18993 vsize=824764 CPUtime=0
/proc/18995/task/19006/stat : 19006 (java) S 18993 18995 18316 0 -1 64 0 0 0 0 0 0 0 0 20 0 12 0 1983284494 844558336 60091 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19007] ppid=18993 vsize=824764 CPUtime=0
/proc/18995/task/19007/stat : 19007 (java) S 18993 18995 18316 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 1983284494 844558336 60094 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 7.46
Current children cumulated vsize (KiB) 824764
[startup+12.7013 s]
/proc/loadavg: 2.16 2.07 1.99 4/93 19007
/proc/meminfo: memFree=1343024/2055920 swapFree=4180084/4192956
[pid=18995] ppid=18993 vsize=824764 CPUtime=13.93
/proc/18995/stat : 18995 (java) S 18993 18995 18316 0 -1 0 133296 0 1 0 1334 59 0 0 18 0 12 0 1983284485 844558336 123740 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18995/statm: 206191 123740 1360 9 0 203553 0
[pid=18995/tid=18997] ppid=18993 vsize=824764 CPUtime=5.68
/proc/18995/task/18997/stat : 18997 (java) R 18993 18995 18316 0 -1 64 35423 0 1 0 551 17 0 0 17 0 12 0 1983284486 844558336 123740 996147200 134512640 134550740 4294956032 18446744073709551615 4109743921 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=18998] ppid=18993 vsize=824764 CPUtime=1.72
/proc/18995/task/18998/stat : 18998 (java) R 18993 18995 18316 0 -1 64 30920 0 0 0 160 12 0 0 21 0 12 0 1983284487 844558336 123740 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=18999] ppid=18993 vsize=824764 CPUtime=5.23
/proc/18995/task/18999/stat : 18999 (java) R 18993 18995 18316 0 -1 64 62768 0 0 0 497 26 0 0 19 0 12 0 1983284487 844558336 123740 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19000] ppid=18993 vsize=824764 CPUtime=0
/proc/18995/task/19000/stat : 19000 (java) S 18993 18995 18316 0 -1 64 56 0 0 0 0 0 0 0 16 0 12 0 1983284489 844558336 123740 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19001] ppid=18993 vsize=824764 CPUtime=0
/proc/18995/task/19001/stat : 19001 (java) S 18993 18995 18316 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 1983284489 844558336 123740 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19002] ppid=18993 vsize=824764 CPUtime=0
/proc/18995/task/19002/stat : 19002 (java) S 18993 18995 18316 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 1983284489 844558336 123740 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19003] ppid=18993 vsize=824764 CPUtime=0
/proc/18995/task/19003/stat : 19003 (java) S 18993 18995 18316 0 -1 64 2 0 0 0 0 0 0 0 18 0 12 0 1983284494 844558336 123740 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19004] ppid=18993 vsize=824764 CPUtime=0.57
/proc/18995/task/19004/stat : 19004 (java) S 18993 18995 18316 0 -1 64 810 0 0 0 57 0 0 0 16 0 12 0 1983284494 844558336 123740 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19005] ppid=18993 vsize=824764 CPUtime=0.67
/proc/18995/task/19005/stat : 19005 (java) S 18993 18995 18316 0 -1 64 2559 0 0 0 66 1 0 0 16 0 12 0 1983284494 844558336 123740 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19006] ppid=18993 vsize=824764 CPUtime=0
/proc/18995/task/19006/stat : 19006 (java) S 18993 18995 18316 0 -1 64 0 0 0 0 0 0 0 0 20 0 12 0 1983284494 844558336 123740 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19007] ppid=18993 vsize=824764 CPUtime=0
/proc/18995/task/19007/stat : 19007 (java) S 18993 18995 18316 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 1983284494 844558336 123740 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 13.93
Current children cumulated vsize (KiB) 824764
[startup+25.5025 s]
/proc/loadavg: 2.29 2.10 2.00 4/93 19007
/proc/meminfo: memFree=1137392/2055920 swapFree=4180084/4192956
[pid=18995] ppid=18993 vsize=824764 CPUtime=26.92
/proc/18995/stat : 18995 (java) S 18993 18995 18316 0 -1 0 196835 0 1 0 2605 87 0 0 18 0 12 0 1983284485 844558336 171757 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18995/statm: 206191 171757 1364 9 0 203553 0
[pid=18995/tid=18997] ppid=18993 vsize=824764 CPUtime=9.5
/proc/18995/task/18997/stat : 18997 (java) S 18993 18995 18316 0 -1 64 35440 0 1 0 933 17 0 0 17 0 12 0 1983284486 844558336 171757 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=18998] ppid=18993 vsize=824764 CPUtime=2.5
/proc/18995/task/18998/stat : 18998 (java) R 18993 18995 18316 0 -1 64 36970 0 0 0 236 14 0 0 15 0 12 0 1983284487 844558336 171757 996147200 134512640 134550740 4294956032 18446744073709551615 106157874 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18995/tid=18999] ppid=18993 vsize=824764 CPUtime=10.86
/proc/18995/task/18999/stat : 18999 (java) R 18993 18995 18316 0 -1 64 104720 0 0 0 1041 45 0 0 16 0 12 0 1983284487 844558336 171757 996147200 134512640 134550740 4294956032 18446744073709551615 104146006 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19000] ppid=18993 vsize=824764 CPUtime=2.75
/proc/18995/task/19000/stat : 19000 (java) R 18993 18995 18316 0 -1 64 15576 0 0 0 268 7 0 0 19 0 12 0 1983284489 844558336 171757 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19001] ppid=18993 vsize=824764 CPUtime=0
/proc/18995/task/19001/stat : 19001 (java) S 18993 18995 18316 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 1983284489 844558336 171757 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19002] ppid=18993 vsize=824764 CPUtime=0
/proc/18995/task/19002/stat : 19002 (java) S 18993 18995 18316 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 1983284489 844558336 171757 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19003] ppid=18993 vsize=824764 CPUtime=0
/proc/18995/task/19003/stat : 19003 (java) S 18993 18995 18316 0 -1 64 2 0 0 0 0 0 0 0 18 0 12 0 1983284494 844558336 171757 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
[pid=18995/tid=19007] ppid=18993 vsize=824764 CPUtime=0
/proc/18995/task/19007/stat : 19007 (java) S 18993 18995 18316 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 1983284494 844558336 171757 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 26.92
Current children cumulated vsize (KiB) 824764
Solver just ended. Dumping a history of the last processes samples
[startup+25.6025 s]
/proc/loadavg: 2.29 2.10 2.00 4/93 19007
/proc/meminfo: memFree=1137392/2055920 swapFree=4180084/4192956
[pid=18995] ppid=18993 vsize=824764 CPUtime=27.05
/proc/18995/stat : 18995 (java) S 18993 18995 18316 0 -1 0 196835 0 1 0 2618 87 0 0 18 0 12 0 1983284485 844558336 171757 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18995/statm: 206191 171757 1364 9 0 203553 0
[pid=18995/tid=18997] ppid=18993 vsize=824764 CPUtime=9.5
/proc/18995/task/18997/stat : 18997 (java) S 18993 18995 18316 0 -1 64 35440 0 1 0 933 17 0 0 17 0 12 0 1983284486 844558336 171757 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=18998] ppid=18993 vsize=824764 CPUtime=2.53
/proc/18995/task/18998/stat : 18998 (java) R 18993 18995 18316 0 -1 64 36970 0 0 0 239 14 0 0 16 0 12 0 1983284487 844558336 171757 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18995/tid=18999] ppid=18993 vsize=824764 CPUtime=10.96
/proc/18995/task/18999/stat : 18999 (java) R 18993 18995 18316 0 -1 64 104720 0 0 0 1051 45 0 0 17 0 12 0 1983284487 844558336 171757 996147200 134512640 134550740 4294956032 18446744073709551615 104136963 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19000] ppid=18993 vsize=824764 CPUtime=2.75
/proc/18995/task/19000/stat : 19000 (java) R 18993 18995 18316 0 -1 64 15576 0 0 0 268 7 0 0 19 0 12 0 1983284489 844558336 171757 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19001] ppid=18993 vsize=824764 CPUtime=0
/proc/18995/task/19001/stat : 19001 (java) S 18993 18995 18316 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 1983284489 844558336 171757 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19002] ppid=18993 vsize=824764 CPUtime=0
/proc/18995/task/19002/stat : 19002 (java) S 18993 18995 18316 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 1983284489 844558336 171757 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19003] ppid=18993 vsize=824764 CPUtime=0
/proc/18995/task/19003/stat : 19003 (java) S 18993 18995 18316 0 -1 64 2 0 0 0 0 0 0 0 18 0 12 0 1983284494 844558336 171757 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19004] ppid=18993 vsize=824764 CPUtime=0.57
/proc/18995/task/19004/stat : 19004 (java) S 18993 18995 18316 0 -1 64 810 0 0 0 57 0 0 0 16 0 12 0 1983284494 844558336 171757 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19005] ppid=18993 vsize=824764 CPUtime=0.67
/proc/18995/task/19005/stat : 19005 (java) S 18993 18995 18316 0 -1 64 2559 0 0 0 66 1 0 0 16 0 12 0 1983284494 844558336 171757 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19006] ppid=18993 vsize=824764 CPUtime=0
/proc/18995/task/19006/stat : 19006 (java) S 18993 18995 18316 0 -1 64 0 0 0 0 0 0 0 0 20 0 12 0 1983284494 844558336 171757 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19007] ppid=18993 vsize=824764 CPUtime=0
/proc/18995/task/19007/stat : 19007 (java) S 18993 18995 18316 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 1983284494 844558336 171757 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 27.05
Current children cumulated vsize (KiB) 824764
[startup+28.8028 s]
/proc/loadavg: 2.26 2.10 2.00 3/93 19007
/proc/meminfo: memFree=1111792/2055920 swapFree=4180084/4192956
[pid=18995] ppid=18993 vsize=856768 CPUtime=30.28
/proc/18995/stat : 18995 (java) S 18993 18995 18316 0 -1 0 230233 0 1 0 2927 101 0 0 18 0 12 0 1983284485 877330432 182145 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18995/statm: 214192 182145 1364 9 0 211554 0
[pid=18995/tid=18997] ppid=18993 vsize=856768 CPUtime=9.66
/proc/18995/task/18997/stat : 18997 (java) S 18993 18995 18316 0 -1 64 35441 0 1 0 949 17 0 0 17 0 12 0 1983284486 877330432 182145 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=18998] ppid=18993 vsize=856768 CPUtime=2.6
/proc/18995/task/18998/stat : 18998 (java) S 18993 18995 18316 0 -1 64 36970 0 0 0 246 14 0 0 17 0 12 0 1983284487 877330432 182145 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=18999] ppid=18993 vsize=856768 CPUtime=11.09
/proc/18995/task/18999/stat : 18999 (java) S 18993 18995 18316 0 -1 64 104720 0 0 0 1064 45 0 0 19 0 12 0 1983284487 877330432 182145 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19000] ppid=18993 vsize=856768 CPUtime=5.63
/proc/18995/task/19000/stat : 19000 (java) R 18993 18995 18316 0 -1 64 48973 0 0 0 542 21 0 0 25 0 12 0 1983284489 877330432 182145 996147200 134512640 134550740 4294956032 18446744073709551615 103550464 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19001] ppid=18993 vsize=856768 CPUtime=0
/proc/18995/task/19001/stat : 19001 (java) S 18993 18995 18316 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 1983284489 877330432 182145 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19002] ppid=18993 vsize=856768 CPUtime=0
/proc/18995/task/19002/stat : 19002 (java) S 18993 18995 18316 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 1983284489 877330432 182145 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19003] ppid=18993 vsize=856768 CPUtime=0
/proc/18995/task/19003/stat : 19003 (java) S 18993 18995 18316 0 -1 64 2 0 0 0 0 0 0 0 18 0 12 0 1983284494 877330432 182145 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19004] ppid=18993 vsize=856768 CPUtime=0.57
/proc/18995/task/19004/stat : 19004 (java) S 18993 18995 18316 0 -1 64 810 0 0 0 57 0 0 0 16 0 12 0 1983284494 877330432 182145 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19005] ppid=18993 vsize=856768 CPUtime=0.67
/proc/18995/task/19005/stat : 19005 (java) S 18993 18995 18316 0 -1 64 2559 0 0 0 66 1 0 0 16 0 12 0 1983284494 877330432 182145 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19006] ppid=18993 vsize=856768 CPUtime=0
/proc/18995/task/19006/stat : 19006 (java) S 18993 18995 18316 0 -1 64 0 0 0 0 0 0 0 0 20 0 12 0 1983284494 877330432 182145 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19007] ppid=18993 vsize=856768 CPUtime=0
/proc/18995/task/19007/stat : 19007 (java) S 18993 18995 18316 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 1983284494 877330432 182145 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 30.28
Current children cumulated vsize (KiB) 856768
[startup+32.0096 s]
/proc/loadavg: 2.24 2.09 2.00 4/93 19007
/proc/meminfo: memFree=1090416/2055920 swapFree=4180084/4192956
[pid=18995] ppid=18993 vsize=856768 CPUtime=33.46
/proc/18995/stat : 18995 (java) S 18993 18995 18316 0 -1 0 247059 0 1 0 3238 108 0 0 18 0 12 0 1983284485 877330432 183466 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18995/statm: 214192 183466 1364 9 0 211554 0
[pid=18995/tid=18997] ppid=18993 vsize=856768 CPUtime=9.66
/proc/18995/task/18997/stat : 18997 (java) S 18993 18995 18316 0 -1 64 35441 0 1 0 949 17 0 0 17 0 12 0 1983284486 877330432 183466 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=18998] ppid=18993 vsize=856768 CPUtime=2.6
/proc/18995/task/18998/stat : 18998 (java) S 18993 18995 18316 0 -1 64 36970 0 0 0 246 14 0 0 17 0 12 0 1983284487 877330432 183466 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=18999] ppid=18993 vsize=856768 CPUtime=11.09
/proc/18995/task/18999/stat : 18999 (java) S 18993 18995 18316 0 -1 64 104720 0 0 0 1064 45 0 0 19 0 12 0 1983284487 877330432 183466 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19000] ppid=18993 vsize=856768 CPUtime=8.8
/proc/18995/task/19000/stat : 19000 (java) R 18993 18995 18316 0 -1 64 65799 0 0 0 852 28 0 0 25 0 12 0 1983284489 877330432 183466 996147200 134512640 134550740 4294956032 18446744073709551615 106122423 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19001] ppid=18993 vsize=856768 CPUtime=0
/proc/18995/task/19001/stat : 19001 (java) S 18993 18995 18316 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 1983284489 877330432 183466 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19002] ppid=18993 vsize=856768 CPUtime=0
/proc/18995/task/19002/stat : 19002 (java) S 18993 18995 18316 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 1983284489 877330432 183466 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19003] ppid=18993 vsize=856768 CPUtime=0
/proc/18995/task/19003/stat : 19003 (java) S 18993 18995 18316 0 -1 64 2 0 0 0 0 0 0 0 18 0 12 0 1983284494 877330432 183466 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19004] ppid=18993 vsize=856768 CPUtime=0.57
/proc/18995/task/19004/stat : 19004 (java) S 18993 18995 18316 0 -1 64 810 0 0 0 57 0 0 0 16 0 12 0 1983284494 877330432 183466 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19005] ppid=18993 vsize=856768 CPUtime=0.67
/proc/18995/task/19005/stat : 19005 (java) S 18993 18995 18316 0 -1 64 2559 0 0 0 66 1 0 0 16 0 12 0 1983284494 877330432 183466 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19006] ppid=18993 vsize=856768 CPUtime=0
/proc/18995/task/19006/stat : 19006 (java) S 18993 18995 18316 0 -1 64 0 0 0 0 0 0 0 0 20 0 12 0 1983284494 877330432 183466 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19007] ppid=18993 vsize=856768 CPUtime=0
/proc/18995/task/19007/stat : 19007 (java) S 18993 18995 18316 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 1983284494 877330432 183466 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 33.46
Current children cumulated vsize (KiB) 856768
[startup+32.8022 s]
/proc/loadavg: 2.24 2.09 2.00 4/93 19007
/proc/meminfo: memFree=1090416/2055920 swapFree=4180084/4192956
[pid=18995] ppid=18993 vsize=856768 CPUtime=34.25
/proc/18995/stat : 18995 (java) S 18993 18995 18316 0 -1 0 247059 0 1 0 3317 108 0 0 18 0 12 0 1983284485 877330432 183466 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18995/statm: 214192 183466 1364 9 0 211554 0
[pid=18995/tid=18997] ppid=18993 vsize=856768 CPUtime=9.66
/proc/18995/task/18997/stat : 18997 (java) S 18993 18995 18316 0 -1 64 35441 0 1 0 949 17 0 0 17 0 12 0 1983284486 877330432 183466 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=18998] ppid=18993 vsize=856768 CPUtime=2.6
/proc/18995/task/18998/stat : 18998 (java) S 18993 18995 18316 0 -1 64 36970 0 0 0 246 14 0 0 17 0 12 0 1983284487 877330432 183466 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=18999] ppid=18993 vsize=856768 CPUtime=11.09
/proc/18995/task/18999/stat : 18999 (java) S 18993 18995 18316 0 -1 64 104720 0 0 0 1064 45 0 0 19 0 12 0 1983284487 877330432 183466 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19000] ppid=18993 vsize=856768 CPUtime=9.59
/proc/18995/task/19000/stat : 19000 (java) R 18993 18995 18316 0 -1 64 65799 0 0 0 931 28 0 0 25 0 12 0 1983284489 877330432 183466 996147200 134512640 134550740 4294956032 18446744073709551615 105852552 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19001] ppid=18993 vsize=856768 CPUtime=0
/proc/18995/task/19001/stat : 19001 (java) S 18993 18995 18316 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 1983284489 877330432 183466 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19002] ppid=18993 vsize=856768 CPUtime=0
/proc/18995/task/19002/stat : 19002 (java) S 18993 18995 18316 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 1983284489 877330432 183466 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19003] ppid=18993 vsize=856768 CPUtime=0
/proc/18995/task/19003/stat : 19003 (java) S 18993 18995 18316 0 -1 64 2 0 0 0 0 0 0 0 18 0 12 0 1983284494 877330432 183466 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19004] ppid=18993 vsize=856768 CPUtime=0.57
/proc/18995/task/19004/stat : 19004 (java) S 18993 18995 18316 0 -1 64 810 0 0 0 57 0 0 0 16 0 12 0 1983284494 877330432 183466 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19005] ppid=18993 vsize=856768 CPUtime=0.67
/proc/18995/task/19005/stat : 19005 (java) S 18993 18995 18316 0 -1 64 2559 0 0 0 66 1 0 0 16 0 12 0 1983284494 877330432 183466 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19006] ppid=18993 vsize=856768 CPUtime=0
/proc/18995/task/19006/stat : 19006 (java) S 18993 18995 18316 0 -1 64 0 0 0 0 0 0 0 0 20 0 12 0 1983284494 877330432 183466 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19007] ppid=18993 vsize=856768 CPUtime=0
/proc/18995/task/19007/stat : 19007 (java) S 18993 18995 18316 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 1983284494 877330432 183466 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 34.25
Current children cumulated vsize (KiB) 856768
[startup+33.6022 s]
/proc/loadavg: 2.24 2.09 2.00 3/93 19007
/proc/meminfo: memFree=1090416/2055920 swapFree=4180084/4192956
[pid=18995] ppid=18993 vsize=856768 CPUtime=35.03
/proc/18995/stat : 18995 (java) S 18993 18995 18316 0 -1 0 247059 0 1 0 3395 108 0 0 18 0 12 0 1983284485 877330432 183466 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18995/statm: 214192 183466 1364 9 0 211554 0
[pid=18995/tid=18997] ppid=18993 vsize=856768 CPUtime=9.66
/proc/18995/task/18997/stat : 18997 (java) S 18993 18995 18316 0 -1 64 35441 0 1 0 949 17 0 0 17 0 12 0 1983284486 877330432 183466 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=18998] ppid=18993 vsize=856768 CPUtime=2.6
/proc/18995/task/18998/stat : 18998 (java) S 18993 18995 18316 0 -1 64 36970 0 0 0 246 14 0 0 17 0 12 0 1983284487 877330432 183466 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=18999] ppid=18993 vsize=856768 CPUtime=11.09
/proc/18995/task/18999/stat : 18999 (java) S 18993 18995 18316 0 -1 64 104720 0 0 0 1064 45 0 0 19 0 12 0 1983284487 877330432 183466 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19000] ppid=18993 vsize=856768 CPUtime=10.38
/proc/18995/task/19000/stat : 19000 (java) R 18993 18995 18316 0 -1 64 65799 0 0 0 1010 28 0 0 25 0 12 0 1983284489 877330432 183466 996147200 134512640 134550740 4294956032 18446744073709551615 106123541 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19001] ppid=18993 vsize=856768 CPUtime=0
/proc/18995/task/19001/stat : 19001 (java) S 18993 18995 18316 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 1983284489 877330432 183466 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19002] ppid=18993 vsize=856768 CPUtime=0
/proc/18995/task/19002/stat : 19002 (java) S 18993 18995 18316 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 1983284489 877330432 183466 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19003] ppid=18993 vsize=856768 CPUtime=0
/proc/18995/task/19003/stat : 19003 (java) S 18993 18995 18316 0 -1 64 2 0 0 0 0 0 0 0 18 0 12 0 1983284494 877330432 183466 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19004] ppid=18993 vsize=856768 CPUtime=0.57
/proc/18995/task/19004/stat : 19004 (java) S 18993 18995 18316 0 -1 64 810 0 0 0 57 0 0 0 16 0 12 0 1983284494 877330432 183466 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19005] ppid=18993 vsize=856768 CPUtime=0.67
/proc/18995/task/19005/stat : 19005 (java) S 18993 18995 18316 0 -1 64 2559 0 0 0 66 1 0 0 16 0 12 0 1983284494 877330432 183466 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19006] ppid=18993 vsize=856768 CPUtime=0
/proc/18995/task/19006/stat : 19006 (java) S 18993 18995 18316 0 -1 64 0 0 0 0 0 0 0 0 20 0 12 0 1983284494 877330432 183466 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18995/tid=19007] ppid=18993 vsize=856768 CPUtime=0
/proc/18995/task/19007/stat : 19007 (java) S 18993 18995 18316 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 1983284494 877330432 183466 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 35.03
Current children cumulated vsize (KiB) 856768
[startup+34.0024 s]
/proc/loadavg: 2.24 2.09 2.00 3/93 19007
/proc/meminfo: memFree=1090416/2055920 swapFree=4180084/4192956
[pid=18995] ppid=18993 vsize=0 CPUtime=35.39
/proc/18995/stat : 18995 (java) Z 18993 18995 18316 0 -1 12 247074 0 1 0 3425 114 0 0 16 0 2 0 1983284485 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18995/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 35.39
Current children cumulated vsize (KiB) 0
Child status: 1
Real time (s): 34.0521
CPU time (s): 35.4526
CPU user time (s): 34.2548
CPU system time (s): 1.19782
CPU usage (%): 104.113
Max. virtual memory (cumulated for all children) (KiB): 872772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 34.2548
system time used= 1.19782
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 247074
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= 1648
involuntary context switches= 2778
runsolver used 0.06199 second user time and 0.145977 second system time
The end
Begin job on node25 at 2008-07-03 01:58:24
IDJOB=1048387
IDBENCH=54360
IDSOLVER=344
FILE ID=node25/1048387-1215043104
PBS_JOBID= 7875124
Free space on /tmp= 66540 MiB
SOLVER NAME= SAT4J CSP 2008-06-13
BENCH NAME= CPAI08/csp/rand-10-20-10/normalized-rand-10-20-10-5-10000-12_ext.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-1048387-1215043104/watcher-1048387-1215043104 -o /tmp/evaluation-result-1048387-1215043104/solver-1048387-1215043104 -C 1800 -W 2200 -M 900 --output-limit 1,15 java6 -server -Xms650m -Xmx650m -jar HOME/sat4jcsp.jar HOME/instance-1048387-1215043104.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 97d3e36154eda82f977908a4c78d78e3
RANDOM SEED=381934834
node25.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.234
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.234
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: 1821936 kB
Buffers: 18112 kB
Cached: 109956 kB
SwapCached: 6504 kB
Active: 85988 kB
Inactive: 78984 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1821936 kB
SwapTotal: 4192956 kB
SwapFree: 4180084 kB
Dirty: 2060 kB
Writeback: 0 kB
Mapped: 52428 kB
Slab: 54032 kB
Committed_AS: 3447004 kB
PageTables: 2072 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= 66536 MiB
End job on node25 at 2008-07-03 01:58:59