0.00/0.09
0.00/0.09 Abscon 112 (May, 2008)
0.18/0.26
0.18/0.26 configuration
0.18/0.27 name=mac.xml
0.27/0.30
0.27/0.30 instance
0.27/0.30 name=HOME/instance-2098607-1247416170.xml
0.27/0.34
0.27/0.34 domains being loaded...
0.27/0.35
0.27/0.35 variables being loaded...
0.27/0.39 nbVariables=49 nbDomainTypes=49 minDomainSize=327 maxDomainSize=424 nbTotalValues=18326
0.27/0.39 => wckTime=0.123 cpuTime=0.11 mem=7M894
0.27/0.39
0.27/0.39 predicates being loaded...
0.38/0.45
0.38/0.46 constraints being loaded...
0.57/0.69 java.lang.NullPointerException
0.66/0.74 at abscon.tools.graphers.SaucySaver.runSaucy(SaucySaver.java:293)
0.66/0.74 at abscon.tools.graphers.SaucySaver.<init>(SaucySaver.java:321)
0.66/0.74 at abscon.problem.Problem.buildSymmetries(Problem.java:859)
0.66/0.74 at abscon.problem.Problem.storeConstraintsToArray(Problem.java:1002)
0.66/0.74 at problems.XSax.InstanceHandler.endElement(InstanceHandler.java:502)
0.66/0.74 at com.sun.org.apache.xerces.internal.parsers.AbstractSAXParser.endElement(Unknown Source)
0.66/0.74 at com.sun.org.apache.xerces.internal.impl.XMLDocumentFragmentScannerImpl.scanEndElement(Unknown Source)
0.66/0.74 at com.sun.org.apache.xerces.internal.impl.XMLDocumentFragmentScannerImpl$FragmentContentDriver.next(Unknown Source)
0.66/0.74 at com.sun.org.apache.xerces.internal.impl.XMLDocumentScannerImpl.next(Unknown Source)
0.66/0.74 at com.sun.org.apache.xerces.internal.impl.XMLDocumentFragmentScannerImpl.scanDocument(Unknown Source)
0.66/0.74 at com.sun.org.apache.xerces.internal.parsers.XML11Configuration.parse(Unknown Source)
0.66/0.74 at com.sun.org.apache.xerces.internal.parsers.XML11Configuration.parse(Unknown Source)
0.66/0.74 at com.sun.org.apache.xerces.internal.parsers.XMLParser.parse(Unknown Source)
0.66/0.74 at com.sun.org.apache.xerces.internal.parsers.AbstractSAXParser.parse(Unknown Source)
0.66/0.74 at com.sun.org.apache.xerces.internal.jaxp.SAXParserImpl$JAXPSAXParser.parse(Unknown Source)
0.66/0.74 at javax.xml.parsers.SAXParser.parse(Unknown Source)
0.66/0.74 at javax.xml.parsers.SAXParser.parse(Unknown Source)
0.66/0.74 at problems.XSax.Problem0.addVariables(Problem0.java:74)
0.66/0.74 at problems.XSax.Problem0.attachToCore(Problem0.java:86)
0.66/0.74 at abscon.problem.Problem.attachTo(Problem.java:1190)
0.66/0.74 at abscon.Resolution.buildProblemInstance(Resolution.java:313)
0.66/0.74 at abscon.Resolution.solveInstance(Resolution.java:439)
0.66/0.74 at abscon.Resolution.solveInstances(Resolution.java:649)
0.66/0.74 at abscon.Resolution.main(Resolution.java:747)
0.66/0.78 nbConstraints=301 nbGlobalConstraints=301 nbSharedBinaryRepresentations=0 minDegree=13 maxDegree=13 minArity=2
0.66/0.78 avgArity=2.12 maxArity=7 nbGenerators=0 nbFusions=0 symmetryWckTime=0.128 symmetryCpuTime=0.05 nbCliques=7
0.66/0.78 => wckTime=0.514 cpuTime=0.34 mem=15M767
0.75/0.84
0.75/0.84 solver IterativeSystematicSolver being built...
0.82/0.91
0.82/0.91 INFO : Forward propagation technique limited
0.82/0.97 => wckTime=0.707 cpuTime=0.46 mem=21M173
0.82/0.99
0.82/0.99 preprocessing
0.82/0.99 nbConstraintChecks=0 nbPropagations=49 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.82/0.99 detectedInconsistency=no
0.82/0.99 => wckTime=0.0080 cpuTime=0.01 mem=22M152
2.21/2.35
2.21/2.35 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=49M683)
1359.22/1370.22
1359.22/1370.22 search
1359.22/1370.22 run=29 nbConstraintChecks=486280278 minDepth=10 maxDepth=49 nbPropagations=93213340 nbRevisions=0
1359.22/1370.22 nbUselessRevisions=0 nbAssignments=3480357 nbFailedAssignments=3231863 nbInferredBacktracks=3404
1359.22/1370.22 nbBacktracks=248097 nbVisitedNodes=6925670 nbRestartNogoods=2542 nbFoundSolutions=1 nbSEliminables=0
1359.22/1370.22 nbREliminables=6.68 nbIEliminables=0 nbDEliminables=0 nbPEliminables=0
1359.22/1370.22 => wckTime=1369.238 cpuTime=1356.64 mem=16M619
1359.22/1370.22
1359.22/1370.22 global
1359.22/1370.22 nbConstraintChecks=486280278 nbPropagations=93213389 nbRestartNogoods=2542 solvingWckTime=1369.24
1359.22/1370.22 solvingCpuTime=1356.64 expiredTime=no totalExploration=no nbFoundSolutions=1 firstSolutionCpuTime=1357.09
1359.22/1370.22 globalCpuTime=1357.15
1359.22/1370.22 => wckTime=1369.951 cpuTime=1357.1 mem=16M619
1359.22/1370.22
1359.22/1370.22 s SATISFIABLE
1359.22/1370.22 v 376 50 174 0 80 188 293 337 188 376 80 122 0 243 191 423 0 117 58 243 133 391 27 65 295 133 212 0 120 204 265 65 174 342 0 120 172 122 27 152 316 146 146 62 342 316 212 293 0
1359.22/1370.22 d NODES 3480357
1359.22/1370.22 d CHECKS 486280278
1359.22/1370.22
1359.22/1370.22 totalWckTime=1370.027 totalCpuTime=1357.15
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2098607-1247416170/watcher-2098607-1247416170 -o /tmp/evaluation-result-2098607-1247416170/solver-2098607-1247416170 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2098607-1247416170.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.85 1.97 2.01 4/80 2432
/proc/meminfo: memFree=1695576/2055920 swapFree=4192812/4192956
[pid=2432] ppid=2430 vsize=18576 CPUtime=0
/proc/2432/stat : 2432 (runsolver) R 2430 2432 2358 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 28683640 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 217871609127 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/2432/statm: 4644 284 249 26 0 2626 0
[startup+0.0154871 s]
/proc/loadavg: 1.85 1.97 2.01 4/80 2432
/proc/meminfo: memFree=1695576/2055920 swapFree=4192812/4192956
[pid=2432] ppid=2430 vsize=10676 CPUtime=0
/proc/2432/stat : 2432 (java) S 2430 2432 2358 0 -1 0 678 0 0 0 0 0 0 0 19 0 2 0 28683640 10932224 474 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2432/statm: 2669 474 207 9 0 1184 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10676
[startup+0.101983 s]
/proc/loadavg: 1.85 1.97 2.01 4/80 2432
/proc/meminfo: memFree=1695576/2055920 swapFree=4192812/4192956
[pid=2432] ppid=2430 vsize=865984 CPUtime=0.08
/proc/2432/stat : 2432 (java) S 2430 2432 2358 0 -1 0 3732 0 1 0 6 2 0 0 19 0 9 0 28683640 886767616 3200 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2432/statm: 216496 3200 1695 9 0 210981 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984
[startup+0.302016 s]
/proc/loadavg: 1.85 1.97 2.01 4/80 2432
/proc/meminfo: memFree=1695576/2055920 swapFree=4192812/4192956
[pid=2432] ppid=2430 vsize=866384 CPUtime=0.27
/proc/2432/stat : 2432 (java) S 2430 2432 2358 0 -1 0 5767 0 1 0 24 3 0 0 19 0 9 0 28683640 887177216 5158 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2432/statm: 216596 5158 1957 9 0 211054 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 866384
[startup+0.708822 s]
/proc/loadavg: 1.85 1.97 2.01 4/80 2432
/proc/meminfo: memFree=1695576/2055920 swapFree=4192812/4192956
[pid=2432] ppid=2430 vsize=867504 CPUtime=0.66
/proc/2432/stat : 2432 (java) S 2430 2432 2358 0 -1 0 8619 0 1 0 60 6 0 0 19 0 10 0 28683640 888324096 7832 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2432/statm: 216876 7832 2041 9 0 211312 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 867504
[startup+1.50215 s]
/proc/loadavg: 1.85 1.97 2.01 4/89 2443
/proc/meminfo: memFree=1662864/2055920 swapFree=4192812/4192956
[pid=2432] ppid=2430 vsize=867628 CPUtime=1.41
/proc/2432/stat : 2432 (java) S 2430 2432 2358 0 -1 0 21716 171 1 0 130 11 0 0 19 0 9 0 28683640 888451072 16183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2432/statm: 216907 16183 2658 9 0 211343 0
[pid=2432/tid=2434] ppid=2430 vsize=867628 CPUtime=1.12
/proc/2432/task/2434/stat : 2434 (java) R 2430 2432 2358 0 -1 64 17531 171 1 0 103 9 0 0 25 0 9 0 28683642 888451072 16183 996147200 134512640 134550932 4294955968 18446744073709551615 4126907963 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2435] ppid=2430 vsize=867628 CPUtime=0.04
/proc/2432/task/2435/stat : 2435 (java) S 2430 2432 2358 0 -1 64 2658 171 0 0 4 0 0 0 16 0 9 0 28683643 888451072 16183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2436] ppid=2430 vsize=867628 CPUtime=0
/proc/2432/task/2436/stat : 2436 (java) S 2430 2432 2358 0 -1 64 17 171 0 0 0 0 0 0 16 0 9 0 28683643 888451072 16183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2437] ppid=2430 vsize=867628 CPUtime=0
/proc/2432/task/2437/stat : 2437 (java) S 2430 2432 2358 0 -1 64 11 171 0 0 0 0 0 0 15 0 9 0 28683643 888451072 16183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2438] ppid=2430 vsize=867628 CPUtime=0
/proc/2432/task/2438/stat : 2438 (java) S 2430 2432 2358 0 -1 64 2 171 0 0 0 0 0 0 18 0 9 0 28683645 888451072 16183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2439] ppid=2430 vsize=867628 CPUtime=0.23
/proc/2432/task/2439/stat : 2439 (java) S 2430 2432 2358 0 -1 64 739 171 0 0 22 1 0 0 15 0 9 0 28683645 888451072 16183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2440] ppid=2430 vsize=867628 CPUtime=0
/proc/2432/task/2440/stat : 2440 (java) S 2430 2432 2358 0 -1 64 1 171 0 0 0 0 0 0 19 0 9 0 28683645 888451072 16183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2441] ppid=2430 vsize=867628 CPUtime=0
/proc/2432/task/2441/stat : 2441 (java) S 2430 2432 2358 0 -1 64 8 171 0 0 0 0 0 0 15 0 9 0 28683645 888451072 16183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 867628
[startup+3.10233 s]
/proc/loadavg: 1.85 1.97 2.01 4/89 2443
/proc/meminfo: memFree=1629840/2055920 swapFree=4192812/4192956
[pid=2432] ppid=2430 vsize=867540 CPUtime=3.01
/proc/2432/stat : 2432 (java) S 2430 2432 2358 0 -1 0 25750 171 1 0 288 13 0 0 19 0 9 0 28683640 888360960 20060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2432/statm: 216885 20060 2639 9 0 211343 0
[pid=2432/tid=2434] ppid=2430 vsize=867540 CPUtime=2.65
/proc/2432/task/2434/stat : 2434 (java) R 2430 2432 2358 0 -1 64 19154 171 1 0 256 9 0 0 25 0 9 0 28683642 888360960 20060 996147200 134512640 134550932 4294955968 18446744073709551615 4126902840 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2435] ppid=2430 vsize=867540 CPUtime=0.07
/proc/2432/task/2435/stat : 2435 (java) S 2430 2432 2358 0 -1 64 5056 171 0 0 6 1 0 0 16 0 9 0 28683643 888360960 20060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2436] ppid=2430 vsize=867540 CPUtime=0
/proc/2432/task/2436/stat : 2436 (java) S 2430 2432 2358 0 -1 64 17 171 0 0 0 0 0 0 16 0 9 0 28683643 888360960 20060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2437] ppid=2430 vsize=867540 CPUtime=0
/proc/2432/task/2437/stat : 2437 (java) S 2430 2432 2358 0 -1 64 11 171 0 0 0 0 0 0 15 0 9 0 28683643 888360960 20060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2438] ppid=2430 vsize=867540 CPUtime=0
/proc/2432/task/2438/stat : 2438 (java) S 2430 2432 2358 0 -1 64 2 171 0 0 0 0 0 0 18 0 9 0 28683645 888360960 20060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2439] ppid=2430 vsize=867540 CPUtime=0.26
/proc/2432/task/2439/stat : 2439 (java) S 2430 2432 2358 0 -1 64 752 171 0 0 25 1 0 0 15 0 9 0 28683645 888360960 20060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2440] ppid=2430 vsize=867540 CPUtime=0
/proc/2432/task/2440/stat : 2440 (java) S 2430 2432 2358 0 -1 64 1 171 0 0 0 0 0 0 19 0 9 0 28683645 888360960 20060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2441] ppid=2430 vsize=867540 CPUtime=0
/proc/2432/task/2441/stat : 2441 (java) S 2430 2432 2358 0 -1 64 8 171 0 0 0 0 0 0 15 0 9 0 28683645 888360960 20060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 867540
[startup+6.30171 s]
/proc/loadavg: 1.94 1.98 2.01 3/89 2443
/proc/meminfo: memFree=1624848/2055920 swapFree=4192812/4192956
[pid=2432] ppid=2430 vsize=867540 CPUtime=5.46
/proc/2432/stat : 2432 (java) S 2430 2432 2358 0 -1 0 25763 171 1 0 533 13 0 0 19 0 9 0 28683640 888360960 20060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2432/statm: 216885 20060 2639 9 0 211343 0
[pid=2432/tid=2434] ppid=2430 vsize=867540 CPUtime=5.09
/proc/2432/task/2434/stat : 2434 (java) R 2430 2432 2358 0 -1 64 19158 171 1 0 500 9 0 0 25 0 9 0 28683642 888360960 20060 996147200 134512640 134550932 4294955968 18446744073709551615 4126905585 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2435] ppid=2430 vsize=867540 CPUtime=0.07
/proc/2432/task/2435/stat : 2435 (java) S 2430 2432 2358 0 -1 64 5056 171 0 0 6 1 0 0 16 0 9 0 28683643 888360960 20060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2436] ppid=2430 vsize=867540 CPUtime=0
/proc/2432/task/2436/stat : 2436 (java) S 2430 2432 2358 0 -1 64 17 171 0 0 0 0 0 0 16 0 9 0 28683643 888360960 20060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2437] ppid=2430 vsize=867540 CPUtime=0
/proc/2432/task/2437/stat : 2437 (java) S 2430 2432 2358 0 -1 64 11 171 0 0 0 0 0 0 15 0 9 0 28683643 888360960 20060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2438] ppid=2430 vsize=867540 CPUtime=0
/proc/2432/task/2438/stat : 2438 (java) S 2430 2432 2358 0 -1 64 2 171 0 0 0 0 0 0 18 0 9 0 28683645 888360960 20060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2439] ppid=2430 vsize=867540 CPUtime=0.26
/proc/2432/task/2439/stat : 2439 (java) S 2430 2432 2358 0 -1 64 752 171 0 0 25 1 0 0 16 0 9 0 28683645 888360960 20060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2440] ppid=2430 vsize=867540 CPUtime=0
/proc/2432/task/2440/stat : 2440 (java) S 2430 2432 2358 0 -1 64 1 171 0 0 0 0 0 0 19 0 9 0 28683645 888360960 20060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2441] ppid=2430 vsize=867540 CPUtime=0
/proc/2432/task/2441/stat : 2441 (java) S 2430 2432 2358 0 -1 64 17 171 0 0 0 0 0 0 15 0 9 0 28683645 888360960 20060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.46
Current children cumulated vsize (KiB) 867540
[startup+12.7025 s]
/proc/loadavg: 2.02 2.00 2.02 3/89 2443
/proc/meminfo: memFree=1624656/2055920 swapFree=4192812/4192956
[pid=2432] ppid=2430 vsize=867540 CPUtime=11.83
/proc/2432/stat : 2432 (java) S 2430 2432 2358 0 -1 0 25782 171 1 0 1170 13 0 0 19 0 9 0 28683640 888360960 20071 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2432/statm: 216885 20071 2639 9 0 211343 0
[pid=2432/tid=2434] ppid=2430 vsize=867540 CPUtime=11.45
/proc/2432/task/2434/stat : 2434 (java) R 2430 2432 2358 0 -1 64 19166 171 1 0 1136 9 0 0 25 0 9 0 28683642 888360960 20071 996147200 134512640 134550932 4294955968 18446744073709551615 4126907963 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2435] ppid=2430 vsize=867540 CPUtime=0.08
/proc/2432/task/2435/stat : 2435 (java) S 2430 2432 2358 0 -1 64 5064 171 0 0 7 1 0 0 16 0 9 0 28683643 888360960 20071 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2436] ppid=2430 vsize=867540 CPUtime=0
/proc/2432/task/2436/stat : 2436 (java) S 2430 2432 2358 0 -1 64 17 171 0 0 0 0 0 0 16 0 9 0 28683643 888360960 20071 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2437] ppid=2430 vsize=867540 CPUtime=0
/proc/2432/task/2437/stat : 2437 (java) S 2430 2432 2358 0 -1 64 11 171 0 0 0 0 0 0 15 0 9 0 28683643 888360960 20071 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2438] ppid=2430 vsize=867540 CPUtime=0
/proc/2432/task/2438/stat : 2438 (java) S 2430 2432 2358 0 -1 64 2 171 0 0 0 0 0 0 18 0 9 0 28683645 888360960 20071 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2439] ppid=2430 vsize=867540 CPUtime=0.26
/proc/2432/task/2439/stat : 2439 (java) S 2430 2432 2358 0 -1 64 755 171 0 0 25 1 0 0 16 0 9 0 28683645 888360960 20071 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2440] ppid=2430 vsize=867540 CPUtime=0
/proc/2432/task/2440/stat : 2440 (java) S 2430 2432 2358 0 -1 64 1 171 0 0 0 0 0 0 19 0 9 0 28683645 888360960 20071 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2441] ppid=2430 vsize=867540 CPUtime=0
/proc/2432/task/2441/stat : 2441 (java) S 2430 2432 2358 0 -1 64 17 171 0 0 0 0 0 0 15 0 9 0 28683645 888360960 20071 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 11.83
Current children cumulated vsize (KiB) 867540
[startup+25.5029 s]
/proc/loadavg: 2.09 2.02 2.02 3/89 2443
/proc/meminfo: memFree=1624464/2055920 swapFree=4192812/4192956
[pid=2432] ppid=2430 vsize=867540 CPUtime=24.55
/proc/2432/stat : 2432 (java) S 2430 2432 2358 0 -1 0 25838 171 1 0 2441 14 0 0 19 0 9 0 28683640 888360960 20102 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2432/statm: 216885 20102 2639 9 0 211343 0
[pid=2432/tid=2434] ppid=2430 vsize=867540 CPUtime=24.15
/proc/2432/task/2434/stat : 2434 (java) R 2430 2432 2358 0 -1 64 19183 171 1 0 2405 10 0 0 25 0 9 0 28683642 888360960 20102 996147200 134512640 134550932 4294955968 18446744073709551615 4126927081 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2435] ppid=2430 vsize=867540 CPUtime=0.1
/proc/2432/task/2435/stat : 2435 (java) S 2430 2432 2358 0 -1 64 5093 171 0 0 9 1 0 0 16 0 9 0 28683643 888360960 20102 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2436] ppid=2430 vsize=867540 CPUtime=0
/proc/2432/task/2436/stat : 2436 (java) S 2430 2432 2358 0 -1 64 17 171 0 0 0 0 0 0 16 0 9 0 28683643 888360960 20102 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2437] ppid=2430 vsize=867540 CPUtime=0
/proc/2432/task/2437/stat : 2437 (java) S 2430 2432 2358 0 -1 64 11 171 0 0 0 0 0 0 15 0 9 0 28683643 888360960 20102 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2438] ppid=2430 vsize=867540 CPUtime=0
/proc/2432/task/2438/stat : 2438 (java) S 2430 2432 2358 0 -1 64 2 171 0 0 0 0 0 0 18 0 9 0 28683645 888360960 20102 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2439] ppid=2430 vsize=867540 CPUtime=0.27
/proc/2432/task/2439/stat : 2439 (java) S 2430 2432 2358 0 -1 64 765 171 0 0 26 1 0 0 16 0 9 0 28683645 888360960 20102 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2440] ppid=2430 vsize=867540 CPUtime=0
/proc/2432/task/2440/stat : 2440 (java) S 2430 2432 2358 0 -1 64 1 171 0 0 0 0 0 0 19 0 9 0 28683645 888360960 20102 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2441] ppid=2430 vsize=867540 CPUtime=0
/proc/2432/task/2441/stat : 2441 (java) S 2430 2432 2358 0 -1 64 17 171 0 0 0 0 0 0 15 0 9 0 28683645 888360960 20102 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 24.55
Current children cumulated vsize (KiB) 867540
[startup+51.1029 s]
/proc/loadavg: 2.13 2.03 2.02 3/89 2443
/proc/meminfo: memFree=1624400/2055920 swapFree=4192812/4192956
[pid=2432] ppid=2430 vsize=867540 CPUtime=50.03
/proc/2432/stat : 2432 (java) S 2430 2432 2358 0 -1 0 25881 171 1 0 4988 15 0 0 19 0 9 0 28683640 888360960 20111 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2432/statm: 216885 20111 2639 9 0 211343 0
[pid=2432/tid=2434] ppid=2430 vsize=867540 CPUtime=49.59
/proc/2432/task/2434/stat : 2434 (java) R 2430 2432 2358 0 -1 64 19217 171 1 0 4949 10 0 0 25 0 9 0 28683642 888360960 20111 996147200 134512640 134550932 4294955968 18446744073709551615 4126909326 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2435] ppid=2430 vsize=867540 CPUtime=0.13
/proc/2432/task/2435/stat : 2435 (java) S 2430 2432 2358 0 -1 64 5102 171 0 0 11 2 0 0 17 0 9 0 28683643 888360960 20111 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2436] ppid=2430 vsize=867540 CPUtime=0
/proc/2432/task/2436/stat : 2436 (java) S 2430 2432 2358 0 -1 64 17 171 0 0 0 0 0 0 16 0 9 0 28683643 888360960 20111 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2437] ppid=2430 vsize=867540 CPUtime=0
/proc/2432/task/2437/stat : 2437 (java) S 2430 2432 2358 0 -1 64 11 171 0 0 0 0 0 0 15 0 9 0 28683643 888360960 20111 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2438] ppid=2430 vsize=867540 CPUtime=0
/proc/2432/task/2438/stat : 2438 (java) S 2430 2432 2358 0 -1 64 2 171 0 0 0 0 0 0 18 0 9 0 28683645 888360960 20111 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2439] ppid=2430 vsize=867540 CPUtime=0.27
/proc/2432/task/2439/stat : 2439 (java) S 2430 2432 2358 0 -1 64 765 171 0 0 26 1 0 0 16 0 9 0 28683645 888360960 20111 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2440] ppid=2430 vsize=867540 CPUtime=0
/proc/2432/task/2440/stat : 2440 (java) S 2430 2432 2358 0 -1 64 1 171 0 0 0 0 0 0 19 0 9 0 28683645 888360960 20111 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
[pid=2432/tid=2434] ppid=2430 vsize=867540 CPUtime=1289.77
/proc/2432/task/2434/stat : 2434 (java) R 2430 2432 2358 0 -1 64 20568 171 1 0 128924 53 0 0 25 0 9 0 28683642 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4126902840 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2432/tid=2435] ppid=2430 vsize=867540 CPUtime=1.24
/proc/2432/task/2435/stat : 2435 (java) S 2430 2432 2358 0 -1 64 5156 171 0 0 113 11 0 0 16 0 9 0 28683643 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2432/tid=2436] ppid=2430 vsize=867540 CPUtime=0
/proc/2432/task/2436/stat : 2436 (java) S 2430 2432 2358 0 -1 64 17 171 0 0 0 0 0 0 16 0 9 0 28683643 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2437] ppid=2430 vsize=867540 CPUtime=0
/proc/2432/task/2437/stat : 2437 (java) S 2430 2432 2358 0 -1 64 11 171 0 0 0 0 0 0 15 0 9 0 28683643 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2438] ppid=2430 vsize=867540 CPUtime=0
/proc/2432/task/2438/stat : 2438 (java) S 2430 2432 2358 0 -1 64 2 171 0 0 0 0 0 0 18 0 9 0 28683645 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2439] ppid=2430 vsize=867540 CPUtime=0.27
/proc/2432/task/2439/stat : 2439 (java) S 2430 2432 2358 0 -1 64 766 171 0 0 26 1 0 0 16 0 9 0 28683645 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2440] ppid=2430 vsize=867540 CPUtime=0
/proc/2432/task/2440/stat : 2440 (java) S 2430 2432 2358 0 -1 64 1 171 0 0 0 0 0 0 19 0 9 0 28683645 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2441] ppid=2430 vsize=867540 CPUtime=0.35
/proc/2432/task/2441/stat : 2441 (java) S 2430 2432 2358 0 -1 64 17 171 0 0 12 23 0 0 15 0 9 0 28683645 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1291.69
Current children cumulated vsize (KiB) 867540
[startup+1362.3 s]
/proc/loadavg: 2.07 2.28 2.26 3/89 3182
/proc/meminfo: memFree=1706088/2055920 swapFree=4192812/4192956
[pid=2432] ppid=2430 vsize=867540 CPUtime=1351.36
/proc/2432/stat : 2432 (java) S 2430 2432 2358 0 -1 0 27346 171 1 0 135045 91 0 0 19 0 9 0 28683640 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2432/statm: 216885 20166 2639 9 0 211343 0
[pid=2432/tid=2434] ppid=2430 vsize=867540 CPUtime=1349.42
/proc/2432/task/2434/stat : 2434 (java) R 2430 2432 2358 0 -1 64 20627 171 1 0 134888 54 0 0 25 0 9 0 28683642 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4126778960 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2432/tid=2435] ppid=2430 vsize=867540 CPUtime=1.28
/proc/2432/task/2435/stat : 2435 (java) S 2430 2432 2358 0 -1 64 5156 171 0 0 117 11 0 0 16 0 9 0 28683643 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2432/tid=2436] ppid=2430 vsize=867540 CPUtime=0
/proc/2432/task/2436/stat : 2436 (java) S 2430 2432 2358 0 -1 64 17 171 0 0 0 0 0 0 16 0 9 0 28683643 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2437] ppid=2430 vsize=867540 CPUtime=0
/proc/2432/task/2437/stat : 2437 (java) S 2430 2432 2358 0 -1 64 11 171 0 0 0 0 0 0 15 0 9 0 28683643 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2438] ppid=2430 vsize=867540 CPUtime=0
/proc/2432/task/2438/stat : 2438 (java) S 2430 2432 2358 0 -1 64 2 171 0 0 0 0 0 0 18 0 9 0 28683645 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2439] ppid=2430 vsize=867540 CPUtime=0.27
/proc/2432/task/2439/stat : 2439 (java) S 2430 2432 2358 0 -1 64 766 171 0 0 26 1 0 0 16 0 9 0 28683645 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2440] ppid=2430 vsize=867540 CPUtime=0
/proc/2432/task/2440/stat : 2440 (java) S 2430 2432 2358 0 -1 64 1 171 0 0 0 0 0 0 19 0 9 0 28683645 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2441] ppid=2430 vsize=867540 CPUtime=0.35
/proc/2432/task/2441/stat : 2441 (java) S 2430 2432 2358 0 -1 64 17 171 0 0 12 23 0 0 15 0 9 0 28683645 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1351.36
Current children cumulated vsize (KiB) 867540
Solver just ended. Dumping a history of the last processes samples
[startup+1365.2 s]
/proc/loadavg: 2.07 2.28 2.26 3/89 3182
/proc/meminfo: memFree=1706088/2055920 swapFree=4192812/4192956
[pid=2432] ppid=2430 vsize=867540 CPUtime=1354.25
/proc/2432/stat : 2432 (java) S 2430 2432 2358 0 -1 0 27349 171 1 0 135334 91 0 0 19 0 9 0 28683640 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2432/statm: 216885 20166 2639 9 0 211343 0
[pid=2432/tid=2434] ppid=2430 vsize=867540 CPUtime=1352.31
/proc/2432/task/2434/stat : 2434 (java) R 2430 2432 2358 0 -1 64 20630 171 1 0 135177 54 0 0 25 0 9 0 28683642 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4125952186 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2432/tid=2435] ppid=2430 vsize=867540 CPUtime=1.28
/proc/2432/task/2435/stat : 2435 (java) S 2430 2432 2358 0 -1 64 5156 171 0 0 117 11 0 0 16 0 9 0 28683643 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2432/tid=2436] ppid=2430 vsize=867540 CPUtime=0
/proc/2432/task/2436/stat : 2436 (java) S 2430 2432 2358 0 -1 64 17 171 0 0 0 0 0 0 16 0 9 0 28683643 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2437] ppid=2430 vsize=867540 CPUtime=0
/proc/2432/task/2437/stat : 2437 (java) S 2430 2432 2358 0 -1 64 11 171 0 0 0 0 0 0 15 0 9 0 28683643 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2438] ppid=2430 vsize=867540 CPUtime=0
/proc/2432/task/2438/stat : 2438 (java) S 2430 2432 2358 0 -1 64 2 171 0 0 0 0 0 0 18 0 9 0 28683645 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2439] ppid=2430 vsize=867540 CPUtime=0.27
/proc/2432/task/2439/stat : 2439 (java) S 2430 2432 2358 0 -1 64 766 171 0 0 26 1 0 0 16 0 9 0 28683645 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2440] ppid=2430 vsize=867540 CPUtime=0
/proc/2432/task/2440/stat : 2440 (java) S 2430 2432 2358 0 -1 64 1 171 0 0 0 0 0 0 19 0 9 0 28683645 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2441] ppid=2430 vsize=867540 CPUtime=0.35
/proc/2432/task/2441/stat : 2441 (java) S 2430 2432 2358 0 -1 64 17 171 0 0 12 23 0 0 15 0 9 0 28683645 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1354.25
Current children cumulated vsize (KiB) 867540
[startup+1368.4 s]
/proc/loadavg: 2.06 2.27 2.26 3/89 3182
/proc/meminfo: memFree=1706088/2055920 swapFree=4192812/4192956
[pid=2432] ppid=2430 vsize=867540 CPUtime=1357.42
/proc/2432/stat : 2432 (java) S 2430 2432 2358 0 -1 0 27352 171 1 0 135651 91 0 0 19 0 9 0 28683640 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2432/statm: 216885 20166 2639 9 0 211343 0
[pid=2432/tid=2434] ppid=2430 vsize=867540 CPUtime=1355.49
/proc/2432/task/2434/stat : 2434 (java) R 2430 2432 2358 0 -1 64 20633 171 1 0 135495 54 0 0 25 0 9 0 28683642 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4126708568 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2432/tid=2435] ppid=2430 vsize=867540 CPUtime=1.28
/proc/2432/task/2435/stat : 2435 (java) S 2430 2432 2358 0 -1 64 5156 171 0 0 117 11 0 0 17 0 9 0 28683643 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2432/tid=2436] ppid=2430 vsize=867540 CPUtime=0
/proc/2432/task/2436/stat : 2436 (java) S 2430 2432 2358 0 -1 64 17 171 0 0 0 0 0 0 16 0 9 0 28683643 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2437] ppid=2430 vsize=867540 CPUtime=0
/proc/2432/task/2437/stat : 2437 (java) S 2430 2432 2358 0 -1 64 11 171 0 0 0 0 0 0 15 0 9 0 28683643 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2438] ppid=2430 vsize=867540 CPUtime=0
/proc/2432/task/2438/stat : 2438 (java) S 2430 2432 2358 0 -1 64 2 171 0 0 0 0 0 0 18 0 9 0 28683645 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2439] ppid=2430 vsize=867540 CPUtime=0.27
/proc/2432/task/2439/stat : 2439 (java) S 2430 2432 2358 0 -1 64 766 171 0 0 26 1 0 0 16 0 9 0 28683645 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2440] ppid=2430 vsize=867540 CPUtime=0
/proc/2432/task/2440/stat : 2440 (java) S 2430 2432 2358 0 -1 64 1 171 0 0 0 0 0 0 19 0 9 0 28683645 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2441] ppid=2430 vsize=867540 CPUtime=0.35
/proc/2432/task/2441/stat : 2441 (java) S 2430 2432 2358 0 -1 64 17 171 0 0 12 23 0 0 15 0 9 0 28683645 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1357.42
Current children cumulated vsize (KiB) 867540
[startup+1369.2 s]
/proc/loadavg: 2.06 2.27 2.26 3/89 3182
/proc/meminfo: memFree=1706088/2055920 swapFree=4192812/4192956
[pid=2432] ppid=2430 vsize=867540 CPUtime=1358.22
/proc/2432/stat : 2432 (java) S 2430 2432 2358 0 -1 0 27353 171 1 0 135731 91 0 0 19 0 9 0 28683640 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2432/statm: 216885 20166 2639 9 0 211343 0
[pid=2432/tid=2434] ppid=2430 vsize=867540 CPUtime=1356.29
/proc/2432/task/2434/stat : 2434 (java) R 2430 2432 2358 0 -1 64 20634 171 1 0 135575 54 0 0 25 0 9 0 28683642 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4126902840 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2432/tid=2435] ppid=2430 vsize=867540 CPUtime=1.28
/proc/2432/task/2435/stat : 2435 (java) S 2430 2432 2358 0 -1 64 5156 171 0 0 117 11 0 0 16 0 9 0 28683643 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2432/tid=2436] ppid=2430 vsize=867540 CPUtime=0
/proc/2432/task/2436/stat : 2436 (java) S 2430 2432 2358 0 -1 64 17 171 0 0 0 0 0 0 16 0 9 0 28683643 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2437] ppid=2430 vsize=867540 CPUtime=0
/proc/2432/task/2437/stat : 2437 (java) S 2430 2432 2358 0 -1 64 11 171 0 0 0 0 0 0 15 0 9 0 28683643 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2438] ppid=2430 vsize=867540 CPUtime=0
/proc/2432/task/2438/stat : 2438 (java) S 2430 2432 2358 0 -1 64 2 171 0 0 0 0 0 0 18 0 9 0 28683645 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2439] ppid=2430 vsize=867540 CPUtime=0.27
/proc/2432/task/2439/stat : 2439 (java) S 2430 2432 2358 0 -1 64 766 171 0 0 26 1 0 0 16 0 9 0 28683645 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2440] ppid=2430 vsize=867540 CPUtime=0
/proc/2432/task/2440/stat : 2440 (java) S 2430 2432 2358 0 -1 64 1 171 0 0 0 0 0 0 19 0 9 0 28683645 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2441] ppid=2430 vsize=867540 CPUtime=0.35
/proc/2432/task/2441/stat : 2441 (java) S 2430 2432 2358 0 -1 64 17 171 0 0 12 23 0 0 15 0 9 0 28683645 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1358.22
Current children cumulated vsize (KiB) 867540
[startup+1370 s]
/proc/loadavg: 2.06 2.27 2.26 3/89 3182
/proc/meminfo: memFree=1706088/2055920 swapFree=4192812/4192956
[pid=2432] ppid=2430 vsize=867540 CPUtime=1359.02
/proc/2432/stat : 2432 (java) S 2430 2432 2358 0 -1 0 27353 171 1 0 135811 91 0 0 19 0 9 0 28683640 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2432/statm: 216885 20166 2639 9 0 211343 0
[pid=2432/tid=2434] ppid=2430 vsize=867540 CPUtime=1357.08
/proc/2432/task/2434/stat : 2434 (java) R 2430 2432 2358 0 -1 64 20634 171 1 0 135654 54 0 0 25 0 9 0 28683642 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4126927132 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2432/tid=2435] ppid=2430 vsize=867540 CPUtime=1.28
/proc/2432/task/2435/stat : 2435 (java) S 2430 2432 2358 0 -1 64 5156 171 0 0 117 11 0 0 16 0 9 0 28683643 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2432/tid=2436] ppid=2430 vsize=867540 CPUtime=0
/proc/2432/task/2436/stat : 2436 (java) S 2430 2432 2358 0 -1 64 17 171 0 0 0 0 0 0 16 0 9 0 28683643 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2437] ppid=2430 vsize=867540 CPUtime=0
/proc/2432/task/2437/stat : 2437 (java) S 2430 2432 2358 0 -1 64 11 171 0 0 0 0 0 0 15 0 9 0 28683643 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2438] ppid=2430 vsize=867540 CPUtime=0
/proc/2432/task/2438/stat : 2438 (java) S 2430 2432 2358 0 -1 64 2 171 0 0 0 0 0 0 18 0 9 0 28683645 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2439] ppid=2430 vsize=867540 CPUtime=0.27
/proc/2432/task/2439/stat : 2439 (java) S 2430 2432 2358 0 -1 64 766 171 0 0 26 1 0 0 16 0 9 0 28683645 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2440] ppid=2430 vsize=867540 CPUtime=0
/proc/2432/task/2440/stat : 2440 (java) S 2430 2432 2358 0 -1 64 1 171 0 0 0 0 0 0 19 0 9 0 28683645 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2441] ppid=2430 vsize=867540 CPUtime=0.35
/proc/2432/task/2441/stat : 2441 (java) S 2430 2432 2358 0 -1 64 17 171 0 0 12 23 0 0 15 0 9 0 28683645 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1359.02
Current children cumulated vsize (KiB) 867540
[startup+1370.2 s]
/proc/loadavg: 2.06 2.27 2.26 3/89 3182
/proc/meminfo: memFree=1706088/2055920 swapFree=4192812/4192956
[pid=2432] ppid=2430 vsize=867540 CPUtime=1359.22
/proc/2432/stat : 2432 (java) S 2430 2432 2358 0 -1 0 27354 171 1 0 135831 91 0 0 19 0 9 0 28683640 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2432/statm: 216885 20166 2639 9 0 211343 0
[pid=2432/tid=2434] ppid=2430 vsize=867540 CPUtime=1357.28
/proc/2432/task/2434/stat : 2434 (java) R 2430 2432 2358 0 -1 64 20635 171 1 0 135674 54 0 0 25 0 9 0 28683642 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4126885102 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2432/tid=2435] ppid=2430 vsize=867540 CPUtime=1.28
/proc/2432/task/2435/stat : 2435 (java) S 2430 2432 2358 0 -1 64 5156 171 0 0 117 11 0 0 17 0 9 0 28683643 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2432/tid=2436] ppid=2430 vsize=867540 CPUtime=0
/proc/2432/task/2436/stat : 2436 (java) S 2430 2432 2358 0 -1 64 17 171 0 0 0 0 0 0 16 0 9 0 28683643 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2437] ppid=2430 vsize=867540 CPUtime=0
/proc/2432/task/2437/stat : 2437 (java) S 2430 2432 2358 0 -1 64 11 171 0 0 0 0 0 0 15 0 9 0 28683643 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2438] ppid=2430 vsize=867540 CPUtime=0
/proc/2432/task/2438/stat : 2438 (java) S 2430 2432 2358 0 -1 64 2 171 0 0 0 0 0 0 18 0 9 0 28683645 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2439] ppid=2430 vsize=867540 CPUtime=0.27
/proc/2432/task/2439/stat : 2439 (java) S 2430 2432 2358 0 -1 64 766 171 0 0 26 1 0 0 16 0 9 0 28683645 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2440] ppid=2430 vsize=867540 CPUtime=0
/proc/2432/task/2440/stat : 2440 (java) S 2430 2432 2358 0 -1 64 1 171 0 0 0 0 0 0 19 0 9 0 28683645 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2432/tid=2441] ppid=2430 vsize=867540 CPUtime=0.35
/proc/2432/task/2441/stat : 2441 (java) S 2430 2432 2358 0 -1 64 17 171 0 0 12 23 0 0 15 0 9 0 28683645 888360960 20166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1359.22
Current children cumulated vsize (KiB) 867540
Child status: 0
Real time (s): 1370.24
CPU time (s): 1359.28
CPU user time (s): 1358.34
CPU system time (s): 0.938857
CPU usage (%): 99.1999
Max. virtual memory (cumulated for all children) (KiB): 867628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1358.34
system time used= 0.938857
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27559
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= 41346
involuntary context switches= 49800
runsolver used 1.88671 second user time and 4.99124 second system time
The end
Begin job on node28 at 2009-07-12 18:29:30
IDJOB=2098607
IDBENCH=58794
IDSOLVER=773
FILE ID=node28/2098607-1247416170
PBS_JOBID= 9510749
Free space on /tmp= 66116 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/os-taillard-7/normalized-os-taillard-7-100-7.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2098607-1247416170/watcher-2098607-1247416170 -o /tmp/evaluation-result-2098607-1247416170/solver-2098607-1247416170 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2098607-1247416170.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= a55ee0905232b4c6d55882a96504a02c
RANDOM SEED=26403513
node28.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.230
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.230
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: 1696056 kB
Buffers: 42472 kB
Cached: 123788 kB
SwapCached: 0 kB
Active: 226384 kB
Inactive: 77064 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1696056 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2400 kB
Writeback: 0 kB
Mapped: 154552 kB
Slab: 41400 kB
Committed_AS: 1008792 kB
PageTables: 2068 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66116 MiB
End job on node28 at 2009-07-12 18:52:21