Trace number 221138

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.18 1802.77

General information on the benchmark

NamequeenAttacking/
queenAttacking-7.xml
MD5SUMf48bbf370f434c1ca8879a4f158ccd36
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark23.4124
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables50
Number of constraints1191
Maximum constraint arity2
Maximum domain size49
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1191
Global constraints used (with number of constraints)

Solver Data (download as text)

0.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=mac.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/221138-1168080005/unknown.xml
0.35	   
0.35	   domains being loaded...
0.35	   
0.35	   variables being loaded...
0.39	     nbVariables=50  nbDomainTypes=2  minDomainSize=10  maxDomainSize=49
0.39	       =>  wckTime=0.1  cpuTime=0.09  mem=6M902
0.39	   
0.39	   predicates being loaded...
0.40	   
0.40	   constraints being loaded...
0.77	     nbConstraints=1191  nbConvertedConstraints=1191  nbConvertConstraintsChecks=5292  nbExtensionStructures=3
0.77	     nbSharedExtensionStructures=1188  nbConflictsStructures=3  nbSharedConflictsStructures=1188
0.77	     nbSharedBinaryRepresentations=106  maxDegree=49  maxArity=2
0.77	       =>  wckTime=0.478  cpuTime=0.35  mem=13M728
0.81	   
0.81	   solver IterativeSystematicSolver being built... 
0.96	       =>  wckTime=0.67  cpuTime=0.48  mem=14M0
0.98	   
0.98	   preprocessing
0.98	     nbConstraintChecks=2199  nbPropagations=50  nbRevisions=45  nbUselessRevisions=30  nbRemovedValues=45
0.98	     detectedInconsistency=no
0.98	       =>  wckTime=0.016  cpuTime=0.0  mem=14M0
1.03	   
1.03	   search
1.03	     run=0  nbConstraintChecks=33645  nbPropagations=752  nbRevisions=4209  nbUselessRevisions=2604  nbAssignments=28
1.03	     nbFailedAssignments=7  nbBacktracks=12  nbVisitedNodes=41  nbRestartNogoods=0  mapSize=9  nbInferences=0
1.03	     nbTooLargeKeys=0
1.03	       =>  wckTime=0.067  cpuTime=0.04  mem=14M0
1.06	   
1.06	   search
1.06	     run=1  nbConstraintChecks=63144  nbPropagations=2070  nbRevisions=10914  nbUselessRevisions=6692  nbAssignments=59
1.06	     nbFailedAssignments=12  nbBacktracks=31  nbVisitedNodes=81  nbRestartNogoods=2  mapSize=16  nbInferences=0
1.06	     nbTooLargeKeys=0
1.06	       =>  wckTime=0.094  cpuTime=0.06  mem=14M0
1.08	   
1.08	   search
1.08	     run=2  nbConstraintChecks=99407  nbPropagations=4172  nbRevisions=20573  nbUselessRevisions=12609
1.08	     nbAssignments=104  nbFailedAssignments=17  nbBacktracks=53  nbVisitedNodes=137  nbRestartNogoods=3  mapSize=26
1.08	     nbInferences=0  nbTooLargeKeys=0
1.08	       =>  wckTime=0.114  cpuTime=0.08  mem=14M975
1.10	   
1.10	   search
1.10	     run=3  nbConstraintChecks=146496  nbPropagations=7381  nbRevisions=35691  nbUselessRevisions=21892
1.10	     nbAssignments=170  nbFailedAssignments=28  nbBacktracks=86  nbVisitedNodes=225  nbRestartNogoods=4  mapSize=43
1.10	     nbInferences=0  nbTooLargeKeys=0
1.10	       =>  wckTime=0.135  cpuTime=0.1  mem=14M975
1.12	   
1.12	   search
1.12	     run=4  nbConstraintChecks=205951  nbPropagations=11801  nbRevisions=57420  nbUselessRevisions=35293
1.12	     nbAssignments=252  nbFailedAssignments=44  nbBacktracks=137  nbVisitedNodes=334  nbRestartNogoods=7  mapSize=64
1.12	     nbInferences=0  nbTooLargeKeys=0
1.12	       =>  wckTime=0.158  cpuTime=0.12  mem=14M975
1.17	   
1.17	   search
1.17	     run=5  nbConstraintChecks=306215  nbPropagations=18673  nbRevisions=90402  nbUselessRevisions=55074
1.17	     nbAssignments=405  nbFailedAssignments=82  nbBacktracks=215  nbVisitedNodes=559  nbRestartNogoods=9  mapSize=110
1.17	     nbInferences=13  nbTooLargeKeys=0
1.17	       =>  wckTime=0.204  cpuTime=0.16  mem=14M975
1.22	   
1.22	   search
1.22	     run=6  nbConstraintChecks=422306  nbPropagations=28181  nbRevisions=138531  nbUselessRevisions=84077
1.22	     nbAssignments=571  nbFailedAssignments=122  nbBacktracks=331  nbVisitedNodes=794  nbRestartNogoods=12  mapSize=164
1.22	     nbInferences=13  nbTooLargeKeys=0
1.22	       =>  wckTime=0.256  cpuTime=0.22  mem=14M975
1.28	   
1.28	   search
1.28	     run=7  nbConstraintChecks=560249  nbPropagations=40850  nbRevisions=207078  nbUselessRevisions=126203
1.28	     nbAssignments=828  nbFailedAssignments=185  nbBacktracks=504  nbVisitedNodes=1161  nbRestartNogoods=16  mapSize=240
1.28	     nbInferences=13  nbTooLargeKeys=0
1.28	       =>  wckTime=0.317  cpuTime=0.27  mem=14M975
1.37	   
1.37	   search
1.37	     run=8  nbConstraintChecks=807442  nbPropagations=58714  nbRevisions=303909  nbUselessRevisions=185294
1.37	     nbAssignments=1197  nbFailedAssignments=274  nbBacktracks=761  nbVisitedNodes=1692  nbRestartNogoods=22
1.37	     mapSize=361  nbInferences=15  nbTooLargeKeys=0
1.37	       =>  wckTime=0.405  cpuTime=0.36  mem=14M975
1.52	   
1.52	   search
1.52	     run=9  nbConstraintChecks=1141055  nbPropagations=85198  nbRevisions=457180  nbUselessRevisions=279918
1.52	     nbAssignments=1771  nbFailedAssignments=443  nbBacktracks=1145  nbVisitedNodes=2561  nbRestartNogoods=27
1.53	     mapSize=560  nbInferences=15  nbTooLargeKeys=0
1.53	       =>  wckTime=0.562  cpuTime=0.5  mem=14M975
1.73	   
1.73	   search
1.73	     run=10  nbConstraintChecks=1749825  nbPropagations=124024  nbRevisions=699797  nbUselessRevisions=430588
1.73	     nbAssignments=2649  nbFailedAssignments=722  nbBacktracks=1721  nbVisitedNodes=3913  nbRestartNogoods=39
1.73	     mapSize=847  nbInferences=18  nbTooLargeKeys=0
1.73	       =>  wckTime=0.765  cpuTime=0.69  mem=14M975
2.11	   
2.11	   search
2.11	     run=11  nbConstraintChecks=2765819  nbPropagations=189430  nbRevisions=1099904  nbUselessRevisions=675593
2.11	     nbAssignments=4210  nbFailedAssignments=1335  nbBacktracks=2592  nbVisitedNodes=6496  nbRestartNogoods=49
2.11	     mapSize=1359  nbInferences=79  nbTooLargeKeys=0
2.11	       =>  wckTime=1.148  cpuTime=1.07  mem=14M975
2.67	   
2.67	   search
2.67	     run=12  nbConstraintChecks=4424126  nbPropagations=289763  nbRevisions=1754919  nbUselessRevisions=1092095
2.67	     nbAssignments=6451  nbFailedAssignments=2262  nbBacktracks=3892  nbVisitedNodes=10118  nbRestartNogoods=53
2.67	     mapSize=2110  nbInferences=80  nbTooLargeKeys=0
2.67	       =>  wckTime=1.711  cpuTime=1.63  mem=15M950
3.53	   
3.53	   search
3.53	     run=13  nbConstraintChecks=6791633  nbPropagations=441885  nbRevisions=2823589  nbUselessRevisions=1790469
3.53	     nbAssignments=9917  nbFailedAssignments=3754  nbBacktracks=5843  nbVisitedNodes=15795  nbRestartNogoods=63
3.53	     mapSize=3224  nbInferences=90  nbTooLargeKeys=0
3.53	       =>  wckTime=2.565  cpuTime=2.48  mem=15M950
4.73	   
4.73	   search
4.73	     run=14  nbConstraintChecks=10247847  nbPropagations=667403  nbRevisions=4529718  nbUselessRevisions=2943648
4.73	     nbAssignments=14711  nbFailedAssignments=5602  nbBacktracks=8763  nbVisitedNodes=23521  nbRestartNogoods=73
4.73	     mapSize=5017  nbInferences=97  nbTooLargeKeys=0
4.73	       =>  wckTime=3.772  cpuTime=3.69  mem=16M925
6.69	   
6.69	   search
6.69	     run=15  nbConstraintChecks=16225826  nbPropagations=1008584  nbRevisions=7243850  nbUselessRevisions=4779374
6.69	     nbAssignments=22210  nbFailedAssignments=8700  nbBacktracks=13146  nbVisitedNodes=35898  nbRestartNogoods=85
6.69	     mapSize=7707  nbInferences=103  nbTooLargeKeys=0
6.69	       =>  wckTime=5.726  cpuTime=5.64  mem=18M876
9.21	   
9.21	   search
9.21	     run=16  nbConstraintChecks=23497144  nbPropagations=1506444  nbRevisions=11327568  nbUselessRevisions=7564613
9.21	     nbAssignments=33874  nbFailedAssignments=13636  nbBacktracks=19715  nbVisitedNodes=55121  nbRestartNogoods=96
9.21	     mapSize=11575  nbInferences=246  nbTooLargeKeys=0
9.21	       =>  wckTime=8.245  cpuTime=8.15  mem=19M851
12.86	   
12.86	   search
12.86	     run=17  nbConstraintChecks=33846395  nbPropagations=2237346  nbRevisions=17307592  nbUselessRevisions=11666897
12.86	     nbAssignments=50577  nbFailedAssignments=20400  nbBacktracks=29568  nbVisitedNodes=82481  nbRestartNogoods=101
12.86	     mapSize=17486  nbInferences=316  nbTooLargeKeys=0
12.86	       =>  wckTime=11.896  cpuTime=11.79  mem=22M776
18.21	   
18.21	   search
18.21	     run=18  nbConstraintChecks=47918598  nbPropagations=3308244  nbRevisions=26008335  nbUselessRevisions=17655437
18.21	     nbAssignments=75970  nbFailedAssignments=30785  nbBacktracks=44346  nbVisitedNodes=123703  nbRestartNogoods=110
18.21	     mapSize=25900  nbInferences=530  nbTooLargeKeys=0
18.21	       =>  wckTime=17.244  cpuTime=17.15  mem=26M939
27.28	   
27.28	   search
27.28	     run=19  nbConstraintChecks=74346248  nbPropagations=4972388  nbRevisions=39447770  nbUselessRevisions=26825389
27.28	     nbAssignments=114450  nbFailedAssignments=46539  nbBacktracks=66517  nbVisitedNodes=187576  nbRestartNogoods=124
27.28	     mapSize=40560  nbInferences=1070  nbTooLargeKeys=0
27.28	       =>  wckTime=26.319  cpuTime=26.18  mem=32M790
39.71	   
39.71	   search
39.71	     run=20  nbConstraintChecks=110219782  nbPropagations=7463595  nbRevisions=59163664  nbUselessRevisions=40198616
39.71	     nbAssignments=172394  nbFailedAssignments=70746  nbBacktracks=99771  nbVisitedNodes=282562  nbRestartNogoods=135
39.71	     mapSize=59517  nbInferences=1537  nbTooLargeKeys=0
39.71	       =>  wckTime=38.75  cpuTime=38.56  mem=42M91
58.26	   
58.26	   search
58.26	     run=21  nbConstraintChecks=160021278  nbPropagations=11138531  nbRevisions=89116978  nbUselessRevisions=60949644
58.26	     nbAssignments=255517  nbFailedAssignments=103320  nbBacktracks=149649  nbVisitedNodes=417990  nbRestartNogoods=150
58.26	     mapSize=90967  nbInferences=2191  nbTooLargeKeys=0
58.26	       =>  wckTime=57.3  cpuTime=56.96  mem=30M541
88.39	   
88.39	   search
88.39	     run=22  nbConstraintChecks=244941524  nbPropagations=16718748  nbRevisions=134984740  nbUselessRevisions=92650809
88.39	     nbAssignments=390924  nbFailedAssignments=162634  nbBacktracks=224468  nbVisitedNodes=643103  nbRestartNogoods=166
88.39	     mapSize=136255  nbInferences=3443  nbTooLargeKeys=0
88.39	       =>  wckTime=87.427  cpuTime=87.07  mem=51M288
132.43	   
132.43	   search
132.43	     run=23  nbConstraintChecks=362047845  nbPropagations=25127081  nbRevisions=203850614  nbUselessRevisions=140399085
132.43	     nbAssignments=579386  nbFailedAssignments=238103  nbBacktracks=336695  nbVisitedNodes=953691  nbRestartNogoods=184
132.43	     mapSize=209513  nbInferences=4192  nbTooLargeKeys=0
132.43	       =>  wckTime=131.471  cpuTime=130.87  mem=64M699
202.82	   
202.82	   search
202.82	     run=24  nbConstraintChecks=561414703  nbPropagations=38068178  nbRevisions=309169813  nbUselessRevisions=213184018
202.82	     nbAssignments=876053  nbFailedAssignments=362720  nbBacktracks=505036  nbVisitedNodes=1448919  nbRestartNogoods=202
202.82	     mapSize=319185  nbInferences=7884  nbTooLargeKeys=0
202.82	       =>  wckTime=201.859  cpuTime=200.99  mem=94M192
298.81	   
298.81	   search
298.81	     run=25  nbConstraintChecks=831890886  nbPropagations=57005566  nbRevisions=465510815  nbUselessRevisions=322257827
298.81	     nbAssignments=1309898  nbFailedAssignments=541743  nbBacktracks=757548  nbVisitedNodes=2157581
298.81	     nbRestartNogoods=215  mapSize=471505  nbInferences=10180  nbTooLargeKeys=0
298.81	       =>  wckTime=297.852  cpuTime=296.71  mem=146M960
443.36	   
443.36	   search
443.36	     run=26  nbConstraintChecks=1226770117  nbPropagations=85170364  nbRevisions=701087467  nbUselessRevisions=487678793
443.36	     nbAssignments=1948687  nbFailedAssignments=797323  nbBacktracks=1136318  nbVisitedNodes=3207772
443.36	     nbRestartNogoods=228  mapSize=714324  nbInferences=14601  nbTooLargeKeys=0
443.36	       =>  wckTime=442.4  cpuTime=440.76  mem=211M51
684.40	   
684.40	   search
684.40	     run=27  nbConstraintChecks=1894218429  nbPropagations=128856210  nbRevisions=1057814627
684.40	     nbUselessRevisions=734346453  nbAssignments=3012246  nbFailedAssignments=1280478  nbBacktracks=1704469
684.40	     nbVisitedNodes=5003966  nbRestartNogoods=243  mapSize=1084430  nbInferences=26837  nbTooLargeKeys=0
684.40	       =>  wckTime=683.442  cpuTime=680.94  mem=321M121
1005.18	   
1005.18	   search
1005.18	     run=28  nbConstraintChecks=2728368362  nbPropagations=193446516  nbRevisions=1588987883
1005.18	     nbUselessRevisions=1105468172  nbAssignments=4420024  nbFailedAssignments=1829600  nbBacktracks=2556697
1005.18	     nbVisitedNodes=7325933  nbRestartNogoods=273  mapSize=1663430  nbInferences=33244  nbTooLargeKeys=0
1005.18	       =>  wckTime=1004.215  cpuTime=1000.19  mem=488M525
1248.66	   
1248.66	   INFO : Stopping hyperNogood (mapSize=2060599, nbTooLargekeys=0, mem=600M853)
1475.74	   
1475.74	   search
1475.74	     run=29  nbConstraintChecks=4050438219  nbPropagations=289294496  nbRevisions=2365359354
1475.74	     nbUselessRevisions=1642802362  nbAssignments=6644543  nbFailedAssignments=2757139  nbBacktracks=3835039
1475.74	     nbVisitedNodes=11005207  nbRestartNogoods=296
1475.74	       =>  wckTime=1474.78  cpuTime=1469.26  mem=600M853

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

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

/proc/loadavg: 0.05 0.67 0.90 3/68 13434
/proc/meminfo: memFree=1281392/2055920 swapFree=4192812/4192956
[pid=13433] ppid=13431 vsize=1500 CPUtime=0
/proc/13433/stat : 13433 (java) R 13431 13433 13111 0 -1 0 265 0 0 0 0 0 0 0 18 0 1 0 156398955 1536000 69 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 6817462 0 0 4096 0 0 0 0 17 1 0 0
/proc/13433/statm: 363 61 46 14 0 8 0

[startup+0.102648 s]
/proc/loadavg: 0.05 0.67 0.90 3/68 13434
/proc/meminfo: memFree=1281392/2055920 swapFree=4192812/4192956
[pid=13433] ppid=13431 vsize=914988 CPUtime=0.09
/proc/13433/stat : 13433 (java) R 13431 13433 13111 0 -1 0 3077 0 1 0 8 1 0 0 22 0 8 0 156398955 936947712 2823 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072927721 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13433/statm: 228747 2823 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.510683 s]
/proc/loadavg: 0.05 0.67 0.90 3/68 13434
/proc/meminfo: memFree=1281392/2055920 swapFree=4192812/4192956
[pid=13433] ppid=13431 vsize=915328 CPUtime=0.48
/proc/13433/stat : 13433 (java) R 13431 13433 13111 0 -1 0 6472 0 1 0 45 3 0 0 16 0 8 0 156398955 937295872 6211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073660485 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13433/statm: 228832 6212 2147 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33276 s]
/proc/loadavg: 0.05 0.67 0.90 2/75 13444
/proc/meminfo: memFree=1257272/2055920 swapFree=4192812/4192956
[pid=13433] ppid=13431 vsize=915516 CPUtime=1.31
/proc/13433/stat : 13433 (java) R 13431 13433 13111 0 -1 0 8709 0 1 0 121 10 0 0 17 0 8 0 156398955 937488384 8447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073946139 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13433/statm: 228879 8447 2530 14 0 215349 0
[pid=13433/tid=13435] ppid=13431 vsize=915516 CPUtime=0.03
/proc/13433/task/13435/stat : 13435 (java) S 13431 13433 13111 0 -1 64 267 0 0 0 3 0 0 0 16 0 8 0 156398959 937488384 8447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13436] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13436/stat : 13436 (java) S 13431 13433 13111 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156398959 937488384 8447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13437] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13437/stat : 13437 (java) S 13431 13433 13111 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156398959 937488384 8447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13438] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13438/stat : 13438 (java) S 13431 13433 13111 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156398962 937488384 8447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13439] ppid=13431 vsize=915516 CPUtime=0.23
/proc/13433/task/13439/stat : 13439 (java) S 13431 13433 13111 0 -1 64 414 0 0 0 22 1 0 0 15 0 8 0 156398962 937488384 8447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13440] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13440/stat : 13440 (java) S 13431 13433 13111 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156398962 937488384 8447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13441] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13441/stat : 13441 (java) S 13431 13433 13111 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156398962 937488384 8447 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) 915516

[startup+2.98493 s]
/proc/loadavg: 0.05 0.67 0.90 2/75 13444
/proc/meminfo: memFree=1256952/2055920 swapFree=4192812/4192956
[pid=13433] ppid=13431 vsize=915516 CPUtime=2.96
/proc/13433/stat : 13433 (java) R 13431 13433 13111 0 -1 0 8959 0 1 0 285 11 0 0 17 0 8 0 156398955 937488384 8695 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073929765 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13433/statm: 228879 8695 2530 14 0 215349 0
[pid=13433/tid=13435] ppid=13431 vsize=915516 CPUtime=0.03
/proc/13433/task/13435/stat : 13435 (java) S 13431 13433 13111 0 -1 64 267 0 0 0 3 0 0 0 17 0 8 0 156398959 937488384 8695 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13436] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13436/stat : 13436 (java) S 13431 13433 13111 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156398959 937488384 8695 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13437] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13437/stat : 13437 (java) S 13431 13433 13111 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156398959 937488384 8695 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13438] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13438/stat : 13438 (java) S 13431 13433 13111 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156398962 937488384 8695 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13439] ppid=13431 vsize=915516 CPUtime=0.25
/proc/13433/task/13439/stat : 13439 (java) S 13431 13433 13111 0 -1 64 430 0 0 0 24 1 0 0 16 0 8 0 156398962 937488384 8695 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13440] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13440/stat : 13440 (java) S 13431 13433 13111 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156398962 937488384 8695 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13441] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13441/stat : 13441 (java) R 13431 13433 13111 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156398962 937488384 8695 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915516

[startup+6.26224 s]
/proc/loadavg: 0.12 0.67 0.90 2/75 13486
/proc/meminfo: memFree=1252600/2055920 swapFree=4192812/4192956
[pid=13433] ppid=13431 vsize=915516 CPUtime=6.23
/proc/13433/stat : 13433 (java) R 13431 13433 13111 0 -1 0 9528 0 1 0 612 11 0 0 24 0 8 0 156398955 937488384 9264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073977047 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13433/statm: 228879 9264 2530 14 0 215349 0
[pid=13433/tid=13435] ppid=13431 vsize=915516 CPUtime=0.03
/proc/13433/task/13435/stat : 13435 (java) S 13431 13433 13111 0 -1 64 267 0 0 0 3 0 0 0 16 0 8 0 156398959 937488384 9264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13436] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13436/stat : 13436 (java) S 13431 13433 13111 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156398959 937488384 9264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13437] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13437/stat : 13437 (java) S 13431 13433 13111 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156398959 937488384 9264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13438] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13438/stat : 13438 (java) S 13431 13433 13111 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156398962 937488384 9264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13439] ppid=13431 vsize=915516 CPUtime=0.26
/proc/13433/task/13439/stat : 13439 (java) S 13431 13433 13111 0 -1 64 430 0 0 0 25 1 0 0 16 0 8 0 156398962 937488384 9264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13440] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13440/stat : 13440 (java) S 13431 13433 13111 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156398962 937488384 9264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13441] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13441/stat : 13441 (java) R 13431 13433 13111 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156398962 937488384 9264 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) 915516

[startup+12.7439 s]
/proc/loadavg: 0.19 0.68 0.90 2/75 13494
/proc/meminfo: memFree=1248056/2055920 swapFree=4192812/4192956
[pid=13433] ppid=13431 vsize=915516 CPUtime=12.7
/proc/13433/stat : 13433 (java) R 13431 13433 13111 0 -1 0 10663 0 1 0 1258 12 0 0 25 0 8 0 156398955 937488384 10399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073984823 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13433/statm: 228879 10399 2530 14 0 215349 0
[pid=13433/tid=13435] ppid=13431 vsize=915516 CPUtime=0.03
/proc/13433/task/13435/stat : 13435 (java) S 13431 13433 13111 0 -1 64 267 0 0 0 3 0 0 0 16 0 8 0 156398959 937488384 10399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13436] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13436/stat : 13436 (java) S 13431 13433 13111 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156398959 937488384 10399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13437] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13437/stat : 13437 (java) S 13431 13433 13111 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156398959 937488384 10399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13438] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13438/stat : 13438 (java) S 13431 13433 13111 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156398962 937488384 10399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13439] ppid=13431 vsize=915516 CPUtime=0.26
/proc/13433/task/13439/stat : 13439 (java) S 13431 13433 13111 0 -1 64 432 0 0 0 25 1 0 0 16 0 8 0 156398962 937488384 10399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13440] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13440/stat : 13440 (java) S 13431 13433 13111 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156398962 937488384 10399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13441] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13441/stat : 13441 (java) S 13431 13433 13111 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156398962 937488384 10399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 915516

[startup+25.5721 s]
/proc/loadavg: 0.37 0.69 0.91 3/87 13542
/proc/meminfo: memFree=1168280/2055920 swapFree=4192812/4192956
[pid=13433] ppid=13431 vsize=915516 CPUtime=25.5
/proc/13433/stat : 13433 (java) R 13431 13433 13111 0 -1 0 12820 0 1 0 2536 14 0 0 25 0 8 0 156398955 937488384 12556 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073972244 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13433/statm: 228879 12556 2530 14 0 215349 0
[pid=13433/tid=13435] ppid=13431 vsize=915516 CPUtime=0.03
/proc/13433/task/13435/stat : 13435 (java) S 13431 13433 13111 0 -1 64 267 0 0 0 3 0 0 0 16 0 8 0 156398959 937488384 12556 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13436] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13436/stat : 13436 (java) S 13431 13433 13111 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156398959 937488384 12556 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13437] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13437/stat : 13437 (java) S 13431 13433 13111 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156398959 937488384 12556 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13438] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13438/stat : 13438 (java) S 13431 13433 13111 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156398962 937488384 12556 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13439] ppid=13431 vsize=915516 CPUtime=0.26
/proc/13433/task/13439/stat : 13439 (java) S 13431 13433 13111 0 -1 64 432 0 0 0 25 1 0 0 16 0 8 0 156398962 937488384 12556 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13440] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13440/stat : 13440 (java) S 13431 13433 13111 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156398962 937488384 12556 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13441] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13441/stat : 13441 (java) S 13431 13433 13111 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156398962 937488384 12556 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 915516

[startup+51.2646 s]
/proc/loadavg: 0.78 0.77 0.92 3/72 13612
/proc/meminfo: memFree=1214032/2055920 swapFree=4192812/4192956
[pid=13433] ppid=13431 vsize=915516 CPUtime=51.11
/proc/13433/stat : 13433 (java) R 13431 13433 13111 0 -1 0 22861 0 1 0 5093 18 0 0 17 0 8 0 156398955 937488384 22596 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073946863 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13433/statm: 228879 22596 2534 14 0 215349 0
[pid=13433/tid=13435] ppid=13431 vsize=915516 CPUtime=0.15
/proc/13433/task/13435/stat : 13435 (java) S 13431 13433 13111 0 -1 64 5803 0 0 0 14 1 0 0 16 0 8 0 156398959 937488384 22596 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13436] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13436/stat : 13436 (java) S 13431 13433 13111 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156398959 937488384 22596 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13437] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13437/stat : 13437 (java) S 13431 13433 13111 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156398959 937488384 22596 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13438] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13438/stat : 13438 (java) S 13431 13433 13111 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156398962 937488384 22596 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13439] ppid=13431 vsize=915516 CPUtime=0.26
/proc/13433/task/13439/stat : 13439 (java) S 13431 13433 13111 0 -1 64 432 0 0 0 25 1 0 0 16 0 8 0 156398962 937488384 22596 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13440] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13440/stat : 13440 (java) S 13431 13433 13111 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156398962 937488384 22596 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13441] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13441/stat : 13441 (java) S 13431 13433 13111 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156398962 937488384 22596 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 915516

[startup+102.516 s]
/proc/loadavg: 0.90 0.80 0.92 2/72 13612
/proc/meminfo: memFree=1203552/2055920 swapFree=4192812/4192956
[pid=13433] ppid=13431 vsize=915516 CPUtime=102.35
/proc/13433/stat : 13433 (java) R 13431 13433 13111 0 -1 0 22865 0 1 0 10216 19 0 0 25 0 8 0 156398955 937488384 22599 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073946134 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13433/statm: 228879 22599 2534 14 0 215349 0
[pid=13433/tid=13435] ppid=13431 vsize=915516 CPUtime=0.15
/proc/13433/task/13435/stat : 13435 (java) S 13431 13433 13111 0 -1 64 5803 0 0 0 14 1 0 0 16 0 8 0 156398959 937488384 22599 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13436] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13436/stat : 13436 (java) S 13431 13433 13111 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156398959 937488384 22599 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13437] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13437/stat : 13437 (java) S 13431 13433 13111 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156398959 937488384 22599 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13438] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13438/stat : 13438 (java) S 13431 13433 13111 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156398962 937488384 22599 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13439] ppid=13431 vsize=915516 CPUtime=0.26
/proc/13433/task/13439/stat : 13439 (java) S 13431 13433 13111 0 -1 64 432 0 0 0 25 1 0 0 16 0 8 0 156398962 937488384 22599 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13440] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13440/stat : 13440 (java) S 13431 13433 13111 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156398962 937488384 22599 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13441] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13441/stat : 13441 (java) S 13431 13433 13111 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156398962 937488384 22599 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.35
Current children cumulated vsize (KiB) 915516

[startup+162.6 s]
/proc/loadavg: 0.96 0.83 0.92 2/72 13612
/proc/meminfo: memFree=1167136/2055920 swapFree=4192812/4192956
[pid=13433] ppid=13431 vsize=915516 CPUtime=162.41
/proc/13433/stat : 13433 (java) R 13431 13433 13111 0 -1 0 31954 0 1 0 16218 23 0 0 25 0 8 0 156398955 937488384 31687 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073944385 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1423.24
Current children cumulated vsize (KiB) 915516

[startup+1484.16 s]
/proc/loadavg: 1.80 1.26 1.03 3/87 14110
/proc/meminfo: memFree=631512/2055920 swapFree=4192812/4192956
[pid=13433] ppid=13431 vsize=915516 CPUtime=1482.99
/proc/13433/stat : 13433 (java) R 13431 13433 13111 0 -1 0 154446 0 1 0 148225 74 0 0 25 0 8 0 156398955 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073936038 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13433/statm: 228879 154162 2534 14 0 215349 0
[pid=13433/tid=13435] ppid=13431 vsize=915516 CPUtime=4.34
/proc/13433/task/13435/stat : 13435 (java) S 13431 13433 13111 0 -1 64 137365 0 0 0 383 51 0 0 16 0 8 0 156398959 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13436] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13436/stat : 13436 (java) S 13431 13433 13111 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156398959 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13437] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13437/stat : 13437 (java) S 13431 13433 13111 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156398959 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13438] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13438/stat : 13438 (java) S 13431 13433 13111 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156398962 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13439] ppid=13431 vsize=915516 CPUtime=0.26
/proc/13433/task/13439/stat : 13439 (java) S 13431 13433 13111 0 -1 64 434 0 0 0 25 1 0 0 16 0 8 0 156398962 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13440] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13440/stat : 13440 (java) S 13431 13433 13111 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156398962 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13441] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13441/stat : 13441 (java) S 13431 13433 13111 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156398962 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1482.99
Current children cumulated vsize (KiB) 915516

[startup+1544.17 s]
/proc/loadavg: 1.93 1.39 1.09 3/87 14110
/proc/meminfo: memFree=631512/2055920 swapFree=4192812/4192956
[pid=13433] ppid=13431 vsize=915516 CPUtime=1542.73
/proc/13433/stat : 13433 (java) R 13431 13433 13111 0 -1 0 154446 0 1 0 154199 74 0 0 25 0 8 0 156398955 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073918744 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13433/statm: 228879 154162 2534 14 0 215349 0
[pid=13433/tid=13435] ppid=13431 vsize=915516 CPUtime=4.34
/proc/13433/task/13435/stat : 13435 (java) S 13431 13433 13111 0 -1 64 137365 0 0 0 383 51 0 0 16 0 8 0 156398959 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13436] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13436/stat : 13436 (java) S 13431 13433 13111 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156398959 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13437] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13437/stat : 13437 (java) S 13431 13433 13111 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156398959 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13438] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13438/stat : 13438 (java) S 13431 13433 13111 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156398962 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13439] ppid=13431 vsize=915516 CPUtime=0.26
/proc/13433/task/13439/stat : 13439 (java) S 13431 13433 13111 0 -1 64 434 0 0 0 25 1 0 0 16 0 8 0 156398962 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13440] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13440/stat : 13440 (java) S 13431 13433 13111 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156398962 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13441] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13441/stat : 13441 (java) S 13431 13433 13111 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156398962 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1542.73
Current children cumulated vsize (KiB) 915516

[startup+1604.19 s]
/proc/loadavg: 1.97 1.50 1.14 3/87 14110
/proc/meminfo: memFree=631448/2055920 swapFree=4192812/4192956
[pid=13433] ppid=13431 vsize=915516 CPUtime=1602.47
/proc/13433/stat : 13433 (java) R 13431 13433 13111 0 -1 0 154446 0 1 0 160173 74 0 0 25 0 8 0 156398955 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073928681 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13433/statm: 228879 154162 2534 14 0 215349 0
[pid=13433/tid=13435] ppid=13431 vsize=915516 CPUtime=4.34
/proc/13433/task/13435/stat : 13435 (java) S 13431 13433 13111 0 -1 64 137365 0 0 0 383 51 0 0 16 0 8 0 156398959 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13436] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13436/stat : 13436 (java) S 13431 13433 13111 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156398959 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13437] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13437/stat : 13437 (java) S 13431 13433 13111 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156398959 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13438] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13438/stat : 13438 (java) S 13431 13433 13111 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156398962 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13439] ppid=13431 vsize=915516 CPUtime=0.26
/proc/13433/task/13439/stat : 13439 (java) S 13431 13433 13111 0 -1 64 434 0 0 0 25 1 0 0 16 0 8 0 156398962 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13440] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13440/stat : 13440 (java) S 13431 13433 13111 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156398962 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13441] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13441/stat : 13441 (java) S 13431 13433 13111 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156398962 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1602.47
Current children cumulated vsize (KiB) 915516

[startup+1664.2 s]
/proc/loadavg: 1.99 1.59 1.19 3/87 14110
/proc/meminfo: memFree=631576/2055920 swapFree=4192812/4192956
[pid=13433] ppid=13431 vsize=915516 CPUtime=1662.23
/proc/13433/stat : 13433 (java) R 13431 13433 13111 0 -1 0 154446 0 1 0 166149 74 0 0 25 0 8 0 156398955 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073936044 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13433/statm: 228879 154162 2534 14 0 215349 0
[pid=13433/tid=13435] ppid=13431 vsize=915516 CPUtime=4.34
/proc/13433/task/13435/stat : 13435 (java) S 13431 13433 13111 0 -1 64 137365 0 0 0 383 51 0 0 16 0 8 0 156398959 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13436] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13436/stat : 13436 (java) S 13431 13433 13111 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156398959 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13437] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13437/stat : 13437 (java) S 13431 13433 13111 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156398959 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13438] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13438/stat : 13438 (java) S 13431 13433 13111 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156398962 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13439] ppid=13431 vsize=915516 CPUtime=0.26
/proc/13433/task/13439/stat : 13439 (java) S 13431 13433 13111 0 -1 64 434 0 0 0 25 1 0 0 16 0 8 0 156398962 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13440] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13440/stat : 13440 (java) S 13431 13433 13111 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156398962 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13441] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13441/stat : 13441 (java) S 13431 13433 13111 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156398962 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1662.23
Current children cumulated vsize (KiB) 915516

[startup+1724.22 s]
/proc/loadavg: 2.05 1.68 1.24 3/87 14110
/proc/meminfo: memFree=631576/2055920 swapFree=4192812/4192956
[pid=13433] ppid=13431 vsize=915516 CPUtime=1721.96
/proc/13433/stat : 13433 (java) R 13431 13433 13111 0 -1 0 154446 0 1 0 172122 74 0 0 25 0 8 0 156398955 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073926345 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13433/statm: 228879 154162 2534 14 0 215349 0
[pid=13433/tid=13435] ppid=13431 vsize=915516 CPUtime=4.34
/proc/13433/task/13435/stat : 13435 (java) S 13431 13433 13111 0 -1 64 137365 0 0 0 383 51 0 0 16 0 8 0 156398959 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13436] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13436/stat : 13436 (java) S 13431 13433 13111 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156398959 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13437] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13437/stat : 13437 (java) S 13431 13433 13111 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156398959 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13438] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13438/stat : 13438 (java) S 13431 13433 13111 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156398962 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13439] ppid=13431 vsize=915516 CPUtime=0.26
/proc/13433/task/13439/stat : 13439 (java) S 13431 13433 13111 0 -1 64 434 0 0 0 25 1 0 0 16 0 8 0 156398962 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13440] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13440/stat : 13440 (java) S 13431 13433 13111 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156398962 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13441] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13441/stat : 13441 (java) S 13431 13433 13111 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156398962 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 915516

[startup+1784.23 s]
/proc/loadavg: 2.02 1.73 1.29 3/87 14110
/proc/meminfo: memFree=631576/2055920 swapFree=4192812/4192956
[pid=13433] ppid=13431 vsize=915516 CPUtime=1781.71
/proc/13433/stat : 13433 (java) R 13431 13433 13111 0 -1 0 154446 0 1 0 178097 74 0 0 25 0 8 0 156398955 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073926383 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13433/statm: 228879 154162 2534 14 0 215349 0
[pid=13433/tid=13435] ppid=13431 vsize=915516 CPUtime=4.34
/proc/13433/task/13435/stat : 13435 (java) S 13431 13433 13111 0 -1 64 137365 0 0 0 383 51 0 0 16 0 8 0 156398959 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13436] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13436/stat : 13436 (java) S 13431 13433 13111 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156398959 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13437] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13437/stat : 13437 (java) S 13431 13433 13111 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156398959 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13438] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13438/stat : 13438 (java) S 13431 13433 13111 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156398962 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13439] ppid=13431 vsize=915516 CPUtime=0.26
/proc/13433/task/13439/stat : 13439 (java) S 13431 13433 13111 0 -1 64 434 0 0 0 25 1 0 0 16 0 8 0 156398962 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13440] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13440/stat : 13440 (java) S 13431 13433 13111 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156398962 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13441] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13441/stat : 13441 (java) S 13431 13433 13111 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156398962 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 915516



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1802.63 s]
/proc/loadavg: 2.01 1.74 1.30 3/87 14110
/proc/meminfo: memFree=631512/2055920 swapFree=4192812/4192956
[pid=13433] ppid=13431 vsize=915516 CPUtime=1800.03
/proc/13433/stat : 13433 (java) R 13431 13433 13111 0 -1 0 154446 0 1 0 179929 74 0 0 25 0 8 0 156398955 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073961209 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13433/statm: 228879 154162 2534 14 0 215349 0
[pid=13433/tid=13435] ppid=13431 vsize=915516 CPUtime=4.34
/proc/13433/task/13435/stat : 13435 (java) S 13431 13433 13111 0 -1 64 137365 0 0 0 383 51 0 0 16 0 8 0 156398959 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13436] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13436/stat : 13436 (java) S 13431 13433 13111 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156398959 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13437] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13437/stat : 13437 (java) S 13431 13433 13111 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156398959 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13438] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13438/stat : 13438 (java) S 13431 13433 13111 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156398962 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13439] ppid=13431 vsize=915516 CPUtime=0.26
/proc/13433/task/13439/stat : 13439 (java) S 13431 13433 13111 0 -1 64 434 0 0 0 25 1 0 0 16 0 8 0 156398962 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13440] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13440/stat : 13440 (java) S 13431 13433 13111 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156398962 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13441] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13441/stat : 13441 (java) S 13431 13433 13111 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156398962 937488384 154162 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) 915516

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

Child status: 143
Real time (s): 1802.77
CPU time (s): 1800.18
CPU user time (s): 1799.34
CPU system time (s): 0.833873
CPU usage (%): 99.8562
Max. virtual memory (cumulated for all children) (KiB): 915516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.34
system time used= 0.833873
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154463
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= 37543
involuntary context switches= 19412

runsolver used 1.81572 s user time and 4.6153 s system time

The end

Launcher Data (download as text)

Begin job on node55 on Sat Jan  6 10:40:07 UTC 2007


IDJOB= 221138
IDBENCH= 5397
FILE ID= node55/221138-1168080005

PBS_JOBID= 3476148

Free space on /tmp= 66544 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  f48bbf370f434c1ca8879a4f158ccd36

RANDOM SEED= 941709346

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.218
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	: 5931.00
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.218
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:       1281808 kB
Buffers:         56244 kB
Cached:         614916 kB
SwapCached:          0 kB
Active:         113236 kB
Inactive:       578004 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1281808 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1920 kB
Writeback:           0 kB
Mapped:          30256 kB
Slab:            68628 kB
Committed_AS:  3036976 kB
PageTables:       1572 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= 66542 MiB



End job on node55 on Sat Jan  6 11:10:10 UTC 2007