Trace number 210521

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.08 1806.89

General information on the benchmark

NamepseudoSeries/fpga/
fpga-14-12.xml
MD5SUMbb4c24b50c862ca6b18e9d714a5c5e04
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 benchmark0.401938
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables252
Number of constraints206
Maximum constraint arity14
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension206
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=esac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/210521-1168198767/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.43	     nbVariables=252  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.43	       =>  wckTime=0.116  cpuTime=0.1  mem=6M951
0.43	   
0.43	   predicates being loaded...
0.45	   
0.45	   constraints being loaded...
0.66	     nbConstraints=206  nbConflictsStructures=4  nbSharedConflictsStructures=202  nbSharedBinaryRepresentations=0
0.66	     nbEvaluationManagers=4  nbSharedEvaluationManagers=202  maxDegree=13  maxArity=14
0.66	       =>  wckTime=0.34  cpuTime=0.25  mem=11M827
0.70	   
0.70	   solver IterativeSystematicSolver being built... 
0.91	       =>  wckTime=0.594  cpuTime=0.42  mem=18M793
1.00	   
1.00	   preprocessing
1.00	     nbConstraintChecks=4814  nbValidityChecks=3377  nbPropagations=999  nbRevisions=2831  nbUselessRevisions=2541
1.00	     nbSingletonTests=471  nbEffectiveSingletonTests=0  nbESACBranches=2  nbRemovedValues=0  detectedInconsistency=no
1.00	       =>  wckTime=0.088  cpuTime=0.06  mem=18M793
1.09	   
1.09	   search
1.09	     run=0  nbConstraintChecks=5075  nbValidityChecks=399  nbPropagations=1255  nbRevisions=3311
1.09	     nbUselessRevisions=2758  nbAssignments=217  nbFailedAssignments=1  nbBacktracks=139  nbVisitedNodes=220
1.09	     nbRestartNogoods=0  mapSize=1  nbInferences=0  nbTooLargeKeys=0
1.09	       =>  wckTime=0.176  cpuTime=0.13  mem=18M793
1.17	   
1.17	   search
1.17	     run=1  nbConstraintChecks=17268  nbValidityChecks=988  nbPropagations=2815  nbRevisions=7198
1.17	     nbUselessRevisions=5768  nbAssignments=448  nbFailedAssignments=3  nbBacktracks=163  nbVisitedNodes=455
1.17	     nbRestartNogoods=1  mapSize=4  nbInferences=0  nbTooLargeKeys=0
1.17	       =>  wckTime=0.259  cpuTime=0.2  mem=18M793
1.22	   
1.22	   search
1.22	     run=2  nbConstraintChecks=25373  nbValidityChecks=1631  nbPropagations=4656  nbRevisions=11734
1.22	     nbUselessRevisions=9134  nbAssignments=572  nbFailedAssignments=4  nbBacktracks=208  nbVisitedNodes=582
1.22	     nbRestartNogoods=2  mapSize=6  nbInferences=0  nbTooLargeKeys=0
1.22	       =>  wckTime=0.306  cpuTime=0.25  mem=18M793
1.28	   
1.28	   search
1.28	     run=3  nbConstraintChecks=40707  nbValidityChecks=2592  nbPropagations=6830  nbRevisions=17148
1.28	     nbUselessRevisions=13019  nbAssignments=705  nbFailedAssignments=6  nbBacktracks=259  nbVisitedNodes=721
1.28	     nbRestartNogoods=3  mapSize=11  nbInferences=1  nbTooLargeKeys=0
1.28	       =>  wckTime=0.363  cpuTime=0.3  mem=18M793
1.33	   
1.33	   search
1.33	     run=4  nbConstraintChecks=56030  nbValidityChecks=3579  nbPropagations=9337  nbRevisions=23451
1.33	     nbUselessRevisions=17435  nbAssignments=840  nbFailedAssignments=8  nbBacktracks=311  nbVisitedNodes=862
1.33	     nbRestartNogoods=4  mapSize=16  nbInferences=2  nbTooLargeKeys=0
1.33	       =>  wckTime=0.417  cpuTime=0.36  mem=18M793
1.44	   
1.44	   search
1.44	     run=5  nbConstraintChecks=85853  nbValidityChecks=5066  nbPropagations=12308  nbRevisions=31014
1.44	     nbUselessRevisions=22584  nbAssignments=1058  nbFailedAssignments=12  nbBacktracks=441  nbVisitedNodes=1092
1.44	     nbRestartNogoods=5  mapSize=26  nbInferences=4  nbTooLargeKeys=0
1.44	       =>  wckTime=0.526  cpuTime=0.46  mem=18M793
1.53	   
1.53	   search
1.53	     run=6  nbConstraintChecks=103664  nbValidityChecks=6675  nbPropagations=15913  nbRevisions=40014
1.53	     nbUselessRevisions=28531  nbAssignments=1263  nbFailedAssignments=14  nbBacktracks=563  nbVisitedNodes=1312
1.53	     nbRestartNogoods=7  mapSize=39  nbInferences=14  nbTooLargeKeys=0
1.53	       =>  wckTime=0.613  cpuTime=0.54  mem=19M768
1.79	   
1.79	   search
1.79	     run=7  nbConstraintChecks=231130  nbValidityChecks=11561  nbPropagations=20795  nbRevisions=52566
1.79	     nbUselessRevisions=36478  nbAssignments=1566  nbFailedAssignments=39  nbBacktracks=744  nbVisitedNodes=1672
1.79	     nbRestartNogoods=9  mapSize=87  nbInferences=15  nbTooLargeKeys=0
1.79	       =>  wckTime=0.877  cpuTime=0.79  mem=19M768
1.94	   
1.94	   search
1.94	     run=8  nbConstraintChecks=265870  nbValidityChecks=15249  nbPropagations=26604  nbRevisions=68033
1.94	     nbUselessRevisions=46398  nbAssignments=2037  nbFailedAssignments=47  nbBacktracks=1014  nbVisitedNodes=2082
1.94	     nbRestartNogoods=11  mapSize=103  nbInferences=15  nbTooLargeKeys=0
1.94	       =>  wckTime=1.023  cpuTime=0.94  mem=19M768
2.18	   
2.18	   search
2.18	     run=9  nbConstraintChecks=350762  nbValidityChecks=21654  nbPropagations=34060  nbRevisions=88914
2.18	     nbUselessRevisions=59265  nbAssignments=2591  nbFailedAssignments=67  nbBacktracks=1404  nbVisitedNodes=2695
2.18	     nbRestartNogoods=13  mapSize=158  nbInferences=15  nbTooLargeKeys=0
2.18	       =>  wckTime=1.268  cpuTime=1.18  mem=19M768
2.58	   
2.58	   search
2.58	     run=10  nbConstraintChecks=557792  nbValidityChecks=36914  nbPropagations=45677  nbRevisions=121353
2.59	     nbUselessRevisions=79062  nbAssignments=3395  nbFailedAssignments=190  nbBacktracks=1982  nbVisitedNodes=3718
2.59	     nbRestartNogoods=17  mapSize=361  nbInferences=16  nbTooLargeKeys=0
2.59	       =>  wckTime=1.672  cpuTime=1.57  mem=19M768
2.81	   
2.81	   search
2.81	     run=11  nbConstraintChecks=622796  nbValidityChecks=50560  nbPropagations=61142  nbRevisions=162063
2.81	     nbUselessRevisions=102723  nbAssignments=4499  nbFailedAssignments=280  nbBacktracks=2846  nbVisitedNodes=5103
2.81	     nbRestartNogoods=18  mapSize=638  nbInferences=16  nbTooLargeKeys=0
2.81	       =>  wckTime=1.9  cpuTime=1.79  mem=20M743
3.66	   
3.66	   search
3.66	     run=12  nbConstraintChecks=1121346  nbValidityChecks=65755  nbPropagations=81192  nbRevisions=211467
3.66	     nbUselessRevisions=129627  nbAssignments=6020  nbFailedAssignments=372  nbBacktracks=4148  nbVisitedNodes=6845
3.66	     nbRestartNogoods=20  mapSize=857  nbInferences=16  nbTooLargeKeys=0
3.66	       =>  wckTime=2.75  cpuTime=2.64  mem=20M743
5.06	   
5.06	   search
5.06	     run=13  nbConstraintChecks=1956470  nbValidityChecks=88677  nbPropagations=109459  nbRevisions=273756
5.06	     nbUselessRevisions=160789  nbAssignments=8239  nbFailedAssignments=521  nbBacktracks=6117  nbVisitedNodes=9382
5.06	     nbRestartNogoods=22  mapSize=1172  nbInferences=16  nbTooLargeKeys=0
5.06	       =>  wckTime=4.15  cpuTime=4.03  mem=21M718
7.64	   
7.64	   search
7.64	     run=14  nbConstraintChecks=3561629  nbValidityChecks=130885  nbPropagations=152327  nbRevisions=360418
7.64	     nbUselessRevisions=200218  nbAssignments=11547  nbFailedAssignments=786  nbBacktracks=9043  nbVisitedNodes=13267
7.64	     nbRestartNogoods=25  mapSize=1746  nbInferences=16  nbTooLargeKeys=0
7.64	       =>  wckTime=6.724  cpuTime=6.59  mem=22M694
10.79	   
10.79	   search
10.79	     run=15  nbConstraintChecks=5479927  nbValidityChecks=183241  nbPropagations=212747  nbRevisions=477261
10.79	     nbUselessRevisions=249941  nbAssignments=16389  nbFailedAssignments=1142  nbBacktracks=13423  nbVisitedNodes=18883
10.79	     nbRestartNogoods=28  mapSize=2517  nbInferences=16  nbTooLargeKeys=0
10.79	       =>  wckTime=9.878  cpuTime=9.73  mem=23M669
13.11	   
13.11	   INFO : Stopping hyperNogood (mapSize=3207, nbTooLargekeys=0, mem=24M644)
14.44	   
14.44	   search
14.44	     run=16  nbConstraintChecks=7707588  nbValidityChecks=258790  nbPropagations=297533  nbRevisions=638071
14.44	     nbUselessRevisions=314067  nbAssignments=23641  nbFailedAssignments=1687  nbBacktracks=20002  nbVisitedNodes=27407
14.44	     nbRestartNogoods=31
14.44	       =>  wckTime=13.531  cpuTime=13.36  mem=24M644
20.99	   
20.99	   search
20.99	     run=17  nbConstraintChecks=12211496  nbValidityChecks=389900  nbPropagations=426225  nbRevisions=875504
20.99	     nbUselessRevisions=405201  nbAssignments=34589  nbFailedAssignments=2674  nbBacktracks=29860  nbVisitedNodes=40491
20.99	     nbRestartNogoods=35
20.99	       =>  wckTime=20.077  cpuTime=19.87  mem=24M644
30.92	   
30.92	   search
30.92	     run=18  nbConstraintChecks=19057311  nbValidityChecks=580198  nbPropagations=618499  nbRevisions=1223665
30.92	     nbUselessRevisions=534084  nbAssignments=50803  nbFailedAssignments=4001  nbBacktracks=44640  nbVisitedNodes=59701
30.92	     nbRestartNogoods=38
30.92	       =>  wckTime=30.005  cpuTime=29.75  mem=24M644
45.30	   
45.30	   search
45.30	     run=19  nbConstraintChecks=28784290  nbValidityChecks=865564  nbPropagations=906578  nbRevisions=1738505
45.30	     nbUselessRevisions=719849  nbAssignments=75217  nbFailedAssignments=6116  nbBacktracks=66812  nbVisitedNodes=88706
45.30	     nbRestartNogoods=41
45.30	       =>  wckTime=44.389  cpuTime=43.88  mem=24M644
64.91	   
64.91	   search
64.91	     run=20  nbConstraintChecks=42047132  nbValidityChecks=1298953  nbPropagations=1338451  nbRevisions=2507124
64.91	     nbUselessRevisions=990525  nbAssignments=112024  nbFailedAssignments=9539  nbBacktracks=100078
64.91	     nbVisitedNodes=133267  nbRestartNogoods=45
64.91	       =>  wckTime=64.0  cpuTime=63.48  mem=24M644
94.33	   
94.33	   search
94.33	     run=21  nbConstraintChecks=61788321  nbValidityChecks=2042240  nbPropagations=2008016  nbRevisions=3701269
94.33	     nbUselessRevisions=1415311  nbAssignments=166180  nbFailedAssignments=13692  nbBacktracks=149959
94.33	     nbVisitedNodes=200623  nbRestartNogoods=49
94.33	       =>  wckTime=93.418  cpuTime=92.89  mem=24M644
135.85	   
135.85	   search
135.85	     run=22  nbConstraintChecks=89341192  nbValidityChecks=3140517  nbPropagations=3028271  nbRevisions=5519844
135.85	     nbUselessRevisions=2060305  nbAssignments=247377  nbFailedAssignments=19941  nbBacktracks=224790
135.85	     nbVisitedNodes=300795  nbRestartNogoods=53
135.85	       =>  wckTime=134.933  cpuTime=134.39  mem=24M644
207.85	   
207.85	   search
207.85	     run=23  nbConstraintChecks=138009609  nbValidityChecks=4849461  nbPropagations=4596585  nbRevisions=8311575
207.85	     nbUselessRevisions=3061704  nbAssignments=369737  nbFailedAssignments=29947  nbBacktracks=337020
207.85	     nbVisitedNodes=453262  nbRestartNogoods=58
207.85	       =>  wckTime=206.94  cpuTime=206.37  mem=24M644
298.07	   
298.07	   search
298.07	     run=24  nbConstraintChecks=196902867  nbValidityChecks=7536060  nbPropagations=7033939  nbRevisions=12629572
298.07	     nbUselessRevisions=4595078  nbAssignments=552084  nbFailedAssignments=43831  nbBacktracks=505369
298.07	     nbVisitedNodes=680338  nbRestartNogoods=64
298.07	       =>  wckTime=297.154  cpuTime=296.56  mem=24M644
460.48	   
460.48	   search
460.48	     run=25  nbConstraintChecks=306286395  nbValidityChecks=11304822  nbPropagations=10692136  nbRevisions=19087876
460.48	     nbUselessRevisions=6914830  nbAssignments=827035  nbFailedAssignments=66145  nbBacktracks=757885
460.48	     nbVisitedNodes=1020057  nbRestartNogoods=68
460.48	       =>  wckTime=459.568  cpuTime=458.78  mem=24M644
651.09	   
651.09	   search
651.09	     run=26  nbConstraintChecks=429992565  nbValidityChecks=17140378  nbPropagations=16243552  nbRevisions=28875567
651.09	     nbUselessRevisions=10386981  nbAssignments=1236914  nbFailedAssignments=97133  nbBacktracks=1136663
651.09	     nbVisitedNodes=1524749  nbRestartNogoods=74
651.09	       =>  wckTime=650.179  cpuTime=649.33  mem=24M644
1021.18	   
1021.18	   search
1021.18	     run=27  nbConstraintChecks=688313432  nbValidityChecks=25359648  nbPropagations=24458793  nbRevisions=43339556
1021.18	     nbUselessRevisions=15600900  nbAssignments=1857442  nbFailedAssignments=149404  nbBacktracks=1704814
1021.19	     nbVisitedNodes=2291948  nbRestartNogoods=78
1021.19	       =>  wckTime=1020.271  cpuTime=1017.32  mem=24M644
1471.61	   
1471.61	   search
1471.61	     run=28  nbConstraintChecks=990173091  nbValidityChecks=38504042  nbPropagations=36980775  nbRevisions=65216589
1471.61	     nbUselessRevisions=23376059  nbAssignments=2781680  nbFailedAssignments=221304  nbBacktracks=2557063
1471.61	     nbVisitedNodes=3433630  nbRestartNogoods=82
1471.61	       =>  wckTime=1470.693  cpuTime=1465.38  mem=24M644

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/node3/watcher-210521-1168198767 -o ROOT/results/node3/solver-210521-1168198767 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210521-1168198767/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/83 6545
/proc/meminfo: memFree=1569976/2055920 swapFree=4192812/4192956
[pid=6544] ppid=6540 vsize=1784 CPUtime=0
/proc/6544/stat : 6544 (java) D 6540 6544 6399 0 -1 0 165 0 0 0 0 0 0 0 19 0 1 0 168272415 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/6544/statm: 446 136 102 14 0 91 0

[startup+0.108063 s]
/proc/loadavg: 0.92 0.98 0.99 4/83 6545
/proc/meminfo: memFree=1569976/2055920 swapFree=4192812/4192956
[pid=6544] ppid=6540 vsize=914988 CPUtime=0.09
/proc/6544/stat : 6544 (java) R 6540 6544 6399 0 -1 0 2980 0 1 0 7 2 0 0 17 0 8 0 168272415 936947712 2726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154016819 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6544/statm: 228747 2726 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.518129 s]
/proc/loadavg: 0.92 0.98 0.99 4/83 6545
/proc/meminfo: memFree=1569976/2055920 swapFree=4192812/4192956
[pid=6544] ppid=6540 vsize=915328 CPUtime=0.49
/proc/6544/stat : 6544 (java) R 6540 6544 6399 0 -1 0 6775 0 1 0 45 4 0 0 18 0 8 0 168272415 937295872 6514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6544/statm: 228832 6514 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.34126 s]
/proc/loadavg: 0.92 0.98 0.99 4/101 6564
/proc/meminfo: memFree=1532008/2055920 swapFree=4192812/4192956
[pid=6544] ppid=6540 vsize=915460 CPUtime=1.3
/proc/6544/stat : 6544 (java) R 6540 6544 6399 0 -1 0 9723 0 1 0 122 8 0 0 24 0 8 0 168272415 937431040 9461 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073651146 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6544/statm: 228865 9461 2543 14 0 215335 0
[pid=6544/tid=6551] ppid=6540 vsize=915460 CPUtime=0.02
/proc/6544/task/6551/stat : 6551 (java) S 6540 6544 6399 0 -1 64 239 0 0 0 2 0 0 0 16 0 8 0 168272419 937431040 9461 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6553] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6553/stat : 6553 (java) S 6540 6544 6399 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168272420 937431040 9461 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6554] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6554/stat : 6554 (java) S 6540 6544 6399 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168272420 937431040 9461 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6557] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6557/stat : 6557 (java) S 6540 6544 6399 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168272423 937431040 9461 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6558] ppid=6540 vsize=915460 CPUtime=0.23
/proc/6544/task/6558/stat : 6558 (java) S 6540 6544 6399 0 -1 64 391 0 0 0 22 1 0 0 15 0 8 0 168272423 937431040 9461 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6559] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6559/stat : 6559 (java) S 6540 6544 6399 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168272423 937431040 9461 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6560] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6560/stat : 6560 (java) S 6540 6544 6399 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168272423 937431040 9461 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460

[startup+2.97952 s]
/proc/loadavg: 1.01 1.00 1.00 3/101 6564
/proc/meminfo: memFree=1530856/2055920 swapFree=4192812/4192956
[pid=6544] ppid=6540 vsize=915460 CPUtime=2.93
/proc/6544/stat : 6544 (java) R 6540 6544 6399 0 -1 0 10025 0 1 0 285 8 0 0 25 0 8 0 168272415 937431040 9761 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073650368 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6544/statm: 228865 9761 2543 14 0 215335 0
[pid=6544/tid=6551] ppid=6540 vsize=915460 CPUtime=0.02
/proc/6544/task/6551/stat : 6551 (java) S 6540 6544 6399 0 -1 64 239 0 0 0 2 0 0 0 17 0 8 0 168272419 937431040 9761 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6553] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6553/stat : 6553 (java) S 6540 6544 6399 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168272420 937431040 9761 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6554] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6554/stat : 6554 (java) S 6540 6544 6399 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168272420 937431040 9761 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6557] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6557/stat : 6557 (java) S 6540 6544 6399 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168272423 937431040 9761 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6558] ppid=6540 vsize=915460 CPUtime=0.26
/proc/6544/task/6558/stat : 6558 (java) S 6540 6544 6399 0 -1 64 411 0 0 0 25 1 0 0 15 0 8 0 168272423 937431040 9761 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6559] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6559/stat : 6559 (java) S 6540 6544 6399 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168272423 937431040 9761 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6560] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6560/stat : 6560 (java) S 6540 6544 6399 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168272423 937431040 9761 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915460

[startup+6.27706 s]
/proc/loadavg: 1.01 1.00 1.00 3/101 6564
/proc/meminfo: memFree=1528936/2055920 swapFree=4192812/4192956
[pid=6544] ppid=6540 vsize=915460 CPUtime=6.21
/proc/6544/stat : 6544 (java) R 6540 6544 6399 0 -1 0 10359 0 1 0 613 8 0 0 25 0 8 0 168272415 937431040 10093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073651058 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6544/statm: 228865 10093 2543 14 0 215335 0
[pid=6544/tid=6551] ppid=6540 vsize=915460 CPUtime=0.02
/proc/6544/task/6551/stat : 6551 (java) S 6540 6544 6399 0 -1 64 239 0 0 0 2 0 0 0 17 0 8 0 168272419 937431040 10093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6553] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6553/stat : 6553 (java) S 6540 6544 6399 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168272420 937431040 10093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6554] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6554/stat : 6554 (java) S 6540 6544 6399 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168272420 937431040 10093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6557] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6557/stat : 6557 (java) S 6540 6544 6399 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168272423 937431040 10093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6558] ppid=6540 vsize=915460 CPUtime=0.26
/proc/6544/task/6558/stat : 6558 (java) S 6540 6544 6399 0 -1 64 412 0 0 0 25 1 0 0 16 0 8 0 168272423 937431040 10093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6559] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6559/stat : 6559 (java) S 6540 6544 6399 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168272423 937431040 10093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6560] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6560/stat : 6560 (java) S 6540 6544 6399 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168272423 937431040 10093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915460

[startup+12.7511 s]
/proc/loadavg: 1.16 1.03 1.01 3/101 6564
/proc/meminfo: memFree=1526184/2055920 swapFree=4192812/4192956
[pid=6544] ppid=6540 vsize=915460 CPUtime=12.65
/proc/6544/stat : 6544 (java) R 6540 6544 6399 0 -1 0 11048 0 1 0 1257 8 0 0 25 0 8 0 168272415 937431040 10781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073651047 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6544/statm: 228865 10781 2543 14 0 215335 0
[pid=6544/tid=6551] ppid=6540 vsize=915460 CPUtime=0.02
/proc/6544/task/6551/stat : 6551 (java) S 6540 6544 6399 0 -1 64 239 0 0 0 2 0 0 0 16 0 8 0 168272419 937431040 10781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6553] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6553/stat : 6553 (java) S 6540 6544 6399 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168272420 937431040 10781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6554] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6554/stat : 6554 (java) S 6540 6544 6399 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168272420 937431040 10781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6557] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6557/stat : 6557 (java) S 6540 6544 6399 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168272423 937431040 10781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6558] ppid=6540 vsize=915460 CPUtime=0.27
/proc/6544/task/6558/stat : 6558 (java) S 6540 6544 6399 0 -1 64 412 0 0 0 26 1 0 0 15 0 8 0 168272423 937431040 10781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6559] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6559/stat : 6559 (java) S 6540 6544 6399 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168272423 937431040 10781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6560] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6560/stat : 6560 (java) S 6540 6544 6399 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168272423 937431040 10781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 915460

[startup+25.6112 s]
/proc/loadavg: 1.29 1.06 1.02 3/101 6564
/proc/meminfo: memFree=1525096/2055920 swapFree=4192812/4192956
[pid=6544] ppid=6540 vsize=915460 CPUtime=25.45
/proc/6544/stat : 6544 (java) R 6540 6544 6399 0 -1 0 11108 0 1 0 2537 8 0 0 25 0 8 0 168272415 937431040 10840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073845974 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6544/statm: 228865 10840 2543 14 0 215335 0
[pid=6544/tid=6551] ppid=6540 vsize=915460 CPUtime=0.02
/proc/6544/task/6551/stat : 6551 (java) S 6540 6544 6399 0 -1 64 239 0 0 0 2 0 0 0 16 0 8 0 168272419 937431040 10840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6553] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6553/stat : 6553 (java) S 6540 6544 6399 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168272420 937431040 10840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6554] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6554/stat : 6554 (java) S 6540 6544 6399 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168272420 937431040 10840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6557] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6557/stat : 6557 (java) S 6540 6544 6399 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168272423 937431040 10840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6558] ppid=6540 vsize=915460 CPUtime=0.27
/proc/6544/task/6558/stat : 6558 (java) S 6540 6544 6399 0 -1 64 413 0 0 0 26 1 0 0 16 0 8 0 168272423 937431040 10840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6559] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6559/stat : 6559 (java) S 6540 6544 6399 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168272423 937431040 10840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6560] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6560/stat : 6560 (java) S 6540 6544 6399 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168272423 937431040 10840 18446744073709551615 134512640 134570532 4294956464 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) 915460

[startup+51.2294 s]
/proc/loadavg: 1.54 1.14 1.04 3/105 6617
/proc/meminfo: memFree=1440456/2055920 swapFree=4192812/4192956
[pid=6544] ppid=6540 vsize=915460 CPUtime=50.79
/proc/6544/stat : 6544 (java) R 6540 6544 6399 0 -1 0 11114 0 1 0 5070 9 0 0 25 0 8 0 168272415 937431040 10846 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073647475 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6544/statm: 228865 10846 2543 14 0 215335 0
[pid=6544/tid=6551] ppid=6540 vsize=915460 CPUtime=0.02
/proc/6544/task/6551/stat : 6551 (java) S 6540 6544 6399 0 -1 64 239 0 0 0 2 0 0 0 16 0 8 0 168272419 937431040 10846 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6553] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6553/stat : 6553 (java) S 6540 6544 6399 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168272420 937431040 10846 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6554] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6554/stat : 6554 (java) S 6540 6544 6399 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168272420 937431040 10846 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6557] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6557/stat : 6557 (java) S 6540 6544 6399 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168272423 937431040 10846 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6558] ppid=6540 vsize=915460 CPUtime=0.27
/proc/6544/task/6558/stat : 6558 (java) S 6540 6544 6399 0 -1 64 414 0 0 0 26 1 0 0 16 0 8 0 168272423 937431040 10846 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6559] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6559/stat : 6559 (java) S 6540 6544 6399 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168272423 937431040 10846 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6560] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6560/stat : 6560 (java) S 6540 6544 6399 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168272423 937431040 10846 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.79
Current children cumulated vsize (KiB) 915460

[startup+102.482 s]
/proc/loadavg: 1.80 1.27 1.09 3/105 6617
/proc/meminfo: memFree=1440520/2055920 swapFree=4192812/4192956
[pid=6544] ppid=6540 vsize=915460 CPUtime=102.02
/proc/6544/stat : 6544 (java) R 6540 6544 6399 0 -1 0 11120 0 1 0 10193 9 0 0 25 0 8 0 168272415 937431040 10852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073845974 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6544/statm: 228865 10852 2543 14 0 215335 0
[pid=6544/tid=6551] ppid=6540 vsize=915460 CPUtime=0.02
/proc/6544/task/6551/stat : 6551 (java) S 6540 6544 6399 0 -1 64 239 0 0 0 2 0 0 0 16 0 8 0 168272419 937431040 10852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6553] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6553/stat : 6553 (java) S 6540 6544 6399 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168272420 937431040 10852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6554] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6554/stat : 6554 (java) S 6540 6544 6399 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168272420 937431040 10852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6557] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6557/stat : 6557 (java) S 6540 6544 6399 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168272423 937431040 10852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6558] ppid=6540 vsize=915460 CPUtime=0.27
/proc/6544/task/6558/stat : 6558 (java) S 6540 6544 6399 0 -1 64 414 0 0 0 26 1 0 0 16 0 8 0 168272423 937431040 10852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6559] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6559/stat : 6559 (java) S 6540 6544 6399 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168272423 937431040 10852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6560] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6560/stat : 6560 (java) S 6540 6544 6399 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168272423 937431040 10852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.02
Current children cumulated vsize (KiB) 915460

[startup+162.493 s]
/proc/loadavg: 1.92 1.40 1.15 3/105 6617
/proc/meminfo: memFree=1384264/2055920 swapFree=4192812/4192956
[pid=6544] ppid=6540 vsize=915460 CPUtime=162.01
/proc/6544/stat : 6544 (java) R 6540 6544 6399 0 -1 0 11123 0 1 0 16191 10 0 0 25 0 8 0 168272415 937431040 10855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073701736 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1417.92
Current children cumulated vsize (KiB) 915460

[startup+1483.16 s]
/proc/loadavg: 2.00 2.00 1.78 3/105 6815
/proc/meminfo: memFree=1231432/2055920 swapFree=4192812/4192956
[pid=6544] ppid=6540 vsize=915460 CPUtime=1477.91
/proc/6544/stat : 6544 (java) R 6540 6544 6399 0 -1 0 11141 0 1 0 147773 18 0 0 25 0 8 0 168272415 937431040 10873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073650336 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6544/statm: 228865 10873 2543 14 0 215335 0
[pid=6544/tid=6551] ppid=6540 vsize=915460 CPUtime=0.02
/proc/6544/task/6551/stat : 6551 (java) S 6540 6544 6399 0 -1 64 239 0 0 0 2 0 0 0 16 0 8 0 168272419 937431040 10873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6553] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6553/stat : 6553 (java) S 6540 6544 6399 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168272420 937431040 10873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6554] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6554/stat : 6554 (java) S 6540 6544 6399 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168272420 937431040 10873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6557] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6557/stat : 6557 (java) S 6540 6544 6399 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168272423 937431040 10873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6558] ppid=6540 vsize=915460 CPUtime=0.27
/proc/6544/task/6558/stat : 6558 (java) S 6540 6544 6399 0 -1 64 414 0 0 0 26 1 0 0 16 0 8 0 168272423 937431040 10873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6559] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6559/stat : 6559 (java) S 6540 6544 6399 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168272423 937431040 10873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6560] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6560/stat : 6560 (java) S 6540 6544 6399 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168272423 937431040 10873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1477.91
Current children cumulated vsize (KiB) 915460

[startup+1543.2 s]
/proc/loadavg: 2.00 2.00 1.79 3/105 6815
/proc/meminfo: memFree=1231432/2055920 swapFree=4192812/4192956
[pid=6544] ppid=6540 vsize=915460 CPUtime=1537.93
/proc/6544/stat : 6544 (java) R 6540 6544 6399 0 -1 0 11141 0 1 0 153775 18 0 0 25 0 8 0 168272415 937431040 10873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073653543 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6544/statm: 228865 10873 2543 14 0 215335 0
[pid=6544/tid=6551] ppid=6540 vsize=915460 CPUtime=0.02
/proc/6544/task/6551/stat : 6551 (java) S 6540 6544 6399 0 -1 64 239 0 0 0 2 0 0 0 16 0 8 0 168272419 937431040 10873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6553] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6553/stat : 6553 (java) S 6540 6544 6399 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168272420 937431040 10873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6554] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6554/stat : 6554 (java) S 6540 6544 6399 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168272420 937431040 10873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6557] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6557/stat : 6557 (java) S 6540 6544 6399 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168272423 937431040 10873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6558] ppid=6540 vsize=915460 CPUtime=0.27
/proc/6544/task/6558/stat : 6558 (java) S 6540 6544 6399 0 -1 64 414 0 0 0 26 1 0 0 16 0 8 0 168272423 937431040 10873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6559] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6559/stat : 6559 (java) S 6540 6544 6399 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168272423 937431040 10873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6560] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6560/stat : 6560 (java) S 6540 6544 6399 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168272423 937431040 10873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1537.93
Current children cumulated vsize (KiB) 915460

[startup+1603.29 s]
/proc/loadavg: 2.00 2.00 1.80 3/105 6815
/proc/meminfo: memFree=1231432/2055920 swapFree=4192812/4192956
[pid=6544] ppid=6540 vsize=915460 CPUtime=1598
/proc/6544/stat : 6544 (java) R 6540 6544 6399 0 -1 0 11141 0 1 0 159781 19 0 0 25 0 8 0 168272415 937431040 10873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073653614 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6544/statm: 228865 10873 2543 14 0 215335 0
[pid=6544/tid=6551] ppid=6540 vsize=915460 CPUtime=0.02
/proc/6544/task/6551/stat : 6551 (java) S 6540 6544 6399 0 -1 64 239 0 0 0 2 0 0 0 16 0 8 0 168272419 937431040 10873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6553] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6553/stat : 6553 (java) S 6540 6544 6399 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168272420 937431040 10873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6554] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6554/stat : 6554 (java) S 6540 6544 6399 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168272420 937431040 10873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6557] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6557/stat : 6557 (java) S 6540 6544 6399 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168272423 937431040 10873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6558] ppid=6540 vsize=915460 CPUtime=0.27
/proc/6544/task/6558/stat : 6558 (java) S 6540 6544 6399 0 -1 64 414 0 0 0 26 1 0 0 16 0 8 0 168272423 937431040 10873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6559] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6559/stat : 6559 (java) S 6540 6544 6399 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168272423 937431040 10873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6560] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6560/stat : 6560 (java) S 6540 6544 6399 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168272423 937431040 10873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1598
Current children cumulated vsize (KiB) 915460

[startup+1663.29 s]
/proc/loadavg: 2.00 2.00 1.81 3/105 6815
/proc/meminfo: memFree=1205576/2055920 swapFree=4192812/4192956
[pid=6544] ppid=6540 vsize=915460 CPUtime=1657.79
/proc/6544/stat : 6544 (java) R 6540 6544 6399 0 -1 0 11141 0 1 0 165760 19 0 0 25 0 8 0 168272415 937431040 10873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073643008 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6544/statm: 228865 10873 2543 14 0 215335 0
[pid=6544/tid=6551] ppid=6540 vsize=915460 CPUtime=0.02
/proc/6544/task/6551/stat : 6551 (java) S 6540 6544 6399 0 -1 64 239 0 0 0 2 0 0 0 16 0 8 0 168272419 937431040 10873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6553] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6553/stat : 6553 (java) S 6540 6544 6399 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168272420 937431040 10873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6554] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6554/stat : 6554 (java) S 6540 6544 6399 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168272420 937431040 10873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6557] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6557/stat : 6557 (java) S 6540 6544 6399 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168272423 937431040 10873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6558] ppid=6540 vsize=915460 CPUtime=0.27
/proc/6544/task/6558/stat : 6558 (java) S 6540 6544 6399 0 -1 64 414 0 0 0 26 1 0 0 16 0 8 0 168272423 937431040 10873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6559] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6559/stat : 6559 (java) S 6540 6544 6399 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168272423 937431040 10873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6560] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6560/stat : 6560 (java) S 6540 6544 6399 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168272423 937431040 10873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1657.79
Current children cumulated vsize (KiB) 915460

[startup+1723.33 s]
/proc/loadavg: 2.00 2.00 1.82 3/105 6815
/proc/meminfo: memFree=1205576/2055920 swapFree=4192812/4192956
[pid=6544] ppid=6540 vsize=915460 CPUtime=1717.29
/proc/6544/stat : 6544 (java) R 6540 6544 6399 0 -1 0 11141 0 1 0 171710 19 0 0 25 0 8 0 168272415 937431040 10873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073701712 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6544/statm: 228865 10873 2543 14 0 215335 0
[pid=6544/tid=6551] ppid=6540 vsize=915460 CPUtime=0.02
/proc/6544/task/6551/stat : 6551 (java) S 6540 6544 6399 0 -1 64 239 0 0 0 2 0 0 0 16 0 8 0 168272419 937431040 10873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6553] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6553/stat : 6553 (java) S 6540 6544 6399 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168272420 937431040 10873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6554] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6554/stat : 6554 (java) S 6540 6544 6399 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168272420 937431040 10873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6557] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6557/stat : 6557 (java) S 6540 6544 6399 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168272423 937431040 10873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6558] ppid=6540 vsize=915460 CPUtime=0.27
/proc/6544/task/6558/stat : 6558 (java) S 6540 6544 6399 0 -1 64 414 0 0 0 26 1 0 0 16 0 8 0 168272423 937431040 10873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6559] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6559/stat : 6559 (java) S 6540 6544 6399 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168272423 937431040 10873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6560] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6560/stat : 6560 (java) S 6540 6544 6399 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168272423 937431040 10873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1717.29
Current children cumulated vsize (KiB) 915460

[startup+1783.38 s]
/proc/loadavg: 2.04 2.01 1.83 3/105 6815
/proc/meminfo: memFree=1205512/2055920 swapFree=4192812/4192956
[pid=6544] ppid=6540 vsize=915460 CPUtime=1776.78
/proc/6544/stat : 6544 (java) R 6540 6544 6399 0 -1 0 11141 0 1 0 177659 19 0 0 25 0 8 0 168272415 937431040 10873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073653614 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6544/statm: 228865 10873 2543 14 0 215335 0
[pid=6544/tid=6551] ppid=6540 vsize=915460 CPUtime=0.02
/proc/6544/task/6551/stat : 6551 (java) S 6540 6544 6399 0 -1 64 239 0 0 0 2 0 0 0 16 0 8 0 168272419 937431040 10873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6553] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6553/stat : 6553 (java) S 6540 6544 6399 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168272420 937431040 10873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6554] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6554/stat : 6554 (java) S 6540 6544 6399 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168272420 937431040 10873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6557] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6557/stat : 6557 (java) S 6540 6544 6399 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168272423 937431040 10873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6558] ppid=6540 vsize=915460 CPUtime=0.27
/proc/6544/task/6558/stat : 6558 (java) S 6540 6544 6399 0 -1 64 414 0 0 0 26 1 0 0 16 0 8 0 168272423 937431040 10873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6559] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6559/stat : 6559 (java) S 6540 6544 6399 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168272423 937431040 10873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6560] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6560/stat : 6560 (java) S 6540 6544 6399 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168272423 937431040 10873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1776.78
Current children cumulated vsize (KiB) 915460



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1806.82 s]
/proc/loadavg: 2.02 2.01 1.83 3/105 6815
/proc/meminfo: memFree=1205512/2055920 swapFree=4192812/4192956
[pid=6544] ppid=6540 vsize=915460 CPUtime=1800.01
/proc/6544/stat : 6544 (java) R 6540 6544 6399 0 -1 0 11141 0 1 0 179981 20 0 0 25 0 8 0 168272415 937431040 10873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073653536 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6544/statm: 228865 10873 2543 14 0 215335 0
[pid=6544/tid=6551] ppid=6540 vsize=915460 CPUtime=0.02
/proc/6544/task/6551/stat : 6551 (java) S 6540 6544 6399 0 -1 64 239 0 0 0 2 0 0 0 16 0 8 0 168272419 937431040 10873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6553] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6553/stat : 6553 (java) S 6540 6544 6399 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168272420 937431040 10873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6554] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6554/stat : 6554 (java) S 6540 6544 6399 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168272420 937431040 10873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6557] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6557/stat : 6557 (java) S 6540 6544 6399 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168272423 937431040 10873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6558] ppid=6540 vsize=915460 CPUtime=0.27
/proc/6544/task/6558/stat : 6558 (java) S 6540 6544 6399 0 -1 64 414 0 0 0 26 1 0 0 16 0 8 0 168272423 937431040 10873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6559] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6559/stat : 6559 (java) S 6540 6544 6399 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168272423 937431040 10873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6544/tid=6560] ppid=6540 vsize=915460 CPUtime=0
/proc/6544/task/6560/stat : 6560 (java) S 6540 6544 6399 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168272423 937431040 10873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 915460

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

Child status: 143
Real time (s): 1806.89
CPU time (s): 1800.08
CPU user time (s): 1799.87
CPU system time (s): 0.208968
CPU usage (%): 99.6232
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.87
system time used= 0.208968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11159
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= 37858
involuntary context switches= 63476

runsolver used 3.05253 s user time and 7.2609 s system time

The end

Launcher Data (download as text)

Begin job on node3 on Sun Jan  7 19:39:28 UTC 2007


IDJOB= 210521
IDBENCH= 4626
FILE ID= node3/210521-1168198767

PBS_JOBID= 3480522

Free space on /tmp= 66553 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/fpga/fpga-14-12.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210521-1168198767/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node3/watcher-210521-1168198767 -o ROOT/results/node3/solver-210521-1168198767 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210521-1168198767/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  bb4c24b50c862ca6b18e9d714a5c5e04

RANDOM SEED= 693372966

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.279
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.279
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:       1570520 kB
Buffers:         50444 kB
Cached:         317844 kB
SwapCached:          0 kB
Active:         176644 kB
Inactive:       247740 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1570520 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2228 kB
Writeback:           0 kB
Mapped:          75060 kB
Slab:            46188 kB
Committed_AS:  4404852 kB
PageTables:       1972 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= 66551 MiB



End job on node3 on Sun Jan  7 20:09:35 UTC 2007