Trace number 275428

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.1 2415.23

General information on the benchmark

Namerandom/rand-2-40-19/
rand-2-40-19-443-230-2_ext.xml
MD5SUM4e97dd6535f44bce5851f479f793d7bd
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints329
Best CPU time to get the best result obtained on this benchmark262.975
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables40
Number of constraints330
Maximum constraint arity2
Maximum domain size19
Number of constraints which are defined in extension330
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/275428-1169221667/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.106  cpuTime=0.08  mem=6M887
0.42	   
0.42	   relations being loaded...
0.53	   
0.53	   constraints being loaded...
0.64	     nbConstraints=330  nbRelationTypes=330  nbExtensionStructures=330  nbSharedExtensionStructures=0
0.64	     nbConflictsStructures=330  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=2741  maxDegree=23
0.64	     maxArity=2
0.64	       =>  wckTime=0.327  cpuTime=0.23  mem=12M746
0.69	   
0.69	   solver LocalSearchSolver being built... 
0.73	       =>  wckTime=0.416  cpuTime=0.28  mem=6M48
0.74	
0.74	s SATISFIABLE
0.74	o 232
0.74	c 98
0.74	o 240
0.74	c 90
0.74	o 246
0.74	c 84
0.74	o 252
0.74	c 78
0.74	o 257
0.74	c 73
0.75	o 258
0.75	c 72
0.75	o 262
0.75	c 68
0.75	o 265
0.75	c 65
0.75	o 268
0.75	c 62
0.75	o 271
0.75	c 59
0.75	o 274
0.75	c 56
0.75	o 277
0.75	c 53
0.75	o 281
0.75	c 49
0.75	o 285
0.75	c 45
0.75	o 286
0.75	c 44
0.75	o 289
0.75	c 41
0.76	o 294
0.76	c 36
0.76	o 296
0.76	c 34
0.76	o 297
0.76	c 33
0.76	o 300
0.76	c 30
0.76	o 302
0.76	c 28
0.76	o 303
0.76	c 27
0.76	o 304
0.76	c 26
0.76	o 306
0.76	c 24
0.76	o 307
0.76	c 23
0.76	o 308
0.76	c 22
0.76	o 310
0.76	c 20
0.76	o 311
0.76	c 19
0.76	o 312
0.76	c 18
0.77	o 315
0.77	c 15
0.77	o 317
0.77	c 13
0.78	o 318
0.78	c 12
0.79	o 319
0.79	c 11
0.79	o 320
0.79	c 10
0.79	o 321
0.79	c 9
0.81	o 322
0.81	c 8
0.81	o 323
0.81	c 7
0.85	o 324
0.85	c 6
0.85	o 325
0.85	c 5
0.85	o 326
0.85	c 4
1.02	o 327
1.02	c 3
1.02	o 328
1.02	c 2
3.97	   
3.97	   search
3.97	     run=0  nbConstraintChecks=23004527  nbAssignments=10000
3.97	       =>  wckTime=3.235  cpuTime=3.18  mem=6M48
7.39	   
7.39	   search
7.39	     run=1  nbConstraintChecks=48303895  nbAssignments=20000
7.39	       =>  wckTime=6.659  cpuTime=6.57  mem=6M48
10.50	   
10.50	   search
10.50	     run=2  nbConstraintChecks=70720122  nbAssignments=30000
10.50	       =>  wckTime=9.765  cpuTime=9.65  mem=6M48
13.83	   
13.83	   search
13.83	     run=3  nbConstraintChecks=94982845  nbAssignments=40000
13.83	       =>  wckTime=13.101  cpuTime=12.95  mem=6M48
16.91	   
16.91	   search
16.91	     run=4  nbConstraintChecks=116993383  nbAssignments=50000
16.91	       =>  wckTime=16.18  cpuTime=16.01  mem=6M48
20.20	   
20.20	   search
20.20	     run=5  nbConstraintChecks=140896095  nbAssignments=60000
20.20	       =>  wckTime=19.468  cpuTime=19.27  mem=6M48
23.38	   
23.38	   search
23.38	     run=6  nbConstraintChecks=164054782  nbAssignments=70000
23.38	       =>  wckTime=22.645  cpuTime=22.41  mem=6M48
24.41	o 329
24.41	c 1
24.42	   
24.42	   search
24.42	     run=7  nbConstraintChecks=171592598  nbAssignments=73284
24.42	       =>  wckTime=23.685  cpuTime=23.44  mem=6M48
24.42	   
24.42	   global
24.42	     nbConstraintChecks=171592598  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
24.42	     solvingWckTime=23.681  solvingCpuTime=23.43  expiredTime=no  totalExploration=no  nbFoundSolutions=0
24.42	     globalCpuTime=23.77
24.42	       =>  wckTime=24.1  cpuTime=23.71  mem=6M48
24.42	   
24.42	   solver IterativeSystematicSolver being built... 
24.55	       =>  wckTime=24.231  cpuTime=23.81  mem=16M956
24.65	   
24.65	   preprocessing
24.65	     nbConstraintChecks=138781  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
24.65	     detectedInconsistency=no
24.65	       =>  wckTime=0.096  cpuTime=0.07  mem=16M956
24.69	   
24.69	   search
24.69	     run=0  nbConstraintChecks=158515  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=32
24.69	     nbFailedAssignments=16  nbBacktracks=10  nbVisitedNodes=59  nbRestartNogoods=0
24.69	       =>  wckTime=0.143  cpuTime=0.12  mem=16M956
24.77	   
24.77	   search
24.77	     run=1  nbConstraintChecks=416212  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=80
24.77	     nbFailedAssignments=43  nbBacktracks=25  nbVisitedNodes=149  nbRestartNogoods=11
24.77	       =>  wckTime=0.221  cpuTime=0.18  mem=16M956
24.87	   
24.87	   search
24.87	     run=2  nbConstraintChecks=789055  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=163
24.87	     nbFailedAssignments=98  nbBacktracks=47  nbVisitedNodes=309  nbRestartNogoods=27
24.87	       =>  wckTime=0.322  cpuTime=0.28  mem=16M956
24.98	   
24.98	   search
24.98	     run=3  nbConstraintChecks=1219946  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=261
24.98	     nbFailedAssignments=156  nbBacktracks=80  nbVisitedNodes=498  nbRestartNogoods=38
24.98	       =>  wckTime=0.43  cpuTime=0.38  mem=16M956
25.18	   
25.18	   search
25.18	     run=4  nbConstraintChecks=2044315  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=427
25.18	     nbFailedAssignments=266  nbBacktracks=130  nbVisitedNodes=824  nbRestartNogoods=46
25.18	       =>  wckTime=0.627  cpuTime=0.58  mem=16M956
25.41	   
25.41	   search
25.41	     run=5  nbConstraintChecks=3093460  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=648
25.41	     nbFailedAssignments=405  nbBacktracks=205  nbVisitedNodes=1258  nbRestartNogoods=64
25.41	       =>  wckTime=0.863  cpuTime=0.81  mem=16M956
25.83	   
25.83	   search
25.83	     run=6  nbConstraintChecks=4938734  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1004
25.83	     nbFailedAssignments=642  nbBacktracks=318  nbVisitedNodes=1962  nbRestartNogoods=101
25.83	       =>  wckTime=1.285  cpuTime=1.22  mem=16M956
26.48	   
26.48	   search
26.48	     run=7  nbConstraintChecks=7704626  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1526
26.48	     nbFailedAssignments=988  nbBacktracks=488  nbVisitedNodes=2996  nbRestartNogoods=119
26.48	       =>  wckTime=1.927  cpuTime=1.84  mem=16M956
27.35	   
27.35	   search
27.35	     run=8  nbConstraintChecks=11448439  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2229
27.35	     nbFailedAssignments=1429  nbBacktracks=744  nbVisitedNodes=4382  nbRestartNogoods=145
27.35	       =>  wckTime=2.8  cpuTime=2.7  mem=16M956
28.71	   
28.71	   search
28.71	     run=9  nbConstraintChecks=17799378  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3407
28.71	     nbFailedAssignments=2215  nbBacktracks=1128  nbVisitedNodes=6727  nbRestartNogoods=175
28.71	       =>  wckTime=4.164  cpuTime=4.05  mem=16M956
30.56	   
30.56	   search
30.56	     run=10  nbConstraintChecks=26204924  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=5008
30.56	     nbFailedAssignments=3233  nbBacktracks=1704  nbVisitedNodes=9902  nbRestartNogoods=200
30.56	       =>  wckTime=6.015  cpuTime=5.88  mem=16M956
33.52	   
33.52	   search
33.52	     run=11  nbConstraintChecks=39259539  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=7384
33.52	     nbFailedAssignments=4740  nbBacktracks=2568  nbVisitedNodes=14598  nbRestartNogoods=221
33.52	       =>  wckTime=8.975  cpuTime=8.81  mem=16M956
38.29	   
38.29	   search
38.30	     run=12  nbConstraintChecks=60028149  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=10915
38.30	     nbFailedAssignments=6969  nbBacktracks=3865  nbVisitedNodes=21545  nbRestartNogoods=235
38.30	       =>  wckTime=13.746  cpuTime=13.54  mem=16M956
44.08	   
44.08	   search
44.08	     run=13  nbConstraintChecks=85903331  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=16034
44.08	     nbFailedAssignments=10134  nbBacktracks=5811  nbVisitedNodes=31526  nbRestartNogoods=248
44.08	       =>  wckTime=19.53  cpuTime=19.27  mem=16M956
54.05	   
54.05	   search
54.05	     run=14  nbConstraintChecks=128945685  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=23478
54.05	     nbFailedAssignments=14654  nbBacktracks=8730  nbVisitedNodes=45656  nbRestartNogoods=265
54.05	       =>  wckTime=29.499  cpuTime=29.14  mem=16M956
68.30	   
68.30	   search
68.30	     run=15  nbConstraintChecks=187538910  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=33478
68.30	     nbFailedAssignments=20271  nbBacktracks=13109  nbVisitedNodes=64035  nbRestartNogoods=279
68.30	       =>  wckTime=43.753  cpuTime=43.26  mem=16M956
86.91	   
86.91	   search
86.91	     run=16  nbConstraintChecks=262942263  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=47151
86.91	     nbFailedAssignments=27369  nbBacktracks=19679  nbVisitedNodes=87658  nbRestartNogoods=303
86.91	       =>  wckTime=62.359  cpuTime=61.7  mem=16M956
111.90	   
111.90	   search
111.90	     run=17  nbConstraintChecks=366103398  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=66669
111.90	     nbFailedAssignments=37029  nbBacktracks=29531  nbVisitedNodes=120477  nbRestartNogoods=316
111.90	       =>  wckTime=87.356  cpuTime=86.47  mem=16M956
147.38	   
147.38	   search
147.38	     run=18  nbConstraintChecks=512384718  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=94943
147.38	     nbFailedAssignments=50520  nbBacktracks=44309  nbVisitedNodes=166716  nbRestartNogoods=348
147.38	       =>  wckTime=122.836  cpuTime=121.62  mem=16M956
199.02	   
199.03	   search
199.03	     run=19  nbConstraintChecks=720136860  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=135147
199.03	     nbFailedAssignments=68549  nbBacktracks=66477  nbVisitedNodes=230220  nbRestartNogoods=359
199.03	       =>  wckTime=174.476  cpuTime=172.79  mem=16M956
268.33	   
268.33	   search
268.33	     run=20  nbConstraintChecks=1010189859  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=193533
268.33	     nbFailedAssignments=93681  nbBacktracks=99729  nbVisitedNodes=320829  nbRestartNogoods=377
268.33	       =>  wckTime=243.78  cpuTime=241.45  mem=16M956
374.86	   
374.86	   search
374.86	     run=21  nbConstraintChecks=1447529360  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=281482
374.86	     nbFailedAssignments=131748  nbBacktracks=149607  nbVisitedNodes=458188  nbRestartNogoods=387
374.86	       =>  wckTime=350.307  cpuTime=347.0  mem=16M956
529.43	   
529.43	   search
529.43	     run=22  nbConstraintChecks=2084435697  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=411718
529.43	     nbFailedAssignments=187160  nbBacktracks=224425  nbVisitedNodes=659929  nbRestartNogoods=434
529.43	       =>  wckTime=504.881  cpuTime=500.15  mem=16M956
771.70	   
771.70	   search
771.70	     run=23  nbConstraintChecks=3088315658  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=610947
771.70	     nbFailedAssignments=274158  nbBacktracks=336652  nbVisitedNodes=971451  nbRestartNogoods=465
771.70	       =>  wckTime=747.149  cpuTime=740.19  mem=16M956
1136.28	   
1136.28	   search
1136.28	     run=24  nbConstraintChecks=4589590825  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=908461
1136.28	     nbFailedAssignments=403325  nbBacktracks=504994  nbVisitedNodes=1435140  nbRestartNogoods=499
1136.28	       =>  wckTime=1111.728  cpuTime=1101.24  mem=16M956
1680.70	   
1680.70	   search
1680.70	     run=25  nbConstraintChecks=6870320391  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1356931
1680.70	     nbFailedAssignments=599279  nbBacktracks=757505  nbVisitedNodes=2137126  nbRestartNogoods=527
1680.70	       =>  wckTime=1656.153  cpuTime=1641.62  mem=16M956
2415.21	v 13 4 0 5 18 3 3 7 0 15 16 12 17 2 4 12 16 16 17 16 17 10 18 15 6 11 17 9 10 15 10 7 15 10 17 3 1 6 2 16

Verifier Data (download as text)

1 unsatisfied constraints, 329 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/node50/watcher-275428-1169221667 -o ROOT/results/node50/solver-275428-1169221667 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275428-1169221667/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.92 1.98 1.94 4/81 2336
/proc/meminfo: memFree=1451784/2055920 swapFree=4191892/4192956
[pid=2335] ppid=2333 vsize=18540 CPUtime=0
/proc/2335/stat : 2335 (runsolver) R 2333 2335 1582 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 270565302 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 240577473831 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/2335/statm: 4635 279 244 17 0 2626 0

[startup+0.106908 s]
/proc/loadavg: 1.92 1.98 1.94 4/81 2336
/proc/meminfo: memFree=1451784/2055920 swapFree=4191892/4192956
[pid=2335] ppid=2333 vsize=914988 CPUtime=0.08
/proc/2335/stat : 2335 (java) R 2333 2335 1582 0 -1 0 2989 0 1 0 7 1 0 0 17 0 8 0 270565302 936947712 2735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2335/statm: 228747 2735 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.514976 s]
/proc/loadavg: 1.92 1.98 1.94 4/81 2336
/proc/meminfo: memFree=1451784/2055920 swapFree=4191892/4192956
[pid=2335] ppid=2333 vsize=915332 CPUtime=0.49
/proc/2335/stat : 2335 (java) R 2333 2335 1582 0 -1 0 6764 0 1 0 45 4 0 0 18 0 8 0 270565302 937299968 6503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073566022 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2335/statm: 228833 6503 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33612 s]
/proc/loadavg: 1.92 1.98 1.94 4/88 2343
/proc/meminfo: memFree=1429136/2055920 swapFree=4191892/4192956
[pid=2335] ppid=2333 vsize=915464 CPUtime=1.3
/proc/2335/stat : 2335 (java) R 2333 2335 1582 0 -1 0 8341 0 1 0 115 15 0 0 25 0 8 0 270565302 937435136 8079 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2335/statm: 228866 8079 2479 14 0 215336 0
[pid=2335/tid=2337] ppid=2333 vsize=915464 CPUtime=0.03
/proc/2335/task/2337/stat : 2337 (java) S 2333 2335 1582 0 -1 64 290 0 0 0 3 0 0 0 16 0 8 0 270565306 937435136 8079 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2338] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2338/stat : 2338 (java) S 2333 2335 1582 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270565307 937435136 8079 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2339] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2339/stat : 2339 (java) S 2333 2335 1582 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270565307 937435136 8079 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2340] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2340/stat : 2340 (java) S 2333 2335 1582 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270565310 937435136 8079 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2341] ppid=2333 vsize=915464 CPUtime=0.15
/proc/2335/task/2341/stat : 2341 (java) S 2333 2335 1582 0 -1 64 350 0 0 0 15 0 0 0 16 0 8 0 270565310 937435136 8079 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2342] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2342/stat : 2342 (java) S 2333 2335 1582 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270565310 937435136 8079 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2343] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2343/stat : 2343 (java) S 2333 2335 1582 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270565310 937435136 8079 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.97438 s]
/proc/loadavg: 1.92 1.98 1.94 3/88 2343
/proc/meminfo: memFree=1429072/2055920 swapFree=4191892/4192956
[pid=2335] ppid=2333 vsize=915464 CPUtime=2.93
/proc/2335/stat : 2335 (java) R 2333 2335 1582 0 -1 0 8342 0 1 0 258 35 0 0 25 0 8 0 270565302 937435136 8079 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073741862 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2335/statm: 228866 8079 2479 14 0 215336 0
[pid=2335/tid=2337] ppid=2333 vsize=915464 CPUtime=0.03
/proc/2335/task/2337/stat : 2337 (java) S 2333 2335 1582 0 -1 64 290 0 0 0 3 0 0 0 16 0 8 0 270565306 937435136 8079 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2338] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2338/stat : 2338 (java) S 2333 2335 1582 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270565307 937435136 8079 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2339] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2339/stat : 2339 (java) S 2333 2335 1582 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270565307 937435136 8079 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2340] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2340/stat : 2340 (java) S 2333 2335 1582 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270565310 937435136 8079 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2341] ppid=2333 vsize=915464 CPUtime=0.15
/proc/2335/task/2341/stat : 2341 (java) S 2333 2335 1582 0 -1 64 350 0 0 0 15 0 0 0 16 0 8 0 270565310 937435136 8079 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2342] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2342/stat : 2342 (java) S 2333 2335 1582 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270565310 937435136 8079 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2343] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2343/stat : 2343 (java) S 2333 2335 1582 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270565310 937435136 8079 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915464

[startup+6.27194 s]
/proc/loadavg: 1.93 1.98 1.94 3/88 2343
/proc/meminfo: memFree=1429072/2055920 swapFree=4191892/4192956
[pid=2335] ppid=2333 vsize=915464 CPUtime=6.19
/proc/2335/stat : 2335 (java) R 2333 2335 1582 0 -1 0 8345 0 1 0 542 77 0 0 25 0 8 0 270565302 937435136 8082 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073744214 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2335/statm: 228866 8082 2479 14 0 215336 0
[pid=2335/tid=2337] ppid=2333 vsize=915464 CPUtime=0.03
/proc/2335/task/2337/stat : 2337 (java) S 2333 2335 1582 0 -1 64 290 0 0 0 3 0 0 0 16 0 8 0 270565306 937435136 8082 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2338] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2338/stat : 2338 (java) S 2333 2335 1582 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270565307 937435136 8082 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2339] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2339/stat : 2339 (java) S 2333 2335 1582 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270565307 937435136 8082 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2340] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2340/stat : 2340 (java) S 2333 2335 1582 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270565310 937435136 8082 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2341] ppid=2333 vsize=915464 CPUtime=0.16
/proc/2335/task/2341/stat : 2341 (java) S 2333 2335 1582 0 -1 64 353 0 0 0 16 0 0 0 16 0 8 0 270565310 937435136 8082 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2342] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2342/stat : 2342 (java) S 2333 2335 1582 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270565310 937435136 8082 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2343] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2343/stat : 2343 (java) S 2333 2335 1582 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270565310 937435136 8082 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.747 s]
/proc/loadavg: 1.93 1.98 1.94 3/88 2343
/proc/meminfo: memFree=1429072/2055920 swapFree=4191892/4192956
[pid=2335] ppid=2333 vsize=915464 CPUtime=12.61
/proc/2335/stat : 2335 (java) R 2333 2335 1582 0 -1 0 8345 0 1 0 1103 158 0 0 25 0 8 0 270565302 937435136 8082 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073744985 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2335/statm: 228866 8082 2479 14 0 215336 0
[pid=2335/tid=2337] ppid=2333 vsize=915464 CPUtime=0.03
/proc/2335/task/2337/stat : 2337 (java) S 2333 2335 1582 0 -1 64 290 0 0 0 3 0 0 0 16 0 8 0 270565306 937435136 8082 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2338] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2338/stat : 2338 (java) S 2333 2335 1582 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270565307 937435136 8082 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2339] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2339/stat : 2339 (java) S 2333 2335 1582 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270565307 937435136 8082 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2340] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2340/stat : 2340 (java) S 2333 2335 1582 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270565310 937435136 8082 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2341] ppid=2333 vsize=915464 CPUtime=0.16
/proc/2335/task/2341/stat : 2341 (java) S 2333 2335 1582 0 -1 64 353 0 0 0 16 0 0 0 16 0 8 0 270565310 937435136 8082 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2342] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2342/stat : 2342 (java) S 2333 2335 1582 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270565310 937435136 8082 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2343] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2343/stat : 2343 (java) S 2333 2335 1582 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270565310 937435136 8082 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915464

[startup+25.6072 s]
/proc/loadavg: 1.95 1.98 1.94 3/88 2343
/proc/meminfo: memFree=1426128/2055920 swapFree=4191892/4192956
[pid=2335] ppid=2333 vsize=915464 CPUtime=25.35
/proc/2335/stat : 2335 (java) R 2333 2335 1582 0 -1 0 9165 0 1 0 2229 306 0 0 25 0 8 0 270565302 937435136 8901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073857016 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2335/statm: 228866 8901 2532 14 0 215336 0
[pid=2335/tid=2337] ppid=2333 vsize=915464 CPUtime=0.03
/proc/2335/task/2337/stat : 2337 (java) S 2333 2335 1582 0 -1 64 291 0 0 0 3 0 0 0 17 0 8 0 270565306 937435136 8901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2338] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2338/stat : 2338 (java) S 2333 2335 1582 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270565307 937435136 8901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2339] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2339/stat : 2339 (java) S 2333 2335 1582 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270565307 937435136 8901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2340] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2340/stat : 2340 (java) S 2333 2335 1582 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270565310 937435136 8901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2341] ppid=2333 vsize=915464 CPUtime=0.23
/proc/2335/task/2341/stat : 2341 (java) S 2333 2335 1582 0 -1 64 393 0 0 0 23 0 0 0 15 0 8 0 270565310 937435136 8901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2342] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2342/stat : 2342 (java) S 2333 2335 1582 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270565310 937435136 8901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2343] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2343/stat : 2343 (java) S 2333 2335 1582 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270565310 937435136 8901 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.2155 s]
/proc/loadavg: 2.09 2.02 1.95 3/88 2343
/proc/meminfo: memFree=1425936/2055920 swapFree=4191892/4192956
[pid=2335] ppid=2333 vsize=915464 CPUtime=50.72
/proc/2335/stat : 2335 (java) R 2333 2335 1582 0 -1 0 9205 0 1 0 4766 306 0 0 25 0 8 0 270565302 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073863650 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2335/statm: 228866 8936 2532 14 0 215336 0
[pid=2335/tid=2337] ppid=2333 vsize=915464 CPUtime=0.03
/proc/2335/task/2337/stat : 2337 (java) S 2333 2335 1582 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 270565306 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2338] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2338/stat : 2338 (java) S 2333 2335 1582 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270565307 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2339] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2339/stat : 2339 (java) S 2333 2335 1582 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270565307 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2340] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2340/stat : 2340 (java) S 2333 2335 1582 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270565310 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2341] ppid=2333 vsize=915464 CPUtime=0.27
/proc/2335/task/2341/stat : 2341 (java) S 2333 2335 1582 0 -1 64 410 0 0 0 27 0 0 0 15 0 8 0 270565310 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2342] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2342/stat : 2342 (java) S 2333 2335 1582 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270565310 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2343] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2343/stat : 2343 (java) S 2333 2335 1582 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270565310 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915464

[startup+102.417 s]
/proc/loadavg: 2.04 2.01 1.95 3/88 2343
/proc/meminfo: memFree=1425936/2055920 swapFree=4191892/4192956
[pid=2335] ppid=2333 vsize=915464 CPUtime=101.44
/proc/2335/stat : 2335 (java) R 2333 2335 1582 0 -1 0 9212 0 1 0 9838 306 0 0 25 0 8 0 270565302 937435136 8943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073853658 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2335/statm: 228866 8943 2532 14 0 215336 0
[pid=2335/tid=2337] ppid=2333 vsize=915464 CPUtime=0.03
/proc/2335/task/2337/stat : 2337 (java) S 2333 2335 1582 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 270565306 937435136 8943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2338] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2338/stat : 2338 (java) S 2333 2335 1582 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270565307 937435136 8943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2339] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2339/stat : 2339 (java) S 2333 2335 1582 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270565307 937435136 8943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2340] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2340/stat : 2340 (java) S 2333 2335 1582 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270565310 937435136 8943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2341] ppid=2333 vsize=915464 CPUtime=0.27
/proc/2335/task/2341/stat : 2341 (java) S 2333 2335 1582 0 -1 64 410 0 0 0 27 0 0 0 16 0 8 0 270565310 937435136 8943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2342] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2342/stat : 2342 (java) S 2333 2335 1582 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270565310 937435136 8943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2343] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2343/stat : 2343 (java) S 2333 2335 1582 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270565310 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.44
Current children cumulated vsize (KiB) 915464

[startup+162.462 s]
/proc/loadavg: 2.09 2.02 1.96 3/88 2343
/proc/meminfo: memFree=1425872/2055920 swapFree=4191892/4192956
[pid=2335] ppid=2333 vsize=915464 CPUtime=160.94
/proc/2335/stat : 2335 (java) R 2333 2335 1582 0 -1 0 9217 0 1 0 15787 307 0 0 25 0 8 0 270565302 937435136 8948 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073854559 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+2084.04 s]
/proc/loadavg: 1.00 1.18 1.57 2/72 2740
/proc/meminfo: memFree=1441520/2055920 swapFree=4191892/4192956
[pid=2335] ppid=2333 vsize=915464 CPUtime=2069.08
/proc/2335/stat : 2335 (java) R 2333 2335 1582 0 -1 0 9238 0 1 0 206596 312 0 0 25 0 8 0 270565302 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073852551 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2335/statm: 228866 8966 2532 14 0 215336 0
[pid=2335/tid=2337] ppid=2333 vsize=915464 CPUtime=0.03
/proc/2335/task/2337/stat : 2337 (java) S 2333 2335 1582 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 270565306 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2338] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2338/stat : 2338 (java) S 2333 2335 1582 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270565307 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2339] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2339/stat : 2339 (java) S 2333 2335 1582 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270565307 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2340] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2340/stat : 2340 (java) S 2333 2335 1582 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270565310 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2341] ppid=2333 vsize=915464 CPUtime=0.27
/proc/2335/task/2341/stat : 2341 (java) S 2333 2335 1582 0 -1 64 411 0 0 0 27 0 0 0 16 0 8 0 270565310 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2342] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2342/stat : 2342 (java) S 2333 2335 1582 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270565310 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2343] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2343/stat : 2343 (java) S 2333 2335 1582 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270565310 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) 2069.08
Current children cumulated vsize (KiB) 915464

[startup+2144.05 s]
/proc/loadavg: 1.04 1.16 1.53 2/72 2740
/proc/meminfo: memFree=1441520/2055920 swapFree=4191892/4192956
[pid=2335] ppid=2333 vsize=915464 CPUtime=2129.06
/proc/2335/stat : 2335 (java) R 2333 2335 1582 0 -1 0 9238 0 1 0 212594 312 0 0 25 0 8 0 270565302 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073854571 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2335/statm: 228866 8966 2532 14 0 215336 0
[pid=2335/tid=2337] ppid=2333 vsize=915464 CPUtime=0.03
/proc/2335/task/2337/stat : 2337 (java) S 2333 2335 1582 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 270565306 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2338] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2338/stat : 2338 (java) S 2333 2335 1582 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270565307 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2339] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2339/stat : 2339 (java) S 2333 2335 1582 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270565307 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2340] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2340/stat : 2340 (java) S 2333 2335 1582 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270565310 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2341] ppid=2333 vsize=915464 CPUtime=0.27
/proc/2335/task/2341/stat : 2341 (java) S 2333 2335 1582 0 -1 64 411 0 0 0 27 0 0 0 16 0 8 0 270565310 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2342] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2342/stat : 2342 (java) S 2333 2335 1582 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270565310 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2343] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2343/stat : 2343 (java) S 2333 2335 1582 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270565310 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) 2129.06
Current children cumulated vsize (KiB) 915464

[startup+2204.06 s]
/proc/loadavg: 1.02 1.13 1.50 3/72 2740
/proc/meminfo: memFree=1441584/2055920 swapFree=4191892/4192956
[pid=2335] ppid=2333 vsize=915464 CPUtime=2189.03
/proc/2335/stat : 2335 (java) R 2333 2335 1582 0 -1 0 9238 0 1 0 218591 312 0 0 25 0 8 0 270565302 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073863650 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2335/statm: 228866 8966 2532 14 0 215336 0
[pid=2335/tid=2337] ppid=2333 vsize=915464 CPUtime=0.03
/proc/2335/task/2337/stat : 2337 (java) S 2333 2335 1582 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 270565306 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2338] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2338/stat : 2338 (java) S 2333 2335 1582 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270565307 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2339] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2339/stat : 2339 (java) S 2333 2335 1582 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270565307 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2340] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2340/stat : 2340 (java) S 2333 2335 1582 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270565310 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2341] ppid=2333 vsize=915464 CPUtime=0.27
/proc/2335/task/2341/stat : 2341 (java) S 2333 2335 1582 0 -1 64 411 0 0 0 27 0 0 0 16 0 8 0 270565310 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2342] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2342/stat : 2342 (java) S 2333 2335 1582 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270565310 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2343] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2343/stat : 2343 (java) S 2333 2335 1582 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270565310 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) 2189.03
Current children cumulated vsize (KiB) 915464

[startup+2264.06 s]
/proc/loadavg: 1.00 1.10 1.46 2/72 2740
/proc/meminfo: memFree=1441584/2055920 swapFree=4191892/4192956
[pid=2335] ppid=2333 vsize=915464 CPUtime=2248.98
/proc/2335/stat : 2335 (java) R 2333 2335 1582 0 -1 0 9238 0 1 0 224586 312 0 0 25 0 8 0 270565302 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073863505 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2335/statm: 228866 8966 2532 14 0 215336 0
[pid=2335/tid=2337] ppid=2333 vsize=915464 CPUtime=0.03
/proc/2335/task/2337/stat : 2337 (java) S 2333 2335 1582 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 270565306 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2338] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2338/stat : 2338 (java) S 2333 2335 1582 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270565307 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2339] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2339/stat : 2339 (java) S 2333 2335 1582 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270565307 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2340] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2340/stat : 2340 (java) S 2333 2335 1582 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270565310 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2341] ppid=2333 vsize=915464 CPUtime=0.27
/proc/2335/task/2341/stat : 2341 (java) S 2333 2335 1582 0 -1 64 411 0 0 0 27 0 0 0 16 0 8 0 270565310 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2342] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2342/stat : 2342 (java) S 2333 2335 1582 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270565310 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2343] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2343/stat : 2343 (java) S 2333 2335 1582 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270565310 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) 2248.98
Current children cumulated vsize (KiB) 915464

[startup+2324.06 s]
/proc/loadavg: 1.00 1.08 1.43 2/72 2740
/proc/meminfo: memFree=1441584/2055920 swapFree=4191892/4192956
[pid=2335] ppid=2333 vsize=915464 CPUtime=2308.95
/proc/2335/stat : 2335 (java) R 2333 2335 1582 0 -1 0 9238 0 1 0 230583 312 0 0 25 0 8 0 270565302 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073863401 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2335/statm: 228866 8966 2532 14 0 215336 0
[pid=2335/tid=2337] ppid=2333 vsize=915464 CPUtime=0.03
/proc/2335/task/2337/stat : 2337 (java) S 2333 2335 1582 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 270565306 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2338] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2338/stat : 2338 (java) S 2333 2335 1582 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270565307 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2339] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2339/stat : 2339 (java) S 2333 2335 1582 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270565307 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2340] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2340/stat : 2340 (java) S 2333 2335 1582 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270565310 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2341] ppid=2333 vsize=915464 CPUtime=0.27
/proc/2335/task/2341/stat : 2341 (java) S 2333 2335 1582 0 -1 64 411 0 0 0 27 0 0 0 16 0 8 0 270565310 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2342] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2342/stat : 2342 (java) S 2333 2335 1582 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270565310 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2343] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2343/stat : 2343 (java) S 2333 2335 1582 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270565310 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) 2308.95
Current children cumulated vsize (KiB) 915464

[startup+2384.07 s]
/proc/loadavg: 1.00 1.06 1.40 2/72 2740
/proc/meminfo: memFree=1441648/2055920 swapFree=4191892/4192956
[pid=2335] ppid=2333 vsize=915464 CPUtime=2368.94
/proc/2335/stat : 2335 (java) R 2333 2335 1582 0 -1 0 9238 0 1 0 236582 312 0 0 25 0 8 0 270565302 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073915406 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2335/statm: 228866 8966 2532 14 0 215336 0
[pid=2335/tid=2337] ppid=2333 vsize=915464 CPUtime=0.03
/proc/2335/task/2337/stat : 2337 (java) S 2333 2335 1582 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 270565306 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2338] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2338/stat : 2338 (java) S 2333 2335 1582 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270565307 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2339] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2339/stat : 2339 (java) S 2333 2335 1582 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270565307 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2340] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2340/stat : 2340 (java) S 2333 2335 1582 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270565310 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2341] ppid=2333 vsize=915464 CPUtime=0.27
/proc/2335/task/2341/stat : 2341 (java) S 2333 2335 1582 0 -1 64 411 0 0 0 27 0 0 0 16 0 8 0 270565310 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2342] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2342/stat : 2342 (java) S 2333 2335 1582 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270565310 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2343] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2343/stat : 2343 (java) S 2333 2335 1582 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270565310 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) 2368.94
Current children cumulated vsize (KiB) 915464



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2415.21 s]
/proc/loadavg: 1.00 1.06 1.39 2/72 2740
/proc/meminfo: memFree=1441584/2055920 swapFree=4191892/4192956
[pid=2335] ppid=2333 vsize=915464 CPUtime=2400.07
/proc/2335/stat : 2335 (java) R 2333 2335 1582 0 -1 0 9238 0 1 0 239695 312 0 0 25 0 8 0 270565302 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073915269 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2335/statm: 228866 8966 2532 14 0 215336 0
[pid=2335/tid=2337] ppid=2333 vsize=915464 CPUtime=0.03
/proc/2335/task/2337/stat : 2337 (java) S 2333 2335 1582 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 270565306 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2338] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2338/stat : 2338 (java) S 2333 2335 1582 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270565307 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2339] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2339/stat : 2339 (java) S 2333 2335 1582 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270565307 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2340] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2340/stat : 2340 (java) S 2333 2335 1582 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270565310 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2341] ppid=2333 vsize=915464 CPUtime=0.27
/proc/2335/task/2341/stat : 2341 (java) S 2333 2335 1582 0 -1 64 411 0 0 0 27 0 0 0 16 0 8 0 270565310 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2342] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2342/stat : 2342 (java) S 2333 2335 1582 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270565310 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2335/tid=2343] ppid=2333 vsize=915464 CPUtime=0
/proc/2335/task/2343/stat : 2343 (java) S 2333 2335 1582 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270565310 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.07
Current children cumulated vsize (KiB) 915464

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

Child status: 143
Real time (s): 2415.23
CPU time (s): 2400.1
CPU user time (s): 2396.97
CPU system time (s): 3.13452
CPU usage (%): 99.3735
Max. virtual memory (cumulated for all children) (KiB): 915468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.97
system time used= 3.13452
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= 50065
involuntary context switches= 94576

runsolver used 2.99055 s user time and 6.97394 s system time

The end

Launcher Data (download as text)

Begin job on node50 on Fri Jan 19 15:47:47 UTC 2007


IDJOB= 275428
IDBENCH= 3886
IDSOLVER= 68
FILE ID= node50/275428-1169221667

PBS_JOBID= 3589162

Free space on /tmp= 66562 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  4e97dd6535f44bce5851f479f793d7bd

RANDOM SEED= 543873230

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.263
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	: 5931.00
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.263
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:       1452264 kB
Buffers:         45272 kB
Cached:         450920 kB
SwapCached:        276 kB
Active:         132588 kB
Inactive:       393936 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1452264 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:            1864 kB
Writeback:           0 kB
Mapped:          46888 kB
Slab:            62324 kB
Committed_AS:  5277956 kB
PageTables:       1948 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 node50 on Fri Jan 19 16:28:03 UTC 2007