Trace number 233940

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.11 1808.42

General information on the benchmark

Nametaillard/
os-taillard-7/os-taillard-7-95-1.xml
MD5SUM4dd004eecb811c39e57feffe610d471a
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.051991
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables49
Number of constraints294
Maximum constraint arity2
Maximum domain size419
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.38	   
0.38	Abscon 109 (November, 2006)
0.38	   
0.38	   configuration
0.38	     name=mac.xml
0.42	   
0.42	   instance
0.42	     name=/tmp/evaluation/233940-1168081415/unknown.xml
0.45	   
0.45	   domains being loaded...
0.46	   
0.46	   variables being loaded...
0.50	     nbVariables=49  nbDomainTypes=49  minDomainSize=325  maxDomainSize=419
0.50	       =>  wckTime=0.114  cpuTime=0.1  mem=7M881
0.50	   
0.50	   predicates being loaded...
0.50	   
0.50	   constraints being loaded...
4.45	   
4.45	   INFO : Stopping converting binary constraints (cpu=4.02, mem = 19M601)
4.52	     nbConstraints=294  nbConvertedConstraints=103  nbConvertConstraintsChecks=13672383  nbExtensionStructures=103
4.52	     nbSharedExtensionStructures=0  nbConflictsStructures=103  nbSharedConflictsStructures=0
4.52	     nbSharedBinaryRepresentations=24093  nbEvaluationManagers=191  nbSharedEvaluationManagers=0  maxDegree=12
4.52	     maxArity=2
4.52	       =>  wckTime=4.13  cpuTime=4.02  mem=20M576
4.57	   
4.57	   solver IterativeSystematicSolver being built... 
4.74	       =>  wckTime=4.352  cpuTime=4.15  mem=20M708
5.46	   
5.46	   preprocessing
5.46	     nbConstraintChecks=1857355  nbValidityChecks=13742  nbPropagations=49  nbRevisions=382  nbUselessRevisions=382
5.46	     nbRemovedValues=0  detectedInconsistency=no
5.46	       =>  wckTime=0.721  cpuTime=0.7  mem=20M708
7.09	   
7.09	   search
7.09	     run=0  nbConstraintChecks=6318082  nbValidityChecks=1199268  nbPropagations=814  nbRevisions=7907
7.09	     nbUselessRevisions=4762  nbAssignments=137  nbFailedAssignments=125  nbBacktracks=10  nbVisitedNodes=273
7.09	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
7.09	       =>  wckTime=2.351  cpuTime=2.29  mem=20M708
20.93	   
20.93	   search
20.93	     run=1  nbConstraintChecks=80063137  nbValidityChecks=13171051  nbPropagations=12930  nbRevisions=105123
20.93	     nbUselessRevisions=58872  nbAssignments=2187  nbFailedAssignments=2158  nbBacktracks=25  nbVisitedNodes=4371
20.93	     nbRestartNogoods=77  mapSize=25  nbInferences=0  nbTooLargeKeys=0
20.93	       =>  wckTime=16.188  cpuTime=16.03  mem=20M708
23.41	   
23.41	   search
23.41	     run=2  nbConstraintChecks=90461495  nbValidityChecks=19522559  nbPropagations=28528  nbRevisions=233810
23.41	     nbUselessRevisions=134424  nbAssignments=2631  nbFailedAssignments=2578  nbBacktracks=47  nbVisitedNodes=5257
23.41	     nbRestartNogoods=92  mapSize=47  nbInferences=0  nbTooLargeKeys=0
23.41	       =>  wckTime=18.67  cpuTime=18.49  mem=20M708
25.63	   
25.63	   search
25.63	     run=3  nbConstraintChecks=100240889  nbValidityChecks=25916958  nbPropagations=47150  nbRevisions=393143
25.63	     nbUselessRevisions=231032  nbAssignments=3071  nbFailedAssignments=2983  nbBacktracks=80  nbVisitedNodes=6135
25.63	     nbRestartNogoods=166  mapSize=80  nbInferences=0  nbTooLargeKeys=0
25.63	       =>  wckTime=20.895  cpuTime=20.7  mem=20M708
29.20	   
29.20	   search
29.20	     run=4  nbConstraintChecks=115742656  nbValidityChecks=37188588  nbPropagations=70791  nbRevisions=603987
29.20	     nbUselessRevisions=363584  nbAssignments=3800  nbFailedAssignments=3660  nbBacktracks=130  nbVisitedNodes=7591
29.20	     nbRestartNogoods=249  mapSize=130  nbInferences=0  nbTooLargeKeys=0
29.20	       =>  wckTime=24.458  cpuTime=24.25  mem=21M683
34.00	   
34.00	   search
34.00	     run=5  nbConstraintChecks=136949380  nbValidityChecks=50871978  nbPropagations=100837  nbRevisions=879969
34.00	     nbUselessRevisions=541043  nbAssignments=4715  nbFailedAssignments=4498  nbBacktracks=205  nbVisitedNodes=9419
34.00	     nbRestartNogoods=305  mapSize=205  nbInferences=0  nbTooLargeKeys=0
34.00	       =>  wckTime=29.256  cpuTime=29.02  mem=21M683
42.84	   
42.84	   search
42.84	     run=6  nbConstraintChecks=190020072  nbValidityChecks=68525803  nbPropagations=141956  nbRevisions=1261882
42.84	     nbUselessRevisions=783511  nbAssignments=6766  nbFailedAssignments=6434  nbBacktracks=318  nbVisitedNodes=13519
42.84	     nbRestartNogoods=400  mapSize=318  nbInferences=0  nbTooLargeKeys=0
42.84	       =>  wckTime=38.104  cpuTime=37.83  mem=21M683
56.65	   
56.65	   search
56.65	     run=7  nbConstraintChecks=272767805  nbValidityChecks=90635338  nbPropagations=198273  nbRevisions=1785258
56.65	     nbUselessRevisions=1110373  nbAssignments=9564  nbFailedAssignments=9060  nbBacktracks=488  nbVisitedNodes=19113
56.65	     nbRestartNogoods=439  mapSize=488  nbInferences=0  nbTooLargeKeys=0
56.65	       =>  wckTime=51.909  cpuTime=51.56  mem=21M683
178.80	   
178.80	   search
178.80	     run=8  nbConstraintChecks=975732974  nbValidityChecks=256098581  nbPropagations=386569  nbRevisions=3363937
178.80	     nbUselessRevisions=2109858  nbAssignments=27449  nbFailedAssignments=26687  nbBacktracks=744  nbVisitedNodes=54881
178.80	     nbRestartNogoods=527  mapSize=744  nbInferences=0  nbTooLargeKeys=0
178.80	       =>  wckTime=174.061  cpuTime=173.14  mem=22M658
199.56	   
199.56	   INFO : Stopping hyperNogood (mapSize=1049, nbTooLargekeys=0, mem=22M658)
205.02	   
205.02	   search
205.02	     run=9  nbConstraintChecks=1094450910  nbValidityChecks=323591607  nbPropagations=608969  nbRevisions=5274943
205.02	     nbUselessRevisions=3333785  nbAssignments=32384  nbFailedAssignments=31236  nbBacktracks=1128  nbVisitedNodes=64749
205.02	     nbRestartNogoods=701
205.02	       =>  wckTime=200.278  cpuTime=199.24  mem=22M658
239.28	   
239.28	   search
239.28	     run=10  nbConstraintChecks=1274205193  nbValidityChecks=410492100  nbPropagations=875995  nbRevisions=7637171
239.28	     nbUselessRevisions=4853701  nbAssignments=39364  nbFailedAssignments=37638  nbBacktracks=1704  nbVisitedNodes=78705
239.28	     nbRestartNogoods=745
239.28	       =>  wckTime=234.544  cpuTime=233.34  mem=22M658
286.52	   
286.52	   search
286.52	     run=11  nbConstraintChecks=1576714758  nbValidityChecks=561231946  nbPropagations=1221795  nbRevisions=10756710
286.52	     nbUselessRevisions=6896117  nbAssignments=49943  nbFailedAssignments=47353  nbBacktracks=2568  nbVisitedNodes=99823
286.52	     nbRestartNogoods=845
286.52	       =>  wckTime=281.776  cpuTime=280.35  mem=22M658
361.01	   
361.01	   search
361.01	     run=12  nbConstraintChecks=1972131435  nbValidityChecks=781700764  nbPropagations=1684805  nbRevisions=14999798
361.01	     nbUselessRevisions=9708411  nbAssignments=65532  nbFailedAssignments=61643  nbBacktracks=3865
361.01	     nbVisitedNodes=130947  nbRestartNogoods=845
361.01	       =>  wckTime=356.274  cpuTime=354.5  mem=22M658
469.21	   
469.21	   search
469.21	     run=13  nbConstraintChecks=2533864351  nbValidityChecks=1117060495  nbPropagations=2318451  nbRevisions=20904573
469.21	     nbUselessRevisions=13661332  nbAssignments=89023  nbFailedAssignments=83186  nbBacktracks=5811
469.21	     nbVisitedNodes=177838  nbRestartNogoods=1023
469.21	       =>  wckTime=464.466  cpuTime=462.19  mem=22M658
654.44	   
654.44	   search
654.44	     run=14  nbConstraintChecks=3458070743  nbValidityChecks=1629534767  nbPropagations=3214282  nbRevisions=29360672
654.44	     nbUselessRevisions=19359775  nbAssignments=124528  nbFailedAssignments=115770  nbBacktracks=8730
654.44	     nbVisitedNodes=248759  nbRestartNogoods=1211
654.44	       =>  wckTime=649.703  cpuTime=646.56  mem=22M658
1142.95	   
1142.95	   search
1142.95	     run=15  nbConstraintChecks=5928481809  nbValidityChecks=2513485123  nbPropagations=4648713  nbRevisions=42668990
1142.95	     nbUselessRevisions=28280922  nbAssignments=195185  nbFailedAssignments=182047  nbBacktracks=13108
1142.95	     nbVisitedNodes=389961  nbRestartNogoods=1396
1142.95	       =>  wckTime=1138.21  cpuTime=1132.8  mem=22M658
1653.48	   
1653.48	   search
1653.48	     run=16  nbConstraintChecks=8677993952  nbValidityChecks=3719720567  nbPropagations=6758717  nbRevisions=62334977
1653.48	     nbUselessRevisions=41468462  nbAssignments=286573  nbFailedAssignments=266866  nbBacktracks=19676
1653.48	     nbVisitedNodes=572551  nbRestartNogoods=1433
1653.48	       =>  wckTime=1648.744  cpuTime=1640.95  mem=22M658

Verifier Data (download as text)

ERROR: Unexpected answer ! (SAT/UNSAT expected)
Got answer:

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node58/watcher-233940-1168081415 -o ROOT/results/node58/solver-233940-1168081415 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/233940-1168081415/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.72 1.35 1.28 4/80 30070
/proc/meminfo: memFree=1498504/2055920 swapFree=4192812/4192956
[pid=30069] ppid=30067 vsize=18540 CPUtime=0
/proc/30069/stat : 30069 (runsolver) R 30067 30069 29418 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 156539613 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 226238197031 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/30069/statm: 4635 279 244 17 0 2626 0

[startup+0.107762 s]
/proc/loadavg: 1.72 1.35 1.28 4/80 30070
/proc/meminfo: memFree=1498504/2055920 swapFree=4192812/4192956
[pid=30069] ppid=30067 vsize=907808 CPUtime=0.05
/proc/30069/stat : 30069 (java) D 30067 30069 29418 0 -1 0 2457 0 1 0 4 1 0 0 17 0 4 0 156539613 929595392 2204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/30069/statm: 226952 2204 1214 14 0 214535 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 907808

[startup+0.51579 s]
/proc/loadavg: 1.72 1.35 1.28 4/80 30070
/proc/meminfo: memFree=1498504/2055920 swapFree=4192812/4192956
[pid=30069] ppid=30067 vsize=915328 CPUtime=0.42
/proc/30069/stat : 30069 (java) R 30067 30069 29418 0 -1 0 6269 0 1 0 39 3 0 0 18 0 8 0 156539613 937295872 6008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30069/statm: 228832 6008 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 915328

[startup+1.33686 s]
/proc/loadavg: 1.72 1.35 1.28 3/87 30077
/proc/meminfo: memFree=1479120/2055920 swapFree=4192812/4192956
[pid=30069] ppid=30067 vsize=915460 CPUtime=1.23
/proc/30069/stat : 30069 (java) R 30067 30069 29418 0 -1 0 7303 0 1 0 119 4 0 0 25 0 8 0 156539613 937431040 7041 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073647323 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30069/statm: 228865 7041 2167 14 0 215335 0
[pid=30069/tid=30071] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30071/stat : 30071 (java) S 30067 30069 29418 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 156539617 937431040 7041 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30072] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30072/stat : 30072 (java) S 30067 30069 29418 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 156539618 937431040 7041 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30073] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30073/stat : 30073 (java) S 30067 30069 29418 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 156539618 937431040 7041 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30074] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30074/stat : 30074 (java) S 30067 30069 29418 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156539628 937431040 7041 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30075] ppid=30067 vsize=915460 CPUtime=0.1
/proc/30069/task/30075/stat : 30075 (java) S 30067 30069 29418 0 -1 64 322 0 0 0 10 0 0 0 16 0 8 0 156539628 937431040 7041 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30076] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30076/stat : 30076 (java) S 30067 30069 29418 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156539628 937431040 7041 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30077] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30077/stat : 30077 (java) S 30067 30069 29418 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156539628 937431040 7041 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 915460

[startup+2.974 s]
/proc/loadavg: 1.75 1.36 1.28 3/87 30077
/proc/meminfo: memFree=1476496/2055920 swapFree=4192812/4192956
[pid=30069] ppid=30067 vsize=915460 CPUtime=2.87
/proc/30069/stat : 30069 (java) R 30067 30069 29418 0 -1 0 8279 0 1 0 282 5 0 0 25 0 8 0 156539613 937431040 8017 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073640784 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30069/statm: 228865 8017 2167 14 0 215335 0
[pid=30069/tid=30071] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30071/stat : 30071 (java) S 30067 30069 29418 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 156539617 937431040 8017 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30072] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30072/stat : 30072 (java) S 30067 30069 29418 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 156539618 937431040 8017 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30073] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30073/stat : 30073 (java) S 30067 30069 29418 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 156539618 937431040 8017 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30074] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30074/stat : 30074 (java) S 30067 30069 29418 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156539628 937431040 8017 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30075] ppid=30067 vsize=915460 CPUtime=0.11
/proc/30069/task/30075/stat : 30075 (java) S 30067 30069 29418 0 -1 64 324 0 0 0 11 0 0 0 16 0 8 0 156539628 937431040 8017 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30076] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30076/stat : 30076 (java) S 30067 30069 29418 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156539628 937431040 8017 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30077] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30077/stat : 30077 (java) S 30067 30069 29418 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156539628 937431040 8017 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 915460

[startup+6.26328 s]
/proc/loadavg: 1.75 1.36 1.28 3/87 30077
/proc/meminfo: memFree=1463440/2055920 swapFree=4192812/4192956
[pid=30069] ppid=30067 vsize=915460 CPUtime=6.14
/proc/30069/stat : 30069 (java) R 30067 30069 29418 0 -1 0 11472 0 1 0 606 8 0 0 25 0 8 0 156539613 937431040 11208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816921 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30069/statm: 228865 11208 2531 14 0 215335 0
[pid=30069/tid=30071] ppid=30067 vsize=915460 CPUtime=0.04
/proc/30069/task/30071/stat : 30071 (java) S 30067 30069 29418 0 -1 64 1406 0 0 0 4 0 0 0 17 0 8 0 156539617 937431040 11208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30072] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30072/stat : 30072 (java) S 30067 30069 29418 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156539618 937431040 11208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30073] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30073/stat : 30073 (java) S 30067 30069 29418 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156539618 937431040 11208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30074] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30074/stat : 30074 (java) S 30067 30069 29418 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156539628 937431040 11208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30075] ppid=30067 vsize=915460 CPUtime=0.22
/proc/30069/task/30075/stat : 30075 (java) S 30067 30069 29418 0 -1 64 378 0 0 0 21 1 0 0 15 0 8 0 156539628 937431040 11208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30076] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30076/stat : 30076 (java) S 30067 30069 29418 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156539628 937431040 11208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30077] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30077/stat : 30077 (java) S 30067 30069 29418 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156539628 937431040 11208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915460

[startup+12.7418 s]
/proc/loadavg: 1.79 1.39 1.29 3/87 30077
/proc/meminfo: memFree=1463384/2055920 swapFree=4192812/4192956
[pid=30069] ppid=30067 vsize=915460 CPUtime=12.59
/proc/30069/stat : 30069 (java) R 30067 30069 29418 0 -1 0 11485 0 1 0 1251 8 0 0 25 0 8 0 156539613 937431040 11217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073640830 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30069/statm: 228865 11217 2534 14 0 215335 0
[pid=30069/tid=30071] ppid=30067 vsize=915460 CPUtime=0.04
/proc/30069/task/30071/stat : 30071 (java) S 30067 30069 29418 0 -1 64 1407 0 0 0 4 0 0 0 16 0 8 0 156539617 937431040 11217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30072] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30072/stat : 30072 (java) S 30067 30069 29418 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156539618 937431040 11217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30073] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30073/stat : 30073 (java) S 30067 30069 29418 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156539618 937431040 11217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30074] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30074/stat : 30074 (java) S 30067 30069 29418 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156539628 937431040 11217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30075] ppid=30067 vsize=915460 CPUtime=0.23
/proc/30069/task/30075/stat : 30075 (java) S 30067 30069 29418 0 -1 64 384 0 0 0 22 1 0 0 15 0 8 0 156539628 937431040 11217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30076] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30076/stat : 30076 (java) S 30067 30069 29418 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156539628 937431040 11217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30077] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30077/stat : 30077 (java) S 30067 30069 29418 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156539628 937431040 11217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915460

[startup+25.6119 s]
/proc/loadavg: 1.82 1.40 1.29 3/87 30077
/proc/meminfo: memFree=1463320/2055920 swapFree=4192812/4192956
[pid=30069] ppid=30067 vsize=915460 CPUtime=25.4
/proc/30069/stat : 30069 (java) R 30067 30069 29418 0 -1 0 11504 0 1 0 2532 8 0 0 25 0 8 0 156539613 937431040 11232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073823898 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30069/statm: 228865 11232 2534 14 0 215335 0
[pid=30069/tid=30071] ppid=30067 vsize=915460 CPUtime=0.04
/proc/30069/task/30071/stat : 30071 (java) S 30067 30069 29418 0 -1 64 1407 0 0 0 4 0 0 0 16 0 8 0 156539617 937431040 11232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30072] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30072/stat : 30072 (java) S 30067 30069 29418 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156539618 937431040 11232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30073] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30073/stat : 30073 (java) S 30067 30069 29418 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156539618 937431040 11232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30074] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30074/stat : 30074 (java) S 30067 30069 29418 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156539628 937431040 11232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30075] ppid=30067 vsize=915460 CPUtime=0.26
/proc/30069/task/30075/stat : 30075 (java) S 30067 30069 29418 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 156539628 937431040 11232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30076] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30076/stat : 30076 (java) S 30067 30069 29418 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156539628 937431040 11232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30077] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30077/stat : 30077 (java) S 30067 30069 29418 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156539628 937431040 11232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 915460

[startup+51.2181 s]
/proc/loadavg: 1.88 1.45 1.31 3/87 30077
/proc/meminfo: memFree=1463256/2055920 swapFree=4192812/4192956
[pid=30069] ppid=30067 vsize=915460 CPUtime=50.89
/proc/30069/stat : 30069 (java) R 30067 30069 29418 0 -1 0 11508 0 1 0 5080 9 0 0 25 0 8 0 156539613 937431040 11234 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073647112 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30069/statm: 228865 11234 2534 14 0 215335 0
[pid=30069/tid=30071] ppid=30067 vsize=915460 CPUtime=0.04
/proc/30069/task/30071/stat : 30071 (java) S 30067 30069 29418 0 -1 64 1407 0 0 0 4 0 0 0 16 0 8 0 156539617 937431040 11234 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30072] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30072/stat : 30072 (java) S 30067 30069 29418 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156539618 937431040 11234 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30073] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30073/stat : 30073 (java) S 30067 30069 29418 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156539618 937431040 11234 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30074] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30074/stat : 30074 (java) S 30067 30069 29418 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156539628 937431040 11234 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30075] ppid=30067 vsize=915460 CPUtime=0.26
/proc/30069/task/30075/stat : 30075 (java) S 30067 30069 29418 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 156539628 937431040 11234 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30076] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30076/stat : 30076 (java) S 30067 30069 29418 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156539628 937431040 11234 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30077] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30077/stat : 30077 (java) S 30067 30069 29418 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156539628 937431040 11234 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.89
Current children cumulated vsize (KiB) 915460

[startup+102.424 s]
/proc/loadavg: 1.95 1.54 1.35 3/87 30077
/proc/meminfo: memFree=1463320/2055920 swapFree=4192812/4192956
[pid=30069] ppid=30067 vsize=915460 CPUtime=101.86
/proc/30069/stat : 30069 (java) R 30067 30069 29418 0 -1 0 11508 0 1 0 10177 9 0 0 25 0 8 0 156539613 937431040 11234 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073640818 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30069/statm: 228865 11234 2534 14 0 215335 0
[pid=30069/tid=30071] ppid=30067 vsize=915460 CPUtime=0.04
/proc/30069/task/30071/stat : 30071 (java) S 30067 30069 29418 0 -1 64 1407 0 0 0 4 0 0 0 16 0 8 0 156539617 937431040 11234 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30072] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30072/stat : 30072 (java) S 30067 30069 29418 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156539618 937431040 11234 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30073] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30073/stat : 30073 (java) S 30067 30069 29418 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156539618 937431040 11234 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30074] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30074/stat : 30074 (java) S 30067 30069 29418 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156539628 937431040 11234 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30075] ppid=30067 vsize=915460 CPUtime=0.26
/proc/30069/task/30075/stat : 30075 (java) S 30067 30069 29418 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 156539628 937431040 11234 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30076] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30076/stat : 30076 (java) S 30067 30069 29418 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156539628 937431040 11234 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30077] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30077/stat : 30077 (java) S 30067 30069 29418 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156539628 937431040 11234 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.86
Current children cumulated vsize (KiB) 915460

[startup+162.472 s]
/proc/loadavg: 2.02 1.64 1.39 3/87 30077
/proc/meminfo: memFree=1463256/2055920 swapFree=4192812/4192956
[pid=30069] ppid=30067 vsize=915460 CPUtime=161.62
/proc/30069/stat : 30069 (java) R 30067 30069 29418 0 -1 0 11508 0 1 0 16153 9 0 0 25 0 8 0 156539613 937431040 11234 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073640802 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+1483.63 s]
/proc/loadavg: 2.00 1.99 1.83 3/87 30079
/proc/meminfo: memFree=1439200/2055920 swapFree=4192812/4192956
[pid=30069] ppid=30067 vsize=915460 CPUtime=1476.63
/proc/30069/stat : 30069 (java) R 30067 30069 29418 0 -1 0 11513 0 1 0 147652 11 0 0 25 0 8 0 156539613 937431040 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073647112 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30069/statm: 228865 11239 2534 14 0 215335 0
[pid=30069/tid=30071] ppid=30067 vsize=915460 CPUtime=0.04
/proc/30069/task/30071/stat : 30071 (java) S 30067 30069 29418 0 -1 64 1407 0 0 0 4 0 0 0 16 0 8 0 156539617 937431040 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30072] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30072/stat : 30072 (java) S 30067 30069 29418 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156539618 937431040 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30073] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30073/stat : 30073 (java) S 30067 30069 29418 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156539618 937431040 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30074] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30074/stat : 30074 (java) S 30067 30069 29418 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156539628 937431040 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30075] ppid=30067 vsize=915460 CPUtime=0.27
/proc/30069/task/30075/stat : 30075 (java) S 30067 30069 29418 0 -1 64 407 0 0 0 26 1 0 0 16 0 8 0 156539628 937431040 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30076] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30076/stat : 30076 (java) S 30067 30069 29418 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156539628 937431040 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30077] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30077/stat : 30077 (java) S 30067 30069 29418 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156539628 937431040 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1476.63
Current children cumulated vsize (KiB) 915460

[startup+1543.68 s]
/proc/loadavg: 2.00 1.99 1.83 3/87 30079
/proc/meminfo: memFree=1439136/2055920 swapFree=4192812/4192956
[pid=30069] ppid=30067 vsize=915460 CPUtime=1536.39
/proc/30069/stat : 30069 (java) R 30067 30069 29418 0 -1 0 11513 0 1 0 153628 11 0 0 25 0 8 0 156539613 937431040 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073817817 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30069/statm: 228865 11239 2534 14 0 215335 0
[pid=30069/tid=30071] ppid=30067 vsize=915460 CPUtime=0.04
/proc/30069/task/30071/stat : 30071 (java) S 30067 30069 29418 0 -1 64 1407 0 0 0 4 0 0 0 16 0 8 0 156539617 937431040 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30072] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30072/stat : 30072 (java) S 30067 30069 29418 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156539618 937431040 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30073] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30073/stat : 30073 (java) S 30067 30069 29418 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156539618 937431040 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30074] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30074/stat : 30074 (java) S 30067 30069 29418 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156539628 937431040 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30075] ppid=30067 vsize=915460 CPUtime=0.27
/proc/30069/task/30075/stat : 30075 (java) S 30067 30069 29418 0 -1 64 407 0 0 0 26 1 0 0 16 0 8 0 156539628 937431040 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30076] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30076/stat : 30076 (java) S 30067 30069 29418 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156539628 937431040 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30077] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30077/stat : 30077 (java) S 30067 30069 29418 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156539628 937431040 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1536.39
Current children cumulated vsize (KiB) 915460

[startup+1603.73 s]
/proc/loadavg: 2.00 1.99 1.84 3/87 30079
/proc/meminfo: memFree=1439072/2055920 swapFree=4192812/4192956
[pid=30069] ppid=30067 vsize=915460 CPUtime=1596.16
/proc/30069/stat : 30069 (java) R 30067 30069 29418 0 -1 0 11513 0 1 0 159605 11 0 0 25 0 8 0 156539613 937431040 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073862573 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30069/statm: 228865 11239 2534 14 0 215335 0
[pid=30069/tid=30071] ppid=30067 vsize=915460 CPUtime=0.04
/proc/30069/task/30071/stat : 30071 (java) S 30067 30069 29418 0 -1 64 1407 0 0 0 4 0 0 0 16 0 8 0 156539617 937431040 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30072] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30072/stat : 30072 (java) S 30067 30069 29418 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156539618 937431040 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30073] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30073/stat : 30073 (java) S 30067 30069 29418 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156539618 937431040 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30074] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30074/stat : 30074 (java) S 30067 30069 29418 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156539628 937431040 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30075] ppid=30067 vsize=915460 CPUtime=0.27
/proc/30069/task/30075/stat : 30075 (java) S 30067 30069 29418 0 -1 64 407 0 0 0 26 1 0 0 16 0 8 0 156539628 937431040 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30076] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30076/stat : 30076 (java) S 30067 30069 29418 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156539628 937431040 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30077] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30077/stat : 30077 (java) R 30067 30069 29418 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156539628 937431040 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1596.16
Current children cumulated vsize (KiB) 915460

[startup+1663.78 s]
/proc/loadavg: 2.00 1.99 1.84 3/87 30079
/proc/meminfo: memFree=1439136/2055920 swapFree=4192812/4192956
[pid=30069] ppid=30067 vsize=915460 CPUtime=1655.94
/proc/30069/stat : 30069 (java) R 30067 30069 29418 0 -1 0 11513 0 1 0 165583 11 0 0 25 0 8 0 156539613 937431040 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073863449 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30069/statm: 228865 11239 2534 14 0 215335 0
[pid=30069/tid=30071] ppid=30067 vsize=915460 CPUtime=0.04
/proc/30069/task/30071/stat : 30071 (java) S 30067 30069 29418 0 -1 64 1407 0 0 0 4 0 0 0 16 0 8 0 156539617 937431040 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30072] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30072/stat : 30072 (java) S 30067 30069 29418 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156539618 937431040 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30073] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30073/stat : 30073 (java) S 30067 30069 29418 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156539618 937431040 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30074] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30074/stat : 30074 (java) S 30067 30069 29418 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156539628 937431040 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30075] ppid=30067 vsize=915460 CPUtime=0.27
/proc/30069/task/30075/stat : 30075 (java) S 30067 30069 29418 0 -1 64 407 0 0 0 26 1 0 0 16 0 8 0 156539628 937431040 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30076] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30076/stat : 30076 (java) S 30067 30069 29418 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156539628 937431040 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30077] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30077/stat : 30077 (java) S 30067 30069 29418 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156539628 937431040 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1655.94
Current children cumulated vsize (KiB) 915460

[startup+1723.84 s]
/proc/loadavg: 2.00 1.99 1.85 3/87 30079
/proc/meminfo: memFree=1439072/2055920 swapFree=4192812/4192956
[pid=30069] ppid=30067 vsize=915460 CPUtime=1715.71
/proc/30069/stat : 30069 (java) R 30067 30069 29418 0 -1 0 11513 0 1 0 171560 11 0 0 25 0 8 0 156539613 937431040 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073824384 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30069/statm: 228865 11239 2534 14 0 215335 0
[pid=30069/tid=30071] ppid=30067 vsize=915460 CPUtime=0.04
/proc/30069/task/30071/stat : 30071 (java) S 30067 30069 29418 0 -1 64 1407 0 0 0 4 0 0 0 16 0 8 0 156539617 937431040 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30072] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30072/stat : 30072 (java) S 30067 30069 29418 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156539618 937431040 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30073] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30073/stat : 30073 (java) S 30067 30069 29418 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156539618 937431040 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30074] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30074/stat : 30074 (java) S 30067 30069 29418 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156539628 937431040 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30075] ppid=30067 vsize=915460 CPUtime=0.27
/proc/30069/task/30075/stat : 30075 (java) S 30067 30069 29418 0 -1 64 407 0 0 0 26 1 0 0 16 0 8 0 156539628 937431040 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30076] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30076/stat : 30076 (java) S 30067 30069 29418 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156539628 937431040 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30077] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30077/stat : 30077 (java) S 30067 30069 29418 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156539628 937431040 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1715.71
Current children cumulated vsize (KiB) 915460

[startup+1783.88 s]
/proc/loadavg: 1.63 1.88 1.82 3/87 30137
/proc/meminfo: memFree=864296/2055920 swapFree=4192812/4192956
[pid=30069] ppid=30067 vsize=915460 CPUtime=1775.64
/proc/30069/stat : 30069 (java) R 30067 30069 29418 0 -1 0 11513 0 1 0 177551 13 0 0 25 0 8 0 156539613 937431040 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073643842 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30069/statm: 228865 11239 2534 14 0 215335 0
[pid=30069/tid=30071] ppid=30067 vsize=915460 CPUtime=0.04
/proc/30069/task/30071/stat : 30071 (java) S 30067 30069 29418 0 -1 64 1407 0 0 0 4 0 0 0 16 0 8 0 156539617 937431040 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30072] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30072/stat : 30072 (java) S 30067 30069 29418 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156539618 937431040 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30073] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30073/stat : 30073 (java) S 30067 30069 29418 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156539618 937431040 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30074] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30074/stat : 30074 (java) S 30067 30069 29418 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156539628 937431040 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30075] ppid=30067 vsize=915460 CPUtime=0.27
/proc/30069/task/30075/stat : 30075 (java) S 30067 30069 29418 0 -1 64 407 0 0 0 26 1 0 0 16 0 8 0 156539628 937431040 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30076] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30076/stat : 30076 (java) S 30067 30069 29418 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156539628 937431040 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30077] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30077/stat : 30077 (java) S 30067 30069 29418 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156539628 937431040 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1775.64
Current children cumulated vsize (KiB) 915460



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.37 s]
/proc/loadavg: 1.65 1.87 1.82 2/75 30145
/proc/meminfo: memFree=1618440/2055920 swapFree=4192812/4192956
[pid=30069] ppid=30067 vsize=915460 CPUtime=1800.06
/proc/30069/stat : 30069 (java) R 30067 30069 29418 0 -1 0 11513 0 1 0 179993 13 0 0 25 0 8 0 156539613 937431040 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073640600 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30069/statm: 228865 11239 2534 14 0 215335 0
[pid=30069/tid=30071] ppid=30067 vsize=915460 CPUtime=0.04
/proc/30069/task/30071/stat : 30071 (java) S 30067 30069 29418 0 -1 64 1407 0 0 0 4 0 0 0 16 0 8 0 156539617 937431040 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30072] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30072/stat : 30072 (java) S 30067 30069 29418 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156539618 937431040 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30073] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30073/stat : 30073 (java) S 30067 30069 29418 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156539618 937431040 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30074] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30074/stat : 30074 (java) S 30067 30069 29418 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156539628 937431040 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30075] ppid=30067 vsize=915460 CPUtime=0.27
/proc/30069/task/30075/stat : 30075 (java) S 30067 30069 29418 0 -1 64 407 0 0 0 26 1 0 0 16 0 8 0 156539628 937431040 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30076] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30076/stat : 30076 (java) S 30067 30069 29418 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156539628 937431040 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30069/tid=30077] ppid=30067 vsize=915460 CPUtime=0
/proc/30069/task/30077/stat : 30077 (java) S 30067 30069 29418 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156539628 937431040 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 915460

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

Child status: 143
Real time (s): 1808.42
CPU time (s): 1800.11
CPU user time (s): 1799.97
CPU system time (s): 0.141978
CPU usage (%): 99.5406
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.97
system time used= 0.141978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11529
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= 37814
involuntary context switches= 58996

runsolver used 2.05069 s user time and 5.9101 s system time

The end

Launcher Data (download as text)

Begin job on node58 on Sat Jan  6 11:03:36 UTC 2007


IDJOB= 233940
IDBENCH= 6648
FILE ID= node58/233940-1168081415

PBS_JOBID= 3476181

Free space on /tmp= 66533 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  4dd004eecb811c39e57feffe610d471a

RANDOM SEED= 152438118

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1498920 kB
Buffers:         23352 kB
Cached:         292168 kB
SwapCached:          0 kB
Active:         235484 kB
Inactive:       255184 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1498920 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1812 kB
Writeback:           0 kB
Mapped:         195364 kB
Slab:            51500 kB
Committed_AS:  3057560 kB
PageTables:       2072 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= 66534 MiB



End job on node58 on Sat Jan  6 11:33:48 UTC 2007