Trace number 237885

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 AC? (TO) 1800.16 1802

General information on the benchmark

Namehaystacks/
haystacks_47.xml
MD5SUMe9d5d176681ed94d2da63720f433f021
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 benchmark1061.69
SatisfiableNO
(Un)Satisfiability was proved
Number of variables2209
Number of constraints50853
Maximum constraint arity2
Maximum domain size47
Number of constraints which are defined in extension0
Number of constraints which are defined in intension50853
Global constraints used (with number of constraints)

Solver Data (download as text)

0.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=mac.xml
0.32	   
0.32	   instance
0.33	     name=/tmp/evaluation/237885-1168083370/unknown.xml
0.35	   
0.35	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.56	     nbVariables=2209  nbDomainTypes=1  minDomainSize=47  maxDomainSize=47
0.56	       =>  wckTime=0.264  cpuTime=0.19  mem=12M748
0.56	   
0.56	   predicates being loaded...
0.56	   
0.56	   constraints being loaded...
4.86	   
4.86	   INFO : Stopping converting binary constraints (cpu=4.01, mem = 46M823)
5.14	     nbConstraints=50853  nbConvertedConstraints=33537  nbConvertConstraintsChecks=8836  nbExtensionStructures=4
5.14	     nbSharedExtensionStructures=33533  nbConflictsStructures=4  nbSharedConflictsStructures=33533
5.14	     nbSharedBinaryRepresentations=281  nbEvaluationManagers=4  nbSharedEvaluationManagers=17312  maxDegree=47
5.14	     maxArity=2
5.14	       =>  wckTime=4.846  cpuTime=4.24  mem=79M302
5.47	   
5.47	   solver IterativeSystematicSolver being built... 
5.92	       =>  wckTime=5.627  cpuTime=4.6  mem=89M839
6.84	   
6.84	   preprocessing
6.84	     nbConstraintChecks=1629478  nbValidityChecks=35352  nbPropagations=2209  nbRevisions=34632
6.84	     nbUselessRevisions=34632  nbRemovedValues=0  detectedInconsistency=no
6.84	       =>  wckTime=0.895  cpuTime=0.87  mem=89M839
8.03	   
8.03	   search
8.03	     run=0  nbConstraintChecks=1251256  nbValidityChecks=2718468  nbPropagations=8744  nbRevisions=103910
8.03	     nbUselessRevisions=97497  nbAssignments=191  nbFailedAssignments=9  nbBacktracks=10  nbVisitedNodes=210
8.03	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
8.03	       =>  wckTime=2.095  cpuTime=2.05  mem=92M847
8.65	   
8.65	   search
8.65	     run=1  nbConstraintChecks=1475214  nbValidityChecks=5480772  nbPropagations=24045  nbRevisions=278414
8.65	     nbUselessRevisions=259151  nbAssignments=388  nbFailedAssignments=21  nbBacktracks=26  nbVisitedNodes=431
8.65	     nbRestartNogoods=2  mapSize=25  nbInferences=0  nbTooLargeKeys=0
8.65	       =>  wckTime=2.716  cpuTime=2.67  mem=94M851
9.27	   
9.27	   search
9.27	     run=2  nbConstraintChecks=1683835  nbValidityChecks=8262681  nbPropagations=45962  nbRevisions=524243
9.27	     nbUselessRevisions=485622  nbAssignments=596  nbFailedAssignments=39  nbBacktracks=48  nbVisitedNodes=676
9.27	     nbRestartNogoods=5  mapSize=46  nbInferences=1  nbTooLargeKeys=0
9.27	       =>  wckTime=3.339  cpuTime=3.29  mem=97M859
9.97	   
9.97	   search
9.97	     run=3  nbConstraintChecks=1892334  nbValidityChecks=11065020  nbPropagations=74575  nbRevisions=842208
9.97	     nbUselessRevisions=777634  nbAssignments=825  nbFailedAssignments=66  nbBacktracks=81  nbVisitedNodes=960
9.97	     nbRestartNogoods=7  mapSize=79  nbInferences=2  nbTooLargeKeys=0
9.97	       =>  wckTime=4.039  cpuTime=3.94  mem=59M873
10.64	   
10.64	   search
10.64	     run=4  nbConstraintChecks=2112822  nbValidityChecks=13900383  nbPropagations=110020  nbRevisions=1233612
10.64	     nbUselessRevisions=1136360  nbAssignments=1084  nbFailedAssignments=103  nbBacktracks=132  nbVisitedNodes=1298
10.64	     nbRestartNogoods=11  mapSize=130  nbInferences=7  nbTooLargeKeys=0
10.64	       =>  wckTime=4.705  cpuTime=4.6  mem=62M859
11.36	   
11.36	   search
11.36	     run=5  nbConstraintChecks=2315627  nbValidityChecks=16728442  nbPropagations=152532  nbRevisions=1698534
11.36	     nbUselessRevisions=1561684  nbAssignments=1391  nbFailedAssignments=151  nbBacktracks=208  nbVisitedNodes=1718
11.36	     nbRestartNogoods=15  mapSize=206  nbInferences=24  nbTooLargeKeys=0
11.36	       =>  wckTime=5.424  cpuTime=5.31  mem=65M845
12.16	   
12.16	   search
12.16	     run=6  nbConstraintChecks=2517242  nbValidityChecks=19577304  nbPropagations=202400  nbRevisions=2237948
12.16	     nbUselessRevisions=2054287  nbAssignments=1765  nbFailedAssignments=225  nbBacktracks=322  nbVisitedNodes=2262
12.16	     nbRestartNogoods=19  mapSize=320  nbInferences=46  nbTooLargeKeys=0
12.16	       =>  wckTime=6.226  cpuTime=6.1  mem=70M93
13.11	   
13.11	   search
13.11	     run=7  nbConstraintChecks=2727133  nbValidityChecks=22434643  nbPropagations=260139  nbRevisions=2852727
13.11	     nbUselessRevisions=2614582  nbAssignments=2252  nbFailedAssignments=331  nbBacktracks=493  nbVisitedNodes=3006
13.11	     nbRestartNogoods=21  mapSize=491  nbInferences=91  nbTooLargeKeys=0
13.11	       =>  wckTime=7.176  cpuTime=7.04  mem=76M65
14.27	   
14.27	   search
14.27	     run=8  nbConstraintChecks=2942880  nbValidityChecks=25306699  nbPropagations=326503  nbRevisions=3544204
14.27	     nbUselessRevisions=3243227  nbAssignments=2904  nbFailedAssignments=480  nbBacktracks=749  nbVisitedNodes=4043
14.27	     nbRestartNogoods=27  mapSize=747  nbInferences=178  nbTooLargeKeys=0
14.27	       =>  wckTime=8.335  cpuTime=8.2  mem=83M33
15.74	   
15.74	   search
15.74	     run=9  nbConstraintChecks=3157465  nbValidityChecks=28184675  nbPropagations=402702  nbRevisions=4313831
15.74	     nbUselessRevisions=3940576  nbAssignments=3813  nbFailedAssignments=703  nbBacktracks=1133  nbVisitedNodes=5542
15.74	     nbRestartNogoods=32  mapSize=1131  nbInferences=322  nbTooLargeKeys=0
15.74	       =>  wckTime=9.811  cpuTime=9.67  mem=92M986
17.91	   
17.91	   search
17.91	     run=10  nbConstraintChecks=3380301  nbValidityChecks=31075718  nbPropagations=490916  nbRevisions=5166524
17.91	     nbUselessRevisions=4709752  nbAssignments=5183  nbFailedAssignments=999  nbBacktracks=1709  nbVisitedNodes=7847
17.91	     nbRestartNogoods=38  mapSize=1707  nbInferences=665  nbTooLargeKeys=0
17.91	       =>  wckTime=11.973  cpuTime=11.78  mem=87M556
20.72	   
20.72	   search
20.72	     run=11  nbConstraintChecks=3604715  nbValidityChecks=33955264  nbPropagations=593820  nbRevisions=6105123
20.72	     nbUselessRevisions=5551004  nbAssignments=7118  nbFailedAssignments=1486  nbBacktracks=2575  nbVisitedNodes=11187
20.72	     nbRestartNogoods=42  mapSize=2573  nbInferences=1096  nbTooLargeKeys=0
20.72	       =>  wckTime=14.79  cpuTime=14.59  mem=109M821
25.05	   
25.05	   search
25.05	     run=12  nbConstraintChecks=3866021  nbValidityChecks=36909618  nbPropagations=716713  nbRevisions=7148589
25.05	     nbUselessRevisions=6478699  nbAssignments=10128  nbFailedAssignments=2173  nbBacktracks=3872  nbVisitedNodes=16447
25.05	     nbRestartNogoods=45  mapSize=3870  nbInferences=1972  nbTooLargeKeys=0
25.05	       =>  wckTime=19.12  cpuTime=18.87  mem=127M567
32.32	   
32.32	   search
32.32	     run=13  nbConstraintChecks=4183251  nbValidityChecks=39866468  nbPropagations=870677  nbRevisions=8321238
32.32	     nbUselessRevisions=7508533  nbAssignments=15167  nbFailedAssignments=2997  nbBacktracks=5819  nbVisitedNodes=25258
32.32	     nbRestartNogoods=51  mapSize=5817  nbInferences=4096  nbTooLargeKeys=0
32.32	       =>  wckTime=26.384  cpuTime=26.07  mem=173M980
41.49	   
41.49	   search
41.49	     run=14  nbConstraintChecks=4516493  nbValidityChecks=42791171  nbPropagations=1063472  nbRevisions=9626359
41.49	     nbUselessRevisions=8635804  nbAssignments=21999  nbFailedAssignments=4507  nbBacktracks=8739  nbVisitedNodes=37377
41.49	     nbRestartNogoods=63  mapSize=8737  nbInferences=6363  nbTooLargeKeys=0
41.49	       =>  wckTime=35.556  cpuTime=35.12  mem=215M662
59.93	   
59.93	   search
59.93	     run=15  nbConstraintChecks=4985466  nbValidityChecks=45688394  nbPropagations=1332369  nbRevisions=11085089
59.93	     nbUselessRevisions=9854040  nbAssignments=35007  nbFailedAssignments=6004  nbBacktracks=13117  nbVisitedNodes=60381
59.93	     nbRestartNogoods=71  mapSize=13115  nbInferences=13365  nbTooLargeKeys=0
59.93	       =>  wckTime=53.996  cpuTime=53.36  mem=290M874
81.27	   
81.27	   search
81.27	     run=16  nbConstraintChecks=5474457  nbValidityChecks=48608956  nbPropagations=1689407  nbRevisions=12712309
81.27	     nbUselessRevisions=11167152  nbAssignments=51595  nbFailedAssignments=8633  nbBacktracks=19686
81.27	     nbVisitedNodes=89507  nbRestartNogoods=85  mapSize=19593  nbInferences=20645  nbTooLargeKeys=0
81.27	       =>  wckTime=75.336  cpuTime=74.5  mem=393M154
104.28	   
104.28	   search
104.28	     run=17  nbConstraintChecks=6626642  nbValidityChecks=55162782  nbPropagations=2211909  nbRevisions=14660735
104.28	     nbUselessRevisions=12664077  nbAssignments=79399  nbFailedAssignments=12347  nbBacktracks=29538
104.28	     nbVisitedNodes=138933  nbRestartNogoods=87  mapSize=29344  nbInferences=34839  nbTooLargeKeys=0
104.28	       =>  wckTime=98.346  cpuTime=97.45  mem=426M321
143.98	   
143.98	   INFO : Stopping hyperNogood (mapSize=41810, nbTooLargekeys=0, mem=600M707)
146.27	   
146.27	   search
146.27	     run=18  nbConstraintChecks=8168833  nbValidityChecks=61497257  nbPropagations=2937709  nbRevisions=16932566
146.27	     nbUselessRevisions=14310648  nbAssignments=116373  nbFailedAssignments=19021  nbBacktracks=44317
146.27	     nbVisitedNodes=204559  nbRestartNogoods=105
146.27	       =>  wckTime=140.333  cpuTime=139.03  mem=600M707
167.80	   
167.80	   search
167.80	     run=19  nbConstraintChecks=9425561  nbValidityChecks=67462643  nbPropagations=3843220  nbRevisions=19537542
167.80	     nbUselessRevisions=16110483  nbAssignments=154019  nbFailedAssignments=34272  nbBacktracks=66485
167.80	     nbVisitedNodes=272706  nbRestartNogoods=113
167.80	       =>  wckTime=161.872  cpuTime=160.56  mem=600M707
200.59	   
200.59	   search
200.59	     run=20  nbConstraintChecks=10993243  nbValidityChecks=73667076  nbPropagations=5012569  nbRevisions=22554294
200.59	     nbUselessRevisions=18058220  nbAssignments=210438  nbFailedAssignments=57204  nbBacktracks=99737
200.59	     nbVisitedNodes=374988  nbRestartNogoods=127
200.59	       =>  wckTime=194.662  cpuTime=193.31  mem=600M707
249.68	   
249.68	   search
249.68	     run=21  nbConstraintChecks=12909758  nbValidityChecks=80351279  nbPropagations=6571706  nbRevisions=26118217
249.68	     nbUselessRevisions=20163360  nbAssignments=294925  nbFailedAssignments=91570  nbBacktracks=149615
249.68	     nbVisitedNodes=528206  nbRestartNogoods=140
249.68	       =>  wckTime=243.748  cpuTime=242.35  mem=600M707
322.45	   
322.45	   search
322.45	     run=22  nbConstraintChecks=15309048  nbValidityChecks=87200166  nbPropagations=8709467  nbRevisions=30426451
322.45	     nbUselessRevisions=22434084  nbAssignments=421720  nbFailedAssignments=143296  nbBacktracks=224433
322.45	     nbVisitedNodes=758452  nbRestartNogoods=156
322.45	       =>  wckTime=316.521  cpuTime=315.06  mem=600M707
430.85	   
430.85	   search
430.85	     run=23  nbConstraintChecks=18458611  nbValidityChecks=94286805  nbPropagations=11708368  nbRevisions=35765518
430.85	     nbUselessRevisions=24873888  nbAssignments=611682  nbFailedAssignments=220775  nbBacktracks=336660
430.85	     nbVisitedNodes=1103372  nbRestartNogoods=172
430.85	       =>  wckTime=424.92  cpuTime=423.36  mem=600M707
589.72	   
589.73	   search
589.73	     run=24  nbConstraintChecks=22610241  nbValidityChecks=101691638  nbPropagations=15993631  nbRevisions=42568140
589.73	     nbUselessRevisions=27490951  nbAssignments=896863  nbFailedAssignments=337347  nbBacktracks=505001
589.73	     nbVisitedNodes=1621697  nbRestartNogoods=192
589.73	       =>  wckTime=583.793  cpuTime=582.07  mem=600M707
829.17	   
829.17	   search
829.17	     run=25  nbConstraintChecks=28433042  nbValidityChecks=109603987  nbPropagations=22198945  nbRevisions=51486388
829.17	     nbUselessRevisions=30300849  nbAssignments=1323611  nbFailedAssignments=511313  nbBacktracks=757512
829.17	     nbVisitedNodes=2396376  nbRestartNogoods=214
829.17	       =>  wckTime=823.237  cpuTime=821.29  mem=600M707
1188.52	   
1188.52	   search
1188.52	     run=26  nbConstraintChecks=36668349  nbValidityChecks=117130096  nbPropagations=31283725  nbRevisions=63463237
1188.52	     nbUselessRevisions=33289930  nbAssignments=1965513  nbFailedAssignments=774166  nbBacktracks=1136279
1188.52	     nbVisitedNodes=3563984  nbRestartNogoods=243
1188.52	       =>  wckTime=1182.59  cpuTime=1180.3  mem=600M707
1728.68	   
1728.68	   search
1728.68	     run=27  nbConstraintChecks=48665013  nbValidityChecks=128117184  nbPropagations=44687176  nbRevisions=80018669
1728.68	     nbUselessRevisions=36539027  nbAssignments=2928635  nbFailedAssignments=1168851  nbBacktracks=1704431
1728.68	     nbVisitedNodes=5316475  nbRestartNogoods=262
1728.68	       =>  wckTime=1722.744  cpuTime=1719.9  mem=600M707

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

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

/proc/loadavg: 0.14 0.87 1.34 3/68 26800
/proc/meminfo: memFree=1576768/2055920 swapFree=4191892/4192956
[pid=26799] ppid=26797 vsize=172 CPUtime=0
/proc/26799/stat : 26799 (java) R 26797 26799 26421 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 156737543 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 12407588 0 0 4096 0 0 0 0 17 1 0 0
/proc/26799/statm: 43 24 18 14 0 3 0

[startup+0.103485 s]
/proc/loadavg: 0.14 0.87 1.34 3/68 26800
/proc/meminfo: memFree=1576768/2055920 swapFree=4191892/4192956
[pid=26799] ppid=26797 vsize=914988 CPUtime=0.08
/proc/26799/stat : 26799 (java) R 26797 26799 26421 0 -1 0 3062 0 1 0 6 2 0 0 16 0 8 0 156737543 936947712 2808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26799/statm: 228747 2808 1450 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.51353 s]
/proc/loadavg: 0.14 0.87 1.34 3/68 26800
/proc/meminfo: memFree=1576768/2055920 swapFree=4191892/4192956
[pid=26799] ppid=26797 vsize=915328 CPUtime=0.49
/proc/26799/stat : 26799 (java) R 26797 26799 26421 0 -1 0 7024 0 1 0 45 4 0 0 16 0 8 0 156737543 937295872 6763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26799/statm: 228832 6764 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33862 s]
/proc/loadavg: 0.14 0.87 1.34 2/75 26807
/proc/meminfo: memFree=1512840/2055920 swapFree=4191892/4192956
[pid=26799] ppid=26797 vsize=915644 CPUtime=1.31
/proc/26799/stat : 26799 (java) R 26797 26799 26421 0 -1 0 18360 0 1 0 121 10 0 0 17 0 8 0 156737543 937619456 18098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26799/statm: 228911 18098 2160 14 0 215381 0
[pid=26799/tid=26801] ppid=26797 vsize=915644 CPUtime=0.05
/proc/26799/task/26801/stat : 26801 (java) S 26797 26799 26421 0 -1 64 1821 0 0 0 5 0 0 0 17 0 8 0 156737546 937619456 18098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26802] ppid=26797 vsize=915644 CPUtime=0
/proc/26799/task/26802/stat : 26802 (java) S 26797 26799 26421 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156737547 937619456 18098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26803] ppid=26797 vsize=915644 CPUtime=0
/proc/26799/task/26803/stat : 26803 (java) S 26797 26799 26421 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156737547 937619456 18098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26804] ppid=26797 vsize=915644 CPUtime=0
/proc/26799/task/26804/stat : 26804 (java) S 26797 26799 26421 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156737550 937619456 18098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26805] ppid=26797 vsize=915644 CPUtime=0.14
/proc/26799/task/26805/stat : 26805 (java) S 26797 26799 26421 0 -1 64 406 0 0 0 14 0 0 0 16 0 8 0 156737550 937619456 18098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26806] ppid=26797 vsize=915644 CPUtime=0
/proc/26799/task/26806/stat : 26806 (java) S 26797 26799 26421 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156737550 937619456 18098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26807] ppid=26797 vsize=915644 CPUtime=0
/proc/26799/task/26807/stat : 26807 (java) S 26797 26799 26421 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156737550 937619456 18098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915644

[startup+2.97781 s]
/proc/loadavg: 0.14 0.87 1.34 2/75 26807
/proc/meminfo: memFree=1498696/2055920 swapFree=4191892/4192956
[pid=26799] ppid=26797 vsize=915644 CPUtime=2.95
/proc/26799/stat : 26799 (java) R 26797 26799 26421 0 -1 0 23034 0 1 0 250 45 0 0 17 0 8 0 156737543 937619456 22769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26799/statm: 228911 22769 2180 14 0 215381 0
[pid=26799/tid=26801] ppid=26797 vsize=915644 CPUtime=0.27
/proc/26799/task/26801/stat : 26801 (java) S 26797 26799 26421 0 -1 64 6407 0 0 0 25 2 0 0 16 0 8 0 156737546 937619456 22769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26802] ppid=26797 vsize=915644 CPUtime=0
/proc/26799/task/26802/stat : 26802 (java) S 26797 26799 26421 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156737547 937619456 22769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26803] ppid=26797 vsize=915644 CPUtime=0
/proc/26799/task/26803/stat : 26803 (java) S 26797 26799 26421 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156737547 937619456 22769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26804] ppid=26797 vsize=915644 CPUtime=0
/proc/26799/task/26804/stat : 26804 (java) S 26797 26799 26421 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156737550 937619456 22769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26805] ppid=26797 vsize=915644 CPUtime=0.19
/proc/26799/task/26805/stat : 26805 (java) S 26797 26799 26421 0 -1 64 430 0 0 0 18 1 0 0 16 0 8 0 156737550 937619456 22769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26799/tid=26806] ppid=26797 vsize=915644 CPUtime=0
/proc/26799/task/26806/stat : 26806 (java) S 26797 26799 26421 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156737550 937619456 22769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26807] ppid=26797 vsize=915644 CPUtime=0
/proc/26799/task/26807/stat : 26807 (java) S 26797 26799 26421 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156737550 937619456 22769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915644

[startup+6.25617 s]
/proc/loadavg: 0.21 0.87 1.33 2/75 26807
/proc/meminfo: memFree=1466696/2055920 swapFree=4191892/4192956
[pid=26799] ppid=26797 vsize=915872 CPUtime=6.23
/proc/26799/stat : 26799 (java) R 26797 26799 26421 0 -1 0 30816 0 1 0 476 147 0 0 17 0 8 0 156737543 937852928 30471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26799/statm: 228968 30471 2533 14 0 215438 0
[pid=26799/tid=26801] ppid=26797 vsize=915872 CPUtime=0.77
/proc/26799/task/26801/stat : 26801 (java) S 26797 26799 26421 0 -1 64 13669 0 0 0 73 4 0 0 17 0 8 0 156737546 937852928 30471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26802] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26802/stat : 26802 (java) S 26797 26799 26421 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156737547 937852928 30471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26803] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26803/stat : 26803 (java) S 26797 26799 26421 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156737547 937852928 30471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26804] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26804/stat : 26804 (java) S 26797 26799 26421 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156737550 937852928 30471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26805] ppid=26797 vsize=915872 CPUtime=0.3
/proc/26799/task/26805/stat : 26805 (java) S 26797 26799 26421 0 -1 64 509 0 0 0 29 1 0 0 16 0 8 0 156737550 937852928 30471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26799/tid=26806] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26806/stat : 26806 (java) S 26797 26799 26421 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156737550 937852928 30471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26807] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26807/stat : 26807 (java) S 26797 26799 26421 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156737550 937852928 30471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915872

[startup+12.7439 s]
/proc/loadavg: 0.28 0.88 1.33 2/75 26808
/proc/meminfo: memFree=1457816/2055920 swapFree=4191892/4192956
[pid=26799] ppid=26797 vsize=915872 CPUtime=12.71
/proc/26799/stat : 26799 (java) R 26797 26799 26421 0 -1 0 32962 0 1 0 1122 149 0 0 17 0 8 0 156737543 937852928 32607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074286974 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26799/statm: 228968 32607 2538 14 0 215438 0
[pid=26799/tid=26801] ppid=26797 vsize=915872 CPUtime=0.83
/proc/26799/task/26801/stat : 26801 (java) S 26797 26799 26421 0 -1 64 15770 0 0 0 78 5 0 0 16 0 8 0 156737546 937852928 32607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26802] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26802/stat : 26802 (java) S 26797 26799 26421 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156737547 937852928 32607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26803] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26803/stat : 26803 (java) S 26797 26799 26421 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156737547 937852928 32607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26804] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26804/stat : 26804 (java) S 26797 26799 26421 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156737550 937852928 32607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26805] ppid=26797 vsize=915872 CPUtime=0.35
/proc/26799/task/26805/stat : 26805 (java) S 26797 26799 26421 0 -1 64 538 0 0 0 33 2 0 0 16 0 8 0 156737550 937852928 32607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26806] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26806/stat : 26806 (java) S 26797 26799 26421 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156737550 937852928 32607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26807] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26807/stat : 26807 (java) S 26797 26799 26421 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156737550 937852928 32607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915872

[startup+25.5853 s]
/proc/loadavg: 0.44 0.88 1.33 2/75 26810
/proc/meminfo: memFree=1404312/2055920 swapFree=4191892/4192956
[pid=26799] ppid=26797 vsize=915872 CPUtime=25.54
/proc/26799/stat : 26799 (java) R 26797 26799 26421 0 -1 0 46317 0 1 0 2401 153 0 0 19 0 8 0 156737543 937852928 45956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074221291 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26799/statm: 228968 45956 2538 14 0 215438 0
[pid=26799/tid=26801] ppid=26797 vsize=915872 CPUtime=0.93
/proc/26799/task/26801/stat : 26801 (java) S 26797 26799 26421 0 -1 64 29112 0 0 0 84 9 0 0 16 0 8 0 156737546 937852928 45956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26802] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26802/stat : 26802 (java) S 26797 26799 26421 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156737547 937852928 45956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26803] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26803/stat : 26803 (java) S 26797 26799 26421 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156737547 937852928 45956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26804] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26804/stat : 26804 (java) S 26797 26799 26421 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156737550 937852928 45956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26805] ppid=26797 vsize=915872 CPUtime=0.36
/proc/26799/task/26805/stat : 26805 (java) S 26797 26799 26421 0 -1 64 546 0 0 0 34 2 0 0 16 0 8 0 156737550 937852928 45956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26806] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26806/stat : 26806 (java) S 26797 26799 26421 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156737550 937852928 45956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26807] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26807/stat : 26807 (java) S 26797 26799 26421 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156737550 937852928 45956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 915872

[startup+51.1963 s]
/proc/loadavg: 0.70 0.91 1.32 2/75 26921
/proc/meminfo: memFree=1285272/2055920 swapFree=4191892/4192956
[pid=26799] ppid=26797 vsize=915872 CPUtime=51.07
/proc/26799/stat : 26799 (java) R 26797 26799 26421 0 -1 0 75924 0 1 0 4941 166 0 0 25 0 8 0 156737543 937852928 75558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074222329 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26799/statm: 228968 75558 2538 14 0 215438 0
[pid=26799/tid=26801] ppid=26797 vsize=915872 CPUtime=1.16
/proc/26799/task/26801/stat : 26801 (java) S 26797 26799 26421 0 -1 64 58714 0 0 0 95 21 0 0 16 0 8 0 156737546 937852928 75558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26799/tid=26802] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26802/stat : 26802 (java) S 26797 26799 26421 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156737547 937852928 75558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26803] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26803/stat : 26803 (java) S 26797 26799 26421 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156737547 937852928 75558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26804] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26804/stat : 26804 (java) S 26797 26799 26421 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156737550 937852928 75558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26805] ppid=26797 vsize=915872 CPUtime=0.36
/proc/26799/task/26805/stat : 26805 (java) S 26797 26799 26421 0 -1 64 546 0 0 0 34 2 0 0 16 0 8 0 156737550 937852928 75558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26806] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26806/stat : 26806 (java) S 26797 26799 26421 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156737550 937852928 75558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26807] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26807/stat : 26807 (java) S 26797 26799 26421 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156737550 937852928 75558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 915872

[startup+102.421 s]
/proc/loadavg: 1.47 1.09 1.36 3/87 26967
/proc/meminfo: memFree=1059576/2055920 swapFree=4191892/4192956
[pid=26799] ppid=26797 vsize=915872 CPUtime=102.24
/proc/26799/stat : 26799 (java) R 26797 26799 26421 0 -1 0 112425 0 1 0 10043 181 0 0 25 0 8 0 156737543 937852928 112052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074204196 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26799/statm: 228968 112052 2538 14 0 215438 0
[pid=26799/tid=26801] ppid=26797 vsize=915872 CPUtime=1.44
/proc/26799/task/26801/stat : 26801 (java) S 26797 26799 26421 0 -1 64 95208 0 0 0 109 35 0 0 16 0 8 0 156737546 937852928 112052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26802] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26802/stat : 26802 (java) S 26797 26799 26421 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156737547 937852928 112052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26803] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26803/stat : 26803 (java) S 26797 26799 26421 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156737547 937852928 112052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26804] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26804/stat : 26804 (java) S 26797 26799 26421 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156737550 937852928 112052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26805] ppid=26797 vsize=915872 CPUtime=0.36
/proc/26799/task/26805/stat : 26805 (java) S 26797 26799 26421 0 -1 64 546 0 0 0 34 2 0 0 16 0 8 0 156737550 937852928 112052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26806] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26806/stat : 26806 (java) S 26797 26799 26421 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156737550 937852928 112052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26807] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26807/stat : 26807 (java) S 26797 26799 26421 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156737550 937852928 112052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 915872

[startup+162.487 s]
/proc/loadavg: 1.84 1.27 1.40 3/87 26967
/proc/meminfo: memFree=855160/2055920 swapFree=4191892/4192956
[pid=26799] ppid=26797 vsize=915872 CPUtime=162.26
/proc/26799/stat : 26799 (java) R 26797 26799 26421 0 -1 0 156333 0 1 0 16028 198 0 0 25 0 8 0 156737543 937852928 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074206971 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 1422.24
Current children cumulated vsize (KiB) 915872

[startup+1483.72 s]
/proc/loadavg: 2.01 1.99 1.83 3/93 27031
/proc/meminfo: memFree=370000/2055920 swapFree=4191892/4192956
[pid=26799] ppid=26797 vsize=915872 CPUtime=1482.21
/proc/26799/stat : 26799 (java) R 26797 26799 26421 0 -1 0 156333 0 1 0 148017 204 0 0 25 0 8 0 156737543 937852928 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074232263 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26799/statm: 228968 155951 2538 14 0 215438 0
[pid=26799/tid=26801] ppid=26797 vsize=915872 CPUtime=1.81
/proc/26799/task/26801/stat : 26801 (java) S 26797 26799 26421 0 -1 64 139107 0 0 0 129 52 0 0 16 0 8 0 156737546 937852928 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26802] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26802/stat : 26802 (java) S 26797 26799 26421 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156737547 937852928 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26803] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26803/stat : 26803 (java) S 26797 26799 26421 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156737547 937852928 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26804] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26804/stat : 26804 (java) S 26797 26799 26421 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156737550 937852928 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26805] ppid=26797 vsize=915872 CPUtime=0.36
/proc/26799/task/26805/stat : 26805 (java) S 26797 26799 26421 0 -1 64 546 0 0 0 34 2 0 0 16 0 8 0 156737550 937852928 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26806] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26806/stat : 26806 (java) S 26797 26799 26421 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156737550 937852928 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26807] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26807/stat : 26807 (java) S 26797 26799 26421 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156737550 937852928 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1482.21
Current children cumulated vsize (KiB) 915872

[startup+1543.81 s]
/proc/loadavg: 2.12 2.03 1.85 3/93 27123
/proc/meminfo: memFree=349048/2055920 swapFree=4191892/4192956
[pid=26799] ppid=26797 vsize=915872 CPUtime=1542.23
/proc/26799/stat : 26799 (java) R 26797 26799 26421 0 -1 0 156333 0 1 0 154012 211 0 0 25 0 8 0 156737543 937852928 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074273023 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26799/statm: 228968 155951 2538 14 0 215438 0
[pid=26799/tid=26801] ppid=26797 vsize=915872 CPUtime=1.81
/proc/26799/task/26801/stat : 26801 (java) S 26797 26799 26421 0 -1 64 139107 0 0 0 129 52 0 0 16 0 8 0 156737546 937852928 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26802] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26802/stat : 26802 (java) S 26797 26799 26421 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156737547 937852928 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26803] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26803/stat : 26803 (java) S 26797 26799 26421 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156737547 937852928 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26804] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26804/stat : 26804 (java) S 26797 26799 26421 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156737550 937852928 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26805] ppid=26797 vsize=915872 CPUtime=0.36
/proc/26799/task/26805/stat : 26805 (java) S 26797 26799 26421 0 -1 64 546 0 0 0 34 2 0 0 16 0 8 0 156737550 937852928 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26806] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26806/stat : 26806 (java) S 26797 26799 26421 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156737550 937852928 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26807] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26807/stat : 26807 (java) S 26797 26799 26421 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156737550 937852928 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1542.23
Current children cumulated vsize (KiB) 915872

[startup+1603.87 s]
/proc/loadavg: 2.10 2.04 1.86 3/87 27165
/proc/meminfo: memFree=350072/2055920 swapFree=4191892/4192956
[pid=26799] ppid=26797 vsize=915872 CPUtime=1602.23
/proc/26799/stat : 26799 (java) R 26797 26799 26421 0 -1 0 156333 0 1 0 160010 213 0 0 25 0 8 0 156737543 937852928 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074204192 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26799/statm: 228968 155951 2538 14 0 215438 0
[pid=26799/tid=26801] ppid=26797 vsize=915872 CPUtime=1.81
/proc/26799/task/26801/stat : 26801 (java) S 26797 26799 26421 0 -1 64 139107 0 0 0 129 52 0 0 16 0 8 0 156737546 937852928 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26802] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26802/stat : 26802 (java) S 26797 26799 26421 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156737547 937852928 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26803] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26803/stat : 26803 (java) S 26797 26799 26421 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156737547 937852928 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26804] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26804/stat : 26804 (java) S 26797 26799 26421 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156737550 937852928 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26805] ppid=26797 vsize=915872 CPUtime=0.36
/proc/26799/task/26805/stat : 26805 (java) S 26797 26799 26421 0 -1 64 546 0 0 0 34 2 0 0 16 0 8 0 156737550 937852928 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26806] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26806/stat : 26806 (java) S 26797 26799 26421 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156737550 937852928 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26807] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26807/stat : 26807 (java) S 26797 26799 26421 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156737550 937852928 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1602.23
Current children cumulated vsize (KiB) 915872

[startup+1663.91 s]
/proc/loadavg: 2.04 2.03 1.87 3/87 27165
/proc/meminfo: memFree=350072/2055920 swapFree=4191892/4192956
[pid=26799] ppid=26797 vsize=915872 CPUtime=1662.2
/proc/26799/stat : 26799 (java) R 26797 26799 26421 0 -1 0 156333 0 1 0 166006 214 0 0 25 0 8 0 156737543 937852928 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074204186 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26799/statm: 228968 155951 2538 14 0 215438 0
[pid=26799/tid=26801] ppid=26797 vsize=915872 CPUtime=1.81
/proc/26799/task/26801/stat : 26801 (java) S 26797 26799 26421 0 -1 64 139107 0 0 0 129 52 0 0 16 0 8 0 156737546 937852928 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26802] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26802/stat : 26802 (java) S 26797 26799 26421 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156737547 937852928 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26803] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26803/stat : 26803 (java) S 26797 26799 26421 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156737547 937852928 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26804] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26804/stat : 26804 (java) S 26797 26799 26421 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156737550 937852928 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26805] ppid=26797 vsize=915872 CPUtime=0.36
/proc/26799/task/26805/stat : 26805 (java) S 26797 26799 26421 0 -1 64 546 0 0 0 34 2 0 0 16 0 8 0 156737550 937852928 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26806] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26806/stat : 26806 (java) S 26797 26799 26421 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156737550 937852928 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26807] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26807/stat : 26807 (java) S 26797 26799 26421 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156737550 937852928 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1662.2
Current children cumulated vsize (KiB) 915872

[startup+1723.96 s]
/proc/loadavg: 2.01 2.02 1.87 3/87 27165
/proc/meminfo: memFree=350072/2055920 swapFree=4191892/4192956
[pid=26799] ppid=26797 vsize=915872 CPUtime=1722.2
/proc/26799/stat : 26799 (java) R 26797 26799 26421 0 -1 0 156333 0 1 0 172006 214 0 0 25 0 8 0 156737543 937852928 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074204186 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26799/statm: 228968 155951 2538 14 0 215438 0
[pid=26799/tid=26801] ppid=26797 vsize=915872 CPUtime=1.81
/proc/26799/task/26801/stat : 26801 (java) S 26797 26799 26421 0 -1 64 139107 0 0 0 129 52 0 0 16 0 8 0 156737546 937852928 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26802] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26802/stat : 26802 (java) S 26797 26799 26421 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156737547 937852928 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26803] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26803/stat : 26803 (java) S 26797 26799 26421 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156737547 937852928 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26804] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26804/stat : 26804 (java) S 26797 26799 26421 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156737550 937852928 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26805] ppid=26797 vsize=915872 CPUtime=0.36
/proc/26799/task/26805/stat : 26805 (java) S 26797 26799 26421 0 -1 64 546 0 0 0 34 2 0 0 16 0 8 0 156737550 937852928 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26806] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26806/stat : 26806 (java) S 26797 26799 26421 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156737550 937852928 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26807] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26807/stat : 26807 (java) S 26797 26799 26421 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156737550 937852928 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1722.2
Current children cumulated vsize (KiB) 915872

[startup+1784 s]
/proc/loadavg: 2.00 2.02 1.88 3/87 27165
/proc/meminfo: memFree=350072/2055920 swapFree=4191892/4192956
[pid=26799] ppid=26797 vsize=915872 CPUtime=1782.2
/proc/26799/stat : 26799 (java) R 26797 26799 26421 0 -1 0 156333 0 1 0 178006 214 0 0 25 0 8 0 156737543 937852928 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074206974 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26799/statm: 228968 155951 2538 14 0 215438 0
[pid=26799/tid=26801] ppid=26797 vsize=915872 CPUtime=1.81
/proc/26799/task/26801/stat : 26801 (java) S 26797 26799 26421 0 -1 64 139107 0 0 0 129 52 0 0 16 0 8 0 156737546 937852928 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26802] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26802/stat : 26802 (java) S 26797 26799 26421 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156737547 937852928 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26803] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26803/stat : 26803 (java) S 26797 26799 26421 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156737547 937852928 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26804] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26804/stat : 26804 (java) S 26797 26799 26421 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156737550 937852928 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26805] ppid=26797 vsize=915872 CPUtime=0.37
/proc/26799/task/26805/stat : 26805 (java) S 26797 26799 26421 0 -1 64 546 0 0 0 35 2 0 0 16 0 8 0 156737550 937852928 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26806] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26806/stat : 26806 (java) S 26797 26799 26421 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156737550 937852928 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26807] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26807/stat : 26807 (java) S 26797 26799 26421 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156737550 937852928 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1782.2
Current children cumulated vsize (KiB) 915872



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.89 s]
/proc/loadavg: 2.07 2.03 1.89 3/87 27165
/proc/meminfo: memFree=350072/2055920 swapFree=4191892/4192956
[pid=26799] ppid=26797 vsize=915872 CPUtime=1800.05
/proc/26799/stat : 26799 (java) R 26797 26799 26421 0 -1 0 156333 0 1 0 179791 214 0 0 25 0 8 0 156737543 937852928 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074204192 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26799/statm: 228968 155951 2538 14 0 215438 0
[pid=26799/tid=26801] ppid=26797 vsize=915872 CPUtime=1.81
/proc/26799/task/26801/stat : 26801 (java) S 26797 26799 26421 0 -1 64 139107 0 0 0 129 52 0 0 16 0 8 0 156737546 937852928 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26802] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26802/stat : 26802 (java) S 26797 26799 26421 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156737547 937852928 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26803] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26803/stat : 26803 (java) S 26797 26799 26421 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156737547 937852928 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26804] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26804/stat : 26804 (java) S 26797 26799 26421 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156737550 937852928 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26805] ppid=26797 vsize=915872 CPUtime=0.37
/proc/26799/task/26805/stat : 26805 (java) S 26797 26799 26421 0 -1 64 546 0 0 0 35 2 0 0 16 0 8 0 156737550 937852928 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26806] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26806/stat : 26806 (java) S 26797 26799 26421 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156737550 937852928 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26799/tid=26807] ppid=26797 vsize=915872 CPUtime=0
/proc/26799/task/26807/stat : 26807 (java) S 26797 26799 26421 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156737550 937852928 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 915872

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

Child status: 143
Real time (s): 1802
CPU time (s): 1800.16
CPU user time (s): 1797.93
CPU system time (s): 2.23666
CPU usage (%): 99.8981
Max. virtual memory (cumulated for all children) (KiB): 916004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.93
system time used= 2.23666
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156350
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= 37807
involuntary context switches= 42784

runsolver used 2.06469 s user time and 5.83811 s system time

The end

Launcher Data (download as text)

Begin job on node42 on Sat Jan  6 11:36:21 UTC 2007


IDJOB= 237885
IDBENCH= 6969
FILE ID= node42/237885-1168083370

PBS_JOBID= 3476261

Free space on /tmp= 66536 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  e9d5d176681ed94d2da63720f433f021

RANDOM SEED= 71653661

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:       1577312 kB
Buffers:         28576 kB
Cached:         362088 kB
SwapCached:        268 kB
Active:          52500 kB
Inactive:       357704 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1577312 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:            7960 kB
Writeback:           0 kB
Mapped:          28484 kB
Slab:            54148 kB
Committed_AS:  2760192 kB
PageTables:       1616 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= 66535 MiB



End job on node42 on Sat Jan  6 12:06:29 UTC 2007