Trace number 1109182

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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 NameAnswerNumber of falsified constraintsCPU timeWall clock time
AbsconMax 112 pc-dMSAT (TO)1 3600.08 3601.54

General information on the benchmark

Namecsp/pret/
normalized-pret-150-75_ext.xml
MD5SUM91e4be10adb9e54cde863d904a5e30fc
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of falsified constraints1
Best CPU time to get the best result obtained on this benchmark0.696893
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of constraints100
Maximum constraint arity3
Maximum domain size2
Number of constraints which are defined in extension100
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.00/0.08	
0.00/0.08	Abscon 112 (May, 2008)
0.18/0.25	
0.18/0.25	   configuration
0.18/0.25	     name=mrdac-ddeg.xml
0.28/0.31	   
0.28/0.32	   instance
0.28/0.32	     name=HOME/instance-1109182-1215799161.xml
0.28/0.35	   
0.28/0.35	   domains being loaded...
0.28/0.36	   
0.28/0.36	   variables being loaded...
0.39/0.40	     nbVariables=150  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2  nbTotalValues=300
0.39/0.40	       =>  wckTime=0.152  cpuTime=0.11  mem=7M842
0.39/0.40	   
0.39/0.40	   relations being loaded...
0.39/0.40	   
0.39/0.40	   constraints being loaded...
0.39/0.48	     nbConstraints=100  nbRelationTypes=2  nbExtensionStructures=2  nbSharedExtensionStructures=98
0.39/0.48	     nbConflictsStructures=2  nbSharedConflictsStructures=98  nbSharedBinaryRepresentations=0  minDegree=2  maxDegree=2
0.39/0.48	     minArity=3  maxArity=3
0.39/0.48	       =>  wckTime=0.228  cpuTime=0.16  mem=9M891
0.48/0.52	   
0.48/0.52	   solver LocalSearchSolver being built... 
0.48/0.56	       =>  wckTime=0.315  cpuTime=0.2  mem=5M524
0.48/0.57	
0.48/0.57	s SATISFIABLE
0.48/0.57	o 45
0.48/0.57	o 43
0.48/0.57	o 41
0.48/0.57	o 39
0.48/0.57	o 37
0.48/0.57	o 35
0.48/0.57	o 33
0.48/0.58	o 31
0.48/0.58	o 29
0.48/0.58	o 27
0.48/0.58	o 25
0.48/0.58	o 23
0.48/0.58	o 21
0.48/0.58	o 19
0.48/0.58	o 17
0.48/0.58	o 15
0.48/0.58	o 13
0.48/0.59	o 11
0.48/0.59	o 9
0.48/0.59	o 7
0.48/0.59	o 5
0.58/0.60	o 3
0.58/0.60	o 1
1.18/1.20	   
1.18/1.20	   search
1.18/1.21	     run=0  nbConstraintChecks=378347  nbAssignments=10000
1.18/1.21	       =>  wckTime=0.643  cpuTime=0.63  mem=6M516
1.79/1.80	   
1.79/1.80	   search
1.79/1.80	     run=1  nbConstraintChecks=712687  nbAssignments=20000
1.79/1.80	       =>  wckTime=1.239  cpuTime=1.22  mem=6M516
2.29/2.37	   
2.29/2.37	   search
2.29/2.37	     run=2  nbConstraintChecks=1028718  nbAssignments=30000
2.29/2.37	       =>  wckTime=1.809  cpuTime=1.79  mem=6M516
2.89/2.94	   
2.89/2.94	   search
2.89/2.94	     run=3  nbConstraintChecks=1354460  nbAssignments=40000
2.89/2.94	       =>  wckTime=2.38  cpuTime=2.36  mem=6M516
3.48/3.51	   
3.48/3.51	   search
3.48/3.51	     run=4  nbConstraintChecks=1657933  nbAssignments=50000
3.48/3.51	       =>  wckTime=2.952  cpuTime=2.94  mem=6M516
3.99/4.09	   
3.99/4.09	   search
3.99/4.09	     run=5  nbConstraintChecks=1967311  nbAssignments=60000
3.99/4.09	       =>  wckTime=3.525  cpuTime=3.5  mem=6M516
4.59/4.66	   
4.59/4.66	   search
4.59/4.66	     run=6  nbConstraintChecks=2275937  nbAssignments=70000
4.59/4.66	       =>  wckTime=4.099  cpuTime=4.08  mem=6M516
5.19/5.23	   
5.19/5.24	   search
5.19/5.24	     run=7  nbConstraintChecks=2590535  nbAssignments=80000
5.19/5.24	       =>  wckTime=4.673  cpuTime=4.65  mem=6M516
5.78/5.80	   
5.78/5.80	   search
5.78/5.80	     run=8  nbConstraintChecks=2875546  nbAssignments=90000
5.78/5.80	       =>  wckTime=5.241  cpuTime=5.22  mem=6M516
6.28/6.38	   
6.28/6.38	   search
6.28/6.38	     run=9  nbConstraintChecks=3184958  nbAssignments=100000
6.28/6.38	       =>  wckTime=5.814  cpuTime=5.79  mem=6M516
6.88/6.95	   
6.88/6.95	   search
6.88/6.95	     run=10  nbConstraintChecks=3484234  nbAssignments=110000
6.88/6.95	       =>  wckTime=6.389  cpuTime=6.36  mem=6M516
7.47/7.52	   
7.47/7.52	   search
7.47/7.52	     run=11  nbConstraintChecks=3775637  nbAssignments=120000
7.47/7.52	       =>  wckTime=6.957  cpuTime=6.92  mem=6M516
7.98/8.09	   
7.98/8.09	   search
7.98/8.09	     run=12  nbConstraintChecks=4054581  nbAssignments=130000
7.98/8.09	       =>  wckTime=7.523  cpuTime=7.5  mem=6M516
8.58/8.66	   
8.58/8.66	   search
8.58/8.66	     run=13  nbConstraintChecks=4356392  nbAssignments=140000
8.58/8.66	       =>  wckTime=8.094  cpuTime=8.06  mem=6M516
9.18/9.23	   
9.18/9.23	   search
9.18/9.23	     run=14  nbConstraintChecks=4661561  nbAssignments=150000
9.18/9.23	       =>  wckTime=8.666  cpuTime=8.64  mem=6M516
9.78/9.80	   
9.78/9.80	   search
9.78/9.80	     run=15  nbConstraintChecks=4975474  nbAssignments=160000
9.78/9.80	       =>  wckTime=9.238  cpuTime=9.21  mem=6M516
10.27/10.37	   
10.27/10.37	   search
10.27/10.37	     run=16  nbConstraintChecks=5268260  nbAssignments=170000
10.27/10.37	       =>  wckTime=9.808  cpuTime=9.78  mem=6M516
10.87/10.94	   
10.87/10.94	   search
10.87/10.94	     run=17  nbConstraintChecks=5582136  nbAssignments=180000
10.87/10.94	       =>  wckTime=10.381  cpuTime=10.35  mem=6M516
11.48/11.51	   
11.48/11.51	   search
11.48/11.51	     run=18  nbConstraintChecks=5882511  nbAssignments=190000
11.48/11.51	       =>  wckTime=10.951  cpuTime=10.91  mem=6M516
11.98/12.09	   
11.98/12.09	   search
11.98/12.09	     run=19  nbConstraintChecks=6192341  nbAssignments=200000
11.98/12.09	       =>  wckTime=11.524  cpuTime=11.49  mem=6M516
12.58/12.66	   
12.58/12.66	   search
12.58/12.66	     run=20  nbConstraintChecks=6483954  nbAssignments=210000
12.58/12.66	       =>  wckTime=12.093  cpuTime=12.06  mem=6M516
13.18/13.22	   
13.18/13.22	   search
13.18/13.22	     run=21  nbConstraintChecks=6769190  nbAssignments=220000
13.18/13.22	       =>  wckTime=12.66  cpuTime=12.63  mem=6M516
13.67/13.78	   
13.67/13.78	   search
13.67/13.78	     run=22  nbConstraintChecks=7051678  nbAssignments=230000
13.67/13.78	       =>  wckTime=13.223  cpuTime=13.19  mem=6M516
14.28/14.35	   
14.28/14.35	   search
14.28/14.35	     run=23  nbConstraintChecks=7337772  nbAssignments=240000
14.28/14.35	       =>  wckTime=13.786  cpuTime=13.75  mem=6M516
14.88/14.91	   
14.88/14.91	   search
14.88/14.91	     run=24  nbConstraintChecks=7623198  nbAssignments=250000
14.88/14.91	       =>  wckTime=14.35  cpuTime=14.32  mem=6M516
15.38/15.48	   
15.38/15.48	   search
15.38/15.48	     run=25  nbConstraintChecks=7913464  nbAssignments=260000
15.38/15.48	       =>  wckTime=14.915  cpuTime=14.88  mem=6M516
15.98/16.04	   
15.98/16.04	   search
15.98/16.04	     run=26  nbConstraintChecks=8174780  nbAssignments=270000
15.98/16.04	       =>  wckTime=15.474  cpuTime=15.44  mem=6M516
16.47/16.60	   
16.47/16.60	   search
16.58/16.60	     run=27  nbConstraintChecks=8467752  nbAssignments=280000
16.58/16.60	       =>  wckTime=16.04  cpuTime=16.01  mem=6M516
17.07/17.17	   
17.07/17.17	   search
17.07/17.17	     run=28  nbConstraintChecks=8753643  nbAssignments=290000
17.07/17.17	       =>  wckTime=16.605  cpuTime=16.57  mem=6M516
17.68/17.74	   
17.68/17.74	   search
17.68/17.74	     run=29  nbConstraintChecks=9063361  nbAssignments=300000
17.68/17.74	       =>  wckTime=17.174  cpuTime=17.14  mem=6M516
18.27/18.30	   
18.27/18.30	   search
18.27/18.30	     run=30  nbConstraintChecks=9355286  nbAssignments=310000
18.27/18.30	       =>  wckTime=17.74  cpuTime=17.7  mem=6M516
18.78/18.87	   
18.78/18.87	   search
18.78/18.87	     run=31  nbConstraintChecks=9667701  nbAssignments=320000
18.78/18.87	       =>  wckTime=18.309  cpuTime=18.28  mem=6M516
19.37/19.43	   
19.37/19.43	   search
19.37/19.43	     run=32  nbConstraintChecks=9946242  nbAssignments=330000
19.37/19.43	       =>  wckTime=18.871  cpuTime=18.83  mem=6M516
19.97/20.00	   
19.97/20.00	   search
19.97/20.00	     run=33  nbConstraintChecks=10238451  nbAssignments=340000
19.97/20.00	       =>  wckTime=19.438  cpuTime=19.4  mem=6M516
20.47/20.56	   
20.47/20.56	   search
20.47/20.56	     run=34  nbConstraintChecks=10515950  nbAssignments=350000
20.47/20.56	       =>  wckTime=20.001  cpuTime=19.96  mem=6M516
21.07/21.13	   
21.07/21.13	   search
21.07/21.13	     run=35  nbConstraintChecks=10827551  nbAssignments=360000
21.07/21.13	       =>  wckTime=20.57  cpuTime=20.53  mem=6M516
21.66/21.70	   
21.66/21.70	   search
21.66/21.70	     run=36  nbConstraintChecks=11122624  nbAssignments=370000
21.66/21.70	       =>  wckTime=21.136  cpuTime=21.09  mem=6M516
22.17/22.26	   
22.17/22.26	   search
22.17/22.26	     run=37  nbConstraintChecks=11394898  nbAssignments=380000
22.17/22.26	       =>  wckTime=21.698  cpuTime=21.65  mem=6M516
22.77/22.82	   
22.77/22.82	   search
22.77/22.82	     run=38  nbConstraintChecks=11674135  nbAssignments=390000
22.77/22.82	       =>  wckTime=22.26  cpuTime=22.22  mem=6M516
23.26/23.39	   
23.26/23.39	   search
23.26/23.39	     run=39  nbConstraintChecks=11966000  nbAssignments=400000
23.26/23.39	       =>  wckTime=22.828  cpuTime=22.79  mem=6M516
23.86/23.96	   
23.86/23.96	   search
23.86/23.96	     run=40  nbConstraintChecks=12245002  nbAssignments=410000
23.86/23.96	       =>  wckTime=23.396  cpuTime=23.35  mem=6M516
24.47/24.53	   
24.47/24.53	   search
24.47/24.53	     run=41  nbConstraintChecks=12537678  nbAssignments=420000
24.47/24.53	       =>  wckTime=23.966  cpuTime=23.93  mem=6M516
24.96/25.09	   
24.96/25.09	   search
24.96/25.09	     run=42  nbConstraintChecks=12814356  nbAssignments=430000
24.96/25.09	       =>  wckTime=24.531  cpuTime=24.49  mem=6M516
25.57/25.66	   
25.57/25.66	   search
25.57/25.66	     run=43  nbConstraintChecks=13120198  nbAssignments=440000
25.57/25.66	       =>  wckTime=25.103  cpuTime=25.06  mem=6M516
26.17/26.23	   
26.17/26.23	   search
26.17/26.23	     run=44  nbConstraintChecks=13420997  nbAssignments=450000
26.17/26.23	       =>  wckTime=25.672  cpuTime=25.63  mem=6M516
26.77/26.80	   
26.77/26.80	   search
26.77/26.80	     run=45  nbConstraintChecks=13702907  nbAssignments=460000
26.77/26.80	       =>  wckTime=26.239  cpuTime=26.19  mem=6M516
27.26/27.37	   
27.26/27.37	   search
27.26/27.37	     run=46  nbConstraintChecks=13991042  nbAssignments=470000
27.26/27.37	       =>  wckTime=26.807  cpuTime=26.77  mem=6M516
27.86/27.94	   
27.86/27.94	   search
27.86/27.94	     run=47  nbConstraintChecks=14293028  nbAssignments=480000
27.86/27.94	       =>  wckTime=27.378  cpuTime=27.33  mem=6M516
28.46/28.52	   
28.46/28.52	   search
28.46/28.52	     run=48  nbConstraintChecks=14617098  nbAssignments=490000
28.46/28.52	       =>  wckTime=27.954  cpuTime=27.91  mem=6M516
28.96/29.09	   
28.96/29.09	   search
28.96/29.09	     run=49  nbConstraintChecks=14922994  nbAssignments=500000
28.96/29.09	       =>  wckTime=28.527  cpuTime=28.48  mem=6M516
29.56/29.66	   
29.56/29.66	   search
29.56/29.66	     run=50  nbConstraintChecks=15202686  nbAssignments=510000
29.56/29.66	       =>  wckTime=29.094  cpuTime=29.05  mem=6M516
30.17/30.23	   
30.17/30.23	   search
30.17/30.23	     run=51  nbConstraintChecks=15494489  nbAssignments=520000
30.17/30.23	       =>  wckTime=29.663  cpuTime=29.61  mem=6M516
30.57/30.65	   
30.57/30.65	   search
30.57/30.65	     run=52  nbConstraintChecks=15702358  nbAssignments=527483
30.57/30.65	       =>  wckTime=30.088  cpuTime=30.04  mem=6M516
30.57/30.65	   
30.57/30.65	   global
30.57/30.65	     nbConstraintChecks=15702358  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
30.57/30.65	     solvingWckTime=30.086  solvingCpuTime=30.04  expiredTime=no  totalExploration=no  nbFoundSolutions=0
30.57/30.65	     globalCpuTime=30.3
30.57/30.65	       =>  wckTime=30.403  cpuTime=30.25  mem=6M516
30.57/30.65	   
30.57/30.65	   solver DecomposerSolver being built... 
30.67/30.77	       =>  wckTime=30.524  cpuTime=30.35  mem=18M489
30.67/30.78	   
30.67/30.78	   preprocessing
30.67/30.78	     nbConstraintChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
30.67/30.78	     detectedInconsistency=no
30.67/30.78	       =>  wckTime=0.0040  cpuTime=0.0  mem=18M489
3600.04/3601.51	v 0 1 1 0 1 0 0 0 1 0 1 0 0 0 1 1 1 1 0 1 0 1 0 0 1 1 1 1 0 0 0 1 0 1 1 1 1 1 1 1 1 1 0 0 1 0 1 0 1 1 1 0 0 1 0 1 0 0 0 1 0 0 1 1 1 1 0 1 0 1 0 0 1 1 1 1 0 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 0 0 0 0 1 1 1 1 0 0 1 0 1 0 1 0 0 1 0

Verifier Data (download as text)

OK	1	99
1 unsatisfied constraints, 99 satisfied constraints

Watcher Data (download as text)

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

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1109182-1215799161/watcher-1109182-1215799161 -o /tmp/evaluation-result-1109182-1215799161/solver-1109182-1215799161 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax HOME/instance-1109182-1215799161.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.02 2.16 4/81 12435
/proc/meminfo: memFree=1925848/2055920 swapFree=4192812/4192956
[pid=12435] ppid=12433 vsize=10616 CPUtime=0
/proc/12435/stat : 12435 (java) S 12433 12435 11042 0 -1 0 676 0 0 0 0 0 0 0 18 0 2 0 36618912 10870784 472 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12435/statm: 2654 472 209 9 0 1184 0
[pid=12435/tid=12436] ppid=12433 vsize=10616 CPUtime=0
/proc/12435/task/12436/stat : 12436 (java) R 12433 12435 11042 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 36618913 10870784 472 996147200 134512640 134550740 4294955952 18446744073709551615 8826840 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.107693 s]
/proc/loadavg: 2.00 2.02 2.16 4/81 12435
/proc/meminfo: memFree=1925848/2055920 swapFree=4192812/4192956
[pid=12435] ppid=12433 vsize=865984 CPUtime=0.09
/proc/12435/stat : 12435 (java) S 12433 12435 11042 0 -1 0 3848 0 1 0 7 2 0 0 18 0 9 0 36618912 886767616 3294 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12435/statm: 216496 3294 1735 9 0 211051 0
[pid=12435/tid=12436] ppid=12433 vsize=865984 CPUtime=0.07
/proc/12435/task/12436/stat : 12436 (java) R 12433 12435 11042 0 -1 64 2945 0 1 0 6 1 0 0 18 0 9 0 36618913 886767616 3294 996147200 134512640 134550740 4294955952 18446744073709551615 103269486 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984

[startup+0.201703 s]
/proc/loadavg: 2.00 2.02 2.16 4/81 12435
/proc/meminfo: memFree=1925848/2055920 swapFree=4192812/4192956
[pid=12435] ppid=12433 vsize=866012 CPUtime=0.18
/proc/12435/stat : 12435 (java) S 12433 12435 11042 0 -1 0 4536 0 2 0 15 3 0 0 18 0 9 0 36618912 886796288 3968 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12435/statm: 216503 3968 1856 9 0 211051 0
[pid=12435/tid=12436] ppid=12433 vsize=866012 CPUtime=0.15
/proc/12435/task/12436/stat : 12436 (java) R 12433 12435 11042 0 -1 64 3614 0 2 0 13 2 0 0 18 0 9 0 36618913 886796288 3968 996147200 134512640 134550740 4294955952 18446744073709551615 4125960198 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 866012

[startup+0.301717 s]
/proc/loadavg: 2.00 2.02 2.16 4/81 12435
/proc/meminfo: memFree=1925848/2055920 swapFree=4192812/4192956
[pid=12435] ppid=12433 vsize=866308 CPUtime=0.28
/proc/12435/stat : 12435 (java) S 12433 12435 11042 0 -1 0 5681 0 2 0 25 3 0 0 18 0 9 0 36618912 887099392 5086 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12435/statm: 216577 5086 1936 9 0 211105 0
[pid=12435/tid=12436] ppid=12433 vsize=866308 CPUtime=0.25
/proc/12435/task/12436/stat : 12436 (java) D 12433 12435 11042 0 -1 64 4738 0 2 0 22 3 0 0 18 0 9 0 36618913 887099392 5086 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 18446744071563479169 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866308

[startup+0.701757 s]
/proc/loadavg: 2.00 2.02 2.16 4/81 12435
/proc/meminfo: memFree=1925848/2055920 swapFree=4192812/4192956
[pid=12435] ppid=12433 vsize=866636 CPUtime=0.68
/proc/12435/stat : 12435 (java) S 12433 12435 11042 0 -1 0 8334 0 2 0 58 10 0 0 18 0 9 0 36618912 887435264 7502 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12435/statm: 216659 7502 2632 9 0 211165 0
[pid=12435/tid=12436] ppid=12433 vsize=866636 CPUtime=0.53
/proc/12435/task/12436/stat : 12436 (java) R 12433 12435 11042 0 -1 64 6190 0 2 0 44 9 0 0 19 0 9 0 36618913 887435264 7502 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 866636

[startup+1.50185 s]
/proc/loadavg: 2.00 2.02 2.16 3/90 12444
/proc/meminfo: memFree=1905680/2055920 swapFree=4192812/4192956
[pid=12435] ppid=12433 vsize=866636 CPUtime=1.49
/proc/12435/stat : 12435 (java) S 12433 12435 11042 0 -1 0 8342 0 2 0 90 59 0 0 18 0 9 0 36618912 887435264 7510 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12435/statm: 216659 7510 2633 9 0 211165 0
[pid=12435/tid=12436] ppid=12433 vsize=866640 CPUtime=1.33
/proc/12435/task/12436/stat : 12436 (java) R 12433 12435 11042 0 -1 64 6190 0 2 0 75 58 0 0 25 0 9 0 36618913 887439360 7510 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12435/tid=12438] ppid=12433 vsize=866636 CPUtime=0.03
/proc/12435/task/12438/stat : 12438 (java) S 12433 12435 11042 0 -1 64 1132 0 0 0 3 0 0 0 17 0 9 0 36618915 887435264 7510 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12435/tid=12439] ppid=12433 vsize=866636 CPUtime=0
/proc/12435/task/12439/stat : 12439 (java) S 12433 12435 11042 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 36618915 887435264 7510 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12435/tid=12440] ppid=12433 vsize=866636 CPUtime=0
/proc/12435/task/12440/stat : 12440 (java) S 12433 12435 11042 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 36618915 887435264 7510 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12435/tid=12441] ppid=12433 vsize=866640 CPUtime=0
/proc/12435/task/12441/stat : 12441 (java) S 12433 12435 11042 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 36618917 887439360 7510 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12435/tid=12442] ppid=12433 vsize=866640 CPUtime=0.1
/proc/12435/task/12442/stat : 12442 (java) S 12433 12435 11042 0 -1 64 324 0 0 0 10 0 0 0 16 0 9 0 36618917 887439360 7510 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12435/tid=12443] ppid=12433 vsize=866636 CPUtime=0
/proc/12435/task/12443/stat : 12443 (java) S 12433 12435 11042 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 36618917 887435264 7510 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12435/tid=12444] ppid=12433 vsize=866640 CPUtime=0
/proc/12435/task/12444/stat : 12444 (java) S 12433 12435 11042 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 36618917 887439360 7510 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 866636

[startup+3.10204 s]
/proc/loadavg: 2.00 2.02 2.16 3/90 12444
/proc/meminfo: memFree=1905360/2055920 swapFree=4192812/4192956
[pid=12435] ppid=12433 vsize=866640 CPUtime=3.09
/proc/12435/stat : 12435 (java) S 12433 12435 11042 0 -1 0 8343 0 2 0 151 158 0 0 18 0 9 0 36618912 887439360 7510 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12435/statm: 216660 7510 2633 9 0 211166 0
[pid=12435/tid=12436] ppid=12433 vsize=866636 CPUtime=2.93
/proc/12435/task/12436/stat : 12436 (java) R 12433 12435 11042 0 -1 64 6191 0 2 0 136 157 0 0 25 0 9 0 36618913 887435264 7510 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12435/tid=12438] ppid=12433 vsize=866636 CPUtime=0.03
/proc/12435/task/12438/stat : 12438 (java) S 12433 12435 11042 0 -1 64 1132 0 0 0 3 0 0 0 16 0 9 0 36618915 887435264 7510 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12435/tid=12439] ppid=12433 vsize=866640 CPUtime=0
/proc/12435/task/12439/stat : 12439 (java) S 12433 12435 11042 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 36618915 887439360 7510 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12435/tid=12440] ppid=12433 vsize=866640 CPUtime=0
/proc/12435/task/12440/stat : 12440 (java) S 12433 12435 11042 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 36618915 887439360 7510 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12435/tid=12441] ppid=12433 vsize=866636 CPUtime=0
/proc/12435/task/12441/stat : 12441 (java) S 12433 12435 11042 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 36618917 887435264 7510 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12435/tid=12442] ppid=12433 vsize=866636 CPUtime=0.1
/proc/12435/task/12442/stat : 12442 (java) S 12433 12435 11042 0 -1 64 324 0 0 0 10 0 0 0 16 0 9 0 36618917 887435264 7510 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12435/tid=12443] ppid=12433 vsize=866636 CPUtime=0
/proc/12435/task/12443/stat : 12443 (java) S 12433 12435 11042 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 36618917 887435264 7510 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12435/tid=12444] ppid=12433 vsize=866636 CPUtime=0
/proc/12435/task/12444/stat : 12444 (java) S 12433 12435 11042 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 36618917 887435264 7510 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 866640

[startup+6.30241 s]
/proc/loadavg: 2.00 2.02 2.16 3/90 12444
/proc/meminfo: memFree=1905232/2055920 swapFree=4192812/4192956
[pid=12435] ppid=12433 vsize=866636 CPUtime=6.28
/proc/12435/stat : 12435 (java) S 12433 12435 11042 0 -1 0 8344 0 2 0 272 356 0 0 18 0 9 0 36618912 887435264 7510 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12435/statm: 216660 7510 2633 9 0 211166 0
[pid=12435/tid=12436] ppid=12433 vsize=866636 CPUtime=6.13
/proc/12435/task/12436/stat : 12436 (java) R 12433 12435 11042 0 -1 64 6192 0 2 0 258 355 0 0 25 0 9 0 36618913 887435264 7510 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12435/tid=12438] ppid=12433 vsize=866636 CPUtime=0.03
/proc/12435/task/12438/stat : 12438 (java) S 12433 12435 11042 0 -1 64 1132 0 0 0 3 0 0 0 16 0 9 0 36618915 887435264 7510 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12435/tid=12439] ppid=12433 vsize=866640 CPUtime=0
/proc/12435/task/12439/stat : 12439 (java) S 12433 12435 11042 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 36618915 887439360 7510 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12435/tid=12440] ppid=12433 vsize=866640 CPUtime=0
/proc/12435/task/12440/stat : 12440 (java) S 12433 12435 11042 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 36618915 887439360 7510 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12435/tid=12441] ppid=12433 vsize=866640 CPUtime=0
/proc/12435/task/12441/stat : 12441 (java) S 12433 12435 11042 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 36618917 887439360 7510 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12435/tid=12442] ppid=12433 vsize=866636 CPUtime=0.1
/proc/12435/task/12442/stat : 12442 (java) S 12433 12435 11042 0 -1 64 324 0 0 0 10 0 0 0 16 0 9 0 36618917 887435264 7510 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12435/tid=12443] ppid=12433 vsize=866636 CPUtime=0
/proc/12435/task/12443/stat : 12443 (java) S 12433 12435 11042 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 36618917 887435264 7510 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12435/tid=12444] ppid=12433 vsize=866640 CPUtime=0
/proc/12435/task/12444/stat : 12444 (java) S 12433 12435 11042 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 36618917 887439360 7510 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 866636

[startup+12.7022 s]
/proc/loadavg: 2.00 2.02 2.16 3/90 12444
/proc/meminfo: memFree=1905040/2055920 swapFree=4192812/4192956
[pid=12435] ppid=12433 vsize=866640 CPUtime=12.67
/proc/12435/stat : 12435 (java) S 12433 12435 11042 0 -1 0 8349 0 2 0 511 756 0 0 18 0 9 0 36618912 887439360 7515 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12435/statm: 216660 7515 2633 9 0 211166 0
[pid=12435/tid=12436] ppid=12433 vsize=866636 CPUtime=12.51
/proc/12435/task/12436/stat : 12436 (java) R 12433 12435 11042 0 -1 64 6192 0 2 0 496 755 0 0 25 0 9 0 36618913 887435264 7515 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12435/tid=12438] ppid=12433 vsize=866636 CPUtime=0.03
/proc/12435/task/12438/stat : 12438 (java) S 12433 12435 11042 0 -1 64 1132 0 0 0 3 0 0 0 16 0 9 0 36618915 887435264 7515 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12435/tid=12439] ppid=12433 vsize=866640 CPUtime=0
/proc/12435/task/12439/stat : 12439 (java) S 12433 12435 11042 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 36618915 887439360 7515 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12435/tid=12440] ppid=12433 vsize=866640 CPUtime=0
/proc/12435/task/12440/stat : 12440 (java) S 12433 12435 11042 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 36618915 887439360 7515 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12435/tid=12441] ppid=12433 vsize=866636 CPUtime=0
/proc/12435/task/12441/stat : 12441 (java) S 12433 12435 11042 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 36618917 887435264 7515 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12435/tid=12442] ppid=12433 vsize=866636 CPUtime=0.11
/proc/12435/task/12442/stat : 12442 (java) S 12433 12435 11042 0 -1 64 329 0 0 0 11 0 0 0 16 0 9 0 36618917 887435264 7515 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12435/tid=12443] ppid=12433 vsize=866640 CPUtime=0
/proc/12435/task/12443/stat : 12443 (java) S 12433 12435 11042 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 36618917 887439360 7515 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12435/tid=12444] ppid=12433 vsize=866640 CPUtime=0
/proc/12435/task/12444/stat : 12444 (java) S 12433 12435 11042 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 36618917 887439360 7515 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 866640

[startup+25.5017 s]
/proc/loadavg: 2.00 2.02 2.16 3/90 12444
/proc/meminfo: memFree=1905104/2055920 swapFree=4192812/4192956
[pid=12435] ppid=12433 vsize=866636 CPUtime=25.47
/proc/12435/stat : 12435 (java) S 12433 12435 11042 0 -1 0 8350 0 2 0 977 1570 0 0 18 0 9 0 36618912 887435264 7516 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12435/statm: 216659 7516 2633 9 0 211165 0
[pid=12435/tid=12436] ppid=12433 vsize=866636 CPUtime=25.31
/proc/12435/task/12436/stat : 12436 (java) R 12433 12435 11042 0 -1 64 6192 0 2 0 962 1569 0 0 25 0 9 0 36618913 887435264 7516 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12435/tid=12438] ppid=12433 vsize=866640 CPUtime=0.03
/proc/12435/task/12438/stat : 12438 (java) S 12433 12435 11042 0 -1 64 1132 0 0 0 3 0 0 0 16 0 9 0 36618915 887439360 7516 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12435/tid=12439] ppid=12433 vsize=866640 CPUtime=0
/proc/12435/task/12439/stat : 12439 (java) S 12433 12435 11042 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 36618915 887439360 7516 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12435/tid=12440] ppid=12433 vsize=866636 CPUtime=0
/proc/12435/task/12440/stat : 12440 (java) S 12433 12435 11042 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 36618915 887435264 7516 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12435/tid=12441] ppid=12433 vsize=866636 CPUtime=0
/proc/12435/task/12441/stat : 12441 (java) S 12433 12435 11042 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 36618917 887435264 7516 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12435/tid=12442] ppid=12433 vsize=866636 CPUtime=0.11
/proc/12435/task/12442/stat : 12442 (java) S 12433 12435 11042 0 -1 64 330 0 0 0 11 0 0 0 16 0 9 0 36618917 887435264 7516 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12435/tid=12443] ppid=12433 vsize=866640 CPUtime=0
/proc/12435/task/12443/stat : 12443 (java) S 12433 12435 11042 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 36618917 887439360 7516 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12435/tid=12444] ppid=12433 vsize=866640 CPUtime=0
/proc/12435/task/12444/stat : 12444 (java) S 12433 12435 11042 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 36618917 887439360 7516 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 866636

[startup+51.1017 s]
/proc/loadavg: 2.00 2.02 2.15 3/90 12444
/proc/meminfo: memFree=1895696/2055920 swapFree=4192812/4192956
[pid=12435] ppid=12433 vsize=866636 CPUtime=51.05
/proc/12435/stat : 12435 (java) S 12433 12435 11042 0 -1 0 10731 0 2 0 3211 1894 0 0 18 0 9 0 36618912 887435264 9895 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12435/statm: 216659 9895 2635 9 0 211165 0
[pid=12435/tid=12436] ppid=12433 vsize=866636 CPUtime=50.82
/proc/12435/task/12436/stat : 12436 (java) R 12433 12435 11042 0 -1 64 8525 0 2 0 3189 1893 0 0 25 0 9 0 36618913 887435264 9895 996147200 134512640 134550740 4294955952 18446744073709551615 4126679527 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12435/tid=12438] ppid=12433 vsize=866636 CPUtime=0.03

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

/proc/12435/task/12440/stat : 12440 (java) S 12433 12435 11042 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 36618915 887435264 9907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12435/tid=12441] ppid=12433 vsize=866636 CPUtime=0
/proc/12435/task/12441/stat : 12441 (java) S 12433 12435 11042 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 36618917 887435264 9907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12435/tid=12442] ppid=12433 vsize=866636 CPUtime=0.18
/proc/12435/task/12442/stat : 12442 (java) S 12433 12435 11042 0 -1 64 378 0 0 0 18 0 0 0 16 0 9 0 36618917 887435264 9907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12435/tid=12443] ppid=12433 vsize=866636 CPUtime=0
/proc/12435/task/12443/stat : 12443 (java) S 12433 12435 11042 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 36618917 887435264 9907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12435/tid=12444] ppid=12433 vsize=866636 CPUtime=0
/proc/12435/task/12444/stat : 12444 (java) S 12433 12435 11042 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 36618917 887435264 9907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3280.95
Current children cumulated vsize (KiB) 866636

[startup+3342.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/89 12490
/proc/meminfo: memFree=1820760/2055920 swapFree=4192812/4192956
[pid=12435] ppid=12433 vsize=866636 CPUtime=3340.93
/proc/12435/stat : 12435 (java) S 12433 12435 11042 0 -1 0 10743 0 2 0 332194 1899 0 0 18 0 9 0 36618912 887435264 9907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12435/statm: 216659 9907 2635 9 0 211165 0
[pid=12435/tid=12436] ppid=12433 vsize=866636 CPUtime=3340.69
/proc/12435/task/12436/stat : 12436 (java) R 12433 12435 11042 0 -1 64 8537 0 2 0 332171 1898 0 0 25 0 9 0 36618913 887435264 9907 996147200 134512640 134550740 4294955952 18446744073709551615 4126819095 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12435/tid=12438] ppid=12433 vsize=866636 CPUtime=0.03
/proc/12435/task/12438/stat : 12438 (java) S 12433 12435 11042 0 -1 64 1132 0 0 0 3 0 0 0 16 0 9 0 36618915 887435264 9907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12435/tid=12439] ppid=12433 vsize=866636 CPUtime=0
/proc/12435/task/12439/stat : 12439 (java) S 12433 12435 11042 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 36618915 887435264 9907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12435/tid=12440] ppid=12433 vsize=866636 CPUtime=0
/proc/12435/task/12440/stat : 12440 (java) S 12433 12435 11042 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 36618915 887435264 9907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12435/tid=12441] ppid=12433 vsize=866636 CPUtime=0
/proc/12435/task/12441/stat : 12441 (java) S 12433 12435 11042 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 36618917 887435264 9907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12435/tid=12442] ppid=12433 vsize=866636 CPUtime=0.18
/proc/12435/task/12442/stat : 12442 (java) S 12433 12435 11042 0 -1 64 378 0 0 0 18 0 0 0 16 0 9 0 36618917 887435264 9907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12435/tid=12443] ppid=12433 vsize=866636 CPUtime=0
/proc/12435/task/12443/stat : 12443 (java) S 12433 12435 11042 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 36618917 887435264 9907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12435/tid=12444] ppid=12433 vsize=866636 CPUtime=0
/proc/12435/task/12444/stat : 12444 (java) S 12433 12435 11042 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 36618917 887435264 9907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3340.93
Current children cumulated vsize (KiB) 866636

[startup+3402.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/89 12490
/proc/meminfo: memFree=1820760/2055920 swapFree=4192812/4192956
[pid=12435] ppid=12433 vsize=866636 CPUtime=3400.91
/proc/12435/stat : 12435 (java) S 12433 12435 11042 0 -1 0 10743 0 2 0 338192 1899 0 0 18 0 9 0 36618912 887435264 9907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12435/statm: 216659 9907 2635 9 0 211165 0
[pid=12435/tid=12436] ppid=12433 vsize=866636 CPUtime=3400.67
/proc/12435/task/12436/stat : 12436 (java) R 12433 12435 11042 0 -1 64 8537 0 2 0 338169 1898 0 0 25 0 9 0 36618913 887435264 9907 996147200 134512640 134550740 4294955952 18446744073709551615 4126773112 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12435/tid=12438] ppid=12433 vsize=866636 CPUtime=0.03
/proc/12435/task/12438/stat : 12438 (java) S 12433 12435 11042 0 -1 64 1132 0 0 0 3 0 0 0 16 0 9 0 36618915 887435264 9907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12435/tid=12439] ppid=12433 vsize=866636 CPUtime=0
/proc/12435/task/12439/stat : 12439 (java) S 12433 12435 11042 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 36618915 887435264 9907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12435/tid=12440] ppid=12433 vsize=866636 CPUtime=0
/proc/12435/task/12440/stat : 12440 (java) S 12433 12435 11042 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 36618915 887435264 9907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12435/tid=12441] ppid=12433 vsize=866636 CPUtime=0
/proc/12435/task/12441/stat : 12441 (java) S 12433 12435 11042 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 36618917 887435264 9907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12435/tid=12442] ppid=12433 vsize=866636 CPUtime=0.18
/proc/12435/task/12442/stat : 12442 (java) S 12433 12435 11042 0 -1 64 378 0 0 0 18 0 0 0 16 0 9 0 36618917 887435264 9907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12435/tid=12443] ppid=12433 vsize=866636 CPUtime=0
/proc/12435/task/12443/stat : 12443 (java) S 12433 12435 11042 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 36618917 887435264 9907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12435/tid=12444] ppid=12433 vsize=866636 CPUtime=0
/proc/12435/task/12444/stat : 12444 (java) S 12433 12435 11042 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 36618917 887435264 9907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3400.91
Current children cumulated vsize (KiB) 866636

[startup+3462.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/89 12490
/proc/meminfo: memFree=1820696/2055920 swapFree=4192812/4192956
[pid=12435] ppid=12433 vsize=866636 CPUtime=3460.88
/proc/12435/stat : 12435 (java) S 12433 12435 11042 0 -1 0 10743 0 2 0 344189 1899 0 0 18 0 9 0 36618912 887435264 9907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12435/statm: 216659 9907 2635 9 0 211165 0
[pid=12435/tid=12436] ppid=12433 vsize=866636 CPUtime=3460.64
/proc/12435/task/12436/stat : 12436 (java) R 12433 12435 11042 0 -1 64 8537 0 2 0 344166 1898 0 0 25 0 9 0 36618913 887435264 9907 996147200 134512640 134550740 4294955952 18446744073709551615 4126791705 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12435/tid=12438] ppid=12433 vsize=866636 CPUtime=0.03
/proc/12435/task/12438/stat : 12438 (java) S 12433 12435 11042 0 -1 64 1132 0 0 0 3 0 0 0 16 0 9 0 36618915 887435264 9907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12435/tid=12439] ppid=12433 vsize=866636 CPUtime=0
/proc/12435/task/12439/stat : 12439 (java) S 12433 12435 11042 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 36618915 887435264 9907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12435/tid=12440] ppid=12433 vsize=866636 CPUtime=0
/proc/12435/task/12440/stat : 12440 (java) S 12433 12435 11042 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 36618915 887435264 9907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12435/tid=12441] ppid=12433 vsize=866636 CPUtime=0
/proc/12435/task/12441/stat : 12441 (java) S 12433 12435 11042 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 36618917 887435264 9907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12435/tid=12442] ppid=12433 vsize=866636 CPUtime=0.18
/proc/12435/task/12442/stat : 12442 (java) S 12433 12435 11042 0 -1 64 378 0 0 0 18 0 0 0 16 0 9 0 36618917 887435264 9907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12435/tid=12443] ppid=12433 vsize=866636 CPUtime=0
/proc/12435/task/12443/stat : 12443 (java) S 12433 12435 11042 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 36618917 887435264 9907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12435/tid=12444] ppid=12433 vsize=866636 CPUtime=0
/proc/12435/task/12444/stat : 12444 (java) S 12433 12435 11042 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 36618917 887435264 9907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3460.88
Current children cumulated vsize (KiB) 866636

[startup+3522.31 s]
/proc/loadavg: 1.99 1.98 1.99 3/89 12490
/proc/meminfo: memFree=1820696/2055920 swapFree=4192812/4192956
[pid=12435] ppid=12433 vsize=866636 CPUtime=3520.86
/proc/12435/stat : 12435 (java) S 12433 12435 11042 0 -1 0 10743 0 2 0 350187 1899 0 0 18 0 9 0 36618912 887435264 9907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12435/statm: 216659 9907 2635 9 0 211165 0
[pid=12435/tid=12436] ppid=12433 vsize=866636 CPUtime=3520.62
/proc/12435/task/12436/stat : 12436 (java) R 12433 12435 11042 0 -1 64 8537 0 2 0 350164 1898 0 0 25 0 9 0 36618913 887435264 9907 996147200 134512640 134550740 4294955952 18446744073709551615 4126794559 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12435/tid=12438] ppid=12433 vsize=866636 CPUtime=0.03
/proc/12435/task/12438/stat : 12438 (java) S 12433 12435 11042 0 -1 64 1132 0 0 0 3 0 0 0 16 0 9 0 36618915 887435264 9907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12435/tid=12439] ppid=12433 vsize=866636 CPUtime=0
/proc/12435/task/12439/stat : 12439 (java) S 12433 12435 11042 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 36618915 887435264 9907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12435/tid=12440] ppid=12433 vsize=866636 CPUtime=0
/proc/12435/task/12440/stat : 12440 (java) S 12433 12435 11042 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 36618915 887435264 9907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12435/tid=12441] ppid=12433 vsize=866636 CPUtime=0
/proc/12435/task/12441/stat : 12441 (java) S 12433 12435 11042 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 36618917 887435264 9907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12435/tid=12442] ppid=12433 vsize=866636 CPUtime=0.18
/proc/12435/task/12442/stat : 12442 (java) S 12433 12435 11042 0 -1 64 378 0 0 0 18 0 0 0 16 0 9 0 36618917 887435264 9907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12435/tid=12443] ppid=12433 vsize=866636 CPUtime=0
/proc/12435/task/12443/stat : 12443 (java) S 12433 12435 11042 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 36618917 887435264 9907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12435/tid=12444] ppid=12433 vsize=866636 CPUtime=0
/proc/12435/task/12444/stat : 12444 (java) S 12433 12435 11042 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 36618917 887435264 9907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3520.86
Current children cumulated vsize (KiB) 866636

[startup+3582.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/89 12490
/proc/meminfo: memFree=1820568/2055920 swapFree=4192812/4192956
[pid=12435] ppid=12433 vsize=866636 CPUtime=3580.84
/proc/12435/stat : 12435 (java) S 12433 12435 11042 0 -1 0 10743 0 2 0 356184 1900 0 0 18 0 9 0 36618912 887435264 9907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12435/statm: 216659 9907 2635 9 0 211165 0
[pid=12435/tid=12436] ppid=12433 vsize=866636 CPUtime=3580.61
/proc/12435/task/12436/stat : 12436 (java) R 12433 12435 11042 0 -1 64 8537 0 2 0 356162 1899 0 0 25 0 9 0 36618913 887435264 9907 996147200 134512640 134550740 4294955952 18446744073709551615 4126788716 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12435/tid=12438] ppid=12433 vsize=866636 CPUtime=0.03
/proc/12435/task/12438/stat : 12438 (java) S 12433 12435 11042 0 -1 64 1132 0 0 0 3 0 0 0 16 0 9 0 36618915 887435264 9907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12435/tid=12439] ppid=12433 vsize=866636 CPUtime=0
/proc/12435/task/12439/stat : 12439 (java) S 12433 12435 11042 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 36618915 887435264 9907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12435/tid=12440] ppid=12433 vsize=866636 CPUtime=0
/proc/12435/task/12440/stat : 12440 (java) S 12433 12435 11042 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 36618915 887435264 9907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12435/tid=12441] ppid=12433 vsize=866636 CPUtime=0
/proc/12435/task/12441/stat : 12441 (java) S 12433 12435 11042 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 36618917 887435264 9907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12435/tid=12442] ppid=12433 vsize=866636 CPUtime=0.18
/proc/12435/task/12442/stat : 12442 (java) S 12433 12435 11042 0 -1 64 378 0 0 0 18 0 0 0 16 0 9 0 36618917 887435264 9907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12435/tid=12443] ppid=12433 vsize=866636 CPUtime=0
/proc/12435/task/12443/stat : 12443 (java) S 12433 12435 11042 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 36618917 887435264 9907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12435/tid=12444] ppid=12433 vsize=866636 CPUtime=0
/proc/12435/task/12444/stat : 12444 (java) S 12433 12435 11042 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 36618917 887435264 9907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3580.84
Current children cumulated vsize (KiB) 866636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3601.51 s]
/proc/loadavg: 1.99 1.98 1.99 3/89 12490
/proc/meminfo: memFree=1820632/2055920 swapFree=4192812/4192956
[pid=12435] ppid=12433 vsize=866636 CPUtime=3600.04
/proc/12435/stat : 12435 (java) S 12433 12435 11042 0 -1 0 10743 0 2 0 358104 1900 0 0 18 0 9 0 36618912 887435264 9907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12435/statm: 216659 9907 2635 9 0 211165 0
[pid=12435/tid=12436] ppid=12433 vsize=866636 CPUtime=3599.8
/proc/12435/task/12436/stat : 12436 (java) R 12433 12435 11042 0 -1 64 8537 0 2 0 358081 1899 0 0 25 0 9 0 36618913 887435264 9907 996147200 134512640 134550740 4294955952 18446744073709551615 4126100608 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12435/tid=12438] ppid=12433 vsize=866636 CPUtime=0.03
/proc/12435/task/12438/stat : 12438 (java) S 12433 12435 11042 0 -1 64 1132 0 0 0 3 0 0 0 16 0 9 0 36618915 887435264 9907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12435/tid=12439] ppid=12433 vsize=866636 CPUtime=0
/proc/12435/task/12439/stat : 12439 (java) S 12433 12435 11042 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 36618915 887435264 9907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12435/tid=12440] ppid=12433 vsize=866636 CPUtime=0
/proc/12435/task/12440/stat : 12440 (java) S 12433 12435 11042 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 36618915 887435264 9907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12435/tid=12441] ppid=12433 vsize=866636 CPUtime=0
/proc/12435/task/12441/stat : 12441 (java) S 12433 12435 11042 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 36618917 887435264 9907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12435/tid=12442] ppid=12433 vsize=866636 CPUtime=0.18
/proc/12435/task/12442/stat : 12442 (java) S 12433 12435 11042 0 -1 64 378 0 0 0 18 0 0 0 16 0 9 0 36618917 887435264 9907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12435/tid=12443] ppid=12433 vsize=866636 CPUtime=0
/proc/12435/task/12443/stat : 12443 (java) S 12433 12435 11042 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 36618917 887435264 9907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12435/tid=12444] ppid=12433 vsize=866636 CPUtime=0
/proc/12435/task/12444/stat : 12444 (java) S 12433 12435 11042 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 36618917 887435264 9907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3600.04
Current children cumulated vsize (KiB) 866636

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

Solver just ended. Dumping a history of the last processes samples

Child status: 143
Real time (s): 3601.54
CPU time (s): 3600.08
CPU user time (s): 3581.07
CPU system time (s): 19.0071
CPU usage (%): 99.9593
Max. virtual memory (cumulated for all children) (KiB): 866640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.07
system time used= 19.0071
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10766
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 73881
involuntary context switches= 87715

runsolver used 5.53416 second user time and 10.8563 second system time

The end

Launcher Data (download as text)

Begin job on node11 at 2008-07-11 19:59:21
IDJOB=1109182
IDBENCH=60928
IDSOLVER=360
FILE ID=node11/1109182-1215799161
PBS_JOBID= 7903173
Free space on /tmp= 66556 MiB

SOLVER NAME= AbsconMax 112 pc-d
BENCH NAME= CPAI08/csp/pret/normalized-pret-150-75_ext.xml
COMMAND LINE=  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1109182-1215799161/watcher-1109182-1215799161 -o /tmp/evaluation-result-1109182-1215799161/solver-1109182-1215799161 -C 3600 -W 4000 -M 900 --output-limit 1,15   java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax HOME/instance-1109182-1215799161.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 91e4be10adb9e54cde863d904a5e30fc
RANDOM SEED=1624867175

node11.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.218
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.218
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:       1926328 kB
Buffers:          4928 kB
Cached:          49268 kB
SwapCached:          0 kB
Active:          59680 kB
Inactive:        19176 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1926328 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2016 kB
Writeback:           0 kB
Mapped:          44792 kB
Slab:            35636 kB
Committed_AS:   146180 kB
PageTables:       2104 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= 66552 MiB
End job on node11 at 2008-07-11 20:59:25