Trace number 275374

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.07 2413.12

General information on the benchmark

Namerandom/rand-2-40-19/
rand-2-40-19-443-230-11_ext.xml
MD5SUM88f7b2436b540d3b866e9a5fd2fd8d7c
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints337
Best CPU time to get the best result obtained on this benchmark289.719
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables40
Number of constraints338
Maximum constraint arity2
Maximum domain size19
Number of constraints which are defined in extension338
Number of constraints which are defined in intension0
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.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/275374-1169220847/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.42	     nbVariables=40  nbDomainTypes=1  minDomainSize=19  maxDomainSize=19
0.42	       =>  wckTime=0.102  cpuTime=0.09  mem=6M887
0.42	   
0.42	   relations being loaded...
0.53	   
0.53	   constraints being loaded...
0.64	     nbConstraints=338  nbRelationTypes=338  nbExtensionStructures=338  nbSharedExtensionStructures=0
0.64	     nbConflictsStructures=338  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=2948  maxDegree=23
0.64	     maxArity=2
0.64	       =>  wckTime=0.325  cpuTime=0.23  mem=12M740
0.69	   
0.69	   solver LocalSearchSolver being built... 
0.73	       =>  wckTime=0.413  cpuTime=0.28  mem=6M59
0.73	
0.73	s SATISFIABLE
0.73	o 252
0.73	c 86
0.74	o 259
0.74	c 79
0.74	o 263
0.74	c 75
0.74	o 265
0.74	c 73
0.74	o 268
0.74	c 70
0.74	o 269
0.74	c 69
0.74	o 273
0.74	c 65
0.74	o 275
0.74	c 63
0.74	o 277
0.74	c 61
0.74	o 278
0.74	c 60
0.75	o 280
0.75	c 58
0.75	o 284
0.75	c 54
0.75	o 287
0.75	c 51
0.75	o 288
0.75	c 50
0.75	o 290
0.75	c 48
0.75	o 291
0.75	c 47
0.75	o 292
0.75	c 46
0.75	o 293
0.75	c 45
0.75	o 294
0.75	c 44
0.76	o 297
0.76	c 41
0.76	o 300
0.76	c 38
0.76	o 303
0.76	c 35
0.76	o 305
0.76	c 33
0.76	o 306
0.76	c 32
0.76	o 307
0.76	c 31
0.76	o 309
0.77	c 29
0.77	o 310
0.77	c 28
0.77	o 312
0.77	c 26
0.77	o 313
0.77	c 25
0.77	o 314
0.77	c 24
0.77	o 315
0.77	c 23
0.77	o 316
0.77	c 22
0.77	o 318
0.77	c 20
0.77	o 319
0.77	c 19
0.77	o 320
0.77	c 18
0.78	o 321
0.78	c 17
0.79	o 323
0.79	c 15
0.79	o 325
0.79	c 13
0.80	o 326
0.80	c 12
0.80	o 327
0.80	c 11
0.80	o 329
0.81	c 9
0.81	o 330
0.81	c 8
0.81	o 332
0.81	c 6
0.89	o 333
0.89	c 5
1.10	o 334
1.10	c 4
1.10	o 335
1.10	c 3
1.51	o 336
1.51	c 2
4.06	   
4.06	   search
4.06	     run=0  nbConstraintChecks=23560523  nbAssignments=10000
4.06	       =>  wckTime=3.329  cpuTime=3.27  mem=6M59
7.48	   
7.48	   search
7.48	     run=1  nbConstraintChecks=48616231  nbAssignments=20000
7.48	       =>  wckTime=6.753  cpuTime=6.66  mem=6M59
10.61	   
10.61	   search
10.61	     run=2  nbConstraintChecks=70972934  nbAssignments=30000
10.61	       =>  wckTime=9.879  cpuTime=9.75  mem=6M59
14.05	   
14.05	   search
14.05	     run=3  nbConstraintChecks=96354401  nbAssignments=40000
14.05	       =>  wckTime=13.321  cpuTime=13.16  mem=6M59
17.25	   
17.25	   search
17.25	     run=4  nbConstraintChecks=119592480  nbAssignments=50000
17.25	       =>  wckTime=16.518  cpuTime=16.33  mem=6M59
20.54	   
20.54	   search
20.54	     run=5  nbConstraintChecks=143637200  nbAssignments=60000
20.54	       =>  wckTime=19.816  cpuTime=19.6  mem=6M59
23.66	   
23.66	   search
23.66	     run=6  nbConstraintChecks=166066316  nbAssignments=70000
23.66	       =>  wckTime=22.929  cpuTime=22.69  mem=6M59
27.12	   
27.12	   search
27.12	     run=7  nbConstraintChecks=191392869  nbAssignments=80000
27.12	       =>  wckTime=26.393  cpuTime=26.12  mem=6M59
30.41	   
30.41	   search
30.41	     run=8  nbConstraintChecks=215291124  nbAssignments=90000
30.41	       =>  wckTime=29.686  cpuTime=29.38  mem=6M59
31.78	   
31.78	   search
31.78	     run=9  nbConstraintChecks=225213485  nbAssignments=93963
31.78	       =>  wckTime=31.055  cpuTime=30.74  mem=6M59
31.78	   
31.78	   global
31.79	     nbConstraintChecks=225213485  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.79	     solvingWckTime=31.052  solvingCpuTime=30.74  expiredTime=no  totalExploration=no  nbFoundSolutions=0
31.79	     globalCpuTime=31.07
31.79	       =>  wckTime=31.469  cpuTime=31.02  mem=6M59
31.79	   
31.79	   solver IterativeSystematicSolver being built... 
31.92	       =>  wckTime=31.6  cpuTime=31.12  mem=16M967
32.01	   
32.01	   preprocessing
32.01	     nbConstraintChecks=87051  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
32.01	     detectedInconsistency=no
32.01	       =>  wckTime=0.092  cpuTime=0.06  mem=16M967
32.10	   
32.10	   search
32.10	     run=0  nbConstraintChecks=309769  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=58
32.10	     nbFailedAssignments=35  nbBacktracks=11  nbVisitedNodes=105  nbRestartNogoods=0
32.10	       =>  wckTime=0.186  cpuTime=0.15  mem=16M967
32.25	   
32.25	   search
32.25	     run=1  nbConstraintChecks=909565  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=165
32.25	     nbFailedAssignments=116  nbBacktracks=26  nbVisitedNodes=308  nbRestartNogoods=10
32.25	       =>  wckTime=0.334  cpuTime=0.29  mem=16M967
32.52	   
32.52	   search
32.52	     run=2  nbConstraintChecks=2009791  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=350
32.52	     nbFailedAssignments=269  nbBacktracks=48  nbVisitedNodes=668  nbRestartNogoods=31
32.52	       =>  wckTime=0.6  cpuTime=0.56  mem=16M967
32.85	   
32.85	   search
32.85	     run=3  nbConstraintChecks=3356032  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=579
32.85	     nbFailedAssignments=452  nbBacktracks=81  nbVisitedNodes=1113  nbRestartNogoods=34
32.85	       =>  wckTime=0.933  cpuTime=0.89  mem=16M967
33.23	   
33.23	   search
33.23	     run=4  nbConstraintChecks=4944306  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=862
33.23	     nbFailedAssignments=672  nbBacktracks=132  nbVisitedNodes=1667  nbRestartNogoods=60
33.23	       =>  wckTime=1.309  cpuTime=1.26  mem=16M967
33.72	   
33.72	   search
33.72	     run=5  nbConstraintChecks=7069539  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1232
33.72	     nbFailedAssignments=956  nbBacktracks=207  nbVisitedNodes=2396  nbRestartNogoods=83
33.72	       =>  wckTime=1.803  cpuTime=1.75  mem=16M967
34.54	   
34.54	   search
34.54	     run=6  nbConstraintChecks=10636965  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1817
34.54	     nbFailedAssignments=1415  nbBacktracks=321  nbVisitedNodes=3554  nbRestartNogoods=97
34.54	       =>  wckTime=2.622  cpuTime=2.55  mem=16M967
35.64	   
35.64	   search
35.64	     run=7  nbConstraintChecks=15146413  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2578
35.64	     nbFailedAssignments=1998  nbBacktracks=491  nbVisitedNodes=5066  nbRestartNogoods=121
35.64	       =>  wckTime=3.727  cpuTime=3.63  mem=16M967
36.45	   
36.45	   search
36.45	     run=8  nbConstraintChecks=18540066  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3265
36.45	     nbFailedAssignments=2421  nbBacktracks=747  nbVisitedNodes=6427  nbRestartNogoods=141
36.45	       =>  wckTime=4.529  cpuTime=4.42  mem=16M967
39.56	   
39.56	   search
39.56	     run=9  nbConstraintChecks=33935589  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=5807
39.56	     nbFailedAssignments=4564  nbBacktracks=1131  nbVisitedNodes=11495  nbRestartNogoods=166
39.56	       =>  wckTime=7.644  cpuTime=7.51  mem=16M967
43.13	   
43.13	   search
43.13	     run=10  nbConstraintChecks=50291301  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=8591
43.13	     nbFailedAssignments=6757  nbBacktracks=1707  nbVisitedNodes=17048  nbRestartNogoods=191
43.13	       =>  wckTime=11.216  cpuTime=11.04  mem=16M967
48.11	   
48.11	   search
48.11	     run=11  nbConstraintChecks=72840692  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=12371
48.11	     nbFailedAssignments=9660  nbBacktracks=2571  nbVisitedNodes=24592  nbRestartNogoods=220
48.11	       =>  wckTime=16.197  cpuTime=15.98  mem=16M967
57.43	   
57.43	   search
57.43	     run=12  nbConstraintChecks=114764931  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=19489
57.43	     nbFailedAssignments=15468  nbBacktracks=3868  nbVisitedNodes=38810  nbRestartNogoods=236
57.43	       =>  wckTime=25.515  cpuTime=25.22  mem=16M967
69.46	   
69.46	   search
69.46	     run=13  nbConstraintChecks=171161189  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=29423
69.46	     nbFailedAssignments=23446  nbBacktracks=5814  nbVisitedNodes=58666  nbRestartNogoods=256
69.46	       =>  wckTime=37.548  cpuTime=37.14  mem=16M967
83.36	   
83.36	   search
83.36	     run=14  nbConstraintChecks=232032517  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=39617
83.36	     nbFailedAssignments=30709  nbBacktracks=8736  nbVisitedNodes=78974  nbRestartNogoods=264
83.36	       =>  wckTime=51.44  cpuTime=50.91  mem=16M967
99.39	   
99.39	   search
99.39	     run=15  nbConstraintChecks=300713166  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=52040
99.39	     nbFailedAssignments=38743  nbBacktracks=13114  nbVisitedNodes=102349  nbRestartNogoods=286
99.39	       =>  wckTime=67.47  cpuTime=66.8  mem=16M967
128.73	   
128.73	   search
128.73	     run=16  nbConstraintChecks=432532558  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=74078
128.73	     nbFailedAssignments=54201  nbBacktracks=19682  nbVisitedNodes=146103  nbRestartNogoods=314
128.73	       =>  wckTime=96.818  cpuTime=95.89  mem=16M967
165.44	   
165.44	   search
165.44	     run=17  nbConstraintChecks=577705755  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=98406
165.44	     nbFailedAssignments=68662  nbBacktracks=29538  nbVisitedNodes=193820  nbRestartNogoods=328
165.44	       =>  wckTime=133.52  cpuTime=132.26  mem=16M967
216.56	   
216.56	   search
216.56	     run=18  nbConstraintChecks=762123499  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=130844
216.56	     nbFailedAssignments=86316  nbBacktracks=44316  nbVisitedNodes=255394  nbRestartNogoods=345
216.56	       =>  wckTime=184.646  cpuTime=182.94  mem=16M967
286.85	   
286.85	   search
286.85	     run=19  nbConstraintChecks=1043527071  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=180664
286.85	     nbFailedAssignments=113956  nbBacktracks=66484  nbVisitedNodes=351322  nbRestartNogoods=368
286.85	       =>  wckTime=254.929  cpuTime=252.6  mem=16M967
409.32	   
409.32	   search
409.32	     run=20  nbConstraintChecks=1489374374  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=257198
409.32	     nbFailedAssignments=157230  nbBacktracks=99736  nbVisitedNodes=498429  nbRestartNogoods=391
409.32	       =>  wckTime=377.4  cpuTime=373.99  mem=16M967
565.69	   
565.69	   search
565.69	     run=21  nbConstraintChecks=2111082003  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=367517
565.69	     nbFailedAssignments=217658  nbBacktracks=149614  nbVisitedNodes=710504  nbRestartNogoods=400
565.69	       =>  wckTime=533.769  cpuTime=528.98  mem=16M967
819.69	   
819.69	   search
819.69	     run=22  nbConstraintChecks=3078732879  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=530952
819.69	     nbFailedAssignments=306264  nbBacktracks=224432  nbVisitedNodes=1026656  nbRestartNogoods=427
819.69	       =>  wckTime=787.777  cpuTime=780.79  mem=16M967
1195.81	   
1195.81	   search
1195.81	     run=23  nbConstraintChecks=4447604428  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=769746
1195.81	     nbFailedAssignments=432822  nbBacktracks=336659  nbVisitedNodes=1479450  nbRestartNogoods=444
1195.81	       =>  wckTime=1163.897  cpuTime=1153.62  mem=16M967
1743.97	   
1743.97	   search
1743.97	     run=24  nbConstraintChecks=6629030677  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1147217
1743.97	     nbFailedAssignments=641944  nbBacktracks=505000  nbVisitedNodes=2203904  nbRestartNogoods=481
1743.97	       =>  wckTime=1712.058  cpuTime=1699.4  mem=16M967
2413.06	v 17 3 6 18 4 2 6 0 13 11 12 8 18 15 13 14 8 10 14 7 16 3 2 16 7 14 2 16 18 7 6 14 11 18 0 9 6 5 14 2

Verifier Data (download as text)

2 unsatisfied constraints, 336 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/node68/watcher-275374-1169220847 -o ROOT/results/node68/solver-275374-1169220847 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275374-1169220847/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: 2.07 2.03 2.00 5/80 18877
/proc/meminfo: memFree=1441480/2055920 swapFree=4192812/4192956
[pid=18876] ppid=18874 vsize=18540 CPUtime=0
/proc/18876/stat : 18876 (runsolver) R 18874 18876 18039 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 69581737 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 257414458663 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/18876/statm: 4635 279 244 17 0 2626 0

[startup+0.108007 s]
/proc/loadavg: 2.07 2.03 2.00 5/80 18877
/proc/meminfo: memFree=1441480/2055920 swapFree=4192812/4192956
[pid=18876] ppid=18874 vsize=914988 CPUtime=0.08
/proc/18876/stat : 18876 (java) R 18874 18876 18039 0 -1 0 2994 0 1 0 7 1 0 0 18 0 8 0 69581737 936947712 2740 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072941839 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18876/statm: 228747 2740 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.516553 s]
/proc/loadavg: 2.07 2.03 2.00 5/80 18877
/proc/meminfo: memFree=1441480/2055920 swapFree=4192812/4192956
[pid=18876] ppid=18874 vsize=915332 CPUtime=0.49
/proc/18876/stat : 18876 (java) R 18874 18876 18039 0 -1 0 6797 0 1 0 45 4 0 0 18 0 8 0 69581737 937299968 6536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942248 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18876/statm: 228833 6536 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.34412 s]
/proc/loadavg: 2.07 2.03 2.00 3/87 18884
/proc/meminfo: memFree=1418704/2055920 swapFree=4192812/4192956
[pid=18876] ppid=18874 vsize=915464 CPUtime=1.3
/proc/18876/stat : 18876 (java) R 18874 18876 18039 0 -1 0 8359 0 1 0 118 12 0 0 25 0 8 0 69581737 937435136 8097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073744226 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18876/statm: 228866 8097 2479 14 0 215336 0
[pid=18876/tid=18878] ppid=18874 vsize=915464 CPUtime=0.03
/proc/18876/task/18878/stat : 18878 (java) S 18874 18876 18039 0 -1 64 293 0 0 0 3 0 0 0 16 0 8 0 69581742 937435136 8097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18879] ppid=18874 vsize=915464 CPUtime=0
/proc/18876/task/18879/stat : 18879 (java) S 18874 18876 18039 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69581742 937435136 8097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18880] ppid=18874 vsize=915464 CPUtime=0
/proc/18876/task/18880/stat : 18880 (java) S 18874 18876 18039 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 69581742 937435136 8097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18881] ppid=18874 vsize=915464 CPUtime=0
/proc/18876/task/18881/stat : 18881 (java) S 18874 18876 18039 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69581745 937435136 8097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18882] ppid=18874 vsize=915464 CPUtime=0.15
/proc/18876/task/18882/stat : 18882 (java) S 18874 18876 18039 0 -1 64 350 0 0 0 15 0 0 0 16 0 8 0 69581745 937435136 8097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18883] ppid=18874 vsize=915464 CPUtime=0
/proc/18876/task/18883/stat : 18883 (java) S 18874 18876 18039 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 69581745 937435136 8097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18884] ppid=18874 vsize=915464 CPUtime=0
/proc/18876/task/18884/stat : 18884 (java) S 18874 18876 18039 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 69581745 937435136 8097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915464

[startup+2.99626 s]
/proc/loadavg: 2.07 2.03 2.00 3/87 18884
/proc/meminfo: memFree=1418640/2055920 swapFree=4192812/4192956
[pid=18876] ppid=18874 vsize=915464 CPUtime=2.94
/proc/18876/stat : 18876 (java) R 18874 18876 18039 0 -1 0 8360 0 1 0 262 32 0 0 25 0 8 0 69581737 937435136 8097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073744226 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18876/statm: 228866 8097 2479 14 0 215336 0
[pid=18876/tid=18878] ppid=18874 vsize=915464 CPUtime=0.03
/proc/18876/task/18878/stat : 18878 (java) S 18874 18876 18039 0 -1 64 293 0 0 0 3 0 0 0 16 0 8 0 69581742 937435136 8097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18879] ppid=18874 vsize=915464 CPUtime=0
/proc/18876/task/18879/stat : 18879 (java) S 18874 18876 18039 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69581742 937435136 8097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18880] ppid=18874 vsize=915464 CPUtime=0
/proc/18876/task/18880/stat : 18880 (java) S 18874 18876 18039 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 69581742 937435136 8097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18881] ppid=18874 vsize=915464 CPUtime=0
/proc/18876/task/18881/stat : 18881 (java) S 18874 18876 18039 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69581745 937435136 8097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18882] ppid=18874 vsize=915464 CPUtime=0.15
/proc/18876/task/18882/stat : 18882 (java) S 18874 18876 18039 0 -1 64 350 0 0 0 15 0 0 0 16 0 8 0 69581745 937435136 8097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18883] ppid=18874 vsize=915464 CPUtime=0
/proc/18876/task/18883/stat : 18883 (java) S 18874 18876 18039 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 69581745 937435136 8097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18884] ppid=18874 vsize=915464 CPUtime=0
/proc/18876/task/18884/stat : 18884 (java) S 18874 18876 18039 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 69581745 937435136 8097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915464

[startup+6.27856 s]
/proc/loadavg: 2.06 2.03 2.00 3/87 18884
/proc/meminfo: memFree=1418512/2055920 swapFree=4192812/4192956
[pid=18876] ppid=18874 vsize=915464 CPUtime=6.19
/proc/18876/stat : 18876 (java) R 18874 18876 18039 0 -1 0 8363 0 1 0 549 70 0 0 25 0 8 0 69581737 937435136 8100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073754152 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18876/statm: 228866 8100 2479 14 0 215336 0
[pid=18876/tid=18878] ppid=18874 vsize=915464 CPUtime=0.03
/proc/18876/task/18878/stat : 18878 (java) S 18874 18876 18039 0 -1 64 293 0 0 0 3 0 0 0 16 0 8 0 69581742 937435136 8100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18879] ppid=18874 vsize=915464 CPUtime=0
/proc/18876/task/18879/stat : 18879 (java) S 18874 18876 18039 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69581742 937435136 8100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18880] ppid=18874 vsize=915464 CPUtime=0
/proc/18876/task/18880/stat : 18880 (java) S 18874 18876 18039 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 69581742 937435136 8100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18881] ppid=18874 vsize=915464 CPUtime=0
/proc/18876/task/18881/stat : 18881 (java) S 18874 18876 18039 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69581745 937435136 8100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18882] ppid=18874 vsize=915464 CPUtime=0.15
/proc/18876/task/18882/stat : 18882 (java) S 18874 18876 18039 0 -1 64 353 0 0 0 15 0 0 0 16 0 8 0 69581745 937435136 8100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18883] ppid=18874 vsize=915464 CPUtime=0
/proc/18876/task/18883/stat : 18883 (java) S 18874 18876 18039 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 69581745 937435136 8100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18884] ppid=18874 vsize=915464 CPUtime=0
/proc/18876/task/18884/stat : 18884 (java) S 18874 18876 18039 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 69581745 937435136 8100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915464

[startup+12.7652 s]
/proc/loadavg: 2.06 2.03 2.00 3/87 18884
/proc/meminfo: memFree=1418520/2055920 swapFree=4192812/4192956
[pid=18876] ppid=18874 vsize=915468 CPUtime=12.62
/proc/18876/stat : 18876 (java) R 18874 18876 18039 0 -1 0 8363 0 1 0 1114 148 0 0 25 0 8 0 69581737 937439232 8100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18876/statm: 228867 8100 2479 14 0 215337 0
[pid=18876/tid=18878] ppid=18874 vsize=915468 CPUtime=0.03
/proc/18876/task/18878/stat : 18878 (java) S 18874 18876 18039 0 -1 64 293 0 0 0 3 0 0 0 16 0 8 0 69581742 937439232 8100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18879] ppid=18874 vsize=915468 CPUtime=0
/proc/18876/task/18879/stat : 18879 (java) S 18874 18876 18039 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69581742 937439232 8100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18880] ppid=18874 vsize=915468 CPUtime=0
/proc/18876/task/18880/stat : 18880 (java) S 18874 18876 18039 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 69581742 937439232 8100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18881] ppid=18874 vsize=915468 CPUtime=0
/proc/18876/task/18881/stat : 18881 (java) S 18874 18876 18039 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69581745 937439232 8100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18882] ppid=18874 vsize=915468 CPUtime=0.15
/proc/18876/task/18882/stat : 18882 (java) S 18874 18876 18039 0 -1 64 353 0 0 0 15 0 0 0 16 0 8 0 69581745 937439232 8100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18883] ppid=18874 vsize=915468 CPUtime=0
/proc/18876/task/18883/stat : 18883 (java) S 18874 18876 18039 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 69581745 937439232 8100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18884] ppid=18874 vsize=915468 CPUtime=0
/proc/18876/task/18884/stat : 18884 (java) S 18874 18876 18039 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 69581745 937439232 8100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915468

[startup+25.6053 s]
/proc/loadavg: 2.04 2.03 2.00 3/87 18884
/proc/meminfo: memFree=1418648/2055920 swapFree=4192812/4192956
[pid=18876] ppid=18874 vsize=915464 CPUtime=25.35
/proc/18876/stat : 18876 (java) R 18874 18876 18039 0 -1 0 8363 0 1 0 2228 307 0 0 25 0 8 0 69581737 937435136 8100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073744956 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18876/statm: 228866 8100 2479 14 0 215336 0
[pid=18876/tid=18878] ppid=18874 vsize=915464 CPUtime=0.03
/proc/18876/task/18878/stat : 18878 (java) S 18874 18876 18039 0 -1 64 293 0 0 0 3 0 0 0 16 0 8 0 69581742 937435136 8100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18879] ppid=18874 vsize=915464 CPUtime=0
/proc/18876/task/18879/stat : 18879 (java) S 18874 18876 18039 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69581742 937435136 8100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18880] ppid=18874 vsize=915464 CPUtime=0
/proc/18876/task/18880/stat : 18880 (java) S 18874 18876 18039 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 69581742 937435136 8100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18881] ppid=18874 vsize=915464 CPUtime=0
/proc/18876/task/18881/stat : 18881 (java) S 18874 18876 18039 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69581745 937435136 8100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18882] ppid=18874 vsize=915464 CPUtime=0.15
/proc/18876/task/18882/stat : 18882 (java) S 18874 18876 18039 0 -1 64 353 0 0 0 15 0 0 0 16 0 8 0 69581745 937435136 8100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18883] ppid=18874 vsize=915464 CPUtime=0
/proc/18876/task/18883/stat : 18883 (java) S 18874 18876 18039 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 69581745 937435136 8100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18884] ppid=18874 vsize=915464 CPUtime=0
/proc/18876/task/18884/stat : 18884 (java) S 18874 18876 18039 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 69581745 937435136 8100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915464

[startup+51.2127 s]
/proc/loadavg: 2.03 2.02 2.00 3/87 18884
/proc/meminfo: memFree=1415576/2055920 swapFree=4192812/4192956
[pid=18876] ppid=18874 vsize=915464 CPUtime=50.71
/proc/18876/stat : 18876 (java) R 18874 18876 18039 0 -1 0 9200 0 1 0 4688 383 0 0 25 0 8 0 69581737 937435136 8932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073922452 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18876/statm: 228866 8932 2532 14 0 215336 0
[pid=18876/tid=18878] ppid=18874 vsize=915464 CPUtime=0.03
/proc/18876/task/18878/stat : 18878 (java) S 18874 18876 18039 0 -1 64 294 0 0 0 3 0 0 0 16 0 8 0 69581742 937435136 8932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18879] ppid=18874 vsize=915464 CPUtime=0
/proc/18876/task/18879/stat : 18879 (java) S 18874 18876 18039 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69581742 937435136 8932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18880] ppid=18874 vsize=915464 CPUtime=0
/proc/18876/task/18880/stat : 18880 (java) S 18874 18876 18039 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 69581742 937435136 8932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18881] ppid=18874 vsize=915464 CPUtime=0
/proc/18876/task/18881/stat : 18881 (java) S 18874 18876 18039 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69581745 937435136 8932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18882] ppid=18874 vsize=915464 CPUtime=0.25
/proc/18876/task/18882/stat : 18882 (java) S 18874 18876 18039 0 -1 64 410 0 0 0 24 1 0 0 16 0 8 0 69581745 937435136 8932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18883] ppid=18874 vsize=915464 CPUtime=0
/proc/18876/task/18883/stat : 18883 (java) S 18874 18876 18039 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 69581745 937435136 8932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18884] ppid=18874 vsize=915464 CPUtime=0
/proc/18876/task/18884/stat : 18884 (java) S 18874 18876 18039 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 69581745 937435136 8932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 915464

[startup+102.415 s]
/proc/loadavg: 2.01 2.02 2.00 3/87 18884
/proc/meminfo: memFree=1415576/2055920 swapFree=4192812/4192956
[pid=18876] ppid=18874 vsize=915464 CPUtime=101.47
/proc/18876/stat : 18876 (java) R 18874 18876 18039 0 -1 0 9213 0 1 0 9763 384 0 0 25 0 8 0 69581737 937435136 8943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073747622 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18876/statm: 228866 8943 2532 14 0 215336 0
[pid=18876/tid=18878] ppid=18874 vsize=915464 CPUtime=0.03
/proc/18876/task/18878/stat : 18878 (java) S 18874 18876 18039 0 -1 64 294 0 0 0 3 0 0 0 16 0 8 0 69581742 937435136 8943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18879] ppid=18874 vsize=915464 CPUtime=0
/proc/18876/task/18879/stat : 18879 (java) S 18874 18876 18039 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69581742 937435136 8943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18880] ppid=18874 vsize=915464 CPUtime=0
/proc/18876/task/18880/stat : 18880 (java) S 18874 18876 18039 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 69581742 937435136 8943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18881] ppid=18874 vsize=915464 CPUtime=0
/proc/18876/task/18881/stat : 18881 (java) S 18874 18876 18039 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69581745 937435136 8943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18882] ppid=18874 vsize=915464 CPUtime=0.25
/proc/18876/task/18882/stat : 18882 (java) S 18874 18876 18039 0 -1 64 411 0 0 0 24 1 0 0 16 0 8 0 69581745 937435136 8943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18883] ppid=18874 vsize=915464 CPUtime=0
/proc/18876/task/18883/stat : 18883 (java) S 18874 18876 18039 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 69581745 937435136 8943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18884] ppid=18874 vsize=915464 CPUtime=0
/proc/18876/task/18884/stat : 18884 (java) R 18874 18876 18039 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 69581745 937435136 8943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.47
Current children cumulated vsize (KiB) 915464

[startup+162.465 s]
/proc/loadavg: 2.00 2.01 2.00 3/87 18884
/proc/meminfo: memFree=1415576/2055920 swapFree=4192812/4192956
[pid=18876] ppid=18874 vsize=915464 CPUtime=160.99
/proc/18876/stat : 18876 (java) R 18874 18876 18039 0 -1 0 9215 0 1 0 15715 384 0 0 25 0 8 0 69581737 937435136 8945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073871129 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 2010.59
Current children cumulated vsize (KiB) 915464

[startup+2083.54 s]
/proc/loadavg: 1.00 1.12 1.49 2/72 19099
/proc/meminfo: memFree=1463784/2055920 swapFree=4192812/4192956
[pid=18876] ppid=18874 vsize=915464 CPUtime=2070.58
/proc/18876/stat : 18876 (java) R 18874 18876 18039 0 -1 0 9238 0 1 0 206659 399 0 0 25 0 8 0 69581737 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073870746 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18876/statm: 228866 8966 2532 14 0 215336 0
[pid=18876/tid=18878] ppid=18874 vsize=915464 CPUtime=0.03
/proc/18876/task/18878/stat : 18878 (java) S 18874 18876 18039 0 -1 64 294 0 0 0 3 0 0 0 16 0 8 0 69581742 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18879] ppid=18874 vsize=915464 CPUtime=0
/proc/18876/task/18879/stat : 18879 (java) S 18874 18876 18039 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69581742 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18880] ppid=18874 vsize=915464 CPUtime=0
/proc/18876/task/18880/stat : 18880 (java) S 18874 18876 18039 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 69581742 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18881] ppid=18874 vsize=915464 CPUtime=0
/proc/18876/task/18881/stat : 18881 (java) S 18874 18876 18039 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69581745 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18882] ppid=18874 vsize=915464 CPUtime=0.26
/proc/18876/task/18882/stat : 18882 (java) S 18874 18876 18039 0 -1 64 412 0 0 0 25 1 0 0 16 0 8 0 69581745 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18883] ppid=18874 vsize=915464 CPUtime=0
/proc/18876/task/18883/stat : 18883 (java) S 18874 18876 18039 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 69581745 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18884] ppid=18874 vsize=915464 CPUtime=0.02
/proc/18876/task/18884/stat : 18884 (java) S 18874 18876 18039 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 69581745 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2070.58
Current children cumulated vsize (KiB) 915464

[startup+2143.55 s]
/proc/loadavg: 1.00 1.09 1.46 2/72 19099
/proc/meminfo: memFree=1463720/2055920 swapFree=4192812/4192956
[pid=18876] ppid=18874 vsize=915464 CPUtime=2130.57
/proc/18876/stat : 18876 (java) R 18874 18876 18039 0 -1 0 9238 0 1 0 212658 399 0 0 25 0 8 0 69581737 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073921303 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18876/statm: 228866 8966 2532 14 0 215336 0
[pid=18876/tid=18878] ppid=18874 vsize=915464 CPUtime=0.03
/proc/18876/task/18878/stat : 18878 (java) S 18874 18876 18039 0 -1 64 294 0 0 0 3 0 0 0 16 0 8 0 69581742 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18879] ppid=18874 vsize=915464 CPUtime=0
/proc/18876/task/18879/stat : 18879 (java) S 18874 18876 18039 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69581742 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18880] ppid=18874 vsize=915464 CPUtime=0
/proc/18876/task/18880/stat : 18880 (java) S 18874 18876 18039 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 69581742 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18881] ppid=18874 vsize=915464 CPUtime=0
/proc/18876/task/18881/stat : 18881 (java) S 18874 18876 18039 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69581745 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18882] ppid=18874 vsize=915464 CPUtime=0.26
/proc/18876/task/18882/stat : 18882 (java) S 18874 18876 18039 0 -1 64 412 0 0 0 25 1 0 0 16 0 8 0 69581745 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18883] ppid=18874 vsize=915464 CPUtime=0
/proc/18876/task/18883/stat : 18883 (java) S 18874 18876 18039 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 69581745 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18884] ppid=18874 vsize=915464 CPUtime=0.02
/proc/18876/task/18884/stat : 18884 (java) S 18874 18876 18039 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 69581745 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2130.57
Current children cumulated vsize (KiB) 915464

[startup+2203.55 s]
/proc/loadavg: 1.00 1.08 1.43 2/72 19099
/proc/meminfo: memFree=1463784/2055920 swapFree=4192812/4192956
[pid=18876] ppid=18874 vsize=915464 CPUtime=2190.56
/proc/18876/stat : 18876 (java) R 18874 18876 18039 0 -1 0 9238 0 1 0 218656 400 0 0 25 0 8 0 69581737 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073854725 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18876/statm: 228866 8966 2532 14 0 215336 0
[pid=18876/tid=18878] ppid=18874 vsize=915464 CPUtime=0.03
/proc/18876/task/18878/stat : 18878 (java) S 18874 18876 18039 0 -1 64 294 0 0 0 3 0 0 0 16 0 8 0 69581742 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18879] ppid=18874 vsize=915464 CPUtime=0
/proc/18876/task/18879/stat : 18879 (java) S 18874 18876 18039 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69581742 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18880] ppid=18874 vsize=915464 CPUtime=0
/proc/18876/task/18880/stat : 18880 (java) S 18874 18876 18039 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 69581742 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18881] ppid=18874 vsize=915464 CPUtime=0
/proc/18876/task/18881/stat : 18881 (java) S 18874 18876 18039 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69581745 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18882] ppid=18874 vsize=915464 CPUtime=0.26
/proc/18876/task/18882/stat : 18882 (java) S 18874 18876 18039 0 -1 64 412 0 0 0 25 1 0 0 16 0 8 0 69581745 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18883] ppid=18874 vsize=915464 CPUtime=0
/proc/18876/task/18883/stat : 18883 (java) S 18874 18876 18039 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 69581745 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18884] ppid=18874 vsize=915464 CPUtime=0.02
/proc/18876/task/18884/stat : 18884 (java) S 18874 18876 18039 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 69581745 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2190.56
Current children cumulated vsize (KiB) 915464

[startup+2263.56 s]
/proc/loadavg: 1.00 1.06 1.40 2/72 19099
/proc/meminfo: memFree=1463720/2055920 swapFree=4192812/4192956
[pid=18876] ppid=18874 vsize=915464 CPUtime=2250.55
/proc/18876/stat : 18876 (java) R 18874 18876 18039 0 -1 0 9238 0 1 0 224655 400 0 0 25 0 8 0 69581737 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073922271 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18876/statm: 228866 8966 2532 14 0 215336 0
[pid=18876/tid=18878] ppid=18874 vsize=915464 CPUtime=0.03
/proc/18876/task/18878/stat : 18878 (java) S 18874 18876 18039 0 -1 64 294 0 0 0 3 0 0 0 16 0 8 0 69581742 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18879] ppid=18874 vsize=915464 CPUtime=0
/proc/18876/task/18879/stat : 18879 (java) S 18874 18876 18039 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69581742 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18880] ppid=18874 vsize=915464 CPUtime=0
/proc/18876/task/18880/stat : 18880 (java) S 18874 18876 18039 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 69581742 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18881] ppid=18874 vsize=915464 CPUtime=0
/proc/18876/task/18881/stat : 18881 (java) S 18874 18876 18039 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69581745 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18882] ppid=18874 vsize=915464 CPUtime=0.26
/proc/18876/task/18882/stat : 18882 (java) S 18874 18876 18039 0 -1 64 412 0 0 0 25 1 0 0 16 0 8 0 69581745 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18883] ppid=18874 vsize=915464 CPUtime=0
/proc/18876/task/18883/stat : 18883 (java) S 18874 18876 18039 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 69581745 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18884] ppid=18874 vsize=915464 CPUtime=0.02
/proc/18876/task/18884/stat : 18884 (java) S 18874 18876 18039 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 69581745 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2250.55
Current children cumulated vsize (KiB) 915464

[startup+2323.56 s]
/proc/loadavg: 1.00 1.05 1.37 2/72 19099
/proc/meminfo: memFree=1463720/2055920 swapFree=4192812/4192956
[pid=18876] ppid=18874 vsize=915464 CPUtime=2310.54
/proc/18876/stat : 18876 (java) R 18874 18876 18039 0 -1 0 9238 0 1 0 230654 400 0 0 25 0 8 0 69581737 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073853703 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18876/statm: 228866 8966 2532 14 0 215336 0
[pid=18876/tid=18878] ppid=18874 vsize=915464 CPUtime=0.03
/proc/18876/task/18878/stat : 18878 (java) S 18874 18876 18039 0 -1 64 294 0 0 0 3 0 0 0 16 0 8 0 69581742 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18879] ppid=18874 vsize=915464 CPUtime=0
/proc/18876/task/18879/stat : 18879 (java) S 18874 18876 18039 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69581742 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18880] ppid=18874 vsize=915464 CPUtime=0
/proc/18876/task/18880/stat : 18880 (java) S 18874 18876 18039 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 69581742 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18881] ppid=18874 vsize=915464 CPUtime=0
/proc/18876/task/18881/stat : 18881 (java) S 18874 18876 18039 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69581745 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18882] ppid=18874 vsize=915464 CPUtime=0.26
/proc/18876/task/18882/stat : 18882 (java) S 18874 18876 18039 0 -1 64 412 0 0 0 25 1 0 0 16 0 8 0 69581745 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18883] ppid=18874 vsize=915464 CPUtime=0
/proc/18876/task/18883/stat : 18883 (java) S 18874 18876 18039 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 69581745 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18884] ppid=18874 vsize=915464 CPUtime=0.02
/proc/18876/task/18884/stat : 18884 (java) S 18874 18876 18039 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 69581745 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2310.54
Current children cumulated vsize (KiB) 915464

[startup+2383.57 s]
/proc/loadavg: 1.00 1.03 1.34 2/72 19099
/proc/meminfo: memFree=1463720/2055920 swapFree=4192812/4192956
[pid=18876] ppid=18874 vsize=915464 CPUtime=2370.53
/proc/18876/stat : 18876 (java) R 18874 18876 18039 0 -1 0 9238 0 1 0 236653 400 0 0 25 0 8 0 69581737 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073877999 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18876/statm: 228866 8966 2532 14 0 215336 0
[pid=18876/tid=18878] ppid=18874 vsize=915464 CPUtime=0.03
/proc/18876/task/18878/stat : 18878 (java) S 18874 18876 18039 0 -1 64 294 0 0 0 3 0 0 0 16 0 8 0 69581742 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18879] ppid=18874 vsize=915464 CPUtime=0
/proc/18876/task/18879/stat : 18879 (java) S 18874 18876 18039 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69581742 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18880] ppid=18874 vsize=915464 CPUtime=0
/proc/18876/task/18880/stat : 18880 (java) S 18874 18876 18039 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 69581742 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18881] ppid=18874 vsize=915464 CPUtime=0
/proc/18876/task/18881/stat : 18881 (java) S 18874 18876 18039 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69581745 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18882] ppid=18874 vsize=915464 CPUtime=0.26
/proc/18876/task/18882/stat : 18882 (java) S 18874 18876 18039 0 -1 64 412 0 0 0 25 1 0 0 16 0 8 0 69581745 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18883] ppid=18874 vsize=915464 CPUtime=0
/proc/18876/task/18883/stat : 18883 (java) S 18874 18876 18039 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 69581745 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18884] ppid=18874 vsize=915464 CPUtime=0.02
/proc/18876/task/18884/stat : 18884 (java) S 18874 18876 18039 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 69581745 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2370.53
Current children cumulated vsize (KiB) 915464



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2413.05 s]
/proc/loadavg: 1.00 1.03 1.33 2/72 19099
/proc/meminfo: memFree=1463656/2055920 swapFree=4192812/4192956
[pid=18876] ppid=18874 vsize=915464 CPUtime=2400
/proc/18876/stat : 18876 (java) R 18874 18876 18039 0 -1 0 9238 0 1 0 239600 400 0 0 25 0 8 0 69581737 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073852617 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18876/statm: 228866 8966 2532 14 0 215336 0
[pid=18876/tid=18878] ppid=18874 vsize=915464 CPUtime=0.03
/proc/18876/task/18878/stat : 18878 (java) S 18874 18876 18039 0 -1 64 294 0 0 0 3 0 0 0 16 0 8 0 69581742 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18879] ppid=18874 vsize=915464 CPUtime=0
/proc/18876/task/18879/stat : 18879 (java) S 18874 18876 18039 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69581742 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18880] ppid=18874 vsize=915464 CPUtime=0
/proc/18876/task/18880/stat : 18880 (java) S 18874 18876 18039 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 69581742 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18881] ppid=18874 vsize=915464 CPUtime=0
/proc/18876/task/18881/stat : 18881 (java) S 18874 18876 18039 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69581745 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18882] ppid=18874 vsize=915464 CPUtime=0.26
/proc/18876/task/18882/stat : 18882 (java) S 18874 18876 18039 0 -1 64 412 0 0 0 25 1 0 0 16 0 8 0 69581745 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18883] ppid=18874 vsize=915464 CPUtime=0
/proc/18876/task/18883/stat : 18883 (java) S 18874 18876 18039 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 69581745 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18876/tid=18884] ppid=18874 vsize=915464 CPUtime=0.02
/proc/18876/task/18884/stat : 18884 (java) S 18874 18876 18039 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 69581745 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 915464

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

Child status: 143
Real time (s): 2413.12
CPU time (s): 2400.07
CPU user time (s): 2396.06
CPU system time (s): 4.01039
CPU usage (%): 99.4595
Max. virtual memory (cumulated for all children) (KiB): 915468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.06
system time used= 4.01039
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9260
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= 50026
involuntary context switches= 64153

runsolver used 2.71159 s user time and 6.79297 s system time

The end

Launcher Data (download as text)

Begin job on node68 on Fri Jan 19 15:34:07 UTC 2007


IDJOB= 275374
IDBENCH= 3860
IDSOLVER= 68
FILE ID= node68/275374-1169220847

PBS_JOBID= 3589145

Free space on /tmp= 66561 MiB

SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-11_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275374-1169220847/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node68/watcher-275374-1169220847 -o ROOT/results/node68/solver-275374-1169220847 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275374-1169220847/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  88f7b2436b540d3b866e9a5fd2fd8d7c

RANDOM SEED= 516804761

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.232
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.232
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:       1441960 kB
Buffers:         49320 kB
Cached:         429188 kB
SwapCached:        144 kB
Active:         160488 kB
Inactive:       379472 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1441960 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1872 kB
Writeback:           0 kB
Mapped:          81548 kB
Slab:            59424 kB
Committed_AS:  1293572 kB
PageTables:       1864 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 node68 on Fri Jan 19 16:14:21 UTC 2007