Trace number 215055

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

General information on the benchmark

NamepseudoSeries/
ii/ii-32c4.xml
MD5SUMf756a64a086b1e66d9d87aeff8d1d6e5
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark22.84
SatisfiableYES
(Un)Satisfiability was proved
Number of variables1518
Number of constraints21621
Maximum constraint arity32
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension21621
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=mac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/215055-1168077801/unknown.xml
0.37	   
0.37	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.55	     nbVariables=1518  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.55	       =>  wckTime=0.233  cpuTime=0.14  mem=8M869
0.55	   
0.55	   predicates being loaded...
0.55	   
0.55	   constraints being loaded...
4.14	     nbConstraints=21621  nbConvertedConstraints=18999  nbConvertConstraintsChecks=16  nbExtensionStructures=2
4.14	     nbSharedExtensionStructures=18997  nbConflictsStructures=3  nbSharedConflictsStructures=19185
4.14	     nbUnbuiltConflictsStructures=1  nbSharedBinaryRepresentations=5  nbEvaluationManagers=2
4.14	     nbSharedEvaluationManagers=2620  maxDegree=492  maxArity=32
4.14	       =>  wckTime=3.83  cpuTime=3.38  mem=60M48
4.36	   
4.36	   solver IterativeSystematicSolver being built... 
5.19	       =>  wckTime=4.874  cpuTime=3.94  mem=90M2
5.30	   
5.30	   preprocessing
5.30	     nbConstraintChecks=0  nbPropagations=1518  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
5.30	     detectedInconsistency=no
5.30	       =>  wckTime=0.098  cpuTime=0.09  mem=101M203
7.51	   
7.51	   search
7.51	     run=0  nbConstraintChecks=340719  nbValidityChecks=996594  nbPropagations=6485  nbRevisions=653768
7.51	     nbUselessRevisions=648796  nbAssignments=156  nbFailedAssignments=3  nbBacktracks=10  nbVisitedNodes=167
7.51	     nbRestartNogoods=0  mapSize=8  nbInferences=0  nbTooLargeKeys=0
7.51	       =>  wckTime=2.315  cpuTime=2.25  mem=101M203
9.47	   
9.47	   search
9.47	     run=1  nbConstraintChecks=740625  nbValidityChecks=2085736  nbPropagations=20123  nbRevisions=2045870
9.47	     nbUselessRevisions=2028693  nbAssignments=314  nbFailedAssignments=8  nbBacktracks=25  nbVisitedNodes=340
9.47	     nbRestartNogoods=2  mapSize=22  nbInferences=0  nbTooLargeKeys=0
9.47	       =>  wckTime=4.274  cpuTime=4.19  mem=101M203
12.09	   
12.09	   search
12.09	     run=2  nbConstraintChecks=1374679  nbValidityChecks=3298166  nbPropagations=44694  nbRevisions=4340625
12.09	     nbUselessRevisions=4300091  nbAssignments=480  nbFailedAssignments=16  nbBacktracks=49  nbVisitedNodes=529
12.09	     nbRestartNogoods=3  mapSize=44  nbInferences=0  nbTooLargeKeys=0
12.09	       =>  wckTime=6.897  cpuTime=6.8  mem=101M203
15.24	   
15.24	   search
15.24	     run=3  nbConstraintChecks=2204912  nbValidityChecks=4615945  nbPropagations=83731  nbRevisions=7690210
15.24	     nbUselessRevisions=7611579  nbAssignments=658  nbFailedAssignments=24  nbBacktracks=82  nbVisitedNodes=738
15.24	     nbRestartNogoods=4  mapSize=74  nbInferences=0  nbTooLargeKeys=0
15.24	       =>  wckTime=10.05  cpuTime=9.93  mem=101M203
20.09	   
20.09	   search
20.09	     run=4  nbConstraintChecks=3701102  nbValidityChecks=6262790  nbPropagations=148310  nbRevisions=12585327
20.09	     nbUselessRevisions=12442401  nbAssignments=865  nbFailedAssignments=36  nbBacktracks=141  nbVisitedNodes=1004
20.09	     nbRestartNogoods=5  mapSize=132  nbInferences=0  nbTooLargeKeys=0
20.09	       =>  wckTime=14.898  cpuTime=14.76  mem=102M221
26.18	   
26.18	   search
26.18	     run=5  nbConstraintChecks=5789562  nbValidityChecks=8229931  nbPropagations=257285  nbRevisions=19562043
26.18	     nbUselessRevisions=19309480  nbAssignments=1098  nbFailedAssignments=61  nbBacktracks=216  nbVisitedNodes=1308
26.18	     nbRestartNogoods=6  mapSize=201  nbInferences=0  nbTooLargeKeys=0
26.18	       =>  wckTime=20.991  cpuTime=20.81  mem=102M221
35.81	   
35.81	   search
35.81	     run=6  nbConstraintChecks=9128006  nbValidityChecks=11284645  nbPropagations=441564  nbRevisions=29806236
35.81	     nbUselessRevisions=29366614  nbAssignments=1357  nbFailedAssignments=106  nbBacktracks=330  nbVisitedNodes=1663
35.81	     nbRestartNogoods=8  mapSize=295  nbInferences=0  nbTooLargeKeys=0
35.81	       =>  wckTime=30.614  cpuTime=30.38  mem=102M221
56.50	   
56.50	   search
56.50	     run=7  nbConstraintChecks=14323613  nbValidityChecks=17394198  nbPropagations=710893  nbRevisions=45260881
56.50	     nbUselessRevisions=44541078  nbAssignments=1658  nbFailedAssignments=141  nbBacktracks=504  nbVisitedNodes=2106
56.50	     nbRestartNogoods=10  mapSize=435  nbInferences=0  nbTooLargeKeys=0
56.50	       =>  wckTime=51.307  cpuTime=50.96  mem=102M221
88.73	   
88.73	   search
88.73	     run=8  nbConstraintChecks=21960552  nbValidityChecks=27058907  nbPropagations=1100880  nbRevisions=68639980
88.73	     nbUselessRevisions=67509195  nbAssignments=2043  nbFailedAssignments=185  nbBacktracks=763  nbVisitedNodes=2696
88.73	     nbRestartNogoods=12  mapSize=639  nbInferences=0  nbTooLargeKeys=0
88.73	       =>  wckTime=83.536  cpuTime=83.04  mem=102M221
125.05	   
125.05	   search
125.05	     run=9  nbConstraintChecks=31794955  nbValidityChecks=41008634  nbPropagations=1673016  nbRevisions=103652151
125.05	     nbUselessRevisions=101917161  nbAssignments=2602  nbFailedAssignments=269  nbBacktracks=1166  nbVisitedNodes=3574
125.05	     nbRestartNogoods=13  mapSize=957  nbInferences=0  nbTooLargeKeys=0
125.05	       =>  wckTime=119.858  cpuTime=119.19  mem=103M240
133.27	   
133.27	   INFO : Stopping hyperNogood (mapSize=1019, nbTooLargekeys=0, mem=103M240)
179.09	   
179.09	   search
179.09	     run=10  nbConstraintChecks=46253601  nbValidityChecks=60663203  nbPropagations=2492851  nbRevisions=155084234
179.09	     nbUselessRevisions=152481732  nbAssignments=3355  nbFailedAssignments=366  nbBacktracks=1749  nbVisitedNodes=4815
179.09	     nbRestartNogoods=14
179.09	       =>  wckTime=173.893  cpuTime=172.95  mem=103M240
259.04	   
259.04	   search
259.04	     run=11  nbConstraintChecks=67665592  nbValidityChecks=88162502  nbPropagations=3664884  nbRevisions=229983545
259.04	     nbUselessRevisions=226135958  nbAssignments=4425  nbFailedAssignments=482  nbBacktracks=2614  nbVisitedNodes=6638
259.04	     nbRestartNogoods=16
259.04	       =>  wckTime=253.846  cpuTime=252.52  mem=103M240
388.68	   
388.68	   search
388.68	     run=12  nbConstraintChecks=99236933  nbValidityChecks=133826342  nbPropagations=5327131  nbRevisions=341439429
388.68	     nbUselessRevisions=335818127  nbAssignments=6015  nbFailedAssignments=685  nbBacktracks=3913  nbVisitedNodes=9309
388.68	     nbRestartNogoods=21
388.68	       =>  wckTime=383.49  cpuTime=381.55  mem=103M240
589.63	   
589.63	   search
589.63	     run=13  nbConstraintChecks=151299212  nbValidityChecks=193046347  nbPropagations=7781150  nbRevisions=505018857
589.63	     nbUselessRevisions=496778564  nbAssignments=8346  nbFailedAssignments=978  nbBacktracks=5867  nbVisitedNodes=13445
589.63	     nbRestartNogoods=25
589.63	       =>  wckTime=584.441  cpuTime=581.54  mem=103M240
829.93	   
829.93	   search
829.93	     run=14  nbConstraintChecks=226741368  nbValidityChecks=250967704  nbPropagations=11509169  nbRevisions=733287671
829.93	     nbUselessRevisions=721100302  nbAssignments=11948  nbFailedAssignments=1516  nbBacktracks=8786
829.93	     nbVisitedNodes=19946  nbRestartNogoods=27
829.93	       =>  wckTime=824.733  cpuTime=820.67  mem=103M240
1219.24	   
1219.24	   search
1219.24	     run=15  nbConstraintChecks=344032349  nbValidityChecks=345819526  nbPropagations=17138860  nbRevisions=1062963383
1219.24	     nbUselessRevisions=1044837445  nbAssignments=17556  nbFailedAssignments=2636  nbBacktracks=13164
1219.24	     nbVisitedNodes=29903  nbRestartNogoods=31
1219.24	       =>  wckTime=1214.05  cpuTime=1208.13  mem=103M240

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/node12/watcher-215055-1168077801 -o ROOT/results/node12/solver-215055-1168077801 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/215055-1168077801/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.66 1.91 1.91 4/93 21780
/proc/meminfo: memFree=1567392/2055920 swapFree=4160348/4192956
[pid=21779] ppid=21777 vsize=906644 CPUtime=0.02
/proc/21779/stat : 21779 (java) S 21777 21779 21656 0 -1 0 2069 0 1 0 2 0 0 0 18 0 2 0 156175145 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/21779/statm: 226661 1818 1036 14 0 214244 0
[pid=21779/tid=21781] ppid=21777 vsize=906644 CPUtime=0
/proc/21779/task/21781/stat : 21781 (java) R 21777 21779 21656 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 156175148 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0

[startup+0.103489 s]
/proc/loadavg: 1.66 1.91 1.91 4/93 21780
/proc/meminfo: memFree=1567392/2055920 swapFree=4160348/4192956
[pid=21779] ppid=21777 vsize=914988 CPUtime=0.09
/proc/21779/stat : 21779 (java) R 21777 21779 21656 0 -1 0 3004 0 1 0 8 1 0 0 17 0 8 0 156175145 936947712 2750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155582170 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21779/statm: 228747 2750 1430 14 0 215242 0
[pid=21779/tid=21781] ppid=21777 vsize=914988 CPUtime=0
/proc/21779/task/21781/stat : 21781 (java) S 21777 21779 21656 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 156175148 936947712 2750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.511561 s]
/proc/loadavg: 1.66 1.91 1.91 4/93 21780
/proc/meminfo: memFree=1567392/2055920 swapFree=4160348/4192956
[pid=21779] ppid=21777 vsize=915328 CPUtime=0.5
/proc/21779/stat : 21779 (java) R 21777 21779 21656 0 -1 0 6579 0 1 0 46 4 0 0 18 0 8 0 156175145 937295872 6318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153380215 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21779/statm: 228832 6318 2135 14 0 215302 0
[pid=21779/tid=21781] ppid=21777 vsize=915328 CPUtime=0
/proc/21779/task/21781/stat : 21781 (java) S 21777 21779 21656 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 156175148 937295872 6318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.33471 s]
/proc/loadavg: 1.66 1.91 1.91 4/100 21787
/proc/meminfo: memFree=1504808/2055920 swapFree=4160348/4192956
[pid=21779] ppid=21777 vsize=915648 CPUtime=1.31
/proc/21779/stat : 21779 (java) R 21777 21779 21656 0 -1 0 18336 0 1 0 121 10 0 0 20 0 8 0 156175145 937623552 18070 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073576753 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21779/statm: 228912 18070 2157 14 0 215382 0
[pid=21779/tid=21781] ppid=21777 vsize=915648 CPUtime=0.06
/proc/21779/task/21781/stat : 21781 (java) S 21777 21779 21656 0 -1 64 1800 0 0 0 6 0 0 0 16 0 8 0 156175148 937623552 18070 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21782] ppid=21777 vsize=915648 CPUtime=0
/proc/21779/task/21782/stat : 21782 (java) S 21777 21779 21656 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156175149 937623552 18070 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21783] ppid=21777 vsize=915648 CPUtime=0
/proc/21779/task/21783/stat : 21783 (java) S 21777 21779 21656 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156175149 937623552 18070 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21784] ppid=21777 vsize=915648 CPUtime=0
/proc/21779/task/21784/stat : 21784 (java) S 21777 21779 21656 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156175152 937623552 18070 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21785] ppid=21777 vsize=915648 CPUtime=0.17
/proc/21779/task/21785/stat : 21785 (java) S 21777 21779 21656 0 -1 64 405 0 0 0 16 1 0 0 16 0 8 0 156175152 937623552 18070 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21786] ppid=21777 vsize=915648 CPUtime=0
/proc/21779/task/21786/stat : 21786 (java) S 21777 21779 21656 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156175152 937623552 18070 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21787] ppid=21777 vsize=915648 CPUtime=0
/proc/21779/task/21787/stat : 21787 (java) S 21777 21779 21656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156175152 937623552 18070 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915648

[startup+2.98801 s]
/proc/loadavg: 1.68 1.91 1.91 4/100 21787
/proc/meminfo: memFree=1492840/2055920 swapFree=4160348/4192956
[pid=21779] ppid=21777 vsize=915648 CPUtime=2.96
/proc/21779/stat : 21779 (java) R 21777 21779 21656 0 -1 0 24835 0 1 0 236 60 0 0 25 0 8 0 156175145 937623552 24567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21779/statm: 228912 24567 2178 14 0 215382 0
[pid=21779/tid=21781] ppid=21777 vsize=915648 CPUtime=0.24
/proc/21779/task/21781/stat : 21781 (java) S 21777 21779 21656 0 -1 64 8209 0 0 0 21 3 0 0 17 0 8 0 156175148 937623552 24567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21782] ppid=21777 vsize=915648 CPUtime=0
/proc/21779/task/21782/stat : 21782 (java) S 21777 21779 21656 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156175149 937623552 24567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21783] ppid=21777 vsize=915648 CPUtime=0
/proc/21779/task/21783/stat : 21783 (java) S 21777 21779 21656 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156175149 937623552 24567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21784] ppid=21777 vsize=915648 CPUtime=0
/proc/21779/task/21784/stat : 21784 (java) S 21777 21779 21656 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156175152 937623552 24567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21785] ppid=21777 vsize=915648 CPUtime=0.21
/proc/21779/task/21785/stat : 21785 (java) S 21777 21779 21656 0 -1 64 429 0 0 0 20 1 0 0 16 0 8 0 156175152 937623552 24567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21786] ppid=21777 vsize=915648 CPUtime=0
/proc/21779/task/21786/stat : 21786 (java) S 21777 21779 21656 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156175152 937623552 24567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21787] ppid=21777 vsize=915648 CPUtime=0
/proc/21779/task/21787/stat : 21787 (java) S 21777 21779 21656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156175152 937623552 24567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915648

[startup+6.2806 s]
/proc/loadavg: 1.68 1.91 1.91 3/100 21787
/proc/meminfo: memFree=1440360/2055920 swapFree=4160348/4192956
[pid=21779] ppid=21777 vsize=915876 CPUtime=6.23
/proc/21779/stat : 21779 (java) R 21777 21779 21656 0 -1 0 34416 0 1 0 515 108 0 0 25 0 8 0 156175145 937857024 34125 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074194695 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21779/statm: 228969 34125 2533 14 0 215439 0
[pid=21779/tid=21781] ppid=21777 vsize=915876 CPUtime=0.62
/proc/21779/task/21781/stat : 21781 (java) S 21777 21779 21656 0 -1 64 17253 0 0 0 56 6 0 0 17 0 8 0 156175148 937857024 34125 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21782] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21782/stat : 21782 (java) S 21777 21779 21656 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156175149 937857024 34125 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21783] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21783/stat : 21783 (java) S 21777 21779 21656 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156175149 937857024 34125 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21784] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21784/stat : 21784 (java) S 21777 21779 21656 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156175152 937857024 34125 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21785] ppid=21777 vsize=915876 CPUtime=0.37
/proc/21779/task/21785/stat : 21785 (java) S 21777 21779 21656 0 -1 64 522 0 0 0 35 2 0 0 15 0 8 0 156175152 937857024 34125 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21786] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21786/stat : 21786 (java) S 21777 21779 21656 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156175152 937857024 34125 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21787] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21787/stat : 21787 (java) R 21777 21779 21656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156175152 937857024 34125 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915876

[startup+12.7758 s]
/proc/loadavg: 1.73 1.91 1.91 3/100 21787
/proc/meminfo: memFree=1440360/2055920 swapFree=4160348/4192956
[pid=21779] ppid=21777 vsize=915876 CPUtime=12.69
/proc/21779/stat : 21779 (java) R 21777 21779 21656 0 -1 0 34432 0 1 0 1161 108 0 0 25 0 8 0 156175145 937857024 34137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074194080 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21779/statm: 228969 34137 2537 14 0 215439 0
[pid=21779/tid=21781] ppid=21777 vsize=915876 CPUtime=0.62
/proc/21779/task/21781/stat : 21781 (java) S 21777 21779 21656 0 -1 64 17254 0 0 0 56 6 0 0 16 0 8 0 156175148 937857024 34137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21782] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21782/stat : 21782 (java) S 21777 21779 21656 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156175149 937857024 34137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21783] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21783/stat : 21783 (java) S 21777 21779 21656 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156175149 937857024 34137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21784] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21784/stat : 21784 (java) S 21777 21779 21656 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156175152 937857024 34137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21785] ppid=21777 vsize=915876 CPUtime=0.39
/proc/21779/task/21785/stat : 21785 (java) S 21777 21779 21656 0 -1 64 528 0 0 0 36 3 0 0 16 0 8 0 156175152 937857024 34137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21786] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21786/stat : 21786 (java) S 21777 21779 21656 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156175152 937857024 34137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21787] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21787/stat : 21787 (java) S 21777 21779 21656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156175152 937857024 34137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915876

[startup+25.6441 s]
/proc/loadavg: 1.77 1.91 1.91 3/100 21787
/proc/meminfo: memFree=1440488/2055920 swapFree=4160348/4192956
[pid=21779] ppid=21777 vsize=915876 CPUtime=25.5
/proc/21779/stat : 21779 (java) R 21777 21779 21656 0 -1 0 34436 0 1 0 2442 108 0 0 25 0 8 0 156175145 937857024 34140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074191997 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21779/statm: 228969 34140 2537 14 0 215439 0
[pid=21779/tid=21781] ppid=21777 vsize=915876 CPUtime=0.62
/proc/21779/task/21781/stat : 21781 (java) S 21777 21779 21656 0 -1 64 17254 0 0 0 56 6 0 0 16 0 8 0 156175148 937857024 34140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21782] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21782/stat : 21782 (java) S 21777 21779 21656 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156175149 937857024 34140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21783] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21783/stat : 21783 (java) S 21777 21779 21656 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156175149 937857024 34140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21784] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21784/stat : 21784 (java) S 21777 21779 21656 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156175152 937857024 34140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21785] ppid=21777 vsize=915876 CPUtime=0.4
/proc/21779/task/21785/stat : 21785 (java) S 21777 21779 21656 0 -1 64 531 0 0 0 37 3 0 0 16 0 8 0 156175152 937857024 34140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21786] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21786/stat : 21786 (java) S 21777 21779 21656 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156175152 937857024 34140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21787] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21787/stat : 21787 (java) S 21777 21779 21656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156175152 937857024 34140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 915876

[startup+51.2837 s]
/proc/loadavg: 1.85 1.92 1.91 3/100 21787
/proc/meminfo: memFree=1440552/2055920 swapFree=4160348/4192956
[pid=21779] ppid=21777 vsize=915876 CPUtime=51.02
/proc/21779/stat : 21779 (java) R 21777 21779 21656 0 -1 0 34445 0 1 0 4993 109 0 0 25 0 8 0 156175145 937857024 34146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074192005 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21779/statm: 228969 34146 2537 14 0 215439 0
[pid=21779/tid=21781] ppid=21777 vsize=915876 CPUtime=0.62
/proc/21779/task/21781/stat : 21781 (java) S 21777 21779 21656 0 -1 64 17254 0 0 0 56 6 0 0 17 0 8 0 156175148 937857024 34146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21782] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21782/stat : 21782 (java) S 21777 21779 21656 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156175149 937857024 34146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21783] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21783/stat : 21783 (java) S 21777 21779 21656 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156175149 937857024 34146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21784] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21784/stat : 21784 (java) S 21777 21779 21656 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156175152 937857024 34146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21785] ppid=21777 vsize=915876 CPUtime=0.41
/proc/21779/task/21785/stat : 21785 (java) S 21777 21779 21656 0 -1 64 539 0 0 0 38 3 0 0 16 0 8 0 156175152 937857024 34146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21786] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21786/stat : 21786 (java) S 21777 21779 21656 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156175152 937857024 34146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21787] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21787/stat : 21787 (java) S 21777 21779 21656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156175152 937857024 34146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 915876

[startup+102.56 s]
/proc/loadavg: 1.94 1.93 1.91 3/100 21787
/proc/meminfo: memFree=1440552/2055920 swapFree=4160348/4192956
[pid=21779] ppid=21777 vsize=915876 CPUtime=102.05
/proc/21779/stat : 21779 (java) R 21777 21779 21656 0 -1 0 34450 0 1 0 10096 109 0 0 25 0 8 0 156175145 937857024 34148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074132284 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21779/statm: 228969 34148 2537 14 0 215439 0
[pid=21779/tid=21781] ppid=21777 vsize=915876 CPUtime=0.62
/proc/21779/task/21781/stat : 21781 (java) S 21777 21779 21656 0 -1 64 17254 0 0 0 56 6 0 0 16 0 8 0 156175148 937857024 34148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21782] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21782/stat : 21782 (java) S 21777 21779 21656 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156175149 937857024 34148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21783] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21783/stat : 21783 (java) S 21777 21779 21656 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156175149 937857024 34148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21784] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21784/stat : 21784 (java) S 21777 21779 21656 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156175152 937857024 34148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21785] ppid=21777 vsize=915876 CPUtime=0.42
/proc/21779/task/21785/stat : 21785 (java) S 21777 21779 21656 0 -1 64 542 0 0 0 39 3 0 0 16 0 8 0 156175152 937857024 34148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21786] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21786/stat : 21786 (java) S 21777 21779 21656 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156175152 937857024 34148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21787] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21787/stat : 21787 (java) S 21777 21779 21656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156175152 937857024 34148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.05
Current children cumulated vsize (KiB) 915876

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

Current children cumulated CPU time (s) 1416.41
Current children cumulated vsize (KiB) 915876

[startup+1483.27 s]
/proc/loadavg: 2.00 2.00 1.93 3/100 21789
/proc/meminfo: memFree=1439720/2055920 swapFree=4160348/4192956
[pid=21779] ppid=21777 vsize=915876 CPUtime=1476.16
/proc/21779/stat : 21779 (java) R 21777 21779 21656 0 -1 0 34462 0 1 0 147497 119 0 0 25 0 8 0 156175145 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074191994 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21779/statm: 228969 34154 2537 14 0 215439 0
[pid=21779/tid=21781] ppid=21777 vsize=915876 CPUtime=0.62
/proc/21779/task/21781/stat : 21781 (java) S 21777 21779 21656 0 -1 64 17254 0 0 0 56 6 0 0 16 0 8 0 156175148 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21782] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21782/stat : 21782 (java) S 21777 21779 21656 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156175149 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21783] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21783/stat : 21783 (java) S 21777 21779 21656 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156175149 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21784] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21784/stat : 21784 (java) S 21777 21779 21656 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156175152 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21785] ppid=21777 vsize=915876 CPUtime=0.43
/proc/21779/task/21785/stat : 21785 (java) S 21777 21779 21656 0 -1 64 551 0 0 0 40 3 0 0 17 0 8 0 156175152 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21786] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21786/stat : 21786 (java) S 21777 21779 21656 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156175152 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21787] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21787/stat : 21787 (java) S 21777 21779 21656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156175152 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1476.16
Current children cumulated vsize (KiB) 915876

[startup+1543.3 s]
/proc/loadavg: 2.25 2.08 1.97 3/100 21789
/proc/meminfo: memFree=1439656/2055920 swapFree=4160348/4192956
[pid=21779] ppid=21777 vsize=915876 CPUtime=1535.9
/proc/21779/stat : 21779 (java) R 21777 21779 21656 0 -1 0 34462 0 1 0 153470 120 0 0 25 0 8 0 156175145 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074191997 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21779/statm: 228969 34154 2537 14 0 215439 0
[pid=21779/tid=21781] ppid=21777 vsize=915876 CPUtime=0.62
/proc/21779/task/21781/stat : 21781 (java) S 21777 21779 21656 0 -1 64 17254 0 0 0 56 6 0 0 16 0 8 0 156175148 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21782] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21782/stat : 21782 (java) S 21777 21779 21656 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156175149 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21783] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21783/stat : 21783 (java) S 21777 21779 21656 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156175149 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21784] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21784/stat : 21784 (java) S 21777 21779 21656 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156175152 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21785] ppid=21777 vsize=915876 CPUtime=0.43
/proc/21779/task/21785/stat : 21785 (java) S 21777 21779 21656 0 -1 64 551 0 0 0 40 3 0 0 17 0 8 0 156175152 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21786] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21786/stat : 21786 (java) S 21777 21779 21656 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156175152 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21787] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21787/stat : 21787 (java) S 21777 21779 21656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156175152 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1535.9
Current children cumulated vsize (KiB) 915876

[startup+1603.33 s]
/proc/loadavg: 2.09 2.07 1.97 3/100 21847
/proc/meminfo: memFree=1457512/2055920 swapFree=4160348/4192956
[pid=21779] ppid=21777 vsize=915876 CPUtime=1595.59
/proc/21779/stat : 21779 (java) R 21777 21779 21656 0 -1 0 34462 0 1 0 159438 121 0 0 25 0 8 0 156175145 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074192052 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21779/statm: 228969 34154 2537 14 0 215439 0
[pid=21779/tid=21781] ppid=21777 vsize=915876 CPUtime=0.62
/proc/21779/task/21781/stat : 21781 (java) S 21777 21779 21656 0 -1 64 17254 0 0 0 56 6 0 0 16 0 8 0 156175148 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21782] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21782/stat : 21782 (java) S 21777 21779 21656 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156175149 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21783] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21783/stat : 21783 (java) S 21777 21779 21656 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156175149 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21784] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21784/stat : 21784 (java) S 21777 21779 21656 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156175152 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21785] ppid=21777 vsize=915876 CPUtime=0.43
/proc/21779/task/21785/stat : 21785 (java) S 21777 21779 21656 0 -1 64 551 0 0 0 40 3 0 0 17 0 8 0 156175152 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21786] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21786/stat : 21786 (java) S 21777 21779 21656 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156175152 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21787] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21787/stat : 21787 (java) S 21777 21779 21656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156175152 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1595.59
Current children cumulated vsize (KiB) 915876

[startup+1663.33 s]
/proc/loadavg: 2.03 2.05 1.97 3/100 21847
/proc/meminfo: memFree=1456872/2055920 swapFree=4160348/4192956
[pid=21779] ppid=21777 vsize=915876 CPUtime=1655.05
/proc/21779/stat : 21779 (java) R 21777 21779 21656 0 -1 0 34462 0 1 0 165383 122 0 0 25 0 8 0 156175145 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074192005 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21779/statm: 228969 34154 2537 14 0 215439 0
[pid=21779/tid=21781] ppid=21777 vsize=915876 CPUtime=0.62
/proc/21779/task/21781/stat : 21781 (java) S 21777 21779 21656 0 -1 64 17254 0 0 0 56 6 0 0 16 0 8 0 156175148 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21782] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21782/stat : 21782 (java) S 21777 21779 21656 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156175149 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21783] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21783/stat : 21783 (java) S 21777 21779 21656 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156175149 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21784] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21784/stat : 21784 (java) S 21777 21779 21656 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156175152 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21785] ppid=21777 vsize=915876 CPUtime=0.43
/proc/21779/task/21785/stat : 21785 (java) S 21777 21779 21656 0 -1 64 551 0 0 0 40 3 0 0 17 0 8 0 156175152 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21786] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21786/stat : 21786 (java) S 21777 21779 21656 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156175152 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21787] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21787/stat : 21787 (java) S 21777 21779 21656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156175152 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1655.05
Current children cumulated vsize (KiB) 915876

[startup+1723.34 s]
/proc/loadavg: 2.01 2.04 1.97 3/100 21847
/proc/meminfo: memFree=1456808/2055920 swapFree=4160348/4192956
[pid=21779] ppid=21777 vsize=915876 CPUtime=1714.5
/proc/21779/stat : 21779 (java) R 21777 21779 21656 0 -1 0 34462 0 1 0 171328 122 0 0 25 0 8 0 156175145 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074192033 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21779/statm: 228969 34154 2537 14 0 215439 0
[pid=21779/tid=21781] ppid=21777 vsize=915876 CPUtime=0.62
/proc/21779/task/21781/stat : 21781 (java) S 21777 21779 21656 0 -1 64 17254 0 0 0 56 6 0 0 16 0 8 0 156175148 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21782] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21782/stat : 21782 (java) S 21777 21779 21656 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156175149 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21783] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21783/stat : 21783 (java) S 21777 21779 21656 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156175149 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21784] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21784/stat : 21784 (java) S 21777 21779 21656 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156175152 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21785] ppid=21777 vsize=915876 CPUtime=0.43
/proc/21779/task/21785/stat : 21785 (java) S 21777 21779 21656 0 -1 64 551 0 0 0 40 3 0 0 17 0 8 0 156175152 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21786] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21786/stat : 21786 (java) S 21777 21779 21656 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156175152 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21787] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21787/stat : 21787 (java) S 21777 21779 21656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156175152 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1714.5
Current children cumulated vsize (KiB) 915876

[startup+1783.36 s]
/proc/loadavg: 2.00 2.03 1.97 3/100 21847
/proc/meminfo: memFree=1456808/2055920 swapFree=4160348/4192956
[pid=21779] ppid=21777 vsize=915876 CPUtime=1773.97
/proc/21779/stat : 21779 (java) R 21777 21779 21656 0 -1 0 34462 0 1 0 177274 123 0 0 25 0 8 0 156175145 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074191991 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21779/statm: 228969 34154 2537 14 0 215439 0
[pid=21779/tid=21781] ppid=21777 vsize=915876 CPUtime=0.62
/proc/21779/task/21781/stat : 21781 (java) S 21777 21779 21656 0 -1 64 17254 0 0 0 56 6 0 0 16 0 8 0 156175148 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21782] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21782/stat : 21782 (java) S 21777 21779 21656 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156175149 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21783] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21783/stat : 21783 (java) S 21777 21779 21656 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156175149 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21784] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21784/stat : 21784 (java) S 21777 21779 21656 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156175152 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21785] ppid=21777 vsize=915876 CPUtime=0.43
/proc/21779/task/21785/stat : 21785 (java) S 21777 21779 21656 0 -1 64 551 0 0 0 40 3 0 0 17 0 8 0 156175152 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21786] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21786/stat : 21786 (java) S 21777 21779 21656 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156175152 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21787] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21787/stat : 21787 (java) R 21777 21779 21656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156175152 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1773.97
Current children cumulated vsize (KiB) 915876



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1809.7 s]
/proc/loadavg: 2.00 2.03 1.97 3/100 21847
/proc/meminfo: memFree=1456808/2055920 swapFree=4160348/4192956
[pid=21779] ppid=21777 vsize=915876 CPUtime=1800.07
/proc/21779/stat : 21779 (java) R 21777 21779 21656 0 -1 0 34462 0 1 0 179884 123 0 0 25 0 8 0 156175145 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074191931 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21779/statm: 228969 34154 2537 14 0 215439 0
[pid=21779/tid=21781] ppid=21777 vsize=915876 CPUtime=0.62
/proc/21779/task/21781/stat : 21781 (java) S 21777 21779 21656 0 -1 64 17254 0 0 0 56 6 0 0 16 0 8 0 156175148 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21782] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21782/stat : 21782 (java) S 21777 21779 21656 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156175149 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21783] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21783/stat : 21783 (java) S 21777 21779 21656 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156175149 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21784] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21784/stat : 21784 (java) S 21777 21779 21656 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156175152 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21785] ppid=21777 vsize=915876 CPUtime=0.43
/proc/21779/task/21785/stat : 21785 (java) S 21777 21779 21656 0 -1 64 551 0 0 0 40 3 0 0 17 0 8 0 156175152 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21786] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21786/stat : 21786 (java) S 21777 21779 21656 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156175152 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21787] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21787/stat : 21787 (java) S 21777 21779 21656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156175152 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 915876

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

Child status: 143
Real time (s): 1809.78
CPU time (s): 1800.14
CPU user time (s): 1798.89
CPU system time (s): 1.25481
CPU usage (%): 99.4678
Max. virtual memory (cumulated for all children) (KiB): 915876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.89
system time used= 1.25481
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34479
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= 38220
involuntary context switches= 92777

runsolver used 2.09068 s user time and 5.9281 s system time

The end

Launcher Data (download as text)

Begin job on node12 on Sat Jan  6 10:03:21 UTC 2007


IDJOB= 215055
IDBENCH= 4972
FILE ID= node12/215055-1168077801

PBS_JOBID= 3475824

Free space on /tmp= 66311 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/ii/ii-32c4.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/215055-1168077801/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node12/watcher-215055-1168077801 -o ROOT/results/node12/solver-215055-1168077801 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/215055-1168077801/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  f756a64a086b1e66d9d87aeff8d1d6e5

RANDOM SEED= 727100893

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.265
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.265
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1567808 kB
Buffers:         33160 kB
Cached:         264552 kB
SwapCached:       4684 kB
Active:         175036 kB
Inactive:       231904 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1567808 kB
SwapTotal:     4192956 kB
SwapFree:      4160348 kB
Dirty:            5292 kB
Writeback:           0 kB
Mapped:         128924 kB
Slab:            65964 kB
Committed_AS:  4758328 kB
PageTables:       2276 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= 66313 MiB



End job on node12 on Sat Jan  6 10:33:31 UTC 2007