Trace number 237997

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

General information on the benchmark

Namehaystacks/
haystacks_30.xml
MD5SUMd19752845e2bb544181045abea63b2d0
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 benchmark63.7613
SatisfiableNO
(Un)Satisfiability was proved
Number of variables900
Number of constraints13079
Maximum constraint arity2
Maximum domain size30
Number of constraints which are defined in extension0
Number of constraints which are defined in intension13079
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.33	   instance
0.33	     name=/tmp/evaluation/237997-1168083381/unknown.xml
0.35	   
0.35	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.48	     nbVariables=900  nbDomainTypes=1  minDomainSize=30  maxDomainSize=30
0.48	       =>  wckTime=0.182  cpuTime=0.14  mem=8M838
0.48	   
0.48	   predicates being loaded...
0.48	   
0.48	   constraints being loaded...
2.05	     nbConstraints=13079  nbConvertedConstraints=13079  nbConvertConstraintsChecks=3600  nbExtensionStructures=4
2.05	     nbSharedExtensionStructures=13075  nbConflictsStructures=4  nbSharedConflictsStructures=13075
2.05	     nbSharedBinaryRepresentations=179  maxDegree=30  maxArity=2
2.05	       =>  wckTime=1.75  cpuTime=1.55  mem=36M849
2.16	   
2.16	   solver IterativeSystematicSolver being built... 
2.37	       =>  wckTime=2.069  cpuTime=1.72  mem=25M370
2.43	   
2.43	   preprocessing
2.43	     nbConstraintChecks=0  nbPropagations=900  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
2.43	     detectedInconsistency=no
2.43	       =>  wckTime=0.057  cpuTime=0.05  mem=25M370
2.57	   
2.57	   search
2.57	     run=0  nbConstraintChecks=52087  nbPropagations=3161  nbRevisions=2291  nbUselessRevisions=67  nbAssignments=102
2.57	     nbFailedAssignments=10  nbBacktracks=10  nbVisitedNodes=123  nbRestartNogoods=0  mapSize=10  nbInferences=0
2.57	     nbTooLargeKeys=0
2.57	       =>  wckTime=0.203  cpuTime=0.17  mem=26M357
2.64	   
2.64	   search
2.64	     run=1  nbConstraintChecks=104412  nbPropagations=8627  nbRevisions=6928  nbUselessRevisions=209  nbAssignments=214
2.64	     nbFailedAssignments=24  nbBacktracks=25  nbVisitedNodes=263  nbRestartNogoods=4  mapSize=25  nbInferences=0
2.64	     nbTooLargeKeys=0
2.64	       =>  wckTime=0.268  cpuTime=0.23  mem=26M357
2.70	   
2.70	   search
2.70	     run=2  nbConstraintChecks=156956  nbPropagations=16463  nbRevisions=13984  nbUselessRevisions=430
2.70	     nbAssignments=339  nbFailedAssignments=44  nbBacktracks=47  nbVisitedNodes=428  nbRestartNogoods=7  mapSize=47
2.70	     nbInferences=0  nbTooLargeKeys=0
2.70	       =>  wckTime=0.333  cpuTime=0.3  mem=26M357
2.78	   
2.78	   search
2.78	     run=3  nbConstraintChecks=209803  nbPropagations=26751  nbRevisions=23540  nbUselessRevisions=731
2.78	     nbAssignments=483  nbFailedAssignments=71  nbBacktracks=80  nbVisitedNodes=627  nbRestartNogoods=12  mapSize=80
2.78	     nbInferences=1  nbTooLargeKeys=0
2.78	       =>  wckTime=0.415  cpuTime=0.37  mem=27M345
2.86	   
2.86	   search
2.86	     run=4  nbConstraintChecks=263006  nbPropagations=39616  nbRevisions=35719  nbUselessRevisions=1113
2.86	     nbAssignments=654  nbFailedAssignments=108  nbBacktracks=130  nbVisitedNodes=875  nbRestartNogoods=16  mapSize=129
2.86	     nbInferences=4  nbTooLargeKeys=0
2.86	       =>  wckTime=0.494  cpuTime=0.45  mem=27M345
2.96	   
2.96	   search
2.96	     run=5  nbConstraintChecks=316924  nbPropagations=55296  nbRevisions=50732  nbUselessRevisions=1576
2.96	     nbAssignments=876  nbFailedAssignments=157  nbBacktracks=206  nbVisitedNodes=1212  nbRestartNogoods=21  mapSize=204
2.96	     nbInferences=21  nbTooLargeKeys=0
2.96	       =>  wckTime=0.593  cpuTime=0.54  mem=28M333
3.08	   
3.09	   search
3.09	     run=6  nbConstraintChecks=371713  nbPropagations=74107  nbRevisions=68885  nbUselessRevisions=2122
3.09	     nbAssignments=1167  nbFailedAssignments=231  nbBacktracks=319  nbVisitedNodes=1673  nbRestartNogoods=23
3.09	     mapSize=316  nbInferences=43  nbTooLargeKeys=0
3.09	       =>  wckTime=0.715  cpuTime=0.66  mem=29M321
3.26	   
3.26	   search
3.26	     run=7  nbConstraintChecks=427815  nbPropagations=96553  nbRevisions=90645  nbUselessRevisions=2754
3.26	     nbAssignments=1568  nbFailedAssignments=338  nbBacktracks=489  nbVisitedNodes=2330  nbRestartNogoods=30
3.26	     mapSize=486  nbInferences=85  nbTooLargeKeys=0
3.26	       =>  wckTime=0.888  cpuTime=0.82  mem=30M309
3.47	   
3.47	   search
3.47	     run=8  nbConstraintChecks=486019  nbPropagations=123417  nbRevisions=116719  nbUselessRevisions=3477
3.47	     nbAssignments=2139  nbFailedAssignments=489  nbBacktracks=745  nbVisitedNodes=3286  nbRestartNogoods=38
3.47	     mapSize=742  nbInferences=168  nbTooLargeKeys=0
3.47	       =>  wckTime=1.099  cpuTime=1.02  mem=32M285
3.77	   
3.77	   search
3.77	     run=9  nbConstraintChecks=547704  nbPropagations=155982  nbRevisions=148244  nbUselessRevisions=4292
3.77	     nbAssignments=2979  nbFailedAssignments=707  nbBacktracks=1129  nbVisitedNodes=4718  nbRestartNogoods=45
3.77	     mapSize=1126  nbInferences=324  nbTooLargeKeys=0
3.77	       =>  wckTime=1.395  cpuTime=1.32  mem=35M248
4.13	   
4.13	   search
4.13	     run=10  nbConstraintChecks=618916  nbPropagations=195574  nbRevisions=186746  nbUselessRevisions=5305
4.13	     nbAssignments=4102  nbFailedAssignments=1072  nbBacktracks=1705  nbVisitedNodes=6684  nbRestartNogoods=50
4.13	     mapSize=1697  nbInferences=437  nbTooLargeKeys=0
4.13	       =>  wckTime=1.765  cpuTime=1.68  mem=38M212
4.61	   
4.61	   search
4.61	     run=11  nbConstraintChecks=774518  nbPropagations=246672  nbRevisions=237580  nbUselessRevisions=7349
4.61	     nbAssignments=5702  nbFailedAssignments=1597  nbBacktracks=2570  nbVisitedNodes=9518  nbRestartNogoods=53
4.61	     mapSize=2486  nbInferences=621  nbTooLargeKeys=0
4.61	       =>  wckTime=2.241  cpuTime=2.15  mem=41M175
5.42	   
5.42	   search
5.42	     run=12  nbConstraintChecks=937035  nbPropagations=315343  nbRevisions=305104  nbUselessRevisions=9988
5.42	     nbAssignments=8537  nbFailedAssignments=2269  nbBacktracks=3868  nbVisitedNodes=14452  nbRestartNogoods=56
5.42	     mapSize=3745  nbInferences=1377  nbTooLargeKeys=0
5.42	       =>  wckTime=3.048  cpuTime=2.96  mem=45M127
7.01	   
7.01	   search
7.01	     run=13  nbConstraintChecks=1119428  nbPropagations=411257  nbRevisions=396802  nbUselessRevisions=13114
7.01	     nbAssignments=13243  nbFailedAssignments=3123  nbBacktracks=5814  nbVisitedNodes=22662  nbRestartNogoods=65
7.01	     mapSize=5663  nbInferences=3173  nbTooLargeKeys=0
7.01	       =>  wckTime=4.644  cpuTime=4.51  mem=34M44
9.65	   
9.65	   search
9.65	     run=14  nbConstraintChecks=1365948  nbPropagations=551276  nbRevisions=526309  nbUselessRevisions=17169
9.65	     nbAssignments=21000  nbFailedAssignments=4203  nbBacktracks=8734  nbVisitedNodes=36229  nbRestartNogoods=79
9.65	     mapSize=8547  nbInferences=6823  nbTooLargeKeys=0
9.65	       =>  wckTime=7.282  cpuTime=7.15  mem=64M882
13.45	   
13.45	   search
13.45	     run=15  nbConstraintChecks=1724168  nbPropagations=754749  nbRevisions=710691  nbUselessRevisions=22659
13.45	     nbAssignments=32270  nbFailedAssignments=5916  nbBacktracks=13113  nbVisitedNodes=56000  nbRestartNogoods=88
13.45	     mapSize=12857  nbInferences=11898  nbTooLargeKeys=0
13.45	       =>  wckTime=11.078  cpuTime=10.9  mem=80M438
19.45	   
19.45	   search
19.45	     run=16  nbConstraintChecks=2214742  nbPropagations=1061008  nbRevisions=981434  nbUselessRevisions=29810
19.45	     nbAssignments=50482  nbFailedAssignments=8243  nbBacktracks=19681  nbVisitedNodes=88042  nbRestartNogoods=100
19.45	     mapSize=19361  nbInferences=21077  nbTooLargeKeys=0
19.45	       =>  wckTime=17.083  cpuTime=16.81  mem=91M637
30.49	   
30.49	   search
30.49	     run=17  nbConstraintChecks=3014380  nbPropagations=1554815  nbRevisions=1404133  nbUselessRevisions=40268
30.49	     nbAssignments=82641  nbFailedAssignments=10655  nbBacktracks=29534  nbVisitedNodes=144784  nbRestartNogoods=122
30.49	     mapSize=29146  nbInferences=40836  nbTooLargeKeys=0
30.49	       =>  wckTime=28.124  cpuTime=27.77  mem=165M695
47.13	   
47.13	   search
47.13	     run=18  nbConstraintChecks=4052938  nbPropagations=2325024  nbRevisions=2047457  nbUselessRevisions=54467
47.13	     nbAssignments=131064  nbFailedAssignments=14084  nbBacktracks=44312  nbVisitedNodes=230145  nbRestartNogoods=138
47.13	     mapSize=43893  nbInferences=70917  nbTooLargeKeys=0
47.13	       =>  wckTime=44.763  cpuTime=44.21  mem=202M957
72.07	   
72.07	   search
72.07	     run=19  nbConstraintChecks=6060456  nbPropagations=3548248  nbRevisions=3059316  nbUselessRevisions=78027
72.07	     nbAssignments=206200  nbFailedAssignments=19258  nbBacktracks=66480  nbVisitedNodes=363247  nbRestartNogoods=162
72.07	     mapSize=65984  nbInferences=118546  nbTooLargeKeys=0
72.07	       =>  wckTime=69.701  cpuTime=68.91  mem=302M764
114.86	   
114.92	   search
114.92	     run=20  nbConstraintChecks=9192389  nbPropagations=5549167  nbRevisions=4688061  nbUselessRevisions=113481
114.92	     nbAssignments=332155  nbFailedAssignments=24734  nbBacktracks=99732  nbVisitedNodes=587214  nbRestartNogoods=177
114.92	     mapSize=99162  nbInferences=205610  nbTooLargeKeys=0
114.92	       =>  wckTime=112.492  cpuTime=111.28  mem=445M993
149.01	   
149.01	   INFO : Stopping hyperNogood (mapSize=131130, nbTooLargekeys=0, mem=600M343)
154.14	   
154.14	   search
154.14	     run=21  nbConstraintChecks=11641587  nbPropagations=8280639  nbRevisions=6920603  nbUselessRevisions=152485
154.14	     nbAssignments=467602  nbFailedAssignments=44437  nbBacktracks=149610  nbVisitedNodes=827784  nbRestartNogoods=204
154.14	       =>  wckTime=151.774  cpuTime=150.23  mem=600M343
174.14	   
174.14	   search
174.14	     run=22  nbConstraintChecks=13429426  nbPropagations=11588779  nbRevisions=9733110  nbUselessRevisions=194386
174.14	     nbAssignments=594268  nbFailedAssignments=96092  nbBacktracks=224428  nbVisitedNodes=1057758  nbRestartNogoods=222
174.14	       =>  wckTime=171.774  cpuTime=170.2  mem=600M343
204.11	   
204.11	   search
204.11	     run=23  nbConstraintChecks=15841219  nbPropagations=15754722  nbRevisions=13406348  nbUselessRevisions=239214
204.11	     nbAssignments=784389  nbFailedAssignments=173794  nbBacktracks=336655  nbVisitedNodes=1403280  nbRestartNogoods=245
204.11	       =>  wckTime=201.741  cpuTime=200.15  mem=600M343
249.15	   
249.15	   search
249.15	     run=24  nbConstraintChecks=19389872  nbPropagations=21204019  nbRevisions=18365710  nbUselessRevisions=286756
249.15	     nbAssignments=1069350  nbFailedAssignments=290224  nbBacktracks=504996  nbVisitedNodes=1921095
249.15	     nbRestartNogoods=275
249.15	       =>  wckTime=246.784  cpuTime=245.14  mem=600M343
314.03	   
314.03	   search
314.03	     run=25  nbConstraintChecks=24579552  nbPropagations=28565689  nbRevisions=25243358  nbUselessRevisions=340047
314.03	     nbAssignments=1495060  nbFailedAssignments=463205  nbBacktracks=757507  nbVisitedNodes=2692760
314.03	     nbRestartNogoods=309
314.03	       =>  wckTime=311.656  cpuTime=309.94  mem=600M343
477.47	   
477.47	   search
477.47	     run=26  nbConstraintChecks=353241972  nbPropagations=43867330  nbRevisions=49486902  nbUselessRevisions=1988570
477.47	     nbAssignments=2140496  nbFailedAssignments=729732  nbBacktracks=1136276  nbVisitedNodes=3823043
477.47	     nbRestartNogoods=350
477.47	       =>  wckTime=475.1  cpuTime=473.22  mem=600M343
634.08	   
634.08	   search
634.08	     run=27  nbConstraintChecks=364123920  nbPropagations=63460695  nbRevisions=78024570  nbUselessRevisions=3639611
634.08	     nbAssignments=3101326  nbFailedAssignments=1122276  nbBacktracks=1704427  nbVisitedNodes=5568961
634.08	     nbRestartNogoods=363
634.08	       =>  wckTime=631.71  cpuTime=629.67  mem=600M343
867.58	   
867.58	   search
867.58	     run=28  nbConstraintChecks=380411599  nbPropagations=89502058  nbRevisions=113022451  nbUselessRevisions=5299151
867.58	     nbAssignments=4544876  nbFailedAssignments=1713466  nbBacktracks=2556653  nbVisitedNodes=8194891
867.58	     nbRestartNogoods=377
867.58	       =>  wckTime=865.21  cpuTime=862.92  mem=600M343
1201.18	   
1201.18	   search
1201.18	     run=29  nbConstraintChecks=405015111  nbPropagations=125219610  nbRevisions=157724250  nbUselessRevisions=6984890
1201.18	     nbAssignments=6710124  nbFailedAssignments=2600161  nbBacktracks=3834993  nbVisitedNodes=12133529
1201.18	     nbRestartNogoods=393
1201.18	       =>  wckTime=1198.806  cpuTime=1196.18  mem=600M343
1703.02	   
1703.02	   search
1703.02	     run=30  nbConstraintChecks=444305144  nbPropagations=175547866  nbRevisions=217055112  nbUselessRevisions=8689063
1703.02	     nbAssignments=9959403  nbFailedAssignments=3931717  nbBacktracks=5752503  nbVisitedNodes=18045920
1703.02	     nbRestartNogoods=415
1703.02	       =>  wckTime=1700.648  cpuTime=1697.44  mem=600M343

Verifier Data (download as text)

ERROR: Unexpected answer ! (SAT/UNSAT expected)
Got answer:

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node7/watcher-237997-1168083381 -o ROOT/results/node7/solver-237997-1168083381 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/237997-1168083381/unknown.xml 

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

/proc/loadavg: 1.07 1.51 1.73 4/93 20068
/proc/meminfo: memFree=1329384/2055920 swapFree=4192812/4192956
[pid=20067] ppid=20065 vsize=172 CPUtime=0
/proc/20067/stat : 20067 (java) R 20065 20067 19888 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 156734107 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 10416932 0 0 4096 0 0 0 0 17 0 0 0
/proc/20067/statm: 43 24 18 14 0 3 0

[startup+0.107198 s]
/proc/loadavg: 1.07 1.51 1.73 4/93 20068
/proc/meminfo: memFree=1329384/2055920 swapFree=4192812/4192956
[pid=20067] ppid=20065 vsize=914988 CPUtime=0.08
/proc/20067/stat : 20067 (java) R 20065 20067 19888 0 -1 0 3062 0 1 0 7 1 0 0 22 0 8 0 156734107 936947712 2808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155166642 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20067/statm: 228747 2808 1450 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.515278 s]
/proc/loadavg: 1.07 1.51 1.73 4/93 20068
/proc/meminfo: memFree=1329384/2055920 swapFree=4192812/4192956
[pid=20067] ppid=20065 vsize=915328 CPUtime=0.49
/proc/20067/stat : 20067 (java) R 20065 20067 19888 0 -1 0 6695 0 1 0 45 4 0 0 25 0 8 0 156734107 937295872 6434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072936459 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20067/statm: 228832 6435 2147 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33632 s]
/proc/loadavg: 1.07 1.51 1.73 3/100 20075
/proc/meminfo: memFree=1267504/2055920 swapFree=4192812/4192956
[pid=20067] ppid=20065 vsize=915628 CPUtime=1.31
/proc/20067/stat : 20067 (java) R 20065 20067 19888 0 -1 0 17859 0 1 0 110 21 0 0 25 0 8 0 156734107 937603072 17597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20067/statm: 228907 17597 2180 14 0 215377 0
[pid=20067/tid=20069] ppid=20065 vsize=915628 CPUtime=0.04
/proc/20067/task/20069/stat : 20069 (java) S 20065 20067 19888 0 -1 64 1245 0 0 0 4 0 0 0 17 0 8 0 156734110 937603072 17597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20070] ppid=20065 vsize=915628 CPUtime=0
/proc/20067/task/20070/stat : 20070 (java) S 20065 20067 19888 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156734111 937603072 17597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20071] ppid=20065 vsize=915632 CPUtime=0
/proc/20067/task/20071/stat : 20071 (java) S 20065 20067 19888 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156734111 937607168 17597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20072] ppid=20065 vsize=915632 CPUtime=0
/proc/20067/task/20072/stat : 20072 (java) S 20065 20067 19888 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156734114 937607168 17597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20073] ppid=20065 vsize=915628 CPUtime=0.17
/proc/20067/task/20073/stat : 20073 (java) S 20065 20067 19888 0 -1 64 423 0 0 0 17 0 0 0 16 0 8 0 156734114 937603072 17597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20074] ppid=20065 vsize=915628 CPUtime=0
/proc/20067/task/20074/stat : 20074 (java) S 20065 20067 19888 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156734114 937603072 17597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20075] ppid=20065 vsize=915632 CPUtime=0
/proc/20067/task/20075/stat : 20075 (java) S 20065 20067 19888 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156734114 937607168 17597 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) 915628

[startup+2.9735 s]
/proc/loadavg: 1.07 1.51 1.73 3/100 20075
/proc/meminfo: memFree=1259440/2055920 swapFree=4192812/4192956
[pid=20067] ppid=20065 vsize=915732 CPUtime=2.94
/proc/20067/stat : 20067 (java) R 20065 20067 19888 0 -1 0 20249 0 1 0 231 63 0 0 25 0 8 0 156734107 937709568 19985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073996527 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20067/statm: 228933 19985 2534 14 0 215403 0
[pid=20067/tid=20069] ppid=20065 vsize=915732 CPUtime=0.15
/proc/20067/task/20069/stat : 20069 (java) S 20065 20067 19888 0 -1 64 3157 0 0 0 14 1 0 0 17 0 8 0 156734110 937709568 19985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20070] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20070/stat : 20070 (java) S 20065 20067 19888 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156734111 937709568 19985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20071] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20071/stat : 20071 (java) S 20065 20067 19888 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156734111 937709568 19985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20072] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20072/stat : 20072 (java) S 20065 20067 19888 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156734114 937709568 19985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20073] ppid=20065 vsize=915732 CPUtime=0.26
/proc/20067/task/20073/stat : 20073 (java) S 20065 20067 19888 0 -1 64 479 0 0 0 26 0 0 0 15 0 8 0 156734114 937709568 19985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20074] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20074/stat : 20074 (java) S 20065 20067 19888 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156734114 937709568 19985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20075] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20075/stat : 20075 (java) S 20065 20067 19888 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156734114 937709568 19985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915732

[startup+6.26684 s]
/proc/loadavg: 1.15 1.52 1.73 3/100 20075
/proc/meminfo: memFree=1259120/2055920 swapFree=4192812/4192956
[pid=20067] ppid=20065 vsize=915732 CPUtime=6.23
/proc/20067/stat : 20067 (java) R 20065 20067 19888 0 -1 0 20268 0 1 0 559 64 0 0 25 0 8 0 156734107 937709568 20001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074014308 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20067/statm: 228933 20001 2534 14 0 215403 0
[pid=20067/tid=20069] ppid=20065 vsize=915732 CPUtime=0.15
/proc/20067/task/20069/stat : 20069 (java) S 20065 20067 19888 0 -1 64 3157 0 0 0 14 1 0 0 16 0 8 0 156734110 937709568 20001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20070] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20070/stat : 20070 (java) S 20065 20067 19888 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156734111 937709568 20001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20071] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20071/stat : 20071 (java) S 20065 20067 19888 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156734111 937709568 20001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20072] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20072/stat : 20072 (java) S 20065 20067 19888 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156734114 937709568 20001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20073] ppid=20065 vsize=915732 CPUtime=0.3
/proc/20067/task/20073/stat : 20073 (java) S 20065 20067 19888 0 -1 64 496 0 0 0 29 1 0 0 15 0 8 0 156734114 937709568 20001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20074] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20074/stat : 20074 (java) S 20065 20067 19888 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156734114 937709568 20001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20075] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20075/stat : 20075 (java) S 20065 20067 19888 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156734114 937709568 20001 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) 915732

[startup+12.7455 s]
/proc/loadavg: 1.22 1.52 1.73 3/100 20075
/proc/meminfo: memFree=1217392/2055920 swapFree=4192812/4192956
[pid=20067] ppid=20065 vsize=915732 CPUtime=12.71
/proc/20067/stat : 20067 (java) R 20065 20067 19888 0 -1 0 30720 0 1 0 1203 68 0 0 25 0 8 0 156734107 937709568 30451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074037950 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20067/statm: 228933 30451 2534 14 0 215403 0
[pid=20067/tid=20069] ppid=20065 vsize=915732 CPUtime=0.24
/proc/20067/task/20069/stat : 20069 (java) S 20065 20067 19888 0 -1 64 13607 0 0 0 19 5 0 0 16 0 8 0 156734110 937709568 30451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20070] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20070/stat : 20070 (java) S 20065 20067 19888 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156734111 937709568 30451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20071] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20071/stat : 20071 (java) S 20065 20067 19888 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156734111 937709568 30451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20072] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20072/stat : 20072 (java) S 20065 20067 19888 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156734114 937709568 30451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20073] ppid=20065 vsize=915732 CPUtime=0.3
/proc/20067/task/20073/stat : 20073 (java) S 20065 20067 19888 0 -1 64 496 0 0 0 29 1 0 0 15 0 8 0 156734114 937709568 30451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20074] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20074/stat : 20074 (java) S 20065 20067 19888 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156734114 937709568 30451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20075] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20075/stat : 20075 (java) S 20065 20067 19888 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156734114 937709568 30451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915732

[startup+25.6199 s]
/proc/loadavg: 1.34 1.54 1.73 3/100 20075
/proc/meminfo: memFree=1161200/2055920 swapFree=4192812/4192956
[pid=20067] ppid=20065 vsize=915732 CPUtime=25.58
/proc/20067/stat : 20067 (java) R 20065 20067 19888 0 -1 0 44786 0 1 0 2485 73 0 0 25 0 8 0 156734107 937709568 44514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074053639 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20067/statm: 228933 44514 2534 14 0 215403 0
[pid=20067/tid=20069] ppid=20065 vsize=915732 CPUtime=0.37
/proc/20067/task/20069/stat : 20069 (java) S 20065 20067 19888 0 -1 64 27670 0 0 0 27 10 0 0 16 0 8 0 156734110 937709568 44514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20070] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20070/stat : 20070 (java) S 20065 20067 19888 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156734111 937709568 44514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20071] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20071/stat : 20071 (java) S 20065 20067 19888 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156734111 937709568 44514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20072] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20072/stat : 20072 (java) S 20065 20067 19888 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156734114 937709568 44514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20073] ppid=20065 vsize=915732 CPUtime=0.3
/proc/20067/task/20073/stat : 20073 (java) S 20065 20067 19888 0 -1 64 496 0 0 0 29 1 0 0 15 0 8 0 156734114 937709568 44514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20074] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20074/stat : 20074 (java) S 20065 20067 19888 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156734114 937709568 44514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20075] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20075/stat : 20075 (java) S 20065 20067 19888 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156734114 937709568 44514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.58
Current children cumulated vsize (KiB) 915732

[startup+51.2406 s]
/proc/loadavg: 1.60 1.58 1.74 3/100 20075
/proc/meminfo: memFree=1069040/2055920 swapFree=4192812/4192956
[pid=20067] ppid=20065 vsize=915732 CPUtime=51.15
/proc/20067/stat : 20067 (java) R 20065 20067 19888 0 -1 0 67799 0 1 0 5033 82 0 0 25 0 8 0 156734107 937709568 67521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074025962 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20067/statm: 228933 67521 2534 14 0 215403 0
[pid=20067/tid=20069] ppid=20065 vsize=915732 CPUtime=0.58
/proc/20067/task/20069/stat : 20069 (java) S 20065 20067 19888 0 -1 64 50677 0 0 0 39 19 0 0 16 0 8 0 156734110 937709568 67521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20070] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20070/stat : 20070 (java) S 20065 20067 19888 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156734111 937709568 67521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20071] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20071/stat : 20071 (java) S 20065 20067 19888 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156734111 937709568 67521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20072] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20072/stat : 20072 (java) S 20065 20067 19888 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156734114 937709568 67521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20073] ppid=20065 vsize=915732 CPUtime=0.3
/proc/20067/task/20073/stat : 20073 (java) S 20065 20067 19888 0 -1 64 496 0 0 0 29 1 0 0 16 0 8 0 156734114 937709568 67521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20074] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20074/stat : 20074 (java) S 20065 20067 19888 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156734114 937709568 67521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20075] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20075/stat : 20075 (java) S 20065 20067 19888 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156734114 937709568 67521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.15
Current children cumulated vsize (KiB) 915732

[startup+102.476 s]
/proc/loadavg: 1.82 1.64 1.75 3/100 20075
/proc/meminfo: memFree=882544/2055920 swapFree=4192812/4192956
[pid=20067] ppid=20065 vsize=915732 CPUtime=102.34
/proc/20067/stat : 20067 (java) R 20065 20067 19888 0 -1 0 114347 0 1 0 10134 100 0 0 25 0 8 0 156734107 937709568 114055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074037867 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20067/statm: 228933 114055 2534 14 0 215403 0
[pid=20067/tid=20069] ppid=20065 vsize=915732 CPUtime=1.04
/proc/20067/task/20069/stat : 20069 (java) S 20065 20067 19888 0 -1 64 97211 0 0 0 68 36 0 0 16 0 8 0 156734110 937709568 114055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20070] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20070/stat : 20070 (java) S 20065 20067 19888 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156734111 937709568 114055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20071] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20071/stat : 20071 (java) S 20065 20067 19888 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156734111 937709568 114055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20072] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20072/stat : 20072 (java) S 20065 20067 19888 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156734114 937709568 114055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20073] ppid=20065 vsize=915732 CPUtime=0.31
/proc/20067/task/20073/stat : 20073 (java) S 20065 20067 19888 0 -1 64 496 0 0 0 30 1 0 0 16 0 8 0 156734114 937709568 114055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20074] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20074/stat : 20074 (java) S 20065 20067 19888 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156734114 937709568 114055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20075] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20075/stat : 20075 (java) S 20065 20067 19888 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156734114 937709568 114055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.34
Current children cumulated vsize (KiB) 915732

[startup+162.558 s]
/proc/loadavg: 1.93 1.71 1.76 3/100 20075
/proc/meminfo: memFree=724272/2055920 swapFree=4192812/4192956
[pid=20067] ppid=20065 vsize=915732 CPUtime=162.37
/proc/20067/stat : 20067 (java) R 20065 20067 19888 0 -1 0 153852 0 1 0 16125 112 0 0 25 0 8 0 156734107 937709568 153548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074014304 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 915732

[startup+1483.56 s]
/proc/loadavg: 2.00 2.00 1.92 3/106 20199
/proc/meminfo: memFree=710656/2055920 swapFree=4192812/4192956
[pid=20067] ppid=20065 vsize=915732 CPUtime=1481.96
/proc/20067/stat : 20067 (java) R 20065 20067 19888 0 -1 0 153852 0 1 0 148077 119 0 0 25 0 8 0 156734107 937709568 153548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074110690 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20067/statm: 228933 153548 2534 14 0 215403 0
[pid=20067/tid=20069] ppid=20065 vsize=915732 CPUtime=1.46
/proc/20067/task/20069/stat : 20069 (java) S 20065 20067 19888 0 -1 64 136704 0 0 0 97 49 0 0 16 0 8 0 156734110 937709568 153548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20070] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20070/stat : 20070 (java) S 20065 20067 19888 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156734111 937709568 153548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20071] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20071/stat : 20071 (java) S 20065 20067 19888 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156734111 937709568 153548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20072] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20072/stat : 20072 (java) S 20065 20067 19888 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156734114 937709568 153548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20073] ppid=20065 vsize=915732 CPUtime=0.31
/proc/20067/task/20073/stat : 20073 (java) S 20065 20067 19888 0 -1 64 496 0 0 0 30 1 0 0 16 0 8 0 156734114 937709568 153548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20074] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20074/stat : 20074 (java) S 20065 20067 19888 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156734114 937709568 153548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20075] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20075/stat : 20075 (java) S 20065 20067 19888 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156734114 937709568 153548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 915732

[startup+1543.6 s]
/proc/loadavg: 2.03 2.01 1.93 3/106 20291
/proc/meminfo: memFree=710656/2055920 swapFree=4192812/4192956
[pid=20067] ppid=20065 vsize=915732 CPUtime=1541.91
/proc/20067/stat : 20067 (java) R 20065 20067 19888 0 -1 0 153852 0 1 0 154068 123 0 0 25 0 8 0 156734107 937709568 153548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074025962 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20067/statm: 228933 153548 2534 14 0 215403 0
[pid=20067/tid=20069] ppid=20065 vsize=915732 CPUtime=1.46
/proc/20067/task/20069/stat : 20069 (java) S 20065 20067 19888 0 -1 64 136704 0 0 0 97 49 0 0 16 0 8 0 156734110 937709568 153548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20070] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20070/stat : 20070 (java) S 20065 20067 19888 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156734111 937709568 153548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20071] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20071/stat : 20071 (java) S 20065 20067 19888 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156734111 937709568 153548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20072] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20072/stat : 20072 (java) S 20065 20067 19888 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156734114 937709568 153548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20073] ppid=20065 vsize=915732 CPUtime=0.31
/proc/20067/task/20073/stat : 20073 (java) S 20065 20067 19888 0 -1 64 496 0 0 0 30 1 0 0 16 0 8 0 156734114 937709568 153548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20074] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20074/stat : 20074 (java) S 20065 20067 19888 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156734114 937709568 153548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20075] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20075/stat : 20075 (java) S 20065 20067 19888 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156734114 937709568 153548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 915732

[startup+1603.62 s]
/proc/loadavg: 2.01 2.01 1.93 3/100 20331
/proc/meminfo: memFree=711600/2055920 swapFree=4192812/4192956
[pid=20067] ppid=20065 vsize=915732 CPUtime=1601.86
/proc/20067/stat : 20067 (java) R 20065 20067 19888 0 -1 0 153852 0 1 0 160061 125 0 0 25 0 8 0 156734107 937709568 153548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074025915 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20067/statm: 228933 153548 2534 14 0 215403 0
[pid=20067/tid=20069] ppid=20065 vsize=915732 CPUtime=1.46
/proc/20067/task/20069/stat : 20069 (java) S 20065 20067 19888 0 -1 64 136704 0 0 0 97 49 0 0 16 0 8 0 156734110 937709568 153548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20070] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20070/stat : 20070 (java) S 20065 20067 19888 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156734111 937709568 153548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20071] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20071/stat : 20071 (java) S 20065 20067 19888 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156734111 937709568 153548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20072] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20072/stat : 20072 (java) S 20065 20067 19888 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156734114 937709568 153548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20073] ppid=20065 vsize=915732 CPUtime=0.31
/proc/20067/task/20073/stat : 20073 (java) S 20065 20067 19888 0 -1 64 496 0 0 0 30 1 0 0 16 0 8 0 156734114 937709568 153548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20074] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20074/stat : 20074 (java) S 20065 20067 19888 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156734114 937709568 153548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20075] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20075/stat : 20075 (java) S 20065 20067 19888 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156734114 937709568 153548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 915732

[startup+1663.64 s]
/proc/loadavg: 2.00 2.00 1.93 3/100 20331
/proc/meminfo: memFree=711600/2055920 swapFree=4192812/4192956
[pid=20067] ppid=20065 vsize=915732 CPUtime=1661.8
/proc/20067/stat : 20067 (java) R 20065 20067 19888 0 -1 0 153852 0 1 0 166055 125 0 0 25 0 8 0 156734107 937709568 153548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074023284 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20067/statm: 228933 153548 2534 14 0 215403 0
[pid=20067/tid=20069] ppid=20065 vsize=915732 CPUtime=1.46
/proc/20067/task/20069/stat : 20069 (java) S 20065 20067 19888 0 -1 64 136704 0 0 0 97 49 0 0 16 0 8 0 156734110 937709568 153548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20070] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20070/stat : 20070 (java) S 20065 20067 19888 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156734111 937709568 153548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20071] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20071/stat : 20071 (java) S 20065 20067 19888 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156734111 937709568 153548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20072] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20072/stat : 20072 (java) S 20065 20067 19888 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156734114 937709568 153548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20073] ppid=20065 vsize=915732 CPUtime=0.31
/proc/20067/task/20073/stat : 20073 (java) S 20065 20067 19888 0 -1 64 496 0 0 0 30 1 0 0 16 0 8 0 156734114 937709568 153548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20074] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20074/stat : 20074 (java) S 20065 20067 19888 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156734114 937709568 153548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20075] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20075/stat : 20075 (java) S 20065 20067 19888 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156734114 937709568 153548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 915732

[startup+1723.65 s]
/proc/loadavg: 2.00 2.00 1.93 3/100 20331
/proc/meminfo: memFree=711600/2055920 swapFree=4192812/4192956
[pid=20067] ppid=20065 vsize=915732 CPUtime=1721.76
/proc/20067/stat : 20067 (java) R 20065 20067 19888 0 -1 0 153853 0 1 0 172051 125 0 0 25 0 8 0 156734107 937709568 153549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074023988 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20067/statm: 228933 153549 2534 14 0 215403 0
[pid=20067/tid=20069] ppid=20065 vsize=915732 CPUtime=1.46
/proc/20067/task/20069/stat : 20069 (java) S 20065 20067 19888 0 -1 64 136704 0 0 0 97 49 0 0 16 0 8 0 156734110 937709568 153549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20070] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20070/stat : 20070 (java) S 20065 20067 19888 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156734111 937709568 153549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20071] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20071/stat : 20071 (java) S 20065 20067 19888 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156734111 937709568 153549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20072] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20072/stat : 20072 (java) S 20065 20067 19888 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156734114 937709568 153549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20073] ppid=20065 vsize=915732 CPUtime=0.31
/proc/20067/task/20073/stat : 20073 (java) S 20065 20067 19888 0 -1 64 497 0 0 0 30 1 0 0 16 0 8 0 156734114 937709568 153549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20074] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20074/stat : 20074 (java) S 20065 20067 19888 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156734114 937709568 153549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20075] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20075/stat : 20075 (java) S 20065 20067 19888 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156734114 937709568 153549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 915732

[startup+1783.66 s]
/proc/loadavg: 2.04 2.01 1.93 3/100 20331
/proc/meminfo: memFree=711600/2055920 swapFree=4192812/4192956
[pid=20067] ppid=20065 vsize=915732 CPUtime=1781.71
/proc/20067/stat : 20067 (java) R 20065 20067 19888 0 -1 0 153853 0 1 0 178046 125 0 0 25 0 8 0 156734107 937709568 153549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073992167 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20067/statm: 228933 153549 2534 14 0 215403 0
[pid=20067/tid=20069] ppid=20065 vsize=915732 CPUtime=1.46
/proc/20067/task/20069/stat : 20069 (java) S 20065 20067 19888 0 -1 64 136704 0 0 0 97 49 0 0 16 0 8 0 156734110 937709568 153549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20070] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20070/stat : 20070 (java) S 20065 20067 19888 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156734111 937709568 153549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20071] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20071/stat : 20071 (java) S 20065 20067 19888 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156734111 937709568 153549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20072] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20072/stat : 20072 (java) S 20065 20067 19888 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156734114 937709568 153549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20073] ppid=20065 vsize=915732 CPUtime=0.31
/proc/20067/task/20073/stat : 20073 (java) S 20065 20067 19888 0 -1 64 497 0 0 0 30 1 0 0 16 0 8 0 156734114 937709568 153549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20074] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20074/stat : 20074 (java) S 20065 20067 19888 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156734114 937709568 153549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20075] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20075/stat : 20075 (java) S 20065 20067 19888 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156734114 937709568 153549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 915732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.99 s]
/proc/loadavg: 2.03 2.01 1.93 3/100 20331
/proc/meminfo: memFree=711600/2055920 swapFree=4192812/4192956
[pid=20067] ppid=20065 vsize=915732 CPUtime=1800.02
/proc/20067/stat : 20067 (java) R 20065 20067 19888 0 -1 0 153853 0 1 0 179876 126 0 0 25 0 8 0 156734107 937709568 153549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074014283 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20067/statm: 228933 153549 2534 14 0 215403 0
[pid=20067/tid=20069] ppid=20065 vsize=915732 CPUtime=1.46
/proc/20067/task/20069/stat : 20069 (java) S 20065 20067 19888 0 -1 64 136704 0 0 0 97 49 0 0 16 0 8 0 156734110 937709568 153549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20070] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20070/stat : 20070 (java) S 20065 20067 19888 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156734111 937709568 153549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20071] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20071/stat : 20071 (java) S 20065 20067 19888 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156734111 937709568 153549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20072] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20072/stat : 20072 (java) S 20065 20067 19888 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156734114 937709568 153549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20073] ppid=20065 vsize=915732 CPUtime=0.31
/proc/20067/task/20073/stat : 20073 (java) S 20065 20067 19888 0 -1 64 497 0 0 0 30 1 0 0 16 0 8 0 156734114 937709568 153549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20074] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20074/stat : 20074 (java) S 20065 20067 19888 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156734114 937709568 153549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20067/tid=20075] ppid=20065 vsize=915732 CPUtime=0
/proc/20067/task/20075/stat : 20075 (java) S 20065 20067 19888 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156734114 937709568 153549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 915732

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

Child status: 143
Real time (s): 1802.11
CPU time (s): 1800.14
CPU user time (s): 1798.79
CPU system time (s): 1.35079
CPU usage (%): 99.8906
Max. virtual memory (cumulated for all children) (KiB): 915764

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.79
system time used= 1.35079
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153870
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= 38185
involuntary context switches= 70644

runsolver used 2.13967 s user time and 5.85311 s system time

The end

Launcher Data (download as text)

Begin job on node7 on Sat Jan  6 11:36:24 UTC 2007


IDJOB= 237997
IDBENCH= 6976
FILE ID= node7/237997-1168083381

PBS_JOBID= 3476263

Free space on /tmp= 66545 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  d19752845e2bb544181045abea63b2d0

RANDOM SEED= 45807045

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.220
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.220
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1329864 kB
Buffers:         79176 kB
Cached:         438100 kB
SwapCached:          0 kB
Active:         364148 kB
Inactive:       258632 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1329864 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3224 kB
Writeback:           0 kB
Mapped:         133576 kB
Slab:            87712 kB
Committed_AS:  5105328 kB
PageTables:       2504 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= 66544 MiB



End job on node7 on Sat Jan  6 12:06:32 UTC 2007