Trace number 233497

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.14 1803.91

General information on the benchmark

Nametaillard/
os-taillard-15/os-taillard-15-95-6.xml
MD5SUMfffa7293bfb79a702132fd63166ab6d3
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables225
Number of constraints3150
Maximum constraint arity2
Maximum domain size884
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3150
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=esac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/233497-1168326594/unknown.xml
0.37	   
0.37	   domains being loaded...
0.41	   
0.41	   variables being loaded...
0.48	     nbVariables=225  nbDomainTypes=225  minDomainSize=786  maxDomainSize=884
0.48	       =>  wckTime=0.166  cpuTime=0.14  mem=11M775
0.48	   
0.48	   predicates being loaded...
0.48	   
0.48	   constraints being loaded...
203.96	   
203.96	   INFO : Stopping converting binary constraints (cpu=200.05, mem = 274M689)
204.23	     nbConstraints=3150  nbConvertedConstraints=1130  nbConvertConstraintsChecks=788192698  nbExtensionStructures=1130
204.23	     nbSharedExtensionStructures=0  nbConflictsStructures=1130  nbSharedConflictsStructures=0
204.23	     nbSharedBinaryRepresentations=494464  nbEvaluationManagers=2020  nbSharedEvaluationManagers=0  maxDegree=28
204.23	     maxArity=2
204.23	       =>  wckTime=203.92  cpuTime=200.25  mem=289M933
204.89	   
204.89	   solver IterativeSystematicSolver being built... 
205.13	       =>  wckTime=204.821  cpuTime=200.45  mem=283M676
247.60	   
247.60	   preprocessing
247.60	     nbConstraintChecks=106984974  nbValidityChecks=44116213  nbPropagations=4913  nbRevisions=77241
247.60	     nbUselessRevisions=72623  nbSingletonTests=235  nbEffectiveSingletonTests=0  nbESACBranches=3  nbRemovedValues=0
247.60	     detectedInconsistency=no
247.60	       =>  wckTime=42.457  cpuTime=42.22  mem=283M676
261.67	   
261.67	   search
261.67	     run=0  nbConstraintChecks=34371470  nbValidityChecks=37551581  nbPropagations=9907  nbRevisions=160835
261.67	     nbUselessRevisions=141258  nbAssignments=501  nbFailedAssignments=422  nbBacktracks=10  nbVisitedNodes=934
261.67	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
261.67	       =>  wckTime=56.525  cpuTime=56.2  mem=286M562
371.63	   
371.63	   search
371.63	     run=1  nbConstraintChecks=158727170  nbValidityChecks=1400586527  nbPropagations=158555  nbRevisions=2614728
371.63	     nbUselessRevisions=2423002  nbAssignments=7219  nbFailedAssignments=953  nbBacktracks=25  nbVisitedNodes=2034
371.63	     nbRestartNogoods=58  mapSize=25  nbInferences=0  nbTooLargeKeys=0
371.63	       =>  wckTime=166.493  cpuTime=165.63  mem=286M562
393.39	   
393.39	   search
393.39	     run=2  nbConstraintChecks=188121132  nbValidityChecks=1615415200  nbPropagations=323586  nbRevisions=5351702
393.39	     nbUselessRevisions=4955572  nbAssignments=8173  nbFailedAssignments=1876  nbBacktracks=47  nbVisitedNodes=3933
393.39	     nbRestartNogoods=73  mapSize=47  nbInferences=0  nbTooLargeKeys=0
393.39	       =>  wckTime=188.252  cpuTime=187.28  mem=286M562
402.60	   
402.60	   search
402.60	     run=3  nbConstraintChecks=202721411  nbValidityChecks=1686173463  nbPropagations=493899  nbRevisions=8181969
402.60	     nbUselessRevisions=7570041  nbAssignments=8505  nbFailedAssignments=2164  nbBacktracks=80  nbVisitedNodes=4580
402.60	     nbRestartNogoods=95  mapSize=80  nbInferences=0  nbTooLargeKeys=0
402.60	       =>  wckTime=197.46  cpuTime=196.44  mem=287M522
507.83	   
507.83	   search
507.83	     run=4  nbConstraintChecks=360308335  nbValidityChecks=2543611440  nbPropagations=725073  nbRevisions=12134542
507.83	     nbUselessRevisions=11173346  nbAssignments=13046  nbFailedAssignments=6646  nbBacktracks=130  nbVisitedNodes=13653
507.83	     nbRestartNogoods=99  mapSize=130  nbInferences=0  nbTooLargeKeys=0
507.83	       =>  wckTime=302.683  cpuTime=301.16  mem=288M483
542.87	   
542.87	   search
542.87	     run=5  nbConstraintChecks=407965744  nbValidityChecks=2857906635  nbPropagations=980611  nbRevisions=16508517
542.87	     nbUselessRevisions=15147438  nbAssignments=14608  nbFailedAssignments=8123  nbBacktracks=205  nbVisitedNodes=16767
542.87	     nbRestartNogoods=149  mapSize=205  nbInferences=0  nbTooLargeKeys=0
542.87	       =>  wckTime=337.733  cpuTime=336.05  mem=290M181
639.36	   
639.36	   search
639.36	     run=6  nbConstraintChecks=560133237  nbValidityChecks=3752112516  nbPropagations=1306237  nbRevisions=22062488
639.36	     nbUselessRevisions=20188093  nbAssignments=18101  nbFailedAssignments=9936  nbBacktracks=318  nbVisitedNodes=20623
639.36	     nbRestartNogoods=265  mapSize=318  nbInferences=0  nbTooLargeKeys=0
639.36	       =>  wckTime=434.22  cpuTime=432.35  mem=273M103
838.30	   
838.30	   search
838.30	     run=7  nbConstraintChecks=891054806  nbValidityChecks=5473701233  nbPropagations=1753184  nbRevisions=29886470
838.30	     nbUselessRevisions=27220655  nbAssignments=27815  nbFailedAssignments=19470  nbBacktracks=489  nbVisitedNodes=40040
838.30	     nbRestartNogoods=279  mapSize=489  nbInferences=0  nbTooLargeKeys=0
838.30	       =>  wckTime=633.159  cpuTime=631.08  mem=276M177
915.95	   
915.95	   search
915.95	     run=8  nbConstraintChecks=1022914367  nbValidityChecks=6170251759  nbPropagations=2252805  nbRevisions=38646847
915.95	     nbUselessRevisions=35053943  nbAssignments=31163  nbFailedAssignments=22553  nbBacktracks=746  nbVisitedNodes=46717
915.95	     nbRestartNogoods=282  mapSize=745  nbInferences=0  nbTooLargeKeys=0
915.95	       =>  wckTime=710.807  cpuTime=708.68  mem=280M19
1089.52	   
1089.52	   INFO : Stopping hyperNogood (mapSize=1048, nbTooLargekeys=0, mem=286M743)
1111.56	   
1111.56	   search
1111.56	     run=9  nbConstraintChecks=1279130154  nbValidityChecks=8247680382  nbPropagations=2911369  nbRevisions=50161554
1111.56	     nbUselessRevisions=45335042  nbAssignments=41179  nbFailedAssignments=31393  nbBacktracks=1130
1111.56	     nbVisitedNodes=65140  nbRestartNogoods=375
1111.56	       =>  wckTime=906.415  cpuTime=904.09  mem=286M743
1481.46	   
1481.46	   search
1481.46	     run=10  nbConstraintChecks=1954941152  nbValidityChecks=11227643569  nbPropagations=3795162  nbRevisions=65694579
1481.46	     nbUselessRevisions=59026607  nbAssignments=62004  nbFailedAssignments=51633  nbBacktracks=1706
1481.46	     nbVisitedNodes=106769  nbRestartNogoods=421
1481.46	       =>  wckTime=1276.317  cpuTime=1273.65  mem=286M743
1802.28	   
1802.28	   search
1802.28	     run=11  nbConstraintChecks=2385281356  nbValidityChecks=14776581865  nbPropagations=4951094  nbRevisions=85971541
1802.28	     nbUselessRevisions=76935453  nbAssignments=77402  nbFailedAssignments=64562  nbBacktracks=2570
1802.28	     nbVisitedNodes=134352  nbRestartNogoods=522
1802.28	       =>  wckTime=1597.135  cpuTime=1594.17  mem=286M743

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/node58/watcher-233497-1168326594 -o ROOT/results/node58/solver-233497-1168326594 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/233497-1168326594/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: 2.02 2.02 1.97 4/75 21500
/proc/meminfo: memFree=1489072/2055920 swapFree=4192812/4192956
[pid=21499] ppid=21497 vsize=9948 CPUtime=0
/proc/21499/stat : 21499 (java) S 21497 21499 20151 0 -1 0 723 0 0 0 0 0 0 0 18 0 1 0 181057377 10186752 472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 17 1 0 0
/proc/21499/statm: 2955 510 421 14 0 1602 0

[startup+0.104159 s]
/proc/loadavg: 2.02 2.02 1.97 4/75 21500
/proc/meminfo: memFree=1489072/2055920 swapFree=4192812/4192956
[pid=21499] ppid=21497 vsize=914988 CPUtime=0.09
/proc/21499/stat : 21499 (java) S 21497 21499 20151 0 -1 0 2998 0 1 0 7 2 0 0 18 0 8 0 181057377 936947712 2744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21499/statm: 228747 2744 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.512193 s]
/proc/loadavg: 2.02 2.02 1.97 4/75 21500
/proc/meminfo: memFree=1489072/2055920 swapFree=4192812/4192956
[pid=21499] ppid=21497 vsize=915328 CPUtime=0.5
/proc/21499/stat : 21499 (java) R 21497 21499 20151 0 -1 0 7509 0 1 0 45 5 0 0 18 0 8 0 181057377 937295872 7248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072917395 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21499/statm: 228832 7248 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.33326 s]
/proc/loadavg: 2.02 2.02 1.97 3/82 21507
/proc/meminfo: memFree=1448632/2055920 swapFree=4192812/4192956
[pid=21499] ppid=21497 vsize=915632 CPUtime=1.31
/proc/21499/stat : 21499 (java) R 21497 21499 20151 0 -1 0 12607 0 1 0 123 8 0 0 25 0 8 0 181057377 937607168 12345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073798665 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21499/statm: 228908 12345 2167 14 0 215378 0
[pid=21499/tid=21501] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21501/stat : 21501 (java) S 21497 21499 20151 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 181057381 937607168 12345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21502] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21502/stat : 21502 (java) S 21497 21499 20151 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181057382 937607168 12345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21503] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21503/stat : 21503 (java) S 21497 21499 20151 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181057382 937607168 12345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21504] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21504/stat : 21504 (java) S 21497 21499 20151 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181057385 937607168 12345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21505] ppid=21497 vsize=915632 CPUtime=0.15
/proc/21499/task/21505/stat : 21505 (java) S 21497 21499 20151 0 -1 64 411 0 0 0 15 0 0 0 16 0 8 0 181057385 937607168 12345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21506] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21506/stat : 21506 (java) S 21497 21499 20151 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181057385 937607168 12345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21507] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21507/stat : 21507 (java) S 21497 21499 20151 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181057385 937607168 12345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915632

[startup+2.9704 s]
/proc/loadavg: 2.02 2.02 1.97 3/82 21507
/proc/meminfo: memFree=1446648/2055920 swapFree=4192812/4192956
[pid=21499] ppid=21497 vsize=915632 CPUtime=2.94
/proc/21499/stat : 21499 (java) R 21497 21499 20151 0 -1 0 13251 0 1 0 286 8 0 0 25 0 8 0 181057377 937607168 12988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782471 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21499/statm: 228908 12988 2167 14 0 215378 0
[pid=21499/tid=21501] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21501/stat : 21501 (java) S 21497 21499 20151 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 181057381 937607168 12988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21502] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21502/stat : 21502 (java) S 21497 21499 20151 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181057382 937607168 12988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21503] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21503/stat : 21503 (java) S 21497 21499 20151 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181057382 937607168 12988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21504] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21504/stat : 21504 (java) S 21497 21499 20151 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181057385 937607168 12988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21505] ppid=21497 vsize=915632 CPUtime=0.15
/proc/21499/task/21505/stat : 21505 (java) S 21497 21499 20151 0 -1 64 411 0 0 0 15 0 0 0 17 0 8 0 181057385 937607168 12988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21506] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21506/stat : 21506 (java) S 21497 21499 20151 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181057385 937607168 12988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21507] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21507/stat : 21507 (java) S 21497 21499 20151 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181057385 937607168 12988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915632

[startup+6.25969 s]
/proc/loadavg: 2.02 2.02 1.97 3/82 21507
/proc/meminfo: memFree=1440952/2055920 swapFree=4192812/4192956
[pid=21499] ppid=21497 vsize=915632 CPUtime=6.22
/proc/21499/stat : 21499 (java) R 21497 21499 20151 0 -1 0 14565 0 1 0 613 9 0 0 25 0 8 0 181057377 937607168 14302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073798669 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21499/statm: 228908 14302 2167 14 0 215378 0
[pid=21499/tid=21501] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21501/stat : 21501 (java) S 21497 21499 20151 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 181057381 937607168 14302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21502] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21502/stat : 21502 (java) S 21497 21499 20151 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181057382 937607168 14302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21503] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21503/stat : 21503 (java) S 21497 21499 20151 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181057382 937607168 14302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21504] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21504/stat : 21504 (java) S 21497 21499 20151 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181057385 937607168 14302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21505] ppid=21497 vsize=915632 CPUtime=0.15
/proc/21499/task/21505/stat : 21505 (java) S 21497 21499 20151 0 -1 64 412 0 0 0 15 0 0 0 16 0 8 0 181057385 937607168 14302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21506] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21506/stat : 21506 (java) S 21497 21499 20151 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181057385 937607168 14302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21507] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21507/stat : 21507 (java) S 21497 21499 20151 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181057385 937607168 14302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915632

[startup+12.7383 s]
/proc/loadavg: 2.10 2.04 1.98 4/82 21507
/proc/meminfo: memFree=1412984/2055920 swapFree=4192812/4192956
[pid=21499] ppid=21497 vsize=915632 CPUtime=12.67
/proc/21499/stat : 21499 (java) R 21497 21499 20151 0 -1 0 21352 0 1 0 1255 12 0 0 25 0 8 0 181057377 937607168 21088 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783900 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21499/statm: 228908 21088 2178 14 0 215378 0
[pid=21499/tid=21501] ppid=21497 vsize=915632 CPUtime=0.13
/proc/21499/task/21501/stat : 21501 (java) S 21497 21499 20151 0 -1 64 4753 0 0 0 11 2 0 0 16 0 8 0 181057381 937607168 21088 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21502] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21502/stat : 21502 (java) S 21497 21499 20151 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181057382 937607168 21088 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21503] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21503/stat : 21503 (java) S 21497 21499 20151 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181057382 937607168 21088 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21504] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21504/stat : 21504 (java) S 21497 21499 20151 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181057385 937607168 21088 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21505] ppid=21497 vsize=915632 CPUtime=0.15
/proc/21499/task/21505/stat : 21505 (java) S 21497 21499 20151 0 -1 64 413 0 0 0 15 0 0 0 16 0 8 0 181057385 937607168 21088 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21506] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21506/stat : 21506 (java) S 21497 21499 20151 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181057385 937607168 21088 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21507] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21507/stat : 21507 (java) S 21497 21499 20151 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181057385 937607168 21088 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915632

[startup+25.6084 s]
/proc/loadavg: 2.08 2.04 1.98 3/82 21507
/proc/meminfo: memFree=1412920/2055920 swapFree=4192812/4192956
[pid=21499] ppid=21497 vsize=915632 CPUtime=25.48
/proc/21499/stat : 21499 (java) R 21497 21499 20151 0 -1 0 21368 0 1 0 2535 13 0 0 25 0 8 0 181057377 937607168 21104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073785761 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21499/statm: 228908 21104 2179 14 0 215378 0
[pid=21499/tid=21501] ppid=21497 vsize=915632 CPUtime=0.13
/proc/21499/task/21501/stat : 21501 (java) S 21497 21499 20151 0 -1 64 4753 0 0 0 11 2 0 0 16 0 8 0 181057381 937607168 21104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21502] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21502/stat : 21502 (java) S 21497 21499 20151 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181057382 937607168 21104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21503] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21503/stat : 21503 (java) S 21497 21499 20151 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181057382 937607168 21104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21504] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21504/stat : 21504 (java) S 21497 21499 20151 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181057385 937607168 21104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21505] ppid=21497 vsize=915632 CPUtime=0.17
/proc/21499/task/21505/stat : 21505 (java) S 21497 21499 20151 0 -1 64 428 0 0 0 17 0 0 0 17 0 8 0 181057385 937607168 21104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21506] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21506/stat : 21506 (java) S 21497 21499 20151 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181057385 937607168 21104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21507] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21507/stat : 21507 (java) S 21497 21499 20151 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181057385 937607168 21104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 915632

[startup+51.2196 s]
/proc/loadavg: 2.05 2.03 1.98 3/82 21507
/proc/meminfo: memFree=1368824/2055920 swapFree=4192812/4192956
[pid=21499] ppid=21497 vsize=915632 CPUtime=50.96
/proc/21499/stat : 21499 (java) R 21497 21499 20151 0 -1 0 32377 0 1 0 5078 18 0 0 25 0 8 0 181057377 937607168 32111 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073785027 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21499/statm: 228908 32111 2179 14 0 215378 0
[pid=21499/tid=21501] ppid=21497 vsize=915632 CPUtime=0.49
/proc/21499/task/21501/stat : 21501 (java) S 21497 21499 20151 0 -1 64 15758 0 0 0 43 6 0 0 16 0 8 0 181057381 937607168 32111 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21502] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21502/stat : 21502 (java) S 21497 21499 20151 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181057382 937607168 32111 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21503] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21503/stat : 21503 (java) S 21497 21499 20151 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181057382 937607168 32111 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21504] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21504/stat : 21504 (java) S 21497 21499 20151 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181057385 937607168 32111 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21505] ppid=21497 vsize=915632 CPUtime=0.17
/proc/21499/task/21505/stat : 21505 (java) S 21497 21499 20151 0 -1 64 430 0 0 0 17 0 0 0 16 0 8 0 181057385 937607168 32111 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21506] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21506/stat : 21506 (java) S 21497 21499 20151 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181057385 937607168 32111 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21507] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21507/stat : 21507 (java) S 21497 21499 20151 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181057385 937607168 32111 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 915632

[startup+102.445 s]
/proc/loadavg: 2.02 2.02 1.98 3/83 21508
/proc/meminfo: memFree=1287280/2055920 swapFree=4192812/4192956
[pid=21499] ppid=21497 vsize=915632 CPUtime=101.95
/proc/21499/stat : 21499 (java) R 21497 21499 20151 0 -1 0 52752 0 1 0 10168 27 0 0 25 0 8 0 181057377 937607168 52483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073789076 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21499/statm: 228908 52483 2179 14 0 215378 0
[pid=21499/tid=21501] ppid=21497 vsize=915632 CPUtime=1.31
/proc/21499/task/21501/stat : 21501 (java) S 21497 21499 20151 0 -1 64 36126 0 0 0 117 14 0 0 16 0 8 0 181057381 937607168 52483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21502] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21502/stat : 21502 (java) S 21497 21499 20151 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181057382 937607168 52483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21503] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21503/stat : 21503 (java) S 21497 21499 20151 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181057382 937607168 52483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21504] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21504/stat : 21504 (java) S 21497 21499 20151 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181057385 937607168 52483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21505] ppid=21497 vsize=915632 CPUtime=0.18
/proc/21499/task/21505/stat : 21505 (java) S 21497 21499 20151 0 -1 64 434 0 0 0 18 0 0 0 16 0 8 0 181057385 937607168 52483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21506] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21506/stat : 21506 (java) S 21497 21499 20151 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181057385 937607168 52483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21507] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21507/stat : 21507 (java) S 21497 21499 20151 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181057385 937607168 52483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.95
Current children cumulated vsize (KiB) 915632

[startup+162.51 s]
/proc/loadavg: 2.11 2.05 1.99 3/83 21508
/proc/meminfo: memFree=1210224/2055920 swapFree=4192812/4192956
[pid=21499] ppid=21497 vsize=915632 CPUtime=161.73
/proc/21499/stat : 21499 (java) R 21497 21499 20151 0 -1 0 71981 0 1 0 16137 36 0 0 25 0 8 0 181057377 937607168 71709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782835 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1420.22
Current children cumulated vsize (KiB) 915632

[startup+1483.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 21740
/proc/meminfo: memFree=1173256/2055920 swapFree=4192812/4192956
[pid=21499] ppid=21497 vsize=915632 CPUtime=1480.21
/proc/21499/stat : 21499 (java) R 21497 21499 20151 0 -1 0 84557 0 1 0 147972 49 0 0 25 0 8 0 181057377 937607168 84247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074043687 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21499/statm: 228908 84247 2548 14 0 215378 0
[pid=21499/tid=21501] ppid=21497 vsize=915632 CPUtime=3.22
/proc/21499/task/21501/stat : 21501 (java) S 21497 21499 20151 0 -1 64 67361 0 0 0 295 27 0 0 16 0 8 0 181057381 937607168 84247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21502] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21502/stat : 21502 (java) S 21497 21499 20151 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181057382 937607168 84247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21503] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21503/stat : 21503 (java) S 21497 21499 20151 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181057382 937607168 84247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21504] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21504/stat : 21504 (java) S 21497 21499 20151 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181057385 937607168 84247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21505] ppid=21497 vsize=915632 CPUtime=0.37
/proc/21499/task/21505/stat : 21505 (java) S 21497 21499 20151 0 -1 64 537 0 0 0 36 1 0 0 17 0 8 0 181057385 937607168 84247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21506] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21506/stat : 21506 (java) S 21497 21499 20151 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181057385 937607168 84247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21507] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21507/stat : 21507 (java) S 21497 21499 20151 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181057385 937607168 84247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1480.21
Current children cumulated vsize (KiB) 915632

[startup+1543.76 s]
/proc/loadavg: 2.03 2.01 2.00 3/80 21740
/proc/meminfo: memFree=1173256/2055920 swapFree=4192812/4192956
[pid=21499] ppid=21497 vsize=915632 CPUtime=1540.22
/proc/21499/stat : 21499 (java) R 21497 21499 20151 0 -1 0 84557 0 1 0 153973 49 0 0 25 0 8 0 181057377 937607168 84247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074028248 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21499/statm: 228908 84247 2548 14 0 215378 0
[pid=21499/tid=21501] ppid=21497 vsize=915632 CPUtime=3.22
/proc/21499/task/21501/stat : 21501 (java) S 21497 21499 20151 0 -1 64 67361 0 0 0 295 27 0 0 16 0 8 0 181057381 937607168 84247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21502] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21502/stat : 21502 (java) S 21497 21499 20151 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181057382 937607168 84247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21503] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21503/stat : 21503 (java) S 21497 21499 20151 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181057382 937607168 84247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21504] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21504/stat : 21504 (java) S 21497 21499 20151 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181057385 937607168 84247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21505] ppid=21497 vsize=915632 CPUtime=0.37
/proc/21499/task/21505/stat : 21505 (java) S 21497 21499 20151 0 -1 64 537 0 0 0 36 1 0 0 17 0 8 0 181057385 937607168 84247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21506] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21506/stat : 21506 (java) S 21497 21499 20151 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181057385 937607168 84247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21507] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21507/stat : 21507 (java) S 21497 21499 20151 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181057385 937607168 84247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1540.22
Current children cumulated vsize (KiB) 915632

[startup+1603.81 s]
/proc/loadavg: 2.01 2.01 2.00 3/80 21740
/proc/meminfo: memFree=1173256/2055920 swapFree=4192812/4192956
[pid=21499] ppid=21497 vsize=915632 CPUtime=1600.21
/proc/21499/stat : 21499 (java) R 21497 21499 20151 0 -1 0 84557 0 1 0 159972 49 0 0 25 0 8 0 181057377 937607168 84247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074038991 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21499/statm: 228908 84247 2548 14 0 215378 0
[pid=21499/tid=21501] ppid=21497 vsize=915632 CPUtime=3.22
/proc/21499/task/21501/stat : 21501 (java) S 21497 21499 20151 0 -1 64 67361 0 0 0 295 27 0 0 16 0 8 0 181057381 937607168 84247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21502] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21502/stat : 21502 (java) S 21497 21499 20151 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181057382 937607168 84247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21503] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21503/stat : 21503 (java) S 21497 21499 20151 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181057382 937607168 84247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21504] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21504/stat : 21504 (java) S 21497 21499 20151 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181057385 937607168 84247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21505] ppid=21497 vsize=915632 CPUtime=0.37
/proc/21499/task/21505/stat : 21505 (java) S 21497 21499 20151 0 -1 64 537 0 0 0 36 1 0 0 17 0 8 0 181057385 937607168 84247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21506] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21506/stat : 21506 (java) S 21497 21499 20151 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181057385 937607168 84247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21507] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21507/stat : 21507 (java) S 21497 21499 20151 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181057385 937607168 84247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1600.21
Current children cumulated vsize (KiB) 915632

[startup+1663.86 s]
/proc/loadavg: 2.05 2.02 2.00 3/80 21740
/proc/meminfo: memFree=1173256/2055920 swapFree=4192812/4192956
[pid=21499] ppid=21497 vsize=915632 CPUtime=1660.2
/proc/21499/stat : 21499 (java) R 21497 21499 20151 0 -1 0 84557 0 1 0 165971 49 0 0 25 0 8 0 181057377 937607168 84247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074041736 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21499/statm: 228908 84247 2548 14 0 215378 0
[pid=21499/tid=21501] ppid=21497 vsize=915632 CPUtime=3.22
/proc/21499/task/21501/stat : 21501 (java) S 21497 21499 20151 0 -1 64 67361 0 0 0 295 27 0 0 16 0 8 0 181057381 937607168 84247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21502] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21502/stat : 21502 (java) S 21497 21499 20151 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181057382 937607168 84247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21503] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21503/stat : 21503 (java) S 21497 21499 20151 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181057382 937607168 84247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21504] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21504/stat : 21504 (java) S 21497 21499 20151 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181057385 937607168 84247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21505] ppid=21497 vsize=915632 CPUtime=0.37
/proc/21499/task/21505/stat : 21505 (java) S 21497 21499 20151 0 -1 64 537 0 0 0 36 1 0 0 17 0 8 0 181057385 937607168 84247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21506] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21506/stat : 21506 (java) S 21497 21499 20151 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181057385 937607168 84247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21507] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21507/stat : 21507 (java) S 21497 21499 20151 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181057385 937607168 84247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1660.2
Current children cumulated vsize (KiB) 915632

[startup+1723.92 s]
/proc/loadavg: 2.02 2.01 2.00 3/80 21740
/proc/meminfo: memFree=1173256/2055920 swapFree=4192812/4192956
[pid=21499] ppid=21497 vsize=915632 CPUtime=1720.21
/proc/21499/stat : 21499 (java) R 21497 21499 20151 0 -1 0 84557 0 1 0 171972 49 0 0 25 0 8 0 181057377 937607168 84247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074039040 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21499/statm: 228908 84247 2548 14 0 215378 0
[pid=21499/tid=21501] ppid=21497 vsize=915632 CPUtime=3.22
/proc/21499/task/21501/stat : 21501 (java) S 21497 21499 20151 0 -1 64 67361 0 0 0 295 27 0 0 16 0 8 0 181057381 937607168 84247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21502] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21502/stat : 21502 (java) S 21497 21499 20151 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181057382 937607168 84247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21503] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21503/stat : 21503 (java) S 21497 21499 20151 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181057382 937607168 84247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21504] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21504/stat : 21504 (java) S 21497 21499 20151 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181057385 937607168 84247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21505] ppid=21497 vsize=915632 CPUtime=0.37
/proc/21499/task/21505/stat : 21505 (java) S 21497 21499 20151 0 -1 64 537 0 0 0 36 1 0 0 17 0 8 0 181057385 937607168 84247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21506] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21506/stat : 21506 (java) S 21497 21499 20151 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181057385 937607168 84247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21507] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21507/stat : 21507 (java) S 21497 21499 20151 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181057385 937607168 84247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1720.21
Current children cumulated vsize (KiB) 915632

[startup+1783.97 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 21740
/proc/meminfo: memFree=1173192/2055920 swapFree=4192812/4192956
[pid=21499] ppid=21497 vsize=915632 CPUtime=1780.2
/proc/21499/stat : 21499 (java) R 21497 21499 20151 0 -1 0 84557 0 1 0 177971 49 0 0 25 0 8 0 181057377 937607168 84247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074039093 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21499/statm: 228908 84247 2548 14 0 215378 0
[pid=21499/tid=21501] ppid=21497 vsize=915632 CPUtime=3.22
/proc/21499/task/21501/stat : 21501 (java) S 21497 21499 20151 0 -1 64 67361 0 0 0 295 27 0 0 16 0 8 0 181057381 937607168 84247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21502] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21502/stat : 21502 (java) S 21497 21499 20151 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181057382 937607168 84247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21503] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21503/stat : 21503 (java) S 21497 21499 20151 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181057382 937607168 84247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21504] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21504/stat : 21504 (java) S 21497 21499 20151 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181057385 937607168 84247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21505] ppid=21497 vsize=915632 CPUtime=0.37
/proc/21499/task/21505/stat : 21505 (java) S 21497 21499 20151 0 -1 64 537 0 0 0 36 1 0 0 17 0 8 0 181057385 937607168 84247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21506] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21506/stat : 21506 (java) S 21497 21499 20151 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181057385 937607168 84247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21507] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21507/stat : 21507 (java) S 21497 21499 20151 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181057385 937607168 84247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1780.2
Current children cumulated vsize (KiB) 915632



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1803.83 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 21740
/proc/meminfo: memFree=1173192/2055920 swapFree=4192812/4192956
[pid=21499] ppid=21497 vsize=915632 CPUtime=1800.05
/proc/21499/stat : 21499 (java) R 21497 21499 20151 0 -1 0 84557 0 1 0 179956 49 0 0 25 0 8 0 181057377 937607168 84247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074041794 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21499/statm: 228908 84247 2548 14 0 215378 0
[pid=21499/tid=21501] ppid=21497 vsize=915632 CPUtime=3.22
/proc/21499/task/21501/stat : 21501 (java) S 21497 21499 20151 0 -1 64 67361 0 0 0 295 27 0 0 16 0 8 0 181057381 937607168 84247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21502] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21502/stat : 21502 (java) S 21497 21499 20151 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181057382 937607168 84247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21503] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21503/stat : 21503 (java) S 21497 21499 20151 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181057382 937607168 84247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21504] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21504/stat : 21504 (java) S 21497 21499 20151 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181057385 937607168 84247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21505] ppid=21497 vsize=915632 CPUtime=0.37
/proc/21499/task/21505/stat : 21505 (java) S 21497 21499 20151 0 -1 64 537 0 0 0 36 1 0 0 17 0 8 0 181057385 937607168 84247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21499/tid=21506] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21506/stat : 21506 (java) S 21497 21499 20151 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181057385 937607168 84247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21499/tid=21507] ppid=21497 vsize=915632 CPUtime=0
/proc/21499/task/21507/stat : 21507 (java) S 21497 21499 20151 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181057385 937607168 84247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 915632

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

Child status: 143
Real time (s): 1803.91
CPU time (s): 1800.14
CPU user time (s): 1799.59
CPU system time (s): 0.546916
CPU usage (%): 99.7905
Max. virtual memory (cumulated for all children) (KiB): 915636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 0.546916
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84574
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= 38181
involuntary context switches= 24312

runsolver used 2.22666 s user time and 5.76212 s system time

The end

Launcher Data (download as text)

Begin job on node58 on Tue Jan  9 07:09:54 UTC 2007


IDJOB= 233497
IDBENCH= 6612
FILE ID= node58/233497-1168326594

PBS_JOBID= 3502907

Free space on /tmp= 66553 MiB

BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-15/os-taillard-15-95-6.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/233497-1168326594/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node58/watcher-233497-1168326594 -o ROOT/results/node58/solver-233497-1168326594 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/233497-1168326594/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  fffa7293bfb79a702132fd63166ab6d3

RANDOM SEED= 681548381

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.223
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.223
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:       1489488 kB
Buffers:         77268 kB
Cached:         383296 kB
SwapCached:          0 kB
Active:         221492 kB
Inactive:       281916 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1489488 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2080 kB
Writeback:           0 kB
Mapped:          54272 kB
Slab:            48548 kB
Committed_AS:  3386348 kB
PageTables:       1748 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= 66552 MiB



End job on node58 on Tue Jan  9 07:39:58 UTC 2007