Trace number 195193

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.14 1816.15

General information on the benchmark

Namerandom/rand-2-50-23/
rand-2-50-23-587-230-19_ext.xml
MD5SUM478aa51d88e05232d3d81d79221c2e68
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 benchmark255.586
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables50
Number of constraints479
Maximum constraint arity2
Maximum domain size23
Number of constraints which are defined in extension479
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=esac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/195193-1168111779/unknown.xml
0.38	   
0.38	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.43	     nbVariables=50  nbDomainTypes=1  minDomainSize=23  maxDomainSize=23
0.43	       =>  wckTime=0.106  cpuTime=0.09  mem=6M951
0.43	   
0.43	   relations being loaded...
0.58	   
0.58	   constraints being loaded...
0.73	     nbConstraints=479  nbRelationTypes=479  nbExtensionStructures=479  nbSharedExtensionStructures=0
0.73	     nbConflictsStructures=479  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=2661  maxDegree=29
0.73	     maxArity=2
0.73	       =>  wckTime=0.408  cpuTime=0.3  mem=18M40
0.78	   
0.78	   solver IterativeSystematicSolver being built... 
0.94	       =>  wckTime=0.621  cpuTime=0.44  mem=15M603
1.00	   
1.00	   preprocessing
1.00	     nbConstraintChecks=105118  nbPropagations=1163  nbRevisions=9128  nbUselessRevisions=7496  nbSingletonTests=58
1.01	     nbEffectiveSingletonTests=0  nbESACBranches=6  nbRemovedValues=0  detectedInconsistency=no
1.01	       =>  wckTime=0.06  cpuTime=0.05  mem=15M603
1.04	   
1.04	   search
1.04	     run=0  nbConstraintChecks=45137  nbPropagations=1729  nbRevisions=15887  nbUselessRevisions=13100  nbAssignments=31
1.04	     nbFailedAssignments=8  nbBacktracks=13  nbVisitedNodes=47  nbRestartNogoods=0  mapSize=9  nbInferences=0
1.04	     nbTooLargeKeys=0
1.04	       =>  wckTime=0.091  cpuTime=0.07  mem=15M603
1.06	   
1.06	   search
1.06	     run=1  nbConstraintChecks=140146  nbPropagations=4588  nbRevisions=44275  nbUselessRevisions=36567
1.06	     nbAssignments=83  nbFailedAssignments=17  nbBacktracks=29  nbVisitedNodes=100  nbRestartNogoods=3  mapSize=23
1.06	     nbInferences=0  nbTooLargeKeys=0
1.06	       =>  wckTime=0.118  cpuTime=0.09  mem=15M603
1.08	   
1.08	   search
1.08	     run=2  nbConstraintChecks=215094  nbPropagations=8375  nbRevisions=85698  nbUselessRevisions=70849
1.08	     nbAssignments=132  nbFailedAssignments=35  nbBacktracks=51  nbVisitedNodes=177  nbRestartNogoods=5  mapSize=42
1.08	     nbInferences=0  nbTooLargeKeys=0
1.08	       =>  wckTime=0.134  cpuTime=0.11  mem=15M603
1.10	   
1.10	   search
1.10	     run=3  nbConstraintChecks=315840  nbPropagations=13337  nbRevisions=143846  nbUselessRevisions=118965
1.10	     nbAssignments=198  nbFailedAssignments=55  nbBacktracks=85  nbVisitedNodes=278  nbRestartNogoods=6  mapSize=68
1.10	     nbInferences=0  nbTooLargeKeys=0
1.10	       =>  wckTime=0.156  cpuTime=0.13  mem=15M603
1.13	   
1.13	   search
1.13	     run=4  nbConstraintChecks=466205  nbPropagations=20136  nbRevisions=229402  nbUselessRevisions=189809
1.13	     nbAssignments=298  nbFailedAssignments=92  nbBacktracks=135  nbVisitedNodes=441  nbRestartNogoods=8  mapSize=111
1.13	     nbInferences=0  nbTooLargeKeys=0
1.13	       =>  wckTime=0.187  cpuTime=0.15  mem=15M603
1.19	   
1.19	   search
1.19	     run=5  nbConstraintChecks=782749  nbPropagations=30279  nbRevisions=365289  nbUselessRevisions=301881
1.19	     nbAssignments=456  nbFailedAssignments=143  nbBacktracks=212  nbVisitedNodes=675  nbRestartNogoods=13  mapSize=180
1.19	     nbInferences=0  nbTooLargeKeys=0
1.19	       =>  wckTime=0.25  cpuTime=0.21  mem=15M603
1.24	   
1.24	   search
1.24	     run=6  nbConstraintChecks=1014508  nbPropagations=43692  nbRevisions=548074  nbUselessRevisions=452745
1.24	     nbAssignments=649  nbFailedAssignments=212  nbBacktracks=325  nbVisitedNodes=994  nbRestartNogoods=16  mapSize=269
1.24	     nbInferences=0  nbTooLargeKeys=0
1.24	       =>  wckTime=0.299  cpuTime=0.26  mem=15M603
1.34	   
1.34	   search
1.34	     run=7  nbConstraintChecks=1532573  nbPropagations=63256  nbRevisions=826907  nbUselessRevisions=682308
1.34	     nbAssignments=971  nbFailedAssignments=353  nbBacktracks=496  nbVisitedNodes=1551  nbRestartNogoods=22  mapSize=416
1.34	     nbInferences=0  nbTooLargeKeys=0
1.34	       =>  wckTime=0.399  cpuTime=0.35  mem=15M603
1.46	   
1.46	   search
1.46	     run=8  nbConstraintChecks=2106947  nbPropagations=89949  nbRevisions=1214943  nbUselessRevisions=1001316
1.46	     nbAssignments=1375  nbFailedAssignments=490  nbBacktracks=752  nbVisitedNodes=2211  nbRestartNogoods=26
1.46	     mapSize=609  nbInferences=0  nbTooLargeKeys=0
1.46	       =>  wckTime=0.512  cpuTime=0.46  mem=15M603
1.63	   
1.63	   search
1.63	     run=9  nbConstraintChecks=3032907  nbPropagations=128066  nbRevisions=1777564  nbUselessRevisions=1464134
1.63	     nbAssignments=1989  nbFailedAssignments=707  nbBacktracks=1138  nbVisitedNodes=3255  nbRestartNogoods=31
1.63	     mapSize=915  nbInferences=0  nbTooLargeKeys=0
1.63	       =>  wckTime=0.69  cpuTime=0.62  mem=15M603
1.69	   
1.69	   INFO : Stopping hyperNogood (mapSize=1006, nbTooLargekeys=0, mem=15M603)
1.90	   
1.90	   search
1.90	     run=10  nbConstraintChecks=4564869  nbPropagations=184779  nbRevisions=2630182  nbUselessRevisions=2165306
1.90	     nbAssignments=2964  nbFailedAssignments=1094  nbBacktracks=1717  nbVisitedNodes=4931  nbRestartNogoods=40
1.90	       =>  wckTime=0.958  cpuTime=0.87  mem=15M603
2.23	   
2.24	   search
2.24	     run=11  nbConstraintChecks=6649114  nbPropagations=266835  nbRevisions=3874138  nbUselessRevisions=3190098
2.24	     nbAssignments=4348  nbFailedAssignments=1578  nbBacktracks=2582  nbVisitedNodes=7201  nbRestartNogoods=52
2.24	       =>  wckTime=1.291  cpuTime=1.21  mem=15M603
2.78	   
2.78	   search
2.78	     run=12  nbConstraintChecks=10024138  nbPropagations=388051  nbRevisions=5744206  nbUselessRevisions=4728983
2.78	     nbAssignments=6504  nbFailedAssignments=2427  nbBacktracks=3879  nbVisitedNodes=10853  nbRestartNogoods=55
2.78	       =>  wckTime=1.834  cpuTime=1.73  mem=15M603
3.52	   
3.52	   search
3.52	     run=13  nbConstraintChecks=14541739  nbPropagations=566152  nbRevisions=8501381  nbUselessRevisions=7000580
3.52	     nbAssignments=9577  nbFailedAssignments=3544  nbBacktracks=5825  nbVisitedNodes=16056  nbRestartNogoods=63
3.52	       =>  wckTime=2.578  cpuTime=2.47  mem=15M603
4.77	   
4.77	   search
4.77	     run=14  nbConstraintChecks=22475422  nbPropagations=835570  nbRevisions=12730154  nbUselessRevisions=10485733
4.77	     nbAssignments=14331  nbFailedAssignments=5368  nbBacktracks=8745  nbVisitedNodes=24165  nbRestartNogoods=73
4.77	       =>  wckTime=3.828  cpuTime=3.7  mem=15M603
6.47	   
6.47	   search
6.47	     run=15  nbConstraintChecks=32901194  nbPropagations=1234090  nbRevisions=18976017  nbUselessRevisions=15635598
6.47	     nbAssignments=21340  nbFailedAssignments=7991  nbBacktracks=13123  nbVisitedNodes=36064  nbRestartNogoods=83
6.47	       =>  wckTime=5.529  cpuTime=5.39  mem=15M603
9.09	   
9.09	   search
9.09	     run=16  nbConstraintChecks=49159325  nbPropagations=1827659  nbRevisions=28267549  nbUselessRevisions=23290941
9.09	     nbAssignments=31769  nbFailedAssignments=11842  nbBacktracks=19691  nbVisitedNodes=53633  nbRestartNogoods=87
9.09	       =>  wckTime=8.146  cpuTime=7.98  mem=16M578
12.81	   
12.81	   search
12.81	     run=17  nbConstraintChecks=72620878  nbPropagations=2695466  nbRevisions=41815859  nbUselessRevisions=34438603
12.81	     nbAssignments=46900  nbFailedAssignments=17110  nbBacktracks=29544  nbVisitedNodes=78853  nbRestartNogoods=98
12.81	       =>  wckTime=11.866  cpuTime=11.67  mem=16M578
19.43	   
19.43	   search
19.43	     run=18  nbConstraintChecks=115286905  nbPropagations=4044852  nbRevisions=63126869  nbUselessRevisions=51977074
19.43	     nbAssignments=71541  nbFailedAssignments=26958  nbBacktracks=44327  nbVisitedNodes=121380  nbRestartNogoods=109
19.43	       =>  wckTime=18.491  cpuTime=18.23  mem=16M578
28.08	   
28.08	   search
28.08	     run=19  nbConstraintChecks=167478907  nbPropagations=6051108  nbRevisions=94906168  nbUselessRevisions=78201536
28.08	     nbAssignments=107016  nbFailedAssignments=40254  nbBacktracks=66496  nbVisitedNodes=181822  nbRestartNogoods=116
28.08	       =>  wckTime=27.131  cpuTime=26.8  mem=16M578
43.33	   
43.33	   search
43.33	     run=20  nbConstraintChecks=264685593  nbPropagations=9172758  nbRevisions=144737738  nbUselessRevisions=119305499
43.33	     nbAssignments=164231  nbFailedAssignments=64205  nbBacktracks=99748  nbVisitedNodes=281891  nbRestartNogoods=124
43.33	       =>  wckTime=42.391  cpuTime=41.91  mem=16M578
62.33	   
62.33	   search
62.33	     run=21  nbConstraintChecks=382486846  nbPropagations=13721328  nbRevisions=216926466  nbUselessRevisions=178874962
62.33	     nbAssignments=241727  nbFailedAssignments=91793  nbBacktracks=149626  nbVisitedNodes=411733  nbRestartNogoods=139
62.33	       =>  wckTime=61.386  cpuTime=60.74  mem=16M578
95.55	   
95.55	   search
95.55	     run=22  nbConstraintChecks=590406616  nbPropagations=20726609  nbRevisions=328685510  nbUselessRevisions=271134082
95.55	     nbAssignments=368008  nbFailedAssignments=143244  nbBacktracks=224444  nbVisitedNodes=631207  nbRestartNogoods=150
95.55	       =>  wckTime=94.603  cpuTime=93.65  mem=16M578
138.67	   
138.67	   search
138.67	     run=23  nbConstraintChecks=860267451  nbPropagations=30960256  nbRevisions=490783807  nbUselessRevisions=404828828
138.67	     nbAssignments=540993  nbFailedAssignments=203986  nbBacktracks=336674  nbVisitedNodes=920644  nbRestartNogoods=161
138.67	       =>  wckTime=137.729  cpuTime=136.38  mem=16M578
213.05	   
213.05	   search
213.05	     run=24  nbConstraintChecks=1328511449  nbPropagations=46660419  nbRevisions=741402665  nbUselessRevisions=611709321
213.05	     nbAssignments=822142  nbFailedAssignments=316780  nbBacktracks=505018  nbVisitedNodes=1407118  nbRestartNogoods=172
213.05	       =>  wckTime=212.107  cpuTime=210.09  mem=16M578
310.09	   
310.09	   search
310.09	     run=25  nbConstraintChecks=1927890509  nbPropagations=69651807  nbRevisions=1106331064
310.09	     nbUselessRevisions=912916413  nbAssignments=1214325  nbFailedAssignments=456441  nbBacktracks=757531
310.09	     nbVisitedNodes=2067777  nbRestartNogoods=186
310.09	       =>  wckTime=309.146  cpuTime=306.23  mem=16M578
477.80	   
477.80	   search
477.80	     run=26  nbConstraintChecks=3005968427  nbPropagations=104827271  nbRevisions=1668454470
477.80	     nbUselessRevisions=1376666230  nbAssignments=1838970  nbFailedAssignments=702306  nbBacktracks=1136298
477.80	     nbVisitedNodes=3143453  nbRestartNogoods=198
477.80	       =>  wckTime=476.86  cpuTime=472.43  mem=16M578
702.82	   
702.82	   search
702.82	     run=27  nbConstraintChecks=4405703848  nbPropagations=156808889  nbRevisions=2496389958
702.82	     nbUselessRevisions=2059954285  nbAssignments=2733142  nbFailedAssignments=1028289  nbBacktracks=1704449
702.82	     nbVisitedNodes=4656213  nbRestartNogoods=213
702.82	       =>  wckTime=701.873  cpuTime=695.38  mem=16M578
1066.52	   
1066.52	   search
1066.52	     run=28  nbConstraintChecks=6707732742  nbPropagations=235642924  nbRevisions=3753452466
1066.52	     nbUselessRevisions=3097202501  nbAssignments=4121870  nbFailedAssignments=1564781  nbBacktracks=2556675
1066.52	     nbVisitedNodes=7043323  nbRestartNogoods=229
1066.52	       =>  wckTime=1065.573  cpuTime=1055.77  mem=16M578
1630.24	   
1630.24	   search
1630.24	     run=29  nbConstraintChecks=10318186451  nbPropagations=355503335  nbRevisions=5674830262
1630.24	     nbUselessRevisions=4682009975  nbAssignments=6224657  nbFailedAssignments=2389216  nbBacktracks=3835015
1630.24	     nbVisitedNodes=10658597  nbRestartNogoods=245
1630.24	       =>  wckTime=1629.298  cpuTime=1614.35  mem=16M578

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/node14/watcher-195193-1168111779 -o ROOT/results/node14/solver-195193-1168111779 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195193-1168111779/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: 2.00 2.01 2.00 4/95 5921
/proc/meminfo: memFree=1307400/2055920 swapFree=4182236/4192956
[pid=5920] ppid=5918 vsize=906644 CPUtime=0.02
/proc/5920/stat : 5920 (java) S 5918 5920 4613 0 -1 0 2068 0 1 0 1 1 0 0 18 0 2 0 159572840 928403456 1817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/5920/statm: 226661 1817 1036 14 0 214244 0
[pid=5920/tid=5922] ppid=5918 vsize=906644 CPUtime=0
/proc/5920/task/5922/stat : 5922 (java) R 5918 5920 4613 0 -1 64 3 0 0 0 0 0 0 0 19 0 2 0 159572844 928403456 1817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0

[startup+0.104696 s]
/proc/loadavg: 2.00 2.01 2.00 4/95 5921
/proc/meminfo: memFree=1307400/2055920 swapFree=4182236/4192956
[pid=5920] ppid=5918 vsize=914988 CPUtime=0.09
/proc/5920/stat : 5920 (java) R 5918 5920 4613 0 -1 0 2997 0 1 0 7 2 0 0 20 0 8 0 159572840 936947712 2743 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5920/statm: 228747 2743 1427 14 0 215242 0
[pid=5920/tid=5922] ppid=5918 vsize=914988 CPUtime=0
/proc/5920/task/5922/stat : 5922 (java) S 5918 5920 4613 0 -1 64 5 0 0 0 0 0 0 0 18 0 8 0 159572844 936947712 2743 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.516734 s]
/proc/loadavg: 2.00 2.01 2.00 4/95 5921
/proc/meminfo: memFree=1307400/2055920 swapFree=4182236/4192956
[pid=5920] ppid=5918 vsize=915328 CPUtime=0.49
/proc/5920/stat : 5920 (java) R 5918 5920 4613 0 -1 0 6865 0 1 0 44 5 0 0 18 0 8 0 159572840 937295872 6604 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072924300 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5920/statm: 228832 6604 2137 14 0 215302 0
[pid=5920/tid=5922] ppid=5918 vsize=915328 CPUtime=0
/proc/5920/task/5922/stat : 5922 (java) S 5918 5920 4613 0 -1 64 5 0 0 0 0 0 0 0 18 0 8 0 159572844 937295872 6604 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.34982 s]
/proc/loadavg: 2.00 2.01 2.00 3/102 5928
/proc/meminfo: memFree=1279568/2055920 swapFree=4182236/4192956
[pid=5920] ppid=5918 vsize=915460 CPUtime=1.31
/proc/5920/stat : 5920 (java) R 5918 5920 4613 0 -1 0 9667 0 1 0 124 7 0 0 24 0 8 0 159572840 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073824633 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5920/statm: 228865 9405 2524 14 0 215335 0
[pid=5920/tid=5922] ppid=5918 vsize=915460 CPUtime=0.03
/proc/5920/task/5922/stat : 5922 (java) S 5918 5920 4613 0 -1 64 412 0 0 0 3 0 0 0 16 0 8 0 159572844 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5923] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5923/stat : 5923 (java) S 5918 5920 4613 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159572845 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5924] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5924/stat : 5924 (java) S 5918 5920 4613 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159572845 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5925] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5925/stat : 5925 (java) S 5918 5920 4613 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159572848 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5926] ppid=5918 vsize=915460 CPUtime=0.22
/proc/5920/task/5926/stat : 5926 (java) S 5918 5920 4613 0 -1 64 383 0 0 0 21 1 0 0 15 0 8 0 159572848 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5927] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5927/stat : 5927 (java) S 5918 5920 4613 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159572848 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5928] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5928/stat : 5928 (java) S 5918 5920 4613 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159572848 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915460

[startup+2.98796 s]
/proc/loadavg: 2.00 2.01 2.00 3/102 5928
/proc/meminfo: memFree=1279440/2055920 swapFree=4182236/4192956
[pid=5920] ppid=5918 vsize=915460 CPUtime=2.94
/proc/5920/stat : 5920 (java) R 5918 5920 4613 0 -1 0 9686 0 1 0 286 8 0 0 25 0 8 0 159572840 937431040 9422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073816217 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5920/statm: 228865 9422 2524 14 0 215335 0
[pid=5920/tid=5922] ppid=5918 vsize=915460 CPUtime=0.03
/proc/5920/task/5922/stat : 5922 (java) S 5918 5920 4613 0 -1 64 412 0 0 0 3 0 0 0 17 0 8 0 159572844 937431040 9422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5923] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5923/stat : 5923 (java) S 5918 5920 4613 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159572845 937431040 9422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5924] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5924/stat : 5924 (java) S 5918 5920 4613 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159572845 937431040 9422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5925] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5925/stat : 5925 (java) S 5918 5920 4613 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159572848 937431040 9422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5926] ppid=5918 vsize=915460 CPUtime=0.26
/proc/5920/task/5926/stat : 5926 (java) S 5918 5920 4613 0 -1 64 401 0 0 0 25 1 0 0 15 0 8 0 159572848 937431040 9422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5927] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5927/stat : 5927 (java) S 5918 5920 4613 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159572848 937431040 9422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5928] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5928/stat : 5928 (java) S 5918 5920 4613 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159572848 937431040 9422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915460

[startup+6.26727 s]
/proc/loadavg: 2.00 2.01 2.00 3/102 5928
/proc/meminfo: memFree=1279376/2055920 swapFree=4182236/4192956
[pid=5920] ppid=5918 vsize=915460 CPUtime=6.19
/proc/5920/stat : 5920 (java) R 5918 5920 4613 0 -1 0 9686 0 1 0 611 8 0 0 25 0 8 0 159572840 937431040 9422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073818158 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5920/statm: 228865 9422 2524 14 0 215335 0
[pid=5920/tid=5922] ppid=5918 vsize=915460 CPUtime=0.03
/proc/5920/task/5922/stat : 5922 (java) S 5918 5920 4613 0 -1 64 412 0 0 0 3 0 0 0 16 0 8 0 159572844 937431040 9422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5923] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5923/stat : 5923 (java) S 5918 5920 4613 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159572845 937431040 9422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5924] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5924/stat : 5924 (java) S 5918 5920 4613 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159572845 937431040 9422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5925] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5925/stat : 5925 (java) S 5918 5920 4613 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159572848 937431040 9422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5926] ppid=5918 vsize=915460 CPUtime=0.26
/proc/5920/task/5926/stat : 5926 (java) S 5918 5920 4613 0 -1 64 401 0 0 0 25 1 0 0 16 0 8 0 159572848 937431040 9422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5927] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5927/stat : 5927 (java) S 5918 5920 4613 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159572848 937431040 9422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5928] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5928/stat : 5928 (java) S 5918 5920 4613 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159572848 937431040 9422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915460

[startup+12.7579 s]
/proc/loadavg: 2.00 2.00 2.00 3/102 5928
/proc/meminfo: memFree=1279384/2055920 swapFree=4182236/4192956
[pid=5920] ppid=5918 vsize=915460 CPUtime=12.61
/proc/5920/stat : 5920 (java) R 5918 5920 4613 0 -1 0 9686 0 1 0 1253 8 0 0 25 0 8 0 159572840 937431040 9422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073854980 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5920/statm: 228865 9422 2524 14 0 215335 0
[pid=5920/tid=5922] ppid=5918 vsize=915460 CPUtime=0.03
/proc/5920/task/5922/stat : 5922 (java) S 5918 5920 4613 0 -1 64 412 0 0 0 3 0 0 0 16 0 8 0 159572844 937431040 9422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5923] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5923/stat : 5923 (java) S 5918 5920 4613 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159572845 937431040 9422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5924] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5924/stat : 5924 (java) S 5918 5920 4613 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159572845 937431040 9422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5925] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5925/stat : 5925 (java) S 5918 5920 4613 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159572848 937431040 9422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5926] ppid=5918 vsize=915460 CPUtime=0.26
/proc/5920/task/5926/stat : 5926 (java) S 5918 5920 4613 0 -1 64 401 0 0 0 25 1 0 0 16 0 8 0 159572848 937431040 9422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5927] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5927/stat : 5927 (java) S 5918 5920 4613 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159572848 937431040 9422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5928] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5928/stat : 5928 (java) S 5918 5920 4613 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159572848 937431040 9422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915460

[startup+25.6171 s]
/proc/loadavg: 2.00 2.00 2.00 3/102 5928
/proc/meminfo: memFree=1279512/2055920 swapFree=4182236/4192956
[pid=5920] ppid=5918 vsize=915460 CPUtime=25.36
/proc/5920/stat : 5920 (java) R 5918 5920 4613 0 -1 0 9686 0 1 0 2528 8 0 0 25 0 8 0 159572840 937431040 9422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073821259 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5920/statm: 228865 9422 2524 14 0 215335 0
[pid=5920/tid=5922] ppid=5918 vsize=915460 CPUtime=0.03
/proc/5920/task/5922/stat : 5922 (java) S 5918 5920 4613 0 -1 64 412 0 0 0 3 0 0 0 16 0 8 0 159572844 937431040 9422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5923] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5923/stat : 5923 (java) S 5918 5920 4613 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159572845 937431040 9422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5924] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5924/stat : 5924 (java) S 5918 5920 4613 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159572845 937431040 9422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5925] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5925/stat : 5925 (java) S 5918 5920 4613 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159572848 937431040 9422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5926] ppid=5918 vsize=915460 CPUtime=0.26
/proc/5920/task/5926/stat : 5926 (java) S 5918 5920 4613 0 -1 64 401 0 0 0 25 1 0 0 16 0 8 0 159572848 937431040 9422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5927] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5927/stat : 5927 (java) S 5918 5920 4613 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159572848 937431040 9422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5928] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5928/stat : 5928 (java) S 5918 5920 4613 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159572848 937431040 9422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915460

[startup+51.2316 s]
/proc/loadavg: 2.00 2.00 2.00 3/102 5928
/proc/meminfo: memFree=1266520/2055920 swapFree=4182236/4192956
[pid=5920] ppid=5918 vsize=915460 CPUtime=50.73
/proc/5920/stat : 5920 (java) R 5918 5920 4613 0 -1 0 9688 0 1 0 5065 8 0 0 25 0 8 0 159572840 937431040 9423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073931915 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5920/statm: 228865 9423 2524 14 0 215335 0
[pid=5920/tid=5922] ppid=5918 vsize=915460 CPUtime=0.03
/proc/5920/task/5922/stat : 5922 (java) S 5918 5920 4613 0 -1 64 412 0 0 0 3 0 0 0 16 0 8 0 159572844 937431040 9423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5923] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5923/stat : 5923 (java) S 5918 5920 4613 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159572845 937431040 9423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5924] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5924/stat : 5924 (java) S 5918 5920 4613 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159572845 937431040 9423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5925] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5925/stat : 5925 (java) S 5918 5920 4613 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159572848 937431040 9423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5926] ppid=5918 vsize=915460 CPUtime=0.26
/proc/5920/task/5926/stat : 5926 (java) S 5918 5920 4613 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 159572848 937431040 9423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5927] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5927/stat : 5927 (java) S 5918 5920 4613 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159572848 937431040 9423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5928] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5928/stat : 5928 (java) S 5918 5920 4613 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159572848 937431040 9423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 915460

[startup+102.489 s]
/proc/loadavg: 2.00 2.00 2.00 3/102 5928
/proc/meminfo: memFree=1266392/2055920 swapFree=4182236/4192956
[pid=5920] ppid=5918 vsize=915460 CPUtime=101.53
/proc/5920/stat : 5920 (java) R 5918 5920 4613 0 -1 0 9689 0 1 0 10144 9 0 0 25 0 8 0 159572840 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073838849 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5920/statm: 228865 9424 2524 14 0 215335 0
[pid=5920/tid=5922] ppid=5918 vsize=915460 CPUtime=0.03
/proc/5920/task/5922/stat : 5922 (java) S 5918 5920 4613 0 -1 64 412 0 0 0 3 0 0 0 16 0 8 0 159572844 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5923] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5923/stat : 5923 (java) S 5918 5920 4613 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159572845 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5924] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5924/stat : 5924 (java) S 5918 5920 4613 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159572845 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5925] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5925/stat : 5925 (java) S 5918 5920 4613 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159572848 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5926] ppid=5918 vsize=915460 CPUtime=0.26
/proc/5920/task/5926/stat : 5926 (java) S 5918 5920 4613 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 159572848 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5927] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5927/stat : 5927 (java) S 5918 5920 4613 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159572848 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5928] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5928/stat : 5928 (java) S 5918 5920 4613 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159572848 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.53
Current children cumulated vsize (KiB) 915460

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

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

[startup+1483.92 s]
/proc/loadavg: 2.00 2.00 2.00 3/102 5928
/proc/meminfo: memFree=1196376/2055920 swapFree=4182236/4192956
[pid=5920] ppid=5918 vsize=915460 CPUtime=1470.37
/proc/5920/stat : 5920 (java) R 5918 5920 4613 0 -1 0 9689 0 1 0 147018 19 0 0 25 0 8 0 159572840 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918582 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5920/statm: 228865 9424 2524 14 0 215335 0
[pid=5920/tid=5922] ppid=5918 vsize=915460 CPUtime=0.03
/proc/5920/task/5922/stat : 5922 (java) S 5918 5920 4613 0 -1 64 412 0 0 0 3 0 0 0 16 0 8 0 159572844 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5923] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5923/stat : 5923 (java) S 5918 5920 4613 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159572845 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5924] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5924/stat : 5924 (java) S 5918 5920 4613 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159572845 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5925] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5925/stat : 5925 (java) S 5918 5920 4613 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159572848 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5926] ppid=5918 vsize=915460 CPUtime=0.26
/proc/5920/task/5926/stat : 5926 (java) S 5918 5920 4613 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 159572848 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5927] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5927/stat : 5927 (java) S 5918 5920 4613 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159572848 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5928] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5928/stat : 5928 (java) S 5918 5920 4613 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159572848 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1470.37
Current children cumulated vsize (KiB) 915460

[startup+1543.95 s]
/proc/loadavg: 2.00 2.00 2.00 3/102 5928
/proc/meminfo: memFree=1196312/2055920 swapFree=4182236/4192956
[pid=5920] ppid=5918 vsize=915460 CPUtime=1529.85
/proc/5920/stat : 5920 (java) R 5918 5920 4613 0 -1 0 9689 0 1 0 152966 19 0 0 25 0 8 0 159572840 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073824491 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5920/statm: 228865 9424 2524 14 0 215335 0
[pid=5920/tid=5922] ppid=5918 vsize=915460 CPUtime=0.03
/proc/5920/task/5922/stat : 5922 (java) S 5918 5920 4613 0 -1 64 412 0 0 0 3 0 0 0 16 0 8 0 159572844 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5923] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5923/stat : 5923 (java) S 5918 5920 4613 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159572845 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5924] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5924/stat : 5924 (java) S 5918 5920 4613 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159572845 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5925] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5925/stat : 5925 (java) S 5918 5920 4613 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159572848 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5926] ppid=5918 vsize=915460 CPUtime=0.26
/proc/5920/task/5926/stat : 5926 (java) S 5918 5920 4613 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 159572848 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5927] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5927/stat : 5927 (java) S 5918 5920 4613 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159572848 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5928] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5928/stat : 5928 (java) S 5918 5920 4613 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159572848 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1529.85
Current children cumulated vsize (KiB) 915460

[startup+1603.97 s]
/proc/loadavg: 2.06 2.02 2.00 4/102 5928
/proc/meminfo: memFree=1196312/2055920 swapFree=4182236/4192956
[pid=5920] ppid=5918 vsize=915460 CPUtime=1589.32
/proc/5920/stat : 5920 (java) R 5918 5920 4613 0 -1 0 9689 0 1 0 158913 19 0 0 25 0 8 0 159572840 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918529 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5920/statm: 228865 9424 2524 14 0 215335 0
[pid=5920/tid=5922] ppid=5918 vsize=915460 CPUtime=0.03
/proc/5920/task/5922/stat : 5922 (java) S 5918 5920 4613 0 -1 64 412 0 0 0 3 0 0 0 16 0 8 0 159572844 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5923] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5923/stat : 5923 (java) S 5918 5920 4613 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159572845 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5924] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5924/stat : 5924 (java) S 5918 5920 4613 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159572845 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5925] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5925/stat : 5925 (java) S 5918 5920 4613 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159572848 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5926] ppid=5918 vsize=915460 CPUtime=0.26
/proc/5920/task/5926/stat : 5926 (java) S 5918 5920 4613 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 159572848 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5927] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5927/stat : 5927 (java) S 5918 5920 4613 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159572848 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5928] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5928/stat : 5928 (java) S 5918 5920 4613 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159572848 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1589.32
Current children cumulated vsize (KiB) 915460

[startup+1664.04 s]
/proc/loadavg: 2.02 2.01 2.00 3/102 5928
/proc/meminfo: memFree=1196248/2055920 swapFree=4182236/4192956
[pid=5920] ppid=5918 vsize=915460 CPUtime=1648.85
/proc/5920/stat : 5920 (java) R 5918 5920 4613 0 -1 0 9689 0 1 0 164865 20 0 0 25 0 8 0 159572840 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073841376 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5920/statm: 228865 9424 2524 14 0 215335 0
[pid=5920/tid=5922] ppid=5918 vsize=915460 CPUtime=0.03
/proc/5920/task/5922/stat : 5922 (java) S 5918 5920 4613 0 -1 64 412 0 0 0 3 0 0 0 16 0 8 0 159572844 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5923] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5923/stat : 5923 (java) S 5918 5920 4613 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159572845 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5924] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5924/stat : 5924 (java) S 5918 5920 4613 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159572845 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5925] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5925/stat : 5925 (java) S 5918 5920 4613 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159572848 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5926] ppid=5918 vsize=915460 CPUtime=0.26
/proc/5920/task/5926/stat : 5926 (java) S 5918 5920 4613 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 159572848 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5927] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5927/stat : 5927 (java) S 5918 5920 4613 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159572848 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5928] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5928/stat : 5928 (java) S 5918 5920 4613 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159572848 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1648.85
Current children cumulated vsize (KiB) 915460

[startup+1724.15 s]
/proc/loadavg: 2.01 2.00 2.00 3/102 5928
/proc/meminfo: memFree=1196184/2055920 swapFree=4182236/4192956
[pid=5920] ppid=5918 vsize=915460 CPUtime=1708.4
/proc/5920/stat : 5920 (java) R 5918 5920 4613 0 -1 0 9689 0 1 0 170820 20 0 0 25 0 8 0 159572840 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336163 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5920/statm: 228865 9424 2524 14 0 215335 0
[pid=5920/tid=5922] ppid=5918 vsize=915460 CPUtime=0.03
/proc/5920/task/5922/stat : 5922 (java) S 5918 5920 4613 0 -1 64 412 0 0 0 3 0 0 0 16 0 8 0 159572844 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5923] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5923/stat : 5923 (java) S 5918 5920 4613 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159572845 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5924] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5924/stat : 5924 (java) S 5918 5920 4613 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159572845 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5925] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5925/stat : 5925 (java) S 5918 5920 4613 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159572848 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5926] ppid=5918 vsize=915460 CPUtime=0.26
/proc/5920/task/5926/stat : 5926 (java) S 5918 5920 4613 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 159572848 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5927] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5927/stat : 5927 (java) S 5918 5920 4613 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159572848 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5928] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5928/stat : 5928 (java) S 5918 5920 4613 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159572848 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1708.4
Current children cumulated vsize (KiB) 915460

[startup+1784.22 s]
/proc/loadavg: 1.96 1.98 1.99 3/93 6156
/proc/meminfo: memFree=1353312/2055920 swapFree=4182236/4192956
[pid=5920] ppid=5918 vsize=915460 CPUtime=1768.25
/proc/5920/stat : 5920 (java) R 5918 5920 4613 0 -1 0 9689 0 1 0 176801 24 0 0 25 0 8 0 159572840 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073814281 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5920/statm: 228865 9424 2524 14 0 215335 0
[pid=5920/tid=5922] ppid=5918 vsize=915460 CPUtime=0.03
/proc/5920/task/5922/stat : 5922 (java) S 5918 5920 4613 0 -1 64 412 0 0 0 3 0 0 0 16 0 8 0 159572844 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5923] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5923/stat : 5923 (java) S 5918 5920 4613 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159572845 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5924] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5924/stat : 5924 (java) S 5918 5920 4613 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159572845 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5925] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5925/stat : 5925 (java) S 5918 5920 4613 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159572848 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5926] ppid=5918 vsize=915460 CPUtime=0.26
/proc/5920/task/5926/stat : 5926 (java) S 5918 5920 4613 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 159572848 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5927] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5927/stat : 5927 (java) S 5918 5920 4613 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159572848 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5928] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5928/stat : 5928 (java) S 5918 5920 4613 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159572848 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1768.25
Current children cumulated vsize (KiB) 915460



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1816.11 s]
/proc/loadavg: 1.97 1.98 1.99 3/93 6156
/proc/meminfo: memFree=1353376/2055920 swapFree=4182236/4192956
[pid=5920] ppid=5918 vsize=915460 CPUtime=1800.1
/proc/5920/stat : 5920 (java) R 5918 5920 4613 0 -1 0 9689 0 1 0 179986 24 0 0 25 0 8 0 159572840 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073832598 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5920/statm: 228865 9424 2524 14 0 215335 0
[pid=5920/tid=5922] ppid=5918 vsize=915460 CPUtime=0.03
/proc/5920/task/5922/stat : 5922 (java) S 5918 5920 4613 0 -1 64 412 0 0 0 3 0 0 0 16 0 8 0 159572844 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5923] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5923/stat : 5923 (java) S 5918 5920 4613 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159572845 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5924] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5924/stat : 5924 (java) S 5918 5920 4613 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159572845 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5925] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5925/stat : 5925 (java) S 5918 5920 4613 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159572848 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5926] ppid=5918 vsize=915460 CPUtime=0.26
/proc/5920/task/5926/stat : 5926 (java) S 5918 5920 4613 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 159572848 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5927] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5927/stat : 5927 (java) S 5918 5920 4613 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159572848 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5920/tid=5928] ppid=5918 vsize=915460 CPUtime=0
/proc/5920/task/5928/stat : 5928 (java) S 5918 5920 4613 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159572848 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 915460

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

Child status: 143
Real time (s): 1816.15
CPU time (s): 1800.14
CPU user time (s): 1799.89
CPU system time (s): 0.245962
CPU usage (%): 99.1185
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.89
system time used= 0.245962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9707
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= 37906
involuntary context switches= 115867

runsolver used 2.25966 s user time and 5.78612 s system time

The end

Launcher Data (download as text)

Begin job on node14 on Sat Jan  6 19:29:39 UTC 2007


IDJOB= 195193
IDBENCH= 3254
FILE ID= node14/195193-1168111779

PBS_JOBID= 3477066

Free space on /tmp= 66326 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-19_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195193-1168111779/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node14/watcher-195193-1168111779 -o ROOT/results/node14/solver-195193-1168111779 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195193-1168111779/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  478aa51d88e05232d3d81d79221c2e68

RANDOM SEED= 721508766

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.227
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.227
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:       1307880 kB
Buffers:         62696 kB
Cached:         443744 kB
SwapCached:       3696 kB
Active:         278156 kB
Inactive:       368888 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1307880 kB
SwapTotal:     4192956 kB
SwapFree:      4182236 kB
Dirty:            2060 kB
Writeback:           0 kB
Mapped:         158900 kB
Slab:            85548 kB
Committed_AS:  5601380 kB
PageTables:       2448 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= 66324 MiB



End job on node14 on Sat Jan  6 19:59:55 UTC 2007