Trace number 277377

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
AbsconMax 109 PFCMSAT (TO) 2400.06 2416.34

General information on the benchmark

Nametaillard/
os-taillard-7/os-taillard-7-95-8.xml
MD5SUMbe7c75aa56bdb6eb789d736a14ca44d8
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints289
Best CPU time to get the best result obtained on this benchmark2400.06
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables49
Number of constraints294
Maximum constraint arity2
Maximum domain size430
Number of constraints which are defined in extension0
Number of constraints which are defined in intension294
Global constraints used (with number of constraints)

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=pfc.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/277377-1169266017/unknown.xml
0.37	   
0.37	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.43	     nbVariables=49  nbDomainTypes=49  minDomainSize=341  maxDomainSize=430
0.43	       =>  wckTime=0.119  cpuTime=0.1  mem=7M869
0.43	   
0.43	   predicates being loaded...
0.43	   
0.43	   constraints being loaded...
12.36	     nbConstraints=294  nbConvertedConstraints=294  nbConvertConstraintsChecks=42441653  nbExtensionStructures=294
12.36	     nbSharedExtensionStructures=0  nbConflictsStructures=294  nbSharedConflictsStructures=0
12.36	     nbSharedBinaryRepresentations=74759  maxDegree=12  maxArity=2
12.36	       =>  wckTime=12.05  cpuTime=11.84  mem=37M220
12.46	   
12.46	   solver LocalSearchSolver being built... 
12.49	       =>  wckTime=12.188  cpuTime=11.89  mem=19M44
12.51	
12.51	s SATISFIABLE
12.51	o 215
12.51	c 79
12.51	o 222
12.51	c 72
12.52	o 229
12.52	c 65
12.52	o 234
12.52	c 60
12.52	o 238
12.52	c 56
12.52	o 241
12.52	c 53
12.52	o 242
12.52	c 52
12.53	o 245
12.53	c 49
12.53	o 249
12.53	c 45
12.53	o 251
12.53	c 43
12.53	o 253
12.53	c 41
12.53	o 255
12.53	c 39
12.54	o 257
12.54	c 37
12.54	o 258
12.54	c 36
12.54	o 259
12.54	c 35
12.55	o 261
12.55	c 33
12.55	o 263
12.55	c 31
12.55	o 265
12.55	c 29
12.55	o 266
12.55	c 28
12.55	o 267
12.55	c 27
12.56	o 268
12.56	c 26
12.56	o 270
12.56	c 24
12.57	o 271
12.57	c 23
12.59	o 272
12.59	c 22
12.59	o 273
12.59	c 21
12.65	o 274
12.65	c 20
12.71	o 276
12.71	c 18
12.72	o 277
12.72	c 17
12.85	o 278
12.85	c 16
12.85	o 279
12.85	c 15
12.86	o 280
12.86	c 14
12.86	o 281
12.86	c 13
12.88	o 282
12.88	c 12
13.00	o 283
13.00	c 11
13.70	o 284
13.70	c 10
13.74	o 285
13.74	c 9
14.79	o 286
14.79	c 8
15.20	o 287
15.20	c 7
31.29	o 288
31.29	c 6
38.71	o 289
38.71	c 5
61.31	   
61.31	   search
61.31	     run=0  nbConstraintChecks=458095423  nbAssignments=10000
61.31	       =>  wckTime=48.818  cpuTime=48.34  mem=19M44
68.99	   
68.99	   search
68.99	     run=1  nbConstraintChecks=530392798  nbAssignments=11465
68.99	       =>  wckTime=56.501  cpuTime=55.95  mem=19M44
69.00	   
69.00	   global
69.00	     nbConstraintChecks=530392798  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
69.00	     solvingWckTime=56.498  solvingCpuTime=55.95  expiredTime=no  totalExploration=no  nbFoundSolutions=0
69.00	     globalCpuTime=67.89
69.00	       =>  wckTime=68.689  cpuTime=67.84  mem=19M44
69.00	   
69.00	   solver IterativeSystematicSolver being built... 
69.13	       =>  wckTime=68.828  cpuTime=67.94  mem=30M187
69.15	   
69.15	   preprocessing
69.15	     nbConstraintChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
69.15	     detectedInconsistency=no
69.15	       =>  wckTime=0.013  cpuTime=0.01  mem=30M187
73.41	   
73.41	   search
73.41	     run=0  nbConstraintChecks=84124426  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=599
73.41	     nbFailedAssignments=555  nbBacktracks=10  nbVisitedNodes=1165  nbRestartNogoods=0
73.41	       =>  wckTime=4.278  cpuTime=4.21  mem=30M187
86.28	   
86.28	   search
86.28	     run=1  nbConstraintChecks=325116635  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2088
86.28	     nbFailedAssignments=1995  nbBacktracks=25  nbVisitedNodes=4109  nbRestartNogoods=90
86.28	       =>  wckTime=17.145  cpuTime=16.93  mem=30M187
93.27	   
93.27	   search
93.27	     run=2  nbConstraintChecks=462795038  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2925
93.27	     nbFailedAssignments=2779  nbBacktracks=47  nbVisitedNodes=5752  nbRestartNogoods=161
93.27	       =>  wckTime=24.14  cpuTime=23.86  mem=30M187
105.05	   
105.05	   search
105.05	     run=3  nbConstraintChecks=679060927  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=4345
105.05	     nbFailedAssignments=4133  nbBacktracks=80  nbVisitedNodes=8559  nbRestartNogoods=162
105.05	       =>  wckTime=35.918  cpuTime=35.53  mem=30M187
134.34	   
134.34	   search
134.34	     run=4  nbConstraintChecks=1335707436  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=9178
134.34	     nbFailedAssignments=8880  nbBacktracks=130  nbVisitedNodes=18189  nbRestartNogoods=389
134.34	       =>  wckTime=65.203  cpuTime=64.54  mem=30M187
181.96	   
181.96	   search
181.96	     run=5  nbConstraintChecks=2260787324  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=14468
181.96	     nbFailedAssignments=14062  nbBacktracks=205  nbVisitedNodes=28736  nbRestartNogoods=523
181.96	       =>  wckTime=112.827  cpuTime=111.73  mem=30M187
213.79	   
213.79	   search
213.79	     run=6  nbConstraintChecks=2854320629  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=18238
213.79	     nbFailedAssignments=17687  nbBacktracks=318  nbVisitedNodes=36244  nbRestartNogoods=688
213.79	       =>  wckTime=144.654  cpuTime=143.27  mem=30M187
257.01	   
257.01	   search
257.01	     run=7  nbConstraintChecks=3724849012  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=24070
257.01	     nbFailedAssignments=23315  nbBacktracks=488  nbVisitedNodes=47874  nbRestartNogoods=770
257.01	       =>  wckTime=187.878  cpuTime=186.09  mem=30M187
302.21	   
302.21	   search
302.21	     run=8  nbConstraintChecks=4630440952  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=30889
302.21	     nbFailedAssignments=29846  nbBacktracks=744  nbVisitedNodes=61480  nbRestartNogoods=824
302.21	       =>  wckTime=233.078  cpuTime=230.88  mem=30M187
374.33	   
374.33	   search
374.33	     run=9  nbConstraintChecks=5713251425  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=36155
374.33	     nbFailedAssignments=34698  nbBacktracks=1128  nbVisitedNodes=71982  nbRestartNogoods=929
374.33	       =>  wckTime=305.2  cpuTime=302.35  mem=30M187
452.51	   
452.51	   search
452.51	     run=10  nbConstraintChecks=7228203608  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=47660
452.51	     nbFailedAssignments=45595  nbBacktracks=1704  nbVisitedNodes=94960  nbRestartNogoods=1023
452.51	       =>  wckTime=383.374  cpuTime=379.81  mem=30M187
667.91	   
667.91	   search
667.91	     run=11  nbConstraintChecks=11328338658  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=69719
667.91	     nbFailedAssignments=66761  nbBacktracks=2568  nbVisitedNodes=139049  nbRestartNogoods=1137
667.91	       =>  wckTime=598.779  cpuTime=593.25  mem=30M187
806.68	   
806.68	   search
806.68	     run=12  nbConstraintChecks=13356269072  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=79545
806.68	     nbFailedAssignments=75268  nbBacktracks=3865  nbVisitedNodes=158679  nbRestartNogoods=1247
806.68	       =>  wckTime=737.542  cpuTime=730.75  mem=31M148
1336.68	   
1336.68	   search
1336.68	     run=13  nbConstraintChecks=23046833033  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=140373
1336.68	     nbFailedAssignments=134121  nbBacktracks=5811  nbVisitedNodes=280306  nbRestartNogoods=1342
1336.68	       =>  wckTime=1267.541  cpuTime=1256.87  mem=31M148
2416.31	v 344 162 376 22 310 90 233 309 203 265 26 68 136 388 92 281 138 383 0 235 305 204 318 93 2 385 162 343 234 383 299 26 205 104 4 1 407 238 301 69 142 90 73 373 0 192 278 280 94

Verifier Data (download as text)

5 unsatisfied constraints, 289 satisfied constraints

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node47/watcher-277377-1169266017 -o ROOT/results/node47/solver-277377-1169266017 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277377-1169266017/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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.22 1.63 1.85 5/80 24614
/proc/meminfo: memFree=1318248/2055920 swapFree=4184008/4192956
[pid=24613] ppid=24611 vsize=906644 CPUtime=0.02
/proc/24613/stat : 24613 (java) S 24611 24613 24396 0 -1 0 2069 0 1 0 1 1 0 0 18 0 2 0 275000986 928403456 1818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/24613/statm: 226661 1818 1036 14 0 214244 0
[pid=24613/tid=24615] ppid=24611 vsize=906644 CPUtime=0
/proc/24613/task/24615/stat : 24615 (java) R 24611 24613 24396 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 275000989 928403456 1818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0

[startup+0.104717 s]
/proc/loadavg: 1.22 1.63 1.85 5/80 24614
/proc/meminfo: memFree=1318248/2055920 swapFree=4184008/4192956
[pid=24613] ppid=24611 vsize=914988 CPUtime=0.09
/proc/24613/stat : 24613 (java) R 24611 24613 24396 0 -1 0 3007 0 1 0 7 2 0 0 17 0 8 0 275000986 936947712 2753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153609876 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24613/statm: 228747 2753 1431 14 0 215242 0
[pid=24613/tid=24615] ppid=24611 vsize=914988 CPUtime=0
/proc/24613/task/24615/stat : 24615 (java) S 24611 24613 24396 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 275000989 936947712 2753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.512755 s]
/proc/loadavg: 1.22 1.63 1.85 5/80 24614
/proc/meminfo: memFree=1318248/2055920 swapFree=4184008/4192956
[pid=24613] ppid=24611 vsize=915332 CPUtime=0.49
/proc/24613/stat : 24613 (java) R 24611 24613 24396 0 -1 0 6677 0 1 0 45 4 0 0 17 0 8 0 275000986 937299968 6416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072941836 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24613/statm: 228833 6416 2147 14 0 215303 0
[pid=24613/tid=24615] ppid=24611 vsize=915332 CPUtime=0
/proc/24613/task/24615/stat : 24615 (java) S 24611 24613 24396 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 275000989 937299968 6416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33384 s]
/proc/loadavg: 1.28 1.64 1.85 4/87 24621
/proc/meminfo: memFree=1287536/2055920 swapFree=4184008/4192956
[pid=24613] ppid=24611 vsize=915472 CPUtime=1.31
/proc/24613/stat : 24613 (java) R 24611 24613 24396 0 -1 0 7344 0 1 0 126 5 0 0 24 0 8 0 275000986 937443328 7082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073639141 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24613/statm: 228868 7082 2168 14 0 215338 0
[pid=24613/tid=24615] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24615/stat : 24615 (java) S 24611 24613 24396 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 275000989 937443328 7082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24616] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24616/stat : 24616 (java) S 24611 24613 24396 0 -1 64 10 0 0 0 0 0 0 0 18 0 8 0 275000990 937443328 7082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24617] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24617/stat : 24617 (java) S 24611 24613 24396 0 -1 64 4 0 0 0 0 0 0 0 19 0 8 0 275000990 937443328 7082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24618] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24618/stat : 24618 (java) S 24611 24613 24396 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275000993 937443328 7082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24619] ppid=24611 vsize=915472 CPUtime=0.1
/proc/24613/task/24619/stat : 24619 (java) S 24611 24613 24396 0 -1 64 319 0 0 0 10 0 0 0 16 0 8 0 275000993 937443328 7082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24620] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24620/stat : 24620 (java) S 24611 24613 24396 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275000993 937443328 7082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24621] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24621/stat : 24621 (java) S 24611 24613 24396 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275000993 937443328 7082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915472

[startup+2.97101 s]
/proc/loadavg: 1.28 1.64 1.85 3/87 24621
/proc/meminfo: memFree=1251504/2055920 swapFree=4184008/4192956
[pid=24613] ppid=24611 vsize=915472 CPUtime=2.92
/proc/24613/stat : 24613 (java) R 24611 24613 24396 0 -1 0 8304 0 1 0 287 5 0 0 25 0 8 0 275000986 937443328 8041 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073641874 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24613/statm: 228868 8041 2168 14 0 215338 0
[pid=24613/tid=24615] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24615/stat : 24615 (java) S 24611 24613 24396 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 275000989 937443328 8041 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24616] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24616/stat : 24616 (java) S 24611 24613 24396 0 -1 64 10 0 0 0 0 0 0 0 18 0 8 0 275000990 937443328 8041 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24617] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24617/stat : 24617 (java) S 24611 24613 24396 0 -1 64 4 0 0 0 0 0 0 0 19 0 8 0 275000990 937443328 8041 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24618] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24618/stat : 24618 (java) S 24611 24613 24396 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275000993 937443328 8041 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24619] ppid=24611 vsize=915472 CPUtime=0.1
/proc/24613/task/24619/stat : 24619 (java) S 24611 24613 24396 0 -1 64 320 0 0 0 10 0 0 0 16 0 8 0 275000993 937443328 8041 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24620] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24620/stat : 24620 (java) S 24611 24613 24396 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275000993 937443328 8041 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24621] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24621/stat : 24621 (java) S 24611 24613 24396 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275000993 937443328 8041 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915472

[startup+6.17435 s]
/proc/loadavg: 1.28 1.64 1.85 3/87 24621
/proc/meminfo: memFree=1243440/2055920 swapFree=4184008/4192956
[pid=24613] ppid=24611 vsize=915472 CPUtime=6.1
/proc/24613/stat : 24613 (java) R 24611 24613 24396 0 -1 0 10143 0 1 0 604 6 0 0 25 0 8 0 275000986 937443328 9880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073470044 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24613/statm: 228868 9880 2169 14 0 215338 0
[pid=24613/tid=24615] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24615/stat : 24615 (java) S 24611 24613 24396 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 275000989 937443328 9880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24616] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24616/stat : 24616 (java) S 24611 24613 24396 0 -1 64 10 0 0 0 0 0 0 0 18 0 8 0 275000990 937443328 9880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24617] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24617/stat : 24617 (java) S 24611 24613 24396 0 -1 64 4 0 0 0 0 0 0 0 19 0 8 0 275000990 937443328 9880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24618] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24618/stat : 24618 (java) S 24611 24613 24396 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275000993 937443328 9880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24619] ppid=24611 vsize=915472 CPUtime=0.12
/proc/24613/task/24619/stat : 24619 (java) S 24611 24613 24396 0 -1 64 334 0 0 0 12 0 0 0 16 0 8 0 275000993 937443328 9880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24620] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24620/stat : 24620 (java) S 24611 24613 24396 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275000993 937443328 9880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24621] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24621/stat : 24621 (java) S 24611 24613 24396 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275000993 937443328 9880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915472

[startup+12.641 s]
/proc/loadavg: 1.39 1.65 1.85 4/87 24621
/proc/meminfo: memFree=1223280/2055920 swapFree=4184008/4192956
[pid=24613] ppid=24611 vsize=915472 CPUtime=12.5
/proc/24613/stat : 24613 (java) R 24611 24613 24396 0 -1 0 17393 0 1 0 1240 10 0 0 25 0 8 0 275000986 937443328 17128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073741926 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24613/statm: 228868 17128 2497 14 0 215338 0
[pid=24613/tid=24615] ppid=24611 vsize=915472 CPUtime=0.07
/proc/24613/task/24615/stat : 24615 (java) S 24611 24613 24396 0 -1 64 3461 0 0 0 6 1 0 0 16 0 8 0 275000989 937443328 17128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24616] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24616/stat : 24616 (java) S 24611 24613 24396 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275000990 937443328 17128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24617] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24617/stat : 24617 (java) S 24611 24613 24396 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275000990 937443328 17128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24618] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24618/stat : 24618 (java) S 24611 24613 24396 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275000993 937443328 17128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24619] ppid=24611 vsize=915472 CPUtime=0.14
/proc/24613/task/24619/stat : 24619 (java) S 24611 24613 24396 0 -1 64 346 0 0 0 14 0 0 0 15 0 8 0 275000993 937443328 17128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24620] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24620/stat : 24620 (java) S 24611 24613 24396 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275000993 937443328 17128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24621] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24621/stat : 24621 (java) S 24611 24613 24396 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275000993 937443328 17128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 915472

[startup+25.5074 s]
/proc/loadavg: 1.49 1.66 1.85 3/87 24621
/proc/meminfo: memFree=1170736/2055920 swapFree=4184008/4192956
[pid=24613] ppid=24611 vsize=915472 CPUtime=25.25
/proc/24613/stat : 24613 (java) R 24611 24613 24396 0 -1 0 17399 0 1 0 2500 25 0 0 25 0 8 0 275000986 937443328 17133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073748150 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24613/statm: 228868 17133 2497 14 0 215338 0
[pid=24613/tid=24615] ppid=24611 vsize=915472 CPUtime=0.07
/proc/24613/task/24615/stat : 24615 (java) S 24611 24613 24396 0 -1 64 3461 0 0 0 6 1 0 0 16 0 8 0 275000989 937443328 17133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24616] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24616/stat : 24616 (java) S 24611 24613 24396 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275000990 937443328 17133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24617] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24617/stat : 24617 (java) S 24611 24613 24396 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275000990 937443328 17133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24618] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24618/stat : 24618 (java) S 24611 24613 24396 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275000993 937443328 17133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24619] ppid=24611 vsize=915472 CPUtime=0.15
/proc/24613/task/24619/stat : 24619 (java) S 24611 24613 24396 0 -1 64 351 0 0 0 15 0 0 0 16 0 8 0 275000993 937443328 17133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24620] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24620/stat : 24620 (java) S 24611 24613 24396 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275000993 937443328 17133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24621] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24621/stat : 24621 (java) S 24611 24613 24396 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275000993 937443328 17133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 915472

[startup+51.1331 s]
/proc/loadavg: 1.69 1.69 1.86 3/87 24621
/proc/meminfo: memFree=1170736/2055920 swapFree=4184008/4192956
[pid=24613] ppid=24611 vsize=915472 CPUtime=50.64
/proc/24613/stat : 24613 (java) R 24611 24613 24396 0 -1 0 17399 0 1 0 5012 52 0 0 25 0 8 0 275000986 937443328 17133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073744160 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24613/statm: 228868 17133 2497 14 0 215338 0
[pid=24613/tid=24615] ppid=24611 vsize=915472 CPUtime=0.07
/proc/24613/task/24615/stat : 24615 (java) S 24611 24613 24396 0 -1 64 3461 0 0 0 6 1 0 0 16 0 8 0 275000989 937443328 17133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24616] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24616/stat : 24616 (java) S 24611 24613 24396 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275000990 937443328 17133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24617] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24617/stat : 24617 (java) S 24611 24613 24396 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275000990 937443328 17133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24618] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24618/stat : 24618 (java) S 24611 24613 24396 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275000993 937443328 17133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24619] ppid=24611 vsize=915472 CPUtime=0.15
/proc/24613/task/24619/stat : 24619 (java) S 24611 24613 24396 0 -1 64 351 0 0 0 15 0 0 0 16 0 8 0 275000993 937443328 17133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24620] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24620/stat : 24620 (java) S 24611 24613 24396 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275000993 937443328 17133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24621] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24621/stat : 24621 (java) S 24611 24613 24396 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275000993 937443328 17133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 915472

[startup+102.378 s]
/proc/loadavg: 1.86 1.74 1.86 3/87 24621
/proc/meminfo: memFree=1170288/2055920 swapFree=4184008/4192956
[pid=24613] ppid=24611 vsize=915472 CPUtime=101.42
/proc/24613/stat : 24613 (java) R 24611 24613 24396 0 -1 0 17557 0 1 0 10070 72 0 0 25 0 8 0 275000986 937443328 17281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073873048 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24613/statm: 228868 17281 2545 14 0 215338 0
[pid=24613/tid=24615] ppid=24611 vsize=915472 CPUtime=0.07
/proc/24613/task/24615/stat : 24615 (java) S 24611 24613 24396 0 -1 64 3462 0 0 0 6 1 0 0 16 0 8 0 275000989 937443328 17281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24616] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24616/stat : 24616 (java) S 24611 24613 24396 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275000990 937443328 17281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24617] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24617/stat : 24617 (java) S 24611 24613 24396 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275000990 937443328 17281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24618] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24618/stat : 24618 (java) S 24611 24613 24396 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275000993 937443328 17281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24619] ppid=24611 vsize=915472 CPUtime=0.27
/proc/24613/task/24619/stat : 24619 (java) S 24611 24613 24396 0 -1 64 412 0 0 0 26 1 0 0 16 0 8 0 275000993 937443328 17281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24620] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24620/stat : 24620 (java) S 24611 24613 24396 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275000993 937443328 17281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24621] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24621/stat : 24621 (java) R 24611 24613 24396 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275000993 937443328 17281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.42
Current children cumulated vsize (KiB) 915472

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

Current children cumulated CPU time (s) 2010.2
Current children cumulated vsize (KiB) 915472

[startup+2084.74 s]
/proc/loadavg: 2.00 1.99 1.91 3/87 24623
/proc/meminfo: memFree=1147632/2055920 swapFree=4184008/4192956
[pid=24613] ppid=24611 vsize=915472 CPUtime=2070
/proc/24613/stat : 24613 (java) R 24611 24613 24396 0 -1 0 17564 0 1 0 206926 74 0 0 25 0 8 0 275000986 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918484 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24613/statm: 228868 17285 2545 14 0 215338 0
[pid=24613/tid=24615] ppid=24611 vsize=915472 CPUtime=0.07
/proc/24613/task/24615/stat : 24615 (java) S 24611 24613 24396 0 -1 64 3462 0 0 0 6 1 0 0 16 0 8 0 275000989 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24616] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24616/stat : 24616 (java) S 24611 24613 24396 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275000990 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24617] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24617/stat : 24617 (java) S 24611 24613 24396 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275000990 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24618] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24618/stat : 24618 (java) S 24611 24613 24396 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275000993 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24619] ppid=24611 vsize=915472 CPUtime=0.28
/proc/24613/task/24619/stat : 24619 (java) S 24611 24613 24396 0 -1 64 416 0 0 0 27 1 0 0 16 0 8 0 275000993 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24620] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24620/stat : 24620 (java) S 24611 24613 24396 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275000993 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24621] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24621/stat : 24621 (java) S 24611 24613 24396 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275000993 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2070
Current children cumulated vsize (KiB) 915472

[startup+2144.83 s]
/proc/loadavg: 2.00 1.99 1.91 3/87 24623
/proc/meminfo: memFree=1147568/2055920 swapFree=4184008/4192956
[pid=24613] ppid=24611 vsize=915472 CPUtime=2129.8
/proc/24613/stat : 24613 (java) R 24611 24613 24396 0 -1 0 17564 0 1 0 212906 74 0 0 25 0 8 0 275000986 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073866200 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24613/statm: 228868 17285 2545 14 0 215338 0
[pid=24613/tid=24615] ppid=24611 vsize=915472 CPUtime=0.07
/proc/24613/task/24615/stat : 24615 (java) S 24611 24613 24396 0 -1 64 3462 0 0 0 6 1 0 0 16 0 8 0 275000989 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24616] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24616/stat : 24616 (java) S 24611 24613 24396 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275000990 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24617] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24617/stat : 24617 (java) S 24611 24613 24396 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275000990 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24618] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24618/stat : 24618 (java) S 24611 24613 24396 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275000993 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24619] ppid=24611 vsize=915472 CPUtime=0.28
/proc/24613/task/24619/stat : 24619 (java) S 24611 24613 24396 0 -1 64 416 0 0 0 27 1 0 0 16 0 8 0 275000993 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24620] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24620/stat : 24620 (java) S 24611 24613 24396 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275000993 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24621] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24621/stat : 24621 (java) S 24611 24613 24396 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275000993 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2129.8
Current children cumulated vsize (KiB) 915472

[startup+2204.91 s]
/proc/loadavg: 2.00 1.99 1.91 3/87 24623
/proc/meminfo: memFree=1147632/2055920 swapFree=4184008/4192956
[pid=24613] ppid=24611 vsize=915472 CPUtime=2189.6
/proc/24613/stat : 24613 (java) R 24611 24613 24396 0 -1 0 17564 0 1 0 218886 74 0 0 25 0 8 0 275000986 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073871554 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24613/statm: 228868 17285 2545 14 0 215338 0
[pid=24613/tid=24615] ppid=24611 vsize=915472 CPUtime=0.07
/proc/24613/task/24615/stat : 24615 (java) S 24611 24613 24396 0 -1 64 3462 0 0 0 6 1 0 0 16 0 8 0 275000989 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24616] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24616/stat : 24616 (java) S 24611 24613 24396 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275000990 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24617] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24617/stat : 24617 (java) S 24611 24613 24396 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275000990 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24618] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24618/stat : 24618 (java) S 24611 24613 24396 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275000993 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24619] ppid=24611 vsize=915472 CPUtime=0.28
/proc/24613/task/24619/stat : 24619 (java) S 24611 24613 24396 0 -1 64 416 0 0 0 27 1 0 0 16 0 8 0 275000993 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24620] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24620/stat : 24620 (java) S 24611 24613 24396 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275000993 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24621] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24621/stat : 24621 (java) S 24611 24613 24396 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275000993 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2189.6
Current children cumulated vsize (KiB) 915472

[startup+2264.99 s]
/proc/loadavg: 2.00 1.99 1.91 3/87 24623
/proc/meminfo: memFree=1147568/2055920 swapFree=4184008/4192956
[pid=24613] ppid=24611 vsize=915472 CPUtime=2249.4
/proc/24613/stat : 24613 (java) R 24611 24613 24396 0 -1 0 17564 0 1 0 224866 74 0 0 25 0 8 0 275000986 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073739942 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24613/statm: 228868 17285 2545 14 0 215338 0
[pid=24613/tid=24615] ppid=24611 vsize=915472 CPUtime=0.07
/proc/24613/task/24615/stat : 24615 (java) S 24611 24613 24396 0 -1 64 3462 0 0 0 6 1 0 0 16 0 8 0 275000989 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24616] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24616/stat : 24616 (java) S 24611 24613 24396 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275000990 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24617] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24617/stat : 24617 (java) S 24611 24613 24396 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275000990 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24618] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24618/stat : 24618 (java) S 24611 24613 24396 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275000993 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24619] ppid=24611 vsize=915472 CPUtime=0.28
/proc/24613/task/24619/stat : 24619 (java) S 24611 24613 24396 0 -1 64 416 0 0 0 27 1 0 0 16 0 8 0 275000993 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24620] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24620/stat : 24620 (java) S 24611 24613 24396 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275000993 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24621] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24621/stat : 24621 (java) S 24611 24613 24396 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275000993 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2249.4
Current children cumulated vsize (KiB) 915472

[startup+2325.07 s]
/proc/loadavg: 2.00 1.99 1.91 3/87 24623
/proc/meminfo: memFree=1147632/2055920 swapFree=4184008/4192956
[pid=24613] ppid=24611 vsize=915472 CPUtime=2309.2
/proc/24613/stat : 24613 (java) R 24611 24613 24396 0 -1 0 17564 0 1 0 230846 74 0 0 25 0 8 0 275000986 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073871444 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24613/statm: 228868 17285 2545 14 0 215338 0
[pid=24613/tid=24615] ppid=24611 vsize=915472 CPUtime=0.07
/proc/24613/task/24615/stat : 24615 (java) S 24611 24613 24396 0 -1 64 3462 0 0 0 6 1 0 0 16 0 8 0 275000989 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24616] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24616/stat : 24616 (java) S 24611 24613 24396 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275000990 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24617] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24617/stat : 24617 (java) S 24611 24613 24396 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275000990 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24618] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24618/stat : 24618 (java) S 24611 24613 24396 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275000993 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24619] ppid=24611 vsize=915472 CPUtime=0.28
/proc/24613/task/24619/stat : 24619 (java) S 24611 24613 24396 0 -1 64 416 0 0 0 27 1 0 0 16 0 8 0 275000993 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24620] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24620/stat : 24620 (java) S 24611 24613 24396 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275000993 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24621] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24621/stat : 24621 (java) S 24611 24613 24396 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275000993 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2309.2
Current children cumulated vsize (KiB) 915472

[startup+2385.14 s]
/proc/loadavg: 1.78 1.94 1.90 3/87 24683
/proc/meminfo: memFree=1292584/2055920 swapFree=4184008/4192956
[pid=24613] ppid=24611 vsize=915472 CPUtime=2369.01
/proc/24613/stat : 24613 (java) R 24611 24613 24396 0 -1 0 17564 0 1 0 236826 75 0 0 25 0 8 0 275000986 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073878117 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24613/statm: 228868 17285 2545 14 0 215338 0
[pid=24613/tid=24615] ppid=24611 vsize=915472 CPUtime=0.07
/proc/24613/task/24615/stat : 24615 (java) S 24611 24613 24396 0 -1 64 3462 0 0 0 6 1 0 0 16 0 8 0 275000989 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24616] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24616/stat : 24616 (java) S 24611 24613 24396 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275000990 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24617] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24617/stat : 24617 (java) S 24611 24613 24396 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275000990 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24618] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24618/stat : 24618 (java) S 24611 24613 24396 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275000993 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24619] ppid=24611 vsize=915472 CPUtime=0.28
/proc/24613/task/24619/stat : 24619 (java) S 24611 24613 24396 0 -1 64 416 0 0 0 27 1 0 0 16 0 8 0 275000993 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24620] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24620/stat : 24620 (java) S 24611 24613 24396 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275000993 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24621] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24621/stat : 24621 (java) S 24611 24613 24396 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275000993 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2369.01
Current children cumulated vsize (KiB) 915472



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2416.3 s]
/proc/loadavg: 1.88 1.94 1.90 3/87 24683
/proc/meminfo: memFree=1257128/2055920 swapFree=4184008/4192956
[pid=24613] ppid=24611 vsize=915472 CPUtime=2400.01
/proc/24613/stat : 24613 (java) R 24611 24613 24396 0 -1 0 17564 0 1 0 239926 75 0 0 25 0 8 0 275000986 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073878311 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24613/statm: 228868 17285 2545 14 0 215338 0
[pid=24613/tid=24615] ppid=24611 vsize=915472 CPUtime=0.07
/proc/24613/task/24615/stat : 24615 (java) S 24611 24613 24396 0 -1 64 3462 0 0 0 6 1 0 0 16 0 8 0 275000989 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24616] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24616/stat : 24616 (java) S 24611 24613 24396 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275000990 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24617] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24617/stat : 24617 (java) S 24611 24613 24396 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275000990 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24618] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24618/stat : 24618 (java) S 24611 24613 24396 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275000993 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24619] ppid=24611 vsize=915472 CPUtime=0.28
/proc/24613/task/24619/stat : 24619 (java) S 24611 24613 24396 0 -1 64 416 0 0 0 27 1 0 0 16 0 8 0 275000993 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24620] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24620/stat : 24620 (java) S 24611 24613 24396 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275000993 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24621] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24621/stat : 24621 (java) S 24611 24613 24396 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275000993 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 915472

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

Child status: 143
Real time (s): 2416.34
CPU time (s): 2400.06
CPU user time (s): 2399.29
CPU system time (s): 0.768883
CPU usage (%): 99.326
Max. virtual memory (cumulated for all children) (KiB): 915476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.29
system time used= 0.768883
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17586
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= 50008
involuntary context switches= 83589

runsolver used 2.76458 s user time and 7.43287 s system time

The end

Launcher Data (download as text)

Begin job on node47 on Sat Jan 20 04:06:57 UTC 2007


IDJOB= 277377
IDBENCH= 6650
IDSOLVER= 69
FILE ID= node47/277377-1169266017

PBS_JOBID= 3607351

Free space on /tmp= 66561 MiB

SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-7/os-taillard-7-95-8.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277377-1169266017/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node47/watcher-277377-1169266017 -o ROOT/results/node47/solver-277377-1169266017 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277377-1169266017/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  be7c75aa56bdb6eb789d736a14ca44d8

RANDOM SEED= 555441384

TIME LIMIT= 2400 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.240
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.240
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:       1318728 kB
Buffers:         42444 kB
Cached:         526580 kB
SwapCached:       2924 kB
Active:         195116 kB
Inactive:       467428 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1318728 kB
SwapTotal:     4192956 kB
SwapFree:      4184008 kB
Dirty:            1736 kB
Writeback:           0 kB
Mapped:         108756 kB
Slab:            59764 kB
Committed_AS:  5712632 kB
PageTables:       2036 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= 66561 MiB



End job on node47 on Sat Jan 20 04:47:14 UTC 2007