Trace number 211070

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 AC? (TO) 1800.1 1816.18

General information on the benchmark

NamepseudoSeries/uclid/
ooo-tag12.xml
MD5SUMd75ffaf5e9d380ee0d7426ec33536dcb
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 benchmark55.6135
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables20605
Number of constraints59850
Maximum constraint arity11
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension59850
Global constraints used (with number of constraints)

Solver Data (download as text)

0.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=mac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/211070-1168075390/unknown.xml
0.38	   
0.38	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.78	     nbVariables=20605  nbDomainTypes=2  minDomainSize=1  maxDomainSize=2
0.78	       =>  wckTime=0.458  cpuTime=0.38  mem=40M239
0.78	   
0.78	   predicates being loaded...
0.79	   
0.79	   constraints being loaded...
4.96	   
4.96	   INFO : Stopping converting binary constraints (cpu=4.01, mem = 75M536)
6.20	     nbConstraints=58551  nbMergedConstraints=1299  nbSingletonDomainVariables=1  nbConvertedConstraints=14365
6.20	     nbConvertConstraintsChecks=40  nbExtensionStructures=2  nbSharedExtensionStructures=14363  nbConflictsStructures=6
6.20	     nbSharedConflictsStructures=33443  nbSharedBinaryRepresentations=5  nbEvaluationManagers=45
6.20	     nbSharedEvaluationManagers=44141  maxDegree=270  maxArity=11
6.20	       =>  wckTime=5.877  cpuTime=4.61  mem=115M177
6.56	   
6.56	   solver IterativeSystematicSolver being built... 
8.09	       =>  wckTime=7.767  cpuTime=5.8  mem=168M308
8.38	   
8.38	   preprocessing
8.38	     nbConstraintChecks=98067  nbValidityChecks=46851  nbPropagations=20617  nbRevisions=55524  nbUselessRevisions=55512
8.38	     nbRemovedValues=12  detectedInconsistency=no
8.38	       =>  wckTime=0.263  cpuTime=0.22  mem=170M339
44.83	   
44.83	   search
44.83	     run=0  nbConstraintChecks=118792  nbValidityChecks=124441  nbPropagations=40964  nbRevisions=183042
44.83	     nbUselessRevisions=162851  nbAssignments=635  nbFailedAssignments=4  nbBacktracks=32  nbVisitedNodes=641
44.83	     nbRestartNogoods=0  mapSize=2  nbInferences=0  nbTooLargeKeys=0
44.83	       =>  wckTime=36.72  cpuTime=36.26  mem=129M865
81.31	   
81.31	   search
81.31	     run=1  nbConstraintChecks=181130  nbValidityChecks=262668  nbPropagations=102246  nbRevisions=494088
81.31	     nbUselessRevisions=433577  nbAssignments=1273  nbFailedAssignments=6  nbBacktracks=74  nbVisitedNodes=1283
81.31	     nbRestartNogoods=3  mapSize=5  nbInferences=0  nbTooLargeKeys=0
81.31	       =>  wckTime=73.204  cpuTime=72.4  mem=131M896
118.86	   
118.86	   search
118.86	     run=2  nbConstraintChecks=252690  nbValidityChecks=405997  nbPropagations=183885  nbRevisions=936028
118.86	     nbUselessRevisions=815028  nbAssignments=1928  nbFailedAssignments=10  nbBacktracks=136  nbVisitedNodes=1946
118.86	     nbRestartNogoods=4  mapSize=12  nbInferences=0  nbTooLargeKeys=0
118.86	       =>  wckTime=110.756  cpuTime=109.58  mem=134M943
156.42	   
156.42	   search
156.42	     run=3  nbConstraintChecks=331597  nbValidityChecks=546896  nbPropagations=285525  nbRevisions=1506404
156.42	     nbUselessRevisions=1305102  nbAssignments=2584  nbFailedAssignments=14  nbBacktracks=171  nbVisitedNodes=2610
156.42	     nbRestartNogoods=5  mapSize=19  nbInferences=0  nbTooLargeKeys=0
156.42	       =>  wckTime=148.313  cpuTime=146.8  mem=136M974
193.95	   
193.95	   search
193.95	     run=4  nbConstraintChecks=406682  nbValidityChecks=687091  nbPropagations=407176  nbRevisions=2204888
193.95	     nbUselessRevisions=1903457  nbAssignments=3240  nbFailedAssignments=18  nbBacktracks=234  nbVisitedNodes=3274
193.95	     nbRestartNogoods=6  mapSize=26  nbInferences=0  nbTooLargeKeys=0
193.95	       =>  wckTime=185.84  cpuTime=183.98  mem=140M21
234.66	   
234.66	   search
234.66	     run=5  nbConstraintChecks=476816  nbValidityChecks=836564  nbPropagations=549581  nbRevisions=3039154
234.66	     nbUselessRevisions=2617012  nbAssignments=3943  nbFailedAssignments=24  nbBacktracks=312  nbVisitedNodes=3988
234.66	     nbRestartNogoods=7  mapSize=35  nbInferences=0  nbTooLargeKeys=0
234.66	       =>  wckTime=226.557  cpuTime=224.32  mem=142M52
271.10	   
271.10	   search
271.10	     run=6  nbConstraintChecks=661185  nbValidityChecks=1046357  nbPropagations=711597  nbRevisions=4037811
271.10	     nbUselessRevisions=3475369  nbAssignments=4597  nbFailedAssignments=46  nbBacktracks=429  nbVisitedNodes=4686
271.10	     nbRestartNogoods=9  mapSize=76  nbInferences=0  nbTooLargeKeys=0
271.10	       =>  wckTime=262.997  cpuTime=260.43  mem=145M99
304.06	   
304.06	   search
304.06	     run=7  nbConstraintChecks=846666  nbValidityChecks=1272909  nbPropagations=899399  nbRevisions=5232279
304.06	     nbUselessRevisions=4503145  nbAssignments=5191  nbFailedAssignments=67  nbBacktracks=599  nbVisitedNodes=5374
304.06	     nbRestartNogoods=12  mapSize=169  nbInferences=0  nbTooLargeKeys=0
304.06	       =>  wckTime=295.957  cpuTime=293.09  mem=147M130
366.12	   
366.12	   search
366.12	     run=8  nbConstraintChecks=927899  nbValidityChecks=1433637  nbPropagations=1109015  nbRevisions=6572156
366.12	     nbUselessRevisions=5654683  nbAssignments=6221  nbFailedAssignments=84  nbBacktracks=864  nbVisitedNodes=6456
366.12	     nbRestartNogoods=13  mapSize=206  nbInferences=18  nbTooLargeKeys=0
366.12	       =>  wckTime=358.017  cpuTime=354.58  mem=150M177
453.36	   
453.36	   search
453.36	     run=9  nbConstraintChecks=1031202  nbValidityChecks=1647780  nbPropagations=1340868  nbRevisions=8090003
453.36	     nbUselessRevisions=6962691  nbAssignments=7620  nbFailedAssignments=96  nbBacktracks=1251  nbVisitedNodes=8146
453.36	     nbRestartNogoods=28  mapSize=487  nbInferences=287  nbTooLargeKeys=0
453.36	       =>  wckTime=445.25  cpuTime=441.01  mem=154M239
553.90	   
553.90	   search
553.90	     run=10  nbConstraintChecks=1139588  nbValidityChecks=1872586  nbPropagations=1595295  nbRevisions=9793450
553.90	     nbUselessRevisions=8434385  nbAssignments=9208  nbFailedAssignments=109  nbBacktracks=1827  nbVisitedNodes=10066
553.90	     nbRestartNogoods=38  mapSize=809  nbInferences=584  nbTooLargeKeys=0
553.90	       =>  wckTime=545.796  cpuTime=540.64  mem=158M302
700.75	   
700.75	   search
700.75	     run=11  nbConstraintChecks=1313557  nbValidityChecks=2196488  nbPropagations=1875859  nbRevisions=11755046
700.75	     nbUselessRevisions=10139469  nbAssignments=11496  nbFailedAssignments=131  nbBacktracks=2691  nbVisitedNodes=13114
700.75	     nbRestartNogoods=48  mapSize=1554  nbInferences=1297  nbTooLargeKeys=0
700.75	       =>  wckTime=692.642  cpuTime=686.14  mem=163M380
820.24	   
820.24	   search
820.24	     run=12  nbConstraintChecks=1511340  nbValidityChecks=2530110  nbPropagations=2196064  nbRevisions=14020207
820.24	     nbUselessRevisions=12107502  nbAssignments=13463  nbFailedAssignments=250  nbBacktracks=3994  nbVisitedNodes=15471
820.24	     nbRestartNogoods=63  mapSize=1942  nbInferences=1382  nbTooLargeKeys=0
820.24	       =>  wckTime=812.138  cpuTime=804.54  mem=167M442
963.12	   
963.12	   search
963.12	     run=13  nbConstraintChecks=1737370  nbValidityChecks=3075101  nbPropagations=2589264  nbRevisions=16796206
963.12	     nbUselessRevisions=14510820  nbAssignments=15924  nbFailedAssignments=378  nbBacktracks=5955  nbVisitedNodes=18261
963.12	     nbRestartNogoods=65  mapSize=2268  nbInferences=1438  nbTooLargeKeys=0
963.12	       =>  wckTime=955.014  cpuTime=946.03  mem=135M846
1168.05	   
1168.05	   search
1168.05	     run=14  nbConstraintChecks=3435234  nbValidityChecks=5863795  nbPropagations=3289823  nbRevisions=22007177
1168.05	     nbUselessRevisions=19023993  nbAssignments=19874  nbFailedAssignments=1168  nbBacktracks=8876  nbVisitedNodes=23795
1168.05	     nbRestartNogoods=68  mapSize=3847  nbInferences=1442  nbTooLargeKeys=0
1168.05	       =>  wckTime=1159.944  cpuTime=1149.05  mem=148M957
1414.85	   
1414.85	   search
1414.85	     run=15  nbConstraintChecks=5862260  nbValidityChecks=9711380  nbPropagations=4690927  nbRevisions=31525728
1414.85	     nbUselessRevisions=27075978  nbAssignments=24855  nbFailedAssignments=1595  nbBacktracks=13255
1414.85	     nbVisitedNodes=29694  nbRestartNogoods=73  mapSize=4762  nbInferences=1443  nbTooLargeKeys=0
1414.85	       =>  wckTime=1406.747  cpuTime=1393.49  mem=153M36
1747.62	   
1747.62	   search
1747.62	     run=16  nbConstraintChecks=20492205  nbValidityChecks=26534435  nbPropagations=10255036  nbRevisions=63427995
1747.62	     nbUselessRevisions=53003982  nbAssignments=32297  nbFailedAssignments=2364  nbBacktracks=19831
1747.62	     nbVisitedNodes=38627  nbRestartNogoods=76  mapSize=6251  nbInferences=1443  nbTooLargeKeys=0
1747.62	       =>  wckTime=1739.518  cpuTime=1723.22  mem=185M907

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/node4/watcher-211070-1168075390 -o ROOT/results/node4/solver-211070-1168075390 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/211070-1168075390/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.74 1.84 1.86 4/93 12383
/proc/meminfo: memFree=1035768/2055920 swapFree=4191880/4192956
[pid=12382] ppid=12380 vsize=907676 CPUtime=0.03
/proc/12382/stat : 12382 (java) S 12380 12382 12315 0 -1 0 2171 0 1 0 2 1 0 0 19 0 4 0 155934567 929460224 1920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/12382/statm: 226919 1920 1089 14 0 214502 0
[pid=12382/tid=12384] ppid=12380 vsize=907676 CPUtime=0
/proc/12382/task/12384/stat : 12384 (java) S 12380 12382 12315 0 -1 64 6 0 0 0 0 0 0 0 19 0 4 0 155934570 929460224 1920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[pid=12382/tid=12385] ppid=12380 vsize=907676 CPUtime=0
/proc/12382/task/12385/stat : 12385 (java) S 12380 12382 12315 0 -1 64 10 0 0 0 0 0 0 0 19 0 4 0 155934571 929460224 1920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 0 0 0 -1 1 0 0
[pid=12382/tid=12386] ppid=12380 vsize=907676 CPUtime=0
/proc/12382/task/12386/stat : 12386 (java) R 12380 12382 12315 0 -1 64 0 0 0 0 0 0 0 0 20 0 4 0 155934571 929460224 1920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 11435992 0 4 0 7368 0 0 0 -1 1 0 0

[startup+0.10362 s]
/proc/loadavg: 1.74 1.84 1.86 4/93 12383
/proc/meminfo: memFree=1035768/2055920 swapFree=4191880/4192956
[pid=12382] ppid=12380 vsize=914988 CPUtime=0.08
/proc/12382/stat : 12382 (java) S 12380 12382 12315 0 -1 0 2998 0 1 0 7 1 0 0 17 0 8 0 155934567 936947712 2744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12382/statm: 228747 2744 1427 14 0 215242 0
[pid=12382/tid=12384] ppid=12380 vsize=914988 CPUtime=0
/proc/12382/task/12384/stat : 12384 (java) S 12380 12382 12315 0 -1 64 6 0 0 0 0 0 0 0 19 0 8 0 155934570 936947712 2744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12385] ppid=12380 vsize=914988 CPUtime=0
/proc/12382/task/12385/stat : 12385 (java) S 12380 12382 12315 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 155934571 936947712 2744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12386] ppid=12380 vsize=914988 CPUtime=0
/proc/12382/task/12386/stat : 12386 (java) S 12380 12382 12315 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 155934571 936947712 2744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.511658 s]
/proc/loadavg: 1.74 1.84 1.86 4/93 12383
/proc/meminfo: memFree=1035768/2055920 swapFree=4191880/4192956
[pid=12382] ppid=12380 vsize=915328 CPUtime=0.49
/proc/12382/stat : 12382 (java) R 12380 12382 12315 0 -1 0 6504 0 1 0 45 4 0 0 19 0 8 0 155934567 937295872 6243 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073586583 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12382/statm: 228832 6243 2135 14 0 215302 0
[pid=12382/tid=12384] ppid=12380 vsize=915328 CPUtime=0
/proc/12382/task/12384/stat : 12384 (java) S 12380 12382 12315 0 -1 64 6 0 0 0 0 0 0 0 19 0 8 0 155934570 937295872 6243 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12385] ppid=12380 vsize=915328 CPUtime=0
/proc/12382/task/12385/stat : 12385 (java) S 12380 12382 12315 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 155934571 937295872 6243 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12386] ppid=12380 vsize=915328 CPUtime=0
/proc/12382/task/12386/stat : 12386 (java) S 12380 12382 12315 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 155934571 937295872 6243 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33274 s]
/proc/loadavg: 1.84 1.86 1.86 3/100 12390
/proc/meminfo: memFree=969792/2055920 swapFree=4191880/4192956
[pid=12382] ppid=12380 vsize=915616 CPUtime=1.3
/proc/12382/stat : 12382 (java) R 12380 12382 12315 0 -1 0 18812 0 1 0 119 11 0 0 24 0 8 0 155934567 937590784 18550 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073611818 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12382/statm: 228904 18550 2158 14 0 215374 0
[pid=12382/tid=12384] ppid=12380 vsize=915616 CPUtime=0.1
/proc/12382/task/12384/stat : 12384 (java) S 12380 12382 12315 0 -1 64 2267 0 0 0 9 1 0 0 17 0 8 0 155934570 937590784 18550 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12385] ppid=12380 vsize=915616 CPUtime=0
/proc/12382/task/12385/stat : 12385 (java) S 12380 12382 12315 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155934571 937590784 18550 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12386] ppid=12380 vsize=915616 CPUtime=0
/proc/12382/task/12386/stat : 12386 (java) S 12380 12382 12315 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155934571 937590784 18550 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12387] ppid=12380 vsize=915616 CPUtime=0
/proc/12382/task/12387/stat : 12387 (java) S 12380 12382 12315 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155934574 937590784 18550 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12388] ppid=12380 vsize=915616 CPUtime=0.15
/proc/12382/task/12388/stat : 12388 (java) S 12380 12382 12315 0 -1 64 414 0 0 0 15 0 0 0 16 0 8 0 155934574 937590784 18550 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12389] ppid=12380 vsize=915616 CPUtime=0
/proc/12382/task/12389/stat : 12389 (java) S 12380 12382 12315 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155934574 937590784 18550 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12390] ppid=12380 vsize=915616 CPUtime=0
/proc/12382/task/12390/stat : 12390 (java) S 12380 12382 12315 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155934574 937590784 18550 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915616

[startup+2.9769 s]
/proc/loadavg: 1.84 1.86 1.86 3/100 12390
/proc/meminfo: memFree=953664/2055920 swapFree=4191880/4192956
[pid=12382] ppid=12380 vsize=915616 CPUtime=2.93
/proc/12382/stat : 12382 (java) R 12380 12382 12315 0 -1 0 23719 0 1 0 279 14 0 0 25 0 8 0 155934567 937590784 23453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073741289 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12382/statm: 228904 23453 2158 14 0 215374 0
[pid=12382/tid=12384] ppid=12380 vsize=915616 CPUtime=0.36
/proc/12382/task/12384/stat : 12384 (java) S 12380 12382 12315 0 -1 64 7169 0 0 0 34 2 0 0 16 0 8 0 155934570 937590784 23453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12385] ppid=12380 vsize=915616 CPUtime=0
/proc/12382/task/12385/stat : 12385 (java) S 12380 12382 12315 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155934571 937590784 23453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12386] ppid=12380 vsize=915616 CPUtime=0
/proc/12382/task/12386/stat : 12386 (java) S 12380 12382 12315 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155934571 937590784 23453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12387] ppid=12380 vsize=915616 CPUtime=0
/proc/12382/task/12387/stat : 12387 (java) S 12380 12382 12315 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155934574 937590784 23453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12388] ppid=12380 vsize=915616 CPUtime=0.15
/proc/12382/task/12388/stat : 12388 (java) S 12380 12382 12315 0 -1 64 415 0 0 0 15 0 0 0 16 0 8 0 155934574 937590784 23453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12389] ppid=12380 vsize=915616 CPUtime=0
/proc/12382/task/12389/stat : 12389 (java) S 12380 12382 12315 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155934574 937590784 23453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12390] ppid=12380 vsize=915616 CPUtime=0
/proc/12382/task/12390/stat : 12390 (java) S 12380 12382 12315 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155934574 937590784 23453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915616

[startup+6.1852 s]
/proc/loadavg: 1.84 1.86 1.86 3/100 12390
/proc/meminfo: memFree=920128/2055920 swapFree=4191880/4192956
[pid=12382] ppid=12380 vsize=915744 CPUtime=6.1
/proc/12382/stat : 12382 (java) R 12380 12382 12315 0 -1 0 42768 0 1 0 500 110 0 0 25 0 8 0 155934567 937721856 42495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154545622 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12382/statm: 228936 42495 2181 14 0 215406 0
[pid=12382/tid=12384] ppid=12380 vsize=915744 CPUtime=1.01
/proc/12382/task/12384/stat : 12384 (java) S 12380 12382 12315 0 -1 64 26115 0 0 0 90 11 0 0 16 0 8 0 155934570 937721856 42495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12385] ppid=12380 vsize=915744 CPUtime=0
/proc/12382/task/12385/stat : 12385 (java) S 12380 12382 12315 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155934571 937721856 42495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12386] ppid=12380 vsize=915744 CPUtime=0
/proc/12382/task/12386/stat : 12386 (java) S 12380 12382 12315 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155934571 937721856 42495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12387] ppid=12380 vsize=915744 CPUtime=0
/proc/12382/task/12387/stat : 12387 (java) S 12380 12382 12315 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155934574 937721856 42495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12388] ppid=12380 vsize=915744 CPUtime=0.21
/proc/12382/task/12388/stat : 12388 (java) S 12380 12382 12315 0 -1 64 446 0 0 0 21 0 0 0 16 0 8 0 155934574 937721856 42495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12389] ppid=12380 vsize=915744 CPUtime=0
/proc/12382/task/12389/stat : 12389 (java) S 12380 12382 12315 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155934574 937721856 42495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12390] ppid=12380 vsize=915744 CPUtime=0
/proc/12382/task/12390/stat : 12390 (java) S 12380 12382 12315 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155934574 937721856 42495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915744

[startup+12.6638 s]
/proc/loadavg: 1.86 1.87 1.86 3/100 12390
/proc/meminfo: memFree=846976/2055920 swapFree=4191880/4192956
[pid=12382] ppid=12380 vsize=916300 CPUtime=12.53
/proc/12382/stat : 12382 (java) R 12380 12382 12315 0 -1 0 49907 0 1 0 1137 116 0 0 25 0 8 0 155934567 938291200 49568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073480195 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12382/statm: 229075 49568 2529 14 0 215545 0
[pid=12382/tid=12384] ppid=12380 vsize=916300 CPUtime=1.65
/proc/12382/task/12384/stat : 12384 (java) S 12380 12382 12315 0 -1 64 32584 0 0 0 150 15 0 0 16 0 8 0 155934570 938291200 49568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12385] ppid=12380 vsize=916300 CPUtime=0
/proc/12382/task/12385/stat : 12385 (java) S 12380 12382 12315 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155934571 938291200 49568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12386] ppid=12380 vsize=916300 CPUtime=0
/proc/12382/task/12386/stat : 12386 (java) S 12380 12382 12315 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155934571 938291200 49568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12387] ppid=12380 vsize=916300 CPUtime=0
/proc/12382/task/12387/stat : 12387 (java) S 12380 12382 12315 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155934574 938291200 49568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12388] ppid=12380 vsize=916300 CPUtime=0.4
/proc/12382/task/12388/stat : 12388 (java) S 12380 12382 12315 0 -1 64 681 0 0 0 39 1 0 0 16 0 8 0 155934574 938291200 49568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12389] ppid=12380 vsize=916300 CPUtime=0
/proc/12382/task/12389/stat : 12389 (java) S 12380 12382 12315 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155934574 938291200 49568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12390] ppid=12380 vsize=916300 CPUtime=0
/proc/12382/task/12390/stat : 12390 (java) S 12380 12382 12315 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155934574 938291200 49568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 916300

[startup+25.5431 s]
/proc/loadavg: 1.88 1.87 1.86 3/100 12390
/proc/meminfo: memFree=847168/2055920 swapFree=4191880/4192956
[pid=12382] ppid=12380 vsize=916300 CPUtime=25.28
/proc/12382/stat : 12382 (java) R 12380 12382 12315 0 -1 0 49907 0 1 0 2412 116 0 0 25 0 8 0 155934567 938291200 49568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942745 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12382/statm: 229075 49568 2529 14 0 215545 0
[pid=12382/tid=12384] ppid=12380 vsize=916300 CPUtime=1.65
/proc/12382/task/12384/stat : 12384 (java) S 12380 12382 12315 0 -1 64 32584 0 0 0 150 15 0 0 16 0 8 0 155934570 938291200 49568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12385] ppid=12380 vsize=916300 CPUtime=0
/proc/12382/task/12385/stat : 12385 (java) S 12380 12382 12315 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155934571 938291200 49568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12386] ppid=12380 vsize=916300 CPUtime=0
/proc/12382/task/12386/stat : 12386 (java) S 12380 12382 12315 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155934571 938291200 49568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12387] ppid=12380 vsize=916300 CPUtime=0
/proc/12382/task/12387/stat : 12387 (java) S 12380 12382 12315 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155934574 938291200 49568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12388] ppid=12380 vsize=916300 CPUtime=0.4
/proc/12382/task/12388/stat : 12388 (java) S 12380 12382 12315 0 -1 64 681 0 0 0 39 1 0 0 16 0 8 0 155934574 938291200 49568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12389] ppid=12380 vsize=916300 CPUtime=0
/proc/12382/task/12389/stat : 12389 (java) S 12380 12382 12315 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155934574 938291200 49568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12390] ppid=12380 vsize=916300 CPUtime=0
/proc/12382/task/12390/stat : 12390 (java) S 12380 12382 12315 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155934574 938291200 49568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 916300

[startup+51.1795 s]
/proc/loadavg: 1.92 1.88 1.87 3/100 12390
/proc/meminfo: memFree=847168/2055920 swapFree=4191880/4192956
[pid=12382] ppid=12380 vsize=916300 CPUtime=50.69
/proc/12382/stat : 12382 (java) R 12380 12382 12315 0 -1 0 49920 0 1 0 4953 116 0 0 25 0 8 0 155934567 938291200 49577 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074336483 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12382/statm: 229075 49577 2532 14 0 215545 0
[pid=12382/tid=12384] ppid=12380 vsize=916300 CPUtime=1.65
/proc/12382/task/12384/stat : 12384 (java) S 12380 12382 12315 0 -1 64 32584 0 0 0 150 15 0 0 16 0 8 0 155934570 938291200 49577 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12385] ppid=12380 vsize=916300 CPUtime=0
/proc/12382/task/12385/stat : 12385 (java) S 12380 12382 12315 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155934571 938291200 49577 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12386] ppid=12380 vsize=916300 CPUtime=0
/proc/12382/task/12386/stat : 12386 (java) S 12380 12382 12315 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155934571 938291200 49577 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12387] ppid=12380 vsize=916300 CPUtime=0
/proc/12382/task/12387/stat : 12387 (java) S 12380 12382 12315 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155934574 938291200 49577 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12388] ppid=12380 vsize=916300 CPUtime=0.42
/proc/12382/task/12388/stat : 12388 (java) S 12380 12382 12315 0 -1 64 685 0 0 0 40 2 0 0 16 0 8 0 155934574 938291200 49577 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12389] ppid=12380 vsize=916300 CPUtime=0
/proc/12382/task/12389/stat : 12389 (java) S 12380 12382 12315 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155934574 938291200 49577 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12390] ppid=12380 vsize=916300 CPUtime=0
/proc/12382/task/12390/stat : 12390 (java) S 12380 12382 12315 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155934574 938291200 49577 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 916300

[startup+102.453 s]
/proc/loadavg: 1.97 1.90 1.87 3/100 12390
/proc/meminfo: memFree=847232/2055920 swapFree=4191880/4192956
[pid=12382] ppid=12380 vsize=916300 CPUtime=101.49
/proc/12382/stat : 12382 (java) R 12380 12382 12315 0 -1 0 49932 0 1 0 10032 117 0 0 25 0 8 0 155934567 938291200 49586 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074287130 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12382/statm: 229075 49586 2532 14 0 215545 0
[pid=12382/tid=12384] ppid=12380 vsize=916300 CPUtime=1.65
/proc/12382/task/12384/stat : 12384 (java) S 12380 12382 12315 0 -1 64 32584 0 0 0 150 15 0 0 16 0 8 0 155934570 938291200 49586 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12385] ppid=12380 vsize=916300 CPUtime=0
/proc/12382/task/12385/stat : 12385 (java) S 12380 12382 12315 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155934571 938291200 49586 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0

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

Current children cumulated CPU time (s) 1409.87
Current children cumulated vsize (KiB) 916300

[startup+1483.02 s]
/proc/loadavg: 2.02 2.01 1.94 3/100 12390
/proc/meminfo: memFree=766720/2055920 swapFree=4191880/4192956
[pid=12382] ppid=12380 vsize=916300 CPUtime=1469.34
/proc/12382/stat : 12382 (java) R 12380 12382 12315 0 -1 0 55128 0 1 0 146802 132 0 0 25 0 8 0 155934567 938291200 54767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074315616 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12382/statm: 229075 54767 2532 14 0 215545 0
[pid=12382/tid=12384] ppid=12380 vsize=916300 CPUtime=1.78
/proc/12382/task/12384/stat : 12384 (java) S 12380 12382 12315 0 -1 64 37755 0 0 0 161 17 0 0 16 0 8 0 155934570 938291200 54767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12385] ppid=12380 vsize=916300 CPUtime=0
/proc/12382/task/12385/stat : 12385 (java) S 12380 12382 12315 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155934571 938291200 54767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12386] ppid=12380 vsize=916300 CPUtime=0
/proc/12382/task/12386/stat : 12386 (java) S 12380 12382 12315 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155934571 938291200 54767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12387] ppid=12380 vsize=916300 CPUtime=0
/proc/12382/task/12387/stat : 12387 (java) S 12380 12382 12315 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155934574 938291200 54767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12388] ppid=12380 vsize=916300 CPUtime=0.46
/proc/12382/task/12388/stat : 12388 (java) S 12380 12382 12315 0 -1 64 712 0 0 0 44 2 0 0 16 0 8 0 155934574 938291200 54767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12389] ppid=12380 vsize=916300 CPUtime=0
/proc/12382/task/12389/stat : 12389 (java) S 12380 12382 12315 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155934574 938291200 54767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12390] ppid=12380 vsize=916300 CPUtime=0
/proc/12382/task/12390/stat : 12390 (java) S 12380 12382 12315 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155934574 938291200 54767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1469.34
Current children cumulated vsize (KiB) 916300

[startup+1543.05 s]
/proc/loadavg: 2.00 2.00 1.94 3/100 12390
/proc/meminfo: memFree=750848/2055920 swapFree=4191880/4192956
[pid=12382] ppid=12380 vsize=916300 CPUtime=1528.82
/proc/12382/stat : 12382 (java) R 12380 12382 12315 0 -1 0 55128 0 1 0 152749 133 0 0 25 0 8 0 155934567 938291200 54767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074335565 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12382/statm: 229075 54767 2532 14 0 215545 0
[pid=12382/tid=12384] ppid=12380 vsize=916300 CPUtime=1.78
/proc/12382/task/12384/stat : 12384 (java) S 12380 12382 12315 0 -1 64 37755 0 0 0 161 17 0 0 16 0 8 0 155934570 938291200 54767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12385] ppid=12380 vsize=916300 CPUtime=0
/proc/12382/task/12385/stat : 12385 (java) S 12380 12382 12315 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155934571 938291200 54767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12386] ppid=12380 vsize=916300 CPUtime=0
/proc/12382/task/12386/stat : 12386 (java) S 12380 12382 12315 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155934571 938291200 54767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12387] ppid=12380 vsize=916300 CPUtime=0
/proc/12382/task/12387/stat : 12387 (java) S 12380 12382 12315 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155934574 938291200 54767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12388] ppid=12380 vsize=916300 CPUtime=0.46
/proc/12382/task/12388/stat : 12388 (java) S 12380 12382 12315 0 -1 64 712 0 0 0 44 2 0 0 16 0 8 0 155934574 938291200 54767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12389] ppid=12380 vsize=916300 CPUtime=0
/proc/12382/task/12389/stat : 12389 (java) S 12380 12382 12315 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155934574 938291200 54767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12390] ppid=12380 vsize=916300 CPUtime=0
/proc/12382/task/12390/stat : 12390 (java) S 12380 12382 12315 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155934574 938291200 54767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1528.82
Current children cumulated vsize (KiB) 916300

[startup+1603.07 s]
/proc/loadavg: 2.04 2.01 1.94 3/100 12390
/proc/meminfo: memFree=750784/2055920 swapFree=4191880/4192956
[pid=12382] ppid=12380 vsize=916300 CPUtime=1588.27
/proc/12382/stat : 12382 (java) R 12380 12382 12315 0 -1 0 55128 0 1 0 158694 133 0 0 25 0 8 0 155934567 938291200 54767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074267148 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12382/statm: 229075 54767 2532 14 0 215545 0
[pid=12382/tid=12384] ppid=12380 vsize=916300 CPUtime=1.78
/proc/12382/task/12384/stat : 12384 (java) S 12380 12382 12315 0 -1 64 37755 0 0 0 161 17 0 0 16 0 8 0 155934570 938291200 54767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12385] ppid=12380 vsize=916300 CPUtime=0
/proc/12382/task/12385/stat : 12385 (java) S 12380 12382 12315 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155934571 938291200 54767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12386] ppid=12380 vsize=916300 CPUtime=0
/proc/12382/task/12386/stat : 12386 (java) S 12380 12382 12315 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155934571 938291200 54767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12387] ppid=12380 vsize=916300 CPUtime=0
/proc/12382/task/12387/stat : 12387 (java) S 12380 12382 12315 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155934574 938291200 54767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12388] ppid=12380 vsize=916300 CPUtime=0.46
/proc/12382/task/12388/stat : 12388 (java) S 12380 12382 12315 0 -1 64 712 0 0 0 44 2 0 0 16 0 8 0 155934574 938291200 54767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12389] ppid=12380 vsize=916300 CPUtime=0
/proc/12382/task/12389/stat : 12389 (java) S 12380 12382 12315 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155934574 938291200 54767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12390] ppid=12380 vsize=916300 CPUtime=0
/proc/12382/task/12390/stat : 12390 (java) S 12380 12382 12315 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155934574 938291200 54767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1588.27
Current children cumulated vsize (KiB) 916300

[startup+1663.1 s]
/proc/loadavg: 2.01 2.01 1.94 3/100 12390
/proc/meminfo: memFree=738240/2055920 swapFree=4191880/4192956
[pid=12382] ppid=12380 vsize=916300 CPUtime=1647.75
/proc/12382/stat : 12382 (java) R 12380 12382 12315 0 -1 0 58245 0 1 0 164640 135 0 0 25 0 8 0 155934567 938291200 57883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073480195 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12382/statm: 229075 57883 2532 14 0 215545 0
[pid=12382/tid=12384] ppid=12380 vsize=916300 CPUtime=1.82
/proc/12382/task/12384/stat : 12384 (java) S 12380 12382 12315 0 -1 64 40871 0 0 0 164 18 0 0 16 0 8 0 155934570 938291200 57883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12385] ppid=12380 vsize=916300 CPUtime=0
/proc/12382/task/12385/stat : 12385 (java) S 12380 12382 12315 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155934571 938291200 57883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12386] ppid=12380 vsize=916300 CPUtime=0
/proc/12382/task/12386/stat : 12386 (java) S 12380 12382 12315 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155934571 938291200 57883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12387] ppid=12380 vsize=916300 CPUtime=0
/proc/12382/task/12387/stat : 12387 (java) S 12380 12382 12315 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155934574 938291200 57883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12388] ppid=12380 vsize=916300 CPUtime=0.46
/proc/12382/task/12388/stat : 12388 (java) S 12380 12382 12315 0 -1 64 712 0 0 0 44 2 0 0 16 0 8 0 155934574 938291200 57883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12389] ppid=12380 vsize=916300 CPUtime=0
/proc/12382/task/12389/stat : 12389 (java) S 12380 12382 12315 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155934574 938291200 57883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12390] ppid=12380 vsize=916300 CPUtime=0
/proc/12382/task/12390/stat : 12390 (java) S 12380 12382 12315 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155934574 938291200 57883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1647.75
Current children cumulated vsize (KiB) 916300

[startup+1723.13 s]
/proc/loadavg: 2.00 2.00 1.94 3/100 12390
/proc/meminfo: memFree=738240/2055920 swapFree=4191880/4192956
[pid=12382] ppid=12380 vsize=916300 CPUtime=1707.22
/proc/12382/stat : 12382 (java) R 12380 12382 12315 0 -1 0 58245 0 1 0 170586 136 0 0 25 0 8 0 155934567 938291200 57883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074251875 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12382/statm: 229075 57883 2532 14 0 215545 0
[pid=12382/tid=12384] ppid=12380 vsize=916300 CPUtime=1.82
/proc/12382/task/12384/stat : 12384 (java) S 12380 12382 12315 0 -1 64 40871 0 0 0 164 18 0 0 16 0 8 0 155934570 938291200 57883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12385] ppid=12380 vsize=916300 CPUtime=0
/proc/12382/task/12385/stat : 12385 (java) S 12380 12382 12315 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155934571 938291200 57883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12386] ppid=12380 vsize=916300 CPUtime=0
/proc/12382/task/12386/stat : 12386 (java) S 12380 12382 12315 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155934571 938291200 57883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12387] ppid=12380 vsize=916300 CPUtime=0
/proc/12382/task/12387/stat : 12387 (java) S 12380 12382 12315 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155934574 938291200 57883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12388] ppid=12380 vsize=916300 CPUtime=0.46
/proc/12382/task/12388/stat : 12388 (java) S 12380 12382 12315 0 -1 64 712 0 0 0 44 2 0 0 16 0 8 0 155934574 938291200 57883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12389] ppid=12380 vsize=916300 CPUtime=0
/proc/12382/task/12389/stat : 12389 (java) S 12380 12382 12315 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155934574 938291200 57883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12390] ppid=12380 vsize=916300 CPUtime=0
/proc/12382/task/12390/stat : 12390 (java) S 12380 12382 12315 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155934574 938291200 57883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1707.22
Current children cumulated vsize (KiB) 916300

[startup+1783.2 s]
/proc/loadavg: 1.96 1.98 1.94 3/100 12538
/proc/meminfo: memFree=848896/2055920 swapFree=4191880/4192956
[pid=12382] ppid=12380 vsize=916300 CPUtime=1767.14
/proc/12382/stat : 12382 (java) R 12380 12382 12315 0 -1 0 58245 0 1 0 176575 139 0 0 25 0 8 0 155934567 938291200 57883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074251956 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12382/statm: 229075 57883 2532 14 0 215545 0
[pid=12382/tid=12384] ppid=12380 vsize=916300 CPUtime=1.82
/proc/12382/task/12384/stat : 12384 (java) S 12380 12382 12315 0 -1 64 40871 0 0 0 164 18 0 0 16 0 8 0 155934570 938291200 57883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12385] ppid=12380 vsize=916300 CPUtime=0
/proc/12382/task/12385/stat : 12385 (java) S 12380 12382 12315 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155934571 938291200 57883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12386] ppid=12380 vsize=916300 CPUtime=0
/proc/12382/task/12386/stat : 12386 (java) S 12380 12382 12315 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155934571 938291200 57883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12387] ppid=12380 vsize=916300 CPUtime=0
/proc/12382/task/12387/stat : 12387 (java) S 12380 12382 12315 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155934574 938291200 57883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12388] ppid=12380 vsize=916300 CPUtime=0.46
/proc/12382/task/12388/stat : 12388 (java) S 12380 12382 12315 0 -1 64 712 0 0 0 44 2 0 0 16 0 8 0 155934574 938291200 57883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12389] ppid=12380 vsize=916300 CPUtime=0
/proc/12382/task/12389/stat : 12389 (java) S 12380 12382 12315 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155934574 938291200 57883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12390] ppid=12380 vsize=916300 CPUtime=0
/proc/12382/task/12390/stat : 12390 (java) S 12380 12382 12315 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155934574 938291200 57883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1767.14
Current children cumulated vsize (KiB) 916300



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1816.11 s]
/proc/loadavg: 1.98 1.98 1.94 3/100 12538
/proc/meminfo: memFree=848960/2055920 swapFree=4191880/4192956
[pid=12382] ppid=12380 vsize=916300 CPUtime=1800.03
/proc/12382/stat : 12382 (java) R 12380 12382 12315 0 -1 0 58245 0 1 0 179864 139 0 0 25 0 8 0 155934567 938291200 57883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073480195 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12382/statm: 229075 57883 2532 14 0 215545 0
[pid=12382/tid=12384] ppid=12380 vsize=916300 CPUtime=1.82
/proc/12382/task/12384/stat : 12384 (java) S 12380 12382 12315 0 -1 64 40871 0 0 0 164 18 0 0 16 0 8 0 155934570 938291200 57883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12385] ppid=12380 vsize=916300 CPUtime=0
/proc/12382/task/12385/stat : 12385 (java) S 12380 12382 12315 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155934571 938291200 57883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12386] ppid=12380 vsize=916300 CPUtime=0
/proc/12382/task/12386/stat : 12386 (java) S 12380 12382 12315 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155934571 938291200 57883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12387] ppid=12380 vsize=916300 CPUtime=0
/proc/12382/task/12387/stat : 12387 (java) S 12380 12382 12315 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155934574 938291200 57883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12388] ppid=12380 vsize=916300 CPUtime=0.46
/proc/12382/task/12388/stat : 12388 (java) S 12380 12382 12315 0 -1 64 712 0 0 0 44 2 0 0 16 0 8 0 155934574 938291200 57883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12389] ppid=12380 vsize=916300 CPUtime=0
/proc/12382/task/12389/stat : 12389 (java) S 12380 12382 12315 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155934574 938291200 57883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12382/tid=12390] ppid=12380 vsize=916300 CPUtime=0
/proc/12382/task/12390/stat : 12390 (java) S 12380 12382 12315 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155934574 938291200 57883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 916300

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

Child status: 143
Real time (s): 1816.18
CPU time (s): 1800.1
CPU user time (s): 1798.68
CPU system time (s): 1.42378
CPU usage (%): 99.1147
Max. virtual memory (cumulated for all children) (KiB): 916300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.68
system time used= 1.42378
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58260
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= 38646
involuntary context switches= 96913

runsolver used 2.10268 s user time and 5.9441 s system time

The end

Launcher Data (download as text)

Begin job on node4 on Sat Jan  6 09:23:10 UTC 2007


IDJOB= 211070
IDBENCH= 4666
FILE ID= node4/211070-1168075390

PBS_JOBID= 3475805

Free space on /tmp= 66294 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/uclid/ooo-tag12.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/211070-1168075390/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node4/watcher-211070-1168075390 -o ROOT/results/node4/solver-211070-1168075390 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/211070-1168075390/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  d75ffaf5e9d380ee0d7426ec33536dcb

RANDOM SEED= 236800227

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:       1036248 kB
Buffers:         73884 kB
Cached:         688264 kB
SwapCached:        268 kB
Active:         553100 kB
Inactive:       370124 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1036248 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:           10820 kB
Writeback:           0 kB
Mapped:         189340 kB
Slab:            80912 kB
Committed_AS:  4551036 kB
PageTables:       2664 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= 66298 MiB



End job on node4 on Sat Jan  6 09:53:26 UTC 2007