Trace number 242463

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 323.131 323.456

DiagnosticValue
CHECKS143486605
NODES5382235

General information on the benchmark

Namedimacs/
varDimacs/hole-09_ext.xml
MD5SUMd5da3df80be5404049f56cc2bde28776
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 benchmark1.3398
SatisfiableNO
(Un)Satisfiability was proved
Number of variables90
Number of constraints415
Maximum constraint arity9
Maximum domain size2
Number of constraints which are defined in extension415
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.44	   
0.44	Abscon 109 (November, 2006)
0.44	   
0.44	   configuration
0.44	     name=mac.xml
0.50	   
0.50	   instance
0.50	     name=/tmp/evaluation/242463-1168085521/unknown.xml
0.52	   
0.52	   domains being loaded...
0.53	   
0.53	   variables being loaded...
0.56	     nbVariables=90  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.56	       =>  wckTime=0.115  cpuTime=0.08  mem=6M951
0.56	   
0.56	   relations being loaded...
0.56	   
0.56	   constraints being loaded...
0.68	     nbConstraints=415  nbRelationTypes=2  nbExtensionStructures=2  nbSharedExtensionStructures=413
0.68	     nbConflictsStructures=2  nbSharedConflictsStructures=413  nbSharedBinaryRepresentations=2  maxDegree=10  maxArity=9
0.68	       =>  wckTime=0.242  cpuTime=0.16  mem=8M918
0.72	   
0.72	   solver IterativeSystematicSolver being built... 
0.88	       =>  wckTime=0.435  cpuTime=0.29  mem=14M611
0.89	   
0.89	   preprocessing
0.89	     nbConstraintChecks=0  nbPropagations=90  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
0.89	     detectedInconsistency=no
0.89	       =>  wckTime=0.0070  cpuTime=0.0  mem=14M611
0.93	   
0.93	   search
0.93	     run=0  nbConstraintChecks=847  nbPropagations=187  nbRevisions=557  nbUselessRevisions=493  nbAssignments=78
0.93	     nbFailedAssignments=1  nbBacktracks=10  nbVisitedNodes=81  nbRestartNogoods=0  mapSize=1  nbInferences=0
0.93	     nbTooLargeKeys=0
0.93	       =>  wckTime=0.047  cpuTime=0.02  mem=15M619
0.94	   
0.94	   search
0.94	     run=1  nbConstraintChecks=1833  nbValidityChecks=25  nbPropagations=501  nbRevisions=1774  nbUselessRevisions=1547
0.94	     nbAssignments=163  nbFailedAssignments=4  nbBacktracks=30  nbVisitedNodes=172  nbRestartNogoods=1  mapSize=6
0.94	     nbInferences=0  nbTooLargeKeys=0
0.94	       =>  wckTime=0.061  cpuTime=0.04  mem=15M619
0.95	   
0.95	   search
0.95	     run=2  nbConstraintChecks=3005  nbValidityChecks=106  nbPropagations=990  nbRevisions=3792  nbUselessRevisions=3253
0.95	     nbAssignments=262  nbFailedAssignments=8  nbBacktracks=60  nbVisitedNodes=282  nbRestartNogoods=2  mapSize=15
0.95	     nbInferences=0  nbTooLargeKeys=0
0.95	       =>  wckTime=0.074  cpuTime=0.05  mem=15M619
0.97	   
0.97	   search
0.97	     run=3  nbConstraintChecks=4237  nbValidityChecks=158  nbPropagations=1671  nbRevisions=6645
0.97	     nbUselessRevisions=5624  nbAssignments=364  nbFailedAssignments=13  nbBacktracks=96  nbVisitedNodes=397
0.97	     nbRestartNogoods=4  mapSize=27  nbInferences=0  nbTooLargeKeys=0
0.97	       =>  wckTime=0.087  cpuTime=0.06  mem=15M619
0.98	   
0.98	   search
0.98	     run=4  nbConstraintChecks=5755  nbValidityChecks=275  nbPropagations=2620  nbRevisions=10533
0.99	     nbUselessRevisions=8781  nbAssignments=486  nbFailedAssignments=20  nbBacktracks=150  nbVisitedNodes=538
0.99	     nbRestartNogoods=5  mapSize=44  nbInferences=0  nbTooLargeKeys=0
0.99	       =>  wckTime=0.105  cpuTime=0.07  mem=15M619
1.00	   
1.00	   search
1.00	     run=5  nbConstraintChecks=7582  nbValidityChecks=435  nbPropagations=3921  nbRevisions=15671
1.00	     nbUselessRevisions=12859  nbAssignments=634  nbFailedAssignments=29  nbBacktracks=226  nbVisitedNodes=710
1.00	     nbRestartNogoods=7  mapSize=66  nbInferences=1  nbTooLargeKeys=0
1.00	       =>  wckTime=0.124  cpuTime=0.09  mem=15M619
1.03	   
1.03	   search
1.03	     run=6  nbConstraintChecks=10426  nbValidityChecks=755  nbPropagations=5795  nbRevisions=22908
1.03	     nbUselessRevisions=18439  nbAssignments=822  nbFailedAssignments=46  nbBacktracks=345  nbVisitedNodes=945
1.03	     nbRestartNogoods=9  mapSize=111  nbInferences=1  nbTooLargeKeys=0
1.03	       =>  wckTime=0.152  cpuTime=0.11  mem=15M619
1.06	   
1.06	   search
1.06	     run=7  nbConstraintChecks=13664  nbValidityChecks=1104  nbPropagations=8353  nbRevisions=32564
1.06	     nbUselessRevisions=25742  nbAssignments=1074  nbFailedAssignments=63  nbBacktracks=516  nbVisitedNodes=1250
1.06	     nbRestartNogoods=10  mapSize=162  nbInferences=6  nbTooLargeKeys=0
1.06	       =>  wckTime=0.177  cpuTime=0.13  mem=15M619
1.10	   
1.10	   search
1.10	     run=8  nbConstraintChecks=19383  nbValidityChecks=1751  nbPropagations=12210  nbRevisions=46502
1.10	     nbUselessRevisions=35905  nbAssignments=1425  nbFailedAssignments=88  nbBacktracks=777  nbVisitedNodes=1701
1.10	     nbRestartNogoods=12  mapSize=258  nbInferences=8  nbTooLargeKeys=0
1.10	       =>  wckTime=0.217  cpuTime=0.16  mem=15M619
1.15	   
1.15	   search
1.15	     run=9  nbConstraintChecks=26350  nbValidityChecks=2557  nbPropagations=17619  nbRevisions=65749
1.15	     nbUselessRevisions=49664  nbAssignments=1921  nbFailedAssignments=126  nbBacktracks=1173  nbVisitedNodes=2322
1.15	     nbRestartNogoods=15  mapSize=380  nbInferences=11  nbTooLargeKeys=0
1.15	       =>  wckTime=0.275  cpuTime=0.2  mem=15M619
1.21	   
1.21	   search
1.21	     run=10  nbConstraintChecks=37365  nbValidityChecks=3694  nbPropagations=25447  nbRevisions=93454
1.21	     nbUselessRevisions=69186  nbAssignments=2623  nbFailedAssignments=190  nbBacktracks=1749  nbVisitedNodes=3216
1.21	     nbRestartNogoods=18  mapSize=570  nbInferences=14  nbTooLargeKeys=0
1.21	       =>  wckTime=0.336  cpuTime=0.25  mem=15M619
1.28	   
1.28	   search
1.28	     run=11  nbConstraintChecks=55856  nbValidityChecks=5923  nbPropagations=37778  nbRevisions=135608
1.28	     nbUselessRevisions=98238  nbAssignments=3643  nbFailedAssignments=266  nbBacktracks=2627  nbVisitedNodes=4515
1.28	     nbRestartNogoods=20  mapSize=847  nbInferences=25  nbTooLargeKeys=0
1.28	       =>  wckTime=0.403  cpuTime=0.32  mem=15M619
1.38	   
1.38	   search
1.38	     run=12  nbConstraintChecks=82761  nbValidityChecks=8701  nbPropagations=56098  nbRevisions=198778
1.38	     nbUselessRevisions=141564  nbAssignments=5160  nbFailedAssignments=412  nbBacktracks=3926  nbVisitedNodes=6471
1.38	     nbRestartNogoods=22  mapSize=1283  nbInferences=34  nbTooLargeKeys=0
1.38	       =>  wckTime=0.5  cpuTime=0.41  mem=15M619
1.52	   
1.52	   search
1.52	     run=13  nbConstraintChecks=136049  nbValidityChecks=13814  nbPropagations=85146  nbRevisions=304601
1.52	     nbUselessRevisions=215016  nbAssignments=7387  nbFailedAssignments=608  nbBacktracks=5883  nbVisitedNodes=9422
1.52	     nbRestartNogoods=25  mapSize=2004  nbInferences=55  nbTooLargeKeys=0
1.52	       =>  wckTime=0.646  cpuTime=0.56  mem=16M594
1.74	   
1.74	   search
1.74	     run=14  nbConstraintChecks=214168  nbValidityChecks=19683  nbPropagations=127768  nbRevisions=474786
1.74	     nbUselessRevisions=337458  nbAssignments=10720  nbFailedAssignments=931  nbBacktracks=8806  nbVisitedNodes=13706
1.74	     nbRestartNogoods=28  mapSize=2951  nbInferences=87  nbTooLargeKeys=0
1.74	       =>  wckTime=0.857  cpuTime=0.77  mem=16M594
2.05	   
2.05	   search
2.05	     run=15  nbConstraintChecks=314486  nbValidityChecks=29183  nbPropagations=191197  nbRevisions=724932
2.05	     nbUselessRevisions=516179  nbAssignments=15634  nbFailedAssignments=1343  nbBacktracks=13198  nbVisitedNodes=20032
2.05	     nbRestartNogoods=32  mapSize=4360  nbInferences=137  nbTooLargeKeys=0
2.05	       =>  wckTime=1.175  cpuTime=1.08  mem=17M569
2.52	   
2.52	   search
2.52	     run=16  nbConstraintChecks=456737  nbValidityChecks=42273  nbPropagations=283203  nbRevisions=1088130
2.52	     nbUselessRevisions=775223  nbAssignments=23065  nbFailedAssignments=1966  nbBacktracks=19770  nbVisitedNodes=29617
2.52	     nbRestartNogoods=35  mapSize=6509  nbInferences=307  nbTooLargeKeys=0
2.52	       =>  wckTime=1.64  cpuTime=1.55  mem=17M569
3.20	   
3.20	   search
3.20	     run=17  nbConstraintChecks=707640  nbValidityChecks=63122  nbPropagations=421537  nbRevisions=1657756
3.20	     nbUselessRevisions=1188240  nbAssignments=34110  nbFailedAssignments=2906  nbBacktracks=29629  nbVisitedNodes=43541
3.20	     nbRestartNogoods=40  mapSize=9385  nbInferences=505  nbTooLargeKeys=0
3.20	       =>  wckTime=2.319  cpuTime=2.22  mem=19M520
4.24	   
4.24	   search
4.24	     run=18  nbConstraintChecks=1061183  nbValidityChecks=96671  nbPropagations=633196  nbRevisions=2512501
4.24	     nbUselessRevisions=1803761  nbAssignments=50640  nbFailedAssignments=4236  nbBacktracks=44417  nbVisitedNodes=64619
4.24	     nbRestartNogoods=43  mapSize=13929  nbInferences=856  nbTooLargeKeys=0
4.24	       =>  wckTime=3.36  cpuTime=3.26  mem=21M470
5.80	   
5.80	   search
5.80	     run=19  nbConstraintChecks=1568273  nbValidityChecks=145134  nbPropagations=953014  nbRevisions=3772218
5.80	     nbUselessRevisions=2702619  nbAssignments=75223  nbFailedAssignments=5983  nbBacktracks=66589  nbVisitedNodes=95837
5.80	     nbRestartNogoods=47  mapSize=20561  nbInferences=1470  nbTooLargeKeys=0
5.80	       =>  wckTime=4.922  cpuTime=4.83  mem=24M395
8.15	   
8.15	   search
8.15	     run=20  nbConstraintChecks=2351396  nbValidityChecks=223394  nbPropagations=1440304  nbRevisions=5657006
8.15	     nbUselessRevisions=4035306  nbAssignments=112094  nbFailedAssignments=8906  nbBacktracks=99843
8.15	     nbVisitedNodes=143216  nbRestartNogoods=50  mapSize=31065  nbInferences=2106  nbTooLargeKeys=0
8.15	       =>  wckTime=7.273  cpuTime=7.17  mem=28M558
11.56	   
11.56	   search
11.56	     run=21  nbConstraintChecks=3559057  nbValidityChecks=346248  nbPropagations=2179891  nbRevisions=8512156
11.56	     nbUselessRevisions=6048244  nbAssignments=167442  nbFailedAssignments=13322  nbBacktracks=149729
11.56	     nbVisitedNodes=214412  nbRestartNogoods=54  mapSize=46908  nbInferences=3092  nbTooLargeKeys=0
11.56	       =>  wckTime=10.681  cpuTime=10.57  mem=35M385
16.75	   
16.75	   search
16.75	     run=22  nbConstraintChecks=5347413  nbValidityChecks=514434  nbPropagations=3279703  nbRevisions=12804754
16.75	     nbUselessRevisions=9083382  nbAssignments=250358  nbFailedAssignments=19456  nbBacktracks=224554
16.75	     nbVisitedNodes=320294  nbRestartNogoods=59  mapSize=69869  nbInferences=4991  nbTooLargeKeys=0
16.75	       =>  wckTime=15.87  cpuTime=15.76  mem=45M661
24.53	   
24.53	   search
24.53	     run=23  nbConstraintChecks=8146963  nbValidityChecks=768367  nbPropagations=4921024  nbRevisions=19361132
24.53	     nbUselessRevisions=13755390  nbAssignments=374858  nbFailedAssignments=28366  nbBacktracks=336782
24.53	     nbVisitedNodes=478950  nbRestartNogoods=64  mapSize=104020  nbInferences=8298  nbTooLargeKeys=0
24.53	       =>  wckTime=23.647  cpuTime=23.43  mem=27M153
35.88	   
35.88	   search
35.88	     run=24  nbConstraintChecks=12421838  nbValidityChecks=1152738  nbPropagations=7384290  nbRevisions=29385435
35.88	     nbUselessRevisions=20947709  nbAssignments=561061  nbFailedAssignments=41513  nbBacktracks=505125
35.88	     nbVisitedNodes=715386  nbRestartNogoods=69  mapSize=154250  nbInferences=12967  nbTooLargeKeys=0
35.88	       =>  wckTime=34.997  cpuTime=34.78  mem=49M807
53.17	   
53.17	   search
53.17	     run=25  nbConstraintChecks=19028119  nbValidityChecks=1754073  nbPropagations=11103689  nbRevisions=44772960
53.17	     nbUselessRevisions=32038512  nbAssignments=839519  nbFailedAssignments=61904  nbBacktracks=757644
53.17	     nbVisitedNodes=1072367  nbRestartNogoods=72  mapSize=232770  nbInferences=18457  nbTooLargeKeys=0
53.17	       =>  wckTime=52.296  cpuTime=51.89  mem=54M862
78.78	   
78.78	   search
78.78	     run=26  nbConstraintChecks=29551300  nbValidityChecks=2670524  nbPropagations=16748335  nbRevisions=68725753
78.78	     nbUselessRevisions=49427723  nbAssignments=1257928  nbFailedAssignments=91879  nbBacktracks=1136424
78.78	     nbVisitedNodes=1611497  nbRestartNogoods=75  mapSize=353487  nbInferences=28053  nbTooLargeKeys=0
78.78	       =>  wckTime=77.906  cpuTime=77.28  mem=76M258
116.52	   
116.52	   search
116.52	     run=27  nbConstraintChecks=45533695  nbValidityChecks=4006633  nbPropagations=25211404  nbRevisions=105758362
116.52	     nbUselessRevisions=76568192  nbAssignments=1883699  nbFailedAssignments=137795  nbBacktracks=1704591
116.52	     nbVisitedNodes=2410958  nbRestartNogoods=79  mapSize=527174  nbInferences=39696  nbTooLargeKeys=0
116.52	       =>  wckTime=115.641  cpuTime=114.62  mem=102M611
172.71	   
172.71	   search
172.71	     run=28  nbConstraintChecks=70532960  nbValidityChecks=6030138  nbPropagations=37950718  nbRevisions=163242564
172.71	     nbUselessRevisions=119046792  nbAssignments=2820039  nbFailedAssignments=206636  nbBacktracks=2556820
172.71	     nbVisitedNodes=3616310  nbRestartNogoods=82  mapSize=796181  nbInferences=54907  nbTooLargeKeys=0
172.71	       =>  wckTime=171.83  cpuTime=170.2  mem=143M16
254.90	   
254.90	   search
254.90	     run=29  nbConstraintChecks=108994183  nbValidityChecks=8888604  nbPropagations=56858326  nbRevisions=252436109
254.90	     nbUselessRevisions=185837407  nbAssignments=4217703  nbFailedAssignments=307250  nbBacktracks=3835167
254.90	     nbVisitedNodes=5394459  nbRestartNogoods=87  mapSize=1176660  nbInferences=73548  nbTooLargeKeys=0
254.90	       =>  wckTime=254.017  cpuTime=251.8  mem=229M938
323.37	   
323.37	   search
323.37	     run=30  nbConstraintChecks=143486605  nbValidityChecks=11188037  nbPropagations=80848049  nbRevisions=370343257
323.37	     nbUselessRevisions=275231067  nbAssignments=5382235  nbFailedAssignments=387928  nbBacktracks=4906240
323.37	     nbVisitedNodes=6865678  nbRestartNogoods=93  mapSize=1483345  nbInferences=86330  nbTooLargeKeys=0
323.37	       =>  wckTime=322.488  cpuTime=319.7  mem=284M321
323.37	   
323.37	   global
323.37	     nbConstraintChecks=143486605  nbValidityChecks=11188037  nbPropagations=80848139  nbRevisions=370343257
323.37	     nbUselessRevisions=275231067  nbRestartNogoods=93  solvingWckTime=322.489  solvingCpuTime=319.7  expiredTime=no
323.37	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=320.04
323.37	       =>  wckTime=322.925  cpuTime=319.99  mem=284M321
323.37	   
323.37	s UNSATISFIABLE
323.37	d NODES 5382235
323.37	d CHECKS 143486605
323.37	   
323.37	   totalWckTime=323.0  totalCpuTime=320.04

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/node55/watcher-242463-1168085521 -o ROOT/results/node55/solver-242463-1168085521 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/242463-1168085521/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: 0.16 1.03 1.54 3/65 14753
/proc/meminfo: memFree=1279392/2055920 swapFree=4192812/4192956
[pid=14752] ppid=14750 vsize=18540 CPUtime=0
/proc/14752/stat : 14752 (runsolver) D 14750 14752 14187 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 156952648 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 248761609511 0 2147483391 4096 24578 18446744072099781622 0 0 17 0 0 0
/proc/14752/statm: 4635 279 244 17 0 2626 0

[startup+0.104975 s]
/proc/loadavg: 0.16 1.03 1.54 3/65 14753
/proc/meminfo: memFree=1279392/2055920 swapFree=4192812/4192956
[pid=14752] ppid=14750 vsize=912760 CPUtime=0.07
/proc/14752/stat : 14752 (java) R 14750 14752 14187 0 -1 0 2778 0 1 0 6 1 0 0 23 0 8 0 156952648 934666240 2524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14752/statm: 228190 2524 1387 14 0 215091 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912760

[startup+0.513051 s]
/proc/loadavg: 0.16 1.03 1.54 3/65 14753
/proc/meminfo: memFree=1279392/2055920 swapFree=4192812/4192956
[pid=14752] ppid=14750 vsize=915328 CPUtime=0.31
/proc/14752/stat : 14752 (java) R 14750 14752 14187 0 -1 0 5581 0 1 0 29 2 0 0 16 0 8 0 156952648 937295872 5320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155582906 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14752/statm: 228832 5322 2069 14 0 215302 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 915328

[startup+1.33408 s]
/proc/loadavg: 0.23 1.03 1.53 2/72 14760
/proc/meminfo: memFree=1255144/2055920 swapFree=4192812/4192956
[pid=14752] ppid=14750 vsize=915444 CPUtime=1.13
/proc/14752/stat : 14752 (java) R 14750 14752 14187 0 -1 0 8844 0 1 0 108 5 0 0 17 0 8 0 156952648 937414656 8582 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073763492 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14752/statm: 228861 8582 2515 14 0 215331 0
[pid=14752/tid=14754] ppid=14750 vsize=915444 CPUtime=0.02
/proc/14752/task/14754/stat : 14754 (java) S 14750 14752 14187 0 -1 64 175 0 0 0 2 0 0 0 16 0 8 0 156952653 937414656 8583 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14752/tid=14755] ppid=14750 vsize=915444 CPUtime=0
/proc/14752/task/14755/stat : 14755 (java) S 14750 14752 14187 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156952654 937414656 8583 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14752/tid=14756] ppid=14750 vsize=915444 CPUtime=0
/proc/14752/task/14756/stat : 14756 (java) S 14750 14752 14187 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156952654 937414656 8583 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14752/tid=14757] ppid=14750 vsize=915444 CPUtime=0
/proc/14752/task/14757/stat : 14757 (java) S 14750 14752 14187 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156952657 937414656 8583 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14752/tid=14758] ppid=14750 vsize=915444 CPUtime=0.21
/proc/14752/task/14758/stat : 14758 (java) S 14750 14752 14187 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 156952657 937414656 8583 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14752/tid=14759] ppid=14750 vsize=915444 CPUtime=0
/proc/14752/task/14759/stat : 14759 (java) S 14750 14752 14187 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156952657 937414656 8583 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14752/tid=14760] ppid=14750 vsize=915444 CPUtime=0
/proc/14752/task/14760/stat : 14760 (java) S 14750 14752 14187 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156952657 937414656 8583 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 915444

[startup+2.97124 s]
/proc/loadavg: 0.23 1.03 1.53 2/72 14760
/proc/meminfo: memFree=1253224/2055920 swapFree=4192812/4192956
[pid=14752] ppid=14750 vsize=915444 CPUtime=2.78
/proc/14752/stat : 14752 (java) R 14750 14752 14187 0 -1 0 9562 0 1 0 272 6 0 0 17 0 8 0 156952648 937414656 9298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073789224 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14752/statm: 228861 9298 2515 14 0 215331 0
[pid=14752/tid=14754] ppid=14750 vsize=915444 CPUtime=0.02
/proc/14752/task/14754/stat : 14754 (java) S 14750 14752 14187 0 -1 64 175 0 0 0 2 0 0 0 16 0 8 0 156952653 937414656 9298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14752/tid=14755] ppid=14750 vsize=915444 CPUtime=0
/proc/14752/task/14755/stat : 14755 (java) S 14750 14752 14187 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156952654 937414656 9298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14752/tid=14756] ppid=14750 vsize=915444 CPUtime=0
/proc/14752/task/14756/stat : 14756 (java) S 14750 14752 14187 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156952654 937414656 9298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14752/tid=14757] ppid=14750 vsize=915444 CPUtime=0
/proc/14752/task/14757/stat : 14757 (java) S 14750 14752 14187 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156952657 937414656 9298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14752/tid=14758] ppid=14750 vsize=915444 CPUtime=0.22
/proc/14752/task/14758/stat : 14758 (java) S 14750 14752 14187 0 -1 64 396 0 0 0 21 1 0 0 15 0 8 0 156952657 937414656 9298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14752/tid=14759] ppid=14750 vsize=915444 CPUtime=0
/proc/14752/task/14759/stat : 14759 (java) S 14750 14752 14187 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156952657 937414656 9298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14752/tid=14760] ppid=14750 vsize=915444 CPUtime=0
/proc/14752/task/14760/stat : 14760 (java) S 14750 14752 14187 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156952657 937414656 9298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 915444

[startup+6.25756 s]
/proc/loadavg: 0.23 1.03 1.53 2/72 14760
/proc/meminfo: memFree=1247080/2055920 swapFree=4192812/4192956
[pid=14752] ppid=14750 vsize=915444 CPUtime=6.06
/proc/14752/stat : 14752 (java) R 14750 14752 14187 0 -1 0 11056 0 1 0 599 7 0 0 23 0 8 0 156952648 937414656 10792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073793392 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14752/statm: 228861 10792 2515 14 0 215331 0
[pid=14752/tid=14754] ppid=14750 vsize=915444 CPUtime=0.02
/proc/14752/task/14754/stat : 14754 (java) S 14750 14752 14187 0 -1 64 175 0 0 0 2 0 0 0 16 0 8 0 156952653 937414656 10792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14752/tid=14755] ppid=14750 vsize=915444 CPUtime=0
/proc/14752/task/14755/stat : 14755 (java) S 14750 14752 14187 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156952654 937414656 10792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14752/tid=14756] ppid=14750 vsize=915444 CPUtime=0
/proc/14752/task/14756/stat : 14756 (java) S 14750 14752 14187 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156952654 937414656 10792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14752/tid=14757] ppid=14750 vsize=915444 CPUtime=0
/proc/14752/task/14757/stat : 14757 (java) S 14750 14752 14187 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156952657 937414656 10792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14752/tid=14758] ppid=14750 vsize=915444 CPUtime=0.22
/proc/14752/task/14758/stat : 14758 (java) S 14750 14752 14187 0 -1 64 396 0 0 0 21 1 0 0 15 0 8 0 156952657 937414656 10792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14752/tid=14759] ppid=14750 vsize=915444 CPUtime=0
/proc/14752/task/14759/stat : 14759 (java) S 14750 14752 14187 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156952657 937414656 10792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14752/tid=14760] ppid=14750 vsize=915444 CPUtime=0
/proc/14752/task/14760/stat : 14760 (java) S 14750 14752 14187 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156952657 937414656 10792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 915444

[startup+12.7312 s]
/proc/loadavg: 0.35 1.03 1.53 2/72 14760
/proc/meminfo: memFree=1233704/2055920 swapFree=4192812/4192956
[pid=14752] ppid=14750 vsize=915444 CPUtime=12.53
/proc/14752/stat : 14752 (java) R 14750 14752 14187 0 -1 0 14262 0 1 0 1245 8 0 0 25 0 8 0 156952648 937414656 13998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073770430 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14752/statm: 228861 13998 2515 14 0 215331 0
[pid=14752/tid=14754] ppid=14750 vsize=915444 CPUtime=0.02
/proc/14752/task/14754/stat : 14754 (java) S 14750 14752 14187 0 -1 64 175 0 0 0 2 0 0 0 16 0 8 0 156952653 937414656 13998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14752/tid=14755] ppid=14750 vsize=915444 CPUtime=0
/proc/14752/task/14755/stat : 14755 (java) S 14750 14752 14187 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156952654 937414656 13998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14752/tid=14756] ppid=14750 vsize=915444 CPUtime=0
/proc/14752/task/14756/stat : 14756 (java) S 14750 14752 14187 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156952654 937414656 13998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14752/tid=14757] ppid=14750 vsize=915444 CPUtime=0
/proc/14752/task/14757/stat : 14757 (java) S 14750 14752 14187 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156952657 937414656 13998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14752/tid=14758] ppid=14750 vsize=915444 CPUtime=0.22
/proc/14752/task/14758/stat : 14758 (java) S 14750 14752 14187 0 -1 64 397 0 0 0 21 1 0 0 16 0 8 0 156952657 937414656 13998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14752/tid=14759] ppid=14750 vsize=915444 CPUtime=0
/proc/14752/task/14759/stat : 14759 (java) S 14750 14752 14187 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156952657 937414656 13998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14752/tid=14760] ppid=14750 vsize=915444 CPUtime=0
/proc/14752/task/14760/stat : 14760 (java) S 14750 14752 14187 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156952657 937414656 13998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 915444

[startup+25.5894 s]
/proc/loadavg: 0.45 1.03 1.52 2/72 14760
/proc/meminfo: memFree=1209128/2055920 swapFree=4192812/4192956
[pid=14752] ppid=14750 vsize=915444 CPUtime=25.37
/proc/14752/stat : 14752 (java) R 14750 14752 14187 0 -1 0 20260 0 1 0 2528 9 0 0 25 0 8 0 156952648 937414656 19995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073775347 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14752/statm: 228861 19995 2519 14 0 215331 0
[pid=14752/tid=14754] ppid=14750 vsize=915444 CPUtime=0.12
/proc/14752/task/14754/stat : 14754 (java) S 14750 14752 14187 0 -1 64 3271 0 0 0 12 0 0 0 16 0 8 0 156952653 937414656 19995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14752/tid=14755] ppid=14750 vsize=915444 CPUtime=0
/proc/14752/task/14755/stat : 14755 (java) S 14750 14752 14187 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156952654 937414656 19995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14752/tid=14756] ppid=14750 vsize=915444 CPUtime=0
/proc/14752/task/14756/stat : 14756 (java) S 14750 14752 14187 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156952654 937414656 19995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14752/tid=14757] ppid=14750 vsize=915444 CPUtime=0
/proc/14752/task/14757/stat : 14757 (java) S 14750 14752 14187 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156952657 937414656 19995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14752/tid=14758] ppid=14750 vsize=915444 CPUtime=0.22
/proc/14752/task/14758/stat : 14758 (java) S 14750 14752 14187 0 -1 64 397 0 0 0 21 1 0 0 16 0 8 0 156952657 937414656 19995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14752/tid=14759] ppid=14750 vsize=915444 CPUtime=0
/proc/14752/task/14759/stat : 14759 (java) S 14750 14752 14187 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156952657 937414656 19995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14752/tid=14760] ppid=14750 vsize=915444 CPUtime=0
/proc/14752/task/14760/stat : 14760 (java) S 14750 14752 14187 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156952657 937414656 19995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915444

[startup+51.2809 s]
/proc/loadavg: 0.64 1.02 1.51 2/72 14760
/proc/meminfo: memFree=1186664/2055920 swapFree=4192812/4192956
[pid=14752] ppid=14750 vsize=915444 CPUtime=51.06
/proc/14752/stat : 14752 (java) R 14750 14752 14187 0 -1 0 25859 0 1 0 5095 11 0 0 25 0 8 0 156952648 937414656 25593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073763509 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14752/statm: 228861 25593 2519 14 0 215331 0
[pid=14752/tid=14754] ppid=14750 vsize=915444 CPUtime=0.31
/proc/14752/task/14754/stat : 14754 (java) S 14750 14752 14187 0 -1 64 8869 0 0 0 29 2 0 0 16 0 8 0 156952653 937414656 25593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14752/tid=14755] ppid=14750 vsize=915444 CPUtime=0
/proc/14752/task/14755/stat : 14755 (java) S 14750 14752 14187 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156952654 937414656 25593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14752/tid=14756] ppid=14750 vsize=915444 CPUtime=0
/proc/14752/task/14756/stat : 14756 (java) S 14750 14752 14187 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156952654 937414656 25593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14752/tid=14757] ppid=14750 vsize=915444 CPUtime=0
/proc/14752/task/14757/stat : 14757 (java) S 14750 14752 14187 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156952657 937414656 25593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14752/tid=14758] ppid=14750 vsize=915444 CPUtime=0.22
/proc/14752/task/14758/stat : 14758 (java) S 14750 14752 14187 0 -1 64 397 0 0 0 21 1 0 0 16 0 8 0 156952657 937414656 25593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14752/tid=14759] ppid=14750 vsize=915444 CPUtime=0
/proc/14752/task/14759/stat : 14759 (java) S 14750 14752 14187 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156952657 937414656 25593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14752/tid=14760] ppid=14750 vsize=915444 CPUtime=0
/proc/14752/task/14760/stat : 14760 (java) S 14750 14752 14187 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156952657 937414656 25593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 915444

[startup+102.557 s]
/proc/loadavg: 0.85 1.02 1.47 2/72 14760
/proc/meminfo: memFree=1153576/2055920 swapFree=4192812/4192956
[pid=14752] ppid=14750 vsize=915444 CPUtime=102.31
/proc/14752/stat : 14752 (java) R 14750 14752 14187 0 -1 0 34114 0 1 0 10217 14 0 0 25 0 8 0 156952648 937414656 33845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803858 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14752/statm: 228861 33845 2519 14 0 215331 0
[pid=14752/tid=14754] ppid=14750 vsize=915444 CPUtime=0.68
/proc/14752/task/14754/stat : 14754 (java) S 14750 14752 14187 0 -1 64 17121 0 0 0 63 5 0 0 16 0 8 0 156952653 937414656 33845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14752/tid=14755] ppid=14750 vsize=915444 CPUtime=0
/proc/14752/task/14755/stat : 14755 (java) S 14750 14752 14187 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156952654 937414656 33845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14752/tid=14756] ppid=14750 vsize=915444 CPUtime=0
/proc/14752/task/14756/stat : 14756 (java) S 14750 14752 14187 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156952654 937414656 33845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14752/tid=14757] ppid=14750 vsize=915444 CPUtime=0
/proc/14752/task/14757/stat : 14757 (java) S 14750 14752 14187 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156952657 937414656 33845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14752/tid=14758] ppid=14750 vsize=915444 CPUtime=0.22
/proc/14752/task/14758/stat : 14758 (java) S 14750 14752 14187 0 -1 64 397 0 0 0 21 1 0 0 16 0 8 0 156952657 937414656 33845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14752/tid=14759] ppid=14750 vsize=915444 CPUtime=0
/proc/14752/task/14759/stat : 14759 (java) S 14750 14752 14187 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156952657 937414656 33845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14752/tid=14760] ppid=14750 vsize=915444 CPUtime=0
/proc/14752/task/14760/stat : 14760 (java) S 14750 14752 14187 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156952657 937414656 33845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 915444

[startup+162.57 s]
/proc/loadavg: 0.94 1.01 1.44 2/72 14760
/proc/meminfo: memFree=1100264/2055920 swapFree=4192812/4192956
[pid=14752] ppid=14750 vsize=915444 CPUtime=162.31
/proc/14752/stat : 14752 (java) R 14750 14752 14187 0 -1 0 47407 0 1 0 16212 19 0 0 25 0 8 0 156952648 937414656 47135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073771236 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14752/statm: 228861 47135 2519 14 0 215331 0
[pid=14752/tid=14754] ppid=14750 vsize=915444 CPUtime=1.25
/proc/14752/task/14754/stat : 14754 (java) S 14750 14752 14187 0 -1 64 30411 0 0 0 115 10 0 0 16 0 8 0 156952653 937414656 47135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14752/tid=14755] ppid=14750 vsize=915444 CPUtime=0
/proc/14752/task/14755/stat : 14755 (java) S 14750 14752 14187 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156952654 937414656 47135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14752/tid=14756] ppid=14750 vsize=915444 CPUtime=0
/proc/14752/task/14756/stat : 14756 (java) S 14750 14752 14187 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156952654 937414656 47135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14752/tid=14757] ppid=14750 vsize=915444 CPUtime=0
/proc/14752/task/14757/stat : 14757 (java) S 14750 14752 14187 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156952657 937414656 47135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14752/tid=14758] ppid=14750 vsize=915444 CPUtime=0.22
/proc/14752/task/14758/stat : 14758 (java) S 14750 14752 14187 0 -1 64 397 0 0 0 21 1 0 0 16 0 8 0 156952657 937414656 47135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14752/tid=14759] ppid=14750 vsize=915444 CPUtime=0
/proc/14752/task/14759/stat : 14759 (java) S 14750 14752 14187 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156952657 937414656 47135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14752/tid=14760] ppid=14750 vsize=915444 CPUtime=0
/proc/14752/task/14760/stat : 14760 (java) S 14750 14752 14187 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156952657 937414656 47135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 915444

[startup+222.583 s]
/proc/loadavg: 0.98 1.01 1.41 2/72 14760
/proc/meminfo: memFree=1046248/2055920 swapFree=4192812/4192956
[pid=14752] ppid=14750 vsize=915444 CPUtime=222.31
/proc/14752/stat : 14752 (java) R 14750 14752 14187 0 -1 0 60884 0 1 0 22206 25 0 0 25 0 8 0 156952648 937414656 60609 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782785 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14752/statm: 228861 60609 2519 14 0 215331 0
[pid=14752/tid=14754] ppid=14750 vsize=915444 CPUtime=1.88
/proc/14752/task/14754/stat : 14754 (java) S 14750 14752 14187 0 -1 64 43885 0 0 0 172 16 0 0 16 0 8 0 156952653 937414656 60609 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14752/tid=14755] ppid=14750 vsize=915444 CPUtime=0
/proc/14752/task/14755/stat : 14755 (java) S 14750 14752 14187 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156952654 937414656 60609 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14752/tid=14756] ppid=14750 vsize=915444 CPUtime=0
/proc/14752/task/14756/stat : 14756 (java) S 14750 14752 14187 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156952654 937414656 60609 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14752/tid=14757] ppid=14750 vsize=915444 CPUtime=0
/proc/14752/task/14757/stat : 14757 (java) S 14750 14752 14187 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156952657 937414656 60609 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14752/tid=14758] ppid=14750 vsize=915444 CPUtime=0.22
/proc/14752/task/14758/stat : 14758 (java) S 14750 14752 14187 0 -1 64 397 0 0 0 21 1 0 0 16 0 8 0 156952657 937414656 60609 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14752/tid=14759] ppid=14750 vsize=915444 CPUtime=0
/proc/14752/task/14759/stat : 14759 (java) S 14750 14752 14187 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156952657 937414656 60609 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14752/tid=14760] ppid=14750 vsize=915444 CPUtime=0
/proc/14752/task/14760/stat : 14760 (java) S 14750 14752 14187 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156952657 937414656 60609 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 915444

[startup+282.592 s]
/proc/loadavg: 0.99 1.00 1.38 2/72 14760
/proc/meminfo: memFree=998952/2055920 swapFree=4192812/4192956
[pid=14752] ppid=14750 vsize=915444 CPUtime=282.31
/proc/14752/stat : 14752 (java) R 14750 14752 14187 0 -1 0 72737 0 1 0 28201 30 0 0 16 0 8 0 156952648 937414656 72459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073770522 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14752/statm: 228861 72459 2519 14 0 215331 0
[pid=14752/tid=14754] ppid=14750 vsize=915444 CPUtime=2.43
/proc/14752/task/14754/stat : 14754 (java) S 14750 14752 14187 0 -1 64 55735 0 0 0 223 20 0 0 17 0 8 0 156952653 937414656 72459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14752/tid=14755] ppid=14750 vsize=915444 CPUtime=0
/proc/14752/task/14755/stat : 14755 (java) S 14750 14752 14187 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156952654 937414656 72459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14752/tid=14756] ppid=14750 vsize=915444 CPUtime=0
/proc/14752/task/14756/stat : 14756 (java) S 14750 14752 14187 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156952654 937414656 72459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14752/tid=14757] ppid=14750 vsize=915444 CPUtime=0
/proc/14752/task/14757/stat : 14757 (java) S 14750 14752 14187 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156952657 937414656 72459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14752/tid=14758] ppid=14750 vsize=915444 CPUtime=0.22
/proc/14752/task/14758/stat : 14758 (java) S 14750 14752 14187 0 -1 64 397 0 0 0 21 1 0 0 16 0 8 0 156952657 937414656 72459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14752/tid=14759] ppid=14750 vsize=915444 CPUtime=0
/proc/14752/task/14759/stat : 14759 (java) S 14750 14752 14187 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156952657 937414656 72459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14752/tid=14760] ppid=14750 vsize=915444 CPUtime=0
/proc/14752/task/14760/stat : 14760 (java) S 14750 14752 14187 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156952657 937414656 72459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 915444

Child status: 0
Real time (s): 323.456
CPU time (s): 323.131
CPU user time (s): 322.774
CPU system time (s): 0.356945
CPU usage (%): 99.8994
Max. virtual memory (cumulated for all children) (KiB): 915444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 322.774
system time used= 0.356945
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76572
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= 7405
involuntary context switches= 611

runsolver used 0.381941 s user time and 0.780881 s system time

The end

Launcher Data (download as text)

Begin job on node55 on Sat Jan  6 12:12:11 UTC 2007


IDJOB= 242463
IDBENCH= 7394
FILE ID= node55/242463-1168085521

PBS_JOBID= 3476269

Free space on /tmp= 66544 MiB

BENCH NAME= HOME/pub/bench/CPAI06/dimacs/varDimacs/hole-09_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/242463-1168085521/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node55/watcher-242463-1168085521 -o ROOT/results/node55/solver-242463-1168085521 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/242463-1168085521/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  d5da3df80be5404049f56cc2bde28776

RANDOM SEED= 659754758

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.218
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5931.00
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.218
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1279808 kB
Buffers:         57004 kB
Cached:         620888 kB
SwapCached:          0 kB
Active:         110532 kB
Inactive:       583068 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1279808 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1788 kB
Writeback:           0 kB
Mapped:          25852 kB
Slab:            68588 kB
Committed_AS:  3065112 kB
PageTables:       1380 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= 66544 MiB



End job on node55 on Sat Jan  6 12:17:58 UTC 2007