Trace number 276392

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AbsconMax 109 PFCMSAT (TO) 2400.09 2406.78

General information on the benchmark

Nametightness/tightness0.8/
rand-2-40-80-103-800-29_ext.xml
MD5SUMeb2e85044c616a714f9eeb520026d899
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints101
Best CPU time to get the best result obtained on this benchmark2400.07
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables40
Number of constraints103
Maximum constraint arity2
Maximum domain size80
Number of constraints which are defined in extension103
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=pfc.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/276392-1169236521/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.42	     nbVariables=40  nbDomainTypes=1  minDomainSize=80  maxDomainSize=80
0.42	       =>  wckTime=0.105  cpuTime=0.08  mem=6M910
0.42	   
0.42	   relations being loaded...
0.61	   
0.61	   constraints being loaded...
0.70	     nbConstraints=103  nbRelationTypes=103  nbExtensionStructures=103  nbSharedExtensionStructures=0
0.70	     nbConflictsStructures=103  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=10  maxArity=2
0.70	       =>  wckTime=0.383  cpuTime=0.32  mem=21M685
0.75	   
0.75	   solver LocalSearchSolver being built... 
0.79	       =>  wckTime=0.476  cpuTime=0.36  mem=6M328
0.80	
0.80	s SATISFIABLE
0.80	o 19
0.80	c 84
0.81	o 23
0.81	c 80
0.81	o 27
0.81	c 76
0.81	o 31
0.81	c 72
0.81	o 35
0.81	c 68
0.81	o 39
0.81	c 64
0.81	o 42
0.81	c 61
0.81	o 45
0.81	c 58
0.81	o 47
0.81	c 56
0.81	o 49
0.81	c 54
0.82	o 51
0.82	c 52
0.82	o 54
0.82	c 49
0.82	o 57
0.82	c 46
0.82	o 60
0.82	c 43
0.82	o 63
0.82	c 40
0.82	o 66
0.82	c 37
0.82	o 68
0.82	c 35
0.82	o 70
0.82	c 33
0.82	o 72
0.82	c 31
0.82	o 73
0.82	c 30
0.82	o 74
0.82	c 29
0.83	o 75
0.83	c 28
0.83	o 77
0.83	c 26
0.83	o 78
0.83	c 25
0.83	o 79
0.83	c 24
0.83	o 80
0.83	c 23
0.84	o 81
0.84	c 22
0.84	o 82
0.84	c 21
0.84	o 83
0.84	c 20
0.84	o 85
0.84	c 18
0.85	o 86
0.85	c 17
0.85	o 87
0.85	c 16
0.85	o 88
0.85	c 15
0.85	o 89
0.85	c 14
0.85	o 90
0.85	c 13
0.86	o 91
0.86	c 12
0.86	o 92
0.86	c 11
0.89	o 93
0.89	c 10
0.90	o 94
0.90	c 9
0.93	o 95
0.93	c 8
1.11	o 96
1.11	c 7
1.14	o 97
1.14	c 6
1.15	o 98
1.15	c 5
6.41	   
6.42	   search
6.42	     run=0  nbConstraintChecks=44430967  nbAssignments=10000
6.42	       =>  wckTime=5.624  cpuTime=5.57  mem=6M328
7.02	o 99
7.02	c 4
12.34	   
12.34	   search
12.34	     run=1  nbConstraintChecks=90544868  nbAssignments=20000
12.34	       =>  wckTime=11.553  cpuTime=11.46  mem=6M328
18.07	   
18.07	   search
18.07	     run=2  nbConstraintChecks=134734906  nbAssignments=30000
18.07	       =>  wckTime=17.276  cpuTime=17.17  mem=6M328
24.20	   
24.20	   search
24.20	     run=3  nbConstraintChecks=182170739  nbAssignments=40000
24.20	       =>  wckTime=23.411  cpuTime=23.26  mem=6M328
27.61	o 100
27.61	c 3
29.58	   
29.58	   search
29.58	     run=4  nbConstraintChecks=223553374  nbAssignments=50000
29.58	       =>  wckTime=28.794  cpuTime=28.62  mem=6M328
35.52	   
35.52	   search
35.52	     run=5  nbConstraintChecks=269154786  nbAssignments=60000
35.52	       =>  wckTime=34.731  cpuTime=34.53  mem=6M328
41.02	   
41.02	   search
41.02	     run=6  nbConstraintChecks=311095882  nbAssignments=70000
41.02	       =>  wckTime=40.232  cpuTime=40.01  mem=6M328
47.10	   
47.10	   search
47.10	     run=7  nbConstraintChecks=358297034  nbAssignments=80000
47.10	       =>  wckTime=46.313  cpuTime=46.06  mem=6M328
52.61	   
52.61	   search
52.61	     run=8  nbConstraintChecks=400947636  nbAssignments=90000
52.61	       =>  wckTime=51.82  cpuTime=51.54  mem=6M328
57.76	   
57.76	   search
57.76	     run=9  nbConstraintChecks=441216728  nbAssignments=98155
57.76	       =>  wckTime=56.97  cpuTime=56.67  mem=6M328
57.76	   
57.76	   global
57.76	     nbConstraintChecks=441216728  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
57.76	     solvingWckTime=56.966  solvingCpuTime=56.67  expiredTime=no  totalExploration=no  nbFoundSolutions=0
57.76	     globalCpuTime=57.08
57.76	       =>  wckTime=57.447  cpuTime=57.03  mem=6M328
57.76	   
57.76	   solver IterativeSystematicSolver being built... 
57.89	       =>  wckTime=57.574  cpuTime=57.13  mem=17M252
57.90	   
57.90	   preprocessing
57.90	     nbConstraintChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
57.90	     detectedInconsistency=no
57.90	       =>  wckTime=0.0060  cpuTime=0.0  mem=17M252
58.24	   
58.24	   search
58.24	     run=0  nbConstraintChecks=1333963  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=138
58.24	     nbFailedAssignments=118  nbBacktracks=10  nbVisitedNodes=267  nbRestartNogoods=0
58.24	       =>  wckTime=0.353  cpuTime=0.31  mem=17M252
58.77	   
58.77	   search
58.77	     run=1  nbConstraintChecks=4057953  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=376
58.77	     nbFailedAssignments=333  nbBacktracks=25  nbVisitedNodes=735  nbRestartNogoods=117
58.77	       =>  wckTime=0.876  cpuTime=0.83  mem=17M252
60.07	   
60.07	   search
60.07	     run=2  nbConstraintChecks=10683839  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=883
60.07	     nbFailedAssignments=813  nbBacktracks=47  nbVisitedNodes=1744  nbRestartNogoods=147
60.07	       =>  wckTime=2.176  cpuTime=2.11  mem=17M252
61.10	   
61.10	   search
61.10	     run=3  nbConstraintChecks=15868552  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1382
61.10	     nbFailedAssignments=1265  nbBacktracks=80  nbVisitedNodes=2728  nbRestartNogoods=164
61.10	       =>  wckTime=3.213  cpuTime=3.14  mem=17M252
63.60	   
63.60	   search
63.60	     run=4  nbConstraintChecks=31503100  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2695
63.60	     nbFailedAssignments=2522  nbBacktracks=130  nbVisitedNodes=5348  nbRestartNogoods=338
63.60	       =>  wckTime=5.706  cpuTime=5.61  mem=17M252
64.07	   
64.07	   search
64.07	     run=5  nbConstraintChecks=33932737  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2860
64.07	     nbFailedAssignments=2600  nbBacktracks=205  nbVisitedNodes=5666  nbRestartNogoods=472
64.07	       =>  wckTime=6.18  cpuTime=6.08  mem=17M252
65.59	   
65.59	   search
65.59	     run=6  nbConstraintChecks=42469275  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3784
65.59	     nbFailedAssignments=3398  nbBacktracks=318  nbVisitedNodes=7501  nbRestartNogoods=490
65.59	       =>  wckTime=7.7  cpuTime=7.6  mem=17M252
67.77	   
67.77	   search
67.77	     run=7  nbConstraintChecks=54878664  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=5144
67.77	     nbFailedAssignments=4575  nbBacktracks=488  nbVisitedNodes=10208  nbRestartNogoods=543
67.77	       =>  wckTime=9.884  cpuTime=9.77  mem=17M252
73.16	   
73.16	   search
73.16	     run=8  nbConstraintChecks=88079728  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=7949
73.16	     nbFailedAssignments=7109  nbBacktracks=744  nbVisitedNodes=15803  nbRestartNogoods=553
73.16	       =>  wckTime=15.265  cpuTime=15.12  mem=17M252
76.50	   
76.50	   search
76.50	     run=9  nbConstraintChecks=106063646  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=10427
76.50	     nbFailedAssignments=9190  nbBacktracks=1128  nbVisitedNodes=20746  nbRestartNogoods=708
76.50	       =>  wckTime=18.609  cpuTime=18.45  mem=17M252
95.08	   
95.09	   search
95.09	     run=10  nbConstraintChecks=211448451  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=19374
95.09	     nbFailedAssignments=17551  nbBacktracks=1704  nbVisitedNodes=38629  nbRestartNogoods=745
95.09	       =>  wckTime=37.194  cpuTime=36.94  mem=17M252
117.34	   
117.34	   search
117.34	     run=11  nbConstraintChecks=347592872  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=34857
117.34	     nbFailedAssignments=32155  nbBacktracks=2568  nbVisitedNodes=69579  nbRestartNogoods=895
117.34	       =>  wckTime=59.453  cpuTime=59.09  mem=17M252
129.97	   
129.97	   search
129.97	     run=12  nbConstraintChecks=429669986  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=44004
129.97	     nbFailedAssignments=39989  nbBacktracks=3867  nbVisitedNodes=87857  nbRestartNogoods=1054
129.97	       =>  wckTime=72.078  cpuTime=71.66  mem=17M252
166.42	   
166.42	   search
166.42	     run=13  nbConstraintChecks=592433579  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=61801
166.42	     nbFailedAssignments=55828  nbBacktracks=5813  nbVisitedNodes=123439  nbRestartNogoods=1088
166.42	       =>  wckTime=108.527  cpuTime=107.93  mem=17M252
218.44	   
218.49	   search
218.49	     run=14  nbConstraintChecks=863310171  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=85610
218.49	     nbFailedAssignments=76702  nbBacktracks=8732  nbVisitedNodes=171038  nbRestartNogoods=1204
218.49	       =>  wckTime=160.554  cpuTime=159.72  mem=17M252
257.37	   
257.37	   search
257.37	     run=15  nbConstraintChecks=1035672012  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=107706
257.37	     nbFailedAssignments=94412  nbBacktracks=13110  nbVisitedNodes=215120  nbRestartNogoods=1297
257.37	       =>  wckTime=199.479  cpuTime=198.46  mem=17M252
317.35	   
317.35	   search
317.35	     run=16  nbConstraintChecks=1278135233  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=131629
317.35	     nbFailedAssignments=111756  nbBacktracks=19678  nbVisitedNodes=262783  nbRestartNogoods=1323
317.35	       =>  wckTime=259.458  cpuTime=258.15  mem=17M252
404.80	   
404.80	   search
404.80	     run=17  nbConstraintChecks=1571534195  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=159279
404.80	     nbFailedAssignments=129549  nbBacktracks=29530  nbVisitedNodes=316340  nbRestartNogoods=1396
404.80	       =>  wckTime=346.914  cpuTime=345.06  mem=17M252
520.45	   
520.45	   search
520.45	     run=18  nbConstraintChecks=1951646678  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=197456
520.45	     nbFailedAssignments=152944  nbBacktracks=44309  nbVisitedNodes=390888  nbRestartNogoods=1460
520.45	       =>  wckTime=462.556  cpuTime=460.13  mem=17M252
695.10	   
695.10	   search
695.10	     run=19  nbConstraintChecks=2522407970  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=253283
695.10	     nbFailedAssignments=186598  nbBacktracks=66477  nbVisitedNodes=497324  nbRestartNogoods=1494
695.10	       =>  wckTime=637.208  cpuTime=633.97  mem=17M252
962.88	   
962.88	   search
962.88	     run=20  nbConstraintChecks=3386806100  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=335447
962.88	     nbFailedAssignments=235504  nbBacktracks=99729  nbVisitedNodes=654713  nbRestartNogoods=1524
962.88	       =>  wckTime=904.985  cpuTime=900.84  mem=17M252
1345.49	   
1345.49	   search
1345.49	     run=21  nbConstraintChecks=4641274797  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=455323
1345.49	     nbFailedAssignments=305494  nbBacktracks=149607  nbVisitedNodes=883425  nbRestartNogoods=1550
1345.49	       =>  wckTime=1287.602  cpuTime=1283.36  mem=17M252
1910.75	   
1910.75	   search
1910.75	     run=22  nbConstraintChecks=6448767466  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=633731
1910.75	     nbFailedAssignments=409077  nbBacktracks=224425  nbVisitedNodes=1223236  nbRestartNogoods=1581
1910.75	       =>  wckTime=1852.863  cpuTime=1848.47  mem=17M252
2406.71	v 72 6 38 11 35 30 19 10 47 9 41 36 29 47 9 31 27 4 68 47 71 74 6 33 70 79 0 43 38 66 47 51 48 48 26 22 46 56 66 36

Verifier Data (download as text)

3 unsatisfied constraints, 100 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/node7/watcher-276392-1169236521 -o ROOT/results/node7/solver-276392-1169236521 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276392-1169236521/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.00 2.00 2.00 2/87 13463
/proc/meminfo: memFree=817104/2055920 swapFree=4192812/4192956
[pid=13462] ppid=13460 vsize=18540 CPUtime=0
/proc/13462/stat : 13462 (runsolver) R 13460 13462 12906 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 272047544 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 244671114535 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/13462/statm: 4635 279 244 17 0 2626 0

[startup+0.102644 s]
/proc/loadavg: 2.00 2.00 2.00 2/87 13463
/proc/meminfo: memFree=817104/2055920 swapFree=4192812/4192956
[pid=13462] ppid=13460 vsize=913228 CPUtime=0.08
/proc/13462/stat : 13462 (java) D 13460 13462 12906 0 -1 0 2920 0 1 0 6 2 0 0 17 0 8 0 272047544 935145472 2666 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13462/statm: 228307 2666 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913228

[startup+0.510687 s]
/proc/loadavg: 2.00 2.00 2.00 2/87 13463
/proc/meminfo: memFree=817104/2055920 swapFree=4192812/4192956
[pid=13462] ppid=13460 vsize=915332 CPUtime=0.48
/proc/13462/stat : 13462 (java) R 13460 13462 12906 0 -1 0 7210 0 1 0 43 5 0 0 18 0 8 0 272047544 937299968 6949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073564452 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13462/statm: 228833 6949 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332

[startup+1.33177 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 13470
/proc/meminfo: memFree=786008/2055920 swapFree=4192812/4192956
[pid=13462] ppid=13460 vsize=915444 CPUtime=1.3
/proc/13462/stat : 13462 (java) R 13460 13462 12906 0 -1 0 10427 0 1 0 119 11 0 0 25 0 8 0 272047544 937414656 10165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073679938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13462/statm: 228861 10165 2476 14 0 215331 0
[pid=13462/tid=13464] ppid=13460 vsize=915444 CPUtime=0.03
/proc/13462/task/13464/stat : 13464 (java) S 13460 13462 12906 0 -1 64 355 0 0 0 3 0 0 0 16 0 8 0 272047549 937414656 10165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13465] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13465/stat : 13465 (java) S 13460 13462 12906 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272047549 937414656 10165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13466] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13466/stat : 13466 (java) S 13460 13462 12906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272047549 937414656 10165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13467] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13467/stat : 13467 (java) S 13460 13462 12906 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272047552 937414656 10165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13468] ppid=13460 vsize=915444 CPUtime=0.12
/proc/13462/task/13468/stat : 13468 (java) S 13460 13462 12906 0 -1 64 330 0 0 0 12 0 0 0 16 0 8 0 272047552 937414656 10165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13469] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13469/stat : 13469 (java) S 13460 13462 12906 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272047552 937414656 10165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13470] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13470/stat : 13470 (java) S 13460 13462 12906 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272047553 937414656 10165 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) 915444

[startup+2.96894 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 13470
/proc/meminfo: memFree=786008/2055920 swapFree=4192812/4192956
[pid=13462] ppid=13460 vsize=915444 CPUtime=2.93
/proc/13462/stat : 13462 (java) R 13460 13462 12906 0 -1 0 10432 0 1 0 269 24 0 0 25 0 8 0 272047544 937414656 10169 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073676965 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13462/statm: 228861 10169 2476 14 0 215331 0
[pid=13462/tid=13464] ppid=13460 vsize=915444 CPUtime=0.03
/proc/13462/task/13464/stat : 13464 (java) S 13460 13462 12906 0 -1 64 355 0 0 0 3 0 0 0 16 0 8 0 272047549 937414656 10169 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13465] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13465/stat : 13465 (java) S 13460 13462 12906 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272047549 937414656 10169 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13466] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13466/stat : 13466 (java) S 13460 13462 12906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272047549 937414656 10169 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13467] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13467/stat : 13467 (java) S 13460 13462 12906 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272047552 937414656 10169 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13468] ppid=13460 vsize=915444 CPUtime=0.13
/proc/13462/task/13468/stat : 13468 (java) S 13460 13462 12906 0 -1 64 334 0 0 0 13 0 0 0 16 0 8 0 272047552 937414656 10169 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13469] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13469/stat : 13469 (java) S 13460 13462 12906 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272047552 937414656 10169 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13470] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13470/stat : 13470 (java) S 13460 13462 12906 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272047553 937414656 10169 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) 915444

[startup+6.17427 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 13470
/proc/meminfo: memFree=785880/2055920 swapFree=4192812/4192956
[pid=13462] ppid=13460 vsize=915444 CPUtime=6.12
/proc/13462/stat : 13462 (java) R 13460 13462 12906 0 -1 0 10432 0 1 0 565 47 0 0 25 0 8 0 272047544 937414656 10169 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073679876 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13462/statm: 228861 10169 2476 14 0 215331 0
[pid=13462/tid=13464] ppid=13460 vsize=915444 CPUtime=0.03
/proc/13462/task/13464/stat : 13464 (java) S 13460 13462 12906 0 -1 64 355 0 0 0 3 0 0 0 16 0 8 0 272047549 937414656 10169 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13465] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13465/stat : 13465 (java) S 13460 13462 12906 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272047549 937414656 10169 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13466] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13466/stat : 13466 (java) S 13460 13462 12906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272047549 937414656 10169 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13467] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13467/stat : 13467 (java) S 13460 13462 12906 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272047552 937414656 10169 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13468] ppid=13460 vsize=915444 CPUtime=0.13
/proc/13462/task/13468/stat : 13468 (java) S 13460 13462 12906 0 -1 64 334 0 0 0 13 0 0 0 16 0 8 0 272047552 937414656 10169 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13469] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13469/stat : 13469 (java) S 13460 13462 12906 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272047552 937414656 10169 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13470] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13470/stat : 13470 (java) S 13460 13462 12906 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272047553 937414656 10169 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915444

[startup+12.644 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 13470
/proc/meminfo: memFree=785880/2055920 swapFree=4192812/4192956
[pid=13462] ppid=13460 vsize=915444 CPUtime=12.56
/proc/13462/stat : 13462 (java) R 13460 13462 12906 0 -1 0 10434 0 1 0 1161 95 0 0 25 0 8 0 272047544 937414656 10171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073675049 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13462/statm: 228861 10171 2476 14 0 215331 0
[pid=13462/tid=13464] ppid=13460 vsize=915444 CPUtime=0.03
/proc/13462/task/13464/stat : 13464 (java) S 13460 13462 12906 0 -1 64 355 0 0 0 3 0 0 0 16 0 8 0 272047549 937414656 10171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13465] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13465/stat : 13465 (java) S 13460 13462 12906 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272047549 937414656 10171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13466] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13466/stat : 13466 (java) S 13460 13462 12906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272047549 937414656 10171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13467] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13467/stat : 13467 (java) S 13460 13462 12906 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272047552 937414656 10171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13468] ppid=13460 vsize=915444 CPUtime=0.13
/proc/13462/task/13468/stat : 13468 (java) S 13460 13462 12906 0 -1 64 336 0 0 0 13 0 0 0 16 0 8 0 272047552 937414656 10171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13469] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13469/stat : 13469 (java) S 13460 13462 12906 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272047552 937414656 10171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13470] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13470/stat : 13470 (java) S 13460 13462 12906 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272047553 937414656 10171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 915444

[startup+25.5083 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 13470
/proc/meminfo: memFree=785944/2055920 swapFree=4192812/4192956
[pid=13462] ppid=13460 vsize=915444 CPUtime=25.36
/proc/13462/stat : 13462 (java) R 13460 13462 12906 0 -1 0 10434 0 1 0 2357 179 0 0 25 0 8 0 272047544 937414656 10171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073681247 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13462/statm: 228861 10171 2476 14 0 215331 0
[pid=13462/tid=13464] ppid=13460 vsize=915444 CPUtime=0.03
/proc/13462/task/13464/stat : 13464 (java) S 13460 13462 12906 0 -1 64 355 0 0 0 3 0 0 0 16 0 8 0 272047549 937414656 10171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13465] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13465/stat : 13465 (java) S 13460 13462 12906 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272047549 937414656 10171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13466] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13466/stat : 13466 (java) S 13460 13462 12906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272047549 937414656 10171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13467] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13467/stat : 13467 (java) S 13460 13462 12906 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272047552 937414656 10171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13468] ppid=13460 vsize=915444 CPUtime=0.13
/proc/13462/task/13468/stat : 13468 (java) S 13460 13462 12906 0 -1 64 336 0 0 0 13 0 0 0 16 0 8 0 272047552 937414656 10171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13469] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13469/stat : 13469 (java) S 13460 13462 12906 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272047552 937414656 10171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13470] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13470/stat : 13470 (java) S 13460 13462 12906 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272047553 937414656 10171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915444

[startup+51.117 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 13470
/proc/meminfo: memFree=786008/2055920 swapFree=4192812/4192956
[pid=13462] ppid=13460 vsize=915444 CPUtime=50.85
/proc/13462/stat : 13462 (java) R 13460 13462 12906 0 -1 0 10434 0 1 0 4717 368 0 0 25 0 8 0 272047544 937414656 10171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073681719 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13462/statm: 228861 10171 2476 14 0 215331 0
[pid=13462/tid=13464] ppid=13460 vsize=915444 CPUtime=0.03
/proc/13462/task/13464/stat : 13464 (java) S 13460 13462 12906 0 -1 64 355 0 0 0 3 0 0 0 16 0 8 0 272047549 937414656 10171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13465] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13465/stat : 13465 (java) S 13460 13462 12906 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272047549 937414656 10171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13466] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13466/stat : 13466 (java) S 13460 13462 12906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272047549 937414656 10171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13467] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13467/stat : 13467 (java) S 13460 13462 12906 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272047552 937414656 10171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13468] ppid=13460 vsize=915444 CPUtime=0.13
/proc/13462/task/13468/stat : 13468 (java) S 13460 13462 12906 0 -1 64 336 0 0 0 13 0 0 0 16 0 8 0 272047552 937414656 10171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13469] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13469/stat : 13469 (java) S 13460 13462 12906 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272047552 937414656 10171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13470] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13470/stat : 13470 (java) S 13460 13462 12906 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272047553 937414656 10171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 915444

[startup+102.334 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 13470
/proc/meminfo: memFree=785560/2055920 swapFree=4192812/4192956
[pid=13462] ppid=13460 vsize=915444 CPUtime=101.82
/proc/13462/stat : 13462 (java) R 13460 13462 12906 0 -1 0 10595 0 1 0 9770 412 0 0 25 0 8 0 272047544 937414656 10324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073673361 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13462/statm: 228861 10324 2527 14 0 215331 0
[pid=13462/tid=13464] ppid=13460 vsize=915444 CPUtime=0.03
/proc/13462/task/13464/stat : 13464 (java) S 13460 13462 12906 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272047549 937414656 10324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13465] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13465/stat : 13465 (java) S 13460 13462 12906 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272047549 937414656 10324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13466] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13466/stat : 13466 (java) S 13460 13462 12906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272047549 937414656 10324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13467] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13467/stat : 13467 (java) S 13460 13462 12906 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272047552 937414656 10324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13468] ppid=13460 vsize=915444 CPUtime=0.25
/proc/13462/task/13468/stat : 13468 (java) S 13460 13462 12906 0 -1 64 392 0 0 0 24 1 0 0 17 0 8 0 272047552 937414656 10324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13469] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13469/stat : 13469 (java) S 13460 13462 12906 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272047552 937414656 10324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13470] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13470/stat : 13470 (java) S 13460 13462 12906 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272047553 937414656 10324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 915444

[startup+162.393 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 13470
/proc/meminfo: memFree=785560/2055920 swapFree=4192812/4192956
[pid=13462] ppid=13460 vsize=915444 CPUtime=161.6
/proc/13462/stat : 13462 (java) R 13460 13462 12906 0 -1 0 10595 0 1 0 15747 413 0 0 25 0 8 0 272047544 937414656 10324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793166 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 2020.21
Current children cumulated vsize (KiB) 915444

[startup+2084.94 s]
/proc/loadavg: 2.03 2.02 2.00 3/94 13670
/proc/meminfo: memFree=785560/2055920 swapFree=4192812/4192956
[pid=13462] ppid=13460 vsize=915444 CPUtime=2080.12
/proc/13462/stat : 13462 (java) R 13460 13462 12906 0 -1 0 10599 0 1 0 207586 426 0 0 25 0 8 0 272047544 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828374 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13462/statm: 228861 10325 2527 14 0 215331 0
[pid=13462/tid=13464] ppid=13460 vsize=915444 CPUtime=0.03
/proc/13462/task/13464/stat : 13464 (java) S 13460 13462 12906 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272047549 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13465] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13465/stat : 13465 (java) S 13460 13462 12906 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272047549 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13466] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13466/stat : 13466 (java) S 13460 13462 12906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272047549 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13467] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13467/stat : 13467 (java) S 13460 13462 12906 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272047552 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13468] ppid=13460 vsize=915444 CPUtime=0.25
/proc/13462/task/13468/stat : 13468 (java) S 13460 13462 12906 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 272047552 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13469] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13469/stat : 13469 (java) S 13460 13462 12906 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272047552 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13470] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13470/stat : 13470 (java) S 13460 13462 12906 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272047553 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2080.12
Current children cumulated vsize (KiB) 915444

[startup+2145.04 s]
/proc/loadavg: 2.01 2.02 2.00 3/94 13670
/proc/meminfo: memFree=785560/2055920 swapFree=4192812/4192956
[pid=13462] ppid=13460 vsize=915444 CPUtime=2139.94
/proc/13462/stat : 13462 (java) R 13460 13462 12906 0 -1 0 10599 0 1 0 213567 427 0 0 25 0 8 0 272047544 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073785592 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13462/statm: 228861 10325 2527 14 0 215331 0
[pid=13462/tid=13464] ppid=13460 vsize=915444 CPUtime=0.03
/proc/13462/task/13464/stat : 13464 (java) S 13460 13462 12906 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272047549 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13465] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13465/stat : 13465 (java) S 13460 13462 12906 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272047549 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13466] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13466/stat : 13466 (java) S 13460 13462 12906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272047549 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13467] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13467/stat : 13467 (java) S 13460 13462 12906 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272047552 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13468] ppid=13460 vsize=915444 CPUtime=0.25
/proc/13462/task/13468/stat : 13468 (java) S 13460 13462 12906 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 272047552 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13469] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13469/stat : 13469 (java) S 13460 13462 12906 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272047552 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13470] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13470/stat : 13470 (java) S 13460 13462 12906 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272047553 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2139.94
Current children cumulated vsize (KiB) 915444

[startup+2205.09 s]
/proc/loadavg: 1.91 1.98 1.99 3/94 13783
/proc/meminfo: memFree=1312792/2055920 swapFree=4192812/4192956
[pid=13462] ppid=13460 vsize=915444 CPUtime=2199.63
/proc/13462/stat : 13462 (java) R 13460 13462 12906 0 -1 0 10599 0 1 0 219533 430 0 0 25 0 8 0 272047544 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073673344 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13462/statm: 228861 10325 2527 14 0 215331 0
[pid=13462/tid=13464] ppid=13460 vsize=915444 CPUtime=0.03
/proc/13462/task/13464/stat : 13464 (java) S 13460 13462 12906 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272047549 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13465] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13465/stat : 13465 (java) S 13460 13462 12906 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272047549 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13466] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13466/stat : 13466 (java) S 13460 13462 12906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272047549 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13467] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13467/stat : 13467 (java) S 13460 13462 12906 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272047552 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13468] ppid=13460 vsize=915444 CPUtime=0.25
/proc/13462/task/13468/stat : 13468 (java) S 13460 13462 12906 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 272047552 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13469] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13469/stat : 13469 (java) S 13460 13462 12906 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272047552 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13470] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13470/stat : 13470 (java) S 13460 13462 12906 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272047553 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2199.63
Current children cumulated vsize (KiB) 915444

[startup+2265.13 s]
/proc/loadavg: 1.96 1.98 1.99 3/94 13783
/proc/meminfo: memFree=1312856/2055920 swapFree=4192812/4192956
[pid=13462] ppid=13460 vsize=915444 CPUtime=2259.35
/proc/13462/stat : 13462 (java) R 13460 13462 12906 0 -1 0 10599 0 1 0 225505 430 0 0 25 0 8 0 272047544 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073838635 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13462/statm: 228861 10325 2527 14 0 215331 0
[pid=13462/tid=13464] ppid=13460 vsize=915444 CPUtime=0.03
/proc/13462/task/13464/stat : 13464 (java) S 13460 13462 12906 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272047549 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13465] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13465/stat : 13465 (java) S 13460 13462 12906 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272047549 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13466] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13466/stat : 13466 (java) S 13460 13462 12906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272047549 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13467] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13467/stat : 13467 (java) S 13460 13462 12906 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272047552 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13468] ppid=13460 vsize=915444 CPUtime=0.25
/proc/13462/task/13468/stat : 13468 (java) S 13460 13462 12906 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 272047552 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13469] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13469/stat : 13469 (java) S 13460 13462 12906 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272047552 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13470] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13470/stat : 13470 (java) S 13460 13462 12906 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272047553 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2259.35
Current children cumulated vsize (KiB) 915444

[startup+2325.18 s]
/proc/loadavg: 1.98 1.98 1.99 3/94 13783
/proc/meminfo: memFree=1312920/2055920 swapFree=4192812/4192956
[pid=13462] ppid=13460 vsize=915444 CPUtime=2319.08
/proc/13462/stat : 13462 (java) R 13460 13462 12906 0 -1 0 10599 0 1 0 231478 430 0 0 25 0 8 0 272047544 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073790920 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13462/statm: 228861 10325 2527 14 0 215331 0
[pid=13462/tid=13464] ppid=13460 vsize=915444 CPUtime=0.03
/proc/13462/task/13464/stat : 13464 (java) S 13460 13462 12906 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272047549 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13465] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13465/stat : 13465 (java) S 13460 13462 12906 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272047549 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13466] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13466/stat : 13466 (java) S 13460 13462 12906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272047549 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13467] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13467/stat : 13467 (java) S 13460 13462 12906 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272047552 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13468] ppid=13460 vsize=915444 CPUtime=0.25
/proc/13462/task/13468/stat : 13468 (java) S 13460 13462 12906 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 272047552 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13469] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13469/stat : 13469 (java) S 13460 13462 12906 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272047552 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13470] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13470/stat : 13470 (java) S 13460 13462 12906 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272047553 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2319.08
Current children cumulated vsize (KiB) 915444

[startup+2385.22 s]
/proc/loadavg: 1.90 1.96 1.98 3/95 13968
/proc/meminfo: memFree=1307024/2055920 swapFree=4192812/4192956
[pid=13462] ppid=13460 vsize=915444 CPUtime=2378.73
/proc/13462/stat : 13462 (java) R 13460 13462 12906 0 -1 0 10599 0 1 0 237441 432 0 0 25 0 8 0 272047544 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073792542 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13462/statm: 228861 10325 2527 14 0 215331 0
[pid=13462/tid=13464] ppid=13460 vsize=915444 CPUtime=0.03
/proc/13462/task/13464/stat : 13464 (java) S 13460 13462 12906 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272047549 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13465] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13465/stat : 13465 (java) S 13460 13462 12906 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272047549 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13466] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13466/stat : 13466 (java) S 13460 13462 12906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272047549 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13467] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13467/stat : 13467 (java) S 13460 13462 12906 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272047552 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13468] ppid=13460 vsize=915444 CPUtime=0.25
/proc/13462/task/13468/stat : 13468 (java) S 13460 13462 12906 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 272047552 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13469] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13469/stat : 13469 (java) S 13460 13462 12906 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272047552 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13470] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13470/stat : 13470 (java) S 13460 13462 12906 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272047553 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2378.73
Current children cumulated vsize (KiB) 915444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2406.7 s]
/proc/loadavg: 1.94 1.97 1.98 4/94 13969
/proc/meminfo: memFree=1259544/2055920 swapFree=4192812/4192956
[pid=13462] ppid=13460 vsize=915444 CPUtime=2400.02
/proc/13462/stat : 13462 (java) R 13460 13462 12906 0 -1 0 10599 0 1 0 239569 433 0 0 25 0 8 0 272047544 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793136 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13462/statm: 228861 10325 2527 14 0 215331 0
[pid=13462/tid=13464] ppid=13460 vsize=915444 CPUtime=0.03
/proc/13462/task/13464/stat : 13464 (java) S 13460 13462 12906 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272047549 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13465] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13465/stat : 13465 (java) S 13460 13462 12906 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272047549 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13466] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13466/stat : 13466 (java) S 13460 13462 12906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272047549 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13467] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13467/stat : 13467 (java) S 13460 13462 12906 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272047552 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13468] ppid=13460 vsize=915444 CPUtime=0.25
/proc/13462/task/13468/stat : 13468 (java) S 13460 13462 12906 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 272047552 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13469] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13469/stat : 13469 (java) S 13460 13462 12906 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272047552 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13470] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13470/stat : 13470 (java) S 13460 13462 12906 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272047553 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 915444

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

Child status: 143
Real time (s): 2406.78
CPU time (s): 2400.09
CPU user time (s): 2395.75
CPU system time (s): 4.33834
CPU usage (%): 99.7221
Max. virtual memory (cumulated for all children) (KiB): 915448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.75
system time used= 4.33834
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10618
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= 49807
involuntary context switches= 67060

runsolver used 3.08253 s user time and 7.55985 s system time

The end

Launcher Data (download as text)

Begin job on node7 on Fri Jan 19 19:55:21 UTC 2007


IDJOB= 276392
IDBENCH= 5732
IDSOLVER= 69
FILE ID= node7/276392-1169236521

PBS_JOBID= 3588995

Free space on /tmp= 66559 MiB

SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.8/rand-2-40-80-103-800-29_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276392-1169236521/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node7/watcher-276392-1169236521 -o ROOT/results/node7/solver-276392-1169236521 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276392-1169236521/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  eb2e85044c616a714f9eeb520026d899

RANDOM SEED= 701951591

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.220
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.220
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:        817584 kB
Buffers:         52036 kB
Cached:         506856 kB
SwapCached:          0 kB
Active:         733392 kB
Inactive:       422476 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        817584 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2428 kB
Writeback:           0 kB
Mapped:         617112 kB
Slab:            66140 kB
Committed_AS:  8404624 kB
PageTables:       3432 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66558 MiB



End job on node7 on Fri Jan 19 20:35:28 UTC 2007