Trace number 1086853

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 ACSAT 144.181 143.889

DiagnosticValue
CHECKS306631000
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.00/0.07	
0.00/0.07	Abscon 112 (May, 2008)
0.10/0.19	
0.10/0.19	   configuration
0.10/0.19	     name=mac.xml
0.22/0.22	   
0.22/0.22	   instance
0.22/0.22	     name=HOME/instance-1086853-1215241560.xml
0.22/0.26	   
0.22/0.26	   domains being loaded...
0.22/0.28	   
0.22/0.28	   variables being loaded...
0.35/0.36	     nbVariables=400  nbDomainTypes=4  minDomainSize=350  maxDomainSize=700  nbTotalValues=273538
0.35/0.36	       =>  wckTime=0.163  cpuTime=0.16  mem=15M743
0.35/0.36	   
0.35/0.36	   predicates being loaded...
0.48/0.41	   
0.48/0.41	   constraints being loaded...
20.50/20.30	   
20.50/20.30	   INFO : Stopping converting binary constraints (cpu=20.06, mem = 16M342)
21.74/21.50	     nbConstraints=1644  nbMergedConstraints=1359  nbConvertedConstraints=108  nbConvertConstraintsChecks=43958600
21.74/21.50	     nbExtensionStructures=91  nbSharedExtensionStructures=19  nbConflictsStructures=91  nbSharedConflictsStructures=19
21.74/21.50	     nbUnbuiltConflictsStructures=1159  nbSharedBinaryRepresentations=97944  nbEvaluationManagers=1159
21.74/21.50	     nbSharedEvaluationManagers=377  minDegree=3  maxDegree=11  minArity=2  maxArity=2  nbGenerators=0  nbFusions=0
21.74/21.50	     symmetryWckTime=0.59  symmetryCpuTime=0.46
21.74/21.50	       =>  wckTime=21.302  cpuTime=21.07  mem=19M307
21.74/21.59	   
21.74/21.59	   solver IterativeSystematicSolver being built... 
21.97/21.74	       =>  wckTime=21.547  cpuTime=21.22  mem=60M198
52.18/51.99	   
52.18/51.99	   preprocessing
52.18/51.99	     nbConstraintChecks=87336676  nbValidityChecks=325295  nbPropagations=448  nbRevisions=3858  nbUselessRevisions=3400
52.18/51.99	     nbRemovedValues=89890  detectedInconsistency=no
52.18/51.99	       =>  wckTime=30.242  cpuTime=30.24  mem=60M198
144.08/143.85	   
144.08/143.85	   search
144.08/143.85	     run=5  nbConstraintChecks=219294031  nbValidityChecks=17263038  minDepth=0  maxDepth=400  nbPropagations=23165
144.08/143.85	     nbRevisions=201483  nbUselessRevisions=105081  nbAssignments=568  nbFailedAssignments=168  nbBacktracks=0
144.08/143.85	     nbVisitedNodes=737  nbRestartNogoods=0  nbFoundSolutions=1  mapSize=0  nbInferences=0  nbTooLargeKeys=0
144.08/143.85	     nbSEliminables=202.15  nbREliminables=0.38  nbIEliminables=52.2  nbDEliminables=0  nbPEliminables=0
144.08/143.85	       =>  wckTime=122.105  cpuTime=122.01  mem=44M42
144.08/143.86	   
144.08/143.86	   global
144.08/143.86	     nbConstraintChecks=306630707  nbValidityChecks=17588333  nbPropagations=23613  nbRevisions=205341
144.08/143.86	     nbUselessRevisions=108481  nbRestartNogoods=0  solvingWckTime=122.108  solvingCpuTime=122.01  expiredTime=no
144.08/143.86	     totalExploration=no  nbFoundSolutions=1  firstSolutionCpuTime=143.22  globalCpuTime=143.28
144.08/143.86	       =>  wckTime=143.66  cpuTime=143.24  mem=44M42
144.08/143.86	   
144.08/143.86	s SATISFIABLE
144.08/143.86	v -2496 2360 1300 -1960 -1764 1352 -2600 2600 -2036 2228 2320 2332 2212 -2528 -2396 -2176 -1584 -2560 2488 -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 -1380 -1672 -1484 -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 -2292 -2600 -2560 1204 -1804 -1284 -1768 -1664 1244 -2204 -2448 -1204 -2240 -1396 1932 -1920 1316 -1256 -1648 -1204 -1328 -1544 -1284 1608 -2172 -1320 1204 -2296 -1992 -1296 -1424 -2184 -1452 -1608 1376 -1440 -2420 -2560 -1288 1492 -1204 -1720 -2260 -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 -2232 -2368 -2428 -1700 -2200 -2520 -1324 -2580 -1668 1972 -1412 -1460 -2488 -1892 -1884 -1300 -2600 -1768 -2276 -1204 -1244 -1340 -1336 2048 -2484 2408 -1332 1204 -1480 -2168 -2560 -1328 -1524 1648 -1420 2104 -2600 -1444 1204 -1244 -1832 -1348 -2560 -1740 1708 -1380 -1844 -1356 -2560 2400 -1544 -1584 -1728 -1452 -1868 -1880 -1244 -1220 -1964 -2244 -2560 -1276 -1688 -1484 1380 -2208 -1352 -2076 -2560 -1384 1260 -2600 -1300 -2144 -1244 -2448 -2588 -1292 -2424 -1260 -2600 -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 1444 2192 1688 2220 -2548 -1892 -2600 2380 -1756 -2108 -2560 -1368 2304 -1600 -2600 -1232 -2560 2260 -2560 -2356 -1244 -1888 -2600 -1864 1504 -1584 -2560 -2004 -1676 -2336 -1364 -1544 1340 -1260 -1964 -2464 1928 -1648 -2144 -1984 -2316 1380 -1204 -2560 -1504 -1764 -1968 1744 2100 -2600 1244 -1928 -1372 -1244 -2560 -2456 -1272 -1636 -2400 -1820 2356 -1520 1824 1464 -1712 1204 -2344 2220 2600 1948 -2560 -2560 -1244 -1412 -1244 -1876 1584 -2020 -1964 -2500 -2044 1852 -1500 -2328 1244 2060 1356 1344 1400 1484 -2420 -1284 2600 -1392 -1928 -2032 -1216 -1204 -1324 -2280 2156 1728 -1244 -1796 -1932 
144.08/143.86	d NODES 568
144.08/143.86	d CHECKS 306630707
144.08/143.87	   
144.08/143.87	   totalWckTime=143.708  totalCpuTime=143.29

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-1086853-1215241560/watcher-1086853-1215241560 -o /tmp/evaluation-result-1086853-1215241560/solver-1086853-1215241560 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1086853-1215241560.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: 1.18 1.50 1.79 3/83 5019
/proc/meminfo: memFree=696192/2055920 swapFree=4098020/4192956
[pid=5019] ppid=5017 vsize=272 CPUtime=0
/proc/5019/stat : 5019 (java) R 5017 5019 2942 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 1553828152 278528 37 996147200 134512640 134550740 4294955968 18446744073709551615 9277530 0 0 4096 0 0 0 0 17 0 0 0
/proc/5019/statm: 68 37 28 9 0 6 0

[startup+0.0910769 s]
/proc/loadavg: 1.18 1.50 1.79 3/83 5019
/proc/meminfo: memFree=696192/2055920 swapFree=4098020/4192956
[pid=5019] ppid=5017 vsize=866740 CPUtime=0.09
/proc/5019/stat : 5019 (java) S 5017 5019 2942 0 -1 0 3885 0 1 0 7 2 0 0 18 0 9 0 1553828152 887541760 3326 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5019/statm: 216685 3326 1746 9 0 211240 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 866740

[startup+0.101052 s]
/proc/loadavg: 1.18 1.50 1.79 3/83 5019
/proc/meminfo: memFree=696192/2055920 swapFree=4098020/4192956
[pid=5019] ppid=5017 vsize=866740 CPUtime=0.1
/proc/5019/stat : 5019 (java) S 5017 5019 2942 0 -1 0 4011 0 1 0 8 2 0 0 18 0 9 0 1553828152 887541760 3451 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5019/statm: 216685 3451 1785 9 0 211240 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 866740

[startup+0.30108 s]
/proc/loadavg: 1.18 1.50 1.79 3/83 5019
/proc/meminfo: memFree=696192/2055920 swapFree=4098020/4192956
[pid=5019] ppid=5017 vsize=866976 CPUtime=0.35
/proc/5019/stat : 5019 (java) S 5017 5019 2942 0 -1 0 6501 0 1 0 31 4 0 0 18 0 9 0 1553828152 887783424 5871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5019/statm: 216744 5873 1967 9 0 211272 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 866976

[startup+0.701123 s]
/proc/loadavg: 1.18 1.50 1.79 3/83 5019
/proc/meminfo: memFree=696192/2055920 swapFree=4098020/4192956
[pid=5019] ppid=5017 vsize=868160 CPUtime=0.87
/proc/5019/stat : 5019 (java) S 5017 5019 2942 0 -1 0 12597 0 1 0 79 8 0 0 18 0 9 0 1553828152 888995840 11957 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5019/statm: 217040 11957 2012 9 0 211546 0
Current children cumulated CPU time (s) 0.87
Current children cumulated vsize (KiB) 868160

[startup+1.50121 s]
/proc/loadavg: 1.18 1.50 1.79 2/92 5028
/proc/meminfo: memFree=655224/2055920 swapFree=4098020/4192956
[pid=5019] ppid=5017 vsize=868160 CPUtime=1.68
/proc/5019/stat : 5019 (java) S 5017 5019 2942 0 -1 0 12944 0 1 0 160 8 0 0 18 0 9 0 1553828152 888995840 12301 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5019/statm: 217040 12301 2014 9 0 211546 0
[pid=5019/tid=5021] ppid=5017 vsize=868160 CPUtime=1.48
/proc/5019/task/5021/stat : 5021 (java) R 5017 5019 2942 0 -1 64 11572 0 1 0 141 7 0 0 25 0 9 0 1553828152 888995840 12301 996147200 134512640 134550740 4294955968 18446744073709551615 4126924642 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5022] ppid=5017 vsize=868160 CPUtime=0
/proc/5019/task/5022/stat : 5022 (java) S 5017 5019 2942 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 1553828154 888995840 12301 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5023] ppid=5017 vsize=868160 CPUtime=0
/proc/5019/task/5023/stat : 5023 (java) S 5017 5019 2942 0 -1 64 10 0 0 0 0 0 0 0 22 0 9 0 1553828154 888995840 12301 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5024] ppid=5017 vsize=868160 CPUtime=0
/proc/5019/task/5024/stat : 5024 (java) S 5017 5019 2942 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 1553828154 888995840 12301 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5025] ppid=5017 vsize=868160 CPUtime=0
/proc/5019/task/5025/stat : 5025 (java) S 5017 5019 2942 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 1553828156 888995840 12301 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5026] ppid=5017 vsize=868160 CPUtime=0.18
/proc/5019/task/5026/stat : 5026 (java) S 5017 5019 2942 0 -1 64 674 0 0 0 18 0 0 0 15 0 9 0 1553828156 888995840 12301 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5027] ppid=5017 vsize=868160 CPUtime=0
/proc/5019/task/5027/stat : 5027 (java) S 5017 5019 2942 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 1553828156 888995840 12301 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5028] ppid=5017 vsize=868160 CPUtime=0
/proc/5019/task/5028/stat : 5028 (java) S 5017 5019 2942 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1553828156 888995840 12301 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.68
Current children cumulated vsize (KiB) 868160

[startup+3.10139 s]
/proc/loadavg: 1.18 1.50 1.79 2/92 5028
/proc/meminfo: memFree=654008/2055920 swapFree=4098020/4192956
[pid=5019] ppid=5017 vsize=868160 CPUtime=3.28
/proc/5019/stat : 5019 (java) S 5017 5019 2942 0 -1 0 13350 0 1 0 320 8 0 0 18 0 9 0 1553828152 888995840 12706 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5019/statm: 217040 12706 2014 9 0 211546 0
[pid=5019/tid=5021] ppid=5017 vsize=868160 CPUtime=3.08
/proc/5019/task/5021/stat : 5021 (java) R 5017 5019 2942 0 -1 64 11977 0 1 0 301 7 0 0 25 0 9 0 1553828152 888995840 12706 996147200 134512640 134550740 4294955968 18446744073709551615 4126886263 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5022] ppid=5017 vsize=868160 CPUtime=0
/proc/5019/task/5022/stat : 5022 (java) S 5017 5019 2942 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1553828154 888995840 12706 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5023] ppid=5017 vsize=868160 CPUtime=0
/proc/5019/task/5023/stat : 5023 (java) S 5017 5019 2942 0 -1 64 10 0 0 0 0 0 0 0 22 0 9 0 1553828154 888995840 12706 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5024] ppid=5017 vsize=868160 CPUtime=0
/proc/5019/task/5024/stat : 5024 (java) S 5017 5019 2942 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 1553828154 888995840 12706 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5025] ppid=5017 vsize=868160 CPUtime=0
/proc/5019/task/5025/stat : 5025 (java) S 5017 5019 2942 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 1553828156 888995840 12706 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5026] ppid=5017 vsize=868160 CPUtime=0.19
/proc/5019/task/5026/stat : 5026 (java) S 5017 5019 2942 0 -1 64 675 0 0 0 19 0 0 0 16 0 9 0 1553828156 888995840 12706 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5027] ppid=5017 vsize=868160 CPUtime=0
/proc/5019/task/5027/stat : 5027 (java) S 5017 5019 2942 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 1553828156 888995840 12706 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5028] ppid=5017 vsize=868160 CPUtime=0
/proc/5019/task/5028/stat : 5028 (java) S 5017 5019 2942 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1553828156 888995840 12706 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.28
Current children cumulated vsize (KiB) 868160

[startup+6.30281 s]
/proc/loadavg: 1.16 1.49 1.78 2/92 5028
/proc/meminfo: memFree=650680/2055920 swapFree=4098020/4192956
[pid=5019] ppid=5017 vsize=868160 CPUtime=6.49
/proc/5019/stat : 5019 (java) S 5017 5019 2942 0 -1 0 14084 0 1 0 640 9 0 0 18 0 9 0 1553828152 888995840 13439 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5019/statm: 217040 13439 2014 9 0 211546 0
[pid=5019/tid=5021] ppid=5017 vsize=868160 CPUtime=6.28
/proc/5019/task/5021/stat : 5021 (java) R 5017 5019 2942 0 -1 64 12708 0 1 0 621 7 0 0 25 0 9 0 1553828152 888995840 13439 996147200 134512640 134550740 4294955968 18446744073709551615 4126924642 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5022] ppid=5017 vsize=868160 CPUtime=0
/proc/5019/task/5022/stat : 5022 (java) S 5017 5019 2942 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1553828154 888995840 13439 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5023] ppid=5017 vsize=868160 CPUtime=0
/proc/5019/task/5023/stat : 5023 (java) S 5017 5019 2942 0 -1 64 10 0 0 0 0 0 0 0 22 0 9 0 1553828154 888995840 13439 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5024] ppid=5017 vsize=868160 CPUtime=0
/proc/5019/task/5024/stat : 5024 (java) S 5017 5019 2942 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 1553828154 888995840 13439 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5025] ppid=5017 vsize=868160 CPUtime=0
/proc/5019/task/5025/stat : 5025 (java) S 5017 5019 2942 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 1553828156 888995840 13439 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5026] ppid=5017 vsize=868160 CPUtime=0.19
/proc/5019/task/5026/stat : 5026 (java) S 5017 5019 2942 0 -1 64 678 0 0 0 19 0 0 0 15 0 9 0 1553828156 888995840 13439 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5027] ppid=5017 vsize=868160 CPUtime=0
/proc/5019/task/5027/stat : 5027 (java) S 5017 5019 2942 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 1553828156 888995840 13439 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5028] ppid=5017 vsize=868160 CPUtime=0
/proc/5019/task/5028/stat : 5028 (java) S 5017 5019 2942 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1553828156 888995840 13439 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.49
Current children cumulated vsize (KiB) 868160

[startup+12.7015 s]
/proc/loadavg: 1.15 1.48 1.78 2/92 5028
/proc/meminfo: memFree=644480/2055920 swapFree=4098020/4192956
[pid=5019] ppid=5017 vsize=868160 CPUtime=12.91
/proc/5019/stat : 5019 (java) S 5017 5019 2942 0 -1 0 15593 0 1 0 1281 10 0 0 18 0 9 0 1553828152 888995840 14947 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5019/statm: 217040 14947 2014 9 0 211546 0
[pid=5019/tid=5021] ppid=5017 vsize=868160 CPUtime=12.67
/proc/5019/task/5021/stat : 5021 (java) R 5017 5019 2942 0 -1 64 14197 0 1 0 1259 8 0 0 25 0 9 0 1553828152 888995840 14947 996147200 134512640 134550740 4294955968 18446744073709551615 4126882465 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5022] ppid=5017 vsize=868160 CPUtime=0
/proc/5019/task/5022/stat : 5022 (java) S 5017 5019 2942 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1553828154 888995840 14947 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5023] ppid=5017 vsize=868160 CPUtime=0
/proc/5019/task/5023/stat : 5023 (java) S 5017 5019 2942 0 -1 64 10 0 0 0 0 0 0 0 22 0 9 0 1553828154 888995840 14947 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5024] ppid=5017 vsize=868160 CPUtime=0
/proc/5019/task/5024/stat : 5024 (java) S 5017 5019 2942 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 1553828154 888995840 14947 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5025] ppid=5017 vsize=868160 CPUtime=0
/proc/5019/task/5025/stat : 5025 (java) S 5017 5019 2942 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 1553828156 888995840 14947 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5026] ppid=5017 vsize=868160 CPUtime=0.21
/proc/5019/task/5026/stat : 5026 (java) S 5017 5019 2942 0 -1 64 698 0 0 0 21 0 0 0 16 0 9 0 1553828156 888995840 14947 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5027] ppid=5017 vsize=868160 CPUtime=0
/proc/5019/task/5027/stat : 5027 (java) S 5017 5019 2942 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 1553828156 888995840 14947 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5028] ppid=5017 vsize=868160 CPUtime=0
/proc/5019/task/5028/stat : 5028 (java) S 5017 5019 2942 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1553828156 888995840 14947 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.91
Current children cumulated vsize (KiB) 868160

[startup+25.5029 s]
/proc/loadavg: 1.12 1.46 1.76 2/92 5032
/proc/meminfo: memFree=610680/2055920 swapFree=4098020/4192956
[pid=5019] ppid=5017 vsize=868484 CPUtime=25.78
/proc/5019/stat : 5019 (java) S 5017 5019 2942 0 -1 0 41120 376 1 0 2558 18 1 1 18 0 9 0 1553828152 889327616 23864 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5019/statm: 217121 23864 2638 9 0 211627 0
[pid=5019/tid=5021] ppid=5017 vsize=868484 CPUtime=25.19
/proc/5019/task/5021/stat : 5021 (java) R 5017 5019 2942 0 -1 64 19371 376 1 0 2506 11 1 1 25 0 9 0 1553828152 889327616 23864 996147200 134512640 134550740 4294955968 18446744073709551615 4126883575 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5022] ppid=5017 vsize=868484 CPUtime=0.27
/proc/5019/task/5022/stat : 5022 (java) S 5017 5019 2942 0 -1 64 19979 376 0 0 20 5 1 1 16 0 9 0 1553828154 889327616 23864 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5023] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5023/stat : 5023 (java) S 5017 5019 2942 0 -1 64 19 376 0 0 0 0 1 1 15 0 9 0 1553828154 889327616 23864 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5024] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5024/stat : 5024 (java) S 5017 5019 2942 0 -1 64 8 376 0 0 0 0 1 1 15 0 9 0 1553828154 889327616 23864 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5025] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5025/stat : 5025 (java) S 5017 5019 2942 0 -1 64 0 376 0 0 0 0 1 1 24 0 9 0 1553828156 889327616 23864 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5026] ppid=5017 vsize=868484 CPUtime=0.33
/proc/5019/task/5026/stat : 5026 (java) S 5017 5019 2942 0 -1 64 934 376 0 0 31 0 1 1 16 0 9 0 1553828156 889327616 23864 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5027] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5027/stat : 5027 (java) S 5017 5019 2942 0 -1 64 2 376 0 0 0 0 1 1 25 0 9 0 1553828156 889327616 23864 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5028] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5028/stat : 5028 (java) S 5017 5019 2942 0 -1 64 10 376 0 0 0 0 1 1 15 0 9 0 1553828156 889327616 23864 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.78
Current children cumulated vsize (KiB) 868484

[startup+51.1028 s]
/proc/loadavg: 1.08 1.42 1.74 2/92 5032
/proc/meminfo: memFree=610624/2055920 swapFree=4098020/4192956
[pid=5019] ppid=5017 vsize=868484 CPUtime=51.38
/proc/5019/stat : 5019 (java) S 5017 5019 2942 0 -1 0 41129 376 1 0 5118 18 1 1 18 0 9 0 1553828152 889327616 23866 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5019/statm: 217121 23866 2638 9 0 211627 0
[pid=5019/tid=5021] ppid=5017 vsize=868484 CPUtime=50.78
/proc/5019/task/5021/stat : 5021 (java) R 5017 5019 2942 0 -1 64 19376 376 1 0 5065 11 1 1 25 0 9 0 1553828152 889327616 23866 996147200 134512640 134550740 4294955968 18446744073709551615 4127257580 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5022] ppid=5017 vsize=868484 CPUtime=0.27
/proc/5019/task/5022/stat : 5022 (java) S 5017 5019 2942 0 -1 64 19979 376 0 0 20 5 1 1 16 0 9 0 1553828154 889327616 23866 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5023] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5023/stat : 5023 (java) S 5017 5019 2942 0 -1 64 19 376 0 0 0 0 1 1 15 0 9 0 1553828154 889327616 23866 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5024] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5024/stat : 5024 (java) S 5017 5019 2942 0 -1 64 8 376 0 0 0 0 1 1 15 0 9 0 1553828154 889327616 23866 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5025] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5025/stat : 5025 (java) S 5017 5019 2942 0 -1 64 0 376 0 0 0 0 1 1 24 0 9 0 1553828156 889327616 23866 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5026] ppid=5017 vsize=868484 CPUtime=0.34
/proc/5019/task/5026/stat : 5026 (java) S 5017 5019 2942 0 -1 64 938 376 0 0 32 0 1 1 16 0 9 0 1553828156 889327616 23866 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5027] ppid=5017 vsize=868484 CPUtime=0.02

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

/proc/5019/stat : 5019 (java) S 5017 5019 2942 0 -1 0 41256 376 1 0 13437 19 1 1 18 0 9 0 1553828152 889327616 23875 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5019/statm: 217121 23875 2638 9 0 211627 0
[pid=5019/tid=5021] ppid=5017 vsize=868484 CPUtime=133.95
/proc/5019/task/5021/stat : 5021 (java) R 5017 5019 2942 0 -1 64 19493 376 1 0 13382 11 1 1 25 0 9 0 1553828152 889327616 23875 996147200 134512640 134550740 4294955968 18446744073709551615 4127163812 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5022] ppid=5017 vsize=868484 CPUtime=0.27
/proc/5019/task/5022/stat : 5022 (java) S 5017 5019 2942 0 -1 64 19979 376 0 0 20 5 1 1 16 0 9 0 1553828154 889327616 23875 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5023] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5023/stat : 5023 (java) S 5017 5019 2942 0 -1 64 19 376 0 0 0 0 1 1 15 0 9 0 1553828154 889327616 23875 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5024] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5024/stat : 5024 (java) S 5017 5019 2942 0 -1 64 8 376 0 0 0 0 1 1 15 0 9 0 1553828154 889327616 23875 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5025] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5025/stat : 5025 (java) S 5017 5019 2942 0 -1 64 0 376 0 0 0 0 1 1 24 0 9 0 1553828156 889327616 23875 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5026] ppid=5017 vsize=868484 CPUtime=0.36
/proc/5019/task/5026/stat : 5026 (java) S 5017 5019 2942 0 -1 64 948 376 0 0 33 1 1 1 16 0 9 0 1553828156 889327616 23875 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5027] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5027/stat : 5027 (java) S 5017 5019 2942 0 -1 64 2 376 0 0 0 0 1 1 25 0 9 0 1553828156 889327616 23875 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5028] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5028/stat : 5028 (java) S 5017 5019 2942 0 -1 64 10 376 0 0 0 0 1 1 15 0 9 0 1553828156 889327616 23875 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 134.58
Current children cumulated vsize (KiB) 868484

[startup+140.702 s]
/proc/loadavg: 1.02 1.31 1.67 2/92 5032
/proc/meminfo: memFree=610496/2055920 swapFree=4098020/4192956
[pid=5019] ppid=5017 vsize=868484 CPUtime=140.98
/proc/5019/stat : 5019 (java) S 5017 5019 2942 0 -1 0 41261 376 1 0 14077 19 1 1 18 0 9 0 1553828152 889327616 23877 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5019/statm: 217121 23877 2638 9 0 211627 0
[pid=5019/tid=5021] ppid=5017 vsize=868484 CPUtime=140.35
/proc/5019/task/5021/stat : 5021 (java) R 5017 5019 2942 0 -1 64 19494 376 1 0 14022 11 1 1 25 0 9 0 1553828152 889327616 23877 996147200 134512640 134550740 4294955968 18446744073709551615 4126881096 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5022] ppid=5017 vsize=868484 CPUtime=0.27
/proc/5019/task/5022/stat : 5022 (java) S 5017 5019 2942 0 -1 64 19979 376 0 0 20 5 1 1 16 0 9 0 1553828154 889327616 23877 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5023] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5023/stat : 5023 (java) S 5017 5019 2942 0 -1 64 19 376 0 0 0 0 1 1 15 0 9 0 1553828154 889327616 23877 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5024] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5024/stat : 5024 (java) S 5017 5019 2942 0 -1 64 8 376 0 0 0 0 1 1 15 0 9 0 1553828154 889327616 23877 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5025] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5025/stat : 5025 (java) S 5017 5019 2942 0 -1 64 0 376 0 0 0 0 1 1 24 0 9 0 1553828156 889327616 23877 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5026] ppid=5017 vsize=868484 CPUtime=0.36
/proc/5019/task/5026/stat : 5026 (java) S 5017 5019 2942 0 -1 64 952 376 0 0 33 1 1 1 15 0 9 0 1553828156 889327616 23877 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5027] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5027/stat : 5027 (java) S 5017 5019 2942 0 -1 64 2 376 0 0 0 0 1 1 25 0 9 0 1553828156 889327616 23877 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5028] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5028/stat : 5028 (java) S 5017 5019 2942 0 -1 64 10 376 0 0 0 0 1 1 15 0 9 0 1553828156 889327616 23877 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 140.98
Current children cumulated vsize (KiB) 868484

[startup+142.302 s]
/proc/loadavg: 1.02 1.31 1.67 2/92 5032
/proc/meminfo: memFree=610496/2055920 swapFree=4098020/4192956
[pid=5019] ppid=5017 vsize=868484 CPUtime=142.58
/proc/5019/stat : 5019 (java) S 5017 5019 2942 0 -1 0 41261 376 1 0 14237 19 1 1 18 0 9 0 1553828152 889327616 23877 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5019/statm: 217121 23877 2638 9 0 211627 0
[pid=5019/tid=5021] ppid=5017 vsize=868484 CPUtime=141.95
/proc/5019/task/5021/stat : 5021 (java) R 5017 5019 2942 0 -1 64 19494 376 1 0 14182 11 1 1 25 0 9 0 1553828152 889327616 23877 996147200 134512640 134550740 4294955968 18446744073709551615 4126886863 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5022] ppid=5017 vsize=868484 CPUtime=0.27
/proc/5019/task/5022/stat : 5022 (java) S 5017 5019 2942 0 -1 64 19979 376 0 0 20 5 1 1 16 0 9 0 1553828154 889327616 23877 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5023] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5023/stat : 5023 (java) S 5017 5019 2942 0 -1 64 19 376 0 0 0 0 1 1 15 0 9 0 1553828154 889327616 23877 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5024] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5024/stat : 5024 (java) S 5017 5019 2942 0 -1 64 8 376 0 0 0 0 1 1 15 0 9 0 1553828154 889327616 23877 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5025] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5025/stat : 5025 (java) S 5017 5019 2942 0 -1 64 0 376 0 0 0 0 1 1 24 0 9 0 1553828156 889327616 23877 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5026] ppid=5017 vsize=868484 CPUtime=0.36
/proc/5019/task/5026/stat : 5026 (java) S 5017 5019 2942 0 -1 64 952 376 0 0 33 1 1 1 15 0 9 0 1553828156 889327616 23877 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5027] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5027/stat : 5027 (java) S 5017 5019 2942 0 -1 64 2 376 0 0 0 0 1 1 25 0 9 0 1553828156 889327616 23877 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5028] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5028/stat : 5028 (java) S 5017 5019 2942 0 -1 64 10 376 0 0 0 0 1 1 15 0 9 0 1553828156 889327616 23877 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 142.58
Current children cumulated vsize (KiB) 868484

[startup+143.102 s]
/proc/loadavg: 1.02 1.31 1.67 2/92 5032
/proc/meminfo: memFree=610496/2055920 swapFree=4098020/4192956
[pid=5019] ppid=5017 vsize=868484 CPUtime=143.38
/proc/5019/stat : 5019 (java) S 5017 5019 2942 0 -1 0 41266 376 1 0 14317 19 1 1 18 0 9 0 1553828152 889327616 23880 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5019/statm: 217121 23880 2638 9 0 211627 0
[pid=5019/tid=5021] ppid=5017 vsize=868484 CPUtime=142.74
/proc/5019/task/5021/stat : 5021 (java) R 5017 5019 2942 0 -1 64 19496 376 1 0 14261 11 1 1 25 0 9 0 1553828152 889327616 23880 996147200 134512640 134550740 4294955968 18446744073709551615 4127330046 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5022] ppid=5017 vsize=868484 CPUtime=0.27
/proc/5019/task/5022/stat : 5022 (java) S 5017 5019 2942 0 -1 64 19979 376 0 0 20 5 1 1 16 0 9 0 1553828154 889327616 23880 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5023] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5023/stat : 5023 (java) S 5017 5019 2942 0 -1 64 19 376 0 0 0 0 1 1 15 0 9 0 1553828154 889327616 23880 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5024] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5024/stat : 5024 (java) S 5017 5019 2942 0 -1 64 8 376 0 0 0 0 1 1 15 0 9 0 1553828154 889327616 23880 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5025] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5025/stat : 5025 (java) S 5017 5019 2942 0 -1 64 0 376 0 0 0 0 1 1 24 0 9 0 1553828156 889327616 23880 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5026] ppid=5017 vsize=868484 CPUtime=0.37
/proc/5019/task/5026/stat : 5026 (java) S 5017 5019 2942 0 -1 64 955 376 0 0 34 1 1 1 16 0 9 0 1553828156 889327616 23880 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5027] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5027/stat : 5027 (java) S 5017 5019 2942 0 -1 64 2 376 0 0 0 0 1 1 25 0 9 0 1553828156 889327616 23880 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5028] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5028/stat : 5028 (java) S 5017 5019 2942 0 -1 64 10 376 0 0 0 0 1 1 15 0 9 0 1553828156 889327616 23880 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 143.38
Current children cumulated vsize (KiB) 868484

[startup+143.502 s]
/proc/loadavg: 1.02 1.31 1.67 2/92 5032
/proc/meminfo: memFree=610496/2055920 swapFree=4098020/4192956
[pid=5019] ppid=5017 vsize=868484 CPUtime=143.78
/proc/5019/stat : 5019 (java) S 5017 5019 2942 0 -1 0 41318 376 1 0 14357 19 1 1 18 0 9 0 1553828152 889327616 23884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5019/statm: 217121 23884 2638 9 0 211627 0
[pid=5019/tid=5021] ppid=5017 vsize=868484 CPUtime=143.14
/proc/5019/task/5021/stat : 5021 (java) R 5017 5019 2942 0 -1 64 19544 376 1 0 14301 11 1 1 25 0 9 0 1553828152 889327616 23884 996147200 134512640 134550740 4294955968 18446744073709551615 4127330040 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5022] ppid=5017 vsize=868484 CPUtime=0.27
/proc/5019/task/5022/stat : 5022 (java) S 5017 5019 2942 0 -1 64 19979 376 0 0 20 5 1 1 16 0 9 0 1553828154 889327616 23884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5023] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5023/stat : 5023 (java) S 5017 5019 2942 0 -1 64 19 376 0 0 0 0 1 1 15 0 9 0 1553828154 889327616 23884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5024] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5024/stat : 5024 (java) S 5017 5019 2942 0 -1 64 8 376 0 0 0 0 1 1 15 0 9 0 1553828154 889327616 23884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5025] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5025/stat : 5025 (java) S 5017 5019 2942 0 -1 64 0 376 0 0 0 0 1 1 24 0 9 0 1553828156 889327616 23884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5026] ppid=5017 vsize=868484 CPUtime=0.38
/proc/5019/task/5026/stat : 5026 (java) S 5017 5019 2942 0 -1 64 959 376 0 0 35 1 1 1 15 0 9 0 1553828156 889327616 23884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5027] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5027/stat : 5027 (java) S 5017 5019 2942 0 -1 64 2 376 0 0 0 0 1 1 25 0 9 0 1553828156 889327616 23884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5028] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5028/stat : 5028 (java) S 5017 5019 2942 0 -1 64 10 376 0 0 0 0 1 1 15 0 9 0 1553828156 889327616 23884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 143.78
Current children cumulated vsize (KiB) 868484

[startup+143.702 s]
/proc/loadavg: 1.02 1.31 1.67 2/92 5032
/proc/meminfo: memFree=610496/2055920 swapFree=4098020/4192956
[pid=5019] ppid=5017 vsize=868484 CPUtime=143.98
/proc/5019/stat : 5019 (java) S 5017 5019 2942 0 -1 0 41674 376 1 0 14377 19 1 1 18 0 9 0 1553828152 889327616 23884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5019/statm: 217121 23884 2638 9 0 211627 0
[pid=5019/tid=5021] ppid=5017 vsize=868484 CPUtime=143.34
/proc/5019/task/5021/stat : 5021 (java) R 5017 5019 2942 0 -1 64 19900 376 1 0 14321 11 1 1 25 0 9 0 1553828152 889327616 23884 996147200 134512640 134550740 4294955968 18446744073709551615 4127330076 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5022] ppid=5017 vsize=868484 CPUtime=0.27
/proc/5019/task/5022/stat : 5022 (java) S 5017 5019 2942 0 -1 64 19979 376 0 0 20 5 1 1 16 0 9 0 1553828154 889327616 23884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5023] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5023/stat : 5023 (java) S 5017 5019 2942 0 -1 64 19 376 0 0 0 0 1 1 15 0 9 0 1553828154 889327616 23884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5024] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5024/stat : 5024 (java) S 5017 5019 2942 0 -1 64 8 376 0 0 0 0 1 1 15 0 9 0 1553828154 889327616 23884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5025] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5025/stat : 5025 (java) S 5017 5019 2942 0 -1 64 0 376 0 0 0 0 1 1 24 0 9 0 1553828156 889327616 23884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5026] ppid=5017 vsize=868484 CPUtime=0.38
/proc/5019/task/5026/stat : 5026 (java) S 5017 5019 2942 0 -1 64 959 376 0 0 35 1 1 1 15 0 9 0 1553828156 889327616 23884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5027] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5027/stat : 5027 (java) S 5017 5019 2942 0 -1 64 2 376 0 0 0 0 1 1 25 0 9 0 1553828156 889327616 23884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5028] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5028/stat : 5028 (java) S 5017 5019 2942 0 -1 64 10 376 0 0 0 0 1 1 15 0 9 0 1553828156 889327616 23884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 143.98
Current children cumulated vsize (KiB) 868484

[startup+143.802 s]
/proc/loadavg: 1.02 1.31 1.67 2/92 5032
/proc/meminfo: memFree=610496/2055920 swapFree=4098020/4192956
[pid=5019] ppid=5017 vsize=868396 CPUtime=144.08
/proc/5019/stat : 5019 (java) S 5017 5019 2942 0 -1 0 46678 376 1 0 14385 21 1 1 18 0 9 0 1553828152 889237504 28596 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5019/statm: 217099 28596 2616 9 0 211627 0
[pid=5019/tid=5021] ppid=5017 vsize=868396 CPUtime=143.38
/proc/5019/task/5021/stat : 5021 (java) R 5017 5019 2942 0 -1 64 20101 376 1 0 14325 11 1 1 16 0 9 0 1553828152 889237504 28596 996147200 134512640 134550740 4294955968 18446744073709551615 4127161852 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5022] ppid=5017 vsize=868396 CPUtime=0.31
/proc/5019/task/5022/stat : 5022 (java) S 5017 5019 2942 0 -1 64 24780 376 0 0 23 6 1 1 16 0 9 0 1553828154 889237504 28596 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5023] ppid=5017 vsize=868396 CPUtime=0.02
/proc/5019/task/5023/stat : 5023 (java) S 5017 5019 2942 0 -1 64 19 376 0 0 0 0 1 1 16 0 9 0 1553828154 889237504 28596 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5024] ppid=5017 vsize=868396 CPUtime=0.02
/proc/5019/task/5024/stat : 5024 (java) S 5017 5019 2942 0 -1 64 10 376 0 0 0 0 1 1 16 0 9 0 1553828154 889237504 28596 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5025] ppid=5017 vsize=868396 CPUtime=0.02
/proc/5019/task/5025/stat : 5025 (java) S 5017 5019 2942 0 -1 64 0 376 0 0 0 0 1 1 24 0 9 0 1553828156 889237504 28596 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5026] ppid=5017 vsize=868396 CPUtime=0.38
/proc/5019/task/5026/stat : 5026 (java) S 5017 5019 2942 0 -1 64 959 376 0 0 35 1 1 1 15 0 9 0 1553828156 889237504 28596 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5027] ppid=5017 vsize=868396 CPUtime=0.02
/proc/5019/task/5027/stat : 5027 (java) S 5017 5019 2942 0 -1 64 2 376 0 0 0 0 1 1 25 0 9 0 1553828156 889237504 28596 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5028] ppid=5017 vsize=868396 CPUtime=0.02
/proc/5019/task/5028/stat : 5028 (java) S 5017 5019 2942 0 -1 64 10 376 0 0 0 0 1 1 15 0 9 0 1553828156 889237504 28596 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 144.08
Current children cumulated vsize (KiB) 868396

Child status: 0
Real time (s): 143.889
CPU time (s): 144.181
CPU user time (s): 143.932
CPU system time (s): 0.248962
CPU usage (%): 100.203
Max. virtual memory (cumulated for all children) (KiB): 868484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 143.932
system time used= 0.248962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47088
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= 3659
involuntary context switches= 5691

runsolver used 0.200969 second user time and 0.461929 second system time

The end

Launcher Data (download as text)

Begin job on node32 at 2008-07-05 09:06:00
IDJOB=1086853
IDBENCH=57888
IDSOLVER=363
FILE ID=node32/1086853-1215241560
PBS_JOBID= 7881863
Free space on /tmp= 66436 MiB

SOLVER NAME= Abscon 112v4 AC
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 mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1086853-1215241560/watcher-1086853-1215241560 -o /tmp/evaluation-result-1086853-1215241560/solver-1086853-1215241560 -C 1800 -W 2200 -M 900 --output-limit 1,15  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1086853-1215241560.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= bedba223a5500787a29a04735f75d2e4
RANDOM SEED=1587734611

node32.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.218
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.218
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:        696672 kB
Buffers:         82440 kB
Cached:         322744 kB
SwapCached:      88292 kB
Active:        1093180 kB
Inactive:       203820 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        696672 kB
SwapTotal:     4192956 kB
SwapFree:      4098020 kB
Dirty:            2464 kB
Writeback:           0 kB
Mapped:         907612 kB
Slab:            45488 kB
Committed_AS:  4138368 kB
PageTables:       3680 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= 66432 MiB
End job on node32 at 2008-07-05 09:08:24