Trace number 237517

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 1806.27

General information on the benchmark

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

Solver Data (download as text)

0.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=mac.xml
0.36	   
0.36	   instance
0.36	     name=/tmp/evaluation/237517-1168083326/unknown.xml
0.39	   
0.39	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.52	     nbVariables=784  nbDomainTypes=1  minDomainSize=28  maxDomainSize=28
0.52	       =>  wckTime=0.188  cpuTime=0.14  mem=8M838
0.52	   
0.52	   predicates being loaded...
0.52	   
0.52	   constraints being loaded...
1.96	     nbConstraints=10611  nbConvertedConstraints=10611  nbConvertConstraintsChecks=3136  nbExtensionStructures=4
1.96	     nbSharedExtensionStructures=10607  nbConflictsStructures=4  nbSharedConflictsStructures=10607
1.96	     nbSharedBinaryRepresentations=167  maxDegree=28  maxArity=2
1.96	       =>  wckTime=1.632  cpuTime=1.41  mem=23M315
2.06	   
2.06	   solver IterativeSystematicSolver being built... 
2.28	       =>  wckTime=1.953  cpuTime=1.58  mem=23M545
2.34	   
2.34	   preprocessing
2.34	     nbConstraintChecks=0  nbPropagations=784  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
2.34	     detectedInconsistency=no
2.34	       =>  wckTime=0.049  cpuTime=0.04  mem=23M545
2.47	   
2.47	   search
2.47	     run=0  nbConstraintChecks=42278  nbPropagations=2760  nbRevisions=2008  nbUselessRevisions=65  nbAssignments=96
2.47	     nbFailedAssignments=10  nbBacktracks=10  nbVisitedNodes=117  nbRestartNogoods=0  mapSize=10  nbInferences=0
2.47	     nbTooLargeKeys=0
2.47	       =>  wckTime=0.183  cpuTime=0.15  mem=23M545
2.52	   
2.52	   search
2.52	     run=1  nbConstraintChecks=84786  nbPropagations=7540  nbRevisions=6079  nbUselessRevisions=203  nbAssignments=202
2.52	     nbFailedAssignments=24  nbBacktracks=25  nbVisitedNodes=251  nbRestartNogoods=4  mapSize=25  nbInferences=0
2.52	     nbTooLargeKeys=0
2.52	       =>  wckTime=0.239  cpuTime=0.2  mem=24M540
2.58	   
2.58	   search
2.58	     run=2  nbConstraintChecks=127509  nbPropagations=14405  nbRevisions=12286  nbUselessRevisions=418
2.58	     nbAssignments=321  nbFailedAssignments=44  nbBacktracks=47  nbVisitedNodes=410  nbRestartNogoods=7  mapSize=47
2.58	     nbInferences=0  nbTooLargeKeys=0
2.58	       =>  wckTime=0.297  cpuTime=0.26  mem=24M540
2.64	   
2.64	   search
2.64	     run=3  nbConstraintChecks=170526  nbPropagations=23437  nbRevisions=20709  nbUselessRevisions=710
2.64	     nbAssignments=459  nbFailedAssignments=71  nbBacktracks=80  nbVisitedNodes=603  nbRestartNogoods=12  mapSize=80
2.64	     nbInferences=1  nbTooLargeKeys=0
2.64	       =>  wckTime=0.359  cpuTime=0.32  mem=24M540
2.71	   
2.71	   search
2.71	     run=4  nbConstraintChecks=213914  nbPropagations=34770  nbRevisions=31478  nbUselessRevisions=1081
2.72	     nbAssignments=627  nbFailedAssignments=108  nbBacktracks=131  nbVisitedNodes=850  nbRestartNogoods=16  mapSize=131
2.72	     nbInferences=6  nbTooLargeKeys=0
2.72	       =>  wckTime=0.43  cpuTime=0.39  mem=25M534
2.81	   
2.81	   search
2.81	     run=5  nbConstraintChecks=257991  nbPropagations=48633  nbRevisions=44798  nbUselessRevisions=1531
2.81	     nbAssignments=844  nbFailedAssignments=157  nbBacktracks=208  nbVisitedNodes=1182  nbRestartNogoods=20  mapSize=206
2.81	     nbInferences=23  nbTooLargeKeys=0
2.81	       =>  wckTime=0.52  cpuTime=0.48  mem=25M534
2.91	   
2.91	   search
2.91	     run=6  nbConstraintChecks=302904  nbPropagations=65330  nbRevisions=60964  nbUselessRevisions=2063
2.91	     nbAssignments=1128  nbFailedAssignments=230  nbBacktracks=321  nbVisitedNodes=1634  nbRestartNogoods=22
2.91	     mapSize=317  nbInferences=45  nbTooLargeKeys=0
2.91	       =>  wckTime=0.629  cpuTime=0.58  mem=26M529
3.07	   
3.07	   search
3.07	     run=7  nbConstraintChecks=349126  nbPropagations=85365  nbRevisions=80443  nbUselessRevisions=2680
3.07	     nbAssignments=1522  nbFailedAssignments=336  nbBacktracks=491  nbVisitedNodes=2282  nbRestartNogoods=28
3.07	     mapSize=486  nbInferences=87  nbTooLargeKeys=0
3.07	       =>  wckTime=0.787  cpuTime=0.72  mem=27M524
3.26	   
3.26	   search
3.26	     run=8  nbConstraintChecks=397469  nbPropagations=109533  nbRevisions=103953  nbUselessRevisions=3386
3.26	     nbAssignments=2087  nbFailedAssignments=487  nbBacktracks=747  nbVisitedNodes=3232  nbRestartNogoods=35
3.26	     mapSize=742  nbInferences=170  nbTooLargeKeys=0
3.26	       =>  wckTime=0.977  cpuTime=0.91  mem=29M513
3.53	   
3.53	   search
3.53	     run=9  nbConstraintChecks=449665  nbPropagations=139018  nbRevisions=132590  nbUselessRevisions=4191
3.53	     nbAssignments=2899  nbFailedAssignments=710  nbBacktracks=1133  nbVisitedNodes=4623  nbRestartNogoods=42
3.53	     mapSize=1124  nbInferences=303  nbTooLargeKeys=0
3.53	       =>  wckTime=1.248  cpuTime=1.16  mem=31M502
3.84	   
3.84	   search
3.84	     run=10  nbConstraintChecks=545309  nbPropagations=176196  nbRevisions=169200  nbUselessRevisions=5318
3.84	     nbAssignments=3958  nbFailedAssignments=1088  nbBacktracks=1712  nbVisitedNodes=6468  nbRestartNogoods=47
3.84	     mapSize=1665  nbInferences=333  nbTooLargeKeys=0
3.84	       =>  wckTime=1.557  cpuTime=1.46  mem=33M492
4.30	   
4.30	   search
4.30	     run=11  nbConstraintChecks=631471  nbPropagations=224324  nbRevisions=216140  nbUselessRevisions=6922
4.30	     nbAssignments=5836  nbFailedAssignments=1512  nbBacktracks=2576  nbVisitedNodes=9759  nbRestartNogoods=49
4.30	     mapSize=2494  nbInferences=898  nbTooLargeKeys=0
4.30	       =>  wckTime=2.012  cpuTime=1.91  mem=34M486
5.06	   
5.06	   search
5.06	     run=12  nbConstraintChecks=773078  nbPropagations=289703  nbRevisions=279348  nbUselessRevisions=9128
5.06	     nbAssignments=8699  nbFailedAssignments=2166  nbBacktracks=3873  nbVisitedNodes=14738  nbRestartNogoods=60
5.06	     mapSize=3756  nbInferences=1707  nbTooLargeKeys=0
5.06	       =>  wckTime=2.779  cpuTime=2.67  mem=38M465
6.49	   
6.49	   search
6.49	     run=13  nbConstraintChecks=932931  nbPropagations=381805  nbRevisions=366139  nbUselessRevisions=11811
6.49	     nbAssignments=13419  nbFailedAssignments=3010  nbBacktracks=5819  nbVisitedNodes=22974  nbRestartNogoods=69
6.49	     mapSize=5675  nbInferences=3535  nbTooLargeKeys=0
6.49	       =>  wckTime=4.204  cpuTime=4.08  mem=53M385
9.11	   
9.11	   search
9.11	     run=14  nbConstraintChecks=1154423  nbPropagations=519694  nbRevisions=491233  nbUselessRevisions=15173
9.11	     nbAssignments=21527  nbFailedAssignments=3997  nbBacktracks=8738  nbVisitedNodes=37158  nbRestartNogoods=85
9.11	     mapSize=8567  nbInferences=7637  nbTooLargeKeys=0
9.11	       =>  wckTime=6.827  cpuTime=6.65  mem=53M793
12.31	   
12.31	   search
12.31	     run=15  nbConstraintChecks=1403462  nbPropagations=713436  nbRevisions=664259  nbUselessRevisions=19248
12.31	     nbAssignments=32181  nbFailedAssignments=5842  nbBacktracks=13116  nbVisitedNodes=55844  nbRestartNogoods=95
12.31	     mapSize=12905  nbInferences=11979  nbTooLargeKeys=0
12.31	       =>  wckTime=10.029  cpuTime=9.78  mem=58M876
18.30	   
18.30	   search
18.30	     run=16  nbConstraintChecks=1891648  nbPropagations=1015831  nbRevisions=926346  nbUselessRevisions=24957
18.30	     nbAssignments=51432  nbFailedAssignments=7772  nbBacktracks=19685  nbVisitedNodes=89580  nbRestartNogoods=101
18.30	     mapSize=19403  nbInferences=22604  nbTooLargeKeys=0
18.30	       =>  wckTime=16.013  cpuTime=15.65  mem=97M642
28.62	   
28.62	   search
28.62	     run=17  nbConstraintChecks=2680091  nbPropagations=1505989  nbRevisions=1340367  nbUselessRevisions=33981
28.62	     nbAssignments=83664  nbFailedAssignments=10158  nbBacktracks=29538  nbVisitedNodes=146451  nbRestartNogoods=123
28.62	     mapSize=29188  nbInferences=42471  nbTooLargeKeys=0
28.62	       =>  wckTime=26.332  cpuTime=25.75  mem=119M236
44.00	   
44.00	   search
44.00	     run=18  nbConstraintChecks=3755449  nbPropagations=2273130  nbRevisions=1976803  nbUselessRevisions=47688
44.00	     nbAssignments=131987  nbFailedAssignments=13591  nbBacktracks=44316  nbVisitedNodes=231623  nbRestartNogoods=141
44.00	     mapSize=43895  nbInferences=72458  nbTooLargeKeys=0
44.00	       =>  wckTime=41.712  cpuTime=40.88  mem=197M8
69.44	   
69.44	   search
69.44	     run=19  nbConstraintChecks=5752564  nbPropagations=3533132  nbRevisions=3007025  nbUselessRevisions=69989
69.44	     nbAssignments=212882  nbFailedAssignments=17695  nbBacktracks=66484  nbVisitedNodes=375192  nbRestartNogoods=168
69.44	     mapSize=65990  nbInferences=126928  nbTooLargeKeys=0
69.44	       =>  wckTime=67.152  cpuTime=65.85  mem=283M90
109.26	   
109.26	   search
109.26	     run=20  nbConstraintChecks=8904887  nbPropagations=5573619  nbRevisions=4656148  nbUselessRevisions=104157
109.26	     nbAssignments=339112  nbFailedAssignments=23087  nbBacktracks=99737  nbVisitedNodes=599639  nbRestartNogoods=188
109.26	     mapSize=99148  nbInferences=214362  nbTooLargeKeys=0
109.26	       =>  wckTime=106.975  cpuTime=105.0  mem=421M70
158.26	   
158.26	   search
158.26	     run=21  nbConstraintChecks=17549600  nbPropagations=8773968  nbRevisions=7325745  nbUselessRevisions=197770
158.26	     nbAssignments=507383  nbFailedAssignments=35417  nbBacktracks=149615  nbVisitedNodes=898027  nbRestartNogoods=218
158.26	     mapSize=148867  nbInferences=320252  nbTooLargeKeys=0
158.26	       =>  wckTime=155.978  cpuTime=153.16  mem=545M195
172.19	   
172.19	   INFO : Stopping hyperNogood (mapSize=163152, nbTooLargekeys=0, mem=600M370)
187.03	   
187.03	   search
187.03	     run=22  nbConstraintChecks=19906959  nbPropagations=12700555  nbRevisions=10751682  nbUselessRevisions=378138
187.03	     nbAssignments=656132  nbFailedAssignments=80078  nbBacktracks=224433  nbVisitedNodes=1165184  nbRestartNogoods=234
187.03	       =>  wckTime=184.741  cpuTime=181.55  mem=600M370
218.79	   
218.79	   search
218.79	     run=23  nbConstraintChecks=28591529  nbPropagations=17688770  nbRevisions=15444762  nbUselessRevisions=675449
218.79	     nbAssignments=848609  nbFailedAssignments=160202  nbBacktracks=336660  nbVisitedNodes=1516390  nbRestartNogoods=268
218.79	       =>  wckTime=216.508  cpuTime=213.06  mem=600M370
259.47	   
259.47	   search
259.47	     run=24  nbConstraintChecks=33597320  nbPropagations=23976641  nbRevisions=21491731  nbUselessRevisions=979429
259.47	     nbAssignments=1133658  nbFailedAssignments=276703  nbBacktracks=505002  nbVisitedNodes=2034318
259.47	     nbRestartNogoods=285
259.47	       =>  wckTime=257.185  cpuTime=253.42  mem=600M370
320.09	   
320.09	   search
320.09	     run=25  nbConstraintChecks=40623033  nbPropagations=32210600  nbRevisions=29547005  nbUselessRevisions=1296607
320.09	     nbAssignments=1559454  nbFailedAssignments=449783  nbBacktracks=757513  nbVisitedNodes=2805992
320.09	     nbRestartNogoods=319
320.09	       =>  wckTime=317.801  cpuTime=313.56  mem=600M370
411.91	   
411.91	   search
411.91	     run=26  nbConstraintChecks=48279247  nbPropagations=43317239  nbRevisions=40499728  nbUselessRevisions=1638569
411.91	     nbAssignments=2199015  nbFailedAssignments=710386  nbBacktracks=1136280  nbVisitedNodes=3966758
411.91	     nbRestartNogoods=356
411.91	       =>  wckTime=409.626  cpuTime=404.64  mem=600M370
546.97	   
546.97	   search
546.97	     run=27  nbConstraintChecks=63227126  nbPropagations=58755601  nbRevisions=55934785  nbUselessRevisions=1996716
546.97	     nbAssignments=3159632  nbFailedAssignments=1102623  nbBacktracks=1704431  nbVisitedNodes=5711582
546.97	     nbRestartNogoods=381
546.97	       =>  wckTime=544.687  cpuTime=538.63  mem=600M370
729.82	   
729.82	   search
729.82	     run=28  nbConstraintChecks=79866151  nbPropagations=80648930  nbRevisions=77834560  nbUselessRevisions=2363917
729.82	     nbAssignments=4602118  nbFailedAssignments=1692656  nbBacktracks=2556657  nbVisitedNodes=8334114
729.82	     nbRestartNogoods=419
729.82	       =>  wckTime=727.54  cpuTime=721.15  mem=600M370
1005.62	   
1005.62	   search
1005.62	     run=29  nbConstraintChecks=104577701  nbPropagations=112221515  nbRevisions=109422430  nbUselessRevisions=2739475
1005.62	     nbAssignments=6767068  nbFailedAssignments=2579011  nbBacktracks=3834997  nbVisitedNodes=12271748
1005.62	     nbRestartNogoods=449
1005.62	       =>  wckTime=1003.334  cpuTime=996.65  mem=600M370
1398.58	   
1398.58	   search
1398.58	     run=30  nbConstraintChecks=142344953  nbPropagations=158323064  nbRevisions=155575087  nbUselessRevisions=3132320
1398.58	     nbAssignments=10012712  nbFailedAssignments=3906891  nbBacktracks=5752507  nbVisitedNodes=18172894
1398.58	     nbRestartNogoods=487
1398.58	       =>  wckTime=1396.292  cpuTime=1389.21  mem=600M370

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/node62/watcher-237517-1168083326 -o ROOT/results/node62/solver-237517-1168083326 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/237517-1168083326/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.26 1.75 1.74 4/80 5950
/proc/meminfo: memFree=1068568/2055920 swapFree=4192812/4192956
[pid=5949] ppid=5947 vsize=18540 CPUtime=0
/proc/5949/stat : 5949 (runsolver) R 5947 5949 5508 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 156731833 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 236437695783 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/5949/statm: 4635 279 244 17 0 2626 0

[startup+0.107925 s]
/proc/loadavg: 1.26 1.75 1.74 4/80 5950
/proc/meminfo: memFree=1068568/2055920 swapFree=4192812/4192956
[pid=5949] ppid=5947 vsize=913068 CPUtime=0.08
/proc/5949/stat : 5949 (java) S 5947 5949 5508 0 -1 0 2848 0 1 0 7 1 0 0 18 0 8 0 156731833 934981632 2594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5949/statm: 228267 2594 1395 14 0 215168 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913068

[startup+0.519006 s]
/proc/loadavg: 1.26 1.75 1.74 4/80 5950
/proc/meminfo: memFree=1068568/2055920 swapFree=4192812/4192956
[pid=5949] ppid=5947 vsize=915328 CPUtime=0.48
/proc/5949/stat : 5949 (java) R 5947 5949 5508 0 -1 0 6475 0 1 0 44 4 0 0 18 0 8 0 156731833 937295872 6214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 8095981 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5949/statm: 228832 6214 2139 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.34517 s]
/proc/loadavg: 1.26 1.75 1.74 3/87 5957
/proc/meminfo: memFree=1012896/2055920 swapFree=4192812/4192956
[pid=5949] ppid=5947 vsize=915632 CPUtime=1.3
/proc/5949/stat : 5949 (java) R 5947 5949 5508 0 -1 0 17953 0 1 0 110 20 0 0 24 0 8 0 156731833 937607168 17690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5949/statm: 228908 17690 2181 14 0 215378 0
[pid=5949/tid=5951] ppid=5947 vsize=915632 CPUtime=0.05
/proc/5949/task/5951/stat : 5951 (java) S 5947 5949 5508 0 -1 64 1338 0 0 0 5 0 0 0 16 0 8 0 156731837 937607168 17690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5952] ppid=5947 vsize=915632 CPUtime=0
/proc/5949/task/5952/stat : 5952 (java) S 5947 5949 5508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156731838 937607168 17690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5953] ppid=5947 vsize=915632 CPUtime=0
/proc/5949/task/5953/stat : 5953 (java) S 5947 5949 5508 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156731838 937607168 17690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5954] ppid=5947 vsize=915632 CPUtime=0
/proc/5949/task/5954/stat : 5954 (java) S 5947 5949 5508 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156731842 937607168 17690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5955] ppid=5947 vsize=915632 CPUtime=0.18
/proc/5949/task/5955/stat : 5955 (java) S 5947 5949 5508 0 -1 64 423 0 0 0 18 0 0 0 16 0 8 0 156731842 937607168 17690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5956] ppid=5947 vsize=915632 CPUtime=0
/proc/5949/task/5956/stat : 5956 (java) S 5947 5949 5508 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156731842 937607168 17690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5957] ppid=5947 vsize=915632 CPUtime=0
/proc/5949/task/5957/stat : 5957 (java) S 5947 5949 5508 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156731842 937607168 17690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915632

[startup+2.98349 s]
/proc/loadavg: 1.32 1.76 1.74 3/87 5957
/proc/meminfo: memFree=999520/2055920 swapFree=4192812/4192956
[pid=5949] ppid=5947 vsize=915720 CPUtime=2.92
/proc/5949/stat : 5949 (java) R 5947 5949 5508 0 -1 0 20007 0 1 0 239 53 0 0 25 0 8 0 156731833 937697280 19743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074025581 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5949/statm: 228930 19743 2535 14 0 215400 0
[pid=5949/tid=5951] ppid=5947 vsize=915720 CPUtime=0.14
/proc/5949/task/5951/stat : 5951 (java) S 5947 5949 5508 0 -1 64 2908 0 0 0 14 0 0 0 16 0 8 0 156731837 937697280 19743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5952] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5952/stat : 5952 (java) S 5947 5949 5508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156731838 937697280 19743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5953] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5953/stat : 5953 (java) S 5947 5949 5508 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156731838 937697280 19743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5954] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5954/stat : 5954 (java) S 5947 5949 5508 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156731842 937697280 19743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5955] ppid=5947 vsize=915720 CPUtime=0.29
/proc/5949/task/5955/stat : 5955 (java) S 5947 5949 5508 0 -1 64 484 0 0 0 28 1 0 0 16 0 8 0 156731842 937697280 19743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5956] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5956/stat : 5956 (java) S 5947 5949 5508 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156731842 937697280 19743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5957] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5957/stat : 5957 (java) S 5947 5949 5508 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156731842 937697280 19743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915720

[startup+6.28314 s]
/proc/loadavg: 1.32 1.76 1.74 3/87 5957
/proc/meminfo: memFree=999200/2055920 swapFree=4192812/4192956
[pid=5949] ppid=5947 vsize=915720 CPUtime=6.19
/proc/5949/stat : 5949 (java) R 5947 5949 5508 0 -1 0 20021 0 1 0 566 53 0 0 25 0 8 0 156731833 937697280 19754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5949/statm: 228930 19754 2535 14 0 215400 0
[pid=5949/tid=5951] ppid=5947 vsize=915720 CPUtime=0.14
/proc/5949/task/5951/stat : 5951 (java) S 5947 5949 5508 0 -1 64 2908 0 0 0 14 0 0 0 16 0 8 0 156731837 937697280 19754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5952] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5952/stat : 5952 (java) S 5947 5949 5508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156731838 937697280 19754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5953] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5953/stat : 5953 (java) S 5947 5949 5508 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156731838 937697280 19754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5954] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5954/stat : 5954 (java) S 5947 5949 5508 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156731842 937697280 19754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5955] ppid=5947 vsize=915720 CPUtime=0.32
/proc/5949/task/5955/stat : 5955 (java) S 5947 5949 5508 0 -1 64 495 0 0 0 31 1 0 0 16 0 8 0 156731842 937697280 19754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5956] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5956/stat : 5956 (java) S 5947 5949 5508 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156731842 937697280 19754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5957] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5957/stat : 5957 (java) S 5947 5949 5508 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156731842 937697280 19754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915720

[startup+12.7594 s]
/proc/loadavg: 1.42 1.76 1.74 3/87 5957
/proc/meminfo: memFree=958944/2055920 swapFree=4192812/4192956
[pid=5949] ppid=5947 vsize=915720 CPUtime=12.6
/proc/5949/stat : 5949 (java) R 5947 5949 5508 0 -1 0 30101 0 1 0 1204 56 0 0 25 0 8 0 156731833 937697280 29832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918517 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5949/statm: 228930 29832 2535 14 0 215400 0
[pid=5949/tid=5951] ppid=5947 vsize=915720 CPUtime=0.23
/proc/5949/task/5951/stat : 5951 (java) S 5947 5949 5508 0 -1 64 12986 0 0 0 19 4 0 0 16 0 8 0 156731837 937697280 29832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5952] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5952/stat : 5952 (java) S 5947 5949 5508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156731838 937697280 29832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5953] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5953/stat : 5953 (java) S 5947 5949 5508 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156731838 937697280 29832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5954] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5954/stat : 5954 (java) S 5947 5949 5508 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156731842 937697280 29832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5955] ppid=5947 vsize=915720 CPUtime=0.32
/proc/5949/task/5955/stat : 5955 (java) S 5947 5949 5508 0 -1 64 495 0 0 0 31 1 0 0 16 0 8 0 156731842 937697280 29832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5956] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5956/stat : 5956 (java) S 5947 5949 5508 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156731842 937697280 29832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5957] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5957/stat : 5957 (java) S 5947 5949 5508 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156731842 937697280 29832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915720

[startup+25.615 s]
/proc/loadavg: 1.51 1.77 1.74 3/87 5957
/proc/meminfo: memFree=903840/2055920 swapFree=4192812/4192956
[pid=5949] ppid=5947 vsize=915720 CPUtime=25.35
/proc/5949/stat : 5949 (java) R 5947 5949 5508 0 -1 0 43897 0 1 0 2472 63 0 0 25 0 8 0 156731833 937697280 43625 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074025578 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5949/statm: 228930 43625 2535 14 0 215400 0
[pid=5949/tid=5951] ppid=5947 vsize=915720 CPUtime=0.37
/proc/5949/task/5951/stat : 5951 (java) S 5947 5949 5508 0 -1 64 26779 0 0 0 27 10 0 0 16 0 8 0 156731837 937697280 43625 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5952] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5952/stat : 5952 (java) S 5947 5949 5508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156731838 937697280 43625 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5953] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5953/stat : 5953 (java) S 5947 5949 5508 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156731838 937697280 43625 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5954] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5954/stat : 5954 (java) S 5947 5949 5508 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156731842 937697280 43625 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5955] ppid=5947 vsize=915720 CPUtime=0.32
/proc/5949/task/5955/stat : 5955 (java) S 5947 5949 5508 0 -1 64 495 0 0 0 31 1 0 0 16 0 8 0 156731842 937697280 43625 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5956] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5956/stat : 5956 (java) S 5947 5949 5508 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156731842 937697280 43625 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5957] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5957/stat : 5957 (java) S 5947 5949 5508 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156731842 937697280 43625 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915720

[startup+51.223 s]
/proc/loadavg: 1.68 1.79 1.75 3/87 5957
/proc/meminfo: memFree=809184/2055920 swapFree=4192812/4192956
[pid=5949] ppid=5947 vsize=915720 CPUtime=50.72
/proc/5949/stat : 5949 (java) R 5947 5949 5508 0 -1 0 67531 0 1 0 5001 71 0 0 25 0 8 0 156731833 937697280 67253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073991792 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5949/statm: 228930 67253 2535 14 0 215400 0
[pid=5949/tid=5951] ppid=5947 vsize=915720 CPUtime=0.61
/proc/5949/task/5951/stat : 5951 (java) S 5947 5949 5508 0 -1 64 50407 0 0 0 43 18 0 0 16 0 8 0 156731837 937697280 67253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5952] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5952/stat : 5952 (java) S 5947 5949 5508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156731838 937697280 67253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5953] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5953/stat : 5953 (java) S 5947 5949 5508 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156731838 937697280 67253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5954] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5954/stat : 5954 (java) S 5947 5949 5508 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156731842 937697280 67253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5955] ppid=5947 vsize=915720 CPUtime=0.32
/proc/5949/task/5955/stat : 5955 (java) S 5947 5949 5508 0 -1 64 495 0 0 0 31 1 0 0 16 0 8 0 156731842 937697280 67253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5956] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5956/stat : 5956 (java) S 5947 5949 5508 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156731842 937697280 67253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5957] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5957/stat : 5957 (java) S 5947 5949 5508 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156731842 937697280 67253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915720

[startup+102.455 s]
/proc/loadavg: 1.86 1.82 1.76 3/87 5957
/proc/meminfo: memFree=654688/2055920 swapFree=4192812/4192956
[pid=5949] ppid=5947 vsize=915720 CPUtime=101.48
/proc/5949/stat : 5949 (java) R 5947 5949 5508 0 -1 0 106090 0 1 0 10063 85 0 0 25 0 8 0 156731833 937697280 105799 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074037577 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5949/statm: 228930 105799 2535 14 0 215400 0
[pid=5949/tid=5951] ppid=5947 vsize=915720 CPUtime=1.02
/proc/5949/task/5951/stat : 5951 (java) S 5947 5949 5508 0 -1 64 88953 0 0 0 70 32 0 0 16 0 8 0 156731837 937697280 105799 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5952] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5952/stat : 5952 (java) S 5947 5949 5508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156731838 937697280 105799 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5953] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5953/stat : 5953 (java) S 5947 5949 5508 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156731838 937697280 105799 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5954] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5954/stat : 5954 (java) S 5947 5949 5508 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156731842 937697280 105799 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5955] ppid=5947 vsize=915720 CPUtime=0.32
/proc/5949/task/5955/stat : 5955 (java) S 5947 5949 5508 0 -1 64 495 0 0 0 31 1 0 0 16 0 8 0 156731842 937697280 105799 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5956] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5956/stat : 5956 (java) S 5947 5949 5508 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156731842 937697280 105799 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5957] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5957/stat : 5957 (java) S 5947 5949 5508 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156731842 937697280 105799 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.48
Current children cumulated vsize (KiB) 915720

[startup+162.526 s]
/proc/loadavg: 1.95 1.85 1.77 3/87 5957
/proc/meminfo: memFree=489312/2055920 swapFree=4192812/4192956
[pid=5949] ppid=5947 vsize=915720 CPUtime=161
/proc/5949/stat : 5949 (java) R 5947 5949 5508 0 -1 0 147358 0 1 0 15999 101 0 0 25 0 8 0 156731833 937697280 147056 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074029039 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+1483.46 s]
/proc/loadavg: 2.00 2.00 1.91 3/87 6015
/proc/meminfo: memFree=447776/2055920 swapFree=4192812/4192956
[pid=5949] ppid=5947 vsize=915720 CPUtime=1477.76
/proc/5949/stat : 5949 (java) R 5947 5949 5508 0 -1 0 154529 0 1 0 147666 110 0 0 25 0 8 0 156731833 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074005420 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5949/statm: 228930 154224 2535 14 0 215400 0
[pid=5949/tid=5951] ppid=5947 vsize=915720 CPUtime=1.58
/proc/5949/task/5951/stat : 5951 (java) S 5947 5949 5508 0 -1 64 137378 0 0 0 108 50 0 0 16 0 8 0 156731837 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5952] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5952/stat : 5952 (java) S 5947 5949 5508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156731838 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5953] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5953/stat : 5953 (java) S 5947 5949 5508 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156731838 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5954] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5954/stat : 5954 (java) S 5947 5949 5508 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156731842 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5955] ppid=5947 vsize=915720 CPUtime=0.32
/proc/5949/task/5955/stat : 5955 (java) S 5947 5949 5508 0 -1 64 495 0 0 0 31 1 0 0 16 0 8 0 156731842 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5956] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5956/stat : 5956 (java) S 5947 5949 5508 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156731842 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5957] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5957/stat : 5957 (java) S 5947 5949 5508 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156731842 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1477.76
Current children cumulated vsize (KiB) 915720

[startup+1543.46 s]
/proc/loadavg: 2.00 2.00 1.91 3/93 6117
/proc/meminfo: memFree=446304/2055920 swapFree=4192812/4192956
[pid=5949] ppid=5947 vsize=915720 CPUtime=1537.65
/proc/5949/stat : 5949 (java) R 5947 5949 5508 0 -1 0 154529 0 1 0 153652 113 0 0 25 0 8 0 156731833 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074025578 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5949/statm: 228930 154224 2535 14 0 215400 0
[pid=5949/tid=5951] ppid=5947 vsize=915720 CPUtime=1.58
/proc/5949/task/5951/stat : 5951 (java) S 5947 5949 5508 0 -1 64 137378 0 0 0 108 50 0 0 16 0 8 0 156731837 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5952] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5952/stat : 5952 (java) S 5947 5949 5508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156731838 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5953] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5953/stat : 5953 (java) S 5947 5949 5508 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156731838 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5954] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5954/stat : 5954 (java) S 5947 5949 5508 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156731842 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5955] ppid=5947 vsize=915720 CPUtime=0.32
/proc/5949/task/5955/stat : 5955 (java) S 5947 5949 5508 0 -1 64 495 0 0 0 31 1 0 0 16 0 8 0 156731842 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5956] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5956/stat : 5956 (java) S 5947 5949 5508 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156731842 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5957] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5957/stat : 5957 (java) S 5947 5949 5508 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156731842 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1537.65
Current children cumulated vsize (KiB) 915720

[startup+1603.49 s]
/proc/loadavg: 2.00 2.00 1.91 3/93 6187
/proc/meminfo: memFree=446376/2055920 swapFree=4192812/4192956
[pid=5949] ppid=5947 vsize=915720 CPUtime=1597.61
/proc/5949/stat : 5949 (java) R 5947 5949 5508 0 -1 0 154529 0 1 0 159640 121 0 0 25 0 8 0 156731833 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074006361 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5949/statm: 228930 154224 2535 14 0 215400 0
[pid=5949/tid=5951] ppid=5947 vsize=915720 CPUtime=1.58
/proc/5949/task/5951/stat : 5951 (java) S 5947 5949 5508 0 -1 64 137378 0 0 0 108 50 0 0 16 0 8 0 156731837 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5952] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5952/stat : 5952 (java) S 5947 5949 5508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156731838 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5953] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5953/stat : 5953 (java) S 5947 5949 5508 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156731838 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5954] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5954/stat : 5954 (java) S 5947 5949 5508 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156731842 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5955] ppid=5947 vsize=915720 CPUtime=0.32
/proc/5949/task/5955/stat : 5955 (java) S 5947 5949 5508 0 -1 64 495 0 0 0 31 1 0 0 16 0 8 0 156731842 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5956] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5956/stat : 5956 (java) S 5947 5949 5508 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156731842 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5957] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5957/stat : 5957 (java) S 5947 5949 5508 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156731842 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1597.61
Current children cumulated vsize (KiB) 915720

[startup+1663.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/87 6213
/proc/meminfo: memFree=447520/2055920 swapFree=4192812/4192956
[pid=5949] ppid=5947 vsize=915720 CPUtime=1657.56
/proc/5949/stat : 5949 (java) R 5947 5949 5508 0 -1 0 154529 0 1 0 165634 122 0 0 25 0 8 0 156731833 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073999116 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5949/statm: 228930 154224 2535 14 0 215400 0
[pid=5949/tid=5951] ppid=5947 vsize=915720 CPUtime=1.58
/proc/5949/task/5951/stat : 5951 (java) S 5947 5949 5508 0 -1 64 137378 0 0 0 108 50 0 0 16 0 8 0 156731837 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5952] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5952/stat : 5952 (java) S 5947 5949 5508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156731838 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5953] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5953/stat : 5953 (java) S 5947 5949 5508 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156731838 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5954] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5954/stat : 5954 (java) S 5947 5949 5508 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156731842 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5955] ppid=5947 vsize=915720 CPUtime=0.32
/proc/5949/task/5955/stat : 5955 (java) S 5947 5949 5508 0 -1 64 495 0 0 0 31 1 0 0 16 0 8 0 156731842 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5956] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5956/stat : 5956 (java) S 5947 5949 5508 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156731842 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5957] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5957/stat : 5957 (java) R 5947 5949 5508 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156731842 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1657.56
Current children cumulated vsize (KiB) 915720

[startup+1723.51 s]
/proc/loadavg: 2.06 2.03 1.92 3/87 6213
/proc/meminfo: memFree=447520/2055920 swapFree=4192812/4192956
[pid=5949] ppid=5947 vsize=915720 CPUtime=1717.48
/proc/5949/stat : 5949 (java) R 5947 5949 5508 0 -1 0 154529 0 1 0 171626 122 0 0 25 0 8 0 156731833 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073996166 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5949/statm: 228930 154224 2535 14 0 215400 0
[pid=5949/tid=5951] ppid=5947 vsize=915720 CPUtime=1.58
/proc/5949/task/5951/stat : 5951 (java) S 5947 5949 5508 0 -1 64 137378 0 0 0 108 50 0 0 16 0 8 0 156731837 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5952] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5952/stat : 5952 (java) S 5947 5949 5508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156731838 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5953] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5953/stat : 5953 (java) S 5947 5949 5508 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156731838 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5954] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5954/stat : 5954 (java) S 5947 5949 5508 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156731842 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5955] ppid=5947 vsize=915720 CPUtime=0.32
/proc/5949/task/5955/stat : 5955 (java) S 5947 5949 5508 0 -1 64 495 0 0 0 31 1 0 0 16 0 8 0 156731842 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5956] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5956/stat : 5956 (java) S 5947 5949 5508 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156731842 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5957] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5957/stat : 5957 (java) S 5947 5949 5508 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156731842 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1717.48
Current children cumulated vsize (KiB) 915720

[startup+1783.51 s]
/proc/loadavg: 2.07 2.03 1.93 3/87 6213
/proc/meminfo: memFree=447520/2055920 swapFree=4192812/4192956
[pid=5949] ppid=5947 vsize=915720 CPUtime=1777.43
/proc/5949/stat : 5949 (java) R 5947 5949 5508 0 -1 0 154529 0 1 0 177621 122 0 0 25 0 8 0 156731833 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073991974 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5949/statm: 228930 154224 2535 14 0 215400 0
[pid=5949/tid=5951] ppid=5947 vsize=915720 CPUtime=1.58
/proc/5949/task/5951/stat : 5951 (java) S 5947 5949 5508 0 -1 64 137378 0 0 0 108 50 0 0 16 0 8 0 156731837 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5952] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5952/stat : 5952 (java) S 5947 5949 5508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156731838 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5953] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5953/stat : 5953 (java) S 5947 5949 5508 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156731838 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5954] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5954/stat : 5954 (java) S 5947 5949 5508 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156731842 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5955] ppid=5947 vsize=915720 CPUtime=0.32
/proc/5949/task/5955/stat : 5955 (java) S 5947 5949 5508 0 -1 64 495 0 0 0 31 1 0 0 16 0 8 0 156731842 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5956] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5956/stat : 5956 (java) S 5947 5949 5508 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156731842 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5957] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5957/stat : 5957 (java) S 5947 5949 5508 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156731842 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1777.43
Current children cumulated vsize (KiB) 915720



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1806.14 s]
/proc/loadavg: 2.05 2.03 1.93 3/87 6213
/proc/meminfo: memFree=447456/2055920 swapFree=4192812/4192956
[pid=5949] ppid=5947 vsize=915720 CPUtime=1800.03
/proc/5949/stat : 5949 (java) R 5947 5949 5508 0 -1 0 154529 0 1 0 179881 122 0 0 25 0 8 0 156731833 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074023601 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5949/statm: 228930 154224 2535 14 0 215400 0
[pid=5949/tid=5951] ppid=5947 vsize=915720 CPUtime=1.58
/proc/5949/task/5951/stat : 5951 (java) S 5947 5949 5508 0 -1 64 137378 0 0 0 108 50 0 0 16 0 8 0 156731837 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5952] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5952/stat : 5952 (java) S 5947 5949 5508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156731838 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5953] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5953/stat : 5953 (java) S 5947 5949 5508 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156731838 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5954] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5954/stat : 5954 (java) S 5947 5949 5508 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156731842 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5955] ppid=5947 vsize=915720 CPUtime=0.32
/proc/5949/task/5955/stat : 5955 (java) S 5947 5949 5508 0 -1 64 495 0 0 0 31 1 0 0 16 0 8 0 156731842 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5956] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5956/stat : 5956 (java) S 5947 5949 5508 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156731842 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5949/tid=5957] ppid=5947 vsize=915720 CPUtime=0
/proc/5949/task/5957/stat : 5957 (java) S 5947 5949 5508 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156731842 937697280 154224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 915720

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

Child status: 143
Real time (s): 1806.27
CPU time (s): 1800.16
CPU user time (s): 1798.85
CPU system time (s): 1.3108
CPU usage (%): 99.6617
Max. virtual memory (cumulated for all children) (KiB): 915720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.85
system time used= 1.3108
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154545
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= 38203
involuntary context switches= 38508

runsolver used 2.04969 s user time and 5.71113 s system time

The end

Launcher Data (download as text)

Begin job on node62 on Sat Jan  6 11:35:40 UTC 2007


IDJOB= 237517
IDBENCH= 6946
FILE ID= node62/237517-1168083326

PBS_JOBID= 3476224

Free space on /tmp= 66548 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  d182319e3384c4b9a637e552d7b21712

RANDOM SEED= 678152779

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.259
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.259
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:       1068984 kB
Buffers:         60292 kB
Cached:         782908 kB
SwapCached:          0 kB
Active:         180684 kB
Inactive:       727320 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1068984 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2972 kB
Writeback:           0 kB
Mapped:          85000 kB
Slab:            63936 kB
Committed_AS:  3761040 kB
PageTables:       2000 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= 66547 MiB



End job on node62 on Sat Jan  6 12:05:51 UTC 2007