Trace number 2097856

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 145.125 146.363

DiagnosticValue
CHECKS229454000
NODES579

General information on the benchmark

Namecsp/fapp/fapp31/
normalized-fapp31-0400-6.xml
MD5SUM5437bff566491bef6c75b023202900b4
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 benchmark138.089
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 

0.02/0.08	
0.02/0.08	Abscon 112 (May, 2008)
0.19/0.24	
0.19/0.24	   configuration
0.19/0.24	     name=esac.xml
0.19/0.27	   
0.19/0.27	   instance
0.19/0.27	     name=HOME/instance-2097856-1247414104.xml
0.29/0.30	   
0.29/0.30	   domains being loaded...
0.29/0.34	   
0.29/0.35	   variables being loaded...
0.39/0.44	     nbVariables=400  nbDomainTypes=4  minDomainSize=350  maxDomainSize=700  nbTotalValues=273538
0.39/0.44	       =>  wckTime=0.201  cpuTime=0.17  mem=16M703
0.39/0.44	   
0.39/0.44	   predicates being loaded...
0.49/0.50	   
0.49/0.50	   constraints being loaded...
20.47/20.56	   
20.47/20.56	   INFO : Stopping converting binary constraints (cpu=20.18, mem = 48M758)
21.96/22.02	     nbConstraints=1644  nbMergedConstraints=1359  nbConvertedConstraints=105  nbConvertConstraintsChecks=42978600
21.96/22.02	     nbExtensionStructures=89  nbSharedExtensionStructures=21  nbConflictsStructures=89  nbSharedConflictsStructures=21
21.96/22.02	     nbUnbuiltConflictsStructures=1192  nbSharedBinaryRepresentations=98310  nbEvaluationManagers=1192
21.96/22.02	     nbSharedEvaluationManagers=347  minDegree=3  maxDegree=11  minArity=2  maxArity=2  nbGenerators=0  nbFusions=0
21.96/22.02	     symmetryWckTime=0.745  symmetryCpuTime=0.59
21.96/22.02	       =>  wckTime=21.78  cpuTime=21.33  mem=19M784
22.06/22.12	   
22.06/22.12	   solver IterativeSystematicSolver being built... 
22.26/22.33	       =>  wckTime=22.091  cpuTime=21.51  mem=59M480
61.97/62.41	   
61.97/62.41	   preprocessing
61.97/62.41	     nbConstraintChecks=82728498  nbValidityChecks=318124  nbPropagations=448  nbRevisions=3899  nbUselessRevisions=3432
61.97/62.41	     nbRemovedValues=98479  detectedInconsistency=no
61.97/62.41	       =>  wckTime=40.071  cpuTime=39.68  mem=59M480
144.98/146.29	   
144.98/146.29	   search
144.98/146.29	     run=5  nbConstraintChecks=146725092  nbValidityChecks=11820130  minDepth=0  maxDepth=400  nbPropagations=15679
144.98/146.29	     nbRevisions=136180  nbUselessRevisions=67663  nbAssignments=579  nbFailedAssignments=179  nbBacktracks=0
144.98/146.29	     nbVisitedNodes=759  nbRestartNogoods=0  nbFoundSolutions=1  mapSize=0  nbInferences=0  nbTooLargeKeys=0
144.98/146.29	     nbSEliminables=202.28  nbREliminables=0.18  nbIEliminables=51.37  nbDEliminables=0  nbPEliminables=0
144.98/146.29	       =>  wckTime=123.956  cpuTime=122.67  mem=43M469
144.98/146.29	   
144.98/146.29	   global
144.98/146.29	     nbConstraintChecks=229453590  nbValidityChecks=12138254  nbPropagations=16127  nbRevisions=140079
144.98/146.29	     nbUselessRevisions=71095  nbRestartNogoods=0  solvingWckTime=123.959  solvingCpuTime=122.67  expiredTime=no
144.98/146.29	     totalExploration=no  nbFoundSolutions=1  firstSolutionCpuTime=144.16  globalCpuTime=144.22
144.98/146.29	       =>  wckTime=146.055  cpuTime=144.18  mem=43M469
144.98/146.30	   
144.98/146.30	s SATISFIABLE
144.98/146.30	v -2484 2376 1404 1980 -1780 -1380 -2600 2600 2068 2288 2268 2352 2256 -2600 -2404 -2172 -1592 -2500 -2560 -1340 -1672 -2412 -2600 -1336 2600 -2560 -1788 -1248 -2288 1632 2432 -2256 -1816 -2068 -2248 -1364 -1244 -1940 -2484 -2308 -2600 -2332 -2600 2440 -2456 -2288 2100 1820 -2600 -2192 -1652 -1976 -2492 1384 -1672 1348 -1380 -2044 -1296 -2532 -2416 1816 -1944 -2560 -2148 2012 -1672 2540 1660 -1768 1824 -2372 -1424 -1968 2040 -1744 -2552 -1968 -2600 -1216 2248 -1204 -2348 -2248 1288 1628 -1828 -2380 -1412 2224 1856 1916 -2600 -2472 -2560 -1204 -2228 -2312 -2600 -2600 1204 -1852 -1564 -1752 1668 -1240 -2188 -2444 -1204 -2208 -1388 -1952 1940 -1348 -1256 1556 -1204 -1364 -1524 -1264 1600 2216 -1300 1204 2284 -2040 -1324 -1396 -2188 1456 -1596 -1340 1436 2420 -2600 1328 1516 -1300 -1748 -2268 -2560 -2248 -2444 -2024 -1868 -2392 -1244 -2416 -1692 -1712 -1240 -2024 -1248 1276 1532 -1224 -1632 -2600 1972 -2028 1792 -1572 -1280 2452 -2600 -1784 -1984 -1420 -2448 -2504 -1720 -2560 1552 -1320 -2228 -1244 -2560 2096 -2428 -1976 -2200 -2420 -2440 1724 -2168 2508 -1604 -2572 -1704 1992 -1396 -1472 -2484 -1912 -1864 -1288 -2600 1784 2348 -1256 -1280 -1328 -1364 -2060 -2468 -2600 -1324 -1280 -1468 -2236 -2560 -1368 -1548 -1620 -1428 -2156 -2600 -1484 1204 -1244 -1856 -1336 -2548 -1764 1744 -1388 -1824 -1372 -2560 -2416 -1572 -1564 -1764 -1476 -1900 -1244 -1256 -1224 -2000 -2228 -2480 -1264 -1720 -1508 -1388 2276 -1344 -2108 -2560 -1436 -1244 -2600 -1292 -2184 -1260 -2444 -2600 -1436 -2420 -1252 -2560 -1428 2108 -2560 1868 1860 -2560 -1476 -1348 -2560 -2456 2352 -1728 -2308 -2008 -2580 1204 1652 -1872 -1284 -2560 2512 -1496 -2244 1436 -2480 -2152 -1412 -1296 -2600 1792 -1820 -2212 -1244 -1844 -1388 -2240 1724 -2208 -2560 1864 -2560 2380 -1768 -2068 -2560 -1404 2288 -1612 2544 -1524 -2560 -2248 -2560 -2512 -1244 1948 -2600 -1880 -1496 -1592 -2560 -1984 -1648 -2292 -1356 -1524 1344 -1264 -2008 -2464 1908 -1640 -2116 -2016 -2332 -1384 -1204 -2560 -1532 -1812 -1964 1760 -2076 -2460 1244 -1956 -1364 -1216 -2528 -2444 1484 -1608 -2388 -1832 2372 1508 1840 1536 1712 -1204 -2348 2228 2600 -2004 2560 -2504 -1244 -1372 -1244 -1908 -1564 2056 -1984 -2472 -2016 -1884 -1512 2380 -1244 -2036 -1308 -1236 -1396 -1524 -2408 -1216 2568 -1384 -1924 -2080 -1208 -1204 1316 2108 -2216 1760 -1224 -1808 -1904 
145.09/146.30	d NODES 579
145.09/146.30	d CHECKS 229453590
145.09/146.31	   
145.09/146.31	   totalWckTime=146.13  totalCpuTime=144.24

Verifier Data 

OK

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2097856-1247414104/watcher-2097856-1247414104 -o /tmp/evaluation-result-2097856-1247414104/solver-2097856-1247414104 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2097856-1247414104.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.01 2.00 2.00 4/83 3327
/proc/meminfo: memFree=1725512/2055920 swapFree=4192812/4192956
[pid=3327] ppid=3325 vsize=272 CPUtime=0
/proc/3327/stat : 3327 (java) R 3325 3327 2105 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 28473062 278528 37 996147200 134512640 134550932 4294955968 18446744073709551615 8733476 0 0 4096 0 0 0 0 17 0 0 0
/proc/3327/statm: 77 39 29 9 0 6 0

[startup+0.0370841 s]
/proc/loadavg: 2.01 2.00 2.00 4/83 3327
/proc/meminfo: memFree=1725512/2055920 swapFree=4192812/4192956
[pid=3327] ppid=3325 vsize=861936 CPUtime=0.02
/proc/3327/stat : 3327 (java) S 3325 3327 2105 0 -1 0 2293 0 1 0 1 1 0 0 18 0 5 0 28473062 882622464 1893 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0
/proc/3327/statm: 215484 1893 865 9 0 210399 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 861936

[startup+0.101097 s]
/proc/loadavg: 2.01 2.00 2.00 4/83 3327
/proc/meminfo: memFree=1725512/2055920 swapFree=4192812/4192956
[pid=3327] ppid=3325 vsize=865940 CPUtime=0.09
/proc/3327/stat : 3327 (java) S 3325 3327 2105 0 -1 0 3809 0 1 0 7 2 0 0 18 0 9 0 28473062 886722560 3259 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3327/statm: 216485 3259 1719 9 0 210970 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865940

[startup+0.301129 s]
/proc/loadavg: 2.01 2.00 2.00 4/83 3327
/proc/meminfo: memFree=1725512/2055920 swapFree=4192812/4192956
[pid=3327] ppid=3325 vsize=866432 CPUtime=0.29
/proc/3327/stat : 3327 (java) S 3325 3327 2105 0 -1 0 6113 0 1 0 26 3 0 0 18 0 9 0 28473062 887226368 5479 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3327/statm: 216608 5479 1987 9 0 211066 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866432

[startup+0.701196 s]
/proc/loadavg: 2.01 2.00 2.00 4/83 3327
/proc/meminfo: memFree=1725512/2055920 swapFree=4192812/4192956
[pid=3327] ppid=3325 vsize=867736 CPUtime=0.69
/proc/3327/stat : 3327 (java) S 3325 3327 2105 0 -1 0 10910 0 1 0 63 6 0 0 18 0 9 0 28473062 888561664 10264 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3327/statm: 216934 10264 2036 9 0 211370 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 867736

[startup+1.50133 s]
/proc/loadavg: 2.01 2.00 2.00 3/92 3336
/proc/meminfo: memFree=1685184/2055920 swapFree=4192812/4192956
[pid=3327] ppid=3325 vsize=867736 CPUtime=1.49
/proc/3327/stat : 3327 (java) S 3325 3327 2105 0 -1 0 13040 0 1 0 142 7 0 0 18 0 9 0 28473062 888561664 12391 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3327/statm: 216934 12391 2041 9 0 211370 0
[pid=3327/tid=3329] ppid=3325 vsize=867736 CPUtime=1.31
/proc/3327/task/3329/stat : 3329 (java) R 3325 3327 2105 0 -1 64 11660 0 1 0 125 6 0 0 25 0 9 0 28473063 888561664 12391 996147200 134512640 134550932 4294955968 18446744073709551615 4126941038 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3327/tid=3330] ppid=3325 vsize=867736 CPUtime=0
/proc/3327/task/3330/stat : 3330 (java) S 3325 3327 2105 0 -1 64 3 0 0 0 0 0 0 0 17 0 9 0 28473064 888561664 12391 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=3327/tid=3331] ppid=3325 vsize=867736 CPUtime=0
/proc/3327/task/3331/stat : 3331 (java) S 3325 3327 2105 0 -1 64 11 0 0 0 0 0 0 0 22 0 9 0 28473064 888561664 12391 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3327/tid=3332] ppid=3325 vsize=867736 CPUtime=0
/proc/3327/task/3332/stat : 3332 (java) S 3325 3327 2105 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 28473064 888561664 12391 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3327/tid=3333] ppid=3325 vsize=867736 CPUtime=0
/proc/3327/task/3333/stat : 3333 (java) S 3325 3327 2105 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 28473066 888561664 12391 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3327/tid=3334] ppid=3325 vsize=867736 CPUtime=0.16
/proc/3327/task/3334/stat : 3334 (java) S 3325 3327 2105 0 -1 64 682 0 0 0 16 0 0 0 16 0 9 0 28473066 888561664 12391 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3327/tid=3335] ppid=3325 vsize=867736 CPUtime=0
/proc/3327/task/3335/stat : 3335 (java) S 3325 3327 2105 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 28473066 888561664 12391 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3327/tid=3336] ppid=3325 vsize=867736 CPUtime=0
/proc/3327/task/3336/stat : 3336 (java) S 3325 3327 2105 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28473066 888561664 12391 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 867736

[startup+3.1026 s]
/proc/loadavg: 2.01 2.00 2.00 3/92 3336
/proc/meminfo: memFree=1683200/2055920 swapFree=4192812/4192956
[pid=3327] ppid=3325 vsize=867736 CPUtime=3.08
/proc/3327/stat : 3327 (java) S 3325 3327 2105 0 -1 0 13409 0 1 0 301 7 0 0 18 0 9 0 28473062 888561664 12759 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3327/statm: 216934 12759 2041 9 0 211370 0
[pid=3327/tid=3329] ppid=3325 vsize=867736 CPUtime=2.91
/proc/3327/task/3329/stat : 3329 (java) R 3325 3327 2105 0 -1 64 12026 0 1 0 285 6 0 0 25 0 9 0 28473063 888561664 12759 996147200 134512640 134550932 4294955968 18446744073709551615 4126467463 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3327/tid=3330] ppid=3325 vsize=867736 CPUtime=0
/proc/3327/task/3330/stat : 3330 (java) S 3325 3327 2105 0 -1 64 3 0 0 0 0 0 0 0 16 0 9 0 28473064 888561664 12759 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=3327/tid=3331] ppid=3325 vsize=867736 CPUtime=0
/proc/3327/task/3331/stat : 3331 (java) S 3325 3327 2105 0 -1 64 11 0 0 0 0 0 0 0 22 0 9 0 28473064 888561664 12759 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3327/tid=3332] ppid=3325 vsize=867736 CPUtime=0
/proc/3327/task/3332/stat : 3332 (java) S 3325 3327 2105 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 28473064 888561664 12759 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3327/tid=3333] ppid=3325 vsize=867736 CPUtime=0
/proc/3327/task/3333/stat : 3333 (java) S 3325 3327 2105 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 28473066 888561664 12759 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3327/tid=3334] ppid=3325 vsize=867736 CPUtime=0.16
/proc/3327/task/3334/stat : 3334 (java) S 3325 3327 2105 0 -1 64 685 0 0 0 16 0 0 0 16 0 9 0 28473066 888561664 12759 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3327/tid=3335] ppid=3325 vsize=867736 CPUtime=0
/proc/3327/task/3335/stat : 3335 (java) S 3325 3327 2105 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 28473066 888561664 12759 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3327/tid=3336] ppid=3325 vsize=867736 CPUtime=0
/proc/3327/task/3336/stat : 3336 (java) S 3325 3327 2105 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28473066 888561664 12759 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 867736

[startup+6.30115 s]
/proc/loadavg: 2.01 2.00 2.00 3/92 3336
/proc/meminfo: memFree=1679936/2055920 swapFree=4192812/4192956
[pid=3327] ppid=3325 vsize=867736 CPUtime=6.28
/proc/3327/stat : 3327 (java) S 3325 3327 2105 0 -1 0 14134 0 1 0 621 7 0 0 18 0 9 0 28473062 888561664 13483 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3327/statm: 216934 13483 2041 9 0 211370 0
[pid=3327/tid=3329] ppid=3325 vsize=867736 CPUtime=6.1
/proc/3327/task/3329/stat : 3329 (java) R 3325 3327 2105 0 -1 64 12749 0 1 0 603 7 0 0 25 0 9 0 28473063 888561664 13483 996147200 134512640 134550932 4294955968 18446744073709551615 4126910844 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3327/tid=3330] ppid=3325 vsize=867736 CPUtime=0
/proc/3327/task/3330/stat : 3330 (java) S 3325 3327 2105 0 -1 64 3 0 0 0 0 0 0 0 16 0 9 0 28473064 888561664 13483 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=3327/tid=3331] ppid=3325 vsize=867736 CPUtime=0
/proc/3327/task/3331/stat : 3331 (java) S 3325 3327 2105 0 -1 64 11 0 0 0 0 0 0 0 22 0 9 0 28473064 888561664 13483 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3327/tid=3332] ppid=3325 vsize=867736 CPUtime=0
/proc/3327/task/3332/stat : 3332 (java) S 3325 3327 2105 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 28473064 888561664 13483 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3327/tid=3333] ppid=3325 vsize=867736 CPUtime=0
/proc/3327/task/3333/stat : 3333 (java) S 3325 3327 2105 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 28473066 888561664 13483 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3327/tid=3334] ppid=3325 vsize=867736 CPUtime=0.17
/proc/3327/task/3334/stat : 3334 (java) S 3325 3327 2105 0 -1 64 687 0 0 0 17 0 0 0 16 0 9 0 28473066 888561664 13483 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3327/tid=3335] ppid=3325 vsize=867736 CPUtime=0
/proc/3327/task/3335/stat : 3335 (java) S 3325 3327 2105 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 28473066 888561664 13483 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3327/tid=3336] ppid=3325 vsize=867736 CPUtime=0
/proc/3327/task/3336/stat : 3336 (java) S 3325 3327 2105 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28473066 888561664 13483 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 867736

[startup+12.7022 s]
/proc/loadavg: 2.01 2.00 2.00 3/92 3336
/proc/meminfo: memFree=1673856/2055920 swapFree=4192812/4192956
[pid=3327] ppid=3325 vsize=867736 CPUtime=12.68
/proc/3327/stat : 3327 (java) S 3325 3327 2105 0 -1 0 15547 0 1 0 1260 8 0 0 18 0 9 0 28473062 888561664 14894 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3327/statm: 216934 14896 2041 9 0 211370 0
[pid=3327/tid=3329] ppid=3325 vsize=867736 CPUtime=12.48
/proc/3327/task/3329/stat : 3329 (java) R 3325 3327 2105 0 -1 64 14152 0 1 0 1241 7 0 0 25 0 9 0 28473063 888561664 14899 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3327/tid=3330] ppid=3325 vsize=867736 CPUtime=0
/proc/3327/task/3330/stat : 3330 (java) S 3325 3327 2105 0 -1 64 3 0 0 0 0 0 0 0 16 0 9 0 28473064 888561664 14899 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=3327/tid=3331] ppid=3325 vsize=867736 CPUtime=0
/proc/3327/task/3331/stat : 3331 (java) S 3325 3327 2105 0 -1 64 11 0 0 0 0 0 0 0 22 0 9 0 28473064 888561664 14904 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3327/tid=3332] ppid=3325 vsize=867736 CPUtime=0
/proc/3327/task/3332/stat : 3332 (java) S 3325 3327 2105 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 28473064 888561664 14904 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3327/tid=3333] ppid=3325 vsize=867736 CPUtime=0
/proc/3327/task/3333/stat : 3333 (java) S 3325 3327 2105 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 28473066 888561664 14904 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3327/tid=3334] ppid=3325 vsize=867736 CPUtime=0.18
/proc/3327/task/3334/stat : 3334 (java) S 3325 3327 2105 0 -1 64 707 0 0 0 18 0 0 0 15 0 9 0 28473066 888561664 14904 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3327/tid=3335] ppid=3325 vsize=867736 CPUtime=0
/proc/3327/task/3335/stat : 3335 (java) S 3325 3327 2105 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 28473066 888561664 14904 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3327/tid=3336] ppid=3325 vsize=867736 CPUtime=0
/proc/3327/task/3336/stat : 3336 (java) S 3325 3327 2105 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28473066 888561664 14905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 867736

[startup+25.5014 s]
/proc/loadavg: 2.01 2.00 2.00 3/92 3340
/proc/meminfo: memFree=1640128/2055920 swapFree=4192812/4192956
[pid=3327] ppid=3325 vsize=868384 CPUtime=25.42
/proc/3327/stat : 3327 (java) S 3325 3327 2105 0 -1 0 51271 376 1 0 2523 17 1 1 18 0 9 0 28473062 889225216 23797 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3327/statm: 217096 23797 2662 9 0 211532 0
[pid=3327/tid=3329] ppid=3325 vsize=868384 CPUtime=24.85
/proc/3327/task/3329/stat : 3329 (java) R 3325 3327 2105 0 -1 64 27466 376 1 0 2472 11 1 1 25 0 9 0 28473063 889225216 23797 996147200 134512640 134550932 4294955968 18446744073709551615 4127301856 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3327/tid=3330] ppid=3325 vsize=868384 CPUtime=0.26
/proc/3327/task/3330/stat : 3330 (java) S 3325 3327 2105 0 -1 64 21993 376 0 0 20 4 1 1 17 0 9 0 28473064 889225216 23797 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3327/tid=3331] ppid=3325 vsize=868384 CPUtime=0.02
/proc/3327/task/3331/stat : 3331 (java) S 3325 3327 2105 0 -1 64 26 376 0 0 0 0 1 1 16 0 9 0 28473064 889225216 23797 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3327/tid=3332] ppid=3325 vsize=868384 CPUtime=0.02
/proc/3327/task/3332/stat : 3332 (java) S 3325 3327 2105 0 -1 64 19 376 0 0 0 0 1 1 15 0 9 0 28473064 889225216 23797 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3327/tid=3333] ppid=3325 vsize=868384 CPUtime=0.02
/proc/3327/task/3333/stat : 3333 (java) S 3325 3327 2105 0 -1 64 2 376 0 0 0 0 1 1 24 0 9 0 28473066 889225216 23797 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3327/tid=3334] ppid=3325 vsize=868384 CPUtime=0.31
/proc/3327/task/3334/stat : 3334 (java) S 3325 3327 2105 0 -1 64 966 376 0 0 29 0 1 1 16 0 9 0 28473066 889225216 23797 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3327/tid=3335] ppid=3325 vsize=868384 CPUtime=0.02
/proc/3327/task/3335/stat : 3335 (java) S 3325 3327 2105 0 -1 64 0 376 0 0 0 0 1 1 25 0 9 0 28473066 889225216 23797 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3327/tid=3336] ppid=3325 vsize=868384 CPUtime=0.02
/proc/3327/task/3336/stat : 3336 (java) S 3325 3327 2105 0 -1 64 10 376 0 0 0 0 1 1 15 0 9 0 28473066 889225216 23797 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 868384

[startup+51.1017 s]
/proc/loadavg: 2.00 2.00 2.00 3/92 3340
/proc/meminfo: memFree=1640064/2055920 swapFree=4192812/4192956
[pid=3327] ppid=3325 vsize=868384 CPUtime=50.78
/proc/3327/stat : 3327 (java) S 3325 3327 2105 0 -1 0 51281 376 1 0 5059 17 1 1 18 0 9 0 28473062 889225216 23799 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3327/statm: 217096 23799 2662 9 0 211532 0
[pid=3327/tid=3329] ppid=3325 vsize=868384 CPUtime=50.2
/proc/3327/task/3329/stat : 3329 (java) R 3325 3327 2105 0 -1 64 27468 376 1 0 5007 11 1 1 25 0 9 0 28473063 889225216 23799 996147200 134512640 134550932 4294955968 18446744073709551615 4126905384 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3327/tid=3330] ppid=3325 vsize=868384 CPUtime=0.26
/proc/3327/task/3330/stat : 3330 (java) S 3325 3327 2105 0 -1 64 21993 376 0 0 20 4 1 1 16 0 9 0 28473064 889225216 23799 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3327/tid=3331] ppid=3325 vsize=868384 CPUtime=0.02
/proc/3327/task/3331/stat : 3331 (java) S 3325 3327 2105 0 -1 64 26 376 0 0 0 0 1 1 16 0 9 0 28473064 889225216 23799 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3327/tid=3332] ppid=3325 vsize=868384 CPUtime=0.02
/proc/3327/task/3332/stat : 3332 (java) S 3325 3327 2105 0 -1 64 19 376 0 0 0 0 1 1 15 0 9 0 28473064 889225216 23799 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3327/tid=3333] ppid=3325 vsize=868384 CPUtime=0.02
/proc/3327/task/3333/stat : 3333 (java) S 3325 3327 2105 0 -1 64 2 376 0 0 0 0 1 1 24 0 9 0 28473066 889225216 23799 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3327/tid=3334] ppid=3325 vsize=868384 CPUtime=0.32
/proc/3327/task/3334/stat : 3334 (java) S 3325 3327 2105 0 -1 64 973 376 0 0 30 0 1 1 16 0 9 0 28473066 889225216 23799 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3327/tid=3335] ppid=3325 vsize=868384 CPUtime=0.02
/proc/3327/task/3335/stat : 3335 (java) S 3325 3327 2105 0 -1 64 0 376 0 0 0 0 1 1 25 0 9 0 28473066 889225216 23799 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0

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

/proc/3327/stat : 3327 (java) S 3325 3327 2105 0 -1 0 51719 376 1 0 12665 18 1 1 18 0 9 0 28473062 889225216 23807 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3327/statm: 217096 23807 2662 9 0 211532 0
[pid=3327/tid=3329] ppid=3325 vsize=868384 CPUtime=126.25
/proc/3327/task/3329/stat : 3329 (java) R 3325 3327 2105 0 -1 64 27893 376 1 0 12612 11 1 1 25 0 9 0 28473063 889225216 23807 996147200 134512640 134550932 4294955968 18446744073709551615 4127201271 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3327/tid=3330] ppid=3325 vsize=868384 CPUtime=0.26
/proc/3327/task/3330/stat : 3330 (java) S 3325 3327 2105 0 -1 64 21993 376 0 0 20 4 1 1 16 0 9 0 28473064 889225216 23807 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3327/tid=3331] ppid=3325 vsize=868384 CPUtime=0.02
/proc/3327/task/3331/stat : 3331 (java) S 3325 3327 2105 0 -1 64 26 376 0 0 0 0 1 1 16 0 9 0 28473064 889225216 23807 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3327/tid=3332] ppid=3325 vsize=868384 CPUtime=0.02
/proc/3327/task/3332/stat : 3332 (java) S 3325 3327 2105 0 -1 64 19 376 0 0 0 0 1 1 15 0 9 0 28473064 889225216 23807 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3327/tid=3333] ppid=3325 vsize=868384 CPUtime=0.02
/proc/3327/task/3333/stat : 3333 (java) S 3325 3327 2105 0 -1 64 2 376 0 0 0 0 1 1 24 0 9 0 28473066 889225216 23807 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3327/tid=3334] ppid=3325 vsize=868384 CPUtime=0.35
/proc/3327/task/3334/stat : 3334 (java) S 3325 3327 2105 0 -1 64 986 376 0 0 32 1 1 1 16 0 9 0 28473066 889225216 23807 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3327/tid=3335] ppid=3325 vsize=868384 CPUtime=0.02
/proc/3327/task/3335/stat : 3335 (java) S 3325 3327 2105 0 -1 64 0 376 0 0 0 0 1 1 25 0 9 0 28473066 889225216 23807 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3327/tid=3336] ppid=3325 vsize=868384 CPUtime=0.02
/proc/3327/task/3336/stat : 3336 (java) S 3325 3327 2105 0 -1 64 11 376 0 0 0 0 1 1 15 0 9 0 28473066 889225216 23807 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 126.85
Current children cumulated vsize (KiB) 868384

[startup+134.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/92 3340
/proc/meminfo: memFree=1639808/2055920 swapFree=4192812/4192956
[pid=3327] ppid=3325 vsize=868384 CPUtime=133.19
/proc/3327/stat : 3327 (java) S 3325 3327 2105 0 -1 0 51719 376 1 0 13299 18 1 1 18 0 9 0 28473062 889225216 23807 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3327/statm: 217096 23807 2662 9 0 211532 0
[pid=3327/tid=3329] ppid=3325 vsize=868384 CPUtime=132.59
/proc/3327/task/3329/stat : 3329 (java) R 3325 3327 2105 0 -1 64 27893 376 1 0 13246 11 1 1 25 0 9 0 28473063 889225216 23807 996147200 134512640 134550932 4294955968 18446744073709551615 4126905320 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3327/tid=3330] ppid=3325 vsize=868384 CPUtime=0.26
/proc/3327/task/3330/stat : 3330 (java) S 3325 3327 2105 0 -1 64 21993 376 0 0 20 4 1 1 16 0 9 0 28473064 889225216 23807 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3327/tid=3331] ppid=3325 vsize=868384 CPUtime=0.02
/proc/3327/task/3331/stat : 3331 (java) S 3325 3327 2105 0 -1 64 26 376 0 0 0 0 1 1 16 0 9 0 28473064 889225216 23807 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3327/tid=3332] ppid=3325 vsize=868384 CPUtime=0.02
/proc/3327/task/3332/stat : 3332 (java) S 3325 3327 2105 0 -1 64 19 376 0 0 0 0 1 1 15 0 9 0 28473064 889225216 23807 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3327/tid=3333] ppid=3325 vsize=868384 CPUtime=0.02
/proc/3327/task/3333/stat : 3333 (java) S 3325 3327 2105 0 -1 64 2 376 0 0 0 0 1 1 24 0 9 0 28473066 889225216 23807 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3327/tid=3334] ppid=3325 vsize=868384 CPUtime=0.35
/proc/3327/task/3334/stat : 3334 (java) S 3325 3327 2105 0 -1 64 986 376 0 0 32 1 1 1 16 0 9 0 28473066 889225216 23807 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3327/tid=3335] ppid=3325 vsize=868384 CPUtime=0.02
/proc/3327/task/3335/stat : 3335 (java) S 3325 3327 2105 0 -1 64 0 376 0 0 0 0 1 1 25 0 9 0 28473066 889225216 23807 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3327/tid=3336] ppid=3325 vsize=868384 CPUtime=0.02
/proc/3327/task/3336/stat : 3336 (java) S 3325 3327 2105 0 -1 64 11 376 0 0 0 0 1 1 15 0 9 0 28473066 889225216 23807 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 133.19
Current children cumulated vsize (KiB) 868384

[startup+140.703 s]
/proc/loadavg: 2.00 2.00 2.00 3/92 3340
/proc/meminfo: memFree=1639808/2055920 swapFree=4192812/4192956
[pid=3327] ppid=3325 vsize=868384 CPUtime=139.53
/proc/3327/stat : 3327 (java) S 3325 3327 2105 0 -1 0 51724 376 1 0 13933 18 1 1 18 0 9 0 28473062 889225216 23810 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3327/statm: 217096 23810 2662 9 0 211532 0
[pid=3327/tid=3329] ppid=3325 vsize=868384 CPUtime=138.93
/proc/3327/task/3329/stat : 3329 (java) R 3325 3327 2105 0 -1 64 27895 376 1 0 13880 11 1 1 25 0 9 0 28473063 889225216 23810 996147200 134512640 134550932 4294955968 18446744073709551615 4126907952 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3327/tid=3330] ppid=3325 vsize=868384 CPUtime=0.26
/proc/3327/task/3330/stat : 3330 (java) S 3325 3327 2105 0 -1 64 21993 376 0 0 20 4 1 1 17 0 9 0 28473064 889225216 23810 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3327/tid=3331] ppid=3325 vsize=868384 CPUtime=0.02
/proc/3327/task/3331/stat : 3331 (java) S 3325 3327 2105 0 -1 64 26 376 0 0 0 0 1 1 16 0 9 0 28473064 889225216 23810 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3327/tid=3332] ppid=3325 vsize=868384 CPUtime=0.02
/proc/3327/task/3332/stat : 3332 (java) S 3325 3327 2105 0 -1 64 19 376 0 0 0 0 1 1 15 0 9 0 28473064 889225216 23810 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3327/tid=3333] ppid=3325 vsize=868384 CPUtime=0.02
/proc/3327/task/3333/stat : 3333 (java) S 3325 3327 2105 0 -1 64 2 376 0 0 0 0 1 1 24 0 9 0 28473066 889225216 23810 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3327/tid=3334] ppid=3325 vsize=868384 CPUtime=0.35
/proc/3327/task/3334/stat : 3334 (java) S 3325 3327 2105 0 -1 64 989 376 0 0 32 1 1 1 16 0 9 0 28473066 889225216 23810 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3327/tid=3335] ppid=3325 vsize=868384 CPUtime=0.02
/proc/3327/task/3335/stat : 3335 (java) S 3325 3327 2105 0 -1 64 0 376 0 0 0 0 1 1 25 0 9 0 28473066 889225216 23810 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3327/tid=3336] ppid=3325 vsize=868384 CPUtime=0.02
/proc/3327/task/3336/stat : 3336 (java) S 3325 3327 2105 0 -1 64 11 376 0 0 0 0 1 1 15 0 9 0 28473066 889225216 23810 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 139.53
Current children cumulated vsize (KiB) 868384

[startup+143.901 s]
/proc/loadavg: 2.00 2.00 2.00 3/92 3340
/proc/meminfo: memFree=1639808/2055920 swapFree=4192812/4192956
[pid=3327] ppid=3325 vsize=868384 CPUtime=142.7
/proc/3327/stat : 3327 (java) S 3325 3327 2105 0 -1 0 51724 376 1 0 14250 18 1 1 18 0 9 0 28473062 889225216 23810 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3327/statm: 217096 23810 2662 9 0 211532 0
[pid=3327/tid=3329] ppid=3325 vsize=868384 CPUtime=142.1
/proc/3327/task/3329/stat : 3329 (java) R 3325 3327 2105 0 -1 64 27895 376 1 0 14197 11 1 1 25 0 9 0 28473063 889225216 23810 996147200 134512640 134550932 4294955968 18446744073709551615 4127202070 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3327/tid=3330] ppid=3325 vsize=868384 CPUtime=0.26
/proc/3327/task/3330/stat : 3330 (java) S 3325 3327 2105 0 -1 64 21993 376 0 0 20 4 1 1 16 0 9 0 28473064 889225216 23810 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3327/tid=3331] ppid=3325 vsize=868384 CPUtime=0.02
/proc/3327/task/3331/stat : 3331 (java) S 3325 3327 2105 0 -1 64 26 376 0 0 0 0 1 1 16 0 9 0 28473064 889225216 23810 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3327/tid=3332] ppid=3325 vsize=868384 CPUtime=0.02
/proc/3327/task/3332/stat : 3332 (java) S 3325 3327 2105 0 -1 64 19 376 0 0 0 0 1 1 15 0 9 0 28473064 889225216 23810 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3327/tid=3333] ppid=3325 vsize=868384 CPUtime=0.02
/proc/3327/task/3333/stat : 3333 (java) S 3325 3327 2105 0 -1 64 2 376 0 0 0 0 1 1 24 0 9 0 28473066 889225216 23810 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3327/tid=3334] ppid=3325 vsize=868384 CPUtime=0.35
/proc/3327/task/3334/stat : 3334 (java) S 3325 3327 2105 0 -1 64 989 376 0 0 32 1 1 1 16 0 9 0 28473066 889225216 23810 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3327/tid=3335] ppid=3325 vsize=868384 CPUtime=0.02
/proc/3327/task/3335/stat : 3335 (java) S 3325 3327 2105 0 -1 64 0 376 0 0 0 0 1 1 25 0 9 0 28473066 889225216 23810 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3327/tid=3336] ppid=3325 vsize=868384 CPUtime=0.02
/proc/3327/task/3336/stat : 3336 (java) S 3325 3327 2105 0 -1 64 11 376 0 0 0 0 1 1 15 0 9 0 28473066 889225216 23810 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 142.7
Current children cumulated vsize (KiB) 868384

[startup+145.503 s]
/proc/loadavg: 2.00 2.00 2.00 3/92 3340
/proc/meminfo: memFree=1639808/2055920 swapFree=4192812/4192956
[pid=3327] ppid=3325 vsize=868384 CPUtime=144.29
/proc/3327/stat : 3327 (java) S 3325 3327 2105 0 -1 0 51724 376 1 0 14409 18 1 1 18 0 9 0 28473062 889225216 23810 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3327/statm: 217096 23810 2662 9 0 211532 0
[pid=3327/tid=3329] ppid=3325 vsize=868384 CPUtime=143.68
/proc/3327/task/3329/stat : 3329 (java) R 3325 3327 2105 0 -1 64 27895 376 1 0 14355 11 1 1 25 0 9 0 28473063 889225216 23810 996147200 134512640 134550932 4294955968 18446744073709551615 4126907960 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3327/tid=3330] ppid=3325 vsize=868384 CPUtime=0.26
/proc/3327/task/3330/stat : 3330 (java) S 3325 3327 2105 0 -1 64 21993 376 0 0 20 4 1 1 16 0 9 0 28473064 889225216 23810 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3327/tid=3331] ppid=3325 vsize=868384 CPUtime=0.02
/proc/3327/task/3331/stat : 3331 (java) S 3325 3327 2105 0 -1 64 26 376 0 0 0 0 1 1 16 0 9 0 28473064 889225216 23810 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3327/tid=3332] ppid=3325 vsize=868384 CPUtime=0.02
/proc/3327/task/3332/stat : 3332 (java) S 3325 3327 2105 0 -1 64 19 376 0 0 0 0 1 1 15 0 9 0 28473064 889225216 23810 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3327/tid=3333] ppid=3325 vsize=868384 CPUtime=0.02
/proc/3327/task/3333/stat : 3333 (java) S 3325 3327 2105 0 -1 64 2 376 0 0 0 0 1 1 24 0 9 0 28473066 889225216 23810 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3327/tid=3334] ppid=3325 vsize=868384 CPUtime=0.35
/proc/3327/task/3334/stat : 3334 (java) S 3325 3327 2105 0 -1 64 989 376 0 0 32 1 1 1 16 0 9 0 28473066 889225216 23810 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3327/tid=3335] ppid=3325 vsize=868384 CPUtime=0.02
/proc/3327/task/3335/stat : 3335 (java) S 3325 3327 2105 0 -1 64 0 376 0 0 0 0 1 1 25 0 9 0 28473066 889225216 23810 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3327/tid=3336] ppid=3325 vsize=868384 CPUtime=0.02
/proc/3327/task/3336/stat : 3336 (java) S 3325 3327 2105 0 -1 64 11 376 0 0 0 0 1 1 15 0 9 0 28473066 889225216 23810 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 144.29
Current children cumulated vsize (KiB) 868384

[startup+145.903 s]
/proc/loadavg: 2.00 2.00 2.00 3/92 3340
/proc/meminfo: memFree=1639808/2055920 swapFree=4192812/4192956
[pid=3327] ppid=3325 vsize=868384 CPUtime=144.68
/proc/3327/stat : 3327 (java) S 3325 3327 2105 0 -1 0 51902 376 1 0 14448 18 1 1 18 0 9 0 28473062 889225216 23818 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3327/statm: 217096 23818 2662 9 0 211532 0
[pid=3327/tid=3329] ppid=3325 vsize=868384 CPUtime=144.06
/proc/3327/task/3329/stat : 3329 (java) R 3325 3327 2105 0 -1 64 28058 376 1 0 14393 11 1 1 25 0 9 0 28473063 889225216 23818 996147200 134512640 134550932 4294955968 18446744073709551615 4127379217 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3327/tid=3330] ppid=3325 vsize=868384 CPUtime=0.26
/proc/3327/task/3330/stat : 3330 (java) S 3325 3327 2105 0 -1 64 21993 376 0 0 20 4 1 1 16 0 9 0 28473064 889225216 23818 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3327/tid=3331] ppid=3325 vsize=868384 CPUtime=0.02
/proc/3327/task/3331/stat : 3331 (java) S 3325 3327 2105 0 -1 64 26 376 0 0 0 0 1 1 16 0 9 0 28473064 889225216 23818 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3327/tid=3332] ppid=3325 vsize=868384 CPUtime=0.02
/proc/3327/task/3332/stat : 3332 (java) S 3325 3327 2105 0 -1 64 19 376 0 0 0 0 1 1 15 0 9 0 28473064 889225216 23818 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3327/tid=3333] ppid=3325 vsize=868384 CPUtime=0.02
/proc/3327/task/3333/stat : 3333 (java) S 3325 3327 2105 0 -1 64 2 376 0 0 0 0 1 1 24 0 9 0 28473066 889225216 23818 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3327/tid=3334] ppid=3325 vsize=868384 CPUtime=0.36
/proc/3327/task/3334/stat : 3334 (java) S 3325 3327 2105 0 -1 64 1004 376 0 0 33 1 1 1 15 0 9 0 28473066 889225216 23818 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3327/tid=3335] ppid=3325 vsize=868384 CPUtime=0.02
/proc/3327/task/3335/stat : 3335 (java) S 3325 3327 2105 0 -1 64 0 376 0 0 0 0 1 1 25 0 9 0 28473066 889225216 23818 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3327/tid=3336] ppid=3325 vsize=868384 CPUtime=0.02
/proc/3327/task/3336/stat : 3336 (java) S 3325 3327 2105 0 -1 64 11 376 0 0 0 0 1 1 15 0 9 0 28473066 889225216 23818 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 144.68
Current children cumulated vsize (KiB) 868384

[startup+146.308 s]
/proc/loadavg: 2.00 2.00 2.00 4/92 3340
/proc/meminfo: memFree=1625344/2055920 swapFree=4192812/4192956
[pid=3327] ppid=3325 vsize=868384 CPUtime=145.09
/proc/3327/stat : 3327 (java) S 3325 3327 2105 0 -1 0 58846 376 1 0 14486 21 1 1 18 0 9 0 28473062 889225216 28530 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3327/statm: 217096 28530 2662 9 0 211532 0
[pid=3327/tid=3329] ppid=3325 vsize=868384 CPUtime=144.4
/proc/3327/task/3329/stat : 3329 (java) R 3325 3327 2105 0 -1 64 28877 376 1 0 14427 11 1 1 25 0 9 0 28473063 889225216 28530 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3327/tid=3330] ppid=3325 vsize=868384 CPUtime=0.32
/proc/3327/task/3330/stat : 3330 (java) S 3325 3327 2105 0 -1 64 28105 376 0 0 24 6 1 1 16 0 9 0 28473064 889225216 28530 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3327/tid=3331] ppid=3325 vsize=868384 CPUtime=0.02
/proc/3327/task/3331/stat : 3331 (java) S 3325 3327 2105 0 -1 64 26 376 0 0 0 0 1 1 16 0 9 0 28473064 889225216 28530 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3327/tid=3332] ppid=3325 vsize=868384 CPUtime=0.02
/proc/3327/task/3332/stat : 3332 (java) S 3325 3327 2105 0 -1 64 32 376 0 0 0 0 1 1 16 0 9 0 28473064 889225216 28530 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3327/tid=3333] ppid=3325 vsize=868384 CPUtime=0.02
/proc/3327/task/3333/stat : 3333 (java) S 3325 3327 2105 0 -1 64 2 376 0 0 0 0 1 1 24 0 9 0 28473066 889225216 28530 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3327/tid=3334] ppid=3325 vsize=868384 CPUtime=0.36
/proc/3327/task/3334/stat : 3334 (java) S 3325 3327 2105 0 -1 64 1004 376 0 0 33 1 1 1 15 0 9 0 28473066 889225216 28530 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3327/tid=3335] ppid=3325 vsize=868384 CPUtime=0.02
/proc/3327/task/3335/stat : 3335 (java) S 3325 3327 2105 0 -1 64 0 376 0 0 0 0 1 1 25 0 9 0 28473066 889225216 28530 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3327/tid=3336] ppid=3325 vsize=868384 CPUtime=0.02
/proc/3327/task/3336/stat : 3336 (java) S 3325 3327 2105 0 -1 64 11 376 0 0 0 0 1 1 15 0 9 0 28473066 889225216 28530 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 145.09
Current children cumulated vsize (KiB) 868384

Child status: 0
Real time (s): 146.363
CPU time (s): 145.125
CPU user time (s): 144.881
CPU system time (s): 0.243962
CPU usage (%): 99.1539
Max. virtual memory (cumulated for all children) (KiB): 868384

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 144.881
system time used= 0.243962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59254
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= 4962
involuntary context switches= 7587

runsolver used 0.152976 second user time and 0.52592 second system time

The end

Launcher Data 

Begin job on node68 at 2009-07-12 17:55:04
IDJOB=2097856
IDBENCH=57881
IDSOLVER=774
FILE ID=node68/2097856-1247414104
PBS_JOBID= 9510511
Free space on /tmp= 66456 MiB

SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/fapp/fapp31/normalized-fapp31-0400-6.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= BIN/runsolver --timestamp -w /tmp/evaluation-result-2097856-1247414104/watcher-2097856-1247414104 -o /tmp/evaluation-result-2097856-1247414104/solver-2097856-1247414104 -C 1800 -W 2000 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2097856-1247414104.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 5437bff566491bef6c75b023202900b4
RANDOM SEED=139263118

node68.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.258
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.258
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:       1725992 kB
Buffers:         43072 kB
Cached:         129376 kB
SwapCached:          0 kB
Active:         189756 kB
Inactive:        79952 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1725992 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2508 kB
Writeback:           0 kB
Mapped:         117948 kB
Slab:            44984 kB
Committed_AS:  1043988 kB
PageTables:       2128 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= 66452 MiB
End job on node68 at 2009-07-12 17:57:30