Trace number 233994

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 ESAC? (TO) 1800.08 1817.07

General information on the benchmark

Nametaillard/
os-taillard-7/os-taillard-7-95-6.xml
MD5SUM019f8abe20a7cd1b8d6c7abc45fb5a20
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.106982
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables49
Number of constraints294
Maximum constraint arity2
Maximum domain size397
Number of constraints which are defined in extension0
Number of constraints which are defined in intension294
Global constraints used (with number of constraints)

Solver Data (download as text)

0.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=esac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/233994-1168329677/unknown.xml
0.36	   
0.36	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.41	     nbVariables=49  nbDomainTypes=49  minDomainSize=303  maxDomainSize=397
0.41	       =>  wckTime=0.118  cpuTime=0.1  mem=7M879
0.41	   
0.41	   predicates being loaded...
0.42	   
0.42	   constraints being loaded...
10.55	     nbConstraints=294  nbConvertedConstraints=294  nbConvertConstraintsChecks=35460617  nbExtensionStructures=294
10.55	     nbSharedExtensionStructures=0  nbConflictsStructures=294  nbSharedConflictsStructures=0
10.55	     nbSharedBinaryRepresentations=73513  maxDegree=12  maxArity=2
10.55	       =>  wckTime=10.259  cpuTime=10.04  mem=33M842
10.64	   
10.64	   solver IterativeSystematicSolver being built... 
10.80	       =>  wckTime=10.508  cpuTime=10.17  mem=25M874
10.88	   
10.88	   preprocessing
10.88	     nbConstraintChecks=1136337  nbPropagations=756  nbRevisions=1529  nbUselessRevisions=689  nbSingletonTests=56
10.88	     nbEffectiveSingletonTests=0  nbESACBranches=6  nbRemovedValues=0  detectedInconsistency=no
10.88	       =>  wckTime=0.073  cpuTime=0.07  mem=25M874
11.18	   
11.18	   search
11.18	     run=0  nbConstraintChecks=8899808  nbPropagations=2565  nbRevisions=11233  nbUselessRevisions=4917
11.18	     nbAssignments=480  nbFailedAssignments=468  nbBacktracks=10  nbVisitedNodes=959  nbRestartNogoods=0  mapSize=10
11.18	     nbInferences=0  nbTooLargeKeys=0
11.18	       =>  wckTime=0.37  cpuTime=0.35  mem=25M874
11.74	   
11.74	   search
11.74	     run=1  nbConstraintChecks=31104744  nbPropagations=11890  nbRevisions=48665  nbUselessRevisions=21571
11.74	     nbAssignments=1578  nbFailedAssignments=1549  nbBacktracks=25  nbVisitedNodes=3153  nbRestartNogoods=10  mapSize=25
11.74	     nbInferences=0  nbTooLargeKeys=0
11.74	       =>  wckTime=0.933  cpuTime=0.88  mem=25M874
12.44	   
12.44	   search
12.44	     run=2  nbConstraintChecks=60667897  nbPropagations=31785  nbRevisions=124730  nbUselessRevisions=55212
12.44	     nbAssignments=3032  nbFailedAssignments=2979  nbBacktracks=47  nbVisitedNodes=6059  nbRestartNogoods=25  mapSize=47
12.44	     nbInferences=0  nbTooLargeKeys=0
12.44	       =>  wckTime=1.632  cpuTime=1.56  mem=25M874
13.12	   
13.12	   search
13.12	     run=3  nbConstraintChecks=85971401  nbPropagations=59088  nbRevisions=238109  nbUselessRevisions=105701
13.12	     nbAssignments=4754  nbFailedAssignments=4666  nbBacktracks=80  nbVisitedNodes=9501  nbRestartNogoods=47  mapSize=80
13.12	     nbInferences=0  nbTooLargeKeys=0
13.12	       =>  wckTime=2.311  cpuTime=2.22  mem=26M826
14.94	   
14.94	   search
14.94	     run=4  nbConstraintChecks=166604043  nbPropagations=114552  nbRevisions=450346  nbUselessRevisions=200819
14.94	     nbAssignments=8520  nbFailedAssignments=8280  nbBacktracks=130  nbVisitedNodes=16831  nbRestartNogoods=105
14.94	     mapSize=130  nbInferences=0  nbTooLargeKeys=0
14.94	       =>  wckTime=4.129  cpuTime=4.02  mem=26M826
16.17	   
16.17	   search
16.17	     run=5  nbConstraintChecks=222728011  nbPropagations=191772  nbRevisions=738618  nbUselessRevisions=329343
16.17	     nbAssignments=11047  nbFailedAssignments=10731  nbBacktracks=205  nbVisitedNodes=21884  nbRestartNogoods=155
16.17	     mapSize=205  nbInferences=0  nbTooLargeKeys=0
16.17	       =>  wckTime=5.369  cpuTime=5.25  mem=26M826
18.06	   
18.06	   search
18.06	     run=6  nbConstraintChecks=300415222  nbPropagations=289932  nbRevisions=1129456  nbUselessRevisions=504543
18.06	     nbAssignments=15756  nbFailedAssignments=15325  nbBacktracks=318  nbVisitedNodes=31299  nbRestartNogoods=156
18.06	     mapSize=318  nbInferences=0  nbTooLargeKeys=0
18.06	       =>  wckTime=7.25  cpuTime=7.12  mem=26M826
22.52	   
22.52	   search
22.52	     run=7  nbConstraintChecks=489712306  nbPropagations=462541  nbRevisions=1782250  nbUselessRevisions=795813
22.52	     nbAssignments=25368  nbFailedAssignments=24765  nbBacktracks=488  nbVisitedNodes=50521  nbRestartNogoods=185
22.52	     mapSize=488  nbInferences=0  nbTooLargeKeys=0
22.52	       =>  wckTime=11.715  cpuTime=11.52  mem=26M826
26.14	   
26.14	   search
26.14	     run=8  nbConstraintChecks=649372064  nbPropagations=685337  nbRevisions=2641593  nbUselessRevisions=1181967
26.14	     nbAssignments=33544  nbFailedAssignments=32683  nbBacktracks=744  nbVisitedNodes=66870  nbRestartNogoods=261
26.14	     mapSize=744  nbInferences=0  nbTooLargeKeys=0
26.14	       =>  wckTime=15.333  cpuTime=15.1  mem=27M777
32.00	   
32.00	   INFO : Stopping hyperNogood (mapSize=1049, nbTooLargekeys=0, mem=27M777)
32.97	   
32.97	   search
32.97	     run=9  nbConstraintChecks=943596407  nbPropagations=1026146  nbRevisions=3898265  nbUselessRevisions=1740336
32.97	     nbAssignments=47657  nbFailedAssignments=46410  nbBacktracks=1128  nbVisitedNodes=95094  nbRestartNogoods=276
32.97	       =>  wckTime=22.164  cpuTime=21.86  mem=27M777
42.54	   
42.54	   search
42.54	     run=10  nbConstraintChecks=1340129626  nbPropagations=1531367  nbRevisions=5720779  nbUselessRevisions=2552295
42.54	     nbAssignments=68373  nbFailedAssignments=66548  nbBacktracks=1704  nbVisitedNodes=136523  nbRestartNogoods=321
42.54	       =>  wckTime=31.73  cpuTime=31.33  mem=27M777
52.12	   
52.12	   search
52.12	     run=11  nbConstraintChecks=1736197552  nbPropagations=2160586  nbRevisions=8089335  nbUselessRevisions=3610607
52.12	     nbAssignments=90680  nbFailedAssignments=87989  nbBacktracks=2568  nbVisitedNodes=181135  nbRestartNogoods=352
52.12	       =>  wckTime=41.312  cpuTime=40.81  mem=27M777
70.79	   
70.79	   search
70.79	     run=12  nbConstraintChecks=2522069217  nbPropagations=3108056  nbRevisions=11545430  nbUselessRevisions=5141104
70.79	     nbAssignments=130155  nbFailedAssignments=125737  nbBacktracks=3865  nbVisitedNodes=259227  nbRestartNogoods=536
70.79	       =>  wckTime=59.98  cpuTime=59.29  mem=27M777
91.93	   
91.93	   search
91.93	     run=13  nbConstraintChecks=3423248606  nbPropagations=4369814  nbRevisions=16294979  nbUselessRevisions=7254888
91.93	     nbAssignments=179389  nbFailedAssignments=172891  nbBacktracks=5811  nbVisitedNodes=357428  nbRestartNogoods=664
91.93	       =>  wckTime=81.121  cpuTime=80.21  mem=27M777
134.53	   
134.53	   search
134.53	     run=14  nbConstraintChecks=5131050526  nbPropagations=6390973  nbRevisions=23630252  nbUselessRevisions=10516624
134.53	     nbAssignments=274449  nbFailedAssignments=264946  nbBacktracks=8730  nbVisitedNodes=547374  nbRestartNogoods=816
134.53	       =>  wckTime=123.722  cpuTime=122.42  mem=27M777
182.47	   
182.47	   search
182.47	     run=15  nbConstraintChecks=7289362110  nbPropagations=9274214  nbRevisions=33917300  nbUselessRevisions=15051918
182.47	     nbAssignments=372683  nbFailedAssignments=358469  nbBacktracks=13108  nbVisitedNodes=743156  nbRestartNogoods=1015
182.47	       =>  wckTime=171.662  cpuTime=169.92  mem=27M777
259.46	   
259.46	   search
259.46	     run=16  nbConstraintChecks=10651286274  nbPropagations=13545265  nbRevisions=48868803  nbUselessRevisions=21633346
259.46	     nbAssignments=539860  nbFailedAssignments=518897  nbBacktracks=19676  nbVisitedNodes=1077125  nbRestartNogoods=1134
259.46	       =>  wckTime=248.659  cpuTime=246.21  mem=27M777
352.95	   
352.95	   search
352.95	     run=17  nbConstraintChecks=14842842444  nbPropagations=19414677  nbRevisions=69755181  nbUselessRevisions=30888329
352.95	     nbAssignments=742026  nbFailedAssignments=711029  nbBacktracks=29528  nbVisitedNodes=1481057  nbRestartNogoods=1379
352.95	       =>  wckTime=342.141  cpuTime=338.84  mem=27M777
536.31	   
536.31	   search
536.31	     run=18  nbConstraintChecks=22911090537  nbPropagations=28603452  nbRevisions=101914921  nbUselessRevisions=45108178
536.31	     nbAssignments=1134305  nbFailedAssignments=1088308  nbBacktracks=44306  nbVisitedNodes=2265100
536.31	     nbRestartNogoods=1611
536.31	       =>  wckTime=525.506  cpuTime=520.53  mem=27M777
794.39	   
794.39	   search
794.39	     run=19  nbConstraintChecks=34010742903  nbPropagations=42550874  nbRevisions=150762778  nbUselessRevisions=66794636
794.39	     nbAssignments=1715050  nbFailedAssignments=1646843  nbBacktracks=66474  nbVisitedNodes=3426413
794.39	     nbRestartNogoods=1878
794.39	       =>  wckTime=783.585  cpuTime=776.25  mem=27M777
1176.36	   
1176.36	   search
1176.36	     run=20  nbConstraintChecks=50892440593  nbPropagations=63458438  nbRevisions=223230645  nbUselessRevisions=98814571
1176.36	     nbAssignments=2520270  nbFailedAssignments=2418809  nbBacktracks=99726  nbVisitedNodes=5036696
1176.36	     nbRestartNogoods=1907
1176.36	       =>  wckTime=1165.555  cpuTime=1154.74  mem=27M777
1715.99	   
1715.99	   search
1715.99	     run=21  nbConstraintChecks=74109928392  nbPropagations=94409860  nbRevisions=330138311
1715.99	     nbUselessRevisions=146014894  nbAssignments=3704484  nbFailedAssignments=3553143  nbBacktracks=149604
1715.99	     nbVisitedNodes=7404873  nbRestartNogoods=2133
1715.99	       =>  wckTime=1705.181  cpuTime=1689.42  mem=27M777

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/node9/watcher-233994-1168329677 -o ROOT/results/node9/solver-233994-1168329677 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/233994-1168329677/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.98 2.04 2.04 4/100 8174
/proc/meminfo: memFree=1522312/2055920 swapFree=4191880/4192956
[pid=8173] ppid=8171 vsize=292 CPUtime=0
/proc/8173/stat : 8173 (java) R 8171 8173 7654 0 -1 0 225 0 0 0 0 0 0 0 18 0 1 0 181362813 299008 32 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 8665741 0 0 4096 0 0 0 0 17 0 0 0
/proc/8173/statm: 73 35 27 14 0 5 0

[startup+0.108057 s]
/proc/loadavg: 1.98 2.04 2.04 4/100 8174
/proc/meminfo: memFree=1522312/2055920 swapFree=4191880/4192956
[pid=8173] ppid=8171 vsize=914988 CPUtime=0.09
/proc/8173/stat : 8173 (java) R 8171 8173 7654 0 -1 0 3074 0 1 0 7 2 0 0 24 0 8 0 181362813 936947712 2820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8173/statm: 228747 2820 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.516112 s]
/proc/loadavg: 1.98 2.04 2.04 4/100 8174
/proc/meminfo: memFree=1522312/2055920 swapFree=4191880/4192956
[pid=8173] ppid=8171 vsize=915328 CPUtime=0.49
/proc/8173/stat : 8173 (java) R 8171 8173 7654 0 -1 0 6799 0 1 0 44 5 0 0 18 0 8 0 181362813 937295872 6538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 9123622 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8173/statm: 228832 6538 2152 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.3382 s]
/proc/loadavg: 1.98 2.04 2.04 3/107 8189
/proc/meminfo: memFree=1502800/2055920 swapFree=4191880/4192956
[pid=8173] ppid=8171 vsize=915460 CPUtime=1.3
/proc/8173/stat : 8173 (java) R 8171 8173 7654 0 -1 0 7413 0 1 0 125 5 0 0 25 0 8 0 181362813 937431040 7151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073643200 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8173/statm: 228865 7151 2167 14 0 215335 0
[pid=8173/tid=8175] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8175/stat : 8175 (java) S 8171 8173 7654 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 181362817 937431040 7151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8173/tid=8176] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8176/stat : 8176 (java) S 8171 8173 7654 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 181362817 937431040 7151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8173/tid=8177] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8177/stat : 8177 (java) S 8171 8173 7654 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 181362817 937431040 7151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8173/tid=8178] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8178/stat : 8178 (java) S 8171 8173 7654 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 181362820 937431040 7151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8173/tid=8179] ppid=8171 vsize=915460 CPUtime=0.09
/proc/8173/task/8179/stat : 8179 (java) S 8171 8173 7654 0 -1 64 322 0 0 0 9 0 0 0 16 0 8 0 181362820 937431040 7151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8173/tid=8180] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8180/stat : 8180 (java) S 8171 8173 7654 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 181362820 937431040 7151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8173/tid=8181] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8181/stat : 8181 (java) S 8171 8173 7654 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181362820 937431040 7151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460

[startup+2.98939 s]
/proc/loadavg: 1.98 2.04 2.04 3/107 8189
/proc/meminfo: memFree=1499792/2055920 swapFree=4191880/4192956
[pid=8173] ppid=8171 vsize=915460 CPUtime=2.93
/proc/8173/stat : 8173 (java) R 8171 8173 7654 0 -1 0 8385 0 1 0 288 5 0 0 25 0 8 0 181362813 937431040 8123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073643944 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8173/statm: 228865 8123 2167 14 0 215335 0
[pid=8173/tid=8175] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8175/stat : 8175 (java) S 8171 8173 7654 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 181362817 937431040 8123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8173/tid=8176] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8176/stat : 8176 (java) S 8171 8173 7654 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 181362817 937431040 8123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8173/tid=8177] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8177/stat : 8177 (java) S 8171 8173 7654 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 181362817 937431040 8123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8173/tid=8178] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8178/stat : 8178 (java) S 8171 8173 7654 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 181362820 937431040 8123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8173/tid=8179] ppid=8171 vsize=915460 CPUtime=0.1
/proc/8173/task/8179/stat : 8179 (java) S 8171 8173 7654 0 -1 64 325 0 0 0 10 0 0 0 16 0 8 0 181362820 937431040 8123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8173/tid=8180] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8180/stat : 8180 (java) S 8171 8173 7654 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 181362820 937431040 8123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8173/tid=8181] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8181/stat : 8181 (java) S 8171 8173 7654 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181362820 937431040 8123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915460

[startup+6.28876 s]
/proc/loadavg: 1.98 2.03 2.04 3/107 8191
/proc/meminfo: memFree=1491664/2055920 swapFree=4191880/4192956
[pid=8173] ppid=8171 vsize=915460 CPUtime=6.2
/proc/8173/stat : 8173 (java) R 8171 8173 7654 0 -1 0 10336 0 1 0 613 7 0 0 25 0 8 0 181362813 937431040 10074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073640869 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8173/statm: 228865 10074 2168 14 0 215335 0
[pid=8173/tid=8175] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8175/stat : 8175 (java) S 8171 8173 7654 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 181362817 937431040 10074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8173/tid=8176] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8176/stat : 8176 (java) S 8171 8173 7654 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 181362817 937431040 10074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8173/tid=8177] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8177/stat : 8177 (java) S 8171 8173 7654 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 181362817 937431040 10074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8173/tid=8178] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8178/stat : 8178 (java) S 8171 8173 7654 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 181362820 937431040 10074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8173/tid=8179] ppid=8171 vsize=915460 CPUtime=0.11
/proc/8173/task/8179/stat : 8179 (java) S 8171 8173 7654 0 -1 64 336 0 0 0 11 0 0 0 16 0 8 0 181362820 937431040 10074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8173/tid=8180] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8180/stat : 8180 (java) S 8171 8173 7654 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 181362820 937431040 10074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8173/tid=8181] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8181/stat : 8181 (java) S 8171 8173 7654 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181362820 937431040 10074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915460

[startup+12.7745 s]
/proc/loadavg: 1.99 2.03 2.04 3/107 8215
/proc/meminfo: memFree=1467984/2055920 swapFree=4191880/4192956
[pid=8173] ppid=8171 vsize=915460 CPUtime=12.6
/proc/8173/stat : 8173 (java) R 8171 8173 7654 0 -1 0 16301 0 1 0 1250 10 0 0 25 0 8 0 181362813 937431040 16036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073819889 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8173/statm: 228865 16036 2542 14 0 215335 0
[pid=8173/tid=8175] ppid=8171 vsize=915460 CPUtime=0.06
/proc/8173/task/8175/stat : 8175 (java) S 8171 8173 7654 0 -1 64 2982 0 0 0 6 0 0 0 17 0 8 0 181362817 937431040 16036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8173/tid=8176] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8176/stat : 8176 (java) S 8171 8173 7654 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181362817 937431040 16036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8173/tid=8177] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8177/stat : 8177 (java) S 8171 8173 7654 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181362817 937431040 16036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8173/tid=8178] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8178/stat : 8178 (java) S 8171 8173 7654 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 181362820 937431040 16036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8173/tid=8179] ppid=8171 vsize=915460 CPUtime=0.22
/proc/8173/task/8179/stat : 8179 (java) S 8171 8173 7654 0 -1 64 393 0 0 0 22 0 0 0 15 0 8 0 181362820 937431040 16036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8173/tid=8180] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8180/stat : 8180 (java) S 8171 8173 7654 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 181362820 937431040 16036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8173/tid=8181] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8181/stat : 8181 (java) S 8171 8173 7654 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181362820 937431040 16036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915460

[startup+25.63 s]
/proc/loadavg: 1.99 2.03 2.04 3/107 8245
/proc/meminfo: memFree=1468048/2055920 swapFree=4191880/4192956
[pid=8173] ppid=8171 vsize=915460 CPUtime=25.31
/proc/8173/stat : 8173 (java) R 8171 8173 7654 0 -1 0 16307 0 1 0 2521 10 0 0 25 0 8 0 181362813 937431040 16039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073819956 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8173/statm: 228865 16039 2542 14 0 215335 0
[pid=8173/tid=8175] ppid=8171 vsize=915460 CPUtime=0.06
/proc/8173/task/8175/stat : 8175 (java) S 8171 8173 7654 0 -1 64 2982 0 0 0 6 0 0 0 16 0 8 0 181362817 937431040 16039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8173/tid=8176] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8176/stat : 8176 (java) S 8171 8173 7654 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181362817 937431040 16039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8173/tid=8177] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8177/stat : 8177 (java) S 8171 8173 7654 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181362817 937431040 16039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8173/tid=8178] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8178/stat : 8178 (java) S 8171 8173 7654 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 181362820 937431040 16039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8173/tid=8179] ppid=8171 vsize=915460 CPUtime=0.23
/proc/8173/task/8179/stat : 8179 (java) S 8171 8173 7654 0 -1 64 396 0 0 0 23 0 0 0 16 0 8 0 181362820 937431040 16039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8173/tid=8180] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8180/stat : 8180 (java) S 8171 8173 7654 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 181362820 937431040 16039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8173/tid=8181] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8181/stat : 8181 (java) S 8171 8173 7654 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181362820 937431040 16039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 915460

[startup+51.2549 s]
/proc/loadavg: 1.99 2.03 2.04 3/107 8263
/proc/meminfo: memFree=1467992/2055920 swapFree=4191880/4192956
[pid=8173] ppid=8171 vsize=915460 CPUtime=50.69
/proc/8173/stat : 8173 (java) R 8171 8173 7654 0 -1 0 16310 0 1 0 5058 11 0 0 25 0 8 0 181362813 937431040 16042 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815646 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8173/statm: 228865 16042 2542 14 0 215335 0
[pid=8173/tid=8175] ppid=8171 vsize=915460 CPUtime=0.06
/proc/8173/task/8175/stat : 8175 (java) S 8171 8173 7654 0 -1 64 2982 0 0 0 6 0 0 0 16 0 8 0 181362817 937431040 16042 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8173/tid=8176] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8176/stat : 8176 (java) S 8171 8173 7654 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181362817 937431040 16042 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8173/tid=8177] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8177/stat : 8177 (java) S 8171 8173 7654 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181362817 937431040 16042 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8173/tid=8178] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8178/stat : 8178 (java) S 8171 8173 7654 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 181362820 937431040 16042 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8173/tid=8179] ppid=8171 vsize=915460 CPUtime=0.23
/proc/8173/task/8179/stat : 8179 (java) S 8171 8173 7654 0 -1 64 399 0 0 0 23 0 0 0 15 0 8 0 181362820 937431040 16042 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8173/tid=8180] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8180/stat : 8180 (java) S 8171 8173 7654 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 181362820 937431040 16042 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8173/tid=8181] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8181/stat : 8181 (java) S 8171 8173 7654 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181362820 937431040 16042 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 915460

[startup+102.493 s]
/proc/loadavg: 2.06 2.04 2.04 4/101 8304
/proc/meminfo: memFree=1469136/2055920 swapFree=4191880/4192956
[pid=8173] ppid=8171 vsize=915460 CPUtime=101.41
/proc/8173/stat : 8173 (java) R 8171 8173 7654 0 -1 0 16311 0 1 0 10130 11 0 0 25 0 8 0 181362813 937431040 16043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336175 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8173/statm: 228865 16043 2542 14 0 215335 0
[pid=8173/tid=8175] ppid=8171 vsize=915460 CPUtime=0.06
/proc/8173/task/8175/stat : 8175 (java) S 8171 8173 7654 0 -1 64 2982 0 0 0 6 0 0 0 16 0 8 0 181362817 937431040 16043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8173/tid=8176] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8176/stat : 8176 (java) S 8171 8173 7654 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181362817 937431040 16043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8173/tid=8177] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8177/stat : 8177 (java) S 8171 8173 7654 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181362817 937431040 16043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8173/tid=8178] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8178/stat : 8178 (java) S 8171 8173 7654 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 181362820 937431040 16043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8173/tid=8179] ppid=8171 vsize=915460 CPUtime=0.24
/proc/8173/task/8179/stat : 8179 (java) S 8171 8173 7654 0 -1 64 400 0 0 0 24 0 0 0 16 0 8 0 181362820 937431040 16043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8173/tid=8180] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8180/stat : 8180 (java) S 8171 8173 7654 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 181362820 937431040 16043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8173/tid=8181] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8181/stat : 8181 (java) S 8171 8173 7654 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181362820 937431040 16043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.41
Current children cumulated vsize (KiB) 915460

[startup+162.563 s]
/proc/loadavg: 2.02 2.03 2.03 3/101 8304
/proc/meminfo: memFree=1469136/2055920 swapFree=4191880/4192956
[pid=8173] ppid=8171 vsize=915460 CPUtime=160.93
/proc/8173/stat : 8173 (java) R 8171 8173 7654 0 -1 0 16313 0 1 0 16082 11 0 0 25 0 8 0 181362813 937431040 16045 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833310 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1410.8
Current children cumulated vsize (KiB) 915460

[startup+1484.01 s]
/proc/loadavg: 2.01 2.01 2.00 3/101 8306
/proc/meminfo: memFree=1468880/2055920 swapFree=4191880/4192956
[pid=8173] ppid=8171 vsize=915460 CPUtime=1470.47
/proc/8173/stat : 8173 (java) R 8171 8173 7654 0 -1 0 16317 0 1 0 147026 21 0 0 25 0 8 0 181362813 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073826471 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8173/statm: 228865 16046 2542 14 0 215335 0
[pid=8173/tid=8175] ppid=8171 vsize=915460 CPUtime=0.06
/proc/8173/task/8175/stat : 8175 (java) S 8171 8173 7654 0 -1 64 2982 0 0 0 6 0 0 0 16 0 8 0 181362817 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8173/tid=8176] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8176/stat : 8176 (java) S 8171 8173 7654 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181362817 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8173/tid=8177] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8177/stat : 8177 (java) S 8171 8173 7654 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181362817 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8173/tid=8178] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8178/stat : 8178 (java) S 8171 8173 7654 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 181362820 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8173/tid=8179] ppid=8171 vsize=915460 CPUtime=0.24
/proc/8173/task/8179/stat : 8179 (java) S 8171 8173 7654 0 -1 64 403 0 0 0 24 0 0 0 16 0 8 0 181362820 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8173/tid=8180] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8180/stat : 8180 (java) S 8171 8173 7654 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 181362820 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8173/tid=8181] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8181/stat : 8181 (java) S 8171 8173 7654 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181362820 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1470.47
Current children cumulated vsize (KiB) 915460

[startup+1544.08 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 8306
/proc/meminfo: memFree=1468880/2055920 swapFree=4191880/4192956
[pid=8173] ppid=8171 vsize=915460 CPUtime=1530.26
/proc/8173/stat : 8173 (java) R 8171 8173 7654 0 -1 0 16317 0 1 0 153005 21 0 0 25 0 8 0 181362813 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815646 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8173/statm: 228865 16046 2542 14 0 215335 0
[pid=8173/tid=8175] ppid=8171 vsize=915460 CPUtime=0.06
/proc/8173/task/8175/stat : 8175 (java) S 8171 8173 7654 0 -1 64 2982 0 0 0 6 0 0 0 16 0 8 0 181362817 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8173/tid=8176] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8176/stat : 8176 (java) S 8171 8173 7654 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181362817 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8173/tid=8177] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8177/stat : 8177 (java) S 8171 8173 7654 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181362817 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8173/tid=8178] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8178/stat : 8178 (java) S 8171 8173 7654 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 181362820 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8173/tid=8179] ppid=8171 vsize=915460 CPUtime=0.24
/proc/8173/task/8179/stat : 8179 (java) S 8171 8173 7654 0 -1 64 403 0 0 0 24 0 0 0 16 0 8 0 181362820 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8173/tid=8180] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8180/stat : 8180 (java) S 8171 8173 7654 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 181362820 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8173/tid=8181] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8181/stat : 8181 (java) S 8171 8173 7654 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181362820 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1530.26
Current children cumulated vsize (KiB) 915460

[startup+1604.16 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 8306
/proc/meminfo: memFree=1468816/2055920 swapFree=4191880/4192956
[pid=8173] ppid=8171 vsize=915460 CPUtime=1590.05
/proc/8173/stat : 8173 (java) R 8171 8173 7654 0 -1 0 16317 0 1 0 158983 22 0 0 25 0 8 0 181362813 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815499 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8173/statm: 228865 16046 2542 14 0 215335 0
[pid=8173/tid=8175] ppid=8171 vsize=915460 CPUtime=0.06
/proc/8173/task/8175/stat : 8175 (java) S 8171 8173 7654 0 -1 64 2982 0 0 0 6 0 0 0 16 0 8 0 181362817 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8173/tid=8176] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8176/stat : 8176 (java) S 8171 8173 7654 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181362817 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8173/tid=8177] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8177/stat : 8177 (java) S 8171 8173 7654 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181362817 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8173/tid=8178] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8178/stat : 8178 (java) S 8171 8173 7654 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 181362820 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8173/tid=8179] ppid=8171 vsize=915460 CPUtime=0.24
/proc/8173/task/8179/stat : 8179 (java) S 8171 8173 7654 0 -1 64 403 0 0 0 24 0 0 0 16 0 8 0 181362820 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8173/tid=8180] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8180/stat : 8180 (java) S 8171 8173 7654 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 181362820 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8173/tid=8181] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8181/stat : 8181 (java) S 8171 8173 7654 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181362820 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1590.05
Current children cumulated vsize (KiB) 915460

[startup+1664.24 s]
/proc/loadavg: 2.01 2.00 2.00 3/101 8379
/proc/meminfo: memFree=821848/2055920 swapFree=4191880/4192956
[pid=8173] ppid=8171 vsize=915460 CPUtime=1649.89
/proc/8173/stat : 8173 (java) R 8171 8173 7654 0 -1 0 16317 0 1 0 164966 23 0 0 25 0 8 0 181362813 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073820025 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8173/statm: 228865 16046 2542 14 0 215335 0
[pid=8173/tid=8175] ppid=8171 vsize=915460 CPUtime=0.06
/proc/8173/task/8175/stat : 8175 (java) S 8171 8173 7654 0 -1 64 2982 0 0 0 6 0 0 0 16 0 8 0 181362817 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8173/tid=8176] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8176/stat : 8176 (java) S 8171 8173 7654 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181362817 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8173/tid=8177] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8177/stat : 8177 (java) S 8171 8173 7654 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181362817 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8173/tid=8178] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8178/stat : 8178 (java) S 8171 8173 7654 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 181362820 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8173/tid=8179] ppid=8171 vsize=915460 CPUtime=0.24
/proc/8173/task/8179/stat : 8179 (java) S 8171 8173 7654 0 -1 64 403 0 0 0 24 0 0 0 16 0 8 0 181362820 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8173/tid=8180] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8180/stat : 8180 (java) S 8171 8173 7654 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 181362820 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8173/tid=8181] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8181/stat : 8181 (java) S 8171 8173 7654 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181362820 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1649.89
Current children cumulated vsize (KiB) 915460

[startup+1724.32 s]
/proc/loadavg: 2.25 2.07 2.02 3/104 8465
/proc/meminfo: memFree=777024/2055920 swapFree=4191880/4192956
[pid=8173] ppid=8171 vsize=915460 CPUtime=1707.94
/proc/8173/stat : 8173 (java) R 8171 8173 7654 0 -1 0 16317 0 1 0 170770 24 0 0 25 0 8 0 181362813 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918535 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8173/statm: 228865 16046 2542 14 0 215335 0
[pid=8173/tid=8175] ppid=8171 vsize=915460 CPUtime=0.06
/proc/8173/task/8175/stat : 8175 (java) S 8171 8173 7654 0 -1 64 2982 0 0 0 6 0 0 0 16 0 8 0 181362817 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8173/tid=8176] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8176/stat : 8176 (java) S 8171 8173 7654 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181362817 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8173/tid=8177] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8177/stat : 8177 (java) S 8171 8173 7654 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181362817 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8173/tid=8178] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8178/stat : 8178 (java) S 8171 8173 7654 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 181362820 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8173/tid=8179] ppid=8171 vsize=915460 CPUtime=0.24
/proc/8173/task/8179/stat : 8179 (java) S 8171 8173 7654 0 -1 64 403 0 0 0 24 0 0 0 16 0 8 0 181362820 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8173/tid=8180] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8180/stat : 8180 (java) S 8171 8173 7654 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 181362820 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8173/tid=8181] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8181/stat : 8181 (java) S 8171 8173 7654 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181362820 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1707.94
Current children cumulated vsize (KiB) 915460

[startup+1784.39 s]
/proc/loadavg: 2.28 2.12 2.04 4/101 8609
/proc/meminfo: memFree=1342800/2055920 swapFree=4191880/4192956
[pid=8173] ppid=8171 vsize=915460 CPUtime=1767.51
/proc/8173/stat : 8173 (java) R 8171 8173 7654 0 -1 0 16317 0 1 0 176725 26 0 0 25 0 8 0 181362813 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815638 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8173/statm: 228865 16046 2542 14 0 215335 0
[pid=8173/tid=8175] ppid=8171 vsize=915460 CPUtime=0.06
/proc/8173/task/8175/stat : 8175 (java) S 8171 8173 7654 0 -1 64 2982 0 0 0 6 0 0 0 16 0 8 0 181362817 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8173/tid=8176] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8176/stat : 8176 (java) S 8171 8173 7654 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181362817 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8173/tid=8177] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8177/stat : 8177 (java) S 8171 8173 7654 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181362817 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8173/tid=8178] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8178/stat : 8178 (java) S 8171 8173 7654 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 181362820 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8173/tid=8179] ppid=8171 vsize=915460 CPUtime=0.24
/proc/8173/task/8179/stat : 8179 (java) S 8171 8173 7654 0 -1 64 403 0 0 0 24 0 0 0 16 0 8 0 181362820 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8173/tid=8180] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8180/stat : 8180 (java) S 8171 8173 7654 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 181362820 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8173/tid=8181] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8181/stat : 8181 (java) S 8171 8173 7654 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181362820 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1767.51
Current children cumulated vsize (KiB) 915460



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1817.02 s]
/proc/loadavg: 2.26 2.13 2.05 3/94 9289
/proc/meminfo: memFree=1433736/2055920 swapFree=4191880/4192956
[pid=8173] ppid=8171 vsize=915460 CPUtime=1800.03
/proc/8173/stat : 8173 (java) R 8171 8173 7654 0 -1 0 16317 0 1 0 179974 29 0 0 25 0 8 0 181362813 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073844302 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8173/statm: 228865 16046 2542 14 0 215335 0
[pid=8173/tid=8175] ppid=8171 vsize=915460 CPUtime=0.06
/proc/8173/task/8175/stat : 8175 (java) S 8171 8173 7654 0 -1 64 2982 0 0 0 6 0 0 0 16 0 8 0 181362817 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8173/tid=8176] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8176/stat : 8176 (java) S 8171 8173 7654 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181362817 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8173/tid=8177] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8177/stat : 8177 (java) S 8171 8173 7654 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181362817 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8173/tid=8178] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8178/stat : 8178 (java) S 8171 8173 7654 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 181362820 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8173/tid=8179] ppid=8171 vsize=915460 CPUtime=0.24
/proc/8173/task/8179/stat : 8179 (java) S 8171 8173 7654 0 -1 64 403 0 0 0 24 0 0 0 16 0 8 0 181362820 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8173/tid=8180] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8180/stat : 8180 (java) S 8171 8173 7654 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 181362820 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8173/tid=8181] ppid=8171 vsize=915460 CPUtime=0
/proc/8173/task/8181/stat : 8181 (java) S 8171 8173 7654 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181362820 937431040 16046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 915460

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

Child status: 143
Real time (s): 1817.07
CPU time (s): 1800.08
CPU user time (s): 1799.78
CPU system time (s): 0.302953
CPU usage (%): 99.0654
Max. virtual memory (cumulated for all children) (KiB): 915464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.78
system time used= 0.302953
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16334
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= 38026
involuntary context switches= 71111

runsolver used 2.29665 s user time and 5.86511 s system time

The end

Launcher Data (download as text)

Begin job on node9 on Tue Jan  9 08:01:17 UTC 2007


IDJOB= 233994
IDBENCH= 6651
FILE ID= node9/233994-1168329677

PBS_JOBID= 3503021

Free space on /tmp= 66547 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  019f8abe20a7cd1b8d6c7abc45fb5a20

RANDOM SEED= 767384205

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.231
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.231
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:       1522792 kB
Buffers:         57428 kB
Cached:         330712 kB
SwapCached:        276 kB
Active:         260056 kB
Inactive:       212696 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1522792 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            1828 kB
Writeback:           0 kB
Mapped:         104568 kB
Slab:            44632 kB
Committed_AS:  5380840 kB
PageTables:       2672 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= 66528 MiB



End job on node9 on Tue Jan  9 08:31:34 UTC 2007