Trace number 217974

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 AC? (TO) 1800.08 1800.82

General information on the benchmark

Nameramsey/ramsey4/
ramsey-38-4.xml
MD5SUM7f9e6189ca845e1515395d3ba8d55a18
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark314.837
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables703
Number of constraints8436
Maximum constraint arity3
Maximum domain size4
Number of constraints which are defined in extension0
Number of constraints which are defined in intension8436
Global constraints used (with number of constraints)

Solver Data (download as text)

0.39	   
0.39	Abscon 109 (November, 2006)
0.39	   
0.39	   configuration
0.39	     name=mac.xml
0.42	   
0.42	   instance
0.42	     name=/tmp/evaluation/217974-1168079525/unknown.xml
0.45	   
0.45	   domains being loaded...
0.45	   
0.45	   variables being loaded...
0.56	     nbVariables=703  nbDomainTypes=1  minDomainSize=4  maxDomainSize=4
0.56	       =>  wckTime=0.169  cpuTime=0.14  mem=9M0
0.56	   
0.56	   predicates being loaded...
0.56	   
0.56	   constraints being loaded...
1.78	     nbConstraints=8436  nbConflictsStructures=1  nbSharedConflictsStructures=8435  nbSharedBinaryRepresentations=0
1.78	     nbEvaluationManagers=1  nbSharedEvaluationManagers=8435  maxDegree=36  maxArity=3
1.78	       =>  wckTime=1.391  cpuTime=1.23  mem=34M847
1.88	   
1.88	   solver IterativeSystematicSolver being built... 
2.23	       =>  wckTime=1.84  cpuTime=1.49  mem=22M668
2.28	   
2.28	   preprocessing
2.28	     nbConstraintChecks=0  nbPropagations=703  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
2.28	     detectedInconsistency=no
2.28	       =>  wckTime=0.048  cpuTime=0.04  mem=23M663
2.34	   
2.34	   search
2.34	     run=0  nbConstraintChecks=727  nbValidityChecks=302  nbPropagations=884  nbRevisions=296  nbUselessRevisions=149
2.34	     nbAssignments=57  nbFailedAssignments=9  nbBacktracks=10  nbVisitedNodes=75  nbRestartNogoods=0  mapSize=9
2.34	     nbInferences=0  nbTooLargeKeys=0
2.34	       =>  wckTime=0.11  cpuTime=0.09  mem=23M663
2.43	   
2.43	   search
2.43	     run=1  nbConstraintChecks=6138  nbValidityChecks=3238  nbPropagations=2307  nbRevisions=2540
2.43	     nbUselessRevisions=1744  nbAssignments=226  nbFailedAssignments=26  nbBacktracks=25  nbVisitedNodes=274
2.43	     nbRestartNogoods=8  mapSize=24  nbInferences=0  nbTooLargeKeys=0
2.43	       =>  wckTime=0.195  cpuTime=0.16  mem=23M663
2.63	   
2.63	   search
2.63	     run=2  nbConstraintChecks=21479  nbValidityChecks=11400  nbPropagations=4868  nbRevisions=10218
2.63	     nbUselessRevisions=7483  nbAssignments=575  nbFailedAssignments=55  nbBacktracks=47  nbVisitedNodes=668
2.63	     nbRestartNogoods=22  mapSize=46  nbInferences=0  nbTooLargeKeys=0
2.63	       =>  wckTime=0.395  cpuTime=0.35  mem=24M657
2.82	   
2.82	   search
2.82	     run=3  nbConstraintChecks=35710  nbValidityChecks=23167  nbPropagations=8638  nbRevisions=23956
2.82	     nbUselessRevisions=18047  nbAssignments=958  nbFailedAssignments=72  nbBacktracks=84  nbVisitedNodes=1080
2.82	     nbRestartNogoods=42  mapSize=65  nbInferences=0  nbTooLargeKeys=0
2.82	       =>  wckTime=0.585  cpuTime=0.54  mem=24M657
3.33	   
3.33	   search
3.33	     run=4  nbConstraintChecks=61514  nbValidityChecks=45444  nbPropagations=14148  nbRevisions=49091
3.33	     nbUselessRevisions=37736  nbAssignments=1495  nbFailedAssignments=95  nbBacktracks=134  nbVisitedNodes=1659
3.33	     nbRestartNogoods=52  mapSize=95  nbInferences=0  nbTooLargeKeys=0
3.33	       =>  wckTime=1.096  cpuTime=1.05  mem=24M657
3.55	   
3.55	   search
3.55	     run=5  nbConstraintChecks=95871  nbValidityChecks=82437  nbPropagations=21826  nbRevisions=90329
3.55	     nbUselessRevisions=70441  nbAssignments=2060  nbFailedAssignments=133  nbBacktracks=211  nbVisitedNodes=2299
3.55	     nbRestartNogoods=63  mapSize=149  nbInferences=0  nbTooLargeKeys=0
3.55	       =>  wckTime=1.32  cpuTime=1.26  mem=25M652
4.14	   
4.14	   search
4.14	     run=6  nbConstraintChecks=136600  nbValidityChecks=133677  nbPropagations=31982  nbRevisions=151150
4.14	     nbUselessRevisions=118851  nbAssignments=2664  nbFailedAssignments=186  nbBacktracks=328  nbVisitedNodes=3002
4.14	     nbRestartNogoods=84  mapSize=229  nbInferences=0  nbTooLargeKeys=0
4.14	       =>  wckTime=1.912  cpuTime=1.85  mem=25M652
4.92	   
4.92	   search
4.92	     run=7  nbConstraintChecks=193958  nbValidityChecks=206075  nbPropagations=45333  nbRevisions=239483
4.92	     nbUselessRevisions=189341  nbAssignments=3360  nbFailedAssignments=261  nbBacktracks=499  nbVisitedNodes=3845
4.92	     nbRestartNogoods=99  mapSize=346  nbInferences=0  nbTooLargeKeys=0
4.92	       =>  wckTime=2.683  cpuTime=2.62  mem=26M646
5.19	   
5.19	   search
5.19	     run=8  nbConstraintChecks=256634  nbValidityChecks=290248  nbPropagations=62322  nbRevisions=359861
5.19	     nbUselessRevisions=285646  nbAssignments=4130  nbFailedAssignments=370  nbBacktracks=757  nbVisitedNodes=4819
5.19	     nbRestartNogoods=124  mapSize=529  nbInferences=0  nbTooLargeKeys=0
5.19	       =>  wckTime=2.954  cpuTime=2.89  mem=27M641
5.55	   
5.55	   search
5.55	     run=9  nbConstraintChecks=342513  nbValidityChecks=407815  nbPropagations=84162  nbRevisions=523077
5.55	     nbUselessRevisions=416278  nbAssignments=5090  nbFailedAssignments=524  nbBacktracks=1142  nbVisitedNodes=6082
5.55	     nbRestartNogoods=139  mapSize=783  nbInferences=0  nbTooLargeKeys=0
5.55	       =>  wckTime=3.321  cpuTime=3.25  mem=28M636
6.39	   
6.39	   INFO : Stopping hyperNogood (mapSize=1004, nbTooLargekeys=0, mem=29M630)
6.52	   
6.52	   search
6.52	     run=10  nbConstraintChecks=469763  nbValidityChecks=579589  nbPropagations=112701  nbRevisions=749328
6.52	     nbUselessRevisions=597354  nbAssignments=6351  nbFailedAssignments=760  nbBacktracks=1718  nbVisitedNodes=7790
6.52	     nbRestartNogoods=170
6.52	       =>  wckTime=4.283  cpuTime=4.2  mem=29M630
6.98	   
6.98	   search
6.98	     run=11  nbConstraintChecks=655017  nbValidityChecks=845445  nbPropagations=150947  nbRevisions=1076288
6.98	     nbUselessRevisions=859655  nbAssignments=7941  nbFailedAssignments=1077  nbBacktracks=2582  nbVisitedNodes=9979
6.98	     nbRestartNogoods=205
6.98	       =>  wckTime=4.749  cpuTime=4.67  mem=29M630
7.40	   
7.40	   search
7.40	     run=12  nbConstraintChecks=716242  nbValidityChecks=933168  nbPropagations=196387  nbRevisions=1441697
7.40	     nbUselessRevisions=1148549  nbAssignments=9731  nbFailedAssignments=1460  nbBacktracks=3902  nbVisitedNodes=12513
7.40	     nbRestartNogoods=228
7.40	       =>  wckTime=5.164  cpuTime=5.08  mem=29M630
8.02	   
8.02	   search
8.02	     run=13  nbConstraintChecks=864231  nbValidityChecks=1169491  nbPropagations=252999  nbRevisions=1890192
8.02	     nbUselessRevisions=1499717  nbAssignments=12255  nbFailedAssignments=1839  nbBacktracks=5855  nbVisitedNodes=15826
8.02	     nbRestartNogoods=239
8.02	       =>  wckTime=5.787  cpuTime=5.7  mem=29M630
9.08	   
9.08	   search
9.08	     run=14  nbConstraintChecks=1218715  nbValidityChecks=1735076  nbPropagations=330845  nbRevisions=2551161
9.08	     nbUselessRevisions=2020814  nbAssignments=16137  nbFailedAssignments=2497  nbBacktracks=8777  nbVisitedNodes=21030
9.08	     nbRestartNogoods=246
9.08	       =>  wckTime=6.852  cpuTime=6.78  mem=29M630
11.07	   
11.07	   search
11.07	     run=15  nbConstraintChecks=2080059  nbValidityChecks=3019865  nbPropagations=451479  nbRevisions=3705850
11.07	     nbUselessRevisions=2943895  nbAssignments=22379  nbFailedAssignments=3964  nbBacktracks=13156  nbVisitedNodes=30144
11.07	     nbRestartNogoods=256
11.07	       =>  wckTime=8.84  cpuTime=8.77  mem=29M630
13.48	   
13.48	   search
13.48	     run=16  nbConstraintChecks=2868068  nbValidityChecks=4465125  nbPropagations=624468  nbRevisions=5472270
13.48	     nbUselessRevisions=4378577  nbAssignments=30965  nbFailedAssignments=5471  nbBacktracks=19727  nbVisitedNodes=41739
13.48	     nbRestartNogoods=276
13.48	       =>  wckTime=11.244  cpuTime=11.17  mem=29M630
16.31	   
16.31	   search
16.31	     run=17  nbConstraintChecks=3290267  nbValidityChecks=5145661  nbPropagations=846468  nbRevisions=7528885
16.31	     nbUselessRevisions=6025351  nbAssignments=42980  nbFailedAssignments=7517  nbBacktracks=29580  nbVisitedNodes=57910
16.32	     nbRestartNogoods=327
16.32	       =>  wckTime=14.083  cpuTime=14.01  mem=29M630
22.19	   
22.19	   search
22.19	     run=18  nbConstraintChecks=5333488  nbValidityChecks=8293631  nbPropagations=1183579  nbRevisions=10758287
22.19	     nbUselessRevisions=8605367  nbAssignments=62683  nbFailedAssignments=11981  nbBacktracks=44365
22.19	     nbVisitedNodes=86287  nbRestartNogoods=339
22.19	       =>  wckTime=19.962  cpuTime=19.88  mem=29M630
31.49	   
31.49	   search
31.49	     run=19  nbConstraintChecks=9200873  nbValidityChecks=14226851  nbPropagations=1720369  nbRevisions=16371238
31.49	     nbUselessRevisions=13147925  nbAssignments=91711  nbFailedAssignments=18430  nbBacktracks=66536
31.49	     nbVisitedNodes=128444  nbRestartNogoods=378
31.49	       =>  wckTime=29.261  cpuTime=29.18  mem=29M630
42.57	   
42.57	   search
42.57	     run=20  nbConstraintChecks=10899963  nbValidityChecks=16830056  nbPropagations=2466838  nbRevisions=23166788
42.57	     nbUselessRevisions=18519649  nbAssignments=134961  nbFailedAssignments=28334  nbBacktracks=99804
42.57	     nbVisitedNodes=191627  nbRestartNogoods=411
42.57	       =>  wckTime=40.34  cpuTime=40.25  mem=29M630
61.53	   
61.53	   search
61.53	     run=21  nbConstraintChecks=15471157  nbValidityChecks=25270003  nbPropagations=3567639  nbRevisions=33159543
61.54	     nbUselessRevisions=26390816  nbAssignments=196276  nbFailedAssignments=39584  nbBacktracks=149684
61.54	     nbVisitedNodes=275592  nbRestartNogoods=421
61.54	       =>  wckTime=59.303  cpuTime=59.21  mem=29M630
93.18	   
93.18	   search
93.18	     run=22  nbConstraintChecks=26930033  nbValidityChecks=44638817  nbPropagations=5300975  nbRevisions=50768276
93.18	     nbUselessRevisions=40502924  nbAssignments=292005  nbFailedAssignments=60019  nbBacktracks=224503
93.18	     nbVisitedNodes=412263  nbRestartNogoods=432
93.18	       =>  wckTime=90.947  cpuTime=90.85  mem=29M630
138.11	   
138.11	   search
138.11	     run=23  nbConstraintChecks=40560690  nbValidityChecks=70793743  nbPropagations=7928343  nbRevisions=79718432
138.11	     nbUselessRevisions=64187153  nbAssignments=429720  nbFailedAssignments=85163  nbBacktracks=336732
138.11	     nbVisitedNodes=599824  nbRestartNogoods=471
138.11	       =>  wckTime=135.874  cpuTime=135.77  mem=29M630
214.85	   
214.85	   search
214.85	     run=24  nbConstraintChecks=76136974  nbValidityChecks=124266592  nbPropagations=12193767  nbRevisions=129656243
214.85	     nbUselessRevisions=105108113  nbAssignments=655999  nbFailedAssignments=142692  nbBacktracks=505073
214.85	     nbVisitedNodes=938804  nbRestartNogoods=488
214.85	       =>  wckTime=212.618  cpuTime=212.49  mem=29M630
281.29	   
281.29	   search
281.29	     run=25  nbConstraintChecks=86106941  nbValidityChecks=139235635  nbPropagations=17557186  nbRevisions=186194584
281.29	     nbUselessRevisions=150757604  nbAssignments=960682  nbFailedAssignments=194748  nbBacktracks=757585
281.29	     nbVisitedNodes=1346418  nbRestartNogoods=509
281.29	       =>  wckTime=279.062  cpuTime=278.92  mem=29M630
412.71	   
412.71	   search
412.71	     run=26  nbConstraintChecks=117245282  nbValidityChecks=191613969  nbPropagations=25319912  nbRevisions=263483147
412.71	     nbUselessRevisions=212584836  nbAssignments=1429331  nbFailedAssignments=284438  nbBacktracks=1136354
412.71	     nbVisitedNodes=1993078  nbRestartNogoods=522
412.71	       =>  wckTime=410.477  cpuTime=410.3  mem=29M630
628.00	   
628.00	   search
628.00	     run=27  nbConstraintChecks=178127909  nbValidityChecks=303391752  nbPropagations=37189505  nbRevisions=385673793
628.00	     nbUselessRevisions=310983752  nbAssignments=2119382  nbFailedAssignments=406014  nbBacktracks=1704510
628.00	     nbVisitedNodes=2929593  nbRestartNogoods=537
628.00	       =>  wckTime=625.766  cpuTime=625.54  mem=29M630
1008.66	   
1008.66	   search
1008.66	     run=28  nbConstraintChecks=347817593  nbValidityChecks=555701699  nbPropagations=57117981  nbRevisions=605972004
1008.66	     nbUselessRevisions=489617758  nbAssignments=3253703  nbFailedAssignments=687700  nbBacktracks=2556736
1008.66	     nbVisitedNodes=4618644  nbRestartNogoods=559
1008.66	       =>  wckTime=1006.426  cpuTime=1006.1  mem=29M630
1562.39	   
1562.39	   search
1562.39	     run=29  nbConstraintChecks=579811026  nbValidityChecks=911711170  nbPropagations=88010108  nbRevisions=963788511
1562.39	     nbUselessRevisions=780602241  nbAssignments=4927731  nbFailedAssignments=1082901  nbBacktracks=3835115
1562.39	     nbVisitedNodes=7078874  nbRestartNogoods=581
1562.39	       =>  wckTime=1560.153  cpuTime=1559.67  mem=29M630

Verifier Data (download as text)

ERROR: Unexpected answer ! (SAT/UNSAT expected)
Got answer:

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node30/watcher-217974-1168079525 -o ROOT/results/node30/solver-217974-1168079525 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/217974-1168079525/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.92 0.98 0.99 4/78 3622
/proc/meminfo: memFree=1196712/2055920 swapFree=4191880/4192956
[pid=3621] ppid=3619 vsize=1784 CPUtime=0
/proc/3621/stat : 3621 (java) D 3619 3621 3153 0 -1 0 169 0 0 0 0 0 0 0 19 0 1 0 156346722 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/3621/statm: 446 140 106 14 0 91 0

[startup+0.107997 s]
/proc/loadavg: 0.92 0.98 0.99 4/78 3622
/proc/meminfo: memFree=1196712/2055920 swapFree=4191880/4192956
[pid=3621] ppid=3619 vsize=47976 CPUtime=0
/proc/3621/stat : 3621 (java) D 3619 3621 3153 0 -1 0 1223 0 1 0 0 0 0 0 17 0 1 0 156346722 49127424 972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 0 0 0
/proc/3621/statm: 11994 972 769 14 0 1707 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 47976

[startup+0.516023 s]
/proc/loadavg: 0.92 0.98 0.99 4/78 3622
/proc/meminfo: memFree=1196712/2055920 swapFree=4191880/4192956
[pid=3621] ppid=3619 vsize=915328 CPUtime=0.39
/proc/3621/stat : 3621 (java) R 3619 3621 3153 0 -1 0 6240 0 1 0 36 3 0 0 16 0 8 0 156346722 937295872 5979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072944238 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3621/statm: 228832 5980 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 915328

[startup+1.33807 s]
/proc/loadavg: 0.92 0.98 0.99 2/85 3629
/proc/meminfo: memFree=1136816/2055920 swapFree=4191880/4192956
[pid=3621] ppid=3619 vsize=915632 CPUtime=1.22
/proc/3621/stat : 3621 (java) R 3619 3621 3153 0 -1 0 17356 0 1 0 101 21 0 0 17 0 8 0 156346722 937607168 17094 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3621/statm: 228908 17094 2178 14 0 215378 0
[pid=3621/tid=3623] ppid=3619 vsize=915636 CPUtime=0.03
/proc/3621/task/3623/stat : 3623 (java) S 3619 3621 3153 0 -1 64 755 0 0 0 3 0 0 0 16 0 8 0 156346734 937611264 17094 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3621/tid=3624] ppid=3619 vsize=915632 CPUtime=0
/proc/3621/task/3624/stat : 3624 (java) S 3619 3621 3153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156346735 937607168 17094 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3625] ppid=3619 vsize=915636 CPUtime=0
/proc/3621/task/3625/stat : 3625 (java) S 3619 3621 3153 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156346735 937611264 17094 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3621/tid=3626] ppid=3619 vsize=915632 CPUtime=0
/proc/3621/task/3626/stat : 3626 (java) S 3619 3621 3153 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156346738 937607168 17094 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3627] ppid=3619 vsize=915632 CPUtime=0.15
/proc/3621/task/3627/stat : 3627 (java) S 3619 3621 3153 0 -1 64 419 0 0 0 15 0 0 0 16 0 8 0 156346738 937607168 17094 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3628] ppid=3619 vsize=915636 CPUtime=0
/proc/3621/task/3628/stat : 3628 (java) S 3619 3621 3153 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156346738 937611264 17094 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3629] ppid=3619 vsize=915632 CPUtime=0
/proc/3621/task/3629/stat : 3629 (java) S 3619 3621 3153 0 -1 64 1 0 0 0 0 0 0 0 16 0 8 0 156346738 937607168 17094 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 915632

[startup+2.99017 s]
/proc/loadavg: 0.92 0.98 0.99 2/85 3629
/proc/meminfo: memFree=1125808/2055920 swapFree=4191880/4192956
[pid=3621] ppid=3619 vsize=915732 CPUtime=2.87
/proc/3621/stat : 3621 (java) R 3619 3621 3153 0 -1 0 20474 0 1 0 241 46 0 0 17 0 8 0 156346722 937709568 20210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074007038 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3621/statm: 228933 20210 2536 14 0 215403 0
[pid=3621/tid=3623] ppid=3619 vsize=915732 CPUtime=0.15
/proc/3621/task/3623/stat : 3623 (java) S 3619 3621 3153 0 -1 64 3369 0 0 0 14 1 0 0 16 0 8 0 156346734 937709568 20210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3621/tid=3624] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3624/stat : 3624 (java) S 3619 3621 3153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156346735 937709568 20210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3625] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3625/stat : 3625 (java) S 3619 3621 3153 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156346735 937709568 20210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3626] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3626/stat : 3626 (java) S 3619 3621 3153 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156346738 937709568 20210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3627] ppid=3619 vsize=915732 CPUtime=0.27
/proc/3621/task/3627/stat : 3627 (java) S 3619 3621 3153 0 -1 64 489 0 0 0 26 1 0 0 15 0 8 0 156346738 937709568 20210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3628] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3628/stat : 3628 (java) S 3619 3621 3153 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156346738 937709568 20210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3629] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3629/stat : 3629 (java) S 3619 3621 3153 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156346738 937709568 20210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 915732

[startup+6.26738 s]
/proc/loadavg: 0.93 0.98 0.99 2/85 3629
/proc/meminfo: memFree=1125624/2055920 swapFree=4191880/4192956
[pid=3621] ppid=3619 vsize=915732 CPUtime=6.14
/proc/3621/stat : 3621 (java) R 3619 3621 3153 0 -1 0 20488 0 1 0 568 46 0 0 17 0 8 0 156346722 937709568 20220 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074007002 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3621/statm: 228933 20220 2536 14 0 215403 0
[pid=3621/tid=3623] ppid=3619 vsize=915732 CPUtime=0.15
/proc/3621/task/3623/stat : 3623 (java) S 3619 3621 3153 0 -1 64 3369 0 0 0 14 1 0 0 17 0 8 0 156346734 937709568 20220 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3621/tid=3624] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3624/stat : 3624 (java) S 3619 3621 3153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156346735 937709568 20220 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3625] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3625/stat : 3625 (java) S 3619 3621 3153 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156346735 937709568 20220 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3626] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3626/stat : 3626 (java) S 3619 3621 3153 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156346738 937709568 20220 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3627] ppid=3619 vsize=915732 CPUtime=0.29
/proc/3621/task/3627/stat : 3627 (java) S 3619 3621 3153 0 -1 64 499 0 0 0 28 1 0 0 15 0 8 0 156346738 937709568 20220 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3628] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3628/stat : 3628 (java) S 3619 3621 3153 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156346738 937709568 20220 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3629] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3629/stat : 3629 (java) S 3619 3621 3153 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156346738 937709568 20220 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915732

[startup+12.7488 s]
/proc/loadavg: 0.93 0.98 0.99 2/85 3629
/proc/meminfo: memFree=1125624/2055920 swapFree=4191880/4192956
[pid=3621] ppid=3619 vsize=915732 CPUtime=12.63
/proc/3621/stat : 3621 (java) R 3619 3621 3153 0 -1 0 20493 0 1 0 1216 47 0 0 25 0 8 0 156346722 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074018305 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3621/statm: 228933 20224 2536 14 0 215403 0
[pid=3621/tid=3623] ppid=3619 vsize=915732 CPUtime=0.15
/proc/3621/task/3623/stat : 3623 (java) S 3619 3621 3153 0 -1 64 3369 0 0 0 14 1 0 0 16 0 8 0 156346734 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3621/tid=3624] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3624/stat : 3624 (java) S 3619 3621 3153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156346735 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3625] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3625/stat : 3625 (java) S 3619 3621 3153 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156346735 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3626] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3626/stat : 3626 (java) S 3619 3621 3153 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156346738 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3627] ppid=3619 vsize=915732 CPUtime=0.3
/proc/3621/task/3627/stat : 3627 (java) S 3619 3621 3153 0 -1 64 503 0 0 0 29 1 0 0 16 0 8 0 156346738 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3628] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3628/stat : 3628 (java) S 3619 3621 3153 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156346738 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3629] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3629/stat : 3629 (java) S 3619 3621 3153 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156346738 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915732

[startup+25.5726 s]
/proc/loadavg: 0.95 0.98 0.99 2/85 3629
/proc/meminfo: memFree=1125688/2055920 swapFree=4191880/4192956
[pid=3621] ppid=3619 vsize=915732 CPUtime=25.45
/proc/3621/stat : 3621 (java) R 3619 3621 3153 0 -1 0 20493 0 1 0 2498 47 0 0 25 0 8 0 156346722 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336160 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3621/statm: 228933 20224 2536 14 0 215403 0
[pid=3621/tid=3623] ppid=3619 vsize=915732 CPUtime=0.15
/proc/3621/task/3623/stat : 3623 (java) S 3619 3621 3153 0 -1 64 3369 0 0 0 14 1 0 0 16 0 8 0 156346734 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3621/tid=3624] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3624/stat : 3624 (java) S 3619 3621 3153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156346735 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3625] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3625/stat : 3625 (java) S 3619 3621 3153 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156346735 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3626] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3626/stat : 3626 (java) S 3619 3621 3153 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156346738 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3627] ppid=3619 vsize=915732 CPUtime=0.3
/proc/3621/task/3627/stat : 3627 (java) S 3619 3621 3153 0 -1 64 503 0 0 0 29 1 0 0 16 0 8 0 156346738 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3628] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3628/stat : 3628 (java) S 3619 3621 3153 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156346738 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3629] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3629/stat : 3629 (java) S 3619 3621 3153 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156346738 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915732

[startup+51.2572 s]
/proc/loadavg: 0.96 0.98 0.99 2/85 3629
/proc/meminfo: memFree=1125752/2055920 swapFree=4191880/4192956
[pid=3621] ppid=3619 vsize=915732 CPUtime=51.12
/proc/3621/stat : 3621 (java) R 3619 3621 3153 0 -1 0 20493 0 1 0 5065 47 0 0 25 0 8 0 156346722 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073996699 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3621/statm: 228933 20224 2536 14 0 215403 0
[pid=3621/tid=3623] ppid=3619 vsize=915732 CPUtime=0.15
/proc/3621/task/3623/stat : 3623 (java) S 3619 3621 3153 0 -1 64 3369 0 0 0 14 1 0 0 16 0 8 0 156346734 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3621/tid=3624] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3624/stat : 3624 (java) S 3619 3621 3153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156346735 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3625] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3625/stat : 3625 (java) S 3619 3621 3153 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156346735 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3626] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3626/stat : 3626 (java) S 3619 3621 3153 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156346738 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3627] ppid=3619 vsize=915732 CPUtime=0.3
/proc/3621/task/3627/stat : 3627 (java) S 3619 3621 3153 0 -1 64 503 0 0 0 29 1 0 0 16 0 8 0 156346738 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3628] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3628/stat : 3628 (java) S 3619 3621 3153 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156346738 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3629] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3629/stat : 3629 (java) S 3619 3621 3153 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156346738 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 915732

[startup+102.513 s]
/proc/loadavg: 1.04 1.00 1.00 2/85 3629
/proc/meminfo: memFree=1125816/2055920 swapFree=4191880/4192956
[pid=3621] ppid=3619 vsize=915732 CPUtime=102.36
/proc/3621/stat : 3621 (java) R 3619 3621 3153 0 -1 0 20493 0 1 0 10189 47 0 0 25 0 8 0 156346722 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074009153 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3621/statm: 228933 20224 2536 14 0 215403 0
[pid=3621/tid=3623] ppid=3619 vsize=915732 CPUtime=0.15
/proc/3621/task/3623/stat : 3623 (java) S 3619 3621 3153 0 -1 64 3369 0 0 0 14 1 0 0 16 0 8 0 156346734 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3621/tid=3624] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3624/stat : 3624 (java) S 3619 3621 3153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156346735 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3625] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3625/stat : 3625 (java) S 3619 3621 3153 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156346735 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3626] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3626/stat : 3626 (java) S 3619 3621 3153 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156346738 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3627] ppid=3619 vsize=915732 CPUtime=0.3
/proc/3621/task/3627/stat : 3627 (java) S 3619 3621 3153 0 -1 64 503 0 0 0 29 1 0 0 16 0 8 0 156346738 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3628] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3628/stat : 3628 (java) S 3619 3621 3153 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156346738 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3629] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3629/stat : 3629 (java) S 3619 3621 3153 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156346738 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.36
Current children cumulated vsize (KiB) 915732

[startup+162.603 s]
/proc/loadavg: 1.01 1.00 1.00 2/85 3629
/proc/meminfo: memFree=1125816/2055920 swapFree=4191880/4192956
[pid=3621] ppid=3619 vsize=915732 CPUtime=162.44
/proc/3621/stat : 3621 (java) R 3619 3621 3153 0 -1 0 20493 0 1 0 16196 48 0 0 25 0 8 0 156346722 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074062460 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1424.08
Current children cumulated vsize (KiB) 915732

[startup+1484.64 s]
/proc/loadavg: 1.04 1.01 1.00 2/88 3693
/proc/meminfo: memFree=1118280/2055920 swapFree=4191880/4192956
[pid=3621] ppid=3619 vsize=915732 CPUtime=1484.13
/proc/3621/stat : 3621 (java) R 3619 3621 3153 0 -1 0 20493 0 1 0 148354 59 0 0 25 0 8 0 156346722 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074032818 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3621/statm: 228933 20224 2536 14 0 215403 0
[pid=3621/tid=3623] ppid=3619 vsize=915732 CPUtime=0.15
/proc/3621/task/3623/stat : 3623 (java) S 3619 3621 3153 0 -1 64 3369 0 0 0 14 1 0 0 16 0 8 0 156346734 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3621/tid=3624] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3624/stat : 3624 (java) S 3619 3621 3153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156346735 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3625] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3625/stat : 3625 (java) S 3619 3621 3153 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156346735 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3626] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3626/stat : 3626 (java) S 3619 3621 3153 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156346738 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3627] ppid=3619 vsize=915732 CPUtime=0.3
/proc/3621/task/3627/stat : 3627 (java) S 3619 3621 3153 0 -1 64 503 0 0 0 29 1 0 0 16 0 8 0 156346738 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3628] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3628/stat : 3628 (java) S 3619 3621 3153 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156346738 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3629] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3629/stat : 3629 (java) S 3619 3621 3153 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156346738 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1484.13
Current children cumulated vsize (KiB) 915732

[startup+1544.67 s]
/proc/loadavg: 1.65 1.19 1.06 3/100 3705
/proc/meminfo: memFree=1090032/2055920 swapFree=4191880/4192956
[pid=3621] ppid=3619 vsize=915732 CPUtime=1544.15
/proc/3621/stat : 3621 (java) R 3619 3621 3153 0 -1 0 20493 0 1 0 154355 60 0 0 25 0 8 0 156346722 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074080770 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3621/statm: 228933 20224 2536 14 0 215403 0
[pid=3621/tid=3623] ppid=3619 vsize=915732 CPUtime=0.15
/proc/3621/task/3623/stat : 3623 (java) S 3619 3621 3153 0 -1 64 3369 0 0 0 14 1 0 0 16 0 8 0 156346734 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3621/tid=3624] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3624/stat : 3624 (java) S 3619 3621 3153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156346735 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3625] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3625/stat : 3625 (java) S 3619 3621 3153 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156346735 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3626] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3626/stat : 3626 (java) S 3619 3621 3153 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156346738 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3627] ppid=3619 vsize=915732 CPUtime=0.3
/proc/3621/task/3627/stat : 3627 (java) S 3619 3621 3153 0 -1 64 503 0 0 0 29 1 0 0 16 0 8 0 156346738 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3628] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3628/stat : 3628 (java) S 3619 3621 3153 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156346738 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3629] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3629/stat : 3629 (java) S 3619 3621 3153 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156346738 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1544.15
Current children cumulated vsize (KiB) 915732

[startup+1604.71 s]
/proc/loadavg: 1.93 1.35 1.12 3/100 3705
/proc/meminfo: memFree=1090096/2055920 swapFree=4191880/4192956
[pid=3621] ppid=3619 vsize=915732 CPUtime=1604.16
/proc/3621/stat : 3621 (java) R 3619 3621 3153 0 -1 0 20493 0 1 0 160356 60 0 0 25 0 8 0 156346722 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073991752 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3621/statm: 228933 20224 2536 14 0 215403 0
[pid=3621/tid=3623] ppid=3619 vsize=915732 CPUtime=0.15
/proc/3621/task/3623/stat : 3623 (java) S 3619 3621 3153 0 -1 64 3369 0 0 0 14 1 0 0 16 0 8 0 156346734 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3621/tid=3624] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3624/stat : 3624 (java) S 3619 3621 3153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156346735 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3625] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3625/stat : 3625 (java) S 3619 3621 3153 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156346735 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3626] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3626/stat : 3626 (java) S 3619 3621 3153 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156346738 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3627] ppid=3619 vsize=915732 CPUtime=0.3
/proc/3621/task/3627/stat : 3627 (java) S 3619 3621 3153 0 -1 64 503 0 0 0 29 1 0 0 16 0 8 0 156346738 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3621/tid=3628] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3628/stat : 3628 (java) S 3619 3621 3153 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156346738 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3629] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3629/stat : 3629 (java) S 3619 3621 3153 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156346738 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1604.16
Current children cumulated vsize (KiB) 915732

[startup+1664.74 s]
/proc/loadavg: 1.97 1.47 1.17 3/100 3705
/proc/meminfo: memFree=1090160/2055920 swapFree=4191880/4192956
[pid=3621] ppid=3619 vsize=915732 CPUtime=1664.18
/proc/3621/stat : 3621 (java) R 3619 3621 3153 0 -1 0 20493 0 1 0 166357 61 0 0 25 0 8 0 156346722 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074062460 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3621/statm: 228933 20224 2536 14 0 215403 0
[pid=3621/tid=3623] ppid=3619 vsize=915732 CPUtime=0.15
/proc/3621/task/3623/stat : 3623 (java) S 3619 3621 3153 0 -1 64 3369 0 0 0 14 1 0 0 16 0 8 0 156346734 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3621/tid=3624] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3624/stat : 3624 (java) S 3619 3621 3153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156346735 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3625] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3625/stat : 3625 (java) S 3619 3621 3153 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156346735 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3626] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3626/stat : 3626 (java) S 3619 3621 3153 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156346738 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3627] ppid=3619 vsize=915732 CPUtime=0.3
/proc/3621/task/3627/stat : 3627 (java) S 3619 3621 3153 0 -1 64 503 0 0 0 29 1 0 0 16 0 8 0 156346738 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3621/tid=3628] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3628/stat : 3628 (java) S 3619 3621 3153 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156346738 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3629] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3629/stat : 3629 (java) S 3619 3621 3153 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156346738 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1664.18
Current children cumulated vsize (KiB) 915732

[startup+1724.76 s]
/proc/loadavg: 1.99 1.56 1.22 3/100 3705
/proc/meminfo: memFree=1090160/2055920 swapFree=4191880/4192956
[pid=3621] ppid=3619 vsize=915732 CPUtime=1724.19
/proc/3621/stat : 3621 (java) R 3619 3621 3153 0 -1 0 20493 0 1 0 172358 61 0 0 25 0 8 0 156346722 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074009177 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3621/statm: 228933 20224 2536 14 0 215403 0
[pid=3621/tid=3623] ppid=3619 vsize=915732 CPUtime=0.15
/proc/3621/task/3623/stat : 3623 (java) S 3619 3621 3153 0 -1 64 3369 0 0 0 14 1 0 0 16 0 8 0 156346734 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3621/tid=3624] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3624/stat : 3624 (java) S 3619 3621 3153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156346735 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3625] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3625/stat : 3625 (java) S 3619 3621 3153 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156346735 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3626] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3626/stat : 3626 (java) S 3619 3621 3153 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156346738 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3627] ppid=3619 vsize=915732 CPUtime=0.3
/proc/3621/task/3627/stat : 3627 (java) S 3619 3621 3153 0 -1 64 503 0 0 0 29 1 0 0 16 0 8 0 156346738 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3621/tid=3628] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3628/stat : 3628 (java) S 3619 3621 3153 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156346738 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3629] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3629/stat : 3629 (java) S 3619 3621 3153 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156346738 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1724.19
Current children cumulated vsize (KiB) 915732

[startup+1784.82 s]
/proc/loadavg: 2.13 1.68 1.28 3/106 3849
/proc/meminfo: memFree=1088760/2055920 swapFree=4191880/4192956
[pid=3621] ppid=3619 vsize=915732 CPUtime=1784.08
/proc/3621/stat : 3621 (java) R 3619 3621 3153 0 -1 0 20493 0 1 0 178346 62 0 0 25 0 8 0 156346722 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074043773 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3621/statm: 228933 20224 2536 14 0 215403 0
[pid=3621/tid=3623] ppid=3619 vsize=915732 CPUtime=0.15
/proc/3621/task/3623/stat : 3623 (java) S 3619 3621 3153 0 -1 64 3369 0 0 0 14 1 0 0 16 0 8 0 156346734 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3621/tid=3624] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3624/stat : 3624 (java) S 3619 3621 3153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156346735 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3625] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3625/stat : 3625 (java) S 3619 3621 3153 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156346735 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3626] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3626/stat : 3626 (java) S 3619 3621 3153 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156346738 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3627] ppid=3619 vsize=915732 CPUtime=0.3
/proc/3621/task/3627/stat : 3627 (java) S 3619 3621 3153 0 -1 64 503 0 0 0 29 1 0 0 16 0 8 0 156346738 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3621/tid=3628] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3628/stat : 3628 (java) S 3619 3621 3153 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156346738 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3629] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3629/stat : 3629 (java) S 3619 3621 3153 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156346738 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1784.08
Current children cumulated vsize (KiB) 915732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.76 s]
/proc/loadavg: 2.10 1.70 1.29 3/106 3863
/proc/meminfo: memFree=1088832/2055920 swapFree=4191880/4192956
[pid=3621] ppid=3619 vsize=915732 CPUtime=1800.02
/proc/3621/stat : 3621 (java) R 3619 3621 3153 0 -1 0 20493 0 1 0 179940 62 0 0 25 0 8 0 156346722 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074058519 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3621/statm: 228933 20224 2536 14 0 215403 0
[pid=3621/tid=3623] ppid=3619 vsize=915732 CPUtime=0.15
/proc/3621/task/3623/stat : 3623 (java) S 3619 3621 3153 0 -1 64 3369 0 0 0 14 1 0 0 16 0 8 0 156346734 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3621/tid=3624] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3624/stat : 3624 (java) S 3619 3621 3153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156346735 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3625] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3625/stat : 3625 (java) S 3619 3621 3153 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156346735 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3626] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3626/stat : 3626 (java) S 3619 3621 3153 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156346738 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3627] ppid=3619 vsize=915732 CPUtime=0.3
/proc/3621/task/3627/stat : 3627 (java) S 3619 3621 3153 0 -1 64 503 0 0 0 29 1 0 0 16 0 8 0 156346738 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3621/tid=3628] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3628/stat : 3628 (java) S 3619 3621 3153 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156346738 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3621/tid=3629] ppid=3619 vsize=915732 CPUtime=0
/proc/3621/task/3629/stat : 3629 (java) S 3619 3621 3153 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156346738 937709568 20224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 915732

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

Child status: 143
Real time (s): 1800.82
CPU time (s): 1800.08
CPU user time (s): 1799.44
CPU system time (s): 0.637903
CPU usage (%): 99.9588
Max. virtual memory (cumulated for all children) (KiB): 915764

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.44
system time used= 0.637903
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20509
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= 37524
involuntary context switches= 39607

runsolver used 2.06069 s user time and 4.41033 s system time

The end

Launcher Data (download as text)

Begin job on node30 on Sat Jan  6 10:32:06 UTC 2007


IDJOB= 217974
IDBENCH= 5185
FILE ID= node30/217974-1168079525

PBS_JOBID= 3476077

Free space on /tmp= 66482 MiB

BENCH NAME= HOME/pub/bench/CPAI06/ramsey/ramsey4/ramsey-38-4.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/217974-1168079525/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node30/watcher-217974-1168079525 -o ROOT/results/node30/solver-217974-1168079525 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/217974-1168079525/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  7f9e6189ca845e1515395d3ba8d55a18

RANDOM SEED= 853166288

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.234
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.234
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:       1197256 kB
Buffers:         50560 kB
Cached:         669700 kB
SwapCached:        268 kB
Active:         178200 kB
Inactive:       593976 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1197256 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            2956 kB
Writeback:           0 kB
Mapped:          69652 kB
Slab:            71840 kB
Committed_AS:  3055264 kB
PageTables:       1888 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= 66480 MiB



End job on node30 on Sat Jan  6 11:02:16 UTC 2007