Trace number 277376

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 EPFCMSAT (TO) 2400.15 2401.12

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.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=epfc.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/277376-1169266015/unknown.xml
0.37	   
0.37	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.43	     nbVariables=49  nbDomainTypes=49  minDomainSize=341  maxDomainSize=430
0.43	       =>  wckTime=0.117  cpuTime=0.1  mem=7M872
0.43	   
0.43	   predicates being loaded...
0.43	   
0.43	   constraints being loaded...
12.12	     nbConstraints=294  nbConvertedConstraints=294  nbConvertConstraintsChecks=42441653  nbExtensionStructures=294
12.12	     nbSharedExtensionStructures=0  nbConflictsStructures=294  nbSharedConflictsStructures=0
12.12	     nbSharedBinaryRepresentations=74759  maxDegree=12  maxArity=2
12.12	       =>  wckTime=11.815  cpuTime=11.72  mem=37M203
12.22	   
12.22	   solver LocalSearchSolver being built... 
12.26	       =>  wckTime=11.947  cpuTime=11.76  mem=19M46
12.27	
12.27	s SATISFIABLE
12.27	o 215
12.27	c 79
12.27	o 222
12.27	c 72
12.28	o 229
12.28	c 65
12.28	o 234
12.28	c 60
12.28	o 238
12.28	c 56
12.28	o 241
12.28	c 53
12.28	o 242
12.28	c 52
12.29	o 245
12.29	c 49
12.29	o 249
12.29	c 45
12.29	o 251
12.29	c 43
12.29	o 253
12.29	c 41
12.30	o 255
12.30	c 39
12.30	o 257
12.30	c 37
12.30	o 258
12.30	c 36
12.30	o 259
12.30	c 35
12.31	o 261
12.31	c 33
12.31	o 263
12.31	c 31
12.31	o 265
12.31	c 29
12.31	o 266
12.31	c 28
12.31	o 267
12.31	c 27
12.32	o 268
12.32	c 26
12.33	o 270
12.33	c 24
12.33	o 271
12.33	c 23
12.35	o 272
12.35	c 22
12.36	o 273
12.36	c 21
12.41	o 274
12.41	c 20
12.47	o 276
12.47	c 18
12.48	o 277
12.48	c 17
12.61	o 278
12.61	c 16
12.61	o 279
12.61	c 15
12.61	o 280
12.61	c 14
12.62	o 281
12.62	c 13
12.64	o 282
12.64	c 12
12.76	o 283
12.76	c 11
13.44	o 284
13.44	c 10
13.48	o 285
13.48	c 9
14.51	o 286
14.52	c 8
14.93	o 287
14.93	c 7
30.61	o 288
30.61	c 6
37.83	o 289
37.83	c 5
59.79	   
59.80	   search
59.80	     run=0  nbConstraintChecks=458095423  nbAssignments=10000
59.80	       =>  wckTime=47.538  cpuTime=47.5  mem=19M46
67.85	   
67.85	   search
67.85	     run=1  nbConstraintChecks=534954595  nbAssignments=11529
67.85	       =>  wckTime=55.598  cpuTime=55.55  mem=19M46
67.85	   
67.85	   global
67.85	     nbConstraintChecks=534954595  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
67.85	     solvingWckTime=55.595  solvingCpuTime=55.54  expiredTime=no  totalExploration=no  nbFoundSolutions=0
67.86	     globalCpuTime=67.35
67.86	       =>  wckTime=67.545  cpuTime=67.31  mem=19M46
67.86	   
67.86	   solver IterativeSystematicSolver being built... 
67.99	       =>  wckTime=67.679  cpuTime=67.41  mem=30M191
68.65	   
68.65	   preprocessing
68.65	     nbConstraintChecks=4381316  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
68.65	     detectedInconsistency=no
68.65	       =>  wckTime=0.658  cpuTime=0.62  mem=30M191
75.62	   
75.62	   search
75.62	     run=0  nbConstraintChecks=132010451  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=702
75.62	     nbFailedAssignments=658  nbBacktracks=10  nbVisitedNodes=1371  nbRestartNogoods=0
75.62	       =>  wckTime=7.625  cpuTime=7.58  mem=30M191
85.41	   
85.41	   search
85.41	     run=1  nbConstraintChecks=307711604  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1728
85.41	     nbFailedAssignments=1635  nbBacktracks=25  nbVisitedNodes=3389  nbRestartNogoods=128
85.41	       =>  wckTime=17.417  cpuTime=17.33  mem=30M191
97.50	   
97.50	   search
97.50	     run=2  nbConstraintChecks=557779082  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3042
97.50	     nbFailedAssignments=2897  nbBacktracks=47  nbVisitedNodes=5987  nbRestartNogoods=191
97.50	       =>  wckTime=29.506  cpuTime=29.41  mem=30M191
118.99	   
118.99	   search
118.99	     run=3  nbConstraintChecks=1002755617  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=6312
118.99	     nbFailedAssignments=6103  nbBacktracks=80  nbVisitedNodes=12496  nbRestartNogoods=192
118.99	       =>  wckTime=50.999  cpuTime=50.89  mem=30M191
150.31	   
150.31	   search
150.31	     run=4  nbConstraintChecks=1592835032  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=10539
150.31	     nbFailedAssignments=10249  nbBacktracks=130  nbVisitedNodes=20919  nbRestartNogoods=237
150.31	       =>  wckTime=82.317  cpuTime=82.21  mem=30M191
200.84	   
200.84	   search
200.84	     run=5  nbConstraintChecks=2496394874  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=15497
200.84	     nbFailedAssignments=15100  nbBacktracks=206  nbVisitedNodes=30804  nbRestartNogoods=243
200.84	       =>  wckTime=132.848  cpuTime=132.72  mem=30M191
237.80	   
237.80	   search
237.80	     run=6  nbConstraintChecks=3142897830  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=19822
237.80	     nbFailedAssignments=19277  nbBacktracks=319  nbVisitedNodes=39419  nbRestartNogoods=358
237.80	       =>  wckTime=169.808  cpuTime=169.66  mem=30M191
350.25	   
350.25	   search
350.25	     run=7  nbConstraintChecks=5185012192  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=30786
350.25	     nbFailedAssignments=30041  nbBacktracks=489  nbVisitedNodes=61317  nbRestartNogoods=555
350.25	       =>  wckTime=282.257  cpuTime=282.06  mem=30M191
391.69	   
391.69	   search
391.69	     run=8  nbConstraintChecks=5954602981  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=36008
391.69	     nbFailedAssignments=34975  nbBacktracks=745  nbVisitedNodes=71729  nbRestartNogoods=639
391.69	       =>  wckTime=323.696  cpuTime=323.49  mem=30M191
504.69	   
504.69	   search
504.69	     run=9  nbConstraintChecks=8075233335  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=46325
504.69	     nbFailedAssignments=44878  nbBacktracks=1129  nbVisitedNodes=92333  nbRestartNogoods=740
504.69	       =>  wckTime=436.702  cpuTime=436.45  mem=30M191
636.52	   
636.52	   search
636.52	     run=10  nbConstraintChecks=10642459644  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=60979
636.52	     nbFailedAssignments=58928  nbBacktracks=1705  nbVisitedNodes=121613  nbRestartNogoods=801
636.52	       =>  wckTime=568.524  cpuTime=568.22  mem=30M191
814.56	   
814.56	   search
814.56	     run=11  nbConstraintChecks=13883963899  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=84649
814.56	     nbFailedAssignments=81700  nbBacktracks=2569  nbVisitedNodes=168919  nbRestartNogoods=884
814.56	       =>  wckTime=746.573  cpuTime=746.21  mem=30M191
1360.97	   
1360.97	   search
1360.97	     run=12  nbConstraintChecks=22085363648  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=113919
1360.97	     nbFailedAssignments=109651  nbBacktracks=3866  nbVisitedNodes=227437  nbRestartNogoods=962
1360.97	       =>  wckTime=1292.977  cpuTime=1292.42  mem=30M191
2274.65	   
2274.65	   search
2274.65	     run=13  nbConstraintChecks=32961320210  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=165507
2274.65	     nbFailedAssignments=159274  nbBacktracks=5812  nbVisitedNodes=330581  nbRestartNogoods=1033
2274.65	       =>  wckTime=2206.662  cpuTime=2205.77  mem=30M191
2401.07	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/node33/watcher-277376-1169266015 -o ROOT/results/node33/solver-277376-1169266015 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277376-1169266015/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.36 1.69 1.83 4/80 31748
/proc/meminfo: memFree=1362928/2055920 swapFree=4192224/4192956
[pid=31747] ppid=31745 vsize=172 CPUtime=0
/proc/31747/stat : 31747 (java) R 31745 31747 31557 0 -1 0 215 0 0 0 0 0 0 0 18 0 1 0 274995572 176128 22 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 10924048 0 0 4096 0 0 0 0 17 1 0 0
/proc/31747/statm: 43 24 18 14 0 3 0

[startup+0.104141 s]
/proc/loadavg: 1.36 1.69 1.83 4/80 31748
/proc/meminfo: memFree=1362928/2055920 swapFree=4192224/4192956
[pid=31747] ppid=31745 vsize=914988 CPUtime=0.08
/proc/31747/stat : 31747 (java) R 31745 31747 31557 0 -1 0 2996 0 1 0 7 1 0 0 17 0 8 0 274995572 936947712 2742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31747/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.512231 s]
/proc/loadavg: 1.36 1.69 1.83 4/80 31748
/proc/meminfo: memFree=1362928/2055920 swapFree=4192224/4192956
[pid=31747] ppid=31745 vsize=915332 CPUtime=0.49
/proc/31747/stat : 31747 (java) R 31745 31747 31557 0 -1 0 6687 0 1 0 45 4 0 0 19 0 8 0 274995572 937299968 6426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073559117 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31747/statm: 228833 6426 2150 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.3334 s]
/proc/loadavg: 1.36 1.69 1.83 3/87 31755
/proc/meminfo: memFree=1343544/2055920 swapFree=4192224/4192956
[pid=31747] ppid=31745 vsize=915472 CPUtime=1.31
/proc/31747/stat : 31747 (java) R 31745 31747 31557 0 -1 0 7352 0 1 0 126 5 0 0 25 0 8 0 274995572 937443328 7090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073645406 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31747/statm: 228868 7090 2171 14 0 215338 0
[pid=31747/tid=31749] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31749/stat : 31749 (java) S 31745 31747 31557 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 274995576 937443328 7090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31750] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31750/stat : 31750 (java) S 31745 31747 31557 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 274995576 937443328 7090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31751] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31751/stat : 31751 (java) S 31745 31747 31557 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 274995576 937443328 7090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31752] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31752/stat : 31752 (java) S 31745 31747 31557 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274995579 937443328 7090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31753] ppid=31745 vsize=915472 CPUtime=0.11
/proc/31747/task/31753/stat : 31753 (java) S 31745 31747 31557 0 -1 64 320 0 0 0 10 1 0 0 16 0 8 0 274995579 937443328 7090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31754] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31754/stat : 31754 (java) S 31745 31747 31557 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274995579 937443328 7090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31755] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31755/stat : 31755 (java) S 31745 31747 31557 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274995579 937443328 7090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915472

[startup+2.97174 s]
/proc/loadavg: 1.36 1.69 1.83 3/87 31755
/proc/meminfo: memFree=1340920/2055920 swapFree=4192224/4192956
[pid=31747] ppid=31745 vsize=915472 CPUtime=2.95
/proc/31747/stat : 31747 (java) R 31745 31747 31557 0 -1 0 8346 0 1 0 290 5 0 0 25 0 8 0 274995572 937443328 8083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073638872 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31747/statm: 228868 8083 2171 14 0 215338 0
[pid=31747/tid=31749] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31749/stat : 31749 (java) S 31745 31747 31557 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 274995576 937443328 8083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31750] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31750/stat : 31750 (java) S 31745 31747 31557 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 274995576 937443328 8083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31751] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31751/stat : 31751 (java) S 31745 31747 31557 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 274995576 937443328 8083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31752] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31752/stat : 31752 (java) S 31745 31747 31557 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274995579 937443328 8083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31753] ppid=31745 vsize=915472 CPUtime=0.11
/proc/31747/task/31753/stat : 31753 (java) S 31745 31747 31557 0 -1 64 321 0 0 0 10 1 0 0 16 0 8 0 274995579 937443328 8083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31754] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31754/stat : 31754 (java) S 31745 31747 31557 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274995579 937443328 8083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31755] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31755/stat : 31755 (java) S 31745 31747 31557 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274995579 937443328 8083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915472

[startup+6.26543 s]
/proc/loadavg: 1.41 1.69 1.83 3/87 31755
/proc/meminfo: memFree=1332728/2055920 swapFree=4192224/4192956
[pid=31747] ppid=31745 vsize=915472 CPUtime=6.24
/proc/31747/stat : 31747 (java) R 31745 31747 31557 0 -1 0 10266 0 1 0 618 6 0 0 25 0 8 0 274995572 937443328 10003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470035 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31747/statm: 228868 10003 2172 14 0 215338 0
[pid=31747/tid=31749] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31749/stat : 31749 (java) S 31745 31747 31557 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 274995576 937443328 10003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31750] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31750/stat : 31750 (java) S 31745 31747 31557 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 274995576 937443328 10003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31751] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31751/stat : 31751 (java) S 31745 31747 31557 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 274995576 937443328 10003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31752] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31752/stat : 31752 (java) S 31745 31747 31557 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274995579 937443328 10003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31753] ppid=31745 vsize=915472 CPUtime=0.13
/proc/31747/task/31753/stat : 31753 (java) S 31745 31747 31557 0 -1 64 334 0 0 0 12 1 0 0 16 0 8 0 274995579 937443328 10003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31754] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31754/stat : 31754 (java) S 31745 31747 31557 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274995579 937443328 10003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31755] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31755/stat : 31755 (java) S 31745 31747 31557 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274995579 937443328 10003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915472

[startup+12.7388 s]
/proc/loadavg: 1.45 1.70 1.83 3/87 31755
/proc/meminfo: memFree=1304056/2055920 swapFree=4192224/4192956
[pid=31747] ppid=31745 vsize=915472 CPUtime=12.71
/proc/31747/stat : 31747 (java) R 31745 31747 31557 0 -1 0 17402 0 1 0 1260 11 0 0 25 0 8 0 274995572 937443328 17137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073742003 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31747/statm: 228868 17137 2500 14 0 215338 0
[pid=31747/tid=31749] ppid=31745 vsize=915472 CPUtime=0.07
/proc/31747/task/31749/stat : 31749 (java) S 31745 31747 31557 0 -1 64 3461 0 0 0 6 1 0 0 16 0 8 0 274995576 937443328 17137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31750] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31750/stat : 31750 (java) S 31745 31747 31557 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274995576 937443328 17137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31751] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31751/stat : 31751 (java) S 31745 31747 31557 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274995576 937443328 17137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31752] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31752/stat : 31752 (java) S 31745 31747 31557 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274995579 937443328 17137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31753] ppid=31745 vsize=915472 CPUtime=0.16
/proc/31747/task/31753/stat : 31753 (java) S 31745 31747 31557 0 -1 64 348 0 0 0 15 1 0 0 15 0 8 0 274995579 937443328 17137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31754] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31754/stat : 31754 (java) S 31745 31747 31557 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274995579 937443328 17137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31755] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31755/stat : 31755 (java) S 31745 31747 31557 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274995579 937443328 17137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915472

[startup+25.5985 s]
/proc/loadavg: 1.57 1.71 1.83 3/87 31755
/proc/meminfo: memFree=1262648/2055920 swapFree=4192224/4192956
[pid=31747] ppid=31745 vsize=915472 CPUtime=25.57
/proc/31747/stat : 31747 (java) R 31745 31747 31557 0 -1 0 17407 0 1 0 2528 29 0 0 25 0 8 0 274995572 937443328 17141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073741865 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31747/statm: 228868 17141 2500 14 0 215338 0
[pid=31747/tid=31749] ppid=31745 vsize=915472 CPUtime=0.07
/proc/31747/task/31749/stat : 31749 (java) S 31745 31747 31557 0 -1 64 3461 0 0 0 6 1 0 0 16 0 8 0 274995576 937443328 17141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31750] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31750/stat : 31750 (java) S 31745 31747 31557 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274995576 937443328 17141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31751] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31751/stat : 31751 (java) S 31745 31747 31557 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274995576 937443328 17141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31752] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31752/stat : 31752 (java) S 31745 31747 31557 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274995579 937443328 17141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31753] ppid=31745 vsize=915472 CPUtime=0.16
/proc/31747/task/31753/stat : 31753 (java) S 31745 31747 31557 0 -1 64 352 0 0 0 15 1 0 0 16 0 8 0 274995579 937443328 17141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31754] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31754/stat : 31754 (java) S 31745 31747 31557 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274995579 937443328 17141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31755] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31755/stat : 31755 (java) S 31745 31747 31557 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274995579 937443328 17141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.57
Current children cumulated vsize (KiB) 915472

[startup+51.2078 s]
/proc/loadavg: 1.72 1.73 1.83 3/87 31755
/proc/meminfo: memFree=1262584/2055920 swapFree=4192224/4192956
[pid=31747] ppid=31745 vsize=915472 CPUtime=51.16
/proc/31747/stat : 31747 (java) R 31745 31747 31557 0 -1 0 17407 0 1 0 5057 59 0 0 25 0 8 0 274995572 937443328 17141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073741932 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31747/statm: 228868 17141 2500 14 0 215338 0
[pid=31747/tid=31749] ppid=31745 vsize=915472 CPUtime=0.07
/proc/31747/task/31749/stat : 31749 (java) S 31745 31747 31557 0 -1 64 3461 0 0 0 6 1 0 0 16 0 8 0 274995576 937443328 17141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31750] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31750/stat : 31750 (java) S 31745 31747 31557 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274995576 937443328 17141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31751] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31751/stat : 31751 (java) S 31745 31747 31557 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274995576 937443328 17141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31752] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31752/stat : 31752 (java) S 31745 31747 31557 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274995579 937443328 17141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31753] ppid=31745 vsize=915472 CPUtime=0.16
/proc/31747/task/31753/stat : 31753 (java) S 31745 31747 31557 0 -1 64 352 0 0 0 15 1 0 0 16 0 8 0 274995579 937443328 17141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31754] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31754/stat : 31754 (java) S 31745 31747 31557 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274995579 937443328 17141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31755] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31755/stat : 31755 (java) S 31745 31747 31557 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274995579 937443328 17141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.16
Current children cumulated vsize (KiB) 915472

[startup+102.424 s]
/proc/loadavg: 1.91 1.79 1.84 3/87 31755
/proc/meminfo: memFree=1262264/2055920 swapFree=4192224/4192956
[pid=31747] ppid=31745 vsize=915472 CPUtime=102.36
/proc/31747/stat : 31747 (java) R 31745 31747 31557 0 -1 0 17571 0 1 0 10158 78 0 0 25 0 8 0 274995572 937443328 17294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918501 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31747/statm: 228868 17294 2550 14 0 215338 0
[pid=31747/tid=31749] ppid=31745 vsize=915472 CPUtime=0.07
/proc/31747/task/31749/stat : 31749 (java) S 31745 31747 31557 0 -1 64 3462 0 0 0 6 1 0 0 16 0 8 0 274995576 937443328 17294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31750] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31750/stat : 31750 (java) S 31745 31747 31557 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274995576 937443328 17294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31751] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31751/stat : 31751 (java) S 31745 31747 31557 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274995576 937443328 17294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31752] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31752/stat : 31752 (java) S 31745 31747 31557 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274995579 937443328 17294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31753] ppid=31745 vsize=915472 CPUtime=0.29
/proc/31747/task/31753/stat : 31753 (java) S 31745 31747 31557 0 -1 64 417 0 0 0 27 2 0 0 16 0 8 0 274995579 937443328 17294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31754] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31754/stat : 31754 (java) S 31745 31747 31557 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274995579 937443328 17294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31755] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31755/stat : 31755 (java) S 31745 31747 31557 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274995579 937443328 17294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.36
Current children cumulated vsize (KiB) 915472

[startup+162.492 s]
/proc/loadavg: 1.97 1.82 1.85 3/87 31755
/proc/meminfo: memFree=1262264/2055920 swapFree=4192224/4192956
[pid=31747] ppid=31745 vsize=915472 CPUtime=162.4
/proc/31747/stat : 31747 (java) R 31745 31747 31557 0 -1 0 17572 0 1 0 16162 78 0 0 25 0 8 0 274995572 937443328 17294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073739768 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+2084.94 s]
/proc/loadavg: 2.02 2.01 1.95 3/87 31757
/proc/meminfo: memFree=1240312/2055920 swapFree=4192224/4192956
[pid=31747] ppid=31745 vsize=915472 CPUtime=2084.16
/proc/31747/stat : 31747 (java) R 31745 31747 31557 0 -1 0 17576 0 1 0 208330 86 0 0 25 0 8 0 274995572 937443328 17298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073873715 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31747/statm: 228868 17298 2550 14 0 215338 0
[pid=31747/tid=31749] ppid=31745 vsize=915472 CPUtime=0.07
/proc/31747/task/31749/stat : 31749 (java) S 31745 31747 31557 0 -1 64 3462 0 0 0 6 1 0 0 16 0 8 0 274995576 937443328 17298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31750] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31750/stat : 31750 (java) S 31745 31747 31557 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274995576 937443328 17298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31751] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31751/stat : 31751 (java) S 31745 31747 31557 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274995576 937443328 17298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31752] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31752/stat : 31752 (java) S 31745 31747 31557 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274995579 937443328 17298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31753] ppid=31745 vsize=915472 CPUtime=0.3
/proc/31747/task/31753/stat : 31753 (java) S 31745 31747 31557 0 -1 64 421 0 0 0 28 2 0 0 16 0 8 0 274995579 937443328 17298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31754] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31754/stat : 31754 (java) S 31745 31747 31557 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274995579 937443328 17298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31755] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31755/stat : 31755 (java) S 31745 31747 31557 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274995579 937443328 17298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2084.16
Current children cumulated vsize (KiB) 915472

[startup+2145.02 s]
/proc/loadavg: 2.08 2.02 1.95 3/87 31757
/proc/meminfo: memFree=1240312/2055920 swapFree=4192224/4192956
[pid=31747] ppid=31745 vsize=915472 CPUtime=2144.22
/proc/31747/stat : 31747 (java) R 31745 31747 31557 0 -1 0 17576 0 1 0 214336 86 0 0 25 0 8 0 274995572 937443328 17298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073893559 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31747/statm: 228868 17298 2550 14 0 215338 0
[pid=31747/tid=31749] ppid=31745 vsize=915472 CPUtime=0.07
/proc/31747/task/31749/stat : 31749 (java) S 31745 31747 31557 0 -1 64 3462 0 0 0 6 1 0 0 16 0 8 0 274995576 937443328 17298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31750] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31750/stat : 31750 (java) S 31745 31747 31557 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274995576 937443328 17298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31751] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31751/stat : 31751 (java) S 31745 31747 31557 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274995576 937443328 17298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31752] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31752/stat : 31752 (java) S 31745 31747 31557 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274995579 937443328 17298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31753] ppid=31745 vsize=915472 CPUtime=0.3
/proc/31747/task/31753/stat : 31753 (java) S 31745 31747 31557 0 -1 64 421 0 0 0 28 2 0 0 16 0 8 0 274995579 937443328 17298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31754] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31754/stat : 31754 (java) S 31745 31747 31557 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274995579 937443328 17298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31755] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31755/stat : 31755 (java) S 31745 31747 31557 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274995579 937443328 17298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2144.22
Current children cumulated vsize (KiB) 915472

[startup+2205.11 s]
/proc/loadavg: 2.03 2.01 1.95 3/87 31757
/proc/meminfo: memFree=1240312/2055920 swapFree=4192224/4192956
[pid=31747] ppid=31745 vsize=915472 CPUtime=2204.28
/proc/31747/stat : 31747 (java) R 31745 31747 31557 0 -1 0 17576 0 1 0 220342 86 0 0 25 0 8 0 274995572 937443328 17298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073937632 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31747/statm: 228868 17298 2550 14 0 215338 0
[pid=31747/tid=31749] ppid=31745 vsize=915472 CPUtime=0.07
/proc/31747/task/31749/stat : 31749 (java) S 31745 31747 31557 0 -1 64 3462 0 0 0 6 1 0 0 16 0 8 0 274995576 937443328 17298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31750] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31750/stat : 31750 (java) S 31745 31747 31557 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274995576 937443328 17298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31751] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31751/stat : 31751 (java) S 31745 31747 31557 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274995576 937443328 17298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31752] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31752/stat : 31752 (java) S 31745 31747 31557 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274995579 937443328 17298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31753] ppid=31745 vsize=915472 CPUtime=0.3
/proc/31747/task/31753/stat : 31753 (java) S 31745 31747 31557 0 -1 64 421 0 0 0 28 2 0 0 16 0 8 0 274995579 937443328 17298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31754] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31754/stat : 31754 (java) S 31745 31747 31557 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274995579 937443328 17298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31755] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31755/stat : 31755 (java) S 31745 31747 31557 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274995579 937443328 17298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2204.28
Current children cumulated vsize (KiB) 915472

[startup+2265.19 s]
/proc/loadavg: 2.01 2.01 1.95 3/87 31757
/proc/meminfo: memFree=1240312/2055920 swapFree=4192224/4192956
[pid=31747] ppid=31745 vsize=915472 CPUtime=2264.34
/proc/31747/stat : 31747 (java) R 31745 31747 31557 0 -1 0 17576 0 1 0 226347 87 0 0 25 0 8 0 274995572 937443328 17298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073867441 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31747/statm: 228868 17298 2550 14 0 215338 0
[pid=31747/tid=31749] ppid=31745 vsize=915472 CPUtime=0.07
/proc/31747/task/31749/stat : 31749 (java) S 31745 31747 31557 0 -1 64 3462 0 0 0 6 1 0 0 16 0 8 0 274995576 937443328 17298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31750] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31750/stat : 31750 (java) S 31745 31747 31557 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274995576 937443328 17298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31751] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31751/stat : 31751 (java) S 31745 31747 31557 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274995576 937443328 17298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31752] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31752/stat : 31752 (java) S 31745 31747 31557 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274995579 937443328 17298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31753] ppid=31745 vsize=915472 CPUtime=0.3
/proc/31747/task/31753/stat : 31753 (java) S 31745 31747 31557 0 -1 64 421 0 0 0 28 2 0 0 16 0 8 0 274995579 937443328 17298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31754] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31754/stat : 31754 (java) S 31745 31747 31557 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274995579 937443328 17298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31755] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31755/stat : 31755 (java) S 31745 31747 31557 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274995579 937443328 17298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2264.34
Current children cumulated vsize (KiB) 915472

[startup+2325.26 s]
/proc/loadavg: 2.00 2.00 1.95 3/87 31757
/proc/meminfo: memFree=1240312/2055920 swapFree=4192224/4192956
[pid=31747] ppid=31745 vsize=915472 CPUtime=2324.39
/proc/31747/stat : 31747 (java) R 31745 31747 31557 0 -1 0 17577 0 1 0 232352 87 0 0 25 0 8 0 274995572 937443328 17298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073873690 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31747/statm: 228868 17298 2550 14 0 215338 0
[pid=31747/tid=31749] ppid=31745 vsize=915472 CPUtime=0.07
/proc/31747/task/31749/stat : 31749 (java) S 31745 31747 31557 0 -1 64 3462 0 0 0 6 1 0 0 16 0 8 0 274995576 937443328 17298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31750] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31750/stat : 31750 (java) S 31745 31747 31557 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274995576 937443328 17298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31751] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31751/stat : 31751 (java) S 31745 31747 31557 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274995576 937443328 17298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31752] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31752/stat : 31752 (java) S 31745 31747 31557 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274995579 937443328 17298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31753] ppid=31745 vsize=915472 CPUtime=0.3
/proc/31747/task/31753/stat : 31753 (java) S 31745 31747 31557 0 -1 64 421 0 0 0 28 2 0 0 16 0 8 0 274995579 937443328 17298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31754] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31754/stat : 31754 (java) S 31745 31747 31557 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274995579 937443328 17298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31755] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31755/stat : 31755 (java) S 31745 31747 31557 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274995579 937443328 17298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2324.39
Current children cumulated vsize (KiB) 915472

[startup+2385.32 s]
/proc/loadavg: 1.85 1.97 1.94 2/75 31770
/proc/meminfo: memFree=1425824/2055920 swapFree=4192224/4192956
[pid=31747] ppid=31745 vsize=915472 CPUtime=2384.42
/proc/31747/stat : 31747 (java) R 31745 31747 31557 0 -1 0 17577 0 1 0 238354 88 0 0 25 0 8 0 274995572 937443328 17298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073873595 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31747/statm: 228868 17298 2550 14 0 215338 0
[pid=31747/tid=31749] ppid=31745 vsize=915472 CPUtime=0.07
/proc/31747/task/31749/stat : 31749 (java) S 31745 31747 31557 0 -1 64 3462 0 0 0 6 1 0 0 16 0 8 0 274995576 937443328 17298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31750] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31750/stat : 31750 (java) S 31745 31747 31557 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274995576 937443328 17298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31751] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31751/stat : 31751 (java) S 31745 31747 31557 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274995576 937443328 17298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31752] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31752/stat : 31752 (java) S 31745 31747 31557 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274995579 937443328 17298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31753] ppid=31745 vsize=915472 CPUtime=0.3
/proc/31747/task/31753/stat : 31753 (java) S 31745 31747 31557 0 -1 64 421 0 0 0 28 2 0 0 16 0 8 0 274995579 937443328 17298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31754] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31754/stat : 31754 (java) S 31745 31747 31557 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274995579 937443328 17298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31755] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31755/stat : 31755 (java) S 31745 31747 31557 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274995579 937443328 17298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2384.42
Current children cumulated vsize (KiB) 915472



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2401.06 s]
/proc/loadavg: 1.89 1.97 1.94 3/88 31831
/proc/meminfo: memFree=1326056/2055920 swapFree=4192224/4192956
[pid=31747] ppid=31745 vsize=915472 CPUtime=2400.09
/proc/31747/stat : 31747 (java) R 31745 31747 31557 0 -1 0 17577 0 1 0 239921 88 0 0 25 0 8 0 274995572 937443328 17298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073866492 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31747/statm: 228868 17298 2550 14 0 215338 0
[pid=31747/tid=31749] ppid=31745 vsize=915472 CPUtime=0.07
/proc/31747/task/31749/stat : 31749 (java) S 31745 31747 31557 0 -1 64 3462 0 0 0 6 1 0 0 16 0 8 0 274995576 937443328 17298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31750] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31750/stat : 31750 (java) S 31745 31747 31557 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274995576 937443328 17298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31751] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31751/stat : 31751 (java) S 31745 31747 31557 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274995576 937443328 17298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31752] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31752/stat : 31752 (java) S 31745 31747 31557 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274995579 937443328 17298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31753] ppid=31745 vsize=915472 CPUtime=0.3
/proc/31747/task/31753/stat : 31753 (java) S 31745 31747 31557 0 -1 64 421 0 0 0 28 2 0 0 16 0 8 0 274995579 937443328 17298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31754] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31754/stat : 31754 (java) S 31745 31747 31557 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274995579 937443328 17298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31747/tid=31755] ppid=31745 vsize=915472 CPUtime=0
/proc/31747/task/31755/stat : 31755 (java) S 31745 31747 31557 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274995579 937443328 17298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 915472

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

Child status: 143
Real time (s): 2401.12
CPU time (s): 2400.15
CPU user time (s): 2399.26
CPU system time (s): 0.896863
CPU usage (%): 99.9598
Max. virtual memory (cumulated for all children) (KiB): 915476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.26
system time used= 0.896863
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17600
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= 49820
involuntary context switches= 54230

runsolver used 2.48862 s user time and 6.47602 s system time

The end

Launcher Data (download as text)

Begin job on node33 on Sat Jan 20 04:06:56 UTC 2007


IDJOB= 277376
IDBENCH= 6650
IDSOLVER= 68
FILE ID= node33/277376-1169266015

PBS_JOBID= 3607342

Free space on /tmp= 66561 MiB

SOLVER NAME= AbsconMax 109 EPFC
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 epfc.xml 1 XSax /tmp/evaluation/277376-1169266015/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node33/watcher-277376-1169266015 -o ROOT/results/node33/solver-277376-1169266015 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277376-1169266015/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  be7c75aa56bdb6eb789d736a14ca44d8

RANDOM SEED= 715215634

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.281
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.281
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:       1363344 kB
Buffers:         45068 kB
Cached:         437532 kB
SwapCached:        268 kB
Active:         295564 kB
Inactive:       327512 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1363344 kB
SwapTotal:     4192956 kB
SwapFree:      4192224 kB
Dirty:            1784 kB
Writeback:           0 kB
Mapped:         159308 kB
Slab:            54512 kB
Committed_AS:  5372336 kB
PageTables:       2048 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= 66563 MiB



End job on node33 on Sat Jan 20 04:47:01 UTC 2007