Trace number 237516

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.22 1808.53

General information on the benchmark

Namehaystacks/
haystacks_28.xml
MD5SUMd182319e3384c4b9a637e552d7b21712
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark77.5232
SatisfiableNO
(Un)Satisfiability was proved
Number of variables784
Number of constraints10611
Maximum constraint arity2
Maximum domain size28
Number of constraints which are defined in extension0
Number of constraints which are defined in intension10611
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=esac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/237516-1168349002/unknown.xml
0.37	   
0.37	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.50	     nbVariables=784  nbDomainTypes=1  minDomainSize=28  maxDomainSize=28
0.50	       =>  wckTime=0.187  cpuTime=0.14  mem=8M838
0.50	   
0.50	   predicates being loaded...
0.50	   
0.50	   constraints being loaded...
1.94	     nbConstraints=10611  nbConvertedConstraints=10611  nbConvertConstraintsChecks=3136  nbExtensionStructures=4
1.94	     nbSharedExtensionStructures=10607  nbConflictsStructures=4  nbSharedConflictsStructures=10607
1.94	     nbSharedBinaryRepresentations=167  maxDegree=28  maxArity=2
1.94	       =>  wckTime=1.624  cpuTime=1.4  mem=23M315
2.04	   
2.04	   solver IterativeSystematicSolver being built... 
2.25	       =>  wckTime=1.937  cpuTime=1.58  mem=23M734
2.63	   
2.63	   preprocessing
2.63	     nbConstraintChecks=301315  nbPropagations=16169  nbRevisions=16472  nbUselessRevisions=1807  nbSingletonTests=962
2.63	     nbEffectiveSingletonTests=0  nbESACBranches=4  nbRemovedValues=0  detectedInconsistency=no
2.63	       =>  wckTime=0.377  cpuTime=0.35  mem=23M734
2.73	   
2.73	   search
2.73	     run=0  nbConstraintChecks=42737  nbPropagations=18145  nbRevisions=18497  nbUselessRevisions=1889  nbAssignments=96
2.73	     nbFailedAssignments=10  nbBacktracks=10  nbVisitedNodes=117  nbRestartNogoods=0  mapSize=10  nbInferences=0
2.73	     nbTooLargeKeys=0
2.73	       =>  wckTime=0.48  cpuTime=0.44  mem=24M728
2.79	   
2.79	   search
2.79	     run=1  nbConstraintChecks=85244  nbPropagations=38310  nbRevisions=39056  nbUselessRevisions=3850
2.79	     nbAssignments=202  nbFailedAssignments=24  nbBacktracks=25  nbVisitedNodes=251  nbRestartNogoods=4  mapSize=25
2.79	     nbInferences=0  nbTooLargeKeys=0
2.79	       =>  wckTime=0.534  cpuTime=0.49  mem=24M728
2.85	   
2.85	   search
2.85	     run=2  nbConstraintChecks=127968  nbPropagations=60560  nbRevisions=61752  nbUselessRevisions=5889
2.85	     nbAssignments=321  nbFailedAssignments=44  nbBacktracks=47  nbVisitedNodes=410  nbRestartNogoods=7  mapSize=47
2.85	     nbInferences=0  nbTooLargeKeys=0
2.85	       =>  wckTime=0.593  cpuTime=0.55  mem=24M728
2.91	   
2.91	   search
2.91	     run=3  nbConstraintChecks=170987  nbPropagations=84977  nbRevisions=86666  nbUselessRevisions=8007
2.91	     nbAssignments=459  nbFailedAssignments=71  nbBacktracks=80  nbVisitedNodes=603  nbRestartNogoods=12  mapSize=80
2.91	     nbInferences=1  nbTooLargeKeys=0
2.91	       =>  wckTime=0.655  cpuTime=0.61  mem=25M723
2.98	   
2.98	   search
2.98	     run=4  nbConstraintChecks=214416  nbPropagations=111696  nbRevisions=113927  nbUselessRevisions=10204
2.98	     nbAssignments=627  nbFailedAssignments=108  nbBacktracks=131  nbVisitedNodes=850  nbRestartNogoods=16  mapSize=131
2.99	     nbInferences=6  nbTooLargeKeys=0
2.99	       =>  wckTime=0.73  cpuTime=0.68  mem=25M723
3.07	   
3.07	   search
3.07	     run=5  nbConstraintChecks=258493  nbPropagations=140945  nbRevisions=143739  nbUselessRevisions=12480
3.07	     nbAssignments=844  nbFailedAssignments=157  nbBacktracks=208  nbVisitedNodes=1182  nbRestartNogoods=20  mapSize=206
3.07	     nbInferences=23  nbTooLargeKeys=0
3.07	       =>  wckTime=0.82  cpuTime=0.77  mem=26M718
3.18	   
3.18	   search
3.18	     run=6  nbConstraintChecks=303371  nbPropagations=173027  nbRevisions=176396  nbUselessRevisions=14838
3.18	     nbAssignments=1128  nbFailedAssignments=230  nbBacktracks=321  nbVisitedNodes=1634  nbRestartNogoods=22
3.18	     mapSize=317  nbInferences=45  nbTooLargeKeys=0
3.18	       =>  wckTime=0.922  cpuTime=0.87  mem=26M718
3.32	   
3.32	   search
3.32	     run=7  nbConstraintChecks=349593  nbPropagations=208447  nbRevisions=212366  nbUselessRevisions=17281
3.32	     nbAssignments=1522  nbFailedAssignments=336  nbBacktracks=491  nbVisitedNodes=2282  nbRestartNogoods=28
3.32	     mapSize=486  nbInferences=87  nbTooLargeKeys=0
3.32	       =>  wckTime=1.071  cpuTime=1.01  mem=27M712
3.51	   
3.51	   search
3.51	     run=8  nbConstraintChecks=397936  nbPropagations=248000  nbRevisions=252367  nbUselessRevisions=19813
3.51	     nbAssignments=2087  nbFailedAssignments=487  nbBacktracks=747  nbVisitedNodes=3232  nbRestartNogoods=35
3.51	     mapSize=742  nbInferences=170  nbTooLargeKeys=0
3.51	       =>  wckTime=1.262  cpuTime=1.19  mem=29M702
3.77	   
3.77	   search
3.77	     run=9  nbConstraintChecks=450107  nbPropagations=292869  nbRevisions=297494  nbUselessRevisions=22444
3.77	     nbAssignments=2899  nbFailedAssignments=710  nbBacktracks=1133  nbVisitedNodes=4623  nbRestartNogoods=42
3.77	     mapSize=1124  nbInferences=303  nbTooLargeKeys=0
3.77	       =>  wckTime=1.514  cpuTime=1.43  mem=31M691
4.04	   
4.04	   search
4.04	     run=10  nbConstraintChecks=511515  nbPropagations=344004  nbRevisions=349123  nbUselessRevisions=25340
4.04	     nbAssignments=3913  nbFailedAssignments=1088  nbBacktracks=1710  nbVisitedNodes=6428  nbRestartNogoods=47
4.04	     mapSize=1667  nbInferences=338  nbTooLargeKeys=0
4.04	       =>  wckTime=1.787  cpuTime=1.7  mem=33M680
4.47	   
4.47	   search
4.47	     run=11  nbConstraintChecks=582502  nbPropagations=404946  nbRevisions=410454  nbUselessRevisions=28671
4.47	     nbAssignments=5644  nbFailedAssignments=1592  nbBacktracks=2575  nbVisitedNodes=9506  nbRestartNogoods=51
4.47	     mapSize=2498  nbInferences=677  nbTooLargeKeys=0
4.47	       =>  wckTime=2.213  cpuTime=2.13  mem=35M670
5.34	   
5.34	   search
5.34	     run=12  nbConstraintChecks=718353  nbPropagations=483770  nbRevisions=488359  nbUselessRevisions=32556
5.34	     nbAssignments=8628  nbFailedAssignments=2204  nbBacktracks=3872  nbVisitedNodes=14686  nbRestartNogoods=59
5.34	     mapSize=3764  nbInferences=1649  nbTooLargeKeys=0
5.34	       =>  wckTime=3.089  cpuTime=2.99  mem=43M627
6.87	   
6.87	   search
6.87	     run=13  nbConstraintChecks=894295  nbPropagations=590730  nbRevisions=591021  nbUselessRevisions=37121
6.87	     nbAssignments=13517  nbFailedAssignments=2998  nbBacktracks=5818  nbVisitedNodes=23212  nbRestartNogoods=64
6.87	     mapSize=5680  nbInferences=3698  nbTooLargeKeys=0
6.87	       =>  wckTime=4.619  cpuTime=4.48  mem=31M314
9.45	   
9.45	   search
9.45	     run=14  nbConstraintChecks=1166633  nbPropagations=746263  nbRevisions=734611  nbUselessRevisions=42468
9.45	     nbAssignments=21802  nbFailedAssignments=3967  nbBacktracks=8738  nbVisitedNodes=37531  nbRestartNogoods=75
9.45	     mapSize=8572  nbInferences=7895  nbTooLargeKeys=0
9.45	       =>  wckTime=7.197  cpuTime=7.04  mem=60M361
12.06	   
12.06	   search
12.06	     run=15  nbConstraintChecks=1525303  nbPropagations=955684  nbRevisions=927616  nbUselessRevisions=48455
12.06	     nbAssignments=31392  nbFailedAssignments=6326  nbBacktracks=13117  nbVisitedNodes=53838  nbRestartNogoods=88
12.06	     mapSize=12934  nbInferences=10289  nbTooLargeKeys=0
12.06	       =>  wckTime=9.806  cpuTime=9.58  mem=54M108
17.85	   
17.85	   search
17.85	     run=16  nbConstraintChecks=2067224  nbPropagations=1272963  nbRevisions=1210673  nbUselessRevisions=56780
17.85	     nbAssignments=50214  nbFailedAssignments=8360  nbBacktracks=19686  nbVisitedNodes=86819  nbRestartNogoods=91
17.85	     mapSize=19394  nbInferences=20381  nbTooLargeKeys=0
17.85	       =>  wckTime=15.601  cpuTime=15.3  mem=89M86
28.07	   
28.07	   search
28.07	     run=17  nbConstraintChecks=3054112  nbPropagations=1787254  nbRevisions=1655034  nbUselessRevisions=68857
28.07	     nbAssignments=82882  nbFailedAssignments=10748  nbBacktracks=29539  nbVisitedNodes=143633  nbRestartNogoods=112
28.07	     mapSize=29176  nbInferences=40218  nbTooLargeKeys=0
28.07	       =>  wckTime=25.819  cpuTime=25.38  mem=145M811
43.64	   
43.64	   search
43.64	     run=18  nbConstraintChecks=4401947  nbPropagations=2593807  nbRevisions=2335430  nbUselessRevisions=85345
43.64	     nbAssignments=132211  nbFailedAssignments=14106  nbBacktracks=44318  nbVisitedNodes=229279  nbRestartNogoods=129
43.64	     mapSize=43921  nbInferences=70553  nbTooLargeKeys=0
43.64	       =>  wckTime=41.383  cpuTime=40.72  mem=190M340
68.76	   
68.77	   search
68.77	     run=19  nbConstraintChecks=6702872  nbPropagations=3904339  nbRevisions=3422473  nbUselessRevisions=111861
68.77	     nbAssignments=213301  nbFailedAssignments=18246  nbBacktracks=66486  nbVisitedNodes=372293  nbRestartNogoods=155
68.77	     mapSize=65950  nbInferences=124691  nbTooLargeKeys=0
68.77	       =>  wckTime=66.512  cpuTime=65.51  mem=273M572
108.06	   
108.06	   search
108.06	     run=20  nbConstraintChecks=10096526  nbPropagations=6003506  nbRevisions=5137963  nbUselessRevisions=150940
108.06	     nbAssignments=339571  nbFailedAssignments=23733  nbBacktracks=99738  nbVisitedNodes=595763  nbRestartNogoods=170
108.06	     mapSize=99066  nbInferences=211495  nbTooLargeKeys=0
108.06	       =>  wckTime=105.807  cpuTime=104.3  mem=410M314
156.06	   
156.06	   search
156.06	     run=21  nbConstraintChecks=19572259  nbPropagations=9290914  nbRevisions=7902084  nbUselessRevisions=252479
156.06	     nbAssignments=507943  nbFailedAssignments=36056  nbBacktracks=149617  nbVisitedNodes=891495  nbRestartNogoods=206
156.06	     mapSize=148752  nbInferences=316096  nbTooLargeKeys=0
156.06	       =>  wckTime=153.804  cpuTime=151.69  mem=517M128
172.06	   
172.06	   INFO : Stopping hyperNogood (mapSize=164975, nbTooLargekeys=0, mem=600M949)
186.16	   
186.16	   search
186.16	     run=22  nbConstraintChecks=22339198  nbPropagations=13349941  nbRevisions=11398757  nbUselessRevisions=373687
186.16	     nbAssignments=660627  nbFailedAssignments=79053  nbBacktracks=224435  nbVisitedNodes=1163032  nbRestartNogoods=223
186.16	       =>  wckTime=183.911  cpuTime=181.52  mem=600M949
214.92	   
214.92	   search
214.92	     run=23  nbConstraintChecks=24984135  nbPropagations=18278277  nbRevisions=15767576  nbUselessRevisions=498156
214.92	     nbAssignments=851292  nbFailedAssignments=156721  nbBacktracks=336663  nbVisitedNodes=1508461  nbRestartNogoods=252
214.92	       =>  wckTime=212.665  cpuTime=210.14  mem=600M949
255.26	   
255.26	   search
255.26	     run=24  nbConstraintChecks=29817618  nbPropagations=24515252  nbRevisions=21485818  nbUselessRevisions=629204
255.26	     nbAssignments=1137090  nbFailedAssignments=273254  nbBacktracks=505004  nbVisitedNodes=2026513
255.26	     nbRestartNogoods=276
255.26	       =>  wckTime=253.002  cpuTime=250.28  mem=600M949
315.71	   
315.71	   search
315.71	     run=25  nbConstraintChecks=35614111  nbPropagations=32693542  nbRevisions=29153468  nbUselessRevisions=767675
315.71	     nbAssignments=1564041  nbFailedAssignments=446271  nbBacktracks=757515  nbVisitedNodes=2798245
315.71	     nbRestartNogoods=305
315.71	       =>  wckTime=313.458  cpuTime=310.45  mem=600M949
457.20	   
457.20	   search
457.20	     run=26  nbConstraintChecks=346242382  nbPropagations=47198506  nbRevisions=54863268  nbUselessRevisions=2271578
457.20	     nbAssignments=2203743  nbFailedAssignments=705993  nbBacktracks=1136284  nbVisitedNodes=3931823
457.20	     nbRestartNogoods=340
457.20	       =>  wckTime=454.948  cpuTime=451.29  mem=600M949
598.45	   
598.45	   search
598.45	     run=27  nbConstraintChecks=357263626  nbPropagations=66014281  nbRevisions=84883912  nbUselessRevisions=3776086
598.45	     nbAssignments=3167237  nbFailedAssignments=1100695  nbBacktracks=1704438  nbVisitedNodes=5684194
598.45	     nbRestartNogoods=355
598.45	       =>  wckTime=596.193  cpuTime=591.9  mem=600M949
820.95	   
820.95	   search
820.95	     run=28  nbConstraintChecks=373494278  nbPropagations=91284045  nbRevisions=121359643  nbUselessRevisions=5281461
820.95	     nbAssignments=4612673  nbFailedAssignments=1693841  nbBacktracks=2556665  nbVisitedNodes=8315922
820.95	     nbRestartNogoods=359
820.95	       =>  wckTime=818.694  cpuTime=813.39  mem=600M949
1154.02	   
1154.02	   search
1154.02	     run=29  nbConstraintChecks=399305178  nbPropagations=126291967  nbRevisions=167576522  nbUselessRevisions=6789795
1154.02	     nbAssignments=6780450  nbFailedAssignments=2583213  nbBacktracks=3835005  nbVisitedNodes=12262443
1154.02	     nbRestartNogoods=381
1154.02	       =>  wckTime=1151.767  cpuTime=1144.96  mem=600M949
1608.94	   
1608.94	   search
1608.94	     run=30  nbConstraintChecks=439531539  nbPropagations=175957982  nbRevisions=228453678  nbUselessRevisions=8300370
1608.94	     nbAssignments=10033139  nbFailedAssignments=3918243  nbBacktracks=5752516  nbVisitedNodes=18185192
1608.94	     nbRestartNogoods=409
1608.94	       =>  wckTime=1606.691  cpuTime=1597.79  mem=600M949

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/node42/watcher-237516-1168349002 -o ROOT/results/node42/solver-237516-1168349002 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/237516-1168349002/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.13 2.07 1.97 4/81 16005
/proc/meminfo: memFree=1472520/2055920 swapFree=4191892/4192956
[pid=16004] ppid=16002 vsize=9748 CPUtime=0
/proc/16004/stat : 16004 (java) D 16002 16004 15192 0 -1 0 637 0 0 0 0 0 0 0 18 0 1 0 183299553 9981952 412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 12407588 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/16004/statm: 2437 412 333 14 0 1140 0

[startup+0.103305 s]
/proc/loadavg: 2.13 2.07 1.97 4/81 16005
/proc/meminfo: memFree=1472520/2055920 swapFree=4191892/4192956
[pid=16004] ppid=16002 vsize=914988 CPUtime=0.09
/proc/16004/stat : 16004 (java) R 16002 16004 15192 0 -1 0 2987 0 1 0 8 1 0 0 17 0 8 0 183299553 936947712 2733 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16004/statm: 228747 2733 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.511345 s]
/proc/loadavg: 2.13 2.07 1.97 4/81 16005
/proc/meminfo: memFree=1472520/2055920 swapFree=4191892/4192956
[pid=16004] ppid=16002 vsize=915328 CPUtime=0.49
/proc/16004/stat : 16004 (java) R 16002 16004 15192 0 -1 0 6504 0 1 0 45 4 0 0 18 0 8 0 183299553 937295872 6243 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155583522 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16004/statm: 228832 6243 2147 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33444 s]
/proc/loadavg: 2.13 2.07 1.97 3/88 16012
/proc/meminfo: memFree=1416656/2055920 swapFree=4191892/4192956
[pid=16004] ppid=16002 vsize=915632 CPUtime=1.31
/proc/16004/stat : 16004 (java) R 16002 16004 15192 0 -1 0 17951 0 1 0 110 21 0 0 23 0 8 0 183299553 937607168 17688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16004/statm: 228908 17688 2180 14 0 215378 0
[pid=16004/tid=16006] ppid=16002 vsize=915632 CPUtime=0.05
/proc/16004/task/16006/stat : 16006 (java) S 16002 16004 15192 0 -1 64 1338 0 0 0 5 0 0 0 16 0 8 0 183299556 937607168 17688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16007] ppid=16002 vsize=915632 CPUtime=0
/proc/16004/task/16007/stat : 16007 (java) S 16002 16004 15192 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183299557 937607168 17688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16008] ppid=16002 vsize=915632 CPUtime=0
/proc/16004/task/16008/stat : 16008 (java) S 16002 16004 15192 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183299557 937607168 17688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16009] ppid=16002 vsize=915632 CPUtime=0
/proc/16004/task/16009/stat : 16009 (java) S 16002 16004 15192 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183299560 937607168 17688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16010] ppid=16002 vsize=915632 CPUtime=0.18
/proc/16004/task/16010/stat : 16010 (java) S 16002 16004 15192 0 -1 64 423 0 0 0 17 1 0 0 16 0 8 0 183299560 937607168 17688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16011] ppid=16002 vsize=915632 CPUtime=0
/proc/16004/task/16011/stat : 16011 (java) S 16002 16004 15192 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183299560 937607168 17688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16012] ppid=16002 vsize=915632 CPUtime=0
/proc/16004/task/16012/stat : 16012 (java) S 16002 16004 15192 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183299560 937607168 17688 18446744073709551615 134512640 134570532 4294956480 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) 915632

[startup+2.98879 s]
/proc/loadavg: 2.13 2.07 1.97 4/88 16012
/proc/meminfo: memFree=1403408/2055920 swapFree=4191892/4192956
[pid=16004] ppid=16002 vsize=915720 CPUtime=2.95
/proc/16004/stat : 16004 (java) R 16002 16004 15192 0 -1 0 20022 0 1 0 244 51 0 0 25 0 8 0 183299553 937697280 19758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16004/statm: 228930 19758 2545 14 0 215400 0
[pid=16004/tid=16006] ppid=16002 vsize=915720 CPUtime=0.14
/proc/16004/task/16006/stat : 16006 (java) S 16002 16004 15192 0 -1 64 2908 0 0 0 13 1 0 0 16 0 8 0 183299556 937697280 19758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16007] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16007/stat : 16007 (java) S 16002 16004 15192 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183299557 937697280 19758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16008] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16008/stat : 16008 (java) S 16002 16004 15192 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183299557 937697280 19758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16009] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16009/stat : 16009 (java) S 16002 16004 15192 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183299560 937697280 19758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16010] ppid=16002 vsize=915720 CPUtime=0.28
/proc/16004/task/16010/stat : 16010 (java) S 16002 16004 15192 0 -1 64 484 0 0 0 27 1 0 0 15 0 8 0 183299560 937697280 19758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16011] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16011/stat : 16011 (java) S 16002 16004 15192 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183299560 937697280 19758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16012] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16012/stat : 16012 (java) S 16002 16004 15192 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183299560 937697280 19758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915720

[startup+6.27698 s]
/proc/loadavg: 2.20 2.09 1.97 3/88 16012
/proc/meminfo: memFree=1403024/2055920 swapFree=4191892/4192956
[pid=16004] ppid=16002 vsize=915720 CPUtime=6.22
/proc/16004/stat : 16004 (java) R 16002 16004 15192 0 -1 0 20039 0 2 0 571 51 0 0 25 0 8 0 183299553 937697280 19773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073994925 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16004/statm: 228930 19773 2546 14 0 215400 0
[pid=16004/tid=16006] ppid=16002 vsize=915720 CPUtime=0.14
/proc/16004/task/16006/stat : 16006 (java) S 16002 16004 15192 0 -1 64 2908 0 0 0 13 1 0 0 16 0 8 0 183299556 937697280 19773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16007] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16007/stat : 16007 (java) S 16002 16004 15192 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183299557 937697280 19773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16008] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16008/stat : 16008 (java) S 16002 16004 15192 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183299557 937697280 19773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16009] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16009/stat : 16009 (java) S 16002 16004 15192 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183299560 937697280 19773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16010] ppid=16002 vsize=915720 CPUtime=0.32
/proc/16004/task/16010/stat : 16010 (java) S 16002 16004 15192 0 -1 64 498 0 0 0 30 2 0 0 15 0 8 0 183299560 937697280 19773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16011] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16011/stat : 16011 (java) S 16002 16004 15192 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183299560 937697280 19773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16012] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16012/stat : 16012 (java) S 16002 16004 15192 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183299560 937697280 19773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915720

[startup+12.7687 s]
/proc/loadavg: 2.18 2.09 1.97 3/88 16012
/proc/meminfo: memFree=1361432/2055920 swapFree=4191892/4192956
[pid=16004] ppid=16002 vsize=915720 CPUtime=12.68
/proc/16004/stat : 16004 (java) R 16002 16004 15192 0 -1 0 30426 0 2 0 1213 55 0 0 25 0 8 0 183299553 937697280 30157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074018039 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16004/statm: 228930 30157 2546 14 0 215400 0
[pid=16004/tid=16006] ppid=16002 vsize=915720 CPUtime=0.23
/proc/16004/task/16006/stat : 16006 (java) S 16002 16004 15192 0 -1 64 13291 0 0 0 18 5 0 0 16 0 8 0 183299556 937697280 30157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16007] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16007/stat : 16007 (java) S 16002 16004 15192 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183299557 937697280 30157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16008] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16008/stat : 16008 (java) S 16002 16004 15192 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183299557 937697280 30157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16009] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16009/stat : 16009 (java) S 16002 16004 15192 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183299560 937697280 30157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16010] ppid=16002 vsize=915720 CPUtime=0.32
/proc/16004/task/16010/stat : 16010 (java) S 16002 16004 15192 0 -1 64 499 0 0 0 30 2 0 0 15 0 8 0 183299560 937697280 30157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16011] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16011/stat : 16011 (java) S 16002 16004 15192 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183299560 937697280 30157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16012] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16012/stat : 16012 (java) S 16002 16004 15192 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183299560 937697280 30157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915720

[startup+25.6101 s]
/proc/loadavg: 2.22 2.10 1.98 3/88 16012
/proc/meminfo: memFree=1306392/2055920 swapFree=4191892/4192956
[pid=16004] ppid=16002 vsize=915720 CPUtime=25.47
/proc/16004/stat : 16004 (java) R 16002 16004 15192 0 -1 0 44216 0 2 0 2486 61 0 0 25 0 8 0 183299553 937697280 43943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074055155 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16004/statm: 228930 43943 2546 14 0 215400 0
[pid=16004/tid=16006] ppid=16002 vsize=915720 CPUtime=0.37
/proc/16004/task/16006/stat : 16006 (java) S 16002 16004 15192 0 -1 64 27076 0 0 0 27 10 0 0 16 0 8 0 183299556 937697280 43943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16007] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16007/stat : 16007 (java) S 16002 16004 15192 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183299557 937697280 43943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16008] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16008/stat : 16008 (java) S 16002 16004 15192 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183299557 937697280 43943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16009] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16009/stat : 16009 (java) S 16002 16004 15192 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183299560 937697280 43943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16010] ppid=16002 vsize=915720 CPUtime=0.32
/proc/16004/task/16010/stat : 16010 (java) S 16002 16004 15192 0 -1 64 500 0 0 0 30 2 0 0 15 0 8 0 183299560 937697280 43943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16011] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16011/stat : 16011 (java) S 16002 16004 15192 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183299560 937697280 43943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16012] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16012/stat : 16012 (java) S 16002 16004 15192 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183299560 937697280 43943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915720

[startup+51.231 s]
/proc/loadavg: 2.14 2.09 1.98 3/88 16012
/proc/meminfo: memFree=1211544/2055920 swapFree=4191892/4192956
[pid=16004] ppid=16002 vsize=915720 CPUtime=50.97
/proc/16004/stat : 16004 (java) R 16002 16004 15192 0 -1 0 67889 0 2 0 5028 69 0 0 25 0 8 0 183299553 937697280 67610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074069099 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16004/statm: 228930 67610 2546 14 0 215400 0
[pid=16004/tid=16006] ppid=16002 vsize=915720 CPUtime=0.61
/proc/16004/task/16006/stat : 16006 (java) S 16002 16004 15192 0 -1 64 50742 0 0 0 43 18 0 0 16 0 8 0 183299556 937697280 67610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16007] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16007/stat : 16007 (java) S 16002 16004 15192 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183299557 937697280 67610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16008] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16008/stat : 16008 (java) S 16002 16004 15192 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183299557 937697280 67610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16009] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16009/stat : 16009 (java) S 16002 16004 15192 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183299560 937697280 67610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16010] ppid=16002 vsize=915720 CPUtime=0.33
/proc/16004/task/16010/stat : 16010 (java) S 16002 16004 15192 0 -1 64 501 0 0 0 31 2 0 0 16 0 8 0 183299560 937697280 67610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16011] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16011/stat : 16011 (java) S 16002 16004 15192 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183299560 937697280 67610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16012] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16012/stat : 16012 (java) S 16002 16004 15192 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183299560 937697280 67610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 915720

[startup+102.464 s]
/proc/loadavg: 2.06 2.07 1.98 3/88 16012
/proc/meminfo: memFree=1057752/2055920 swapFree=4191892/4192956
[pid=16004] ppid=16002 vsize=915720 CPUtime=101.96
/proc/16004/stat : 16004 (java) R 16002 16004 15192 0 -1 0 106282 0 2 0 10113 83 0 0 25 0 8 0 183299553 937697280 105991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074070141 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16004/statm: 228930 105991 2546 14 0 215400 0
[pid=16004/tid=16006] ppid=16002 vsize=915720 CPUtime=1.01
/proc/16004/task/16006/stat : 16006 (java) S 16002 16004 15192 0 -1 64 89123 0 0 0 69 32 0 0 16 0 8 0 183299556 937697280 105991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16007] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16007/stat : 16007 (java) S 16002 16004 15192 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183299557 937697280 105991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16008] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16008/stat : 16008 (java) S 16002 16004 15192 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183299557 937697280 105991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16009] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16009/stat : 16009 (java) S 16002 16004 15192 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183299560 937697280 105991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16010] ppid=16002 vsize=915720 CPUtime=0.33
/proc/16004/task/16010/stat : 16010 (java) S 16002 16004 15192 0 -1 64 501 0 0 0 31 2 0 0 16 0 8 0 183299560 937697280 105991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16011] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16011/stat : 16011 (java) S 16002 16004 15192 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183299560 937697280 105991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16012] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16012/stat : 16012 (java) S 16002 16004 15192 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183299560 937697280 105991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.96
Current children cumulated vsize (KiB) 915720

[startup+162.561 s]
/proc/loadavg: 2.02 2.06 1.98 3/88 16012
/proc/meminfo: memFree=888344/2055920 swapFree=4191892/4192956
[pid=16004] ppid=16002 vsize=915720 CPUtime=161.77
/proc/16004/stat : 16004 (java) R 16002 16004 15192 0 -1 0 148561 0 2 0 16078 99 0 0 25 0 8 0 183299553 937697280 148259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074057153 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1416.64
Current children cumulated vsize (KiB) 915720

[startup+1483.23 s]
/proc/loadavg: 2.00 2.02 2.00 3/89 16160
/proc/meminfo: memFree=634056/2055920 swapFree=4191892/4192956
[pid=16004] ppid=16002 vsize=915720 CPUtime=1476.4
/proc/16004/stat : 16004 (java) R 16002 16004 15192 0 -1 0 155943 0 2 0 147528 112 0 0 25 0 8 0 183299553 937697280 155638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074057197 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16004/statm: 228930 155638 2546 14 0 215400 0
[pid=16004/tid=16006] ppid=16002 vsize=915720 CPUtime=1.58
/proc/16004/task/16006/stat : 16006 (java) S 16002 16004 15192 0 -1 64 138770 0 0 0 107 51 0 0 16 0 8 0 183299556 937697280 155638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16007] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16007/stat : 16007 (java) S 16002 16004 15192 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183299557 937697280 155638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16008] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16008/stat : 16008 (java) S 16002 16004 15192 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183299557 937697280 155638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16009] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16009/stat : 16009 (java) S 16002 16004 15192 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183299560 937697280 155638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16010] ppid=16002 vsize=915720 CPUtime=0.33
/proc/16004/task/16010/stat : 16010 (java) S 16002 16004 15192 0 -1 64 501 0 0 0 31 2 0 0 16 0 8 0 183299560 937697280 155638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16011] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16011/stat : 16011 (java) S 16002 16004 15192 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183299560 937697280 155638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16012] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16012/stat : 16012 (java) S 16002 16004 15192 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183299560 937697280 155638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1476.4
Current children cumulated vsize (KiB) 915720

[startup+1543.24 s]
/proc/loadavg: 2.00 2.01 2.00 3/89 16160
/proc/meminfo: memFree=590984/2055920 swapFree=4191892/4192956
[pid=16004] ppid=16002 vsize=915720 CPUtime=1536.13
/proc/16004/stat : 16004 (java) R 16002 16004 15192 0 -1 0 155943 0 2 0 153501 112 0 0 25 0 8 0 183299553 937697280 155638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074030938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16004/statm: 228930 155638 2546 14 0 215400 0
[pid=16004/tid=16006] ppid=16002 vsize=915720 CPUtime=1.58
/proc/16004/task/16006/stat : 16006 (java) S 16002 16004 15192 0 -1 64 138770 0 0 0 107 51 0 0 16 0 8 0 183299556 937697280 155638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16007] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16007/stat : 16007 (java) S 16002 16004 15192 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183299557 937697280 155638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16008] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16008/stat : 16008 (java) S 16002 16004 15192 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183299557 937697280 155638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16009] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16009/stat : 16009 (java) S 16002 16004 15192 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183299560 937697280 155638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16010] ppid=16002 vsize=915720 CPUtime=0.33
/proc/16004/task/16010/stat : 16010 (java) S 16002 16004 15192 0 -1 64 501 0 0 0 31 2 0 0 16 0 8 0 183299560 937697280 155638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16011] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16011/stat : 16011 (java) S 16002 16004 15192 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183299560 937697280 155638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16012] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16012/stat : 16012 (java) S 16002 16004 15192 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183299560 937697280 155638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1536.13
Current children cumulated vsize (KiB) 915720

[startup+1603.26 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 16160
/proc/meminfo: memFree=547784/2055920 swapFree=4191892/4192956
[pid=16004] ppid=16002 vsize=915720 CPUtime=1595.89
/proc/16004/stat : 16004 (java) R 16002 16004 15192 0 -1 0 155943 0 2 0 159476 113 0 0 25 0 8 0 183299553 937697280 155638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074055220 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16004/statm: 228930 155638 2546 14 0 215400 0
[pid=16004/tid=16006] ppid=16002 vsize=915720 CPUtime=1.58
/proc/16004/task/16006/stat : 16006 (java) S 16002 16004 15192 0 -1 64 138770 0 0 0 107 51 0 0 16 0 8 0 183299556 937697280 155638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16007] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16007/stat : 16007 (java) S 16002 16004 15192 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183299557 937697280 155638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16008] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16008/stat : 16008 (java) S 16002 16004 15192 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183299557 937697280 155638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16009] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16009/stat : 16009 (java) S 16002 16004 15192 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183299560 937697280 155638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16010] ppid=16002 vsize=915720 CPUtime=0.33
/proc/16004/task/16010/stat : 16010 (java) S 16002 16004 15192 0 -1 64 501 0 0 0 31 2 0 0 16 0 8 0 183299560 937697280 155638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16011] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16011/stat : 16011 (java) S 16002 16004 15192 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183299560 937697280 155638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16012] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16012/stat : 16012 (java) S 16002 16004 15192 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183299560 937697280 155638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1595.89
Current children cumulated vsize (KiB) 915720

[startup+1663.28 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 16160
/proc/meminfo: memFree=547720/2055920 swapFree=4191892/4192956
[pid=16004] ppid=16002 vsize=915720 CPUtime=1655.65
/proc/16004/stat : 16004 (java) R 16002 16004 15192 0 -1 0 155943 0 2 0 165452 113 0 0 25 0 8 0 183299553 937697280 155638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074017959 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16004/statm: 228930 155638 2546 14 0 215400 0
[pid=16004/tid=16006] ppid=16002 vsize=915720 CPUtime=1.58
/proc/16004/task/16006/stat : 16006 (java) S 16002 16004 15192 0 -1 64 138770 0 0 0 107 51 0 0 16 0 8 0 183299556 937697280 155638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16007] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16007/stat : 16007 (java) S 16002 16004 15192 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183299557 937697280 155638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16008] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16008/stat : 16008 (java) S 16002 16004 15192 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183299557 937697280 155638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16009] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16009/stat : 16009 (java) S 16002 16004 15192 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183299560 937697280 155638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16010] ppid=16002 vsize=915720 CPUtime=0.33
/proc/16004/task/16010/stat : 16010 (java) S 16002 16004 15192 0 -1 64 501 0 0 0 31 2 0 0 16 0 8 0 183299560 937697280 155638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16011] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16011/stat : 16011 (java) S 16002 16004 15192 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183299560 937697280 155638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16012] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16012/stat : 16012 (java) S 16002 16004 15192 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183299560 937697280 155638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1655.65
Current children cumulated vsize (KiB) 915720

[startup+1723.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 16160
/proc/meminfo: memFree=547656/2055920 swapFree=4191892/4192956
[pid=16004] ppid=16002 vsize=915720 CPUtime=1715.38
/proc/16004/stat : 16004 (java) R 16002 16004 15192 0 -1 0 155943 0 2 0 171425 113 0 0 25 0 8 0 183299553 937697280 155638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073999116 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16004/statm: 228930 155638 2546 14 0 215400 0
[pid=16004/tid=16006] ppid=16002 vsize=915720 CPUtime=1.58
/proc/16004/task/16006/stat : 16006 (java) S 16002 16004 15192 0 -1 64 138770 0 0 0 107 51 0 0 16 0 8 0 183299556 937697280 155638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16007] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16007/stat : 16007 (java) S 16002 16004 15192 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183299557 937697280 155638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16008] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16008/stat : 16008 (java) S 16002 16004 15192 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183299557 937697280 155638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16009] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16009/stat : 16009 (java) S 16002 16004 15192 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183299560 937697280 155638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16010] ppid=16002 vsize=915720 CPUtime=0.33
/proc/16004/task/16010/stat : 16010 (java) S 16002 16004 15192 0 -1 64 501 0 0 0 31 2 0 0 16 0 8 0 183299560 937697280 155638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16011] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16011/stat : 16011 (java) S 16002 16004 15192 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183299560 937697280 155638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16012] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16012/stat : 16012 (java) S 16002 16004 15192 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183299560 937697280 155638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1715.38
Current children cumulated vsize (KiB) 915720

[startup+1783.33 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 16160
/proc/meminfo: memFree=547656/2055920 swapFree=4191892/4192956
[pid=16004] ppid=16002 vsize=915720 CPUtime=1775.13
/proc/16004/stat : 16004 (java) R 16002 16004 15192 0 -1 0 155943 0 2 0 177400 113 0 0 25 0 8 0 183299553 937697280 155638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074057147 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16004/statm: 228930 155638 2546 14 0 215400 0
[pid=16004/tid=16006] ppid=16002 vsize=915720 CPUtime=1.58
/proc/16004/task/16006/stat : 16006 (java) S 16002 16004 15192 0 -1 64 138770 0 0 0 107 51 0 0 16 0 8 0 183299556 937697280 155638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16007] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16007/stat : 16007 (java) S 16002 16004 15192 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183299557 937697280 155638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16008] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16008/stat : 16008 (java) S 16002 16004 15192 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183299557 937697280 155638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16009] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16009/stat : 16009 (java) S 16002 16004 15192 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183299560 937697280 155638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16010] ppid=16002 vsize=915720 CPUtime=0.33
/proc/16004/task/16010/stat : 16010 (java) S 16002 16004 15192 0 -1 64 501 0 0 0 31 2 0 0 16 0 8 0 183299560 937697280 155638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16011] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16011/stat : 16011 (java) S 16002 16004 15192 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183299560 937697280 155638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16012] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16012/stat : 16012 (java) S 16002 16004 15192 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183299560 937697280 155638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1775.13
Current children cumulated vsize (KiB) 915720



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 16160
/proc/meminfo: memFree=547592/2055920 swapFree=4191892/4192956
[pid=16004] ppid=16002 vsize=915720 CPUtime=1800.09
/proc/16004/stat : 16004 (java) R 16002 16004 15192 0 -1 0 155943 0 2 0 179896 113 0 0 25 0 8 0 183299553 937697280 155638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074030983 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16004/statm: 228930 155638 2546 14 0 215400 0
[pid=16004/tid=16006] ppid=16002 vsize=915720 CPUtime=1.58
/proc/16004/task/16006/stat : 16006 (java) S 16002 16004 15192 0 -1 64 138770 0 0 0 107 51 0 0 16 0 8 0 183299556 937697280 155638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16007] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16007/stat : 16007 (java) S 16002 16004 15192 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183299557 937697280 155638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16008] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16008/stat : 16008 (java) S 16002 16004 15192 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183299557 937697280 155638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16009] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16009/stat : 16009 (java) S 16002 16004 15192 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183299560 937697280 155638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16010] ppid=16002 vsize=915720 CPUtime=0.33
/proc/16004/task/16010/stat : 16010 (java) S 16002 16004 15192 0 -1 64 501 0 0 0 31 2 0 0 16 0 8 0 183299560 937697280 155638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16011] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16011/stat : 16011 (java) S 16002 16004 15192 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183299560 937697280 155638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16004/tid=16012] ppid=16002 vsize=915720 CPUtime=0
/proc/16004/task/16012/stat : 16012 (java) S 16002 16004 15192 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183299560 937697280 155638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 915720

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

Child status: 143
Real time (s): 1808.53
CPU time (s): 1800.22
CPU user time (s): 1799
CPU system time (s): 1.22281
CPU usage (%): 99.5404
Max. virtual memory (cumulated for all children) (KiB): 915760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799
system time used= 1.22281
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155960
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38301
involuntary context switches= 35331

runsolver used 1.87771 s user time and 5.02923 s system time

The end

Launcher Data (download as text)

Begin job on node42 on Tue Jan  9 13:23:23 UTC 2007


IDJOB= 237516
IDBENCH= 6946
FILE ID= node42/237516-1168349002

PBS_JOBID= 3503535

Free space on /tmp= 66561 MiB

BENCH NAME= HOME/pub/bench/CPAI06/haystacks/haystacks_28.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/237516-1168349002/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node42/watcher-237516-1168349002 -o ROOT/results/node42/solver-237516-1168349002 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/237516-1168349002/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  d182319e3384c4b9a637e552d7b21712

RANDOM SEED= 829185370

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.229
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.229
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:       1472936 kB
Buffers:         18708 kB
Cached:          76340 kB
SwapCached:        492 kB
Active:         485840 kB
Inactive:        43632 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1472936 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:            2956 kB
Writeback:           0 kB
Mapped:         451100 kB
Slab:            37960 kB
Committed_AS:  4687272 kB
PageTables:       2668 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= 66553 MiB



End job on node42 on Tue Jan  9 13:53:32 UTC 2007