Trace number 209916

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 ESAC? (TO) 1800.11 1804.58

General information on the benchmark

NameschurrLemma/
lemma-67-4.xml
MD5SUM61c7a360ec82efef68ace54022e2521a
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables67
Number of constraints1089
Maximum constraint arity3
Maximum domain size4
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1089
Global constraints used (with number of constraints)

Solver Data (download as text)

0.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=esac.xml
0.35	   
0.35	   instance
0.36	     name=/tmp/evaluation/209916-1168194942/unknown.xml
0.39	   
0.39	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.43	     nbVariables=67  nbDomainTypes=1  minDomainSize=4  maxDomainSize=4
0.43	       =>  wckTime=0.106  cpuTime=0.1  mem=6M951
0.43	   
0.43	   predicates being loaded...
0.43	   
0.43	   constraints being loaded...
0.80	     nbConstraints=1089  nbConflictsStructures=1  nbSharedConflictsStructures=1088  nbSharedBinaryRepresentations=0
0.80	     nbEvaluationManagers=1  nbSharedEvaluationManagers=1088  maxDegree=65  maxArity=3
0.80	       =>  wckTime=0.471  cpuTime=0.36  mem=16M703
0.84	   
0.84	   solver IterativeSystematicSolver being built... 
1.05	       =>  wckTime=0.722  cpuTime=0.52  mem=20M868
1.12	   
1.12	   preprocessing
1.12	     nbConstraintChecks=3860  nbValidityChecks=834  nbPropagations=317  nbRevisions=1586  nbUselessRevisions=1382
1.12	     nbSingletonTests=73  nbEffectiveSingletonTests=0  nbESACBranches=2  nbRemovedValues=0  detectedInconsistency=no
1.12	       =>  wckTime=0.072  cpuTime=0.03  mem=20M868
1.17	   
1.17	   search
1.17	     run=0  nbConstraintChecks=5202  nbValidityChecks=4713  nbPropagations=524  nbRevisions=3717
1.17	     nbUselessRevisions=3103  nbAssignments=45  nbFailedAssignments=8  nbBacktracks=13  nbVisitedNodes=57
1.17	     nbRestartNogoods=0  mapSize=9  nbInferences=0  nbTooLargeKeys=0
1.17	       =>  wckTime=0.121  cpuTime=0.06  mem=20M868
1.20	   
1.20	   search
1.20	     run=1  nbConstraintChecks=12480  nbValidityChecks=13180  nbPropagations=1322  nbRevisions=10750
1.20	     nbUselessRevisions=8850  nbAssignments=92  nbFailedAssignments=14  nbBacktracks=28  nbVisitedNodes=119
1.20	     nbRestartNogoods=2  mapSize=20  nbInferences=0  nbTooLargeKeys=0
1.20	       =>  wckTime=0.148  cpuTime=0.09  mem=20M868
1.22	   
1.22	   search
1.22	     run=2  nbConstraintChecks=20604  nbValidityChecks=22877  nbPropagations=2459  nbRevisions=21364
1.22	     nbUselessRevisions=17420  nbAssignments=149  nbFailedAssignments=25  nbBacktracks=50  nbVisitedNodes=196
1.22	     nbRestartNogoods=6  mapSize=38  nbInferences=0  nbTooLargeKeys=0
1.22	       =>  wckTime=0.173  cpuTime=0.11  mem=20M868
1.25	   
1.25	   search
1.25	     run=3  nbConstraintChecks=28194  nbValidityChecks=33059  nbPropagations=3935  nbRevisions=35751
1.25	     nbUselessRevisions=28974  nbAssignments=216  nbFailedAssignments=39  nbBacktracks=85  nbVisitedNodes=285
1.25	     nbRestartNogoods=8  mapSize=59  nbInferences=0  nbTooLargeKeys=0
1.25	       =>  wckTime=0.206  cpuTime=0.14  mem=20M868
1.30	   
1.30	   search
1.30	     run=4  nbConstraintChecks=41409  nbValidityChecks=52790  nbPropagations=5975  nbRevisions=57464
1.30	     nbUselessRevisions=46359  nbAssignments=310  nbFailedAssignments=59  nbBacktracks=142  nbVisitedNodes=416
1.30	     nbRestartNogoods=9  mapSize=95  nbInferences=0  nbTooLargeKeys=0
1.30	       =>  wckTime=0.246  cpuTime=0.17  mem=20M868
1.36	   
1.36	   search
1.36	     run=5  nbConstraintChecks=66070  nbValidityChecks=87599  nbPropagations=8995  nbRevisions=92217
1.36	     nbUselessRevisions=74244  nbAssignments=453  nbFailedAssignments=99  nbBacktracks=219  nbVisitedNodes=624
1.36	     nbRestartNogoods=10  mapSize=152  nbInferences=0  nbTooLargeKeys=0
1.36	       =>  wckTime=0.314  cpuTime=0.24  mem=20M868
1.43	   
1.43	   search
1.43	     run=6  nbConstraintChecks=92428  nbValidityChecks=122139  nbPropagations=13008  nbRevisions=138854
1.43	     nbUselessRevisions=111614  nbAssignments=620  nbFailedAssignments=136  nbBacktracks=335  nbVisitedNodes=868
1.43	     nbRestartNogoods=18  mapSize=225  nbInferences=0  nbTooLargeKeys=0
1.43	       =>  wckTime=0.384  cpuTime=0.31  mem=20M868
1.59	   
1.59	   search
1.59	     run=7  nbConstraintChecks=165078  nbValidityChecks=214036  nbPropagations=19487  nbRevisions=219176
1.59	     nbUselessRevisions=176233  nbAssignments=909  nbFailedAssignments=234  nbBacktracks=507  nbVisitedNodes=1347
1.59	     nbRestartNogoods=19  mapSize=381  nbInferences=0  nbTooLargeKeys=0
1.59	       =>  wckTime=0.537  cpuTime=0.46  mem=20M868
1.76	   
1.76	   search
1.76	     run=8  nbConstraintChecks=236352  nbValidityChecks=315854  nbPropagations=28594  nbRevisions=338631
1.76	     nbUselessRevisions=273218  nbAssignments=1300  nbFailedAssignments=342  nbBacktracks=763  nbVisitedNodes=1920
1.76	     nbRestartNogoods=21  mapSize=553  nbInferences=0  nbTooLargeKeys=0
1.76	       =>  wckTime=0.711  cpuTime=0.63  mem=20M868
1.99	   
1.99	   search
1.99	     run=9  nbConstraintChecks=323473  nbValidityChecks=440999  nbPropagations=41641  nbRevisions=503634
1.99	     nbUselessRevisions=406816  nbAssignments=1974  nbFailedAssignments=476  nbBacktracks=1147  nbVisitedNodes=2723
1.99	     nbRestartNogoods=30  mapSize=800  nbInferences=0  nbTooLargeKeys=0
1.99	       =>  wckTime=0.941  cpuTime=0.84  mem=20M868
2.14	   
2.14	   INFO : Stopping hyperNogood (mapSize=1011, nbTooLargekeys=0, mem=20M868)
2.26	   
2.26	   search
2.26	     run=10  nbConstraintChecks=460941  nbValidityChecks=630194  nbPropagations=59800  nbRevisions=738065
2.26	     nbUselessRevisions=596214  nbAssignments=2786  nbFailedAssignments=690  nbBacktracks=1725  nbVisitedNodes=3958
2.26	     nbRestartNogoods=39
2.26	       =>  wckTime=1.214  cpuTime=1.1  mem=20M868
2.65	   
2.65	   search
2.65	     run=11  nbConstraintChecks=673200  nbValidityChecks=931319  nbPropagations=86026  nbRevisions=1080650
2.65	     nbUselessRevisions=872299  nbAssignments=3998  nbFailedAssignments=1019  nbBacktracks=2590  nbVisitedNodes=5783
2.65	     nbRestartNogoods=45
2.65	       =>  wckTime=1.599  cpuTime=1.48  mem=20M868
3.23	   
3.23	   search
3.23	     run=12  nbConstraintChecks=983952  nbValidityChecks=1367123  nbPropagations=124584  nbRevisions=1585167
3.23	     nbUselessRevisions=1278775  nbAssignments=5800  nbFailedAssignments=1504  nbBacktracks=3887  nbVisitedNodes=8537
3.23	     nbRestartNogoods=49
3.23	       =>  wckTime=2.177  cpuTime=2.05  mem=20M868
4.39	   
4.39	   search
4.39	     run=13  nbConstraintChecks=1666412  nbValidityChecks=2271206  nbPropagations=187366  nbRevisions=2417962
4.39	     nbUselessRevisions=1950817  nbAssignments=8826  nbFailedAssignments=2562  nbBacktracks=5834  nbVisitedNodes=13498
4.39	     nbRestartNogoods=55
4.39	       =>  wckTime=3.341  cpuTime=3.21  mem=20M868
5.58	   
5.58	   search
5.58	     run=14  nbConstraintChecks=2327214  nbValidityChecks=3201147  nbPropagations=275214  nbRevisions=3581591
5.58	     nbUselessRevisions=2888545  nbAssignments=12832  nbFailedAssignments=3630  nbBacktracks=8756  nbVisitedNodes=19591
5.58	     nbRestartNogoods=59
5.58	       =>  wckTime=4.533  cpuTime=4.39  mem=20M868
7.38	   
7.38	   search
7.38	     run=15  nbConstraintChecks=3340235  nbValidityChecks=4647602  nbPropagations=401507  nbRevisions=5263598
7.38	     nbUselessRevisions=4240673  nbAssignments=18905  nbFailedAssignments=5304  nbBacktracks=13134  nbVisitedNodes=28810
7.38	     nbRestartNogoods=66
7.38	       =>  wckTime=6.33  cpuTime=6.16  mem=20M868
10.64	   
10.64	   search
10.64	     run=16  nbConstraintChecks=5237797  nbValidityChecks=7192927  nbPropagations=596842  nbRevisions=7863163
10.64	     nbUselessRevisions=6329462  nbAssignments=28499  nbFailedAssignments=8314  nbBacktracks=19703  nbVisitedNodes=43989
10.64	     nbRestartNogoods=78
10.64	       =>  wckTime=9.589  cpuTime=9.39  mem=20M868
14.59	   
14.59	   search
14.59	     run=17  nbConstraintChecks=7489976  nbValidityChecks=10392170  nbPropagations=877554  nbRevisions=11588876
14.59	     nbUselessRevisions=9315619  nbAssignments=42196  nbFailedAssignments=12143  nbBacktracks=29558
14.59	     nbVisitedNodes=64765  nbRestartNogoods=87
14.59	       =>  wckTime=13.543  cpuTime=13.31  mem=20M868
22.04	   
22.04	   search
22.04	     run=18  nbConstraintChecks=11825488  nbValidityChecks=16282184  nbPropagations=1316363  nbRevisions=17446156
22.04	     nbUselessRevisions=14016690  nbAssignments=64133  nbFailedAssignments=19285  nbBacktracks=44340
22.04	     nbVisitedNodes=99514  nbRestartNogoods=93
22.04	       =>  wckTime=20.99  cpuTime=20.68  mem=20M868
30.96	   
30.96	   search
30.96	     run=19  nbConstraintChecks=16986577  nbValidityChecks=23809094  nbPropagations=1951169  nbRevisions=26034853
30.96	     nbUselessRevisions=20908350  nbAssignments=94618  nbFailedAssignments=27583  nbBacktracks=66509
30.96	     nbVisitedNodes=145537  nbRestartNogoods=100
30.96	       =>  wckTime=29.907  cpuTime=29.54  mem=20M868
49.83	   
49.83	   search
49.83	     run=20  nbConstraintChecks=28356324  nbValidityChecks=38942313  nbPropagations=2987589  nbRevisions=40218061
49.83	     nbUselessRevisions=32324277  nbAssignments=144976  nbFailedAssignments=44670  nbBacktracks=99763
49.83	     nbVisitedNodes=227071  nbRestartNogoods=107
49.83	       =>  wckTime=48.781  cpuTime=48.34  mem=21M843
70.50	   
70.50	   search
70.50	     run=21  nbConstraintChecks=40330126  nbValidityChecks=55861890  nbPropagations=4472144  nbRevisions=60331433
70.50	     nbUselessRevisions=48464258  nbAssignments=214093  nbFailedAssignments=63893  nbBacktracks=149641
70.50	     nbVisitedNodes=332889  nbRestartNogoods=116
70.50	       =>  wckTime=69.449  cpuTime=68.9  mem=21M843
112.04	   
112.04	   search
112.04	     run=22  nbConstraintChecks=65227783  nbValidityChecks=89032658  nbPropagations=6843558  nbRevisions=92633999
112.04	     nbUselessRevisions=74448394  nbAssignments=326964  nbFailedAssignments=101922  nbBacktracks=224462
112.04	     nbVisitedNodes=515700  nbRestartNogoods=120
112.04	       =>  wckTime=110.987  cpuTime=110.24  mem=21M843
159.32	   
159.32	   search
159.32	     run=23  nbConstraintChecks=93165124  nbValidityChecks=128422825  nbPropagations=10240794  nbRevisions=138708514
159.32	     nbUselessRevisions=111412885  nbAssignments=482340  nbFailedAssignments=145052  nbBacktracks=336693
159.32	     nbVisitedNodes=753419  nbRestartNogoods=130
159.32	       =>  wckTime=158.274  cpuTime=157.3  mem=21M843
223.59	   
223.59	   search
223.59	     run=24  nbConstraintChecks=131540080  nbValidityChecks=183261569  nbPropagations=15111918  nbRevisions=204936915
223.60	     nbUselessRevisions=164570927  nbAssignments=724971  nbFailedAssignments=219322  nbBacktracks=505036
223.60	     nbVisitedNodes=1121506  nbRestartNogoods=139
223.60	       =>  wckTime=222.546  cpuTime=221.26  mem=21M843
330.18	   
330.19	   search
330.19	     run=25  nbConstraintChecks=193420840  nbValidityChecks=269760280  nbPropagations=22310227  nbRevisions=301972268
330.19	     nbUselessRevisions=242313966  nbAssignments=1066410  nbFailedAssignments=308232  nbBacktracks=757548
330.19	     nbVisitedNodes=1636510  nbRestartNogoods=147
330.19	       =>  wckTime=329.136  cpuTime=327.35  mem=21M843
487.92	   
487.92	   search
487.92	     run=26  nbConstraintChecks=284605729  nbValidityChecks=397553824  nbPropagations=32967559  nbRevisions=444490567
487.92	     nbUselessRevisions=356311300  nbAssignments=1583485  nbFailedAssignments=446526  nbBacktracks=1136317
487.92	     nbVisitedNodes=2420079  nbRestartNogoods=157
487.92	       =>  wckTime=486.874  cpuTime=484.33  mem=21M843
797.52	   
797.52	   search
797.52	     run=27  nbConstraintChecks=474735396  nbValidityChecks=649498976  nbPropagations=50309315  nbRevisions=679001716
797.52	     nbUselessRevisions=544502905  nbAssignments=2434910  nbFailedAssignments=729778  nbBacktracks=1704469
797.52	     nbVisitedNodes=3807381  nbRestartNogoods=166
797.52	       =>  wckTime=796.473  cpuTime=792.46  mem=21M843
1193.08	   
1193.08	   search
1193.08	     run=28  nbConstraintChecks=715042801  nbValidityChecks=977974632  nbPropagations=76362745  nbRevisions=1031271394
1193.09	     nbUselessRevisions=827144825  nbAssignments=3675144  nbFailedAssignments=1117764  nbBacktracks=2556698
1193.09	     nbVisitedNodes=5770683  nbRestartNogoods=180
1193.09	       =>  wckTime=1192.036  cpuTime=1187.8  mem=21M843
1746.06	   
1746.06	   search
1746.06	     run=29  nbConstraintChecks=1049305620  nbValidityChecks=1443369993  nbPropagations=114721043
1746.06	     nbRevisions=1548535669  nbUselessRevisions=1241677686  nbAssignments=5490293  nbFailedAssignments=1654517
1746.06	     nbBacktracks=3835041  nbVisitedNodes=8591776  nbRestartNogoods=191
1746.06	       =>  wckTime=1745.011  cpuTime=1740.49  mem=21M843

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/node2/watcher-209916-1168194942 -o ROOT/results/node2/solver-209916-1168194942 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/209916-1168194942/unknown.xml 

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

/proc/loadavg: 1.96 2.03 2.00 4/94 12824
/proc/meminfo: memFree=768728/2055920 swapFree=4191880/4192956
[pid=12823] ppid=12821 vsize=18540 CPUtime=0
/proc/12823/stat : 12823 (runsolver) R 12821 12823 11804 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 167889825 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 206381313319 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/12823/statm: 4635 279 244 17 0 2626 0

[startup+0.108871 s]
/proc/loadavg: 1.96 2.03 2.00 4/94 12824
/proc/meminfo: memFree=768728/2055920 swapFree=4191880/4192956
[pid=12823] ppid=12821 vsize=914988 CPUtime=0.08
/proc/12823/stat : 12823 (java) D 12821 12823 11804 0 -1 0 2989 0 1 0 7 1 0 0 18 0 8 0 167889825 936947712 2735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12823/statm: 228747 2735 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.518949 s]
/proc/loadavg: 1.96 2.03 2.00 4/94 12824
/proc/meminfo: memFree=768728/2055920 swapFree=4191880/4192956
[pid=12823] ppid=12821 vsize=915328 CPUtime=0.48
/proc/12823/stat : 12823 (java) R 12821 12823 11804 0 -1 0 6505 0 1 0 45 3 0 0 18 0 8 0 167889825 937295872 6244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12823/statm: 228832 6244 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.3401 s]
/proc/loadavg: 1.96 2.03 2.00 3/101 12831
/proc/meminfo: memFree=739104/2055920 swapFree=4191880/4192956
[pid=12823] ppid=12821 vsize=915580 CPUtime=1.3
/proc/12823/stat : 12823 (java) R 12821 12823 11804 0 -1 0 10184 0 1 0 118 12 0 0 24 0 8 0 167889825 937553920 9922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073341744 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12823/statm: 228895 9922 2543 14 0 215365 0
[pid=12823/tid=12825] ppid=12821 vsize=915580 CPUtime=0.03
/proc/12823/task/12825/stat : 12825 (java) S 12821 12823 11804 0 -1 64 278 0 0 0 3 0 0 0 16 0 8 0 167889829 937553920 9922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12826] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12826/stat : 12826 (java) S 12821 12823 11804 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167889829 937553920 9922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12827] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12827/stat : 12827 (java) S 12821 12823 11804 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167889829 937553920 9922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12828] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12828/stat : 12828 (java) S 12821 12823 11804 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167889833 937553920 9922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12829] ppid=12821 vsize=915580 CPUtime=0.27
/proc/12823/task/12829/stat : 12829 (java) S 12821 12823 11804 0 -1 64 417 0 0 0 26 1 0 0 15 0 8 0 167889833 937553920 9922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12830] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12830/stat : 12830 (java) S 12821 12823 11804 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167889833 937553920 9922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12831] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12831/stat : 12831 (java) S 12821 12823 11804 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167889833 937553920 9922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915580

[startup+2.9784 s]
/proc/loadavg: 1.96 2.03 2.00 3/101 12831
/proc/meminfo: memFree=738464/2055920 swapFree=4191880/4192956
[pid=12823] ppid=12821 vsize=915580 CPUtime=2.92
/proc/12823/stat : 12823 (java) R 12821 12823 11804 0 -1 0 10271 0 1 0 280 12 0 0 25 0 8 0 167889825 937553920 10007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073933935 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12823/statm: 228895 10007 2543 14 0 215365 0
[pid=12823/tid=12825] ppid=12821 vsize=915580 CPUtime=0.03
/proc/12823/task/12825/stat : 12825 (java) S 12821 12823 11804 0 -1 64 278 0 0 0 3 0 0 0 17 0 8 0 167889829 937553920 10007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12826] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12826/stat : 12826 (java) S 12821 12823 11804 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167889829 937553920 10007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12827] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12827/stat : 12827 (java) S 12821 12823 11804 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167889829 937553920 10007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12828] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12828/stat : 12828 (java) S 12821 12823 11804 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167889833 937553920 10007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12829] ppid=12821 vsize=915580 CPUtime=0.31
/proc/12823/task/12829/stat : 12829 (java) S 12821 12823 11804 0 -1 64 436 0 0 0 29 2 0 0 15 0 8 0 167889833 937553920 10007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12830] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12830/stat : 12830 (java) S 12821 12823 11804 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167889833 937553920 10007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12831] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12831/stat : 12831 (java) S 12821 12823 11804 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167889833 937553920 10007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915580

[startup+6.17899 s]
/proc/loadavg: 1.96 2.03 2.00 3/101 12831
/proc/meminfo: memFree=738400/2055920 swapFree=4191880/4192956
[pid=12823] ppid=12821 vsize=915580 CPUtime=6.09
/proc/12823/stat : 12823 (java) R 12821 12823 11804 0 -1 0 10281 0 1 0 597 12 0 0 25 0 8 0 167889825 937553920 10017 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073929060 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12823/statm: 228895 10017 2543 14 0 215365 0
[pid=12823/tid=12825] ppid=12821 vsize=915580 CPUtime=0.03
/proc/12823/task/12825/stat : 12825 (java) S 12821 12823 11804 0 -1 64 278 0 0 0 3 0 0 0 16 0 8 0 167889829 937553920 10017 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12826] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12826/stat : 12826 (java) S 12821 12823 11804 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167889829 937553920 10017 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12827] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12827/stat : 12827 (java) S 12821 12823 11804 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167889829 937553920 10017 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12828] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12828/stat : 12828 (java) S 12821 12823 11804 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167889833 937553920 10017 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12829] ppid=12821 vsize=915580 CPUtime=0.31
/proc/12823/task/12829/stat : 12829 (java) S 12821 12823 11804 0 -1 64 438 0 0 0 29 2 0 0 16 0 8 0 167889833 937553920 10017 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12830] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12830/stat : 12830 (java) S 12821 12823 11804 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167889833 937553920 10017 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12831] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12831/stat : 12831 (java) S 12821 12823 11804 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167889833 937553920 10017 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 915580

[startup+12.6612 s]
/proc/loadavg: 1.97 2.03 2.00 3/101 12831
/proc/meminfo: memFree=738400/2055920 swapFree=4191880/4192956
[pid=12823] ppid=12821 vsize=915580 CPUtime=12.51
/proc/12823/stat : 12823 (java) R 12821 12823 11804 0 -1 0 10287 0 1 0 1239 12 0 0 25 0 8 0 167889825 937553920 10023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073938240 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12823/statm: 228895 10023 2543 14 0 215365 0
[pid=12823/tid=12825] ppid=12821 vsize=915580 CPUtime=0.03
/proc/12823/task/12825/stat : 12825 (java) S 12821 12823 11804 0 -1 64 278 0 0 0 3 0 0 0 16 0 8 0 167889829 937553920 10023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12826] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12826/stat : 12826 (java) S 12821 12823 11804 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167889829 937553920 10023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12827] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12827/stat : 12827 (java) S 12821 12823 11804 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167889829 937553920 10023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12828] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12828/stat : 12828 (java) S 12821 12823 11804 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167889833 937553920 10023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12829] ppid=12821 vsize=915580 CPUtime=0.32
/proc/12823/task/12829/stat : 12829 (java) S 12821 12823 11804 0 -1 64 439 0 0 0 30 2 0 0 16 0 8 0 167889833 937553920 10023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12830] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12830/stat : 12830 (java) S 12821 12823 11804 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167889833 937553920 10023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12831] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12831/stat : 12831 (java) S 12821 12823 11804 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167889833 937553920 10023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 915580

[startup+25.5346 s]
/proc/loadavg: 1.97 2.02 2.00 3/101 12831
/proc/meminfo: memFree=738400/2055920 swapFree=4191880/4192956
[pid=12823] ppid=12821 vsize=915580 CPUtime=25.26
/proc/12823/stat : 12823 (java) R 12821 12823 11804 0 -1 0 10292 0 1 0 2514 12 0 0 25 0 8 0 167889825 937553920 10028 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073914038 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12823/statm: 228895 10028 2543 14 0 215365 0
[pid=12823/tid=12825] ppid=12821 vsize=915580 CPUtime=0.03
/proc/12823/task/12825/stat : 12825 (java) S 12821 12823 11804 0 -1 64 278 0 0 0 3 0 0 0 16 0 8 0 167889829 937553920 10028 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12826] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12826/stat : 12826 (java) S 12821 12823 11804 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167889829 937553920 10028 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12827] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12827/stat : 12827 (java) S 12821 12823 11804 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167889829 937553920 10028 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12828] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12828/stat : 12828 (java) S 12821 12823 11804 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167889833 937553920 10028 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12829] ppid=12821 vsize=915580 CPUtime=0.32
/proc/12823/task/12829/stat : 12829 (java) S 12821 12823 11804 0 -1 64 439 0 0 0 30 2 0 0 16 0 8 0 167889833 937553920 10028 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12830] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12830/stat : 12830 (java) S 12821 12823 11804 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167889833 937553920 10028 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12831] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12831/stat : 12831 (java) S 12821 12823 11804 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167889833 937553920 10028 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 915580

[startup+51.1371 s]
/proc/loadavg: 1.98 2.02 2.00 3/101 12831
/proc/meminfo: memFree=738400/2055920 swapFree=4191880/4192956
[pid=12823] ppid=12821 vsize=915580 CPUtime=50.75
/proc/12823/stat : 12823 (java) R 12821 12823 11804 0 -1 0 10298 0 1 0 5062 13 0 0 25 0 8 0 167889825 937553920 10034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073917352 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12823/statm: 228895 10034 2543 14 0 215365 0
[pid=12823/tid=12825] ppid=12821 vsize=915580 CPUtime=0.03
/proc/12823/task/12825/stat : 12825 (java) S 12821 12823 11804 0 -1 64 278 0 0 0 3 0 0 0 16 0 8 0 167889829 937553920 10034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12826] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12826/stat : 12826 (java) S 12821 12823 11804 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167889829 937553920 10034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12827] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12827/stat : 12827 (java) S 12821 12823 11804 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167889829 937553920 10034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12828] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12828/stat : 12828 (java) S 12821 12823 11804 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167889833 937553920 10034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12829] ppid=12821 vsize=915580 CPUtime=0.32
/proc/12823/task/12829/stat : 12829 (java) S 12821 12823 11804 0 -1 64 439 0 0 0 30 2 0 0 16 0 8 0 167889833 937553920 10034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12830] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12830/stat : 12830 (java) S 12821 12823 11804 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167889833 937553920 10034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12831] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12831/stat : 12831 (java) S 12821 12823 11804 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167889833 937553920 10034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 915580

[startup+102.432 s]
/proc/loadavg: 1.99 2.02 2.00 3/101 12831
/proc/meminfo: memFree=738336/2055920 swapFree=4191880/4192956
[pid=12823] ppid=12821 vsize=915580 CPUtime=101.79
/proc/12823/stat : 12823 (java) R 12821 12823 11804 0 -1 0 10300 0 1 0 10166 13 0 0 25 0 8 0 167889825 937553920 10036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073911852 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12823/statm: 228895 10036 2543 14 0 215365 0
[pid=12823/tid=12825] ppid=12821 vsize=915580 CPUtime=0.03
/proc/12823/task/12825/stat : 12825 (java) S 12821 12823 11804 0 -1 64 278 0 0 0 3 0 0 0 16 0 8 0 167889829 937553920 10036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12826] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12826/stat : 12826 (java) S 12821 12823 11804 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167889829 937553920 10036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12827] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12827/stat : 12827 (java) S 12821 12823 11804 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167889829 937553920 10036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12828] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12828/stat : 12828 (java) S 12821 12823 11804 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167889833 937553920 10036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12829] ppid=12821 vsize=915580 CPUtime=0.32
/proc/12823/task/12829/stat : 12829 (java) S 12821 12823 11804 0 -1 64 439 0 0 0 30 2 0 0 16 0 8 0 167889833 937553920 10036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12830] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12830/stat : 12830 (java) S 12821 12823 11804 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167889833 937553920 10036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12831] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12831/stat : 12831 (java) S 12821 12823 11804 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167889833 937553920 10036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.79
Current children cumulated vsize (KiB) 915580

[startup+162.453 s]
/proc/loadavg: 2.04 2.03 2.00 3/101 12831
/proc/meminfo: memFree=738336/2055920 swapFree=4191880/4192956
[pid=12823] ppid=12821 vsize=915580 CPUtime=161.53
/proc/12823/stat : 12823 (java) R 12821 12823 11804 0 -1 0 10308 0 1 0 16139 14 0 0 25 0 8 0 167889825 937553920 10043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073959083 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1419.52
Current children cumulated vsize (KiB) 915580

[startup+1483.86 s]
/proc/loadavg: 1.07 1.11 1.47 2/85 13072
/proc/meminfo: memFree=1397552/2055920 swapFree=4191880/4192956
[pid=12823] ppid=12821 vsize=915580 CPUtime=1479.59
/proc/12823/stat : 12823 (java) R 12821 12823 11804 0 -1 0 10322 0 1 0 147935 24 0 0 25 0 8 0 167889825 937553920 10056 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073994299 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12823/statm: 228895 10056 2543 14 0 215365 0
[pid=12823/tid=12825] ppid=12821 vsize=915580 CPUtime=0.03
/proc/12823/task/12825/stat : 12825 (java) S 12821 12823 11804 0 -1 64 278 0 0 0 3 0 0 0 16 0 8 0 167889829 937553920 10056 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12826] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12826/stat : 12826 (java) S 12821 12823 11804 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167889829 937553920 10056 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12827] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12827/stat : 12827 (java) S 12821 12823 11804 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167889829 937553920 10056 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12828] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12828/stat : 12828 (java) S 12821 12823 11804 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167889833 937553920 10056 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12829] ppid=12821 vsize=915580 CPUtime=0.32
/proc/12823/task/12829/stat : 12829 (java) S 12821 12823 11804 0 -1 64 440 0 0 0 30 2 0 0 16 0 8 0 167889833 937553920 10056 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12830] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12830/stat : 12830 (java) S 12821 12823 11804 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167889833 937553920 10056 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12831] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12831/stat : 12831 (java) S 12821 12823 11804 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167889833 937553920 10056 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1479.59
Current children cumulated vsize (KiB) 915580

[startup+1543.86 s]
/proc/loadavg: 1.02 1.09 1.44 2/91 13174
/proc/meminfo: memFree=1396288/2055920 swapFree=4191880/4192956
[pid=12823] ppid=12821 vsize=915580 CPUtime=1539.52
/proc/12823/stat : 12823 (java) R 12821 12823 11804 0 -1 0 10322 0 1 0 153927 25 0 0 25 0 8 0 167889825 937553920 10056 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073955567 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12823/statm: 228895 10056 2543 14 0 215365 0
[pid=12823/tid=12825] ppid=12821 vsize=915580 CPUtime=0.03
/proc/12823/task/12825/stat : 12825 (java) S 12821 12823 11804 0 -1 64 278 0 0 0 3 0 0 0 16 0 8 0 167889829 937553920 10056 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12826] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12826/stat : 12826 (java) S 12821 12823 11804 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167889829 937553920 10056 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12827] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12827/stat : 12827 (java) S 12821 12823 11804 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167889829 937553920 10056 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12828] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12828/stat : 12828 (java) S 12821 12823 11804 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167889833 937553920 10056 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12829] ppid=12821 vsize=915580 CPUtime=0.32
/proc/12823/task/12829/stat : 12829 (java) S 12821 12823 11804 0 -1 64 440 0 0 0 30 2 0 0 16 0 8 0 167889833 937553920 10056 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12830] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12830/stat : 12830 (java) S 12821 12823 11804 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167889833 937553920 10056 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12831] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12831/stat : 12831 (java) S 12821 12823 11804 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167889833 937553920 10056 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1539.52
Current children cumulated vsize (KiB) 915580

[startup+1603.88 s]
/proc/loadavg: 1.01 1.07 1.41 2/91 13244
/proc/meminfo: memFree=1396224/2055920 swapFree=4191880/4192956
[pid=12823] ppid=12821 vsize=915580 CPUtime=1599.49
/proc/12823/stat : 12823 (java) R 12821 12823 11804 0 -1 0 10322 0 1 0 159924 25 0 0 25 0 8 0 167889825 937553920 10056 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073913996 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12823/statm: 228895 10056 2543 14 0 215365 0
[pid=12823/tid=12825] ppid=12821 vsize=915580 CPUtime=0.03
/proc/12823/task/12825/stat : 12825 (java) S 12821 12823 11804 0 -1 64 278 0 0 0 3 0 0 0 16 0 8 0 167889829 937553920 10056 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12826] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12826/stat : 12826 (java) S 12821 12823 11804 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167889829 937553920 10056 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12827] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12827/stat : 12827 (java) S 12821 12823 11804 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167889829 937553920 10056 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12828] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12828/stat : 12828 (java) S 12821 12823 11804 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167889833 937553920 10056 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12829] ppid=12821 vsize=915580 CPUtime=0.32
/proc/12823/task/12829/stat : 12829 (java) S 12821 12823 11804 0 -1 64 440 0 0 0 30 2 0 0 16 0 8 0 167889833 937553920 10056 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12830] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12830/stat : 12830 (java) S 12821 12823 11804 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167889833 937553920 10056 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12831] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12831/stat : 12831 (java) S 12821 12823 11804 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167889833 937553920 10056 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1599.49
Current children cumulated vsize (KiB) 915580

[startup+1663.88 s]
/proc/loadavg: 1.00 1.05 1.38 2/85 13270
/proc/meminfo: memFree=1397360/2055920 swapFree=4191880/4192956
[pid=12823] ppid=12821 vsize=915580 CPUtime=1659.45
/proc/12823/stat : 12823 (java) R 12821 12823 11804 0 -1 0 10322 0 1 0 165920 25 0 0 25 0 8 0 167889825 937553920 10056 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073942704 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12823/statm: 228895 10056 2543 14 0 215365 0
[pid=12823/tid=12825] ppid=12821 vsize=915580 CPUtime=0.03
/proc/12823/task/12825/stat : 12825 (java) S 12821 12823 11804 0 -1 64 278 0 0 0 3 0 0 0 16 0 8 0 167889829 937553920 10056 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12826] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12826/stat : 12826 (java) S 12821 12823 11804 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167889829 937553920 10056 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12827] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12827/stat : 12827 (java) S 12821 12823 11804 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167889829 937553920 10056 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12828] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12828/stat : 12828 (java) S 12821 12823 11804 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167889833 937553920 10056 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12829] ppid=12821 vsize=915580 CPUtime=0.32
/proc/12823/task/12829/stat : 12829 (java) S 12821 12823 11804 0 -1 64 440 0 0 0 30 2 0 0 16 0 8 0 167889833 937553920 10056 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12830] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12830/stat : 12830 (java) S 12821 12823 11804 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167889833 937553920 10056 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12831] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12831/stat : 12831 (java) S 12821 12823 11804 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167889833 937553920 10056 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1659.45
Current children cumulated vsize (KiB) 915580

[startup+1723.98 s]
/proc/loadavg: 1.00 1.04 1.35 2/85 13270
/proc/meminfo: memFree=1397360/2055920 swapFree=4191880/4192956
[pid=12823] ppid=12821 vsize=915580 CPUtime=1719.53
/proc/12823/stat : 12823 (java) R 12821 12823 11804 0 -1 0 10322 0 1 0 171927 26 0 0 25 0 8 0 167889825 937553920 10056 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073923414 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12823/statm: 228895 10056 2543 14 0 215365 0
[pid=12823/tid=12825] ppid=12821 vsize=915580 CPUtime=0.03
/proc/12823/task/12825/stat : 12825 (java) S 12821 12823 11804 0 -1 64 278 0 0 0 3 0 0 0 16 0 8 0 167889829 937553920 10056 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12826] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12826/stat : 12826 (java) S 12821 12823 11804 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167889829 937553920 10056 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12827] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12827/stat : 12827 (java) S 12821 12823 11804 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167889829 937553920 10056 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12828] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12828/stat : 12828 (java) S 12821 12823 11804 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167889833 937553920 10056 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12829] ppid=12821 vsize=915580 CPUtime=0.32
/proc/12823/task/12829/stat : 12829 (java) S 12821 12823 11804 0 -1 64 440 0 0 0 30 2 0 0 16 0 8 0 167889833 937553920 10056 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12830] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12830/stat : 12830 (java) S 12821 12823 11804 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167889833 937553920 10056 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12831] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12831/stat : 12831 (java) S 12821 12823 11804 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167889833 937553920 10056 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1719.53
Current children cumulated vsize (KiB) 915580

[startup+1784.07 s]
/proc/loadavg: 1.00 1.03 1.33 2/85 13270
/proc/meminfo: memFree=1397360/2055920 swapFree=4191880/4192956
[pid=12823] ppid=12821 vsize=915580 CPUtime=1779.6
/proc/12823/stat : 12823 (java) R 12821 12823 11804 0 -1 0 10326 0 1 0 177934 26 0 0 25 0 8 0 167889825 937553920 10060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073845856 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12823/statm: 228895 10060 2543 14 0 215365 0
[pid=12823/tid=12825] ppid=12821 vsize=915580 CPUtime=0.03
/proc/12823/task/12825/stat : 12825 (java) S 12821 12823 11804 0 -1 64 278 0 0 0 3 0 0 0 16 0 8 0 167889829 937553920 10060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12826] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12826/stat : 12826 (java) S 12821 12823 11804 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167889829 937553920 10060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12827] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12827/stat : 12827 (java) S 12821 12823 11804 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167889829 937553920 10060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12828] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12828/stat : 12828 (java) S 12821 12823 11804 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167889833 937553920 10060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12829] ppid=12821 vsize=915580 CPUtime=0.32
/proc/12823/task/12829/stat : 12829 (java) S 12821 12823 11804 0 -1 64 441 0 0 0 30 2 0 0 16 0 8 0 167889833 937553920 10060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12830] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12830/stat : 12830 (java) S 12821 12823 11804 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167889833 937553920 10060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12831] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12831/stat : 12831 (java) S 12821 12823 11804 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167889833 937553920 10060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1779.6
Current children cumulated vsize (KiB) 915580



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1804.51 s]
/proc/loadavg: 1.00 1.03 1.32 2/85 13270
/proc/meminfo: memFree=1397360/2055920 swapFree=4191880/4192956
[pid=12823] ppid=12821 vsize=915580 CPUtime=1800.04
/proc/12823/stat : 12823 (java) R 12821 12823 11804 0 -1 0 10326 0 1 0 179978 26 0 0 25 0 8 0 167889825 937553920 10060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073927830 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12823/statm: 228895 10060 2543 14 0 215365 0
[pid=12823/tid=12825] ppid=12821 vsize=915580 CPUtime=0.03
/proc/12823/task/12825/stat : 12825 (java) S 12821 12823 11804 0 -1 64 278 0 0 0 3 0 0 0 16 0 8 0 167889829 937553920 10060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12826] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12826/stat : 12826 (java) S 12821 12823 11804 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167889829 937553920 10060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12827] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12827/stat : 12827 (java) S 12821 12823 11804 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167889829 937553920 10060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12828] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12828/stat : 12828 (java) S 12821 12823 11804 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167889833 937553920 10060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12829] ppid=12821 vsize=915580 CPUtime=0.32
/proc/12823/task/12829/stat : 12829 (java) S 12821 12823 11804 0 -1 64 441 0 0 0 30 2 0 0 16 0 8 0 167889833 937553920 10060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12830] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12830/stat : 12830 (java) S 12821 12823 11804 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167889833 937553920 10060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12823/tid=12831] ppid=12821 vsize=915580 CPUtime=0
/proc/12823/task/12831/stat : 12831 (java) S 12821 12823 11804 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167889833 937553920 10060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 915580

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

Child status: 143
Real time (s): 1804.58
CPU time (s): 1800.11
CPU user time (s): 1799.84
CPU system time (s): 0.274958
CPU usage (%): 99.7526
Max. virtual memory (cumulated for all children) (KiB): 915580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.84
system time used= 0.274958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10345
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= 37839
involuntary context switches= 54784

runsolver used 2.14967 s user time and 4.92125 s system time

The end

Launcher Data (download as text)

Begin job on node2 on Sun Jan  7 18:35:42 UTC 2007


IDJOB= 209916
IDBENCH= 4580
FILE ID= node2/209916-1168194942

PBS_JOBID= 3479282

Free space on /tmp= 66330 MiB

BENCH NAME= HOME/pub/bench/CPAI06/schurrLemma/lemma-67-4.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/209916-1168194942/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node2/watcher-209916-1168194942 -o ROOT/results/node2/solver-209916-1168194942 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/209916-1168194942/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  61c7a360ec82efef68ace54022e2521a

RANDOM SEED= 334540207

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.259
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.259
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:        769208 kB
Buffers:         52736 kB
Cached:         457156 kB
SwapCached:        448 kB
Active:         817984 kB
Inactive:       401160 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        769208 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            1876 kB
Writeback:           0 kB
Mapped:         735268 kB
Slab:            50784 kB
Committed_AS:  4830688 kB
PageTables:       3724 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= 66334 MiB



End job on node2 on Sun Jan  7 19:05:48 UTC 2007