Trace number 198026

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 ESACUNSAT 1079.42 1089.69

DiagnosticValue
CHECKS853550393
NODES172802

General information on the benchmark

NamegolombRuler/golombRulerArity4/
ruler-55-11-a4.xml
MD5SUM1f9db1cd2e7ccd3afc8aaa7073d57623
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark659.985
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables11
Number of constraints1375
Maximum constraint arity4
Maximum domain size56
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1375
Global constraints used (with number of constraints)

Solver Data (download as text)

0.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=esac.xml
0.37	   
0.37	   instance
0.37	     name=/tmp/evaluation/198026-1168126609/unknown.xml
0.40	   
0.40	   domains being loaded...
0.40	   
0.40	   variables being loaded...
0.43	     nbVariables=11  nbDomainTypes=1  minDomainSize=56  maxDomainSize=56
0.43	       =>  wckTime=0.13  cpuTime=0.09  mem=6M951
0.43	   
0.43	   predicates being loaded...
0.44	   
0.44	   constraints being loaded...
0.76	     nbConstraints=550  nbMergedConstraints=825  nbConvertedConstraints=55  nbConvertConstraintsChecks=3136
0.76	     nbExtensionStructures=1  nbSharedExtensionStructures=54  nbConflictsStructures=1  nbSharedConflictsStructures=54
0.76	     nbUnbuiltConflictsStructures=2  nbSharedBinaryRepresentations=1  nbEvaluationManagers=2
0.76	     nbSharedEvaluationManagers=493  maxDegree=175  maxArity=4
0.76	       =>  wckTime=0.455  cpuTime=0.31  mem=17M678
0.80	   
0.80	   solver IterativeSystematicSolver being built... 
1.00	       =>  wckTime=0.703  cpuTime=0.48  mem=20M728
2.50	   
2.50	   preprocessing
2.50	     nbConstraintChecks=1331049  nbValidityChecks=2798537  nbPropagations=641  nbRevisions=130611
2.50	     nbUselessRevisions=127826  nbSingletonTests=143  nbEffectiveSingletonTests=14  nbESACBranches=52
2.50	     nbRemovedValues=155  detectedInconsistency=no
2.50	       =>  wckTime=1.49  cpuTime=1.44  mem=20M728
2.97	   
2.97	   search
2.97	     run=0  nbConstraintChecks=395283  nbValidityChecks=897988  nbPropagations=907  nbRevisions=187412
2.97	     nbUselessRevisions=182257  nbAssignments=72  nbFailedAssignments=57  nbBacktracks=10  nbVisitedNodes=140
2.97	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
2.97	       =>  wckTime=1.96  cpuTime=1.91  mem=20M728
4.27	   
4.28	   search
4.28	     run=1  nbConstraintChecks=1400690  nbValidityChecks=4779583  nbPropagations=2688  nbRevisions=557888
4.28	     nbUselessRevisions=544842  nbAssignments=218  nbFailedAssignments=80  nbBacktracks=25  nbVisitedNodes=213
4.28	     nbRestartNogoods=23  mapSize=25  nbInferences=0  nbTooLargeKeys=0
4.28	       =>  wckTime=3.267  cpuTime=3.21  mem=20M728
5.01	   
5.01	   search
5.01	     run=2  nbConstraintChecks=2017515  nbValidityChecks=6307754  nbPropagations=4941  nbRevisions=1018864
5.01	     nbUselessRevisions=995688  nbAssignments=309  nbFailedAssignments=144  nbBacktracks=47  nbVisitedNodes=381
5.01	     nbRestartNogoods=30  mapSize=45  nbInferences=0  nbTooLargeKeys=0
5.01	       =>  wckTime=4.006  cpuTime=3.94  mem=20M728
6.15	   
6.15	   search
6.15	     run=3  nbConstraintChecks=3055415  nbValidityChecks=8351548  nbPropagations=7709  nbRevisions=1578908
6.15	     nbUselessRevisions=1543212  nbAssignments=414  nbFailedAssignments=213  nbBacktracks=82  nbVisitedNodes=579
6.15	     nbRestartNogoods=36  mapSize=79  nbInferences=0  nbTooLargeKeys=0
6.15	       =>  wckTime=5.143  cpuTime=5.07  mem=20M728
7.75	   
7.75	   search
7.75	     run=4  nbConstraintChecks=4261252  nbValidityChecks=12006836  nbPropagations=11624  nbRevisions=2363398
7.75	     nbUselessRevisions=2308112  nbAssignments=622  nbFailedAssignments=366  nbBacktracks=132  nbVisitedNodes=982
7.75	     nbRestartNogoods=40  mapSize=126  nbInferences=0  nbTooLargeKeys=0
7.75	       =>  wckTime=6.741  cpuTime=6.63  mem=20M728
10.98	   
10.98	   search
10.98	     run=5  nbConstraintChecks=6533353  nbValidityChecks=20674652  nbPropagations=18105  nbRevisions=3673418
10.98	     nbUselessRevisions=3582441  nbAssignments=1083  nbFailedAssignments=663  nbBacktracks=207  nbVisitedNodes=1710
10.98	     nbRestartNogoods=59  mapSize=191  nbInferences=0  nbTooLargeKeys=0
10.98	       =>  wckTime=9.973  cpuTime=9.84  mem=20M728
13.61	   
13.61	   search
13.62	     run=6  nbConstraintChecks=8401083  nbValidityChecks=27013673  nbPropagations=27166  nbRevisions=5473341
13.62	     nbUselessRevisions=5331272  nbAssignments=1544  nbFailedAssignments=1005  nbBacktracks=321  nbVisitedNodes=2600
13.62	     nbRestartNogoods=62  mapSize=289  nbInferences=0  nbTooLargeKeys=0
13.62	       =>  wckTime=12.609  cpuTime=12.45  mem=21M703
18.12	   
18.12	   search
18.12	     run=7  nbConstraintChecks=11601989  nbValidityChecks=37961899  nbPropagations=40193  nbRevisions=8040331
18.12	     nbUselessRevisions=7823142  nbAssignments=2270  nbFailedAssignments=1433  nbBacktracks=491  nbVisitedNodes=3759
18.12	     nbRestartNogoods=84  mapSize=435  nbInferences=0  nbTooLargeKeys=0
18.12	       =>  wckTime=17.112  cpuTime=16.91  mem=21M703
23.13	   
23.13	   search
23.13	     run=8  nbConstraintChecks=15681713  nbValidityChecks=46938626  nbPropagations=56960  nbRevisions=11353533
23.13	     nbUselessRevisions=11034954  nbAssignments=3012  nbFailedAssignments=1866  nbBacktracks=747  nbVisitedNodes=5087
23.13	     nbRestartNogoods=95  mapSize=670  nbInferences=0  nbTooLargeKeys=0
23.13	       =>  wckTime=22.123  cpuTime=21.9  mem=21M703
28.32	   
28.32	   INFO : Stopping hyperNogood (mapSize=1008, nbTooLargekeys=0, mem=21M703)
28.69	   
28.69	   search
28.69	     run=9  nbConstraintChecks=20118713  nbValidityChecks=55686399  nbPropagations=79113  nbRevisions=15636292
28.69	     nbUselessRevisions=15192626  nbAssignments=4146  nbFailedAssignments=2584  nbBacktracks=1132  nbVisitedNodes=7221
28.69	     nbRestartNogoods=114
28.69	       =>  wckTime=27.684  cpuTime=27.45  mem=21M703
40.92	   
40.92	   search
40.92	     run=10  nbConstraintChecks=29272995  nbValidityChecks=77052647  nbPropagations=115035  nbRevisions=22403910
40.92	     nbUselessRevisions=21767428  nbAssignments=6785  nbFailedAssignments=4634  nbBacktracks=1708  nbVisitedNodes=12379
40.92	     nbRestartNogoods=131
40.92	       =>  wckTime=39.911  cpuTime=39.59  mem=21M703
61.95	   
61.95	   search
61.95	     run=11  nbConstraintChecks=47537504  nbValidityChecks=108836127  nbPropagations=162828  nbRevisions=31513328
61.95	     nbUselessRevisions=30597656  nbAssignments=9428  nbFailedAssignments=6375  nbBacktracks=2574  nbVisitedNodes=17233
61.95	     nbRestartNogoods=159
61.95	       =>  wckTime=60.941  cpuTime=60.39  mem=21M703
80.86	   
80.86	   search
80.86	     run=12  nbConstraintChecks=63273093  nbValidityChecks=136884903  nbPropagations=224859  nbRevisions=43438177
80.86	     nbUselessRevisions=42133459  nbAssignments=12544  nbFailedAssignments=8178  nbBacktracks=3872  nbVisitedNodes=22824
80.86	     nbRestartNogoods=175
80.86	       =>  wckTime=79.855  cpuTime=79.13  mem=21M703
106.06	   
106.06	   search
106.06	     run=13  nbConstraintChecks=83789526  nbValidityChecks=173992593  nbPropagations=307558  nbRevisions=59499925
106.06	     nbUselessRevisions=57657999  nbAssignments=17088  nbFailedAssignments=10744  nbBacktracks=5818
106.06	     nbVisitedNodes=30935  nbRestartNogoods=197
106.06	       =>  wckTime=105.055  cpuTime=104.08  mem=21M703
151.28	   
151.28	   search
151.28	     run=14  nbConstraintChecks=119519219  nbValidityChecks=245174503  nbPropagations=441496  nbRevisions=85243292
151.28	     nbUselessRevisions=82586387  nbAssignments=27972  nbFailedAssignments=18700  nbBacktracks=8737
151.28	     nbVisitedNodes=51930  nbRestartNogoods=214
151.28	       =>  wckTime=150.274  cpuTime=148.87  mem=21M703
225.73	   
225.73	   search
225.73	     run=15  nbConstraintChecks=178320000  nbValidityChecks=361898491  nbPropagations=656864  nbRevisions=126732616
225.73	     nbUselessRevisions=122845517  nbAssignments=44237  nbFailedAssignments=30552  nbBacktracks=13115
225.73	     nbVisitedNodes=83598  nbRestartNogoods=230
225.73	       =>  wckTime=224.725  cpuTime=222.62  mem=21M703
328.93	   
328.93	   search
328.93	     run=16  nbConstraintChecks=259240728  nbValidityChecks=535370829  nbPropagations=975774  nbRevisions=189186106
328.93	     nbUselessRevisions=183423942  nbAssignments=63765  nbFailedAssignments=43501  nbBacktracks=19683
328.93	     nbVisitedNodes=121233  nbRestartNogoods=249
328.93	       =>  wckTime=327.925  cpuTime=324.83  mem=21M703
489.23	   
489.23	   search
489.23	     run=17  nbConstraintChecks=382859076  nbValidityChecks=812798777  nbPropagations=1460260  nbRevisions=286445771
489.23	     nbUselessRevisions=277863793  nbAssignments=91824  nbFailedAssignments=61703  nbBacktracks=29536
489.23	     nbVisitedNodes=175488  nbRestartNogoods=259
489.23	       =>  wckTime=488.228  cpuTime=483.63  mem=21M703
745.49	   
745.49	   search
745.49	     run=18  nbConstraintChecks=581706721  nbValidityChecks=1264341243  nbPropagations=2184396  nbRevisions=435989786
745.49	     nbUselessRevisions=423098340  nbAssignments=131012  nbFailedAssignments=86108  nbBacktracks=44315
745.49	     nbVisitedNodes=250650  nbRestartNogoods=270
745.49	       =>  wckTime=744.479  cpuTime=737.47  mem=21M703
1089.63	   
1089.63	   search
1089.63	     run=19  nbConstraintChecks=852219344  nbValidityChecks=1904225646  nbPropagations=3180175  nbRevisions=648955929
1089.63	     nbUselessRevisions=629909048  nbAssignments=172802  nbFailedAssignments=111083  nbBacktracks=61122
1089.63	     nbVisitedNodes=330554  nbRestartNogoods=287
1089.63	       =>  wckTime=1088.62  cpuTime=1078.32  mem=21M703
1089.63	   
1089.63	   global
1089.63	     nbConstraintChecks=853550393  nbValidityChecks=1907024183  nbPropagations=3180816  nbRevisions=649086540
1089.63	     nbUselessRevisions=630036874  nbRestartNogoods=287  solvingWckTime=1088.623  solvingCpuTime=1078.33  expiredTime=no
1089.63	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=1078.85
1089.63	       =>  wckTime=1089.328  cpuTime=1078.81  mem=21M703
1089.63	   
1089.63	s UNSATISFIABLE
1089.63	d NODES 172802
1089.63	d CHECKS 853550393
1089.63	   
1089.63	   totalWckTime=1089.404  totalCpuTime=1078.85

Verifier Data (download as text)

No possible verification on an UNSAT instance

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node15/watcher-198026-1168126609 -o ROOT/results/node15/solver-198026-1168126609 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/198026-1168126609/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.59 1.27 1.25 2/80 529
/proc/meminfo: memFree=1781184/2055920 swapFree=4174172/4192956
[pid=528] ppid=526 vsize=1784 CPUtime=0
/proc/528/stat : 528 (java) R 526 528 32004 0 -1 0 133 0 0 0 0 0 0 0 20 0 1 0 161055757 1826816 105 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/528/statm: 446 115 86 14 0 91 0

[startup+0.105274 s]
/proc/loadavg: 1.59 1.27 1.25 2/80 529
/proc/meminfo: memFree=1781184/2055920 swapFree=4174172/4192956
[pid=528] ppid=526 vsize=914988 CPUtime=0.08
/proc/528/stat : 528 (java) R 526 528 32004 0 -1 0 3019 0 1 0 7 1 0 0 17 0 8 0 161055757 936947712 2765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072943278 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/528/statm: 228747 2765 1435 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.513344 s]
/proc/loadavg: 1.59 1.27 1.25 2/80 529
/proc/meminfo: memFree=1781184/2055920 swapFree=4174172/4192956
[pid=528] ppid=526 vsize=915328 CPUtime=0.46
/proc/528/stat : 528 (java) R 526 528 32004 0 -1 0 6331 0 1 0 42 4 0 0 16 0 8 0 161055757 937295872 6070 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072919673 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/528/statm: 228832 6070 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915328

[startup+1.33448 s]
/proc/loadavg: 1.62 1.29 1.26 2/88 567
/proc/meminfo: memFree=1745656/2055920 swapFree=4174172/4192956
[pid=528] ppid=526 vsize=915512 CPUtime=1.28
/proc/528/stat : 528 (java) R 526 528 32004 0 -1 0 10100 0 1 0 119 9 0 0 16 0 8 0 161055757 937484288 9838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479193 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/528/statm: 228878 9838 2540 14 0 215348 0
[pid=528/tid=530] ppid=526 vsize=915512 CPUtime=0.03
/proc/528/task/530/stat : 530 (java) S 526 528 32004 0 -1 64 212 0 0 0 3 0 0 0 16 0 8 0 161055761 937484288 9838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=528/tid=531] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/531/stat : 531 (java) S 526 528 32004 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 161055762 937484288 9838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=532] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/532/stat : 532 (java) S 526 528 32004 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161055762 937484288 9838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=533] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/533/stat : 533 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 161055765 937484288 9838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=534] ppid=526 vsize=915512 CPUtime=0.21
/proc/528/task/534/stat : 534 (java) S 526 528 32004 0 -1 64 402 0 0 0 21 0 0 0 15 0 8 0 161055765 937484288 9838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=535] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/535/stat : 535 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161055765 937484288 9838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=536] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/536/stat : 536 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161055765 937484288 9838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915512

[startup+2.97276 s]
/proc/loadavg: 1.62 1.29 1.26 2/88 567
/proc/meminfo: memFree=1745656/2055920 swapFree=4174172/4192956
[pid=528] ppid=526 vsize=915512 CPUtime=2.91
/proc/528/stat : 528 (java) R 526 528 32004 0 -1 0 10207 0 1 0 282 9 0 0 17 0 8 0 161055757 937484288 9942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073744720 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/528/statm: 228878 9942 2543 14 0 215348 0
[pid=528/tid=530] ppid=526 vsize=915512 CPUtime=0.03
/proc/528/task/530/stat : 530 (java) S 526 528 32004 0 -1 64 212 0 0 0 3 0 0 0 16 0 8 0 161055761 937484288 9942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=528/tid=531] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/531/stat : 531 (java) S 526 528 32004 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 161055762 937484288 9942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=532] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/532/stat : 532 (java) S 526 528 32004 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161055762 937484288 9942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=533] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/533/stat : 533 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 161055765 937484288 9942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=534] ppid=526 vsize=915512 CPUtime=0.24
/proc/528/task/534/stat : 534 (java) S 526 528 32004 0 -1 64 410 0 0 0 23 1 0 0 15 0 8 0 161055765 937484288 9942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=535] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/535/stat : 535 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161055765 937484288 9942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=536] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/536/stat : 536 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161055765 937484288 9942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915512

[startup+6.26834 s]
/proc/loadavg: 1.62 1.29 1.26 3/101 626
/proc/meminfo: memFree=1444496/2055920 swapFree=4174172/4192956
[pid=528] ppid=526 vsize=915512 CPUtime=6.21
/proc/528/stat : 528 (java) R 526 528 32004 0 -1 0 10225 0 1 0 611 10 0 0 20 0 8 0 161055757 937484288 9957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073916793 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/528/statm: 228878 9957 2543 14 0 215348 0
[pid=528/tid=530] ppid=526 vsize=915512 CPUtime=0.03
/proc/528/task/530/stat : 530 (java) S 526 528 32004 0 -1 64 212 0 0 0 3 0 0 0 17 0 8 0 161055761 937484288 9957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=531] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/531/stat : 531 (java) S 526 528 32004 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 161055762 937484288 9957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=532] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/532/stat : 532 (java) S 526 528 32004 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161055762 937484288 9957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=533] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/533/stat : 533 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 161055765 937484288 9957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=534] ppid=526 vsize=915512 CPUtime=0.25
/proc/528/task/534/stat : 534 (java) S 526 528 32004 0 -1 64 414 0 0 0 24 1 0 0 15 0 8 0 161055765 937484288 9957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=535] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/535/stat : 535 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161055765 937484288 9957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=536] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/536/stat : 536 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161055765 937484288 9957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915512

[startup+12.7513 s]
/proc/loadavg: 1.68 1.31 1.26 3/101 626
/proc/meminfo: memFree=1069520/2055920 swapFree=4174172/4192956
[pid=528] ppid=526 vsize=915512 CPUtime=12.62
/proc/528/stat : 528 (java) R 526 528 32004 0 -1 0 10248 0 1 0 1252 10 0 0 25 0 8 0 161055757 937484288 9976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073923624 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/528/statm: 228878 9976 2543 14 0 215348 0
[pid=528/tid=530] ppid=526 vsize=915512 CPUtime=0.03
/proc/528/task/530/stat : 530 (java) S 526 528 32004 0 -1 64 212 0 0 0 3 0 0 0 17 0 8 0 161055761 937484288 9976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=531] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/531/stat : 531 (java) S 526 528 32004 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 161055762 937484288 9976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=532] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/532/stat : 532 (java) S 526 528 32004 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161055762 937484288 9976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=533] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/533/stat : 533 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 161055765 937484288 9976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=534] ppid=526 vsize=915512 CPUtime=0.26
/proc/528/task/534/stat : 534 (java) S 526 528 32004 0 -1 64 421 0 0 0 25 1 0 0 16 0 8 0 161055765 937484288 9976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=535] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/535/stat : 535 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161055765 937484288 9976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=536] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/536/stat : 536 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161055765 937484288 9976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915512

[startup+25.6175 s]
/proc/loadavg: 1.73 1.33 1.27 2/88 641
/proc/meminfo: memFree=1744760/2055920 swapFree=4174172/4192956
[pid=528] ppid=526 vsize=915512 CPUtime=25.44
/proc/528/stat : 528 (java) R 526 528 32004 0 -1 0 10300 0 1 0 2533 11 0 0 19 0 8 0 161055757 937484288 10020 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073928818 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/528/statm: 228878 10020 2543 14 0 215348 0
[pid=528/tid=530] ppid=526 vsize=915512 CPUtime=0.03
/proc/528/task/530/stat : 530 (java) S 526 528 32004 0 -1 64 212 0 0 0 3 0 0 0 16 0 8 0 161055761 937484288 10020 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=531] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/531/stat : 531 (java) S 526 528 32004 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 161055762 937484288 10020 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=532] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/532/stat : 532 (java) S 526 528 32004 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161055762 937484288 10020 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=533] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/533/stat : 533 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 161055765 937484288 10020 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=534] ppid=526 vsize=915512 CPUtime=0.29
/proc/528/task/534/stat : 534 (java) S 526 528 32004 0 -1 64 439 0 0 0 28 1 0 0 15 0 8 0 161055765 937484288 10020 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=535] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/535/stat : 535 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161055765 937484288 10020 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=536] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/536/stat : 536 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161055765 937484288 10020 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 915512

[startup+51.2459 s]
/proc/loadavg: 1.84 1.39 1.29 3/94 690
/proc/meminfo: memFree=1319560/2055920 swapFree=4174172/4192956
[pid=528] ppid=526 vsize=915512 CPUtime=50.87
/proc/528/stat : 528 (java) R 526 528 32004 0 -1 0 10316 0 1 0 5073 14 0 0 25 0 8 0 161055757 937484288 10036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073936445 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/528/statm: 228878 10036 2543 14 0 215348 0
[pid=528/tid=530] ppid=526 vsize=915512 CPUtime=0.03
/proc/528/task/530/stat : 530 (java) S 526 528 32004 0 -1 64 212 0 0 0 3 0 0 0 16 0 8 0 161055761 937484288 10036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=531] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/531/stat : 531 (java) S 526 528 32004 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 161055762 937484288 10036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=532] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/532/stat : 532 (java) S 526 528 32004 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161055762 937484288 10036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=533] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/533/stat : 533 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 161055765 937484288 10036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=534] ppid=526 vsize=915512 CPUtime=0.29
/proc/528/task/534/stat : 534 (java) S 526 528 32004 0 -1 64 442 0 0 0 28 1 0 0 16 0 8 0 161055765 937484288 10036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=535] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/535/stat : 535 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161055765 937484288 10036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=536] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/536/stat : 536 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161055765 937484288 10036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 915512

[startup+102.499 s]
/proc/loadavg: 1.93 1.48 1.33 3/94 690
/proc/meminfo: memFree=1307208/2055920 swapFree=4174172/4192956
[pid=528] ppid=526 vsize=915512 CPUtime=101.61
/proc/528/stat : 528 (java) R 526 528 32004 0 -1 0 10322 0 1 0 10147 14 0 0 25 0 8 0 161055757 937484288 10042 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073744694 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/528/statm: 228878 10042 2543 14 0 215348 0
[pid=528/tid=530] ppid=526 vsize=915512 CPUtime=0.03
/proc/528/task/530/stat : 530 (java) S 526 528 32004 0 -1 64 212 0 0 0 3 0 0 0 16 0 8 0 161055761 937484288 10042 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=531] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/531/stat : 531 (java) S 526 528 32004 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 161055762 937484288 10042 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=532] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/532/stat : 532 (java) S 526 528 32004 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161055762 937484288 10042 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=533] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/533/stat : 533 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 161055765 937484288 10042 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=534] ppid=526 vsize=915512 CPUtime=0.29
/proc/528/task/534/stat : 534 (java) S 526 528 32004 0 -1 64 442 0 0 0 28 1 0 0 16 0 8 0 161055765 937484288 10042 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=535] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/535/stat : 535 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161055765 937484288 10042 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=536] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/536/stat : 536 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161055765 937484288 10042 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.61
Current children cumulated vsize (KiB) 915512

[startup+162.501 s]
/proc/loadavg: 2.02 1.59 1.37 3/94 690
/proc/meminfo: memFree=1304840/2055920 swapFree=4174172/4192956
[pid=528] ppid=526 vsize=915512 CPUtime=161.05
/proc/528/stat : 528 (java) R 526 528 32004 0 -1 0 10327 0 1 0 16091 14 0 0 25 0 8 0 161055757 937484288 10047 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073936421 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

/proc/528/task/533/stat : 533 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 161055765 937484288 10055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=534] ppid=526 vsize=915512 CPUtime=0.29
/proc/528/task/534/stat : 534 (java) S 526 528 32004 0 -1 64 442 0 0 0 28 1 0 0 16 0 8 0 161055765 937484288 10055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=535] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/535/stat : 535 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161055765 937484288 10055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=536] ppid=526 vsize=915512 CPUtime=0.01
/proc/528/task/536/stat : 536 (java) S 526 528 32004 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 161055765 937484288 10055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 637.21
Current children cumulated vsize (KiB) 915512

[startup+703.2 s]
/proc/loadavg: 2.00 1.94 1.64 3/94 690
/proc/meminfo: memFree=1300424/2055920 swapFree=4174172/4192956
[pid=528] ppid=526 vsize=915512 CPUtime=696.68
/proc/528/stat : 528 (java) R 526 528 32004 0 -1 0 10335 0 1 0 69650 18 0 0 25 0 8 0 161055757 937484288 10055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073914231 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/528/statm: 228878 10055 2543 14 0 215348 0
[pid=528/tid=530] ppid=526 vsize=915512 CPUtime=0.03
/proc/528/task/530/stat : 530 (java) S 526 528 32004 0 -1 64 212 0 0 0 3 0 0 0 16 0 8 0 161055761 937484288 10055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=531] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/531/stat : 531 (java) S 526 528 32004 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 161055762 937484288 10055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=532] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/532/stat : 532 (java) S 526 528 32004 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161055762 937484288 10055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=533] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/533/stat : 533 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 161055765 937484288 10055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=534] ppid=526 vsize=915512 CPUtime=0.29
/proc/528/task/534/stat : 534 (java) S 526 528 32004 0 -1 64 442 0 0 0 28 1 0 0 16 0 8 0 161055765 937484288 10055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=535] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/535/stat : 535 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161055765 937484288 10055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=536] ppid=526 vsize=915512 CPUtime=0.01
/proc/528/task/536/stat : 536 (java) S 526 528 32004 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 161055765 937484288 10055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 696.68
Current children cumulated vsize (KiB) 915512

[startup+763.209 s]
/proc/loadavg: 2.03 1.96 1.66 3/94 690
/proc/meminfo: memFree=1300232/2055920 swapFree=4174172/4192956
[pid=528] ppid=526 vsize=915512 CPUtime=756.11
/proc/528/stat : 528 (java) R 526 528 32004 0 -1 0 10338 0 1 0 75593 18 0 0 25 0 8 0 161055757 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073936366 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/528/statm: 228878 10058 2543 14 0 215348 0
[pid=528/tid=530] ppid=526 vsize=915512 CPUtime=0.03
/proc/528/task/530/stat : 530 (java) S 526 528 32004 0 -1 64 212 0 0 0 3 0 0 0 16 0 8 0 161055761 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=531] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/531/stat : 531 (java) S 526 528 32004 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 161055762 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=532] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/532/stat : 532 (java) S 526 528 32004 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161055762 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=533] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/533/stat : 533 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 161055765 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=534] ppid=526 vsize=915512 CPUtime=0.29
/proc/528/task/534/stat : 534 (java) S 526 528 32004 0 -1 64 442 0 0 0 28 1 0 0 16 0 8 0 161055765 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=535] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/535/stat : 535 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161055765 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=536] ppid=526 vsize=915512 CPUtime=0.01
/proc/528/task/536/stat : 536 (java) S 526 528 32004 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 161055765 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 756.11
Current children cumulated vsize (KiB) 915512

[startup+823.215 s]
/proc/loadavg: 2.01 1.97 1.68 3/94 690
/proc/meminfo: memFree=1300168/2055920 swapFree=4174172/4192956
[pid=528] ppid=526 vsize=915512 CPUtime=815.54
/proc/528/stat : 528 (java) R 526 528 32004 0 -1 0 10338 0 1 0 81536 18 0 0 25 0 8 0 161055757 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073744691 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/528/statm: 228878 10058 2543 14 0 215348 0
[pid=528/tid=530] ppid=526 vsize=915512 CPUtime=0.03
/proc/528/task/530/stat : 530 (java) S 526 528 32004 0 -1 64 212 0 0 0 3 0 0 0 16 0 8 0 161055761 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=531] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/531/stat : 531 (java) S 526 528 32004 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 161055762 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=532] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/532/stat : 532 (java) S 526 528 32004 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161055762 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=533] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/533/stat : 533 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 161055765 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=534] ppid=526 vsize=915512 CPUtime=0.29
/proc/528/task/534/stat : 534 (java) S 526 528 32004 0 -1 64 442 0 0 0 28 1 0 0 16 0 8 0 161055765 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=535] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/535/stat : 535 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161055765 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=536] ppid=526 vsize=915512 CPUtime=0.01
/proc/528/task/536/stat : 536 (java) S 526 528 32004 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 161055765 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 815.54
Current children cumulated vsize (KiB) 915512

[startup+883.216 s]
/proc/loadavg: 2.06 1.99 1.70 3/94 690
/proc/meminfo: memFree=1300040/2055920 swapFree=4174172/4192956
[pid=528] ppid=526 vsize=915512 CPUtime=874.94
/proc/528/stat : 528 (java) R 526 528 32004 0 -1 0 10338 0 1 0 87476 18 0 0 25 0 8 0 161055757 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073744805 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/528/statm: 228878 10058 2543 14 0 215348 0
[pid=528/tid=530] ppid=526 vsize=915512 CPUtime=0.03
/proc/528/task/530/stat : 530 (java) S 526 528 32004 0 -1 64 212 0 0 0 3 0 0 0 16 0 8 0 161055761 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=531] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/531/stat : 531 (java) S 526 528 32004 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 161055762 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=532] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/532/stat : 532 (java) S 526 528 32004 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161055762 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=533] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/533/stat : 533 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 161055765 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=534] ppid=526 vsize=915512 CPUtime=0.29
/proc/528/task/534/stat : 534 (java) S 526 528 32004 0 -1 64 442 0 0 0 28 1 0 0 16 0 8 0 161055765 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=535] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/535/stat : 535 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161055765 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=536] ppid=526 vsize=915512 CPUtime=0.01
/proc/528/task/536/stat : 536 (java) S 526 528 32004 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 161055765 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 874.94
Current children cumulated vsize (KiB) 915512

[startup+943.309 s]
/proc/loadavg: 2.02 1.99 1.72 3/94 690
/proc/meminfo: memFree=1299912/2055920 swapFree=4174172/4192956
[pid=528] ppid=526 vsize=915512 CPUtime=934.48
/proc/528/stat : 528 (java) R 526 528 32004 0 -1 0 10338 0 1 0 93429 19 0 0 25 0 8 0 161055757 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073744732 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/528/statm: 228878 10058 2543 14 0 215348 0
[pid=528/tid=530] ppid=526 vsize=915512 CPUtime=0.03
/proc/528/task/530/stat : 530 (java) S 526 528 32004 0 -1 64 212 0 0 0 3 0 0 0 16 0 8 0 161055761 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=531] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/531/stat : 531 (java) S 526 528 32004 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 161055762 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=532] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/532/stat : 532 (java) S 526 528 32004 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161055762 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=533] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/533/stat : 533 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 161055765 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=534] ppid=526 vsize=915512 CPUtime=0.29
/proc/528/task/534/stat : 534 (java) S 526 528 32004 0 -1 64 442 0 0 0 28 1 0 0 16 0 8 0 161055765 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=535] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/535/stat : 535 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161055765 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=536] ppid=526 vsize=915512 CPUtime=0.01
/proc/528/task/536/stat : 536 (java) S 526 528 32004 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 161055765 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 934.48
Current children cumulated vsize (KiB) 915512

[startup+1003.31 s]
/proc/loadavg: 2.09 2.02 1.75 3/94 690
/proc/meminfo: memFree=1299848/2055920 swapFree=4174172/4192956
[pid=528] ppid=526 vsize=915512 CPUtime=993.88
/proc/528/stat : 528 (java) R 526 528 32004 0 -1 0 10338 0 1 0 99369 19 0 0 25 0 8 0 161055757 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073915863 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/528/statm: 228878 10058 2543 14 0 215348 0
[pid=528/tid=530] ppid=526 vsize=915512 CPUtime=0.03
/proc/528/task/530/stat : 530 (java) S 526 528 32004 0 -1 64 212 0 0 0 3 0 0 0 16 0 8 0 161055761 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=531] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/531/stat : 531 (java) S 526 528 32004 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 161055762 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=532] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/532/stat : 532 (java) S 526 528 32004 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161055762 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=533] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/533/stat : 533 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 161055765 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=534] ppid=526 vsize=915512 CPUtime=0.29
/proc/528/task/534/stat : 534 (java) S 526 528 32004 0 -1 64 442 0 0 0 28 1 0 0 16 0 8 0 161055765 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=535] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/535/stat : 535 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161055765 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=536] ppid=526 vsize=915512 CPUtime=0.01
/proc/528/task/536/stat : 536 (java) S 526 528 32004 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 161055765 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 993.88
Current children cumulated vsize (KiB) 915512

[startup+1063.32 s]
/proc/loadavg: 2.03 2.01 1.76 3/94 690
/proc/meminfo: memFree=1299784/2055920 swapFree=4174172/4192956
[pid=528] ppid=526 vsize=915512 CPUtime=1053.34
/proc/528/stat : 528 (java) R 526 528 32004 0 -1 0 10338 0 1 0 105315 19 0 0 25 0 8 0 161055757 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073916955 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/528/statm: 228878 10058 2543 14 0 215348 0
[pid=528/tid=530] ppid=526 vsize=915512 CPUtime=0.03
/proc/528/task/530/stat : 530 (java) S 526 528 32004 0 -1 64 212 0 0 0 3 0 0 0 16 0 8 0 161055761 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=531] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/531/stat : 531 (java) S 526 528 32004 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 161055762 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=532] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/532/stat : 532 (java) S 526 528 32004 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161055762 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=533] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/533/stat : 533 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 161055765 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=534] ppid=526 vsize=915512 CPUtime=0.29
/proc/528/task/534/stat : 534 (java) S 526 528 32004 0 -1 64 442 0 0 0 28 1 0 0 16 0 8 0 161055765 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=535] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/535/stat : 535 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161055765 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=536] ppid=526 vsize=915512 CPUtime=0.01
/proc/528/task/536/stat : 536 (java) S 526 528 32004 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 161055765 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1053.34
Current children cumulated vsize (KiB) 915512

Child status: 0
Real time (s): 1089.69
CPU time (s): 1079.42
CPU user time (s): 1079.21
CPU system time (s): 0.206968
CPU usage (%): 99.0573
Max. virtual memory (cumulated for all children) (KiB): 915512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1079.21
system time used= 0.206968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10429
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= 23143
involuntary context switches= 48975

runsolver used 1.22881 s user time and 3.59845 s system time

The end

Launcher Data (download as text)

Begin job on node15 on Sat Jan  6 23:36:49 UTC 2007


IDJOB= 198026
IDBENCH= 3529
FILE ID= node15/198026-1168126609

PBS_JOBID= 3477680

Free space on /tmp= 66285 MiB

BENCH NAME= HOME/pub/bench/CPAI06/golombRuler/golombRulerArity4/ruler-55-11-a4.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/198026-1168126609/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node15/watcher-198026-1168126609 -o ROOT/results/node15/solver-198026-1168126609 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/198026-1168126609/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  1f9db1cd2e7ccd3afc8aaa7073d57623

RANDOM SEED= 531921421

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.276
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.276
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:       1781664 kB
Buffers:          1616 kB
Cached:         195156 kB
SwapCached:       5800 kB
Active:         186204 kB
Inactive:        41304 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1781664 kB
SwapTotal:     4192956 kB
SwapFree:      4174172 kB
Dirty:            2156 kB
Writeback:           0 kB
Mapped:          40652 kB
Slab:            31820 kB
Committed_AS:  4389360 kB
PageTables:       2080 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66140 MiB



End job on node15 on Sat Jan  6 23:54:59 UTC 2007