Trace number 240181

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.1 1807.87

General information on the benchmark

Nameqcp-qwh/QCP-20/
qcp-20-187-4_ext.xml
MD5SUMe351f583b91a3302c56a4e89568f7e47
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark3.73243
SatisfiableYES
(Un)Satisfiability was proved
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size20
Number of constraints which are defined in extension7600
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.32	   
0.33	Abscon 109 (November, 2006)
0.33	   
0.33	   configuration
0.33	     name=esac.xml
0.36	   
0.36	   instance
0.36	     name=/tmp/evaluation/240181-1168369424/unknown.xml
0.39	   
0.39	   domains being loaded...
0.40	   
0.40	   variables being loaded...
0.48	     nbVariables=400  nbDomainTypes=21  minDomainSize=1  maxDomainSize=20
0.48	       =>  wckTime=0.153  cpuTime=0.11  mem=7M894
0.48	   
0.48	   relations being loaded...
0.49	   
0.49	   constraints being loaded...
0.85	     nbConstraints=5540  nbRelationTypes=22  nbSingletonDomainVariables=213  nbExtensionStructures=41
0.85	     nbSharedExtensionStructures=5499  nbConflictsStructures=41  nbSharedConflictsStructures=5499
0.85	     nbSharedBinaryRepresentations=858  maxDegree=38  maxArity=2
0.85	       =>  wckTime=0.524  cpuTime=0.36  mem=24M490
0.93	   
0.93	   solver IterativeSystematicSolver being built... 
1.12	       =>  wckTime=0.788  cpuTime=0.52  mem=18M536
1.32	   
1.32	   preprocessing
1.32	     nbConstraintChecks=105553  nbPropagations=2838  nbRevisions=25269  nbUselessRevisions=20119  nbSingletonTests=671
1.32	     nbEffectiveSingletonTests=0  nbESACBranches=9  nbRemovedValues=2942  detectedInconsistency=no
1.32	       =>  wckTime=0.193  cpuTime=0.17  mem=18M536
1.39	   
1.39	   search
1.39	     run=0  nbConstraintChecks=6349  nbPropagations=3322  nbRevisions=27300  nbUselessRevisions=21404  nbAssignments=280
1.39	     nbFailedAssignments=5  nbBacktracks=10  nbVisitedNodes=291  nbRestartNogoods=0  mapSize=6  nbInferences=0
1.39	     nbTooLargeKeys=0
1.39	       =>  wckTime=0.263  cpuTime=0.23  mem=19M525
1.46	   
1.46	   search
1.46	     run=1  nbConstraintChecks=19214  nbPropagations=7620  nbRevisions=59873  nbUselessRevisions=46886
1.46	     nbAssignments=636  nbFailedAssignments=13  nbBacktracks=26  nbVisitedNodes=593  nbRestartNogoods=4  mapSize=15
1.46	     nbInferences=0  nbTooLargeKeys=0
1.46	       =>  wckTime=0.33  cpuTime=0.29  mem=19M525
1.53	   
1.53	   search
1.53	     run=2  nbConstraintChecks=37443  nbPropagations=13275  nbRevisions=100524  nbUselessRevisions=79004
1.53	     nbAssignments=1052  nbFailedAssignments=20  nbBacktracks=53  nbVisitedNodes=870  nbRestartNogoods=7  mapSize=34
1.53	     nbInferences=0  nbTooLargeKeys=0
1.53	       =>  wckTime=0.4  cpuTime=0.35  mem=19M525
1.57	   
1.57	   search
1.57	     run=3  nbConstraintChecks=43482  nbPropagations=19360  nbRevisions=142973  nbUselessRevisions=112161
1.57	     nbAssignments=1328  nbFailedAssignments=35  nbBacktracks=87  nbVisitedNodes=1174  nbRestartNogoods=8  mapSize=57
1.57	     nbInferences=0  nbTooLargeKeys=0
1.57	       =>  wckTime=0.447  cpuTime=0.39  mem=20M498
1.63	   
1.63	   search
1.63	     run=4  nbConstraintChecks=57186  nbPropagations=26361  nbRevisions=190367  nbUselessRevisions=148516
1.63	     nbAssignments=1682  nbFailedAssignments=51  nbBacktracks=139  nbVisitedNodes=1552  nbRestartNogoods=10  mapSize=75
1.63	     nbInferences=0  nbTooLargeKeys=0
1.63	       =>  wckTime=0.505  cpuTime=0.44  mem=20M498
1.73	   
1.73	   search
1.73	     run=5  nbConstraintChecks=89946  nbPropagations=35434  nbRevisions=251583  nbUselessRevisions=195204
1.73	     nbAssignments=2542  nbFailedAssignments=66  nbBacktracks=217  nbVisitedNodes=1929  nbRestartNogoods=16  mapSize=103
1.73	     nbInferences=0  nbTooLargeKeys=0
1.73	       =>  wckTime=0.608  cpuTime=0.54  mem=20M498
1.79	   
1.79	   search
1.79	     run=6  nbConstraintChecks=109803  nbPropagations=45771  nbRevisions=320050  nbUselessRevisions=246632
1.79	     nbAssignments=2939  nbFailedAssignments=91  nbBacktracks=330  nbVisitedNodes=2372  nbRestartNogoods=19  mapSize=146
1.79	     nbInferences=0  nbTooLargeKeys=0
1.79	       =>  wckTime=0.668  cpuTime=0.6  mem=21M471
1.87	   
1.87	   search
1.87	     run=7  nbConstraintChecks=140302  nbPropagations=57933  nbRevisions=399512  nbUselessRevisions=305230
1.87	     nbAssignments=3433  nbFailedAssignments=131  nbBacktracks=529  nbVisitedNodes=2933  nbRestartNogoods=22
1.87	     mapSize=201  nbInferences=0  nbTooLargeKeys=0
1.87	       =>  wckTime=0.746  cpuTime=0.67  mem=21M471
2.04	   
2.04	   search
2.04	     run=8  nbConstraintChecks=204922  nbPropagations=74624  nbRevisions=504779  nbUselessRevisions=382240
2.04	     nbAssignments=5276  nbFailedAssignments=202  nbBacktracks=795  nbVisitedNodes=3653  nbRestartNogoods=32
2.04	     mapSize=325  nbInferences=0  nbTooLargeKeys=0
2.04	       =>  wckTime=0.912  cpuTime=0.84  mem=21M471
2.18	   
2.18	   search
2.18	     run=9  nbConstraintChecks=272935  nbPropagations=95170  nbRevisions=635191  nbUselessRevisions=476466
2.18	     nbAssignments=6472  nbFailedAssignments=264  nbBacktracks=1187  nbVisitedNodes=4469  nbRestartNogoods=35
2.18	     mapSize=431  nbInferences=0  nbTooLargeKeys=0
2.18	       =>  wckTime=1.056  cpuTime=0.98  mem=22M444
2.36	   
2.36	   search
2.36	     run=10  nbConstraintChecks=372427  nbPropagations=119391  nbRevisions=828462  nbUselessRevisions=625721
2.36	     nbAssignments=7173  nbFailedAssignments=322  nbBacktracks=1763  nbVisitedNodes=5285  nbRestartNogoods=40
2.36	     mapSize=540  nbInferences=0  nbTooLargeKeys=0
2.36	       =>  wckTime=1.232  cpuTime=1.14  mem=22M444
2.68	   
2.68	   search
2.68	     run=11  nbConstraintChecks=622991  nbPropagations=152315  nbRevisions=1172253  nbUselessRevisions=905841
2.68	     nbAssignments=8427  nbFailedAssignments=448  nbBacktracks=2653  nbVisitedNodes=6626  nbRestartNogoods=46
2.68	     mapSize=806  nbInferences=0  nbTooLargeKeys=0
2.68	       =>  wckTime=1.552  cpuTime=1.46  mem=23M417
2.89	   
2.89	   INFO : Stopping hyperNogood (mapSize=1001, nbTooLargekeys=0, mem=24M390)
3.03	   
3.03	   search
3.03	     run=12  nbConstraintChecks=901383  nbPropagations=194737  nbRevisions=1690782  nbUselessRevisions=1339089
3.03	     nbAssignments=9948  nbFailedAssignments=613  nbBacktracks=3954  nbVisitedNodes=8501  nbRestartNogoods=49
3.03	       =>  wckTime=1.906  cpuTime=1.81  mem=24M390
3.54	   
3.54	   search
3.54	     run=13  nbConstraintChecks=1355613  nbPropagations=252609  nbRevisions=2496250  nbUselessRevisions=2024112
3.54	     nbAssignments=12242  nbFailedAssignments=888  nbBacktracks=5911  nbVisitedNodes=11365  nbRestartNogoods=55
3.54	       =>  wckTime=2.41  cpuTime=2.31  mem=24M390
4.28	   
4.28	   search
4.28	     run=14  nbConstraintChecks=2073861  nbPropagations=333575  nbRevisions=3753633  nbUselessRevisions=3109028
4.28	     nbAssignments=15587  nbFailedAssignments=1268  nbBacktracks=8831  nbVisitedNodes=15501  nbRestartNogoods=60
4.28	       =>  wckTime=3.155  cpuTime=3.05  mem=24M390
5.56	   
5.56	   search
5.56	     run=15  nbConstraintChecks=3310529  nbPropagations=456761  nbRevisions=5801588  nbUselessRevisions=4891207
5.56	     nbAssignments=20784  nbFailedAssignments=2039  nbBacktracks=13213  nbVisitedNodes=22282  nbRestartNogoods=67
5.56	       =>  wckTime=4.437  cpuTime=4.32  mem=24M390
7.53	   
7.53	   search
7.53	     run=16  nbConstraintChecks=5249356  nbPropagations=646067  nbRevisions=9079508  nbUselessRevisions=7757896
7.53	     nbAssignments=28551  nbFailedAssignments=3203  nbBacktracks=19785  nbVisitedNodes=32388  nbRestartNogoods=73
7.53	       =>  wckTime=6.406  cpuTime=6.28  mem=24M390
10.84	   
10.84	   search
10.84	     run=17  nbConstraintChecks=8702698  nbPropagations=951098  nbRevisions=14543202  nbUselessRevisions=12549122
10.84	     nbAssignments=40735  nbFailedAssignments=5507  nbBacktracks=29641  nbVisitedNodes=49293  nbRestartNogoods=81
10.84	       =>  wckTime=9.709  cpuTime=9.57  mem=24M390
16.22	   
16.22	   search
16.22	     run=18  nbConstraintChecks=14675487  nbPropagations=1447298  nbRevisions=23807745  nbUselessRevisions=20689729
16.22	     nbAssignments=59361  nbFailedAssignments=9313  nbBacktracks=44440  nbVisitedNodes=75074  nbRestartNogoods=87
16.22	       =>  wckTime=15.092  cpuTime=14.93  mem=24M390
24.14	   
24.14	   search
24.14	     run=19  nbConstraintChecks=23120250  nbPropagations=2219458  nbRevisions=38438696  nbUselessRevisions=33569920
24.14	     nbAssignments=86748  nbFailedAssignments=14494  nbBacktracks=66609  nbVisitedNodes=112627  nbRestartNogoods=94
24.14	       =>  wckTime=23.016  cpuTime=22.82  mem=24M390
35.62	   
35.62	   search
35.62	     run=20  nbConstraintChecks=34945799  nbPropagations=3397638  nbRevisions=60535144  nbUselessRevisions=53019052
35.62	     nbAssignments=128059  nbFailedAssignments=22515  nbBacktracks=99864  nbVisitedNodes=169693  nbRestartNogoods=104
35.62	       =>  wckTime=34.498  cpuTime=34.25  mem=24M390
53.88	   
53.88	   search
53.88	     run=21  nbConstraintChecks=53991947  nbPropagations=5210759  nbRevisions=94538717  nbUselessRevisions=82930409
53.88	     nbAssignments=190299  nbFailedAssignments=34852  nbBacktracks=149744  nbVisitedNodes=255830  nbRestartNogoods=116
53.88	       =>  wckTime=52.755  cpuTime=52.41  mem=24M390
80.90	   
80.90	   search
80.90	     run=22  nbConstraintChecks=83355499  nbPropagations=7988480  nbRevisions=147649268  nbUselessRevisions=129784389
80.90	     nbAssignments=283705  nbFailedAssignments=53396  nbBacktracks=224563  nbVisitedNodes=384422  nbRestartNogoods=124
80.90	       =>  wckTime=79.769  cpuTime=79.3  mem=24M390
119.92	   
119.92	   search
119.92	     run=23  nbConstraintChecks=124216175  nbPropagations=12134304  nbRevisions=226865289  nbUselessRevisions=199674100
119.92	     nbAssignments=423612  nbFailedAssignments=81040  nbBacktracks=336792  nbVisitedNodes=578096  nbRestartNogoods=136
119.92	       =>  wckTime=118.789  cpuTime=118.13  mem=24M390
177.34	   
177.34	   search
177.34	     run=24  nbConstraintChecks=184277084  nbPropagations=18292064  nbRevisions=343549062  nbUselessRevisions=302504175
177.34	     nbAssignments=633035  nbFailedAssignments=122084  nbBacktracks=505136  nbVisitedNodes=870714  nbRestartNogoods=142
177.35	       =>  wckTime=176.219  cpuTime=175.3  mem=24M390
271.53	   
271.53	   search
271.53	     run=25  nbConstraintChecks=287311027  nbPropagations=27750558  nbRevisions=525767072  nbUselessRevisions=463194251
271.53	     nbAssignments=943591  nbFailedAssignments=180093  nbBacktracks=757650  nbVisitedNodes=1294461  nbRestartNogoods=149
271.53	       =>  wckTime=270.408  cpuTime=269.05  mem=24M390
414.72	   
414.72	   search
414.72	     run=26  nbConstraintChecks=441536246  nbPropagations=42307055  nbRevisions=805965206  nbUselessRevisions=710144777
414.72	     nbAssignments=1430992  nbFailedAssignments=288655  nbBacktracks=1136421  nbVisitedNodes=1986288
414.72	     nbRestartNogoods=162
414.72	       =>  wckTime=413.589  cpuTime=411.56  mem=24M390
623.44	   
623.44	   search
623.44	     run=27  nbConstraintChecks=662466152  nbPropagations=64202676  nbRevisions=1225756441
623.44	     nbUselessRevisions=1080013395  nbAssignments=2137735  nbFailedAssignments=427217  nbBacktracks=1704579
623.44	     nbVisitedNodes=2962755  nbRestartNogoods=173
623.44	       =>  wckTime=622.309  cpuTime=619.31  mem=24M390
930.19	   
930.19	   search
930.19	     run=28  nbConstraintChecks=1000481860  nbPropagations=97096919  nbRevisions=1865610657
930.19	     nbUselessRevisions=1644748879  nbAssignments=3213472  nbFailedAssignments=650689  nbBacktracks=2556808
930.19	     nbVisitedNodes=4468494  nbRestartNogoods=181
930.19	       =>  wckTime=929.068  cpuTime=924.63  mem=24M390
1377.61	   
1377.61	   search
1377.61	     run=29  nbConstraintChecks=1483597480  nbPropagations=145864248  nbRevisions=2818341843
1377.61	     nbUselessRevisions=2486506699  nbAssignments=4807382  nbFailedAssignments=966151  nbBacktracks=3835165
1377.61	     nbVisitedNodes=6677377  nbRestartNogoods=197
1377.61	       =>  wckTime=1376.481  cpuTime=1369.94  mem=24M390

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/node7/watcher-240181-1168369424 -o ROOT/results/node7/solver-240181-1168369424 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/240181-1168369424/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.69 1.85 1.90 4/87 15666
/proc/meminfo: memFree=1702416/2055920 swapFree=4192812/4192956
[pid=15665] ppid=15663 vsize=906644 CPUtime=0.02
/proc/15665/stat : 15665 (java) S 15663 15665 15515 0 -1 0 2068 0 1 0 2 0 0 0 18 0 2 0 185337879 928403456 1817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/15665/statm: 226661 1817 1036 14 0 214244 0
[pid=15665/tid=15667] ppid=15663 vsize=906644 CPUtime=0
/proc/15665/task/15667/stat : 15667 (java) R 15663 15665 15515 0 -1 64 3 0 0 0 0 0 0 0 19 0 2 0 185337882 928403456 1817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0

[startup+0.10328 s]
/proc/loadavg: 1.69 1.85 1.90 4/87 15666
/proc/meminfo: memFree=1702416/2055920 swapFree=4192812/4192956
[pid=15665] ppid=15663 vsize=912588 CPUtime=0.07
/proc/15665/stat : 15665 (java) D 15663 15665 15515 0 -1 0 2749 0 1 0 6 1 0 0 19 0 8 0 185337879 934490112 2495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15665/statm: 228147 2495 1382 14 0 215091 0
[pid=15665/tid=15667] ppid=15663 vsize=912588 CPUtime=0
/proc/15665/task/15667/stat : 15667 (java) S 15663 15665 15515 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 185337882 934490112 2495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912588

[startup+0.511322 s]
/proc/loadavg: 1.69 1.85 1.90 4/87 15666
/proc/meminfo: memFree=1702416/2055920 swapFree=4192812/4192956
[pid=15665] ppid=15663 vsize=915328 CPUtime=0.47
/proc/15665/stat : 15665 (java) R 15663 15665 15515 0 -1 0 6412 0 1 0 43 4 0 0 18 0 8 0 185337879 937295872 6151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15665/statm: 228832 6151 2138 14 0 215302 0
[pid=15665/tid=15667] ppid=15663 vsize=915328 CPUtime=0
/proc/15665/task/15667/stat : 15667 (java) S 15663 15665 15515 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 185337882 937295872 6151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328

[startup+1.33341 s]
/proc/loadavg: 1.69 1.85 1.90 3/94 15673
/proc/meminfo: memFree=1665304/2055920 swapFree=4192812/4192956
[pid=15665] ppid=15663 vsize=915676 CPUtime=1.29
/proc/15665/stat : 15665 (java) R 15663 15665 15515 0 -1 0 12011 0 1 0 121 8 0 0 23 0 8 0 185337879 937652224 11749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072926600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15665/statm: 228919 11749 2523 14 0 215389 0
[pid=15665/tid=15667] ppid=15663 vsize=915676 CPUtime=0.06
/proc/15665/task/15667/stat : 15667 (java) S 15663 15665 15515 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 185337882 937652224 11749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15668] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15668/stat : 15668 (java) S 15663 15665 15515 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 185337883 937652224 11749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15669] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15669/stat : 15669 (java) S 15663 15665 15515 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185337883 937652224 11749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15670] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15670/stat : 15670 (java) S 15663 15665 15515 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 185337886 937652224 11749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15671] ppid=15663 vsize=915676 CPUtime=0.27
/proc/15665/task/15671/stat : 15671 (java) S 15663 15665 15515 0 -1 64 462 0 0 0 25 2 0 0 15 0 8 0 185337886 937652224 11749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15672] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15672/stat : 15672 (java) S 15663 15665 15515 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185337886 937652224 11749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15673] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15673/stat : 15673 (java) S 15663 15665 15515 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185337886 937652224 11749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915676

[startup+2.97158 s]
/proc/loadavg: 1.69 1.85 1.90 3/94 15673
/proc/meminfo: memFree=1665112/2055920 swapFree=4192812/4192956
[pid=15665] ppid=15663 vsize=915676 CPUtime=2.92
/proc/15665/stat : 15665 (java) R 15663 15665 15515 0 -1 0 12040 0 1 0 283 9 0 0 25 0 8 0 185337879 937652224 11777 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074010245 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15665/statm: 228919 11777 2524 14 0 215389 0
[pid=15665/tid=15667] ppid=15663 vsize=915676 CPUtime=0.06
/proc/15665/task/15667/stat : 15667 (java) S 15663 15665 15515 0 -1 64 904 0 0 0 6 0 0 0 17 0 8 0 185337882 937652224 11777 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15668] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15668/stat : 15668 (java) S 15663 15665 15515 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 185337883 937652224 11777 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15669] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15669/stat : 15669 (java) S 15663 15665 15515 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185337883 937652224 11777 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15670] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15670/stat : 15670 (java) S 15663 15665 15515 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 185337886 937652224 11777 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15671] ppid=15663 vsize=915676 CPUtime=0.32
/proc/15665/task/15671/stat : 15671 (java) S 15663 15665 15515 0 -1 64 488 0 0 0 30 2 0 0 15 0 8 0 185337886 937652224 11777 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15672] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15672/stat : 15672 (java) S 15663 15665 15515 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185337886 937652224 11777 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15673] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15673/stat : 15673 (java) S 15663 15665 15515 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185337886 937652224 11777 18446744073709551615 134512640 134570532 4294956464 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) 915676

[startup+6.17191 s]
/proc/loadavg: 1.71 1.86 1.90 3/94 15673
/proc/meminfo: memFree=1665048/2055920 swapFree=4192812/4192956
[pid=15665] ppid=15663 vsize=915676 CPUtime=6.11
/proc/15665/stat : 15665 (java) R 15663 15665 15515 0 -1 0 12043 0 1 0 602 9 0 0 25 0 8 0 185337879 937652224 11778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073960365 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15665/statm: 228919 11778 2524 14 0 215389 0
[pid=15665/tid=15667] ppid=15663 vsize=915676 CPUtime=0.06
/proc/15665/task/15667/stat : 15667 (java) S 15663 15665 15515 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 185337882 937652224 11778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15668] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15668/stat : 15668 (java) S 15663 15665 15515 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 185337883 937652224 11778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15669] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15669/stat : 15669 (java) S 15663 15665 15515 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185337883 937652224 11778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15670] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15670/stat : 15670 (java) S 15663 15665 15515 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 185337886 937652224 11778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15671] ppid=15663 vsize=915676 CPUtime=0.33
/proc/15665/task/15671/stat : 15671 (java) S 15663 15665 15515 0 -1 64 490 0 0 0 31 2 0 0 17 0 8 0 185337886 937652224 11778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15672] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15672/stat : 15672 (java) S 15663 15665 15515 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185337886 937652224 11778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15673] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15673/stat : 15673 (java) S 15663 15665 15515 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185337886 937652224 11778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 915676

[startup+12.6476 s]
/proc/loadavg: 1.74 1.86 1.90 3/94 15673
/proc/meminfo: memFree=1665048/2055920 swapFree=4192812/4192956
[pid=15665] ppid=15663 vsize=915676 CPUtime=12.55
/proc/15665/stat : 15665 (java) R 15663 15665 15515 0 -1 0 12043 0 1 0 1246 9 0 0 25 0 8 0 185337879 937652224 11778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073953610 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15665/statm: 228919 11778 2524 14 0 215389 0
[pid=15665/tid=15667] ppid=15663 vsize=915676 CPUtime=0.06
/proc/15665/task/15667/stat : 15667 (java) S 15663 15665 15515 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 185337882 937652224 11778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15668] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15668/stat : 15668 (java) S 15663 15665 15515 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 185337883 937652224 11778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15669] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15669/stat : 15669 (java) S 15663 15665 15515 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185337883 937652224 11778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15670] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15670/stat : 15670 (java) S 15663 15665 15515 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 185337886 937652224 11778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15671] ppid=15663 vsize=915676 CPUtime=0.33
/proc/15665/task/15671/stat : 15671 (java) S 15663 15665 15515 0 -1 64 490 0 0 0 31 2 0 0 17 0 8 0 185337886 937652224 11778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15672] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15672/stat : 15672 (java) S 15663 15665 15515 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185337886 937652224 11778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15673] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15673/stat : 15673 (java) S 15663 15665 15515 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185337886 937652224 11778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 915676

[startup+25.5309 s]
/proc/loadavg: 1.79 1.86 1.91 3/94 15673
/proc/meminfo: memFree=1665112/2055920 swapFree=4192812/4192956
[pid=15665] ppid=15663 vsize=915676 CPUtime=25.37
/proc/15665/stat : 15665 (java) R 15663 15665 15515 0 -1 0 12043 0 1 0 2528 9 0 0 25 0 8 0 185337879 937652224 11778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073949654 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15665/statm: 228919 11778 2524 14 0 215389 0
[pid=15665/tid=15667] ppid=15663 vsize=915676 CPUtime=0.06
/proc/15665/task/15667/stat : 15667 (java) S 15663 15665 15515 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 185337882 937652224 11778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15668] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15668/stat : 15668 (java) S 15663 15665 15515 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 185337883 937652224 11778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15669] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15669/stat : 15669 (java) S 15663 15665 15515 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185337883 937652224 11778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15670] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15670/stat : 15670 (java) S 15663 15665 15515 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 185337886 937652224 11778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15671] ppid=15663 vsize=915676 CPUtime=0.33
/proc/15665/task/15671/stat : 15671 (java) S 15663 15665 15515 0 -1 64 490 0 0 0 31 2 0 0 17 0 8 0 185337886 937652224 11778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15672] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15672/stat : 15672 (java) S 15663 15665 15515 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185337886 937652224 11778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15673] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15673/stat : 15673 (java) S 15663 15665 15515 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185337886 937652224 11778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915676

[startup+51.1656 s]
/proc/loadavg: 1.93 1.89 1.91 3/94 15673
/proc/meminfo: memFree=1665176/2055920 swapFree=4192812/4192956
[pid=15665] ppid=15663 vsize=915676 CPUtime=50.88
/proc/15665/stat : 15665 (java) R 15663 15665 15515 0 -1 0 12043 0 1 0 5079 9 0 0 25 0 8 0 185337879 937652224 11778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074004977 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15665/statm: 228919 11778 2524 14 0 215389 0
[pid=15665/tid=15667] ppid=15663 vsize=915676 CPUtime=0.06
/proc/15665/task/15667/stat : 15667 (java) S 15663 15665 15515 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 185337882 937652224 11778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15668] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15668/stat : 15668 (java) S 15663 15665 15515 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 185337883 937652224 11778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15669] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15669/stat : 15669 (java) S 15663 15665 15515 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185337883 937652224 11778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15670] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15670/stat : 15670 (java) S 15663 15665 15515 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 185337886 937652224 11778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15671] ppid=15663 vsize=915676 CPUtime=0.33
/proc/15665/task/15671/stat : 15671 (java) S 15663 15665 15515 0 -1 64 490 0 0 0 31 2 0 0 17 0 8 0 185337886 937652224 11778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15672] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15672/stat : 15672 (java) S 15663 15665 15515 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185337886 937652224 11778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15673] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15673/stat : 15673 (java) S 15663 15665 15515 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185337886 937652224 11778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.88
Current children cumulated vsize (KiB) 915676

[startup+102.423 s]
/proc/loadavg: 1.97 1.90 1.91 3/94 15673
/proc/meminfo: memFree=1665176/2055920 swapFree=4192812/4192956
[pid=15665] ppid=15663 vsize=915676 CPUtime=101.9
/proc/15665/stat : 15665 (java) R 15663 15665 15515 0 -1 0 12043 0 1 0 10180 10 0 0 25 0 8 0 185337879 937652224 11778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073952393 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15665/statm: 228919 11778 2524 14 0 215389 0
[pid=15665/tid=15667] ppid=15663 vsize=915676 CPUtime=0.06
/proc/15665/task/15667/stat : 15667 (java) S 15663 15665 15515 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 185337882 937652224 11778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15668] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15668/stat : 15668 (java) S 15663 15665 15515 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 185337883 937652224 11778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15669] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15669/stat : 15669 (java) S 15663 15665 15515 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185337883 937652224 11778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15670] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15670/stat : 15670 (java) S 15663 15665 15515 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 185337886 937652224 11778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15671] ppid=15663 vsize=915676 CPUtime=0.33
/proc/15665/task/15671/stat : 15671 (java) S 15663 15665 15515 0 -1 64 490 0 0 0 31 2 0 0 17 0 8 0 185337886 937652224 11778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15672] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15672/stat : 15672 (java) S 15663 15665 15515 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185337886 937652224 11778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15673] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15673/stat : 15673 (java) S 15663 15665 15515 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185337886 937652224 11778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.9
Current children cumulated vsize (KiB) 915676

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

Current children cumulated CPU time (s) 1415.92
Current children cumulated vsize (KiB) 915676

[startup+1482.63 s]
/proc/loadavg: 2.01 2.00 1.93 3/94 15675
/proc/meminfo: memFree=1665056/2055920 swapFree=4192812/4192956
[pid=15665] ppid=15663 vsize=915676 CPUtime=1475.64
/proc/15665/stat : 15665 (java) R 15663 15665 15515 0 -1 0 12045 0 1 0 147544 20 0 0 25 0 8 0 185337879 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073960325 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15665/statm: 228919 11779 2524 14 0 215389 0
[pid=15665/tid=15667] ppid=15663 vsize=915676 CPUtime=0.06
/proc/15665/task/15667/stat : 15667 (java) S 15663 15665 15515 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 185337882 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15668] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15668/stat : 15668 (java) S 15663 15665 15515 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 185337883 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15669] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15669/stat : 15669 (java) S 15663 15665 15515 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185337883 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15670] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15670/stat : 15670 (java) S 15663 15665 15515 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 185337886 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15671] ppid=15663 vsize=915676 CPUtime=0.33
/proc/15665/task/15671/stat : 15671 (java) S 15663 15665 15515 0 -1 64 491 0 0 0 31 2 0 0 16 0 8 0 185337886 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15672] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15672/stat : 15672 (java) S 15663 15665 15515 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185337886 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15673] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15673/stat : 15673 (java) S 15663 15665 15515 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185337886 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1475.64
Current children cumulated vsize (KiB) 915676

[startup+1542.64 s]
/proc/loadavg: 2.00 2.00 1.93 3/94 15675
/proc/meminfo: memFree=1665056/2055920 swapFree=4192812/4192956
[pid=15665] ppid=15663 vsize=915676 CPUtime=1535.38
/proc/15665/stat : 15665 (java) R 15663 15665 15515 0 -1 0 12045 0 1 0 153517 21 0 0 25 0 8 0 185337879 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074004977 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15665/statm: 228919 11779 2524 14 0 215389 0
[pid=15665/tid=15667] ppid=15663 vsize=915676 CPUtime=0.06
/proc/15665/task/15667/stat : 15667 (java) S 15663 15665 15515 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 185337882 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15668] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15668/stat : 15668 (java) S 15663 15665 15515 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 185337883 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15669] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15669/stat : 15669 (java) S 15663 15665 15515 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185337883 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15670] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15670/stat : 15670 (java) S 15663 15665 15515 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 185337886 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15671] ppid=15663 vsize=915676 CPUtime=0.33
/proc/15665/task/15671/stat : 15671 (java) S 15663 15665 15515 0 -1 64 491 0 0 0 31 2 0 0 16 0 8 0 185337886 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15672] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15672/stat : 15672 (java) S 15663 15665 15515 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185337886 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15673] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15673/stat : 15673 (java) S 15663 15665 15515 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185337886 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1535.38
Current children cumulated vsize (KiB) 915676

[startup+1602.64 s]
/proc/loadavg: 2.00 2.00 1.93 3/94 15675
/proc/meminfo: memFree=1665056/2055920 swapFree=4192812/4192956
[pid=15665] ppid=15663 vsize=915676 CPUtime=1595.1
/proc/15665/stat : 15665 (java) R 15663 15665 15515 0 -1 0 12045 0 1 0 159489 21 0 0 25 0 8 0 185337879 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073942251 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15665/statm: 228919 11779 2524 14 0 215389 0
[pid=15665/tid=15667] ppid=15663 vsize=915676 CPUtime=0.06
/proc/15665/task/15667/stat : 15667 (java) S 15663 15665 15515 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 185337882 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15668] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15668/stat : 15668 (java) S 15663 15665 15515 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 185337883 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15669] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15669/stat : 15669 (java) S 15663 15665 15515 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185337883 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15670] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15670/stat : 15670 (java) S 15663 15665 15515 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 185337886 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15671] ppid=15663 vsize=915676 CPUtime=0.33
/proc/15665/task/15671/stat : 15671 (java) S 15663 15665 15515 0 -1 64 491 0 0 0 31 2 0 0 16 0 8 0 185337886 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15672] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15672/stat : 15672 (java) S 15663 15665 15515 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185337886 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15673] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15673/stat : 15673 (java) S 15663 15665 15515 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185337886 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1595.1
Current children cumulated vsize (KiB) 915676

[startup+1662.74 s]
/proc/loadavg: 2.10 2.03 1.94 3/100 15732
/proc/meminfo: memFree=1641008/2055920 swapFree=4192812/4192956
[pid=15665] ppid=15663 vsize=915676 CPUtime=1655.1
/proc/15665/stat : 15665 (java) R 15663 15665 15515 0 -1 0 12045 0 1 0 165487 23 0 0 25 0 8 0 185337879 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073948627 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15665/statm: 228919 11779 2524 14 0 215389 0
[pid=15665/tid=15667] ppid=15663 vsize=915676 CPUtime=0.06
/proc/15665/task/15667/stat : 15667 (java) S 15663 15665 15515 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 185337882 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15668] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15668/stat : 15668 (java) S 15663 15665 15515 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 185337883 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15669] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15669/stat : 15669 (java) S 15663 15665 15515 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185337883 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15670] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15670/stat : 15670 (java) S 15663 15665 15515 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 185337886 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15671] ppid=15663 vsize=915676 CPUtime=0.33
/proc/15665/task/15671/stat : 15671 (java) S 15663 15665 15515 0 -1 64 491 0 0 0 31 2 0 0 16 0 8 0 185337886 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15672] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15672/stat : 15672 (java) S 15663 15665 15515 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185337886 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15673] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15673/stat : 15673 (java) S 15663 15665 15515 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185337886 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1655.1
Current children cumulated vsize (KiB) 915676

[startup+1722.82 s]
/proc/loadavg: 1.75 1.94 1.92 3/93 15803
/proc/meminfo: memFree=1668712/2055920 swapFree=4192812/4192956
[pid=15665] ppid=15663 vsize=915676 CPUtime=1715.13
/proc/15665/stat : 15665 (java) R 15663 15665 15515 0 -1 0 12045 0 1 0 171489 24 0 0 25 0 8 0 185337879 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073960342 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15665/statm: 228919 11779 2524 14 0 215389 0
[pid=15665/tid=15667] ppid=15663 vsize=915676 CPUtime=0.06
/proc/15665/task/15667/stat : 15667 (java) S 15663 15665 15515 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 185337882 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15668] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15668/stat : 15668 (java) S 15663 15665 15515 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 185337883 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15669] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15669/stat : 15669 (java) S 15663 15665 15515 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185337883 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15670] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15670/stat : 15670 (java) S 15663 15665 15515 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 185337886 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15671] ppid=15663 vsize=915676 CPUtime=0.33
/proc/15665/task/15671/stat : 15671 (java) S 15663 15665 15515 0 -1 64 491 0 0 0 31 2 0 0 16 0 8 0 185337886 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15672] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15672/stat : 15672 (java) S 15663 15665 15515 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185337886 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15673] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15673/stat : 15673 (java) S 15663 15665 15515 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185337886 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1715.13
Current children cumulated vsize (KiB) 915676

[startup+1782.91 s]
/proc/loadavg: 1.96 1.97 1.92 3/93 15803
/proc/meminfo: memFree=1668840/2055920 swapFree=4192812/4192956
[pid=15665] ppid=15663 vsize=915676 CPUtime=1775.15
/proc/15665/stat : 15665 (java) R 15663 15665 15515 0 -1 0 12045 0 1 0 177491 24 0 0 25 0 8 0 185337879 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073942137 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15665/statm: 228919 11779 2524 14 0 215389 0
[pid=15665/tid=15667] ppid=15663 vsize=915676 CPUtime=0.06
/proc/15665/task/15667/stat : 15667 (java) S 15663 15665 15515 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 185337882 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15668] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15668/stat : 15668 (java) S 15663 15665 15515 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 185337883 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15669] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15669/stat : 15669 (java) S 15663 15665 15515 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185337883 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15670] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15670/stat : 15670 (java) S 15663 15665 15515 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 185337886 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15671] ppid=15663 vsize=915676 CPUtime=0.33
/proc/15665/task/15671/stat : 15671 (java) S 15663 15665 15515 0 -1 64 491 0 0 0 31 2 0 0 16 0 8 0 185337886 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15672] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15672/stat : 15672 (java) S 15663 15665 15515 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185337886 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15673] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15673/stat : 15673 (java) S 15663 15665 15515 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185337886 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1775.15
Current children cumulated vsize (KiB) 915676



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1807.82 s]
/proc/loadavg: 1.97 1.97 1.92 3/93 15803
/proc/meminfo: memFree=1668904/2055920 swapFree=4192812/4192956
[pid=15665] ppid=15663 vsize=915676 CPUtime=1800.05
/proc/15665/stat : 15665 (java) R 15663 15665 15515 0 -1 0 12045 0 1 0 179981 24 0 0 25 0 8 0 185337879 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073952422 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15665/statm: 228919 11779 2524 14 0 215389 0
[pid=15665/tid=15667] ppid=15663 vsize=915676 CPUtime=0.06
/proc/15665/task/15667/stat : 15667 (java) S 15663 15665 15515 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 185337882 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15668] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15668/stat : 15668 (java) S 15663 15665 15515 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 185337883 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15669] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15669/stat : 15669 (java) S 15663 15665 15515 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185337883 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15670] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15670/stat : 15670 (java) S 15663 15665 15515 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 185337886 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15671] ppid=15663 vsize=915676 CPUtime=0.33
/proc/15665/task/15671/stat : 15671 (java) S 15663 15665 15515 0 -1 64 491 0 0 0 31 2 0 0 16 0 8 0 185337886 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15672] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15672/stat : 15672 (java) S 15663 15665 15515 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185337886 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15665/tid=15673] ppid=15663 vsize=915676 CPUtime=0
/proc/15665/task/15673/stat : 15673 (java) S 15663 15665 15515 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185337886 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 915676

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

Child status: 143
Real time (s): 1807.87
CPU time (s): 1800.1
CPU user time (s): 1799.84
CPU system time (s): 0.255961
CPU usage (%): 99.5702
Max. virtual memory (cumulated for all children) (KiB): 915780

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

runsolver used 1.81272 s user time and 6.18706 s system time

The end

Launcher Data (download as text)

Begin job on node7 on Tue Jan  9 19:03:44 UTC 2007


IDJOB= 240181
IDBENCH= 7111
FILE ID= node7/240181-1168369424

PBS_JOBID= 3503857

Free space on /tmp= 66548 MiB

BENCH NAME= HOME/pub/bench/CPAI06/qcp-qwh/QCP-20/qcp-20-187-4_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/240181-1168369424/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node7/watcher-240181-1168369424 -o ROOT/results/node7/solver-240181-1168369424 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/240181-1168369424/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  e351f583b91a3302c56a4e89568f7e47

RANDOM SEED= 97752519

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.220
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.220
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:       1702896 kB
Buffers:         44260 kB
Cached:         194624 kB
SwapCached:          0 kB
Active:         216428 kB
Inactive:        86644 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1702896 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2252 kB
Writeback:           0 kB
Mapped:          84296 kB
Slab:            34664 kB
Committed_AS:  5959976 kB
PageTables:       2360 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= 66560 MiB



End job on node7 on Tue Jan  9 19:33:52 UTC 2007