Trace number 1092497

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SAT4J CSP 2008-06-13? 226.006 226.011

General information on the benchmark

Namecsp/js-taillard-20/
normalized-js-taillard-20-105-3.xml
MD5SUM223aaf1483a6ca1bf0f0bb4b746a8074
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark54.0714
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints4180
Maximum constraint arity2
Maximum domain size1748
Number of constraints which are defined in extension0
Number of constraints which are defined in intension4180
Global constraints used (with number of constraints)

Solver Data (download as text)

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

Verifier Data (download as text)

ERROR: Unexpected answer ! ('s SATISFIABLE'/'s UNSATISFIABLE' expected)
Got answer: UNKNOWN

Watcher Data (download as text)

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

Launcher Data (download as text)

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