Trace number 1086854

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
Abscon 112v4 ESACSAT 152.23 153.036

DiagnosticValue
CHECKS307282000
NODES568

General information on the benchmark

Namecsp/fapp/fapp31/
normalized-fapp31-0400-9.xml
MD5SUMbedba223a5500787a29a04735f75d2e4
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 benchmark144.181
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints3003
Maximum constraint arity2
Maximum domain size700
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3003
Global constraints used (with number of constraints)

Solver Data (download as text)

0.05/0.09	
0.05/0.09	Abscon 112 (May, 2008)
0.18/0.23	
0.18/0.23	   configuration
0.18/0.23	     name=esac.xml
0.27/0.31	   
0.27/0.31	   instance
0.27/0.31	     name=HOME/instance-1086854-1215241566.xml
0.27/0.35	   
0.27/0.35	   domains being loaded...
0.27/0.39	   
0.27/0.39	   variables being loaded...
0.48/0.59	     nbVariables=400  nbDomainTypes=4  minDomainSize=350  maxDomainSize=700  nbTotalValues=273538
0.48/0.59	       =>  wckTime=0.354  cpuTime=0.28  mem=15M743
0.48/0.59	   
0.48/0.59	   predicates being loaded...
0.58/0.66	   
0.58/0.66	   constraints being loaded...
20.57/20.72	   
20.57/20.72	   INFO : Stopping converting binary constraints (cpu=20.2, mem = 48M81)
21.87/22.07	     nbConstraints=1644  nbMergedConstraints=1359  nbConvertedConstraints=101  nbConvertConstraintsChecks=41018600
21.87/22.07	     nbExtensionStructures=85  nbSharedExtensionStructures=18  nbConflictsStructures=85  nbSharedConflictsStructures=18
21.87/22.07	     nbUnbuiltConflictsStructures=1164  nbSharedBinaryRepresentations=91058  nbEvaluationManagers=1164
21.87/22.07	     nbSharedEvaluationManagers=379  minDegree=3  maxDegree=11  minArity=2  maxArity=2  nbGenerators=0  nbFusions=0
21.87/22.07	     symmetryWckTime=0.618  symmetryCpuTime=0.48
21.87/22.07	       =>  wckTime=21.828  cpuTime=21.24  mem=17M536
21.96/22.16	   
21.96/22.16	   solver IterativeSystematicSolver being built... 
22.16/22.35	       =>  wckTime=22.114  cpuTime=21.4  mem=59M664
54.70/55.05	   
54.70/55.05	   preprocessing
54.70/55.05	     nbConstraintChecks=87950526  nbValidityChecks=328357  nbPropagations=448  nbRevisions=3865  nbUselessRevisions=3407
54.70/55.05	     nbRemovedValues=89890  detectedInconsistency=no
54.70/55.05	       =>  wckTime=32.691  cpuTime=32.51  mem=59M664
152.13/152.95	   
152.13/152.95	   search
152.13/152.95	     run=5  nbConstraintChecks=219331036  nbValidityChecks=17280830  minDepth=0  maxDepth=400  nbPropagations=23201
152.13/152.95	     nbRevisions=201771  nbUselessRevisions=105332  nbAssignments=568  nbFailedAssignments=168  nbBacktracks=0
152.13/152.95	     nbVisitedNodes=737  nbRestartNogoods=0  nbFoundSolutions=1  mapSize=0  nbInferences=0  nbTooLargeKeys=0
152.13/152.95	     nbSEliminables=201.49  nbREliminables=0.38  nbIEliminables=52.25  nbDEliminables=0  nbPEliminables=0
152.13/152.95	       =>  wckTime=130.59  cpuTime=129.85  mem=43M760
152.13/152.95	   
152.13/152.95	   global
152.13/152.95	     nbConstraintChecks=307281562  nbValidityChecks=17609187  nbPropagations=23649  nbRevisions=205636
152.13/152.95	     nbUselessRevisions=108739  nbRestartNogoods=0  solvingWckTime=130.593  solvingCpuTime=129.85  expiredTime=no
152.13/152.95	     totalExploration=no  nbFoundSolutions=1  firstSolutionCpuTime=151.23  globalCpuTime=151.29
152.13/152.95	       =>  wckTime=152.712  cpuTime=151.25  mem=43M760
152.13/152.96	   
152.13/152.96	s SATISFIABLE
152.13/152.96	v -2496 2360 1300 -1960 -1764 1352 -2600 2600 -2036 2228 2320 -2360 2212 2556 -2396 -2176 -1584 -2560 2516 -1360 -1656 -2420 -2600 -1336 2600 -2560 -1760 -1256 -2312 -1696 -2460 2196 1792 -2036 -2264 -1260 -1244 -1908 2488 -2304 -2600 -2296 -2600 -2600 -2444 -2288 -2088 -1792 -2600 -2192 -1640 -1944 -2496 -1396 -1672 -1372 -1336 -1988 -1308 2540 -2404 1812 -1924 -2560 -2240 1988 -1700 -2600 1608 -1748 1808 -2380 -1420 -2084 2004 -1700 2556 -2004 -2560 -1216 2268 -1204 -2360 -2248 -1312 1624 -1796 -2384 -1452 2184 1852 1888 -2464 -2396 -2388 1412 -2280 -2320 -2600 -2600 1204 -1804 -1284 -1768 -1664 1244 -2204 -2448 -1204 -2240 -1396 1932 -1920 1316 -1256 -1648 -1204 -1408 -1544 -1260 1608 -2172 -1320 1204 -2296 -1992 -1296 -1420 -2184 -1452 -1608 1376 -1440 -2420 -2600 -1288 1488 -1204 -1720 2272 -2600 2272 -2356 -1992 -1836 -2352 -1244 -2452 -1648 -1740 -1204 -2044 -1272 -1304 1536 1236 1624 -2600 1948 -1996 -1808 -1576 -1300 -2456 -2600 -1740 1952 -1392 -2460 -2504 -1704 -2560 1544 -1340 -2224 -1372 -2560 2060 2524 -2084 -2220 -2368 -2428 -1700 -2200 -2520 -1324 -2580 1684 1972 -1412 -1460 -2488 -1892 -1884 -1300 -2600 -1768 -2276 -1204 -1244 -1340 -1336 2048 -2484 2408 -1332 1204 -1480 -2168 -2560 -1328 -1536 1648 -1420 2104 -2600 -1444 1204 -1244 -1832 -1348 -2560 -1740 -1724 -1380 -1844 -1356 -2560 2400 -1556 -1580 -1804 -1448 -1868 -1880 -1244 -1220 -1964 -2244 -2560 -1276 -1688 -1496 1380 -2208 -1352 -2076 -2560 -1460 1260 -2600 -1300 -2144 -1244 -2448 -2588 -1292 -2424 -1260 -2560 -1420 -2068 -2560 1836 1832 2504 -1332 -1356 -2560 -2492 2312 -1708 2316 -2044 2560 -1920 -1608 -1852 -1220 -2448 -2516 -1492 -2256 -1452 -2468 -2152 1396 -1296 -2348 -1780 1724 -2216 -1244 -1812 -1412 2180 -1764 2220 -2548 -1892 -2560 2380 -1756 -2108 -2560 -1368 2304 -1600 -2600 -1232 -2560 2260 -2560 -2436 -1244 1964 -2600 -1864 1504 -1584 -2560 -2004 -1664 -2336 -1364 -1540 1356 -1260 -1964 -2464 -1924 -1648 -2144 -1984 -2328 1380 -1204 -2560 1516 -1764 -1968 1744 2100 -2600 1244 -1928 -1372 -1244 -2548 -2456 -1272 -1704 -2400 -1820 2368 -1520 1824 1464 -1712 1204 -2344 -2232 2600 1948 -2560 -2560 -1244 -1412 -1244 -1876 1584 -2020 -1964 -2500 -2044 1852 -1500 -2328 1244 2060 1356 1344 1400 1484 -2420 -1284 2588 -1392 -1928 -2032 -1216 -1204 -1324 -2280 2156 1728 -1220 -1796 -1932 
152.13/152.96	d NODES 568
152.13/152.96	d CHECKS 307281562
152.13/152.96	   
152.13/152.96	   totalWckTime=152.779  totalCpuTime=151.3

Verifier Data (download as text)

OK

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-1086854-1215241566/watcher-1086854-1215241566 -o /tmp/evaluation-result-1086854-1215241566/solver-1086854-1215241566 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1086854-1215241566.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.21 2.14 2.04 4/72 7131
/proc/meminfo: memFree=1655440/2055920 swapFree=4180808/4192956
[pid=7131] ppid=7129 vsize=18572 CPUtime=0
/proc/7131/stat : 7131 (runsolver) R 7129 7131 4292 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 2003126422 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 257203694887 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/7131/statm: 4643 292 257 25 0 2626 0

[startup+0.0779399 s]
/proc/loadavg: 2.21 2.14 2.04 4/72 7131
/proc/meminfo: memFree=1655440/2055920 swapFree=4180808/4192956
[pid=7131] ppid=7129 vsize=865856 CPUtime=0.05
/proc/7131/stat : 7131 (java) S 7129 7131 4292 0 -1 0 3355 0 1 0 4 1 0 0 18 0 9 0 2003126422 886636544 2871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7131/statm: 216464 2871 1560 9 0 211026 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 865856

[startup+0.101939 s]
/proc/loadavg: 2.21 2.14 2.04 4/72 7131
/proc/meminfo: memFree=1655440/2055920 swapFree=4180808/4192956
[pid=7131] ppid=7129 vsize=865884 CPUtime=0.08
/proc/7131/stat : 7131 (java) S 7129 7131 4292 0 -1 0 3719 0 1 0 7 1 0 0 18 0 9 0 2003126422 886665216 3182 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7131/statm: 216471 3182 1686 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884

[startup+0.301958 s]
/proc/loadavg: 2.21 2.14 2.04 4/72 7131
/proc/meminfo: memFree=1655440/2055920 swapFree=4180808/4192956
[pid=7131] ppid=7129 vsize=866196 CPUtime=0.27
/proc/7131/stat : 7131 (java) S 7129 7131 4292 0 -1 0 5623 0 1 0 24 3 0 0 18 0 9 0 2003126422 886984704 5037 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7131/statm: 216549 5037 1903 9 0 211097 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 866196

[startup+0.70199 s]
/proc/loadavg: 2.21 2.14 2.04 4/72 7131
/proc/meminfo: memFree=1655440/2055920 swapFree=4180808/4192956
[pid=7131] ppid=7129 vsize=867100 CPUtime=0.68
/proc/7131/stat : 7131 (java) S 7129 7131 4292 0 -1 0 9428 0 1 0 63 5 0 0 18 0 9 0 2003126422 887910400 8788 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7131/statm: 216775 8788 2006 9 0 211281 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867100

[startup+1.50105 s]
/proc/loadavg: 2.35 2.17 2.05 4/81 7140
/proc/meminfo: memFree=1615304/2055920 swapFree=4180808/4192956
[pid=7131] ppid=7129 vsize=867688 CPUtime=1.47
/proc/7131/stat : 7131 (java) S 7129 7131 4292 0 -1 0 12836 0 1 0 140 7 0 0 18 0 9 0 2003126422 888512512 12193 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7131/statm: 216922 12193 2014 9 0 211428 0
[pid=7131/tid=7133] ppid=7129 vsize=867688 CPUtime=1.27
/proc/7131/task/7133/stat : 7133 (java) R 7129 7131 4292 0 -1 64 11460 0 1 0 121 6 0 0 25 0 9 0 2003126424 888512512 12193 996147200 134512640 134550740 4294955968 18446744073709551615 4126878184 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7134] ppid=7129 vsize=867688 CPUtime=0
/proc/7131/task/7134/stat : 7134 (java) S 7129 7131 4292 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 2003126425 888512512 12193 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7135] ppid=7129 vsize=867688 CPUtime=0
/proc/7131/task/7135/stat : 7135 (java) S 7129 7131 4292 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 2003126426 888512512 12193 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7136] ppid=7129 vsize=867688 CPUtime=0
/proc/7131/task/7136/stat : 7136 (java) S 7129 7131 4292 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 2003126426 888512512 12193 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7137] ppid=7129 vsize=867688 CPUtime=0
/proc/7131/task/7137/stat : 7137 (java) S 7129 7131 4292 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2003126428 888512512 12193 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7138] ppid=7129 vsize=867688 CPUtime=0.18
/proc/7131/task/7138/stat : 7138 (java) S 7129 7131 4292 0 -1 64 678 0 0 0 18 0 0 0 16 0 9 0 2003126428 888512512 12193 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7139] ppid=7129 vsize=867688 CPUtime=0
/proc/7131/task/7139/stat : 7139 (java) S 7129 7131 4292 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 2003126428 888512512 12193 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7140] ppid=7129 vsize=867688 CPUtime=0
/proc/7131/task/7140/stat : 7140 (java) S 7129 7131 4292 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003126428 888512512 12193 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867688

[startup+3.10118 s]
/proc/loadavg: 2.35 2.17 2.05 3/81 7140
/proc/meminfo: memFree=1613512/2055920 swapFree=4180808/4192956
[pid=7131] ppid=7129 vsize=867688 CPUtime=3.06
/proc/7131/stat : 7131 (java) S 7129 7131 4292 0 -1 0 13209 0 1 0 299 7 0 0 18 0 9 0 2003126422 888512512 12565 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7131/statm: 216922 12565 2014 9 0 211428 0
[pid=7131/tid=7133] ppid=7129 vsize=867688 CPUtime=2.86
/proc/7131/task/7133/stat : 7133 (java) R 7129 7131 4292 0 -1 64 11829 0 1 0 280 6 0 0 25 0 9 0 2003126424 888512512 12565 996147200 134512640 134550740 4294955968 18446744073709551615 4126922530 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7134] ppid=7129 vsize=867688 CPUtime=0
/proc/7131/task/7134/stat : 7134 (java) S 7129 7131 4292 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2003126425 888512512 12565 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7135] ppid=7129 vsize=867688 CPUtime=0
/proc/7131/task/7135/stat : 7135 (java) S 7129 7131 4292 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 2003126426 888512512 12565 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7136] ppid=7129 vsize=867688 CPUtime=0
/proc/7131/task/7136/stat : 7136 (java) S 7129 7131 4292 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 2003126426 888512512 12565 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7137] ppid=7129 vsize=867688 CPUtime=0
/proc/7131/task/7137/stat : 7137 (java) S 7129 7131 4292 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2003126428 888512512 12565 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7138] ppid=7129 vsize=867688 CPUtime=0.19
/proc/7131/task/7138/stat : 7138 (java) S 7129 7131 4292 0 -1 64 682 0 0 0 19 0 0 0 16 0 9 0 2003126428 888512512 12565 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7139] ppid=7129 vsize=867688 CPUtime=0
/proc/7131/task/7139/stat : 7139 (java) S 7129 7131 4292 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 2003126428 888512512 12565 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7140] ppid=7129 vsize=867688 CPUtime=0
/proc/7131/task/7140/stat : 7140 (java) S 7129 7131 4292 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003126428 888512512 12565 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 867688

[startup+6.30244 s]
/proc/loadavg: 2.33 2.17 2.05 3/81 7140
/proc/meminfo: memFree=1610312/2055920 swapFree=4180808/4192956
[pid=7131] ppid=7129 vsize=867688 CPUtime=6.25
/proc/7131/stat : 7131 (java) S 7129 7131 4292 0 -1 0 13940 0 1 0 617 8 0 0 18 0 9 0 2003126422 888512512 13295 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7131/statm: 216922 13295 2014 9 0 211428 0
[pid=7131/tid=7133] ppid=7129 vsize=867688 CPUtime=6.03
/proc/7131/task/7133/stat : 7133 (java) R 7129 7131 4292 0 -1 64 12559 0 1 0 597 6 0 0 25 0 9 0 2003126424 888512512 13295 996147200 134512640 134550740 4294955968 18446744073709551615 4126881959 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7134] ppid=7129 vsize=867688 CPUtime=0
/proc/7131/task/7134/stat : 7134 (java) S 7129 7131 4292 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2003126425 888512512 13295 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7135] ppid=7129 vsize=867688 CPUtime=0
/proc/7131/task/7135/stat : 7135 (java) S 7129 7131 4292 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 2003126426 888512512 13295 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7136] ppid=7129 vsize=867688 CPUtime=0
/proc/7131/task/7136/stat : 7136 (java) S 7129 7131 4292 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 2003126426 888512512 13295 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7137] ppid=7129 vsize=867688 CPUtime=0
/proc/7131/task/7137/stat : 7137 (java) S 7129 7131 4292 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2003126428 888512512 13295 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7138] ppid=7129 vsize=867688 CPUtime=0.19
/proc/7131/task/7138/stat : 7138 (java) S 7129 7131 4292 0 -1 64 683 0 0 0 19 0 0 0 16 0 9 0 2003126428 888512512 13295 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7139] ppid=7129 vsize=867688 CPUtime=0
/proc/7131/task/7139/stat : 7139 (java) S 7129 7131 4292 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 2003126428 888512512 13295 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7140] ppid=7129 vsize=867688 CPUtime=0
/proc/7131/task/7140/stat : 7140 (java) S 7129 7131 4292 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003126428 888512512 13295 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 867688

[startup+12.703 s]
/proc/loadavg: 2.30 2.16 2.05 3/81 7140
/proc/meminfo: memFree=1604680/2055920 swapFree=4180808/4192956
[pid=7131] ppid=7129 vsize=867688 CPUtime=12.62
/proc/7131/stat : 7131 (java) S 7129 7131 4292 0 -1 0 15302 0 1 0 1253 9 0 0 18 0 9 0 2003126422 888512512 14654 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7131/statm: 216922 14654 2014 9 0 211428 0
[pid=7131/tid=7133] ppid=7129 vsize=867688 CPUtime=12.4
/proc/7131/task/7133/stat : 7133 (java) R 7129 7131 4292 0 -1 64 13917 0 1 0 1233 7 0 0 25 0 9 0 2003126424 888512512 14654 996147200 134512640 134550740 4294955968 18446744073709551615 4126880710 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7134] ppid=7129 vsize=867688 CPUtime=0
/proc/7131/task/7134/stat : 7134 (java) S 7129 7131 4292 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2003126425 888512512 14654 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7135] ppid=7129 vsize=867688 CPUtime=0
/proc/7131/task/7135/stat : 7135 (java) S 7129 7131 4292 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 2003126426 888512512 14654 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7136] ppid=7129 vsize=867688 CPUtime=0
/proc/7131/task/7136/stat : 7136 (java) S 7129 7131 4292 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 2003126426 888512512 14654 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7137] ppid=7129 vsize=867688 CPUtime=0
/proc/7131/task/7137/stat : 7137 (java) S 7129 7131 4292 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2003126428 888512512 14654 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7138] ppid=7129 vsize=867688 CPUtime=0.2
/proc/7131/task/7138/stat : 7138 (java) S 7129 7131 4292 0 -1 64 687 0 0 0 20 0 0 0 16 0 9 0 2003126428 888512512 14654 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7139] ppid=7129 vsize=867688 CPUtime=0
/proc/7131/task/7139/stat : 7139 (java) S 7129 7131 4292 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 2003126428 888512512 14654 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7140] ppid=7129 vsize=867688 CPUtime=0
/proc/7131/task/7140/stat : 7140 (java) S 7129 7131 4292 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003126428 888512512 14654 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 867688

[startup+25.501 s]
/proc/loadavg: 2.23 2.16 2.05 3/81 7144
/proc/meminfo: memFree=1570440/2055920 swapFree=4180808/4192956
[pid=7131] ppid=7129 vsize=868012 CPUtime=25.34
/proc/7131/stat : 7131 (java) S 7129 7131 4292 0 -1 0 40572 373 1 0 2515 17 1 1 18 0 9 0 2003126422 888844288 23647 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7131/statm: 217003 23647 2638 9 0 211509 0
[pid=7131/tid=7133] ppid=7129 vsize=868012 CPUtime=24.73
/proc/7131/task/7133/stat : 7133 (java) R 7129 7131 4292 0 -1 64 19520 373 1 0 2461 10 1 1 25 0 9 0 2003126424 888844288 23647 996147200 134512640 134550740 4294955968 18446744073709551615 4126878191 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7134] ppid=7129 vsize=868012 CPUtime=0.26
/proc/7131/task/7134/stat : 7134 (java) S 7129 7131 4292 0 -1 64 19256 373 0 0 20 4 1 1 17 0 9 0 2003126425 888844288 23647 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7135] ppid=7129 vsize=868012 CPUtime=0.02
/proc/7131/task/7135/stat : 7135 (java) S 7129 7131 4292 0 -1 64 18 373 0 0 0 0 1 1 16 0 9 0 2003126426 888844288 23647 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7136] ppid=7129 vsize=868012 CPUtime=0.02
/proc/7131/task/7136/stat : 7136 (java) S 7129 7131 4292 0 -1 64 13 373 0 0 0 0 1 1 16 0 9 0 2003126426 888844288 23647 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7137] ppid=7129 vsize=868012 CPUtime=0.02
/proc/7131/task/7137/stat : 7137 (java) S 7129 7131 4292 0 -1 64 0 373 0 0 0 0 1 1 18 0 9 0 2003126428 888844288 23647 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7138] ppid=7129 vsize=868012 CPUtime=0.35
/proc/7131/task/7138/stat : 7138 (java) S 7129 7131 4292 0 -1 64 946 373 0 0 32 1 1 1 15 0 9 0 2003126428 888844288 23647 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7139] ppid=7129 vsize=868012 CPUtime=0.02
/proc/7131/task/7139/stat : 7139 (java) S 7129 7131 4292 0 -1 64 2 373 0 0 0 0 1 1 19 0 9 0 2003126428 888844288 23647 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7140] ppid=7129 vsize=868012 CPUtime=0.02
/proc/7131/task/7140/stat : 7140 (java) S 7129 7131 4292 0 -1 64 7 373 0 0 0 0 1 1 15 0 9 0 2003126428 888844288 23647 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 868012

[startup+51.1012 s]
/proc/loadavg: 2.15 2.14 2.04 3/81 7144
/proc/meminfo: memFree=1570312/2055920 swapFree=4180808/4192956
[pid=7131] ppid=7129 vsize=868012 CPUtime=50.82
/proc/7131/stat : 7131 (java) S 7129 7131 4292 0 -1 0 40582 373 1 0 5063 17 1 1 18 0 9 0 2003126422 888844288 23649 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7131/statm: 217003 23649 2638 9 0 211509 0
[pid=7131/tid=7133] ppid=7129 vsize=868012 CPUtime=50.2
/proc/7131/task/7133/stat : 7133 (java) R 7129 7131 4292 0 -1 64 19521 373 1 0 5008 10 1 1 25 0 9 0 2003126424 888844288 23649 996147200 134512640 134550740 4294955968 18446744073709551615 4126880697 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7134] ppid=7129 vsize=868012 CPUtime=0.26
/proc/7131/task/7134/stat : 7134 (java) S 7129 7131 4292 0 -1 64 19256 373 0 0 20 4 1 1 16 0 9 0 2003126425 888844288 23649 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7135] ppid=7129 vsize=868012 CPUtime=0.02
/proc/7131/task/7135/stat : 7135 (java) S 7129 7131 4292 0 -1 64 18 373 0 0 0 0 1 1 16 0 9 0 2003126426 888844288 23649 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7136] ppid=7129 vsize=868012 CPUtime=0.02
/proc/7131/task/7136/stat : 7136 (java) S 7129 7131 4292 0 -1 64 13 373 0 0 0 0 1 1 16 0 9 0 2003126426 888844288 23649 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7137] ppid=7129 vsize=868012 CPUtime=0.02
/proc/7131/task/7137/stat : 7137 (java) S 7129 7131 4292 0 -1 64 0 373 0 0 0 0 1 1 18 0 9 0 2003126428 888844288 23649 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7138] ppid=7129 vsize=868012 CPUtime=0.36
/proc/7131/task/7138/stat : 7138 (java) S 7129 7131 4292 0 -1 64 953 373 0 0 33 1 1 1 16 0 9 0 2003126428 888844288 23649 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7139] ppid=7129 vsize=868012 CPUtime=0.02

################
# More data... #
################

/proc/7131/stat : 7131 (java) S 7129 7131 4292 0 -1 0 40709 373 1 0 13979 18 1 1 18 0 9 0 2003126422 888844288 23657 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7131/statm: 217003 23657 2638 9 0 211509 0
[pid=7131/tid=7133] ppid=7129 vsize=868012 CPUtime=139.36
/proc/7131/task/7133/stat : 7133 (java) R 7129 7131 4292 0 -1 64 19637 373 1 0 13923 11 1 1 25 0 9 0 2003126424 888844288 23657 996147200 134512640 134550740 4294955968 18446744073709551615 4127160825 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7134] ppid=7129 vsize=868012 CPUtime=0.26
/proc/7131/task/7134/stat : 7134 (java) S 7129 7131 4292 0 -1 64 19256 373 0 0 20 4 1 1 16 0 9 0 2003126425 888844288 23657 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7135] ppid=7129 vsize=868012 CPUtime=0.02
/proc/7131/task/7135/stat : 7135 (java) S 7129 7131 4292 0 -1 64 18 373 0 0 0 0 1 1 16 0 9 0 2003126426 888844288 23657 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7136] ppid=7129 vsize=868012 CPUtime=0.02
/proc/7131/task/7136/stat : 7136 (java) S 7129 7131 4292 0 -1 64 13 373 0 0 0 0 1 1 16 0 9 0 2003126426 888844288 23657 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7137] ppid=7129 vsize=868012 CPUtime=0.02
/proc/7131/task/7137/stat : 7137 (java) S 7129 7131 4292 0 -1 64 0 373 0 0 0 0 1 1 18 0 9 0 2003126428 888844288 23657 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7138] ppid=7129 vsize=868012 CPUtime=0.38
/proc/7131/task/7138/stat : 7138 (java) S 7129 7131 4292 0 -1 64 964 373 0 0 35 1 1 1 16 0 9 0 2003126428 888844288 23657 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7139] ppid=7129 vsize=868012 CPUtime=0.02
/proc/7131/task/7139/stat : 7139 (java) S 7129 7131 4292 0 -1 64 2 373 0 0 0 0 1 1 19 0 9 0 2003126428 888844288 23657 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7140] ppid=7129 vsize=868012 CPUtime=0.02
/proc/7131/task/7140/stat : 7140 (java) S 7129 7131 4292 0 -1 64 9 373 0 0 0 0 1 1 15 0 9 0 2003126428 888844288 23657 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 139.99
Current children cumulated vsize (KiB) 868012

[startup+147.101 s]
/proc/loadavg: 2.03 2.10 2.04 3/81 7144
/proc/meminfo: memFree=1570120/2055920 swapFree=4180808/4192956
[pid=7131] ppid=7129 vsize=868012 CPUtime=146.36
/proc/7131/stat : 7131 (java) S 7129 7131 4292 0 -1 0 40713 373 1 0 14616 18 1 1 18 0 9 0 2003126422 888844288 23659 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7131/statm: 217003 23659 2638 9 0 211509 0
[pid=7131/tid=7133] ppid=7129 vsize=868012 CPUtime=145.72
/proc/7131/task/7133/stat : 7133 (java) R 7129 7131 4292 0 -1 64 19637 373 1 0 14559 11 1 1 25 0 9 0 2003126424 888844288 23659 996147200 134512640 134550740 4294955968 18446744073709551615 4126883964 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7134] ppid=7129 vsize=868012 CPUtime=0.26
/proc/7131/task/7134/stat : 7134 (java) S 7129 7131 4292 0 -1 64 19256 373 0 0 20 4 1 1 17 0 9 0 2003126425 888844288 23659 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7135] ppid=7129 vsize=868012 CPUtime=0.02
/proc/7131/task/7135/stat : 7135 (java) S 7129 7131 4292 0 -1 64 18 373 0 0 0 0 1 1 16 0 9 0 2003126426 888844288 23659 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7136] ppid=7129 vsize=868012 CPUtime=0.02
/proc/7131/task/7136/stat : 7136 (java) S 7129 7131 4292 0 -1 64 13 373 0 0 0 0 1 1 16 0 9 0 2003126426 888844288 23659 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7137] ppid=7129 vsize=868012 CPUtime=0.02
/proc/7131/task/7137/stat : 7137 (java) S 7129 7131 4292 0 -1 64 0 373 0 0 0 0 1 1 18 0 9 0 2003126428 888844288 23659 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7138] ppid=7129 vsize=868012 CPUtime=0.38
/proc/7131/task/7138/stat : 7138 (java) S 7129 7131 4292 0 -1 64 968 373 0 0 35 1 1 1 15 0 9 0 2003126428 888844288 23659 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7139] ppid=7129 vsize=868012 CPUtime=0.02
/proc/7131/task/7139/stat : 7139 (java) S 7129 7131 4292 0 -1 64 2 373 0 0 0 0 1 1 19 0 9 0 2003126428 888844288 23659 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7140] ppid=7129 vsize=868012 CPUtime=0.02
/proc/7131/task/7140/stat : 7140 (java) S 7129 7131 4292 0 -1 64 9 373 0 0 0 0 1 1 15 0 9 0 2003126428 888844288 23659 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 146.36
Current children cumulated vsize (KiB) 868012

[startup+150.302 s]
/proc/loadavg: 2.03 2.10 2.04 3/81 7144
/proc/meminfo: memFree=1570120/2055920 swapFree=4180808/4192956
[pid=7131] ppid=7129 vsize=868012 CPUtime=149.54
/proc/7131/stat : 7131 (java) S 7129 7131 4292 0 -1 0 40714 373 1 0 14934 18 1 1 18 0 9 0 2003126422 888844288 23659 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7131/statm: 217003 23659 2638 9 0 211509 0
[pid=7131/tid=7133] ppid=7129 vsize=868012 CPUtime=148.91
/proc/7131/task/7133/stat : 7133 (java) R 7129 7131 4292 0 -1 64 19638 373 1 0 14878 11 1 1 25 0 9 0 2003126424 888844288 23659 996147200 134512640 134550740 4294955968 18446744073709551615 4126885879 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7134] ppid=7129 vsize=868012 CPUtime=0.26
/proc/7131/task/7134/stat : 7134 (java) S 7129 7131 4292 0 -1 64 19256 373 0 0 20 4 1 1 16 0 9 0 2003126425 888844288 23659 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7135] ppid=7129 vsize=868012 CPUtime=0.02
/proc/7131/task/7135/stat : 7135 (java) S 7129 7131 4292 0 -1 64 18 373 0 0 0 0 1 1 16 0 9 0 2003126426 888844288 23659 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7136] ppid=7129 vsize=868012 CPUtime=0.02
/proc/7131/task/7136/stat : 7136 (java) S 7129 7131 4292 0 -1 64 13 373 0 0 0 0 1 1 16 0 9 0 2003126426 888844288 23659 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7137] ppid=7129 vsize=868012 CPUtime=0.02
/proc/7131/task/7137/stat : 7137 (java) S 7129 7131 4292 0 -1 64 0 373 0 0 0 0 1 1 18 0 9 0 2003126428 888844288 23659 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7138] ppid=7129 vsize=868012 CPUtime=0.38
/proc/7131/task/7138/stat : 7138 (java) S 7129 7131 4292 0 -1 64 968 373 0 0 35 1 1 1 15 0 9 0 2003126428 888844288 23659 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7139] ppid=7129 vsize=868012 CPUtime=0.02
/proc/7131/task/7139/stat : 7139 (java) S 7129 7131 4292 0 -1 64 2 373 0 0 0 0 1 1 19 0 9 0 2003126428 888844288 23659 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7140] ppid=7129 vsize=868012 CPUtime=0.02
/proc/7131/task/7140/stat : 7140 (java) S 7129 7131 4292 0 -1 64 9 373 0 0 0 0 1 1 15 0 9 0 2003126428 888844288 23659 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 149.54
Current children cumulated vsize (KiB) 868012

[startup+151.902 s]
/proc/loadavg: 2.03 2.10 2.03 3/81 7144
/proc/meminfo: memFree=1570056/2055920 swapFree=4180808/4192956
[pid=7131] ppid=7129 vsize=868012 CPUtime=151.13
/proc/7131/stat : 7131 (java) S 7129 7131 4292 0 -1 0 40714 373 1 0 15093 18 1 1 18 0 9 0 2003126422 888844288 23659 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7131/statm: 217003 23659 2638 9 0 211509 0
[pid=7131/tid=7133] ppid=7129 vsize=868012 CPUtime=150.5
/proc/7131/task/7133/stat : 7133 (java) R 7129 7131 4292 0 -1 64 19638 373 1 0 15037 11 1 1 25 0 9 0 2003126424 888844288 23659 996147200 134512640 134550740 4294955968 18446744073709551615 4126878173 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7134] ppid=7129 vsize=868012 CPUtime=0.26
/proc/7131/task/7134/stat : 7134 (java) S 7129 7131 4292 0 -1 64 19256 373 0 0 20 4 1 1 16 0 9 0 2003126425 888844288 23659 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7135] ppid=7129 vsize=868012 CPUtime=0.02
/proc/7131/task/7135/stat : 7135 (java) S 7129 7131 4292 0 -1 64 18 373 0 0 0 0 1 1 16 0 9 0 2003126426 888844288 23659 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7136] ppid=7129 vsize=868012 CPUtime=0.02
/proc/7131/task/7136/stat : 7136 (java) S 7129 7131 4292 0 -1 64 13 373 0 0 0 0 1 1 16 0 9 0 2003126426 888844288 23659 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7137] ppid=7129 vsize=868012 CPUtime=0.02
/proc/7131/task/7137/stat : 7137 (java) S 7129 7131 4292 0 -1 64 0 373 0 0 0 0 1 1 18 0 9 0 2003126428 888844288 23659 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7138] ppid=7129 vsize=868012 CPUtime=0.38
/proc/7131/task/7138/stat : 7138 (java) S 7129 7131 4292 0 -1 64 968 373 0 0 35 1 1 1 15 0 9 0 2003126428 888844288 23659 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7139] ppid=7129 vsize=868012 CPUtime=0.02
/proc/7131/task/7139/stat : 7139 (java) S 7129 7131 4292 0 -1 64 2 373 0 0 0 0 1 1 19 0 9 0 2003126428 888844288 23659 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7140] ppid=7129 vsize=868012 CPUtime=0.02
/proc/7131/task/7140/stat : 7140 (java) S 7129 7131 4292 0 -1 64 9 373 0 0 0 0 1 1 15 0 9 0 2003126428 888844288 23659 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 151.13
Current children cumulated vsize (KiB) 868012

[startup+152.702 s]
/proc/loadavg: 2.03 2.10 2.03 3/81 7144
/proc/meminfo: memFree=1570056/2055920 swapFree=4180808/4192956
[pid=7131] ppid=7129 vsize=868012 CPUtime=151.93
/proc/7131/stat : 7131 (java) S 7129 7131 4292 0 -1 0 41156 373 1 0 15173 18 1 1 18 0 9 0 2003126422 888844288 23666 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7131/statm: 217003 23666 2638 9 0 211509 0
[pid=7131/tid=7133] ppid=7129 vsize=868012 CPUtime=151.28
/proc/7131/task/7133/stat : 7133 (java) R 7129 7131 4292 0 -1 64 20073 373 1 0 15115 11 1 1 25 0 9 0 2003126424 888844288 23666 996147200 134512640 134550740 4294955968 18446744073709551615 4127160051 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7134] ppid=7129 vsize=868012 CPUtime=0.26
/proc/7131/task/7134/stat : 7134 (java) S 7129 7131 4292 0 -1 64 19256 373 0 0 20 4 1 1 17 0 9 0 2003126425 888844288 23666 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7135] ppid=7129 vsize=868012 CPUtime=0.02
/proc/7131/task/7135/stat : 7135 (java) S 7129 7131 4292 0 -1 64 18 373 0 0 0 0 1 1 16 0 9 0 2003126426 888844288 23666 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7136] ppid=7129 vsize=868012 CPUtime=0.02
/proc/7131/task/7136/stat : 7136 (java) S 7129 7131 4292 0 -1 64 13 373 0 0 0 0 1 1 16 0 9 0 2003126426 888844288 23666 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7137] ppid=7129 vsize=868012 CPUtime=0.02
/proc/7131/task/7137/stat : 7137 (java) S 7129 7131 4292 0 -1 64 0 373 0 0 0 0 1 1 18 0 9 0 2003126428 888844288 23666 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7138] ppid=7129 vsize=868012 CPUtime=0.4
/proc/7131/task/7138/stat : 7138 (java) S 7129 7131 4292 0 -1 64 975 373 0 0 37 1 1 1 15 0 9 0 2003126428 888844288 23666 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7139] ppid=7129 vsize=868012 CPUtime=0.02
/proc/7131/task/7139/stat : 7139 (java) S 7129 7131 4292 0 -1 64 2 373 0 0 0 0 1 1 19 0 9 0 2003126428 888844288 23666 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7140] ppid=7129 vsize=868012 CPUtime=0.02
/proc/7131/task/7140/stat : 7140 (java) S 7129 7131 4292 0 -1 64 9 373 0 0 0 0 1 1 15 0 9 0 2003126428 888844288 23666 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 151.93
Current children cumulated vsize (KiB) 868012

[startup+152.907 s]
/proc/loadavg: 2.03 2.10 2.03 3/81 7144
/proc/meminfo: memFree=1569992/2055920 swapFree=4180808/4192956
[pid=7131] ppid=7129 vsize=868012 CPUtime=152.13
/proc/7131/stat : 7131 (java) S 7129 7131 4292 0 -1 0 46363 373 1 0 15191 20 1 1 18 0 9 0 2003126422 888844288 28398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7131/statm: 217003 28398 2638 9 0 211509 0
[pid=7131/tid=7133] ppid=7129 vsize=868012 CPUtime=151.43
/proc/7131/task/7133/stat : 7133 (java) R 7129 7131 4292 0 -1 64 20508 373 1 0 15130 11 1 1 25 0 9 0 2003126424 888844288 28398 996147200 134512640 134550740 4294955968 18446744073709551615 4127348114 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7134] ppid=7129 vsize=868012 CPUtime=0.31
/proc/7131/task/7134/stat : 7134 (java) S 7129 7131 4292 0 -1 64 24017 373 0 0 23 6 1 1 16 0 9 0 2003126425 888844288 28398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7135] ppid=7129 vsize=868012 CPUtime=0.02
/proc/7131/task/7135/stat : 7135 (java) S 7129 7131 4292 0 -1 64 18 373 0 0 0 0 1 1 16 0 9 0 2003126426 888844288 28398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7136] ppid=7129 vsize=868012 CPUtime=0.02
/proc/7131/task/7136/stat : 7136 (java) S 7129 7131 4292 0 -1 64 24 373 0 0 0 0 1 1 16 0 9 0 2003126426 888844288 28398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7137] ppid=7129 vsize=868012 CPUtime=0.02
/proc/7131/task/7137/stat : 7137 (java) S 7129 7131 4292 0 -1 64 0 373 0 0 0 0 1 1 18 0 9 0 2003126428 888844288 28398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7138] ppid=7129 vsize=868012 CPUtime=0.4
/proc/7131/task/7138/stat : 7138 (java) S 7129 7131 4292 0 -1 64 975 373 0 0 37 1 1 1 15 0 9 0 2003126428 888844288 28398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7139] ppid=7129 vsize=868012 CPUtime=0.02
/proc/7131/task/7139/stat : 7139 (java) S 7129 7131 4292 0 -1 64 2 373 0 0 0 0 1 1 19 0 9 0 2003126428 888844288 28398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7140] ppid=7129 vsize=868012 CPUtime=0.02
/proc/7131/task/7140/stat : 7140 (java) S 7129 7131 4292 0 -1 64 9 373 0 0 0 0 1 1 15 0 9 0 2003126428 888844288 28398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 152.13
Current children cumulated vsize (KiB) 868012

[startup+153.002 s]
/proc/loadavg: 2.03 2.10 2.03 3/81 7144
/proc/meminfo: memFree=1569992/2055920 swapFree=4180808/4192956
[pid=7131] ppid=7129 vsize=868012 CPUtime=152.19
/proc/7131/stat : 7131 (java) S 7129 7131 4292 0 -1 0 46371 373 1 0 15197 20 1 1 18 0 9 0 2003126422 888844288 28403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7131/statm: 217003 28403 2638 9 0 211509 0
[pid=7131/tid=7133] ppid=7129 vsize=868012 CPUtime=151.48
/proc/7131/task/7133/stat : 7133 (java) S 7129 7131 4292 0 -1 64 20515 373 1 0 15135 11 1 1 23 0 9 0 2003126424 888844288 28403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7134] ppid=7129 vsize=868012 CPUtime=0.31
/proc/7131/task/7134/stat : 7134 (java) S 7129 7131 4292 0 -1 64 24017 373 0 0 23 6 1 1 16 0 9 0 2003126425 888844288 28403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7135] ppid=7129 vsize=868012 CPUtime=0.02
/proc/7131/task/7135/stat : 7135 (java) S 7129 7131 4292 0 -1 64 18 373 0 0 0 0 1 1 16 0 9 0 2003126426 888844288 28403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7136] ppid=7129 vsize=868012 CPUtime=0.02
/proc/7131/task/7136/stat : 7136 (java) S 7129 7131 4292 0 -1 64 24 373 0 0 0 0 1 1 16 0 9 0 2003126426 888844288 28403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7137] ppid=7129 vsize=868012 CPUtime=0.02
/proc/7131/task/7137/stat : 7137 (java) S 7129 7131 4292 0 -1 64 0 373 0 0 0 0 1 1 18 0 9 0 2003126428 888844288 28403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7138] ppid=7129 vsize=868012 CPUtime=0.4
/proc/7131/task/7138/stat : 7138 (java) S 7129 7131 4292 0 -1 64 976 373 0 0 37 1 1 1 15 0 9 0 2003126428 888844288 28403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7139] ppid=7129 vsize=868012 CPUtime=0.02
/proc/7131/task/7139/stat : 7139 (java) S 7129 7131 4292 0 -1 64 2 373 0 0 0 0 1 1 19 0 9 0 2003126428 888844288 28403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7131/tid=7140] ppid=7129 vsize=868012 CPUtime=0.02
/proc/7131/task/7140/stat : 7140 (java) S 7129 7131 4292 0 -1 64 9 373 0 0 0 0 1 1 15 0 9 0 2003126428 888844288 28403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 152.19
Current children cumulated vsize (KiB) 868012

Child status: 0
Real time (s): 153.036
CPU time (s): 152.23
CPU user time (s): 151.987
CPU system time (s): 0.242963
CPU usage (%): 99.4734
Max. virtual memory (cumulated for all children) (KiB): 868012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 151.987
system time used= 0.242963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46770
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= 4855
involuntary context switches= 6721

runsolver used 0.19597 second user time and 0.513921 second system time

The end

Launcher Data (download as text)

Begin job on node65 at 2008-07-05 09:06:06
IDJOB=1086854
IDBENCH=57888
IDSOLVER=364
FILE ID=node65/1086854-1215241566
PBS_JOBID= 7881879
Free space on /tmp= 66484 MiB

SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/fapp/fapp31/normalized-fapp31-0400-9.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1086854-1215241566/watcher-1086854-1215241566 -o /tmp/evaluation-result-1086854-1215241566/solver-1086854-1215241566 -C 1800 -W 2200 -M 900 --output-limit 1,15  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1086854-1215241566.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= bedba223a5500787a29a04735f75d2e4
RANDOM SEED=666291455

node65.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.231
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.231
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:       1655920 kB
Buffers:         33236 kB
Cached:         198376 kB
SwapCached:       5980 kB
Active:         231428 kB
Inactive:       115008 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1655920 kB
SwapTotal:     4192956 kB
SwapFree:      4180808 kB
Dirty:            2436 kB
Writeback:           0 kB
Mapped:         122308 kB
Slab:            38736 kB
Committed_AS:  4119228 kB
PageTables:       2080 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= 66484 MiB
End job on node65 at 2008-07-05 09:08:39