Trace number 234033

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.09 1806.76

General information on the benchmark

Nametaillard/
os-taillard-7/os-taillard-7-95-5.xml
MD5SUMebdfda856dfd036416c301c32875da0c
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.181971
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables49
Number of constraints294
Maximum constraint arity2
Maximum domain size428
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.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=esac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/234033-1168329945/unknown.xml
0.37	   
0.37	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.43	     nbVariables=49  nbDomainTypes=49  minDomainSize=332  maxDomainSize=428
0.43	       =>  wckTime=0.113  cpuTime=0.09  mem=7M880
0.43	   
0.43	   predicates being loaded...
0.43	   
0.43	   constraints being loaded...
11.92	     nbConstraints=294  nbConvertedConstraints=294  nbConvertConstraintsChecks=40493282  nbExtensionStructures=294
11.92	     nbSharedExtensionStructures=0  nbConflictsStructures=294  nbSharedConflictsStructures=0
11.92	     nbSharedBinaryRepresentations=81482  maxDegree=12  maxArity=2
11.92	       =>  wckTime=11.607  cpuTime=11.42  mem=35M664
12.01	   
12.01	   solver IterativeSystematicSolver being built... 
12.17	       =>  wckTime=11.859  cpuTime=11.55  mem=26M803
12.25	   
12.25	   preprocessing
12.25	     nbConstraintChecks=1163140  nbPropagations=697  nbRevisions=1363  nbUselessRevisions=618  nbSingletonTests=54
12.25	     nbEffectiveSingletonTests=0  nbESACBranches=5  nbRemovedValues=0  detectedInconsistency=no
12.25	       =>  wckTime=0.071  cpuTime=0.05  mem=26M803
12.52	   
12.52	   search
12.52	     run=0  nbConstraintChecks=5918661  nbPropagations=2911  nbRevisions=16851  nbUselessRevisions=8862
12.52	     nbAssignments=272  nbFailedAssignments=250  nbBacktracks=11  nbVisitedNodes=531  nbRestartNogoods=0  mapSize=9
12.52	     nbInferences=0  nbTooLargeKeys=0
12.52	       =>  wckTime=0.341  cpuTime=0.29  mem=26M803
12.90	   
12.90	   search
12.90	     run=1  nbConstraintChecks=20359095  nbPropagations=11322  nbRevisions=50496  nbUselessRevisions=24961
12.90	     nbAssignments=828  nbFailedAssignments=476  nbBacktracks=26  nbVisitedNodes=1017  nbRestartNogoods=20  mapSize=24
12.90	     nbInferences=0  nbTooLargeKeys=0
12.90	       =>  wckTime=0.724  cpuTime=0.67  mem=26M803
13.65	   
13.65	   search
13.65	     run=2  nbConstraintChecks=50828318  nbPropagations=28392  nbRevisions=113465  nbUselessRevisions=50447
13.65	     nbAssignments=1861  nbFailedAssignments=1358  nbBacktracks=48  nbVisitedNodes=2828  nbRestartNogoods=43  mapSize=46
13.65	     nbInferences=0  nbTooLargeKeys=0
13.65	       =>  wckTime=1.475  cpuTime=1.39  mem=27M757
13.95	   
13.95	   search
13.95	     run=3  nbConstraintChecks=63396266  nbPropagations=47800  nbRevisions=188796  nbUselessRevisions=80075
13.95	     nbAssignments=2283  nbFailedAssignments=1744  nbBacktracks=81  nbVisitedNodes=3669  nbRestartNogoods=65  mapSize=79
13.95	     nbInferences=0  nbTooLargeKeys=0
13.95	       =>  wckTime=1.775  cpuTime=1.68  mem=27M757
14.46	   
14.46	   search
14.46	     run=4  nbConstraintChecks=84992048  nbPropagations=71244  nbRevisions=286972  nbUselessRevisions=117536
14.46	     nbAssignments=3084  nbFailedAssignments=2492  nbBacktracks=131  nbVisitedNodes=5268  nbRestartNogoods=79
14.46	     mapSize=129  nbInferences=0  nbTooLargeKeys=0
14.46	       =>  wckTime=2.279  cpuTime=2.17  mem=27M757
18.01	   
18.01	   search
18.01	     run=5  nbConstraintChecks=241575442  nbPropagations=136348  nbRevisions=540812  nbUselessRevisions=210949
18.01	     nbAssignments=8143  nbFailedAssignments=7200  nbBacktracks=206  nbVisitedNodes=14837  nbRestartNogoods=141
18.01	     mapSize=204  nbInferences=0  nbTooLargeKeys=0
18.01	       =>  wckTime=5.834  cpuTime=5.69  mem=27M757
19.19	   
19.19	   search
19.19	     run=6  nbConstraintChecks=288482975  nbPropagations=211816  nbRevisions=855516  nbUselessRevisions=325644
19.19	     nbAssignments=10270  nbFailedAssignments=9212  nbBacktracks=319  nbVisitedNodes=19081  nbRestartNogoods=216
19.19	     mapSize=315  nbInferences=0  nbTooLargeKeys=0
19.19	       =>  wckTime=7.012  cpuTime=6.86  mem=27M757
21.93	   
21.93	   search
21.93	     run=7  nbConstraintChecks=406702600  nbPropagations=315353  nbRevisions=1307871  nbUselessRevisions=490523
21.93	     nbAssignments=14659  nbFailedAssignments=13217  nbBacktracks=489  nbVisitedNodes=27433  nbRestartNogoods=323
21.93	     mapSize=485  nbInferences=0  nbTooLargeKeys=0
21.93	       =>  wckTime=9.756  cpuTime=9.58  mem=27M757
24.99	   
24.99	   search
24.99	     run=8  nbConstraintChecks=529710760  nbPropagations=447819  nbRevisions=1907656  nbUselessRevisions=705408
24.99	     nbAssignments=20069  nbFailedAssignments=18076  nbBacktracks=745  nbVisitedNodes=37662  nbRestartNogoods=484
24.99	     mapSize=740  nbInferences=0  nbTooLargeKeys=0
24.99	       =>  wckTime=12.813  cpuTime=12.6  mem=28M711
29.36	   
29.36	   INFO : Stopping hyperNogood (mapSize=1044, nbTooLargekeys=0, mem=29M666)
30.66	   
30.66	   search
30.66	     run=9  nbConstraintChecks=779121026  nbPropagations=644817  nbRevisions=2783457  nbUselessRevisions=1016333
30.66	     nbAssignments=29044  nbFailedAssignments=26440  nbBacktracks=1129  nbVisitedNodes=55161  nbRestartNogoods=530
30.66	       =>  wckTime=18.486  cpuTime=18.23  mem=29M666
37.16	   
37.16	   search
37.16	     run=10  nbConstraintChecks=1039816930  nbPropagations=914340  nbRevisions=3963513  nbUselessRevisions=1429243
37.16	     nbAssignments=39100  nbFailedAssignments=35917  nbBacktracks=1705  nbVisitedNodes=75256  nbRestartNogoods=567
37.16	       =>  wckTime=24.982  cpuTime=24.66  mem=29M666
46.94	   
46.94	   search
46.94	     run=11  nbConstraintChecks=1495951319  nbPropagations=1282098  nbRevisions=5597389  nbUselessRevisions=1997393
46.94	     nbAssignments=54306  nbFailedAssignments=50257  nbBacktracks=2569  nbVisitedNodes=105629  nbRestartNogoods=585
46.94	       =>  wckTime=34.764  cpuTime=34.35  mem=29M666
72.12	   
72.12	   search
72.12	     run=12  nbConstraintChecks=2524152456  nbPropagations=1914944  nbRevisions=8404300  nbUselessRevisions=2972084
72.12	     nbAssignments=91213  nbFailedAssignments=85864  nbBacktracks=3866  nbVisitedNodes=179410  nbRestartNogoods=588
72.12	       =>  wckTime=59.949  cpuTime=59.33  mem=29M666
93.84	   
93.84	   search
93.84	     run=13  nbConstraintChecks=3501596768  nbPropagations=2790976  nbRevisions=12291005  nbUselessRevisions=4324358
93.84	     nbAssignments=125550  nbFailedAssignments=118246  nbBacktracks=5812  nbVisitedNodes=247984  nbRestartNogoods=633
93.84	       =>  wckTime=81.665  cpuTime=80.85  mem=29M666
129.46	   
129.46	   search
129.46	     run=14  nbConstraintChecks=5125568430  nbPropagations=4018418  nbRevisions=17829855  nbUselessRevisions=6243579
129.46	     nbAssignments=181078  nbFailedAssignments=170853  nbBacktracks=8731  nbVisitedNodes=358918  nbRestartNogoods=652
129.46	       =>  wckTime=117.288  cpuTime=116.16  mem=29M666
194.28	   
194.28	   search
194.28	     run=15  nbConstraintChecks=7971486942  nbPropagations=5911572  nbRevisions=26412640  nbUselessRevisions=9227020
194.28	     nbAssignments=278649  nbFailedAssignments=263940  nbBacktracks=13109  nbVisitedNodes=553761  nbRestartNogoods=725
194.28	       =>  wckTime=182.105  cpuTime=180.42  mem=29M666
290.96	   
290.96	   search
290.96	     run=16  nbConstraintChecks=12284088314  nbPropagations=8893640  nbRevisions=39359846  nbUselessRevisions=13635434
290.96	     nbAssignments=417056  nbFailedAssignments=395776  nbBacktracks=19677  nbVisitedNodes=830412  nbRestartNogoods=762
290.96	       =>  wckTime=278.787  cpuTime=276.25  mem=29M666
416.56	   
416.56	   search
416.56	     run=17  nbConstraintChecks=17445494646  nbPropagations=13340959  nbRevisions=58362932  nbUselessRevisions=20090815
416.56	     nbAssignments=607981  nbFailedAssignments=576846  nbBacktracks=29529  nbVisitedNodes=1212023  nbRestartNogoods=862
416.56	       =>  wckTime=404.385  cpuTime=400.72  mem=29M666
624.58	   
624.58	   search
624.58	     run=18  nbConstraintChecks=26918757885  nbPropagations=20179625  nbRevisions=87513804  nbUselessRevisions=30119407
624.58	     nbAssignments=914439  nbFailedAssignments=868523  nbBacktracks=44307  nbVisitedNodes=1824537  nbRestartNogoods=937
624.58	       =>  wckTime=612.405  cpuTime=606.96  mem=29M666
1033.76	   
1033.76	   search
1033.76	     run=19  nbConstraintChecks=45408106122  nbPropagations=31873012  nbRevisions=137807583  nbUselessRevisions=47623565
1033.76	     nbAssignments=1566972  nbFailedAssignments=1498842  nbBacktracks=66475  nbVisitedNodes=3129115
1033.76	     nbRestartNogoods=1053
1033.76	       =>  wckTime=1021.588  cpuTime=1015.73  mem=29M666
1503.68	   
1503.68	   search
1503.68	     run=20  nbConstraintChecks=67990601552  nbPropagations=49675637  nbRevisions=213660472  nbUselessRevisions=74054451
1503.68	     nbAssignments=2333836  nbFailedAssignments=2232174  nbBacktracks=99727  nbVisitedNodes=4661531
1503.68	     nbRestartNogoods=1278
1503.68	       =>  wckTime=1491.501  cpuTime=1485.17  mem=29M666

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/node14/watcher-234033-1168329945 -o ROOT/results/node14/solver-234033-1168329945 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/234033-1168329945/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.92 2.00 1.99 4/87 30759
/proc/meminfo: memFree=1472904/2055920 swapFree=4163780/4192956
[pid=30758] ppid=30756 vsize=1784 CPUtime=0
/proc/30758/stat : 30758 (java) D 30756 30758 30691 0 -1 0 192 0 0 0 0 0 0 0 18 0 1 0 181389454 1826816 158 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/30758/statm: 446 158 123 14 0 91 0

[startup+0.106695 s]
/proc/loadavg: 1.92 2.00 1.99 4/87 30759
/proc/meminfo: memFree=1472904/2055920 swapFree=4163780/4192956
[pid=30758] ppid=30756 vsize=914988 CPUtime=0.08
/proc/30758/stat : 30758 (java) R 30756 30758 30691 0 -1 0 2996 0 1 0 7 1 0 0 19 0 8 0 181389454 936947712 2742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072932851 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30758/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.514734 s]
/proc/loadavg: 1.92 2.00 1.99 4/87 30759
/proc/meminfo: memFree=1472904/2055920 swapFree=4163780/4192956
[pid=30758] ppid=30756 vsize=915328 CPUtime=0.49
/proc/30758/stat : 30758 (java) R 30756 30758 30691 0 -1 0 6635 0 1 0 45 4 0 0 18 0 8 0 181389454 937295872 6374 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7392866 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30758/statm: 228832 6374 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33781 s]
/proc/loadavg: 1.92 2.00 1.99 3/94 30766
/proc/meminfo: memFree=1453456/2055920 swapFree=4163780/4192956
[pid=30758] ppid=30756 vsize=915460 CPUtime=1.3
/proc/30758/stat : 30758 (java) R 30756 30758 30691 0 -1 0 7320 0 1 0 126 4 0 0 25 0 8 0 181389454 937431040 7058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073643176 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30758/statm: 228865 7058 2167 14 0 215335 0
[pid=30758/tid=30760] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30760/stat : 30760 (java) S 30756 30758 30691 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 181389458 937431040 7058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30761] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30761/stat : 30761 (java) S 30756 30758 30691 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181389459 937431040 7058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30762] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30762/stat : 30762 (java) S 30756 30758 30691 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181389459 937431040 7058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30763] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30763/stat : 30763 (java) S 30756 30758 30691 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181389462 937431040 7058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30764] ppid=30756 vsize=915460 CPUtime=0.09
/proc/30758/task/30764/stat : 30764 (java) S 30756 30758 30691 0 -1 64 323 0 0 0 9 0 0 0 16 0 8 0 181389462 937431040 7058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30765] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30765/stat : 30765 (java) S 30756 30758 30691 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181389462 937431040 7058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30766] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30766/stat : 30766 (java) S 30756 30758 30691 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181389462 937431040 7058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460

[startup+2.99096 s]
/proc/loadavg: 1.92 2.00 1.99 3/94 30766
/proc/meminfo: memFree=1450832/2055920 swapFree=4163780/4192956
[pid=30758] ppid=30756 vsize=915460 CPUtime=2.93
/proc/30758/stat : 30758 (java) R 30756 30758 30691 0 -1 0 8299 0 1 0 289 4 0 0 25 0 8 0 181389454 937431040 8037 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073644456 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30758/statm: 228865 8037 2167 14 0 215335 0
[pid=30758/tid=30760] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30760/stat : 30760 (java) S 30756 30758 30691 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 181389458 937431040 8037 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30761] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30761/stat : 30761 (java) S 30756 30758 30691 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181389459 937431040 8037 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30762] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30762/stat : 30762 (java) S 30756 30758 30691 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181389459 937431040 8037 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30763] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30763/stat : 30763 (java) S 30756 30758 30691 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181389462 937431040 8037 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30764] ppid=30756 vsize=915460 CPUtime=0.09
/proc/30758/task/30764/stat : 30764 (java) S 30756 30758 30691 0 -1 64 325 0 0 0 9 0 0 0 16 0 8 0 181389462 937431040 8037 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30765] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30765/stat : 30765 (java) S 30756 30758 30691 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181389462 937431040 8037 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30766] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30766/stat : 30766 (java) S 30756 30758 30691 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181389462 937431040 8037 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915460

[startup+6.27928 s]
/proc/loadavg: 1.93 2.00 1.99 3/94 30766
/proc/meminfo: memFree=1442768/2055920 swapFree=4163780/4192956
[pid=30758] ppid=30756 vsize=915460 CPUtime=6.2
/proc/30758/stat : 30758 (java) R 30756 30758 30691 0 -1 0 10173 0 1 0 614 6 0 0 25 0 8 0 181389454 937431040 9911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073643666 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30758/statm: 228865 9911 2168 14 0 215335 0
[pid=30758/tid=30760] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30760/stat : 30760 (java) S 30756 30758 30691 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 181389458 937431040 9911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30761] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30761/stat : 30761 (java) S 30756 30758 30691 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181389459 937431040 9911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30762] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30762/stat : 30762 (java) S 30756 30758 30691 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181389459 937431040 9911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30763] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30763/stat : 30763 (java) S 30756 30758 30691 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181389462 937431040 9911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30764] ppid=30756 vsize=915460 CPUtime=0.11
/proc/30758/task/30764/stat : 30764 (java) S 30756 30758 30691 0 -1 64 337 0 0 0 11 0 0 0 15 0 8 0 181389462 937431040 9911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30765] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30765/stat : 30765 (java) S 30756 30758 30691 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181389462 937431040 9911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30766] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30766/stat : 30766 (java) S 30756 30758 30691 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181389462 937431040 9911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915460

[startup+12.7699 s]
/proc/loadavg: 1.93 2.00 1.99 3/94 30766
/proc/meminfo: memFree=1415768/2055920 swapFree=4163780/4192956
[pid=30758] ppid=30756 vsize=915460 CPUtime=12.63
/proc/30758/stat : 30758 (java) R 30756 30758 30691 0 -1 0 16971 0 1 0 1252 11 0 0 25 0 8 0 181389454 937431040 16707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073820571 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30758/statm: 228865 16707 2542 14 0 215335 0
[pid=30758/tid=30760] ppid=30756 vsize=915460 CPUtime=0.07
/proc/30758/task/30760/stat : 30760 (java) S 30756 30758 30691 0 -1 64 3208 0 0 0 6 1 0 0 17 0 8 0 181389458 937431040 16707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30761] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30761/stat : 30761 (java) S 30756 30758 30691 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181389459 937431040 16707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30762] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30762/stat : 30762 (java) S 30756 30758 30691 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181389459 937431040 16707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30763] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30763/stat : 30763 (java) S 30756 30758 30691 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181389462 937431040 16707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30764] ppid=30756 vsize=915460 CPUtime=0.19
/proc/30758/task/30764/stat : 30764 (java) S 30756 30758 30691 0 -1 64 377 0 0 0 18 1 0 0 15 0 8 0 181389462 937431040 16707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30765] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30765/stat : 30765 (java) S 30756 30758 30691 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181389462 937431040 16707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30766] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30766/stat : 30766 (java) S 30756 30758 30691 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181389462 937431040 16707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915460

[startup+25.6111 s]
/proc/loadavg: 1.95 2.00 1.99 3/94 30766
/proc/meminfo: memFree=1415704/2055920 swapFree=4163780/4192956
[pid=30758] ppid=30756 vsize=915460 CPUtime=25.35
/proc/30758/stat : 30758 (java) R 30756 30758 30691 0 -1 0 16998 0 1 0 2524 11 0 0 25 0 8 0 181389454 937431040 16730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918564 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30758/statm: 228865 16730 2543 14 0 215335 0
[pid=30758/tid=30760] ppid=30756 vsize=915460 CPUtime=0.07
/proc/30758/task/30760/stat : 30760 (java) S 30756 30758 30691 0 -1 64 3208 0 0 0 6 1 0 0 16 0 8 0 181389458 937431040 16730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30761] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30761/stat : 30761 (java) S 30756 30758 30691 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181389459 937431040 16730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30762] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30762/stat : 30762 (java) S 30756 30758 30691 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181389459 937431040 16730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30763] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30763/stat : 30763 (java) S 30756 30758 30691 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181389462 937431040 16730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30764] ppid=30756 vsize=915460 CPUtime=0.24
/proc/30758/task/30764/stat : 30764 (java) S 30756 30758 30691 0 -1 64 400 0 0 0 23 1 0 0 15 0 8 0 181389462 937431040 16730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30765] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30765/stat : 30765 (java) S 30756 30758 30691 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181389462 937431040 16730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30766] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30766/stat : 30766 (java) S 30756 30758 30691 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181389462 937431040 16730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915460

[startup+51.2306 s]
/proc/loadavg: 1.96 2.00 1.99 3/94 30766
/proc/meminfo: memFree=1415768/2055920 swapFree=4163780/4192956
[pid=30758] ppid=30756 vsize=915460 CPUtime=50.75
/proc/30758/stat : 30758 (java) R 30756 30758 30691 0 -1 0 17002 0 1 0 5063 12 0 0 25 0 8 0 181389454 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073833728 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30758/statm: 228865 16734 2543 14 0 215335 0
[pid=30758/tid=30760] ppid=30756 vsize=915460 CPUtime=0.07
/proc/30758/task/30760/stat : 30760 (java) S 30756 30758 30691 0 -1 64 3208 0 0 0 6 1 0 0 16 0 8 0 181389458 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30761] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30761/stat : 30761 (java) S 30756 30758 30691 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181389459 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30762] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30762/stat : 30762 (java) S 30756 30758 30691 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181389459 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30763] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30763/stat : 30763 (java) S 30756 30758 30691 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181389462 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30764] ppid=30756 vsize=915460 CPUtime=0.25
/proc/30758/task/30764/stat : 30764 (java) S 30756 30758 30691 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 181389462 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30765] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30765/stat : 30765 (java) S 30756 30758 30691 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181389462 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30766] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30766/stat : 30766 (java) S 30756 30758 30691 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181389462 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 915460

[startup+102.458 s]
/proc/loadavg: 1.98 2.00 1.99 3/94 30766
/proc/meminfo: memFree=1415768/2055920 swapFree=4163780/4192956
[pid=30758] ppid=30756 vsize=915460 CPUtime=101.53
/proc/30758/stat : 30758 (java) R 30756 30758 30691 0 -1 0 17002 0 1 0 10141 12 0 0 25 0 8 0 181389454 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073820411 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30758/statm: 228865 16734 2543 14 0 215335 0
[pid=30758/tid=30760] ppid=30756 vsize=915460 CPUtime=0.07
/proc/30758/task/30760/stat : 30760 (java) S 30756 30758 30691 0 -1 64 3208 0 0 0 6 1 0 0 16 0 8 0 181389458 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30761] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30761/stat : 30761 (java) S 30756 30758 30691 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181389459 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30762] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30762/stat : 30762 (java) S 30756 30758 30691 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181389459 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30763] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30763/stat : 30763 (java) S 30756 30758 30691 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181389462 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30764] ppid=30756 vsize=915460 CPUtime=0.25
/proc/30758/task/30764/stat : 30764 (java) S 30756 30758 30691 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 181389462 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30765] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30765/stat : 30765 (java) S 30756 30758 30691 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181389462 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30766] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30766/stat : 30766 (java) S 30756 30758 30691 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181389462 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.53
Current children cumulated vsize (KiB) 915460

[startup+162.537 s]
/proc/loadavg: 1.99 2.00 1.99 3/94 30766
/proc/meminfo: memFree=1415768/2055920 swapFree=4163780/4192956
[pid=30758] ppid=30756 vsize=915460 CPUtime=161.1
/proc/30758/stat : 30758 (java) R 30756 30758 30691 0 -1 0 17002 0 1 0 16097 13 0 0 25 0 8 0 181389454 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073820545 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+1484 s]
/proc/loadavg: 2.01 2.01 2.00 3/93 31031
/proc/meminfo: memFree=1380840/2055920 swapFree=4163780/4192956
[pid=30758] ppid=30756 vsize=915460 CPUtime=1477.64
/proc/30758/stat : 30758 (java) R 30756 30758 30691 0 -1 0 17004 0 1 0 147743 21 0 0 25 0 8 0 181389454 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073847424 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30758/statm: 228865 16734 2543 14 0 215335 0
[pid=30758/tid=30760] ppid=30756 vsize=915460 CPUtime=0.07
/proc/30758/task/30760/stat : 30760 (java) S 30756 30758 30691 0 -1 64 3208 0 0 0 6 1 0 0 16 0 8 0 181389458 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30761] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30761/stat : 30761 (java) S 30756 30758 30691 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181389459 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30762] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30762/stat : 30762 (java) S 30756 30758 30691 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181389459 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30763] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30763/stat : 30763 (java) S 30756 30758 30691 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181389462 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30764] ppid=30756 vsize=915460 CPUtime=0.25
/proc/30758/task/30764/stat : 30764 (java) S 30756 30758 30691 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 181389462 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30765] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30765/stat : 30765 (java) S 30756 30758 30691 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181389462 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30766] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30766/stat : 30766 (java) S 30756 30758 30691 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181389462 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1477.64
Current children cumulated vsize (KiB) 915460

[startup+1544.06 s]
/proc/loadavg: 2.08 2.02 2.01 3/93 31031
/proc/meminfo: memFree=1380840/2055920 swapFree=4163780/4192956
[pid=30758] ppid=30756 vsize=915460 CPUtime=1537.65
/proc/30758/stat : 30758 (java) R 30756 30758 30691 0 -1 0 17004 0 1 0 153744 21 0 0 25 0 8 0 181389454 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073820521 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30758/statm: 228865 16734 2543 14 0 215335 0
[pid=30758/tid=30760] ppid=30756 vsize=915460 CPUtime=0.07
/proc/30758/task/30760/stat : 30760 (java) S 30756 30758 30691 0 -1 64 3208 0 0 0 6 1 0 0 16 0 8 0 181389458 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30761] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30761/stat : 30761 (java) S 30756 30758 30691 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181389459 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30762] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30762/stat : 30762 (java) S 30756 30758 30691 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181389459 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30763] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30763/stat : 30763 (java) S 30756 30758 30691 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181389462 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30764] ppid=30756 vsize=915460 CPUtime=0.25
/proc/30758/task/30764/stat : 30764 (java) S 30756 30758 30691 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 181389462 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30765] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30765/stat : 30765 (java) S 30756 30758 30691 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181389462 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30766] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30766/stat : 30766 (java) S 30756 30758 30691 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181389462 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1537.65
Current children cumulated vsize (KiB) 915460

[startup+1604.12 s]
/proc/loadavg: 2.03 2.02 2.00 3/93 31031
/proc/meminfo: memFree=1380840/2055920 swapFree=4163780/4192956
[pid=30758] ppid=30756 vsize=915460 CPUtime=1597.63
/proc/30758/stat : 30758 (java) R 30756 30758 30691 0 -1 0 17004 0 1 0 159742 21 0 0 25 0 8 0 181389454 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073833808 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30758/statm: 228865 16734 2543 14 0 215335 0
[pid=30758/tid=30760] ppid=30756 vsize=915460 CPUtime=0.07
/proc/30758/task/30760/stat : 30760 (java) S 30756 30758 30691 0 -1 64 3208 0 0 0 6 1 0 0 16 0 8 0 181389458 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30761] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30761/stat : 30761 (java) S 30756 30758 30691 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181389459 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30762] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30762/stat : 30762 (java) S 30756 30758 30691 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181389459 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30763] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30763/stat : 30763 (java) S 30756 30758 30691 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181389462 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30764] ppid=30756 vsize=915460 CPUtime=0.25
/proc/30758/task/30764/stat : 30764 (java) S 30756 30758 30691 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 181389462 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30765] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30765/stat : 30765 (java) S 30756 30758 30691 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181389462 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30766] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30766/stat : 30766 (java) S 30756 30758 30691 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181389462 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1597.63
Current children cumulated vsize (KiB) 915460

[startup+1664.18 s]
/proc/loadavg: 2.01 2.01 2.00 4/93 31031
/proc/meminfo: memFree=1380840/2055920 swapFree=4163780/4192956
[pid=30758] ppid=30756 vsize=915460 CPUtime=1657.64
/proc/30758/stat : 30758 (java) R 30756 30758 30691 0 -1 0 17004 0 1 0 165743 21 0 0 25 0 8 0 181389454 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073820537 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30758/statm: 228865 16734 2543 14 0 215335 0
[pid=30758/tid=30760] ppid=30756 vsize=915460 CPUtime=0.07
/proc/30758/task/30760/stat : 30760 (java) S 30756 30758 30691 0 -1 64 3208 0 0 0 6 1 0 0 16 0 8 0 181389458 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30761] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30761/stat : 30761 (java) S 30756 30758 30691 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181389459 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30762] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30762/stat : 30762 (java) S 30756 30758 30691 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181389459 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30763] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30763/stat : 30763 (java) S 30756 30758 30691 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181389462 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30764] ppid=30756 vsize=915460 CPUtime=0.25
/proc/30758/task/30764/stat : 30764 (java) S 30756 30758 30691 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 181389462 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30765] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30765/stat : 30765 (java) S 30756 30758 30691 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181389462 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30766] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30766/stat : 30766 (java) S 30756 30758 30691 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181389462 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1657.64
Current children cumulated vsize (KiB) 915460

[startup+1724.24 s]
/proc/loadavg: 2.00 2.01 2.00 3/93 31031
/proc/meminfo: memFree=1380840/2055920 swapFree=4163780/4192956
[pid=30758] ppid=30756 vsize=915460 CPUtime=1717.66
/proc/30758/stat : 30758 (java) R 30756 30758 30691 0 -1 0 17004 0 1 0 171745 21 0 0 25 0 8 0 181389454 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073895446 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30758/statm: 228865 16734 2543 14 0 215335 0
[pid=30758/tid=30760] ppid=30756 vsize=915460 CPUtime=0.07
/proc/30758/task/30760/stat : 30760 (java) S 30756 30758 30691 0 -1 64 3208 0 0 0 6 1 0 0 16 0 8 0 181389458 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30761] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30761/stat : 30761 (java) S 30756 30758 30691 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181389459 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30762] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30762/stat : 30762 (java) S 30756 30758 30691 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181389459 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30763] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30763/stat : 30763 (java) S 30756 30758 30691 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181389462 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30764] ppid=30756 vsize=915460 CPUtime=0.25
/proc/30758/task/30764/stat : 30764 (java) S 30756 30758 30691 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 181389462 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30765] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30765/stat : 30765 (java) S 30756 30758 30691 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181389462 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30766] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30766/stat : 30766 (java) S 30756 30758 30691 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181389462 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1717.66
Current children cumulated vsize (KiB) 915460

[startup+1784.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 31031
/proc/meminfo: memFree=1380840/2055920 swapFree=4163780/4192956
[pid=30758] ppid=30756 vsize=915460 CPUtime=1777.64
/proc/30758/stat : 30758 (java) R 30756 30758 30691 0 -1 0 17004 0 1 0 177743 21 0 0 25 0 8 0 181389454 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073820504 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30758/statm: 228865 16734 2543 14 0 215335 0
[pid=30758/tid=30760] ppid=30756 vsize=915460 CPUtime=0.07
/proc/30758/task/30760/stat : 30760 (java) S 30756 30758 30691 0 -1 64 3208 0 0 0 6 1 0 0 16 0 8 0 181389458 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30761] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30761/stat : 30761 (java) S 30756 30758 30691 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181389459 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30762] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30762/stat : 30762 (java) S 30756 30758 30691 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181389459 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30763] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30763/stat : 30763 (java) S 30756 30758 30691 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181389462 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30764] ppid=30756 vsize=915460 CPUtime=0.25
/proc/30758/task/30764/stat : 30764 (java) S 30756 30758 30691 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 181389462 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30765] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30765/stat : 30765 (java) S 30756 30758 30691 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181389462 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30766] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30766/stat : 30766 (java) S 30756 30758 30691 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181389462 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1777.64
Current children cumulated vsize (KiB) 915460



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1806.71 s]
/proc/loadavg: 2.07 2.02 2.00 4/93 31031
/proc/meminfo: memFree=1380840/2055920 swapFree=4163780/4192956
[pid=30758] ppid=30756 vsize=915460 CPUtime=1800.04
/proc/30758/stat : 30758 (java) R 30756 30758 30691 0 -1 0 17004 0 1 0 179983 21 0 0 25 0 8 0 181389454 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073820478 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30758/statm: 228865 16734 2543 14 0 215335 0
[pid=30758/tid=30760] ppid=30756 vsize=915460 CPUtime=0.07
/proc/30758/task/30760/stat : 30760 (java) S 30756 30758 30691 0 -1 64 3208 0 0 0 6 1 0 0 16 0 8 0 181389458 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30761] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30761/stat : 30761 (java) S 30756 30758 30691 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181389459 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30762] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30762/stat : 30762 (java) S 30756 30758 30691 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181389459 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30763] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30763/stat : 30763 (java) S 30756 30758 30691 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181389462 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30764] ppid=30756 vsize=915460 CPUtime=0.25
/proc/30758/task/30764/stat : 30764 (java) S 30756 30758 30691 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 181389462 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30765] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30765/stat : 30765 (java) S 30756 30758 30691 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181389462 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30758/tid=30766] ppid=30756 vsize=915460 CPUtime=0
/proc/30758/task/30766/stat : 30766 (java) S 30756 30758 30691 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181389462 937431040 16734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 915460

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

Child status: 143
Real time (s): 1806.76
CPU time (s): 1800.09
CPU user time (s): 1799.86
CPU system time (s): 0.225965
CPU usage (%): 99.631
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.86
system time used= 0.225965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17021
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= 37824
involuntary context switches= 60288

runsolver used 2.31265 s user time and 5.70213 s system time

The end

Launcher Data (download as text)

Begin job on node14 on Tue Jan  9 08:05:45 UTC 2007


IDJOB= 234033
IDBENCH= 6655
FILE ID= node14/234033-1168329945

PBS_JOBID= 3503051

Free space on /tmp= 66551 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  ebdfda856dfd036416c301c32875da0c

RANDOM SEED= 348200316

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.227
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.227
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:       1473384 kB
Buffers:         69612 kB
Cached:         404140 kB
SwapCached:       4084 kB
Active:         241196 kB
Inactive:       270396 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1473384 kB
SwapTotal:     4192956 kB
SwapFree:      4163780 kB
Dirty:            1876 kB
Writeback:           0 kB
Mapped:          47460 kB
Slab:            55920 kB
Committed_AS:  6129636 kB
PageTables:       2172 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= 66558 MiB



End job on node14 on Tue Jan  9 08:35:52 UTC 2007