Trace number 214235

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, and are wall clock time (not CPU 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 109 ESAC? (TO) 1800.11 1808.45

General information on the benchmark

NamepseudoSeries/routing/
s3-3-3-2.xml
MD5SUM1ac69a6e79856085cfbccaf8b9ee54f2
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.634902
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables264
Number of constraints712
Maximum constraint arity22
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension712
Global constraints used (with number of constraints)

Solver Data (download as text)

0.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=esac.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/214235-1168229111/unknown.xml
0.35	   
0.35	   domains being loaded...
0.35	   
0.35	   variables being loaded...
0.40	     nbVariables=264  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.40	       =>  wckTime=0.109  cpuTime=0.09  mem=6M951
0.40	   
0.40	   predicates being loaded...
0.42	   
0.42	   constraints being loaded...
0.68	     nbConstraints=360  nbMergedConstraints=352  nbConvertedConstraints=166  nbConvertConstraintsChecks=68
0.68	     nbExtensionStructures=3  nbSharedExtensionStructures=163  nbConflictsStructures=8  nbSharedConflictsStructures=340
0.68	     nbUnbuiltConflictsStructures=1  nbSharedBinaryRepresentations=9  nbEvaluationManagers=6
0.68	     nbSharedEvaluationManagers=188  maxDegree=8  maxArity=22
0.68	       =>  wckTime=0.382  cpuTime=0.26  mem=17M679
0.72	   
0.72	   solver IterativeSystematicSolver being built... 
0.90	       =>  wckTime=0.606  cpuTime=0.4  mem=16M730
3.23	   
3.23	   preprocessing
3.23	     nbConstraintChecks=1092963  nbValidityChecks=12741  nbPropagations=878  nbRevisions=7642  nbUselessRevisions=7240
3.23	     nbSingletonTests=325  nbEffectiveSingletonTests=0  nbESACBranches=4  nbRemovedValues=0  detectedInconsistency=no
3.23	       =>  wckTime=2.325  cpuTime=2.28  mem=16M730
9.15	   
9.15	   search
9.15	     run=0  nbConstraintChecks=2885037  nbValidityChecks=3803  nbPropagations=1227  nbRevisions=10121
9.15	     nbUselessRevisions=9274  nbAssignments=80  nbFailedAssignments=5  nbBacktracks=10  nbVisitedNodes=87
9.15	     nbRestartNogoods=0  mapSize=8  nbInferences=0  nbTooLargeKeys=0
9.15	       =>  wckTime=8.246  cpuTime=8.14  mem=17M713
11.32	   
11.32	   search
11.32	     run=1  nbConstraintChecks=3944305  nbValidityChecks=8114  nbPropagations=2874  nbRevisions=22999
11.32	     nbUselessRevisions=20795  nbAssignments=150  nbFailedAssignments=10  nbBacktracks=27  nbVisitedNodes=166
11.32	     nbRestartNogoods=1  mapSize=15  nbInferences=0  nbTooLargeKeys=0
11.32	       =>  wckTime=10.423  cpuTime=10.31  mem=17M713
13.72	   
13.72	   search
13.72	     run=2  nbConstraintChecks=5109866  nbValidityChecks=14668  nbPropagations=5049  nbRevisions=40114
13.72	     nbUselessRevisions=35994  nbAssignments=302  nbFailedAssignments=14  nbBacktracks=52  nbVisitedNodes=244
13.72	     nbRestartNogoods=4  mapSize=20  nbInferences=0  nbTooLargeKeys=0
13.72	       =>  wckTime=12.823  cpuTime=12.69  mem=17M713
22.16	   
22.16	   search
22.16	     run=3  nbConstraintChecks=9241408  nbValidityChecks=21677  nbPropagations=8009  nbRevisions=61877
22.16	     nbUselessRevisions=54505  nbAssignments=397  nbFailedAssignments=21  nbBacktracks=85  nbVisitedNodes=329
22.16	     nbRestartNogoods=7  mapSize=39  nbInferences=0  nbTooLargeKeys=0
22.16	       =>  wckTime=21.257  cpuTime=21.09  mem=17M713
33.02	   
33.02	   search
33.02	     run=4  nbConstraintChecks=14622761  nbValidityChecks=30477  nbPropagations=12181  nbRevisions=89290
33.02	     nbUselessRevisions=77022  nbAssignments=530  nbFailedAssignments=32  nbBacktracks=162  nbVisitedNodes=463
33.02	     nbRestartNogoods=9  mapSize=66  nbInferences=0  nbTooLargeKeys=0
33.02	       =>  wckTime=32.121  cpuTime=31.9  mem=17M713
33.35	   
33.35	   search
33.35	     run=5  nbConstraintChecks=14776924  nbValidityChecks=36826  nbPropagations=16891  nbRevisions=120608
33.35	     nbUselessRevisions=102699  nbAssignments=636  nbFailedAssignments=37  nbBacktracks=239  nbVisitedNodes=587
33.35	     nbRestartNogoods=10  mapSize=83  nbInferences=0  nbTooLargeKeys=0
33.35	       =>  wckTime=32.447  cpuTime=32.23  mem=17M713
45.95	   
45.95	   search
45.95	     run=6  nbConstraintChecks=20899316  nbValidityChecks=48757  nbPropagations=23349  nbRevisions=159856
45.95	     nbUselessRevisions=134064  nbAssignments=794  nbFailedAssignments=53  nbBacktracks=361  nbVisitedNodes=786
45.95	     nbRestartNogoods=11  mapSize=122  nbInferences=0  nbTooLargeKeys=0
45.95	       =>  wckTime=45.048  cpuTime=44.78  mem=17M713
49.78	   
49.78	   search
49.78	     run=7  nbConstraintChecks=22754946  nbValidityChecks=63547  nbPropagations=31264  nbRevisions=208709
49.78	     nbUselessRevisions=172911  nbAssignments=1006  nbFailedAssignments=66  nbBacktracks=543  nbVisitedNodes=1053
49.78	     nbRestartNogoods=13  mapSize=174  nbInferences=0  nbTooLargeKeys=0
49.78	       =>  wckTime=48.882  cpuTime=48.57  mem=17M713
64.97	   
64.97	   search
64.97	     run=8  nbConstraintChecks=30177481  nbValidityChecks=82229  nbPropagations=41720  nbRevisions=270045
64.97	     nbUselessRevisions=221158  nbAssignments=1386  nbFailedAssignments=106  nbBacktracks=808  nbVisitedNodes=1476
64.97	     nbRestartNogoods=16  mapSize=267  nbInferences=0  nbTooLargeKeys=0
64.97	       =>  wckTime=64.073  cpuTime=63.69  mem=17M713
90.31	   
90.31	   search
90.31	     run=9  nbConstraintChecks=42527138  nbValidityChecks=127843  nbPropagations=58625  nbRevisions=362365
90.31	     nbUselessRevisions=291641  nbAssignments=1921  nbFailedAssignments=163  nbBacktracks=1193  nbVisitedNodes=2181
90.31	     nbRestartNogoods=18  mapSize=435  nbInferences=0  nbTooLargeKeys=0
90.31	       =>  wckTime=89.408  cpuTime=88.9  mem=17M713
123.64	   
123.64	   search
123.64	     run=10  nbConstraintChecks=58825442  nbValidityChecks=177501  nbPropagations=81411  nbRevisions=489067
123.64	     nbUselessRevisions=388096  nbAssignments=2591  nbFailedAssignments=227  nbBacktracks=1783  nbVisitedNodes=3019
123.64	     nbRestartNogoods=21  mapSize=602  nbInferences=0  nbTooLargeKeys=0
123.64	       =>  wckTime=122.738  cpuTime=122.08  mem=18M688
156.70	   
156.70	   search
156.70	     run=11  nbConstraintChecks=75022434  nbValidityChecks=240199  nbPropagations=111553  nbRevisions=659234
156.70	     nbUselessRevisions=518418  nbAssignments=3564  nbFailedAssignments=309  nbBacktracks=2664  nbVisitedNodes=4159
156.70	     nbRestartNogoods=24  mapSize=767  nbInferences=0  nbTooLargeKeys=0
156.70	       =>  wckTime=155.8  cpuTime=154.98  mem=18M688
207.78	   
207.78	   INFO : Stopping hyperNogood (mapSize=1012, nbTooLargekeys=0, mem=18M688)
256.28	   
256.28	   search
256.28	     run=12  nbConstraintChecks=123340626  nbValidityChecks=394233  nbPropagations=165220  nbRevisions=947017
256.28	     nbUselessRevisions=735895  nbAssignments=5076  nbFailedAssignments=491  nbBacktracks=3967  nbVisitedNodes=6154
256.28	     nbRestartNogoods=26
256.28	       =>  wckTime=255.377  cpuTime=254.09  mem=18M688
386.43	   
386.43	   search
386.43	     run=13  nbConstraintChecks=187296613  nbValidityChecks=554168  nbPropagations=235275  nbRevisions=1344817
386.43	     nbUselessRevisions=1041116  nbAssignments=7372  nbFailedAssignments=725  nbBacktracks=5939  nbVisitedNodes=8840
386.43	     nbRestartNogoods=31
386.43	       =>  wckTime=385.535  cpuTime=383.64  mem=18M688
457.87	   
457.87	   search
457.87	     run=14  nbConstraintChecks=222124675  nbValidityChecks=713306  nbPropagations=327050  nbRevisions=1867762
457.87	     nbUselessRevisions=1444193  nbAssignments=10630  nbFailedAssignments=916  nbBacktracks=8859  nbVisitedNodes=12548
457.87	     nbRestartNogoods=33
457.87	       =>  wckTime=456.969  cpuTime=454.73  mem=18M688
557.38	   
557.38	   search
557.38	     run=15  nbConstraintChecks=270859682  nbValidityChecks=1023457  nbPropagations=453466  nbRevisions=2624138
557.38	     nbUselessRevisions=2031895  nbAssignments=15524  nbFailedAssignments=1306  nbBacktracks=13271  nbVisitedNodes=18257
557.38	     nbRestartNogoods=39
557.38	       =>  wckTime=556.482  cpuTime=553.8  mem=18M688
782.08	   
782.08	   search
782.08	     run=16  nbConstraintChecks=381118895  nbValidityChecks=1455710  nbPropagations=622246  nbRevisions=3683552
782.08	     nbUselessRevisions=2867173  nbAssignments=22656  nbFailedAssignments=1805  nbBacktracks=19876  nbVisitedNodes=26421
782.08	     nbRestartNogoods=45
782.08	       =>  wckTime=781.179  cpuTime=777.44  mem=18M688
916.72	   
916.72	   search
916.72	     run=17  nbConstraintChecks=446753691  nbValidityChecks=1933382  nbPropagations=849584  nbRevisions=5128877
916.72	     nbUselessRevisions=4017024  nbAssignments=33270  nbFailedAssignments=2388  nbBacktracks=29827  nbVisitedNodes=38082
916.72	     nbRestartNogoods=48
916.72	       =>  wckTime=915.816  cpuTime=911.45  mem=18M688
1282.10	   
1282.10	   search
1282.10	     run=18  nbConstraintChecks=625901023  nbValidityChecks=2855996  nbPropagations=1186137  nbRevisions=7246470
1282.10	     nbUselessRevisions=5704907  nbAssignments=49145  nbFailedAssignments=3460  nbBacktracks=44610  nbVisitedNodes=56082
1282.10	     nbRestartNogoods=55
1282.10	       =>  wckTime=1281.196  cpuTime=1275.14  mem=18M688

Verifier Data (download as text)

ERROR: Unexpected answer ! (SAT/UNSAT expected)
Got answer:

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node23/watcher-214235-1168229111 -o ROOT/results/node23/solver-214235-1168229111 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/214235-1168229111/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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

/proc/loadavg: 1.54 1.15 1.05 4/86 4345
/proc/meminfo: memFree=1778776/2055920 swapFree=4191880/4192956
[pid=4344] ppid=4342 vsize=1788 CPUtime=0
/proc/4344/stat : 4344 (java) R 4342 4344 3728 0 -1 0 367 0 0 0 0 0 0 0 18 0 1 0 171305479 1830912 159 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/4344/statm: 446 158 123 14 0 91 0

[startup+0.108264 s]
/proc/loadavg: 1.54 1.15 1.05 4/86 4345
/proc/meminfo: memFree=1778776/2055920 swapFree=4191880/4192956
[pid=4344] ppid=4342 vsize=914988 CPUtime=0.09
/proc/4344/stat : 4344 (java) R 4342 4344 3728 0 -1 0 3081 0 1 0 8 1 0 0 22 0 8 0 171305479 936947712 2827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072944238 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4344/statm: 228747 2827 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.516341 s]
/proc/loadavg: 1.54 1.15 1.05 4/86 4345
/proc/meminfo: memFree=1778776/2055920 swapFree=4191880/4192956
[pid=4344] ppid=4342 vsize=915328 CPUtime=0.5
/proc/4344/stat : 4344 (java) R 4342 4344 3728 0 -1 0 6709 0 1 0 47 3 0 0 25 0 8 0 171305479 937295872 6448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073595604 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4344/statm: 228832 6449 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.3395 s]
/proc/loadavg: 1.54 1.15 1.05 3/93 4352
/proc/meminfo: memFree=1751392/2055920 swapFree=4191880/4192956
[pid=4344] ppid=4342 vsize=915572 CPUtime=1.32
/proc/4344/stat : 4344 (java) R 4342 4344 3728 0 -1 0 9591 0 1 0 125 7 0 0 25 0 8 0 171305479 937545728 9329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073744053 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4344/statm: 228893 9329 2540 14 0 215363 0
[pid=4344/tid=4346] ppid=4342 vsize=915572 CPUtime=0.03
/proc/4344/task/4346/stat : 4346 (java) S 4342 4344 3728 0 -1 64 212 0 0 0 3 0 0 0 16 0 8 0 171305483 937545728 9329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4347] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4347/stat : 4347 (java) S 4342 4344 3728 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171305484 937545728 9329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4348] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4348/stat : 4348 (java) S 4342 4344 3728 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171305484 937545728 9329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4349] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4349/stat : 4349 (java) S 4342 4344 3728 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171305487 937545728 9329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4350] ppid=4342 vsize=915572 CPUtime=0.21
/proc/4344/task/4350/stat : 4350 (java) S 4342 4344 3728 0 -1 64 396 0 0 0 21 0 0 0 15 0 8 0 171305487 937545728 9329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4351] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4351/stat : 4351 (java) S 4342 4344 3728 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171305487 937545728 9329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4352] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4352/stat : 4352 (java) S 4342 4344 3728 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171305487 937545728 9329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915572

[startup+2.98082 s]
/proc/loadavg: 1.54 1.15 1.05 3/93 4352
/proc/meminfo: memFree=1751264/2055920 swapFree=4191880/4192956
[pid=4344] ppid=4342 vsize=915572 CPUtime=2.96
/proc/4344/stat : 4344 (java) R 4342 4344 3728 0 -1 0 9602 0 1 0 289 7 0 0 25 0 8 0 171305479 937545728 9339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073905930 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4344/statm: 228893 9339 2542 14 0 215363 0
[pid=4344/tid=4346] ppid=4342 vsize=915572 CPUtime=0.03
/proc/4344/task/4346/stat : 4346 (java) S 4342 4344 3728 0 -1 64 212 0 0 0 3 0 0 0 17 0 8 0 171305483 937545728 9339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4347] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4347/stat : 4347 (java) S 4342 4344 3728 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171305484 937545728 9339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4348] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4348/stat : 4348 (java) S 4342 4344 3728 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171305484 937545728 9339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4349] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4349/stat : 4349 (java) S 4342 4344 3728 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171305487 937545728 9339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4350] ppid=4342 vsize=915572 CPUtime=0.22
/proc/4344/task/4350/stat : 4350 (java) S 4342 4344 3728 0 -1 64 403 0 0 0 22 0 0 0 15 0 8 0 171305487 937545728 9339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4351] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4351/stat : 4351 (java) S 4342 4344 3728 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171305487 937545728 9339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4352] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4352/stat : 4352 (java) S 4342 4344 3728 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171305487 937545728 9339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915572

[startup+6.27645 s]
/proc/loadavg: 1.58 1.16 1.05 3/93 4352
/proc/meminfo: memFree=1751264/2055920 swapFree=4191880/4192956
[pid=4344] ppid=4342 vsize=915572 CPUtime=6.22
/proc/4344/stat : 4344 (java) R 4342 4344 3728 0 -1 0 9615 0 1 0 615 7 0 0 25 0 8 0 171305479 937545728 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073908165 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4344/statm: 228893 9349 2543 14 0 215363 0
[pid=4344/tid=4346] ppid=4342 vsize=915572 CPUtime=0.03
/proc/4344/task/4346/stat : 4346 (java) S 4342 4344 3728 0 -1 64 212 0 0 0 3 0 0 0 16 0 8 0 171305483 937545728 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4347] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4347/stat : 4347 (java) S 4342 4344 3728 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171305484 937545728 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4348] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4348/stat : 4348 (java) S 4342 4344 3728 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171305484 937545728 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4349] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4349/stat : 4349 (java) S 4342 4344 3728 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171305487 937545728 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4350] ppid=4342 vsize=915572 CPUtime=0.23
/proc/4344/task/4350/stat : 4350 (java) S 4342 4344 3728 0 -1 64 412 0 0 0 23 0 0 0 16 0 8 0 171305487 937545728 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4351] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4351/stat : 4351 (java) S 4342 4344 3728 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171305487 937545728 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4352] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4352/stat : 4352 (java) S 4342 4344 3728 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171305487 937545728 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915572

[startup+12.7577 s]
/proc/loadavg: 1.61 1.18 1.06 3/93 4352
/proc/meminfo: memFree=1751264/2055920 swapFree=4191880/4192956
[pid=4344] ppid=4342 vsize=915572 CPUtime=12.66
/proc/4344/stat : 4344 (java) R 4342 4344 3728 0 -1 0 9621 0 1 0 1259 7 0 0 25 0 8 0 171305479 937545728 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073908035 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4344/statm: 228893 9353 2543 14 0 215363 0
[pid=4344/tid=4346] ppid=4342 vsize=915572 CPUtime=0.03
/proc/4344/task/4346/stat : 4346 (java) S 4342 4344 3728 0 -1 64 212 0 0 0 3 0 0 0 16 0 8 0 171305483 937545728 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4347] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4347/stat : 4347 (java) S 4342 4344 3728 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171305484 937545728 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4348] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4348/stat : 4348 (java) S 4342 4344 3728 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171305484 937545728 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4349] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4349/stat : 4349 (java) S 4342 4344 3728 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171305487 937545728 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4350] ppid=4342 vsize=915572 CPUtime=0.24
/proc/4344/task/4350/stat : 4350 (java) S 4342 4344 3728 0 -1 64 417 0 0 0 24 0 0 0 15 0 8 0 171305487 937545728 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4351] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4351/stat : 4351 (java) S 4342 4344 3728 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171305487 937545728 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4352] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4352/stat : 4352 (java) S 4342 4344 3728 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171305487 937545728 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915572

[startup+25.6112 s]
/proc/loadavg: 1.70 1.22 1.07 3/93 4352
/proc/meminfo: memFree=1751264/2055920 swapFree=4191880/4192956
[pid=4344] ppid=4342 vsize=915572 CPUtime=25.47
/proc/4344/stat : 4344 (java) R 4342 4344 3728 0 -1 0 9621 0 1 0 2540 7 0 0 25 0 8 0 171305479 937545728 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073744080 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4344/statm: 228893 9353 2543 14 0 215363 0
[pid=4344/tid=4346] ppid=4342 vsize=915572 CPUtime=0.03
/proc/4344/task/4346/stat : 4346 (java) S 4342 4344 3728 0 -1 64 212 0 0 0 3 0 0 0 16 0 8 0 171305483 937545728 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4347] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4347/stat : 4347 (java) S 4342 4344 3728 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171305484 937545728 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4348] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4348/stat : 4348 (java) S 4342 4344 3728 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171305484 937545728 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4349] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4349/stat : 4349 (java) S 4342 4344 3728 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171305487 937545728 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4350] ppid=4342 vsize=915572 CPUtime=0.24
/proc/4344/task/4350/stat : 4350 (java) S 4342 4344 3728 0 -1 64 417 0 0 0 24 0 0 0 16 0 8 0 171305487 937545728 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4351] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4351/stat : 4351 (java) S 4342 4344 3728 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171305487 937545728 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4352] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4352/stat : 4352 (java) S 4342 4344 3728 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171305487 937545728 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915572

[startup+51.2301 s]
/proc/loadavg: 1.80 1.28 1.09 3/93 4352
/proc/meminfo: memFree=1751392/2055920 swapFree=4191880/4192956
[pid=4344] ppid=4342 vsize=915572 CPUtime=50.96
/proc/4344/stat : 4344 (java) R 4342 4344 3728 0 -1 0 9626 0 1 0 5089 7 0 0 25 0 8 0 171305479 937545728 9356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073906338 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4344/statm: 228893 9356 2543 14 0 215363 0
[pid=4344/tid=4346] ppid=4342 vsize=915572 CPUtime=0.03
/proc/4344/task/4346/stat : 4346 (java) S 4342 4344 3728 0 -1 64 212 0 0 0 3 0 0 0 16 0 8 0 171305483 937545728 9356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4347] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4347/stat : 4347 (java) S 4342 4344 3728 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171305484 937545728 9356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4348] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4348/stat : 4348 (java) S 4342 4344 3728 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171305484 937545728 9356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4349] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4349/stat : 4349 (java) S 4342 4344 3728 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171305487 937545728 9356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4350] ppid=4342 vsize=915572 CPUtime=0.25
/proc/4344/task/4350/stat : 4350 (java) S 4342 4344 3728 0 -1 64 421 0 0 0 25 0 0 0 16 0 8 0 171305487 937545728 9356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4351] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4351/stat : 4351 (java) S 4342 4344 3728 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171305487 937545728 9356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4352] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4352/stat : 4352 (java) S 4342 4344 3728 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171305487 937545728 9356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 915572

[startup+102.455 s]
/proc/loadavg: 1.91 1.39 1.14 3/93 4352
/proc/meminfo: memFree=1751392/2055920 swapFree=4191880/4192956
[pid=4344] ppid=4342 vsize=915572 CPUtime=101.95
/proc/4344/stat : 4344 (java) R 4342 4344 3728 0 -1 0 9644 0 1 0 10187 8 0 0 25 0 8 0 171305479 937545728 9367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073955724 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4344/statm: 228893 9367 2543 14 0 215363 0
[pid=4344/tid=4346] ppid=4342 vsize=915572 CPUtime=0.03
/proc/4344/task/4346/stat : 4346 (java) S 4342 4344 3728 0 -1 64 212 0 0 0 3 0 0 0 16 0 8 0 171305483 937545728 9367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4347] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4347/stat : 4347 (java) S 4342 4344 3728 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171305484 937545728 9367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4348] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4348/stat : 4348 (java) S 4342 4344 3728 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171305484 937545728 9367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4349] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4349/stat : 4349 (java) S 4342 4344 3728 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171305487 937545728 9367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4350] ppid=4342 vsize=915572 CPUtime=0.27
/proc/4344/task/4350/stat : 4350 (java) S 4342 4344 3728 0 -1 64 434 0 0 0 27 0 0 0 16 0 8 0 171305487 937545728 9367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4351] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4351/stat : 4351 (java) S 4342 4344 3728 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171305487 937545728 9367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4352] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4352/stat : 4352 (java) S 4342 4344 3728 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171305487 937545728 9367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.95
Current children cumulated vsize (KiB) 915572

[startup+162.522 s]
/proc/loadavg: 1.97 1.50 1.19 3/93 4352
/proc/meminfo: memFree=1751392/2055920 swapFree=4191880/4192956
[pid=4344] ppid=4342 vsize=915572 CPUtime=161.74
/proc/4344/stat : 4344 (java) R 4342 4344 3728 0 -1 0 9651 0 1 0 16166 8 0 0 25 0 8 0 171305479 937545728 9369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073914875 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 1417.49
Current children cumulated vsize (KiB) 915572

[startup+1484.18 s]
/proc/loadavg: 2.02 2.02 1.79 3/93 4354
/proc/meminfo: memFree=1749856/2055920 swapFree=4191880/4192956
[pid=4344] ppid=4342 vsize=915572 CPUtime=1477.29
/proc/4344/stat : 4344 (java) R 4342 4344 3728 0 -1 0 9706 0 1 0 147718 11 0 0 25 0 8 0 171305479 937545728 9422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073904258 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4344/statm: 228893 9422 2543 14 0 215363 0
[pid=4344/tid=4346] ppid=4342 vsize=915572 CPUtime=0.03
/proc/4344/task/4346/stat : 4346 (java) S 4342 4344 3728 0 -1 64 212 0 0 0 3 0 0 0 16 0 8 0 171305483 937545728 9422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4347] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4347/stat : 4347 (java) S 4342 4344 3728 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171305484 937545728 9422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4348] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4348/stat : 4348 (java) S 4342 4344 3728 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171305484 937545728 9422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4349] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4349/stat : 4349 (java) S 4342 4344 3728 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171305487 937545728 9422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4350] ppid=4342 vsize=915572 CPUtime=0.28
/proc/4344/task/4350/stat : 4350 (java) S 4342 4344 3728 0 -1 64 441 0 0 0 28 0 0 0 16 0 8 0 171305487 937545728 9422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4351] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4351/stat : 4351 (java) S 4342 4344 3728 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171305487 937545728 9422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4352] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4352/stat : 4352 (java) S 4342 4344 3728 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171305487 937545728 9422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1477.29
Current children cumulated vsize (KiB) 915572

[startup+1544.25 s]
/proc/loadavg: 2.00 2.01 1.80 3/93 4354
/proc/meminfo: memFree=1749792/2055920 swapFree=4191880/4192956
[pid=4344] ppid=4342 vsize=915572 CPUtime=1537.06
/proc/4344/stat : 4344 (java) R 4342 4344 3728 0 -1 0 9706 0 1 0 153695 11 0 0 25 0 8 0 171305479 937545728 9422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073908007 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4344/statm: 228893 9422 2543 14 0 215363 0
[pid=4344/tid=4346] ppid=4342 vsize=915572 CPUtime=0.03
/proc/4344/task/4346/stat : 4346 (java) S 4342 4344 3728 0 -1 64 212 0 0 0 3 0 0 0 16 0 8 0 171305483 937545728 9422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4347] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4347/stat : 4347 (java) S 4342 4344 3728 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171305484 937545728 9422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4348] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4348/stat : 4348 (java) S 4342 4344 3728 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171305484 937545728 9422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4349] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4349/stat : 4349 (java) S 4342 4344 3728 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171305487 937545728 9422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4350] ppid=4342 vsize=915572 CPUtime=0.28
/proc/4344/task/4350/stat : 4350 (java) S 4342 4344 3728 0 -1 64 441 0 0 0 28 0 0 0 16 0 8 0 171305487 937545728 9422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4351] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4351/stat : 4351 (java) S 4342 4344 3728 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171305487 937545728 9422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4352] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4352/stat : 4352 (java) S 4342 4344 3728 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171305487 937545728 9422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1537.06
Current children cumulated vsize (KiB) 915572

[startup+1604.32 s]
/proc/loadavg: 2.00 2.01 1.81 3/93 4354
/proc/meminfo: memFree=1749728/2055920 swapFree=4191880/4192956
[pid=4344] ppid=4342 vsize=915572 CPUtime=1596.86
/proc/4344/stat : 4344 (java) R 4342 4344 3728 0 -1 0 9706 0 1 0 159675 11 0 0 25 0 8 0 171305479 937545728 9422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073908755 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4344/statm: 228893 9422 2543 14 0 215363 0
[pid=4344/tid=4346] ppid=4342 vsize=915572 CPUtime=0.03
/proc/4344/task/4346/stat : 4346 (java) S 4342 4344 3728 0 -1 64 212 0 0 0 3 0 0 0 16 0 8 0 171305483 937545728 9422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4347] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4347/stat : 4347 (java) S 4342 4344 3728 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171305484 937545728 9422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4348] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4348/stat : 4348 (java) S 4342 4344 3728 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171305484 937545728 9422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4349] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4349/stat : 4349 (java) S 4342 4344 3728 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171305487 937545728 9422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4350] ppid=4342 vsize=915572 CPUtime=0.28
/proc/4344/task/4350/stat : 4350 (java) S 4342 4344 3728 0 -1 64 441 0 0 0 28 0 0 0 16 0 8 0 171305487 937545728 9422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4351] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4351/stat : 4351 (java) S 4342 4344 3728 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171305487 937545728 9422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4352] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4352/stat : 4352 (java) S 4342 4344 3728 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171305487 937545728 9422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1596.86
Current children cumulated vsize (KiB) 915572

[startup+1664.4 s]
/proc/loadavg: 2.00 2.00 1.82 3/93 4354
/proc/meminfo: memFree=1749664/2055920 swapFree=4191880/4192956
[pid=4344] ppid=4342 vsize=915572 CPUtime=1656.67
/proc/4344/stat : 4344 (java) R 4342 4344 3728 0 -1 0 9706 0 1 0 165656 11 0 0 25 0 8 0 171305479 937545728 9422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073908156 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4344/statm: 228893 9422 2543 14 0 215363 0
[pid=4344/tid=4346] ppid=4342 vsize=915572 CPUtime=0.03
/proc/4344/task/4346/stat : 4346 (java) S 4342 4344 3728 0 -1 64 212 0 0 0 3 0 0 0 16 0 8 0 171305483 937545728 9422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4347] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4347/stat : 4347 (java) S 4342 4344 3728 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171305484 937545728 9422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4348] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4348/stat : 4348 (java) S 4342 4344 3728 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171305484 937545728 9422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4349] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4349/stat : 4349 (java) S 4342 4344 3728 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171305487 937545728 9422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4350] ppid=4342 vsize=915572 CPUtime=0.28
/proc/4344/task/4350/stat : 4350 (java) S 4342 4344 3728 0 -1 64 441 0 0 0 28 0 0 0 16 0 8 0 171305487 937545728 9422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4351] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4351/stat : 4351 (java) S 4342 4344 3728 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171305487 937545728 9422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4352] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4352/stat : 4352 (java) S 4342 4344 3728 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171305487 937545728 9422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1656.67
Current children cumulated vsize (KiB) 915572

[startup+1724.48 s]
/proc/loadavg: 2.00 2.00 1.83 3/93 4354
/proc/meminfo: memFree=1749600/2055920 swapFree=4191880/4192956
[pid=4344] ppid=4342 vsize=915572 CPUtime=1716.45
/proc/4344/stat : 4344 (java) R 4342 4344 3728 0 -1 0 9706 0 1 0 171634 11 0 0 25 0 8 0 171305479 937545728 9422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479187 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4344/statm: 228893 9422 2543 14 0 215363 0
[pid=4344/tid=4346] ppid=4342 vsize=915572 CPUtime=0.03
/proc/4344/task/4346/stat : 4346 (java) S 4342 4344 3728 0 -1 64 212 0 0 0 3 0 0 0 16 0 8 0 171305483 937545728 9422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4347] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4347/stat : 4347 (java) S 4342 4344 3728 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171305484 937545728 9422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4348] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4348/stat : 4348 (java) S 4342 4344 3728 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171305484 937545728 9422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4349] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4349/stat : 4349 (java) S 4342 4344 3728 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171305487 937545728 9422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4350] ppid=4342 vsize=915572 CPUtime=0.28
/proc/4344/task/4350/stat : 4350 (java) S 4342 4344 3728 0 -1 64 441 0 0 0 28 0 0 0 16 0 8 0 171305487 937545728 9422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4351] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4351/stat : 4351 (java) S 4342 4344 3728 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171305487 937545728 9422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4352] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4352/stat : 4352 (java) S 4342 4344 3728 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171305487 937545728 9422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1716.45
Current children cumulated vsize (KiB) 915572

[startup+1784.56 s]
/proc/loadavg: 2.04 2.01 1.84 3/93 4354
/proc/meminfo: memFree=1749536/2055920 swapFree=4191880/4192956
[pid=4344] ppid=4342 vsize=915572 CPUtime=1776.26
/proc/4344/stat : 4344 (java) R 4342 4344 3728 0 -1 0 9706 0 1 0 177615 11 0 0 25 0 8 0 171305479 937545728 9422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073909643 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4344/statm: 228893 9422 2543 14 0 215363 0
[pid=4344/tid=4346] ppid=4342 vsize=915572 CPUtime=0.03
/proc/4344/task/4346/stat : 4346 (java) S 4342 4344 3728 0 -1 64 212 0 0 0 3 0 0 0 16 0 8 0 171305483 937545728 9422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4347] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4347/stat : 4347 (java) S 4342 4344 3728 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171305484 937545728 9422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4348] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4348/stat : 4348 (java) S 4342 4344 3728 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171305484 937545728 9422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4349] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4349/stat : 4349 (java) S 4342 4344 3728 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171305487 937545728 9422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4350] ppid=4342 vsize=915572 CPUtime=0.28
/proc/4344/task/4350/stat : 4350 (java) S 4342 4344 3728 0 -1 64 441 0 0 0 28 0 0 0 16 0 8 0 171305487 937545728 9422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4351] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4351/stat : 4351 (java) S 4342 4344 3728 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171305487 937545728 9422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4352] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4352/stat : 4352 (java) S 4342 4344 3728 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171305487 937545728 9422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1776.26
Current children cumulated vsize (KiB) 915572



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.41 s]
/proc/loadavg: 2.10 2.03 1.85 3/100 4411
/proc/meminfo: memFree=1712872/2055920 swapFree=4191880/4192956
[pid=4344] ppid=4342 vsize=915572 CPUtime=1800.06
/proc/4344/stat : 4344 (java) R 4342 4344 3728 0 -1 0 9706 0 1 0 179994 12 0 0 25 0 8 0 171305479 937545728 9422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073908734 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4344/statm: 228893 9422 2543 14 0 215363 0
[pid=4344/tid=4346] ppid=4342 vsize=915572 CPUtime=0.03
/proc/4344/task/4346/stat : 4346 (java) S 4342 4344 3728 0 -1 64 212 0 0 0 3 0 0 0 16 0 8 0 171305483 937545728 9422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4347] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4347/stat : 4347 (java) S 4342 4344 3728 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171305484 937545728 9422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4348] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4348/stat : 4348 (java) S 4342 4344 3728 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171305484 937545728 9422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4349] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4349/stat : 4349 (java) S 4342 4344 3728 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171305487 937545728 9422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4350] ppid=4342 vsize=915572 CPUtime=0.28
/proc/4344/task/4350/stat : 4350 (java) S 4342 4344 3728 0 -1 64 441 0 0 0 28 0 0 0 16 0 8 0 171305487 937545728 9422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4351] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4351/stat : 4351 (java) S 4342 4344 3728 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171305487 937545728 9422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4344/tid=4352] ppid=4342 vsize=915572 CPUtime=0
/proc/4344/task/4352/stat : 4352 (java) S 4342 4344 3728 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171305487 937545728 9422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 915572

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Child status: 143
Real time (s): 1808.45
CPU time (s): 1800.11
CPU user time (s): 1799.98
CPU system time (s): 0.12998
CPU usage (%): 99.5386
Max. virtual memory (cumulated for all children) (KiB): 915572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.98
system time used= 0.12998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9725
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= 37956
involuntary context switches= 91105

runsolver used 2.21266 s user time and 5.79512 s system time

The end

Launcher Data (download as text)

Begin job on node23 on Mon Jan  8 04:05:11 UTC 2007


IDJOB= 214235
IDBENCH= 4909
FILE ID= node23/214235-1168229111

PBS_JOBID= 3481309

Free space on /tmp= 66559 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/routing/s3-3-3-2.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/214235-1168229111/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node23/watcher-214235-1168229111 -o ROOT/results/node23/solver-214235-1168229111 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/214235-1168229111/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  1ac69a6e79856085cfbccaf8b9ee54f2

RANDOM SEED= 753218529

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/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.265
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.265
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:       1779256 kB
Buffers:         44284 kB
Cached:         114252 kB
SwapCached:        448 kB
Active:         134644 kB
Inactive:        87168 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1779256 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            5128 kB
Writeback:           0 kB
Mapped:          84328 kB
Slab:            39756 kB
Committed_AS:  3574180 kB
PageTables:       2244 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66561 MiB



End job on node23 on Mon Jan  8 04:35:20 UTC 2007