Trace number 195156

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
Abscon 109 ACSAT 614.942 615.887

DiagnosticValue
CHECKS4328373748
NODES2622267

General information on the benchmark

Namerandom/rand-2-50-23/
rand-2-50-23-587-230-43_ext.xml
MD5SUM4d734d4951bba2ded06d16dc01fa3948
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark35.2846
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables50
Number of constraints476
Maximum constraint arity2
Maximum domain size23
Number of constraints which are defined in extension476
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.66	   
0.66	Abscon 109 (November, 2006)
0.66	   
0.66	   configuration
0.66	     name=mac.xml
0.71	   
0.71	   instance
0.71	     name=/tmp/evaluation/195156-1168069694/unknown.xml
0.74	   
0.74	   domains being loaded...
0.74	   
0.74	   variables being loaded...
0.78	     nbVariables=50  nbDomainTypes=1  minDomainSize=23  maxDomainSize=23
0.78	       =>  wckTime=0.114  cpuTime=0.08  mem=6M951
0.78	   
0.78	   relations being loaded...
0.92	   
0.92	   constraints being loaded...
1.06	     nbConstraints=476  nbRelationTypes=476  nbExtensionStructures=476  nbSharedExtensionStructures=0
1.06	     nbConflictsStructures=476  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=2558  maxDegree=27
1.06	     maxArity=2
1.06	       =>  wckTime=0.393  cpuTime=0.29  mem=17M695
1.11	   
1.11	   solver IterativeSystematicSolver being built... 
1.25	       =>  wckTime=0.582  cpuTime=0.4  mem=15M384
1.26	   
1.26	   preprocessing
1.26	     nbConstraintChecks=0  nbPropagations=50  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
1.26	     detectedInconsistency=no
1.26	       =>  wckTime=0.0080  cpuTime=0.01  mem=15M384
1.31	   
1.31	   search
1.31	     run=0  nbConstraintChecks=48761  nbPropagations=654  nbRevisions=7957  nbUselessRevisions=6640  nbAssignments=34
1.31	     nbFailedAssignments=10  nbBacktracks=11  nbVisitedNodes=51  nbRestartNogoods=0  mapSize=7  nbInferences=0
1.31	     nbTooLargeKeys=0
1.31	       =>  wckTime=0.056  cpuTime=0.04  mem=15M384
1.33	   
1.33	   search
1.33	     run=1  nbConstraintChecks=104666  nbPropagations=1967  nbRevisions=24541  nbUselessRevisions=20563
1.33	     nbAssignments=68  nbFailedAssignments=19  nbBacktracks=26  nbVisitedNodes=102  nbRestartNogoods=5  mapSize=19
1.33	     nbInferences=0  nbTooLargeKeys=0
1.33	       =>  wckTime=0.08  cpuTime=0.06  mem=15M384
1.35	   
1.35	   search
1.35	     run=2  nbConstraintChecks=178996  nbPropagations=4124  nbRevisions=52810  nbUselessRevisions=44065
1.35	     nbAssignments=112  nbFailedAssignments=31  nbBacktracks=48  nbVisitedNodes=171  nbRestartNogoods=7  mapSize=36
1.35	     nbInferences=0  nbTooLargeKeys=0
1.35	       =>  wckTime=0.1  cpuTime=0.07  mem=15M384
1.38	   
1.38	   search
1.38	     run=3  nbConstraintChecks=301698  nbPropagations=7620  nbRevisions=100967  nbUselessRevisions=83763
1.38	     nbAssignments=175  nbFailedAssignments=55  nbBacktracks=81  nbVisitedNodes=278  nbRestartNogoods=12  mapSize=65
1.38	     nbInferences=0  nbTooLargeKeys=0
1.38	       =>  wckTime=0.123  cpuTime=0.09  mem=15M384
1.40	   
1.40	   search
1.40	     run=4  nbConstraintChecks=422488  nbPropagations=12604  nbRevisions=170258  nbUselessRevisions=141061
1.40	     nbAssignments=264  nbFailedAssignments=80  nbBacktracks=135  nbVisitedNodes=412  nbRestartNogoods=13  mapSize=100
1.40	     nbInferences=0  nbTooLargeKeys=0
1.40	       =>  wckTime=0.149  cpuTime=0.12  mem=15M384
1.44	   
1.44	   search
1.44	     run=5  nbConstraintChecks=632500  nbPropagations=19933  nbRevisions=275355  nbUselessRevisions=228204
1.44	     nbAssignments=387  nbFailedAssignments=120  nbBacktracks=211  nbVisitedNodes=615  nbRestartNogoods=16  mapSize=165
1.44	     nbInferences=0  nbTooLargeKeys=0
1.44	       =>  wckTime=0.186  cpuTime=0.15  mem=15M384
1.49	   
1.49	   search
1.49	     run=6  nbConstraintChecks=893932  nbPropagations=30697  nbRevisions=431004  nbUselessRevisions=357123
1.49	     nbAssignments=580  nbFailedAssignments=185  nbBacktracks=328  nbVisitedNodes=929  nbRestartNogoods=17  mapSize=257
1.49	     nbInferences=0  nbTooLargeKeys=0
1.49	       =>  wckTime=0.239  cpuTime=0.2  mem=15M384
1.59	   
1.59	   search
1.59	     run=7  nbConstraintChecks=1498901  nbPropagations=47822  nbRevisions=685862  nbUselessRevisions=566628
1.59	     nbAssignments=893  nbFailedAssignments=317  nbBacktracks=500  nbVisitedNodes=1473  nbRestartNogoods=22  mapSize=404
1.59	     nbInferences=0  nbTooLargeKeys=0
1.59	       =>  wckTime=0.334  cpuTime=0.3  mem=15M384
1.71	   
1.71	   search
1.71	     run=8  nbConstraintChecks=2155424  nbPropagations=73359  nbRevisions=1070957  nbUselessRevisions=883165
1.71	     nbAssignments=1337  nbFailedAssignments=493  nbBacktracks=757  nbVisitedNodes=2234  nbRestartNogoods=27
1.71	     mapSize=622  nbInferences=0  nbTooLargeKeys=0
1.71	       =>  wckTime=0.454  cpuTime=0.41  mem=15M384
1.87	   
1.87	   search
1.87	     run=9  nbConstraintChecks=3070924  nbPropagations=110857  nbRevisions=1643035  nbUselessRevisions=1354670
1.87	     nbAssignments=1965  nbFailedAssignments=726  nbBacktracks=1142  nbVisitedNodes=3309  nbRestartNogoods=34
1.87	     mapSize=946  nbInferences=0  nbTooLargeKeys=0
1.87	       =>  wckTime=0.62  cpuTime=0.56  mem=15M384
1.92	   
1.92	   INFO : Stopping hyperNogood (mapSize=1039, nbTooLargekeys=0, mem=15M384)
2.11	   
2.11	   search
2.11	     run=10  nbConstraintChecks=4597121  nbPropagations=166799  nbRevisions=2497651  nbUselessRevisions=2057665
2.11	     nbAssignments=2919  nbFailedAssignments=1091  nbBacktracks=1719  nbVisitedNodes=4933  nbRestartNogoods=40
2.11	       =>  wckTime=0.857  cpuTime=0.79  mem=15M384
2.42	   
2.42	   search
2.42	     run=11  nbConstraintChecks=6677289  nbPropagations=248759  nbRevisions=3762954  nbUselessRevisions=3101134
2.42	     nbAssignments=4318  nbFailedAssignments=1612  nbBacktracks=2585  nbVisitedNodes=7300  nbRestartNogoods=46
2.42	       =>  wckTime=1.168  cpuTime=1.1  mem=15M384
2.92	   
2.92	   search
2.92	     run=12  nbConstraintChecks=10217402  nbPropagations=371553  nbRevisions=5681113  nbUselessRevisions=4682243
2.92	     nbAssignments=6445  nbFailedAssignments=2430  nbBacktracks=3885  nbVisitedNodes=10918  nbRestartNogoods=54
2.92	       =>  wckTime=1.668  cpuTime=1.6  mem=15M384
3.65	   
3.65	   search
3.65	     run=13  nbConstraintChecks=15167821  nbPropagations=554737  nbRevisions=8566697  nbUselessRevisions=7063469
3.65	     nbAssignments=9593  nbFailedAssignments=3624  nbBacktracks=5831  nbVisitedNodes=16314  nbRestartNogoods=60
3.65	       =>  wckTime=2.394  cpuTime=2.32  mem=15M384
4.70	   
4.70	   search
4.70	     run=14  nbConstraintChecks=22248491  nbPropagations=825342  nbRevisions=12863480  nbUselessRevisions=10617745
4.70	     nbAssignments=14206  nbFailedAssignments=5308  nbBacktracks=8750  nbVisitedNodes=24217  nbRestartNogoods=67
4.70	       =>  wckTime=3.444  cpuTime=3.37  mem=15M384
6.35	   
6.35	   search
6.35	     run=15  nbConstraintChecks=33721729  nbPropagations=1234105  nbRevisions=19356193  nbUselessRevisions=15989814
6.35	     nbAssignments=21375  nbFailedAssignments=8087  nbBacktracks=13130  nbVisitedNodes=36572  nbRestartNogoods=74
6.35	       =>  wckTime=5.095  cpuTime=5.02  mem=15M384
8.80	   
8.80	   search
8.80	     run=16  nbConstraintChecks=50724383  nbPropagations=1846994  nbRevisions=29091028  nbUselessRevisions=24036084
8.80	     nbAssignments=32092  nbFailedAssignments=12225  nbBacktracks=19699  nbVisitedNodes=55099  nbRestartNogoods=88
8.80	       =>  wckTime=7.544  cpuTime=7.47  mem=15M384
12.64	   
12.64	   search
12.64	     run=17  nbConstraintChecks=78256513  nbPropagations=2774063  nbRevisions=43876364  nbUselessRevisions=36251156
12.64	     nbAssignments=47895  nbFailedAssignments=18164  nbBacktracks=29554  nbVisitedNodes=82146  nbRestartNogoods=94
12.64	       =>  wckTime=11.386  cpuTime=11.31  mem=15M384
18.04	   
18.04	   search
18.04	     run=18  nbConstraintChecks=115948249  nbPropagations=4154142  nbRevisions=65919502  nbUselessRevisions=54477030
18.04	     nbAssignments=71403  nbFailedAssignments=26883  nbBacktracks=44332  nbVisitedNodes=122333  nbRestartNogoods=103
18.04	       =>  wckTime=16.789  cpuTime=16.71  mem=15M384
26.90	   
26.90	   search
26.90	     run=19  nbConstraintChecks=179911962  nbPropagations=6253537  nbRevisions=99773715  nbUselessRevisions=82488983
26.90	     nbAssignments=107362  nbFailedAssignments=40661  nbBacktracks=66504  nbVisitedNodes=184265  nbRestartNogoods=114
26.90	       =>  wckTime=25.652  cpuTime=25.56  mem=15M384
39.03	   
39.03	   search
39.03	     run=20  nbConstraintChecks=263963095  nbPropagations=9365468  nbRevisions=149670867  nbUselessRevisions=123765026
39.03	     nbAssignments=160154  nbFailedAssignments=60190  nbBacktracks=99757  nbVisitedNodes=274405  nbRestartNogoods=126
39.03	       =>  wckTime=37.773  cpuTime=37.68  mem=15M384
58.23	   
58.23	   search
58.23	     run=21  nbConstraintChecks=401038394  nbPropagations=14045636  nbRevisions=224963941  nbUselessRevisions=185974365
58.23	     nbAssignments=241065  nbFailedAssignments=91213  nbBacktracks=149638  nbVisitedNodes=412906  nbRestartNogoods=135
58.23	       =>  wckTime=56.977  cpuTime=56.86  mem=15M384
86.92	   
86.92	   search
86.92	     run=22  nbConstraintChecks=609900442  nbPropagations=21079382  nbRevisions=337975628  nbUselessRevisions=279237614
86.92	     nbAssignments=361326  nbFailedAssignments=136645  nbBacktracks=224460  nbVisitedNodes=619080  nbRestartNogoods=149
86.92	       =>  wckTime=85.668  cpuTime=85.54  mem=15M384
128.83	   
128.83	   search
128.83	     run=23  nbConstraintChecks=902732343  nbPropagations=31572460  nbRevisions=506309358  nbUselessRevisions=418253757
128.83	     nbAssignments=539414  nbFailedAssignments=202496  nbBacktracks=336689  nbVisitedNodes=923566  nbRestartNogoods=155
128.83	       =>  wckTime=127.578  cpuTime=127.4  mem=15M384
193.81	   
193.81	   search
193.81	     run=24  nbConstraintChecks=1367432688  nbPropagations=47357521  nbRevisions=761132637  nbUselessRevisions=628840174
193.81	     nbAssignments=811439  nbFailedAssignments=306169  nbBacktracks=505030  nbVisitedNodes=1390953  nbRestartNogoods=171
193.81	       =>  wckTime=192.561  cpuTime=192.31  mem=15M384
287.05	   
287.05	   search
287.05	     run=25  nbConstraintChecks=2016584509  nbPropagations=70879995  nbRevisions=1138645091
287.05	     nbUselessRevisions=940816985  nbAssignments=1213973  nbFailedAssignments=456180  nbBacktracks=757542
287.05	     nbVisitedNodes=2078844  nbRestartNogoods=194
287.05	       =>  wckTime=285.795  cpuTime=285.46  mem=15M384
430.39	   
430.39	   search
430.39	     run=26  nbConstraintChecks=3032117943  nbPropagations=106129404  nbRevisions=1705342012
430.39	     nbUselessRevisions=1409198970  nbAssignments=1817591  nbFailedAssignments=681024  nbBacktracks=1136309
430.39	     nbVisitedNodes=3114725  nbRestartNogoods=207
430.39	       =>  wckTime=429.138  cpuTime=428.67  mem=15M384
615.83	   
615.83	   search
615.83	     run=27  nbConstraintChecks=4328373748  nbPropagations=156861723  nbRevisions=2516623076
615.83	     nbUselessRevisions=2079376584  nbAssignments=2622267  nbFailedAssignments=981749  nbBacktracks=1640210
615.83	     nbVisitedNodes=4491035  nbRestartNogoods=215
615.83	       =>  wckTime=614.575  cpuTime=613.94  mem=15M384
615.83	   
615.83	   global
615.83	     nbConstraintChecks=4328373748  nbPropagations=156861773  nbRevisions=2516623076  nbUselessRevisions=2079376584
615.83	     nbRestartNogoods=215  solvingWckTime=614.576  solvingCpuTime=613.94  expiredTime=no  totalExploration=no
615.83	     nbFoundSolutions=1  globalCpuTime=614.38
615.83	       =>  wckTime=615.161  cpuTime=614.34  mem=15M384
615.83	   
615.83	s SATISFIABLE
615.83	v 1 4 11 17 10 12 16 19 5 0 11 0 3 2 16 10 10 16 4 22 17 19 14 8 4 11 9 10 11 11 13 1 4 5 21 5 8 0 15 16 1 4 14 15 21 11 13 7 5 12 
615.83	d NODES 2622267
615.83	d CHECKS 4328373748
615.83	   
615.83	   totalWckTime=615.243  totalCpuTime=614.38

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node44/watcher-195156-1168069694 -o ROOT/results/node44/solver-195156-1168069694 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/195156-1168069694/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 1.92 1.99 1.91 4/73 8326
/proc/meminfo: memFree=1365016/2055920 swapFree=4192812/4192956
[pid=8325] ppid=8323 vsize=292 CPUtime=0
/proc/8325/stat : 8325 (java) D 8323 8325 7888 0 -1 0 54 0 0 0 0 0 0 0 18 0 1 0 155368480 299008 37 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 11281188 0 0 4096 0 18446744071563608240 0 0 17 0 0 0
/proc/8325/statm: 73 37 29 14 0 5 0

[startup+0.106555 s]
/proc/loadavg: 1.92 1.99 1.91 4/73 8326
/proc/meminfo: memFree=1365016/2055920 swapFree=4192812/4192956
[pid=8325] ppid=8323 vsize=9948 CPUtime=0.01
/proc/8325/stat : 8325 (java) D 8323 8325 7888 0 -1 0 712 0 13 0 0 1 0 0 16 0 1 0 155368480 10186752 474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 18446744071563608240 0 0 17 1 0 0
/proc/8325/statm: 2487 474 388 14 0 1142 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9948

[startup+0.514596 s]
/proc/loadavg: 1.92 1.99 1.91 4/73 8326
/proc/meminfo: memFree=1365016/2055920 swapFree=4192812/4192956
[pid=8325] ppid=8323 vsize=915120 CPUtime=0.22
/proc/8325/stat : 8325 (java) R 8323 8325 7888 0 -1 0 3721 0 91 0 16 6 0 0 18 0 8 0 155368480 937082880 3557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072944238 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8325/statm: 228780 3557 1747 14 0 215275 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 915120

[startup+1.33568 s]
/proc/loadavg: 1.92 1.99 1.91 3/80 8333
/proc/meminfo: memFree=1315936/2055920 swapFree=4192812/4192956
[pid=8325] ppid=8323 vsize=915460 CPUtime=0.99
/proc/8325/stat : 8325 (java) R 8323 8325 7888 0 -1 0 9542 0 102 0 87 12 0 0 21 0 8 0 155368480 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073825139 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8325/statm: 228865 9381 2513 14 0 215335 0
[pid=8325/tid=8327] ppid=8323 vsize=915460 CPUtime=0.03
/proc/8325/task/8327/stat : 8327 (java) S 8323 8325 7888 0 -1 64 413 0 0 0 3 0 0 0 17 0 8 0 155368497 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8328] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8328/stat : 8328 (java) S 8323 8325 7888 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155368498 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8329] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8329/stat : 8329 (java) S 8323 8325 7888 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155368498 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8330] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8330/stat : 8330 (java) S 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155368503 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8331] ppid=8323 vsize=915460 CPUtime=0.18
/proc/8325/task/8331/stat : 8331 (java) S 8323 8325 7888 0 -1 64 373 0 0 0 18 0 0 0 16 0 8 0 155368503 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8332] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8332/stat : 8332 (java) S 8323 8325 7888 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155368503 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8333] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8333/stat : 8333 (java) S 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155368503 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 915460

[startup+2.97585 s]
/proc/loadavg: 1.92 1.99 1.91 3/80 8333
/proc/meminfo: memFree=1315424/2055920 swapFree=4192812/4192956
[pid=8325] ppid=8323 vsize=915460 CPUtime=2.63
/proc/8325/stat : 8325 (java) R 8323 8325 7888 0 -1 0 9565 0 102 0 250 13 0 0 25 0 8 0 155368480 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813800 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8325/statm: 228865 9403 2513 14 0 215335 0
[pid=8325/tid=8327] ppid=8323 vsize=915460 CPUtime=0.03
/proc/8325/task/8327/stat : 8327 (java) S 8323 8325 7888 0 -1 64 413 0 0 0 3 0 0 0 17 0 8 0 155368497 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8328] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8328/stat : 8328 (java) S 8323 8325 7888 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155368498 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8329] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8329/stat : 8329 (java) S 8323 8325 7888 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155368498 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8330] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8330/stat : 8330 (java) S 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155368503 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8331] ppid=8323 vsize=915460 CPUtime=0.23
/proc/8325/task/8331/stat : 8331 (java) S 8323 8325 7888 0 -1 64 395 0 0 0 22 1 0 0 15 0 8 0 155368503 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8332] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8332/stat : 8332 (java) S 8323 8325 7888 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155368503 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8333] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8333/stat : 8333 (java) S 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155368503 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.63
Current children cumulated vsize (KiB) 915460

[startup+6.18218 s]
/proc/loadavg: 1.93 1.99 1.91 3/80 8333
/proc/meminfo: memFree=1315104/2055920 swapFree=4192812/4192956
[pid=8325] ppid=8323 vsize=915460 CPUtime=5.84
/proc/8325/stat : 8325 (java) R 8323 8325 7888 0 -1 0 9567 0 102 0 571 13 0 0 25 0 8 0 155368480 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073825790 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8325/statm: 228865 9404 2513 14 0 215335 0
[pid=8325/tid=8327] ppid=8323 vsize=915460 CPUtime=0.03
/proc/8325/task/8327/stat : 8327 (java) S 8323 8325 7888 0 -1 64 413 0 0 0 3 0 0 0 16 0 8 0 155368497 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8328] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8328/stat : 8328 (java) S 8323 8325 7888 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155368498 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8329] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8329/stat : 8329 (java) S 8323 8325 7888 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155368498 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8330] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8330/stat : 8330 (java) S 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155368503 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8331] ppid=8323 vsize=915460 CPUtime=0.23
/proc/8325/task/8331/stat : 8331 (java) S 8323 8325 7888 0 -1 64 397 0 0 0 22 1 0 0 16 0 8 0 155368503 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8332] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8332/stat : 8332 (java) S 8323 8325 7888 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155368503 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8333] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8333/stat : 8333 (java) S 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155368503 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.84
Current children cumulated vsize (KiB) 915460

[startup+12.6548 s]
/proc/loadavg: 1.93 1.99 1.91 3/80 8333
/proc/meminfo: memFree=1314720/2055920 swapFree=4192812/4192956
[pid=8325] ppid=8323 vsize=915460 CPUtime=12.31
/proc/8325/stat : 8325 (java) R 8323 8325 7888 0 -1 0 9567 0 102 0 1218 13 0 0 25 0 8 0 155368480 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813814 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8325/statm: 228865 9404 2513 14 0 215335 0
[pid=8325/tid=8327] ppid=8323 vsize=915460 CPUtime=0.03
/proc/8325/task/8327/stat : 8327 (java) S 8323 8325 7888 0 -1 64 413 0 0 0 3 0 0 0 16 0 8 0 155368497 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8328] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8328/stat : 8328 (java) S 8323 8325 7888 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155368498 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8329] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8329/stat : 8329 (java) S 8323 8325 7888 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155368498 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8330] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8330/stat : 8330 (java) S 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155368503 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8331] ppid=8323 vsize=915460 CPUtime=0.23
/proc/8325/task/8331/stat : 8331 (java) S 8323 8325 7888 0 -1 64 397 0 0 0 22 1 0 0 16 0 8 0 155368503 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8332] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8332/stat : 8332 (java) S 8323 8325 7888 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155368503 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8333] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8333/stat : 8333 (java) S 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155368503 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.31
Current children cumulated vsize (KiB) 915460

[startup+25.5312 s]
/proc/loadavg: 1.95 1.99 1.91 3/80 8333
/proc/meminfo: memFree=1314208/2055920 swapFree=4192812/4192956
[pid=8325] ppid=8323 vsize=915460 CPUtime=25.17
/proc/8325/stat : 8325 (java) R 8323 8325 7888 0 -1 0 9567 0 102 0 2504 13 0 0 25 0 8 0 155368480 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815792 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8325/statm: 228865 9404 2513 14 0 215335 0
[pid=8325/tid=8327] ppid=8323 vsize=915460 CPUtime=0.03
/proc/8325/task/8327/stat : 8327 (java) S 8323 8325 7888 0 -1 64 413 0 0 0 3 0 0 0 16 0 8 0 155368497 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8328] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8328/stat : 8328 (java) S 8323 8325 7888 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155368498 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8329] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8329/stat : 8329 (java) S 8323 8325 7888 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155368498 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8330] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8330/stat : 8330 (java) S 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155368503 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8331] ppid=8323 vsize=915460 CPUtime=0.23
/proc/8325/task/8331/stat : 8331 (java) S 8323 8325 7888 0 -1 64 397 0 0 0 22 1 0 0 16 0 8 0 155368503 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8332] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8332/stat : 8332 (java) S 8323 8325 7888 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155368503 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8333] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8333/stat : 8333 (java) S 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155368503 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 915460

[startup+51.1498 s]
/proc/loadavg: 1.96 1.99 1.91 3/80 8333
/proc/meminfo: memFree=1312992/2055920 swapFree=4192812/4192956
[pid=8325] ppid=8323 vsize=915460 CPUtime=50.76
/proc/8325/stat : 8325 (java) R 8323 8325 7888 0 -1 0 9568 0 102 0 5063 13 0 0 25 0 8 0 155368480 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073933277 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8325/statm: 228865 9404 2513 14 0 215335 0
[pid=8325/tid=8327] ppid=8323 vsize=915460 CPUtime=0.03
/proc/8325/task/8327/stat : 8327 (java) S 8323 8325 7888 0 -1 64 413 0 0 0 3 0 0 0 16 0 8 0 155368497 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8328] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8328/stat : 8328 (java) S 8323 8325 7888 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155368498 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8329] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8329/stat : 8329 (java) S 8323 8325 7888 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155368498 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8330] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8330/stat : 8330 (java) S 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155368503 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8331] ppid=8323 vsize=915460 CPUtime=0.23
/proc/8325/task/8331/stat : 8331 (java) S 8323 8325 7888 0 -1 64 397 0 0 0 22 1 0 0 16 0 8 0 155368503 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8332] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8332/stat : 8332 (java) S 8323 8325 7888 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155368503 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8333] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8333/stat : 8333 (java) S 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155368503 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 915460

[startup+102.394 s]
/proc/loadavg: 1.98 1.99 1.91 3/80 8333
/proc/meminfo: memFree=1308768/2055920 swapFree=4192812/4192956
[pid=8325] ppid=8323 vsize=915460 CPUtime=101.96
/proc/8325/stat : 8325 (java) R 8323 8325 7888 0 -1 0 9568 0 102 0 10183 13 0 0 25 0 8 0 155368480 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073825849 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8325/statm: 228865 9404 2513 14 0 215335 0
[pid=8325/tid=8327] ppid=8323 vsize=915460 CPUtime=0.03
/proc/8325/task/8327/stat : 8327 (java) S 8323 8325 7888 0 -1 64 413 0 0 0 3 0 0 0 16 0 8 0 155368497 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8328] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8328/stat : 8328 (java) S 8323 8325 7888 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155368498 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8329] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8329/stat : 8329 (java) S 8323 8325 7888 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155368498 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8330] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8330/stat : 8330 (java) S 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155368503 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8331] ppid=8323 vsize=915460 CPUtime=0.24
/proc/8325/task/8331/stat : 8331 (java) S 8323 8325 7888 0 -1 64 397 0 0 0 23 1 0 0 16 0 8 0 155368503 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8332] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8332/stat : 8332 (java) S 8323 8325 7888 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155368503 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8333] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8333/stat : 8333 (java) S 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155368503 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.96
Current children cumulated vsize (KiB) 915460

[startup+162.493 s]
/proc/loadavg: 1.99 1.99 1.91 3/80 8333
/proc/meminfo: memFree=1297568/2055920 swapFree=4192812/4192956
[pid=8325] ppid=8323 vsize=915460 CPUtime=162
/proc/8325/stat : 8325 (java) R 8323 8325 7888 0 -1 0 9569 0 102 0 16187 13 0 0 25 0 8 0 155368480 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336160 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

/proc/8325/task/8330/stat : 8330 (java) S 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8331] ppid=8323 vsize=915460 CPUtime=0.24
/proc/8325/task/8331/stat : 8331 (java) S 8323 8325 7888 0 -1 64 398 0 0 0 23 1 0 0 16 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8332] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8332/stat : 8332 (java) S 8323 8325 7888 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8333] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8333/stat : 8333 (java) S 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 162
Current children cumulated vsize (KiB) 915460

[startup+222.493 s]
/proc/loadavg: 1.99 1.99 1.91 3/80 8333
/proc/meminfo: memFree=1290528/2055920 swapFree=4192812/4192956
[pid=8325] ppid=8323 vsize=915460 CPUtime=221.96
/proc/8325/stat : 8325 (java) R 8323 8325 7888 0 -1 0 9569 0 102 0 22182 14 0 0 25 0 8 0 155368480 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073839237 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8325/statm: 228865 9405 2513 14 0 215335 0
[pid=8325/tid=8327] ppid=8323 vsize=915460 CPUtime=0.03
/proc/8325/task/8327/stat : 8327 (java) S 8323 8325 7888 0 -1 64 413 0 0 0 3 0 0 0 16 0 8 0 155368497 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8328] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8328/stat : 8328 (java) S 8323 8325 7888 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155368498 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8329] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8329/stat : 8329 (java) S 8323 8325 7888 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155368498 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8330] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8330/stat : 8330 (java) S 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8331] ppid=8323 vsize=915460 CPUtime=0.24
/proc/8325/task/8331/stat : 8331 (java) S 8323 8325 7888 0 -1 64 398 0 0 0 23 1 0 0 16 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8332] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8332/stat : 8332 (java) S 8323 8325 7888 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8333] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8333/stat : 8333 (java) S 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.96
Current children cumulated vsize (KiB) 915460

[startup+282.592 s]
/proc/loadavg: 1.99 1.99 1.91 4/80 8333
/proc/meminfo: memFree=1282080/2055920 swapFree=4192812/4192956
[pid=8325] ppid=8323 vsize=915460 CPUtime=281.99
/proc/8325/stat : 8325 (java) R 8323 8325 7888 0 -1 0 9569 0 102 0 28185 14 0 0 25 0 8 0 155368480 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073825840 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8325/statm: 228865 9405 2513 14 0 215335 0
[pid=8325/tid=8327] ppid=8323 vsize=915460 CPUtime=0.03
/proc/8325/task/8327/stat : 8327 (java) S 8323 8325 7888 0 -1 64 413 0 0 0 3 0 0 0 16 0 8 0 155368497 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8328] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8328/stat : 8328 (java) S 8323 8325 7888 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155368498 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8329] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8329/stat : 8329 (java) S 8323 8325 7888 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155368498 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8330] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8330/stat : 8330 (java) S 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8331] ppid=8323 vsize=915460 CPUtime=0.24
/proc/8325/task/8331/stat : 8331 (java) S 8323 8325 7888 0 -1 64 398 0 0 0 23 1 0 0 16 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8332] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8332/stat : 8332 (java) S 8323 8325 7888 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8333] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8333/stat : 8333 (java) S 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.99
Current children cumulated vsize (KiB) 915460

[startup+342.693 s]
/proc/loadavg: 2.05 2.01 1.92 3/80 8333
/proc/meminfo: memFree=1275040/2055920 swapFree=4192812/4192956
[pid=8325] ppid=8323 vsize=915460 CPUtime=342.04
/proc/8325/stat : 8325 (java) R 8323 8325 7888 0 -1 0 9569 0 102 0 34190 14 0 0 25 0 8 0 155368480 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918603 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8325/statm: 228865 9405 2513 14 0 215335 0
[pid=8325/tid=8327] ppid=8323 vsize=915460 CPUtime=0.03
/proc/8325/task/8327/stat : 8327 (java) S 8323 8325 7888 0 -1 64 413 0 0 0 3 0 0 0 16 0 8 0 155368497 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8328] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8328/stat : 8328 (java) S 8323 8325 7888 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155368498 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8329] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8329/stat : 8329 (java) S 8323 8325 7888 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155368498 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8330] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8330/stat : 8330 (java) S 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8331] ppid=8323 vsize=915460 CPUtime=0.24
/proc/8325/task/8331/stat : 8331 (java) S 8323 8325 7888 0 -1 64 398 0 0 0 23 1 0 0 16 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8332] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8332/stat : 8332 (java) S 8323 8325 7888 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8333] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8333/stat : 8333 (java) S 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 342.04
Current children cumulated vsize (KiB) 915460

[startup+402.789 s]
/proc/loadavg: 2.02 2.00 1.92 3/80 8333
/proc/meminfo: memFree=1269920/2055920 swapFree=4192812/4192956
[pid=8325] ppid=8323 vsize=915460 CPUtime=402.08
/proc/8325/stat : 8325 (java) R 8323 8325 7888 0 -1 0 9569 0 102 0 40194 14 0 0 25 0 8 0 155368480 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073834279 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8325/statm: 228865 9405 2513 14 0 215335 0
[pid=8325/tid=8327] ppid=8323 vsize=915460 CPUtime=0.03
/proc/8325/task/8327/stat : 8327 (java) S 8323 8325 7888 0 -1 64 413 0 0 0 3 0 0 0 16 0 8 0 155368497 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8328] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8328/stat : 8328 (java) S 8323 8325 7888 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155368498 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8329] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8329/stat : 8329 (java) S 8323 8325 7888 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155368498 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8330] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8330/stat : 8330 (java) S 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8331] ppid=8323 vsize=915460 CPUtime=0.24
/proc/8325/task/8331/stat : 8331 (java) S 8323 8325 7888 0 -1 64 398 0 0 0 23 1 0 0 16 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8332] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8332/stat : 8332 (java) S 8323 8325 7888 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8333] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8333/stat : 8333 (java) S 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 915460

[startup+462.888 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 8333
/proc/meminfo: memFree=1265120/2055920 swapFree=4192812/4192956
[pid=8325] ppid=8323 vsize=915460 CPUtime=462.11
/proc/8325/stat : 8325 (java) R 8323 8325 7888 0 -1 0 9569 0 102 0 46197 14 0 0 25 0 8 0 155368480 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073855924 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8325/statm: 228865 9405 2513 14 0 215335 0
[pid=8325/tid=8327] ppid=8323 vsize=915460 CPUtime=0.03
/proc/8325/task/8327/stat : 8327 (java) S 8323 8325 7888 0 -1 64 413 0 0 0 3 0 0 0 16 0 8 0 155368497 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8328] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8328/stat : 8328 (java) S 8323 8325 7888 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155368498 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8329] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8329/stat : 8329 (java) S 8323 8325 7888 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155368498 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8330] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8330/stat : 8330 (java) S 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8331] ppid=8323 vsize=915460 CPUtime=0.24
/proc/8325/task/8331/stat : 8331 (java) S 8323 8325 7888 0 -1 64 398 0 0 0 23 1 0 0 16 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8332] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8332/stat : 8332 (java) S 8323 8325 7888 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8333] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8333/stat : 8333 (java) R 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 915460

[startup+522.889 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 8333
/proc/meminfo: memFree=1261152/2055920 swapFree=4192812/4192956
[pid=8325] ppid=8323 vsize=915460 CPUtime=522.06
/proc/8325/stat : 8325 (java) R 8323 8325 7888 0 -1 0 9569 0 102 0 52192 14 0 0 25 0 8 0 155368480 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336160 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8325/statm: 228865 9405 2513 14 0 215335 0
[pid=8325/tid=8327] ppid=8323 vsize=915460 CPUtime=0.03
/proc/8325/task/8327/stat : 8327 (java) S 8323 8325 7888 0 -1 64 413 0 0 0 3 0 0 0 16 0 8 0 155368497 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8328] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8328/stat : 8328 (java) S 8323 8325 7888 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155368498 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8329] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8329/stat : 8329 (java) S 8323 8325 7888 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155368498 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8330] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8330/stat : 8330 (java) S 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8331] ppid=8323 vsize=915460 CPUtime=0.24
/proc/8325/task/8331/stat : 8331 (java) S 8323 8325 7888 0 -1 64 398 0 0 0 23 1 0 0 16 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8332] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8332/stat : 8332 (java) S 8323 8325 7888 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8333] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8333/stat : 8333 (java) S 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 915460

[startup+582.986 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 8333
/proc/meminfo: memFree=1257824/2055920 swapFree=4192812/4192956
[pid=8325] ppid=8323 vsize=915460 CPUtime=582.11
/proc/8325/stat : 8325 (java) R 8323 8325 7888 0 -1 0 9569 0 102 0 58197 14 0 0 25 0 8 0 155368480 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073826032 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8325/statm: 228865 9405 2513 14 0 215335 0
[pid=8325/tid=8327] ppid=8323 vsize=915460 CPUtime=0.03
/proc/8325/task/8327/stat : 8327 (java) S 8323 8325 7888 0 -1 64 413 0 0 0 3 0 0 0 16 0 8 0 155368497 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8328] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8328/stat : 8328 (java) S 8323 8325 7888 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155368498 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8329] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8329/stat : 8329 (java) S 8323 8325 7888 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155368498 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8330] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8330/stat : 8330 (java) S 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8331] ppid=8323 vsize=915460 CPUtime=0.24
/proc/8325/task/8331/stat : 8331 (java) S 8323 8325 7888 0 -1 64 398 0 0 0 23 1 0 0 16 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8332] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8332/stat : 8332 (java) S 8323 8325 7888 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8333] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8333/stat : 8333 (java) S 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 915460

Child status: 0
Real time (s): 615.887
CPU time (s): 614.942
CPU user time (s): 614.788
CPU system time (s): 0.154976
CPU usage (%): 99.8467
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 614.788
system time used= 0.154976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9578
page faults= 102
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13827
involuntary context switches= 4465

runsolver used 0.671897 s user time and 2.06768 s system time

The end

Launcher Data (download as text)

Begin job on node44 on Sat Jan  6 07:48:14 UTC 2007


IDJOB= 195156
IDBENCH= 3252
FILE ID= node44/195156-1168069694

PBS_JOBID= 3475888

Free space on /tmp= 66536 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-43_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/195156-1168069694/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node44/watcher-195156-1168069694 -o ROOT/results/node44/solver-195156-1168069694 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/195156-1168069694/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  4d734d4951bba2ded06d16dc01fa3948

RANDOM SEED= 206063183

TIME LIMIT= 1800 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.213
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.213
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:       1365432 kB
Buffers:         18436 kB
Cached:         252204 kB
SwapCached:          0 kB
Active:         374968 kB
Inactive:       245864 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1365432 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2120 kB
Writeback:           0 kB
Mapped:         363840 kB
Slab:            54216 kB
Committed_AS:  3222928 kB
PageTables:       2708 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= 66536 MiB



End job on node44 on Sat Jan  6 07:58:30 UTC 2007