Trace number 196079

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 ACUNSAT 1745.68 1750.85

DiagnosticValue
CHECKS1295573841
NODES1043478

General information on the benchmark

Namerandom/rand-3-24-24/
rand-3-24-24-76-632-20_ext.xml
MD5SUM10e67cc455da19a1a190ecd6bc3f64d0
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark669.252
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables24
Number of constraints76
Maximum constraint arity3
Maximum domain size24
Number of constraints which are defined in extension76
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=mac.xml
0.36	   
0.36	   instance
0.36	     name=/tmp/evaluation/196079-1168070425/unknown.xml
0.39	   
0.39	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.43	     nbVariables=24  nbDomainTypes=1  minDomainSize=24  maxDomainSize=24
0.43	       =>  wckTime=0.1  cpuTime=0.09  mem=6M951
0.43	   
0.43	   relations being loaded...
1.08	   
1.08	   constraints being loaded...
1.37	     nbConstraints=76  nbRelationTypes=76  nbExtensionStructures=76  nbSharedExtensionStructures=0
1.37	     nbConflictsStructures=76  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=17  maxArity=3
1.37	       =>  wckTime=1.04  cpuTime=0.9  mem=50M840
1.49	   
1.49	   solver IterativeSystematicSolver being built... 
1.65	       =>  wckTime=1.33  cpuTime=1.04  mem=34M589
1.66	   
1.66	   preprocessing
1.66	     nbConstraintChecks=0  nbPropagations=24  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
1.66	     detectedInconsistency=no
1.66	       =>  wckTime=0.0040  cpuTime=0.0  mem=34M589
1.76	   
1.76	   search
1.76	     run=0  nbConstraintChecks=23372  nbValidityChecks=43445  nbPropagations=263  nbRevisions=2966
1.76	     nbUselessRevisions=2493  nbAssignments=28  nbFailedAssignments=13  nbBacktracks=11  nbVisitedNodes=47
1.77	     nbRestartNogoods=0  mapSize=7  nbInferences=0  nbTooLargeKeys=0
1.77	       =>  wckTime=0.106  cpuTime=0.07  mem=35M580
1.85	   
1.85	   search
1.85	     run=1  nbConstraintChecks=68542  nbValidityChecks=133861  nbPropagations=996  nbRevisions=11777
1.85	     nbUselessRevisions=9588  nbAssignments=70  nbFailedAssignments=35  nbBacktracks=26  nbVisitedNodes=120
1.85	     nbRestartNogoods=1  mapSize=18  nbInferences=0  nbTooLargeKeys=0
1.85	       =>  wckTime=0.19  cpuTime=0.14  mem=35M580
2.01	   
2.01	   search
2.01	     run=2  nbConstraintChecks=159536  nbValidityChecks=324303  nbPropagations=2679  nbRevisions=32249
2.01	     nbUselessRevisions=25815  nbAssignments=142  nbFailedAssignments=80  nbBacktracks=48  nbVisitedNodes=256
2.01	     nbRestartNogoods=12  mapSize=40  nbInferences=0  nbTooLargeKeys=0
2.01	       =>  wckTime=0.354  cpuTime=0.29  mem=35M580
2.19	   
2.19	   search
2.19	     run=3  nbConstraintChecks=273038  nbValidityChecks=547761  nbPropagations=5355  nbRevisions=65750
2.19	     nbUselessRevisions=52344  nbAssignments=230  nbFailedAssignments=130  nbBacktracks=81  nbVisitedNodes=414
2.19	     nbRestartNogoods=18  mapSize=69  nbInferences=0  nbTooLargeKeys=0
2.19	       =>  wckTime=0.529  cpuTime=0.46  mem=35M580
2.38	   
2.38	   search
2.38	     run=4  nbConstraintChecks=399633  nbValidityChecks=802874  nbPropagations=9411  nbRevisions=115788
2.38	     nbUselessRevisions=91801  nbAssignments=345  nbFailedAssignments=191  nbBacktracks=131  nbVisitedNodes=621
2.38	     nbRestartNogoods=25  mapSize=110  nbInferences=0  nbTooLargeKeys=0
2.38	       =>  wckTime=0.725  cpuTime=0.65  mem=35M580
2.90	   
2.90	   search
2.90	     run=5  nbConstraintChecks=757932  nbValidityChecks=1494111  nbPropagations=16351  nbRevisions=208396
2.90	     nbUselessRevisions=165586  nbAssignments=620  nbFailedAssignments=387  nbBacktracks=206  nbVisitedNodes=1156
2.90	     nbRestartNogoods=32  mapSize=184  nbInferences=0  nbTooLargeKeys=0
2.90	       =>  wckTime=1.242  cpuTime=1.16  mem=35M580
3.38	   
3.38	   search
3.38	     run=6  nbConstraintChecks=1082014  nbValidityChecks=2162988  nbPropagations=26763  nbRevisions=343952
3.38	     nbUselessRevisions=273032  nbAssignments=923  nbFailedAssignments=572  nbBacktracks=319  nbVisitedNodes=1711
3.38	     nbRestartNogoods=51  mapSize=281  nbInferences=0  nbTooLargeKeys=0
3.38	       =>  wckTime=1.719  cpuTime=1.63  mem=35M580
4.36	   
4.36	   search
4.36	     run=7  nbConstraintChecks=1751825  nbValidityChecks=3498804  nbPropagations=43245  nbRevisions=557287
4.36	     nbUselessRevisions=441519  nbAssignments=1446  nbFailedAssignments=920  nbBacktracks=491  nbVisitedNodes=2701
4.36	     nbRestartNogoods=63  mapSize=432  nbInferences=0  nbTooLargeKeys=0
4.36	       =>  wckTime=2.703  cpuTime=2.6  mem=35M580
5.36	   
5.36	   search
5.36	     run=8  nbConstraintChecks=2417081  nbValidityChecks=4829353  nbPropagations=66563  nbRevisions=856702
5.36	     nbUselessRevisions=677886  nbAssignments=2020  nbFailedAssignments=1233  nbBacktracks=747  nbVisitedNodes=3744
5.36	     nbRestartNogoods=71  mapSize=653  nbInferences=0  nbTooLargeKeys=0
5.36	       =>  wckTime=3.699  cpuTime=3.56  mem=35M580
7.03	   
7.03	   search
7.03	     run=9  nbConstraintChecks=3572608  nbValidityChecks=7199181  nbPropagations=102595  nbRevisions=1308331
7.03	     nbUselessRevisions=1033238  nbAssignments=3017  nbFailedAssignments=1842  nbBacktracks=1132  nbVisitedNodes=5601
7.03	     nbRestartNogoods=77  mapSize=1000  nbInferences=0  nbTooLargeKeys=0
7.03	       =>  wckTime=5.373  cpuTime=5.21  mem=35M580
7.10	   
7.10	   INFO : Stopping hyperNogood (mapSize=1013, nbTooLargekeys=0, mem=35M580)
9.38	   
9.38	   search
9.38	     run=10  nbConstraintChecks=5225212  nbValidityChecks=10505411  nbPropagations=155771  nbRevisions=1974671
9.38	     nbUselessRevisions=1558638  nbAssignments=4405  nbFailedAssignments=2649  nbBacktracks=1710  nbVisitedNodes=8165
9.38	     nbRestartNogoods=82
9.38	       =>  wckTime=7.725  cpuTime=7.53  mem=35M580
13.34	   
13.34	   search
13.35	     run=11  nbConstraintChecks=8021363  nbValidityChecks=16301188  nbPropagations=242183  nbRevisions=3041165
13.35	     nbUselessRevisions=2394437  nbAssignments=7027  nbFailedAssignments=4402  nbBacktracks=2574  nbVisitedNodes=13219
13.35	     nbRestartNogoods=85
13.35	       =>  wckTime=11.688  cpuTime=11.46  mem=35M580
18.16	   
18.16	   search
18.16	     run=12  nbConstraintChecks=11312144  nbValidityChecks=22846838  nbPropagations=363182  nbRevisions=4525460
18.16	     nbUselessRevisions=3559383  nbAssignments=9753  nbFailedAssignments=5825  nbBacktracks=3874  nbVisitedNodes=18175
18.16	     nbRestartNogoods=93
18.16	       =>  wckTime=16.502  cpuTime=16.23  mem=35M580
28.28	   
28.28	   search
28.28	     run=13  nbConstraintChecks=18486197  nbValidityChecks=36933221  nbPropagations=553621  nbRevisions=6887967
28.28	     nbUselessRevisions=5411628  nbAssignments=15127  nbFailedAssignments=9249  nbBacktracks=5820  nbVisitedNodes=28507
28.28	     nbRestartNogoods=106
28.28	       =>  wckTime=26.627  cpuTime=26.26  mem=35M580
41.54	   
41.54	   search
41.54	     run=14  nbConstraintChecks=27822355  nbValidityChecks=56233498  nbPropagations=846944  nbRevisions=10517985
41.54	     nbUselessRevisions=8263709  nbAssignments=23249  nbFailedAssignments=14446  nbBacktracks=8740  nbVisitedNodes=44111
41.54	     nbRestartNogoods=145
41.54	       =>  wckTime=39.886  cpuTime=39.33  mem=35M580
59.13	   
59.13	   search
59.13	     run=15  nbConstraintChecks=40063692  nbValidityChecks=80380563  nbPropagations=1262231  nbRevisions=15662870
59.13	     nbUselessRevisions=12307893  nbAssignments=32987  nbFailedAssignments=19801  nbBacktracks=13119
59.13	     nbVisitedNodes=61968  nbRestartNogoods=161
59.13	       =>  wckTime=57.471  cpuTime=56.71  mem=35M580
86.93	   
86.93	   search
86.93	     run=16  nbConstraintChecks=59431846  nbValidityChecks=119800245  nbPropagations=1883818  nbRevisions=23311927
86.93	     nbUselessRevisions=18322511  nbAssignments=49133  nbFailedAssignments=29374  nbBacktracks=19688
86.93	     nbVisitedNodes=92074  nbRestartNogoods=179
86.93	       =>  wckTime=85.277  cpuTime=84.23  mem=35M580
129.05	   
129.05	   search
129.05	     run=17  nbConstraintChecks=88482519  nbValidityChecks=177808591  nbPropagations=2792160  nbRevisions=34482252
129.05	     nbUselessRevisions=27121382  nbAssignments=71588  nbFailedAssignments=41972  nbBacktracks=29541
129.05	     nbVisitedNodes=133886  nbRestartNogoods=191
129.05	       =>  wckTime=127.389  cpuTime=125.91  mem=35M580
189.54	   
189.54	   search
189.54	     run=18  nbConstraintChecks=130797107  nbValidityChecks=263106122  nbPropagations=4127823  nbRevisions=50958285
189.54	     nbUselessRevisions=40113887  nbAssignments=106305  nbFailedAssignments=61907  nbBacktracks=44319
189.54	     nbVisitedNodes=198185  nbRestartNogoods=227
189.54	       =>  wckTime=187.886  cpuTime=185.85  mem=35M580
290.68	   
290.68	   search
290.68	     run=19  nbConstraintChecks=201487123  nbValidityChecks=408594477  nbPropagations=6222253  nbRevisions=76832684
290.68	     nbUselessRevisions=60512105  nbAssignments=167292  nbFailedAssignments=100722  nbBacktracks=66487
290.68	     nbVisitedNodes=314081  nbRestartNogoods=257
290.68	       =>  wckTime=289.024  cpuTime=286.07  mem=35M580
432.14	   
432.14	   search
432.14	     run=20  nbConstraintChecks=300404940  nbValidityChecks=607356961  nbPropagations=9316292  nbRevisions=115071376
432.14	     nbUselessRevisions=90631778  nbAssignments=245478  nbFailedAssignments=145651  nbBacktracks=99739
432.14	     nbVisitedNodes=458572  nbRestartNogoods=279
432.14	       =>  wckTime=430.48  cpuTime=426.25  mem=35M580
637.46	   
637.46	   search
637.46	     run=21  nbConstraintChecks=453393790  nbValidityChecks=914045886  nbPropagations=13850518  nbRevisions=172026395
637.46	     nbUselessRevisions=135665478  nbAssignments=374343  nbFailedAssignments=224633  nbBacktracks=149618
637.46	     nbVisitedNodes=700245  nbRestartNogoods=310
637.46	       =>  wckTime=635.799  cpuTime=630.87  mem=35M580
946.47	   
946.47	   search
946.47	     run=22  nbConstraintChecks=687116073  nbValidityChecks=1384241181  nbPropagations=20780731  nbRevisions=258686105
946.47	     nbUselessRevisions=204045868  nbAssignments=562714  nbFailedAssignments=338184  nbBacktracks=224436
946.47	     nbVisitedNodes=1052248  nbRestartNogoods=321
946.47	       =>  wckTime=944.809  cpuTime=939.8  mem=35M580
1400.51	   
1400.51	   search
1400.51	     run=23  nbConstraintChecks=1029611287  nbValidityChecks=2065431760  nbPropagations=31023429  nbRevisions=386851999
1400.51	     nbUselessRevisions=305174338  nbAssignments=831803  nbFailedAssignments=495042  nbBacktracks=336663
1400.51	     nbVisitedNodes=1550401  nbRestartNogoods=343
1400.51	       =>  wckTime=1398.853  cpuTime=1393.71  mem=35M580
1750.81	   
1750.81	   search
1750.81	     run=24  nbConstraintChecks=1295573841  nbValidityChecks=2595136999  nbPropagations=43868677  nbRevisions=547612344
1750.81	     nbUselessRevisions=431998735  nbAssignments=1043478  nbFailedAssignments=623427  nbBacktracks=419954
1750.81	     nbVisitedNodes=1946218  nbRestartNogoods=365
1750.81	       =>  wckTime=1749.156  cpuTime=1743.91  mem=35M580
1750.81	   
1750.81	   global
1750.81	     nbConstraintChecks=1295573841  nbValidityChecks=2595136999  nbPropagations=43868701  nbRevisions=547612344
1750.82	     nbUselessRevisions=431998735  nbRestartNogoods=365  solvingWckTime=1749.157  solvingCpuTime=1743.91  expiredTime=no
1750.82	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=1745.01
1750.82	       =>  wckTime=1750.49  cpuTime=1744.96  mem=35M580
1750.82	   
1750.82	s UNSATISFIABLE
1750.82	d NODES 1043478
1750.82	d CHECKS 1295573841
1750.82	   
1750.82	   totalWckTime=1750.571  totalCpuTime=1745.01

Verifier Data (download as text)

No possible verification on an UNSAT instance

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node39/watcher-196079-1168070425 -o ROOT/results/node39/solver-196079-1168070425 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196079-1168070425/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.93 2/80 17370
/proc/meminfo: memFree=1764136/2055920 swapFree=4192812/4192956
[pid=17369] ppid=17367 vsize=18540 CPUtime=0
/proc/17369/stat : 17369 (runsolver) R 17367 17369 17132 0 -1 4194368 17 0 0 0 0 0 0 0 24 0 1 0 155442215 18984960 279 18446744073709551615 4194304 4267372 548682068880 18446744073709551615 231493659943 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/17369/statm: 4635 279 244 17 0 2626 0

[startup+0.10248 s]
/proc/loadavg: 1.92 1.99 1.93 2/80 17370
/proc/meminfo: memFree=1764136/2055920 swapFree=4192812/4192956
[pid=17369] ppid=17367 vsize=913228 CPUtime=0.08
/proc/17369/stat : 17369 (java) S 17367 17369 17132 0 -1 0 2900 0 1 0 7 1 0 0 17 0 8 0 155442215 935145472 2646 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17369/statm: 228307 2646 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913228

[startup+0.510517 s]
/proc/loadavg: 1.92 1.99 1.93 2/80 17370
/proc/meminfo: memFree=1764136/2055920 swapFree=4192812/4192956
[pid=17369] ppid=17367 vsize=915328 CPUtime=0.48
/proc/17369/stat : 17369 (java) R 17367 17369 17132 0 -1 0 7284 0 1 0 45 3 0 0 18 0 8 0 155442215 937295872 7023 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073445331 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17369/statm: 228832 7023 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.3336 s]
/proc/loadavg: 1.92 1.99 1.93 3/87 17377
/proc/meminfo: memFree=1697008/2055920 swapFree=4192812/4192956
[pid=17369] ppid=17367 vsize=915328 CPUtime=1.29
/proc/17369/stat : 17369 (java) R 17367 17369 17132 0 -1 0 19114 0 1 0 121 8 0 0 25 0 8 0 155442215 937295872 18852 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4153379770 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17369/statm: 228832 18852 2160 14 0 215302 0
[pid=17369/tid=17371] ppid=17367 vsize=915328 CPUtime=0.05
/proc/17369/task/17371/stat : 17371 (java) S 17367 17369 17132 0 -1 64 2650 0 0 0 4 1 0 0 17 0 8 0 155442220 937295872 18852 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17372] ppid=17367 vsize=915328 CPUtime=0
/proc/17369/task/17372/stat : 17372 (java) S 17367 17369 17132 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155442220 937295872 18852 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17373] ppid=17367 vsize=915328 CPUtime=0
/proc/17369/task/17373/stat : 17373 (java) S 17367 17369 17132 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155442220 937295872 18852 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17374] ppid=17367 vsize=915328 CPUtime=0
/proc/17369/task/17374/stat : 17374 (java) S 17367 17369 17132 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155442223 937295872 18852 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17375] ppid=17367 vsize=915328 CPUtime=0.1
/proc/17369/task/17375/stat : 17375 (java) S 17367 17369 17132 0 -1 64 321 0 0 0 10 0 0 0 16 0 8 0 155442224 937295872 18852 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17376] ppid=17367 vsize=915328 CPUtime=0
/proc/17369/task/17376/stat : 17376 (java) S 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442224 937295872 18852 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17377] ppid=17367 vsize=915328 CPUtime=0
/proc/17369/task/17377/stat : 17377 (java) S 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442224 937295872 18852 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915328

[startup+2.99075 s]
/proc/loadavg: 1.92 1.99 1.93 3/87 17377
/proc/meminfo: memFree=1680496/2055920 swapFree=4192812/4192956
[pid=17369] ppid=17367 vsize=915420 CPUtime=2.94
/proc/17369/stat : 17369 (java) R 17367 17369 17132 0 -1 0 23550 0 1 0 283 11 0 0 25 0 8 0 155442215 937390080 23285 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073789939 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17369/statm: 228855 23285 2521 14 0 215325 0
[pid=17369/tid=17371] ppid=17367 vsize=915420 CPUtime=0.16
/proc/17369/task/17371/stat : 17371 (java) S 17367 17369 17132 0 -1 64 6584 0 0 0 14 2 0 0 17 0 8 0 155442220 937390080 23285 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17372] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17372/stat : 17372 (java) S 17367 17369 17132 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155442220 937390080 23285 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17373] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17373/stat : 17373 (java) S 17367 17369 17132 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442220 937390080 23285 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17374] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17374/stat : 17374 (java) S 17367 17369 17132 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155442223 937390080 23285 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17375] ppid=17367 vsize=915420 CPUtime=0.21
/proc/17369/task/17375/stat : 17375 (java) S 17367 17369 17132 0 -1 64 374 0 0 0 21 0 0 0 15 0 8 0 155442224 937390080 23285 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17376] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17376/stat : 17376 (java) S 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442224 937390080 23285 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17377] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17377/stat : 17377 (java) S 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442224 937390080 23285 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915420

[startup+6.27305 s]
/proc/loadavg: 1.93 1.99 1.93 3/87 17377
/proc/meminfo: memFree=1680368/2055920 swapFree=4192812/4192956
[pid=17369] ppid=17367 vsize=915420 CPUtime=6.19
/proc/17369/stat : 17369 (java) R 17367 17369 17132 0 -1 0 23567 0 1 0 608 11 0 0 25 0 8 0 155442215 937390080 23299 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073758099 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17369/statm: 228855 23299 2521 14 0 215325 0
[pid=17369/tid=17371] ppid=17367 vsize=915420 CPUtime=0.16
/proc/17369/task/17371/stat : 17371 (java) S 17367 17369 17132 0 -1 64 6584 0 0 0 14 2 0 0 17 0 8 0 155442220 937390080 23299 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17372] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17372/stat : 17372 (java) S 17367 17369 17132 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155442220 937390080 23299 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17373] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17373/stat : 17373 (java) S 17367 17369 17132 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442220 937390080 23299 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17374] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17374/stat : 17374 (java) S 17367 17369 17132 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155442223 937390080 23299 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17375] ppid=17367 vsize=915420 CPUtime=0.24
/proc/17369/task/17375/stat : 17375 (java) S 17367 17369 17132 0 -1 64 389 0 0 0 24 0 0 0 16 0 8 0 155442224 937390080 23299 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17376] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17376/stat : 17376 (java) S 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442224 937390080 23299 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17377] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17377/stat : 17377 (java) S 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442224 937390080 23299 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915420

[startup+12.7676 s]
/proc/loadavg: 1.94 1.99 1.93 3/87 17377
/proc/meminfo: memFree=1680560/2055920 swapFree=4192812/4192956
[pid=17369] ppid=17367 vsize=915420 CPUtime=12.62
/proc/17369/stat : 17369 (java) R 17367 17369 17132 0 -1 0 23571 0 1 0 1251 11 0 0 25 0 8 0 155442215 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073632938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17369/statm: 228855 23302 2521 14 0 215325 0
[pid=17369/tid=17371] ppid=17367 vsize=915420 CPUtime=0.16
/proc/17369/task/17371/stat : 17371 (java) S 17367 17369 17132 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17372] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17372/stat : 17372 (java) S 17367 17369 17132 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17373] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17373/stat : 17373 (java) S 17367 17369 17132 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17374] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17374/stat : 17374 (java) S 17367 17369 17132 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155442223 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17375] ppid=17367 vsize=915420 CPUtime=0.25
/proc/17369/task/17375/stat : 17375 (java) S 17367 17369 17132 0 -1 64 393 0 0 0 25 0 0 0 16 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17376] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17376/stat : 17376 (java) S 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17377] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17377/stat : 17377 (java) S 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915420

[startup+25.6208 s]
/proc/loadavg: 1.95 1.99 1.93 3/87 17377
/proc/meminfo: memFree=1680688/2055920 swapFree=4192812/4192956
[pid=17369] ppid=17367 vsize=915420 CPUtime=25.36
/proc/17369/stat : 17369 (java) R 17367 17369 17132 0 -1 0 23571 0 1 0 2525 11 0 0 25 0 8 0 155442215 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073627959 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17369/statm: 228855 23302 2521 14 0 215325 0
[pid=17369/tid=17371] ppid=17367 vsize=915420 CPUtime=0.16
/proc/17369/task/17371/stat : 17371 (java) S 17367 17369 17132 0 -1 64 6584 0 0 0 14 2 0 0 17 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17372] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17372/stat : 17372 (java) S 17367 17369 17132 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17373] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17373/stat : 17373 (java) S 17367 17369 17132 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17374] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17374/stat : 17374 (java) S 17367 17369 17132 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155442223 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17375] ppid=17367 vsize=915420 CPUtime=0.25
/proc/17369/task/17375/stat : 17375 (java) S 17367 17369 17132 0 -1 64 393 0 0 0 25 0 0 0 16 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17376] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17376/stat : 17376 (java) S 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17377] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17377/stat : 17377 (java) S 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915420

[startup+51.2542 s]
/proc/loadavg: 1.96 1.99 1.93 3/93 17459
/proc/meminfo: memFree=1679408/2055920 swapFree=4192812/4192956
[pid=17369] ppid=17367 vsize=915420 CPUtime=50.67
/proc/17369/stat : 17369 (java) R 17367 17369 17132 0 -1 0 23572 0 1 0 5056 11 0 0 25 0 8 0 155442215 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073901588 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17369/statm: 228855 23302 2521 14 0 215325 0
[pid=17369/tid=17371] ppid=17367 vsize=915420 CPUtime=0.16
/proc/17369/task/17371/stat : 17371 (java) S 17367 17369 17132 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17372] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17372/stat : 17372 (java) S 17367 17369 17132 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17373] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17373/stat : 17373 (java) S 17367 17369 17132 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17374] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17374/stat : 17374 (java) S 17367 17369 17132 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155442223 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17375] ppid=17367 vsize=915420 CPUtime=0.25
/proc/17369/task/17375/stat : 17375 (java) S 17367 17369 17132 0 -1 64 393 0 0 0 25 0 0 0 16 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17376] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17376/stat : 17376 (java) S 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17377] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17377/stat : 17377 (java) S 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 915420

[startup+102.522 s]
/proc/loadavg: 1.98 1.99 1.93 3/93 17535
/proc/meminfo: memFree=1679480/2055920 swapFree=4192812/4192956
[pid=17369] ppid=17367 vsize=915420 CPUtime=101.4
/proc/17369/stat : 17369 (java) R 17367 17369 17132 0 -1 0 23572 0 1 0 10129 11 0 0 25 0 8 0 155442215 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17369/statm: 228855 23302 2521 14 0 215325 0
[pid=17369/tid=17371] ppid=17367 vsize=915420 CPUtime=0.16
/proc/17369/task/17371/stat : 17371 (java) S 17367 17369 17132 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17372] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17372/stat : 17372 (java) S 17367 17369 17132 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17373] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17373/stat : 17373 (java) S 17367 17369 17132 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17374] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17374/stat : 17374 (java) S 17367 17369 17132 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155442223 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17375] ppid=17367 vsize=915420 CPUtime=0.25
/proc/17369/task/17375/stat : 17375 (java) S 17367 17369 17132 0 -1 64 393 0 0 0 25 0 0 0 16 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17376] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17376/stat : 17376 (java) S 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17377] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17377/stat : 17377 (java) S 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.4
Current children cumulated vsize (KiB) 915420

[startup+162.532 s]
/proc/loadavg: 1.99 1.99 1.93 3/87 17575
/proc/meminfo: memFree=1680368/2055920 swapFree=4192812/4192956
[pid=17369] ppid=17367 vsize=915420 CPUtime=160.82
/proc/17369/stat : 17369 (java) R 17367 17369 17132 0 -1 0 23572 0 1 0 16070 12 0 0 25 0 8 0 155442215 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073764652 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

/proc/17369/task/17374/stat : 17374 (java) S 17367 17369 17132 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155442223 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17375] ppid=17367 vsize=915420 CPUtime=0.25
/proc/17369/task/17375/stat : 17375 (java) S 17367 17369 17132 0 -1 64 393 0 0 0 25 0 0 0 16 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17376] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17376/stat : 17376 (java) S 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17377] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17377/stat : 17377 (java) S 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1298.19
Current children cumulated vsize (KiB) 915420

[startup+1363.24 s]
/proc/loadavg: 1.00 1.04 1.34 2/72 17703
/proc/meminfo: memFree=1713544/2055920 swapFree=4192812/4192956
[pid=17369] ppid=17367 vsize=915420 CPUtime=1358.18
/proc/17369/stat : 17369 (java) R 17367 17369 17132 0 -1 0 23572 0 1 0 135799 19 0 0 25 0 8 0 155442215 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17369/statm: 228855 23302 2521 14 0 215325 0
[pid=17369/tid=17371] ppid=17367 vsize=915420 CPUtime=0.16
/proc/17369/task/17371/stat : 17371 (java) S 17367 17369 17132 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17372] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17372/stat : 17372 (java) S 17367 17369 17132 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17373] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17373/stat : 17373 (java) S 17367 17369 17132 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17374] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17374/stat : 17374 (java) S 17367 17369 17132 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155442223 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17375] ppid=17367 vsize=915420 CPUtime=0.25
/proc/17369/task/17375/stat : 17375 (java) S 17367 17369 17132 0 -1 64 393 0 0 0 25 0 0 0 16 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17376] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17376/stat : 17376 (java) S 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17377] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17377/stat : 17377 (java) S 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1358.18
Current children cumulated vsize (KiB) 915420

[startup+1423.25 s]
/proc/loadavg: 1.00 1.03 1.32 2/72 17703
/proc/meminfo: memFree=1713544/2055920 swapFree=4192812/4192956
[pid=17369] ppid=17367 vsize=915420 CPUtime=1418.17
/proc/17369/stat : 17369 (java) R 17367 17369 17132 0 -1 0 23572 0 1 0 141798 19 0 0 25 0 8 0 155442215 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073758099 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17369/statm: 228855 23302 2521 14 0 215325 0
[pid=17369/tid=17371] ppid=17367 vsize=915420 CPUtime=0.16
/proc/17369/task/17371/stat : 17371 (java) S 17367 17369 17132 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17372] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17372/stat : 17372 (java) S 17367 17369 17132 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17373] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17373/stat : 17373 (java) S 17367 17369 17132 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17374] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17374/stat : 17374 (java) S 17367 17369 17132 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155442223 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17375] ppid=17367 vsize=915420 CPUtime=0.25
/proc/17369/task/17375/stat : 17375 (java) S 17367 17369 17132 0 -1 64 393 0 0 0 25 0 0 0 16 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17376] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17376/stat : 17376 (java) S 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17377] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17377/stat : 17377 (java) S 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1418.17
Current children cumulated vsize (KiB) 915420

[startup+1483.25 s]
/proc/loadavg: 1.00 1.02 1.29 2/72 17703
/proc/meminfo: memFree=1713544/2055920 swapFree=4192812/4192956
[pid=17369] ppid=17367 vsize=915420 CPUtime=1478.16
/proc/17369/stat : 17369 (java) R 17367 17369 17132 0 -1 0 23572 0 1 0 147797 19 0 0 25 0 8 0 155442215 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073763411 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17369/statm: 228855 23302 2521 14 0 215325 0
[pid=17369/tid=17371] ppid=17367 vsize=915420 CPUtime=0.16
/proc/17369/task/17371/stat : 17371 (java) S 17367 17369 17132 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17372] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17372/stat : 17372 (java) S 17367 17369 17132 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17373] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17373/stat : 17373 (java) S 17367 17369 17132 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17374] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17374/stat : 17374 (java) S 17367 17369 17132 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155442223 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17375] ppid=17367 vsize=915420 CPUtime=0.25
/proc/17369/task/17375/stat : 17375 (java) S 17367 17369 17132 0 -1 64 393 0 0 0 25 0 0 0 16 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17376] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17376/stat : 17376 (java) S 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17377] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17377/stat : 17377 (java) S 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1478.16
Current children cumulated vsize (KiB) 915420

[startup+1543.26 s]
/proc/loadavg: 1.00 1.02 1.27 2/72 17703
/proc/meminfo: memFree=1713544/2055920 swapFree=4192812/4192956
[pid=17369] ppid=17367 vsize=915420 CPUtime=1538.15
/proc/17369/stat : 17369 (java) R 17367 17369 17132 0 -1 0 23572 0 1 0 153796 19 0 0 25 0 8 0 155442215 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073761486 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17369/statm: 228855 23302 2521 14 0 215325 0
[pid=17369/tid=17371] ppid=17367 vsize=915420 CPUtime=0.16
/proc/17369/task/17371/stat : 17371 (java) S 17367 17369 17132 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17372] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17372/stat : 17372 (java) S 17367 17369 17132 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17373] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17373/stat : 17373 (java) S 17367 17369 17132 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17374] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17374/stat : 17374 (java) S 17367 17369 17132 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155442223 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17375] ppid=17367 vsize=915420 CPUtime=0.25
/proc/17369/task/17375/stat : 17375 (java) S 17367 17369 17132 0 -1 64 393 0 0 0 25 0 0 0 16 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17376] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17376/stat : 17376 (java) S 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17377] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17377/stat : 17377 (java) S 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1538.15
Current children cumulated vsize (KiB) 915420

[startup+1603.27 s]
/proc/loadavg: 1.00 1.01 1.25 2/72 17703
/proc/meminfo: memFree=1713480/2055920 swapFree=4192812/4192956
[pid=17369] ppid=17367 vsize=915420 CPUtime=1598.15
/proc/17369/stat : 17369 (java) R 17367 17369 17132 0 -1 0 23572 0 1 0 159795 20 0 0 25 0 8 0 155442215 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073766571 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17369/statm: 228855 23302 2521 14 0 215325 0
[pid=17369/tid=17371] ppid=17367 vsize=915420 CPUtime=0.16
/proc/17369/task/17371/stat : 17371 (java) S 17367 17369 17132 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17372] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17372/stat : 17372 (java) S 17367 17369 17132 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17373] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17373/stat : 17373 (java) S 17367 17369 17132 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17374] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17374/stat : 17374 (java) S 17367 17369 17132 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155442223 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17375] ppid=17367 vsize=915420 CPUtime=0.25
/proc/17369/task/17375/stat : 17375 (java) S 17367 17369 17132 0 -1 64 393 0 0 0 25 0 0 0 16 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17376] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17376/stat : 17376 (java) S 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17377] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17377/stat : 17377 (java) S 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1598.15
Current children cumulated vsize (KiB) 915420

[startup+1663.28 s]
/proc/loadavg: 1.00 1.01 1.24 2/72 17703
/proc/meminfo: memFree=1713480/2055920 swapFree=4192812/4192956
[pid=17369] ppid=17367 vsize=915420 CPUtime=1658.14
/proc/17369/stat : 17369 (java) R 17367 17369 17132 0 -1 0 23572 0 1 0 165794 20 0 0 25 0 8 0 155442215 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073758089 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17369/statm: 228855 23302 2521 14 0 215325 0
[pid=17369/tid=17371] ppid=17367 vsize=915420 CPUtime=0.16
/proc/17369/task/17371/stat : 17371 (java) S 17367 17369 17132 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17372] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17372/stat : 17372 (java) S 17367 17369 17132 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17373] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17373/stat : 17373 (java) S 17367 17369 17132 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17374] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17374/stat : 17374 (java) S 17367 17369 17132 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155442223 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17375] ppid=17367 vsize=915420 CPUtime=0.25
/proc/17369/task/17375/stat : 17375 (java) S 17367 17369 17132 0 -1 64 393 0 0 0 25 0 0 0 16 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17376] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17376/stat : 17376 (java) S 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17377] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17377/stat : 17377 (java) R 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1658.14
Current children cumulated vsize (KiB) 915420

[startup+1723.29 s]
/proc/loadavg: 1.00 1.00 1.22 2/72 17703
/proc/meminfo: memFree=1713480/2055920 swapFree=4192812/4192956
[pid=17369] ppid=17367 vsize=915420 CPUtime=1718.13
/proc/17369/stat : 17369 (java) R 17367 17369 17132 0 -1 0 23572 0 1 0 171793 20 0 0 25 0 8 0 155442215 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073761533 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17369/statm: 228855 23302 2521 14 0 215325 0
[pid=17369/tid=17371] ppid=17367 vsize=915420 CPUtime=0.16
/proc/17369/task/17371/stat : 17371 (java) S 17367 17369 17132 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17372] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17372/stat : 17372 (java) S 17367 17369 17132 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17373] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17373/stat : 17373 (java) S 17367 17369 17132 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17374] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17374/stat : 17374 (java) S 17367 17369 17132 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155442223 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17375] ppid=17367 vsize=915420 CPUtime=0.25
/proc/17369/task/17375/stat : 17375 (java) S 17367 17369 17132 0 -1 64 393 0 0 0 25 0 0 0 16 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17376] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17376/stat : 17376 (java) S 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17377] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17377/stat : 17377 (java) S 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1718.13
Current children cumulated vsize (KiB) 915420

Child status: 0
Real time (s): 1750.85
CPU time (s): 1745.68
CPU user time (s): 1745.46
CPU system time (s): 0.219966
CPU usage (%): 99.7048
Max. virtual memory (cumulated for all children) (KiB): 915420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1745.46
system time used= 0.219966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23579
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 36531
involuntary context switches= 24654

runsolver used 1.80272 s user time and 4.85926 s system time

The end

Launcher Data (download as text)

Begin job on node39 on Sat Jan  6 08:00:26 UTC 2007


IDJOB= 196079
IDBENCH= 3324
FILE ID= node39/196079-1168070425

PBS_JOBID= 3475681

Free space on /tmp= 66527 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-20_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196079-1168070425/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node39/watcher-196079-1168070425 -o ROOT/results/node39/solver-196079-1168070425 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196079-1168070425/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  10e67cc455da19a1a190ecd6bc3f64d0

RANDOM SEED= 226168851

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.236
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.236
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:       1764552 kB
Buffers:         23048 kB
Cached:         148652 kB
SwapCached:          0 kB
Active:          78652 kB
Inactive:       141356 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1764552 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4584 kB
Writeback:           0 kB
Mapped:          68496 kB
Slab:            56668 kB
Committed_AS:  3698760 kB
PageTables:       1880 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= 66529 MiB



End job on node39 on Sat Jan  6 08:29:37 UTC 2007