Trace number 237676

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 ESAC? (TO) 1800.23 1810.98

General information on the benchmark

Namehaystacks/
haystacks_29.xml
MD5SUM6ea2fd023b80d39fcc8c5d27a75b4ff2
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 benchmark55.5806
SatisfiableNO
(Un)Satisfiability was proved
Number of variables841
Number of constraints11802
Maximum constraint arity2
Maximum domain size29
Number of constraints which are defined in extension0
Number of constraints which are defined in intension11802
Global constraints used (with number of constraints)

Solver Data (download as text)

0.34	   
0.34	Abscon 109 (November, 2006)
0.34	   
0.34	   configuration
0.34	     name=esac.xml
0.40	   
0.40	   instance
0.40	     name=/tmp/evaluation/237676-1168350048/unknown.xml
0.43	   
0.43	   domains being loaded...
0.44	   
0.44	   variables being loaded...
0.56	     nbVariables=841  nbDomainTypes=1  minDomainSize=29  maxDomainSize=29
0.57	       =>  wckTime=0.225  cpuTime=0.15  mem=8M838
0.57	   
0.57	   predicates being loaded...
0.57	   
0.57	   constraints being loaded...
2.16	     nbConstraints=11802  nbConvertedConstraints=11802  nbConvertConstraintsChecks=3364  nbExtensionStructures=4
2.16	     nbSharedExtensionStructures=11798  nbConflictsStructures=4  nbSharedConflictsStructures=11798
2.16	     nbSharedBinaryRepresentations=173  maxDegree=29  maxArity=2
2.16	       =>  wckTime=1.82  cpuTime=1.56  mem=28M787
2.29	   
2.29	   solver IterativeSystematicSolver being built... 
2.52	       =>  wckTime=2.179  cpuTime=1.76  mem=24M444
2.97	   
2.97	   preprocessing
2.97	     nbConstraintChecks=344950  nbPropagations=17792  nbRevisions=18203  nbUselessRevisions=1993  nbSingletonTests=1026
2.97	     nbEffectiveSingletonTests=0  nbESACBranches=4  nbRemovedValues=0  detectedInconsistency=no
2.97	       =>  wckTime=0.438  cpuTime=0.41  mem=24M444
3.08	   
3.08	   search
3.08	     run=0  nbConstraintChecks=47431  nbPropagations=19908  nbRevisions=20365  nbUselessRevisions=2074  nbAssignments=99
3.08	     nbFailedAssignments=10  nbBacktracks=10  nbVisitedNodes=120  nbRestartNogoods=0  mapSize=10  nbInferences=0
3.08	     nbTooLargeKeys=0
3.08	       =>  wckTime=0.557  cpuTime=0.51  mem=25M439
3.14	   
3.14	   search
3.14	     run=1  nbConstraintChecks=94674  nbPropagations=41976  nbRevisions=42930  nbUselessRevisions=4220
3.14	     nbAssignments=208  nbFailedAssignments=24  nbBacktracks=25  nbVisitedNodes=257  nbRestartNogoods=4  mapSize=25
3.14	     nbInferences=0  nbTooLargeKeys=0
3.14	       =>  wckTime=0.617  cpuTime=0.57  mem=25M439
3.21	   
3.21	   search
3.21	     run=2  nbConstraintChecks=142137  nbPropagations=66269  nbRevisions=67771  nbUselessRevisions=6445
3.21	     nbAssignments=330  nbFailedAssignments=44  nbBacktracks=47  nbVisitedNodes=419  nbRestartNogoods=7  mapSize=47
3.21	     nbInferences=0  nbTooLargeKeys=0
3.21	       =>  wckTime=0.686  cpuTime=0.63  mem=26M433
3.28	   
3.28	   search
3.28	     run=3  nbConstraintChecks=189898  nbPropagations=92869  nbRevisions=94968  nbUselessRevisions=8749
3.28	     nbAssignments=471  nbFailedAssignments=71  nbBacktracks=80  nbVisitedNodes=615  nbRestartNogoods=12  mapSize=80
3.28	     nbInferences=1  nbTooLargeKeys=0
3.28	       =>  wckTime=0.756  cpuTime=0.7  mem=26M433
3.36	   
3.36	   search
3.36	     run=4  nbConstraintChecks=238056  nbPropagations=121902  nbRevisions=124645  nbUselessRevisions=11133
3.36	     nbAssignments=640  nbFailedAssignments=108  nbBacktracks=131  nbVisitedNodes=861  nbRestartNogoods=16  mapSize=129
3.36	     nbInferences=4  nbTooLargeKeys=0
3.36	       =>  wckTime=0.839  cpuTime=0.78  mem=26M433
3.47	   
3.47	   search
3.47	     run=5  nbConstraintChecks=286883  nbPropagations=153605  nbRevisions=157013  nbUselessRevisions=13598
3.47	     nbAssignments=860  nbFailedAssignments=157  nbBacktracks=208  nbVisitedNodes=1196  nbRestartNogoods=21  mapSize=204
3.47	     nbInferences=21  nbTooLargeKeys=0
3.47	       =>  wckTime=0.944  cpuTime=0.87  mem=27M428
3.59	   
3.59	   search
3.59	     run=6  nbConstraintChecks=336540  nbPropagations=188293  nbRevisions=192377  nbUselessRevisions=16146
3.59	     nbAssignments=1148  nbFailedAssignments=231  nbBacktracks=321  nbVisitedNodes=1654  nbRestartNogoods=23
3.59	     mapSize=316  nbInferences=43  nbTooLargeKeys=0
3.59	       =>  wckTime=1.06  cpuTime=0.99  mem=28M423
3.75	   
3.75	   search
3.75	     run=7  nbConstraintChecks=387545  nbPropagations=226471  nbRevisions=231205  nbUselessRevisions=18780
3.75	     nbAssignments=1546  nbFailedAssignments=338  nbBacktracks=491  nbVisitedNodes=2308  nbRestartNogoods=30
3.75	     mapSize=486  nbInferences=85  nbTooLargeKeys=0
3.75	       =>  wckTime=1.231  cpuTime=1.14  mem=29M417
3.96	   
3.96	   search
3.96	     run=8  nbConstraintChecks=440647  nbPropagations=268922  nbRevisions=274203  nbUselessRevisions=21504
3.96	     nbAssignments=2114  nbFailedAssignments=489  nbBacktracks=747  nbVisitedNodes=3261  nbRestartNogoods=38
3.96	     mapSize=742  nbInferences=168  nbTooLargeKeys=0
3.96	       =>  wckTime=1.437  cpuTime=1.34  mem=31M407
4.25	   
4.25	   search
4.25	     run=9  nbConstraintChecks=497226  nbPropagations=316929  nbRevisions=322508  nbUselessRevisions=24319
4.25	     nbAssignments=2951  nbFailedAssignments=707  nbBacktracks=1131  nbVisitedNodes=4690  nbRestartNogoods=45
4.25	     mapSize=1126  nbInferences=324  nbTooLargeKeys=0
4.25	       =>  wckTime=1.728  cpuTime=1.63  mem=33M396
4.56	   
4.56	   search
4.56	     run=10  nbConstraintChecks=563194  nbPropagations=371303  nbRevisions=377400  nbUselessRevisions=27390
4.56	     nbAssignments=3964  nbFailedAssignments=1084  nbBacktracks=1707  nbVisitedNodes=6491  nbRestartNogoods=50
4.56	     mapSize=1668  nbInferences=358  nbTooLargeKeys=0
4.56	       =>  wckTime=2.036  cpuTime=1.92  mem=35M385
5.06	   
5.06	   search
5.06	     run=11  nbConstraintChecks=665313  nbPropagations=437254  nbRevisions=443244  nbUselessRevisions=30966
5.06	     nbAssignments=5869  nbFailedAssignments=1503  nbBacktracks=2571  nbVisitedNodes=9778  nbRestartNogoods=57
5.06	     mapSize=2496  nbInferences=929  nbTooLargeKeys=0
5.06	       =>  wckTime=2.54  cpuTime=2.43  mem=36M380
5.89	   
5.89	   search
5.89	     run=12  nbConstraintChecks=838040  nbPropagations=521760  nbRevisions=526568  nbUselessRevisions=35148
5.89	     nbAssignments=8801  nbFailedAssignments=2144  nbBacktracks=3869  nbVisitedNodes=14781  nbRestartNogoods=68
5.89	     mapSize=3754  nbInferences=1768  nbTooLargeKeys=0
5.89	       =>  wckTime=3.365  cpuTime=3.24  mem=40M359
7.18	   
7.18	   search
7.18	     run=13  nbConstraintChecks=1029949  nbPropagations=632196  nbRevisions=633737  nbUselessRevisions=40062
7.18	     nbAssignments=13258  nbFailedAssignments=3069  nbBacktracks=5816  nbVisitedNodes=22462  nbRestartNogoods=78
7.18	     mapSize=5663  nbInferences=3196  nbTooLargeKeys=0
7.18	       =>  wckTime=4.655  cpuTime=4.52  mem=48M316
10.07	   
10.07	   search
10.07	     run=14  nbConstraintChecks=1350616  nbPropagations=792004  nbRevisions=783152  nbUselessRevisions=46002
10.07	     nbAssignments=21462  nbFailedAssignments=4060  nbBacktracks=8735  nbVisitedNodes=36514  nbRestartNogoods=91
10.07	     mapSize=8548  nbInferences=7225  nbTooLargeKeys=0
10.07	       =>  wckTime=7.546  cpuTime=7.34  mem=51M45
14.76	   
14.76	   search
14.76	     run=15  nbConstraintChecks=1813748  nbPropagations=1031256  nbRevisions=999189  nbUselessRevisions=53558
14.76	     nbAssignments=34626  nbFailedAssignments=5372  nbBacktracks=13114  nbVisitedNodes=59259  nbRestartNogoods=102
14.76	     mapSize=12887  nbInferences=14388  nbTooLargeKeys=0
14.76	       =>  wckTime=12.24  cpuTime=11.91  mem=72M187
20.69	   
20.69	   search
20.70	     run=16  nbConstraintChecks=2479920  nbPropagations=1377943  nbRevisions=1308203  nbUselessRevisions=63154
20.70	     nbAssignments=52590  nbFailedAssignments=7955  nbBacktracks=19682  nbVisitedNodes=90038  nbRestartNogoods=121
20.70	     mapSize=19426  nbInferences=22554  nbTooLargeKeys=0
20.70	       =>  wckTime=18.172  cpuTime=17.7  mem=101M223
32.19	   
32.19	   search
32.19	     run=17  nbConstraintChecks=3561027  nbPropagations=1925194  nbRevisions=1782495  nbUselessRevisions=76844
32.19	     nbAssignments=85356  nbFailedAssignments=10372  nbBacktracks=29535  nbVisitedNodes=146738  nbRestartNogoods=141
32.19	     mapSize=29208  nbInferences=42287  nbTooLargeKeys=0
32.19	       =>  wckTime=29.666  cpuTime=28.89  mem=129M993
49.25	   
49.25	   search
49.25	     run=18  nbConstraintChecks=4874852  nbPropagations=2757501  nbRevisions=2487684  nbUselessRevisions=94733
49.25	     nbAssignments=133711  nbFailedAssignments=13956  nbBacktracks=44314  nbVisitedNodes=231080  nbRestartNogoods=155
49.25	     mapSize=43920  nbInferences=71628  nbTooLargeKeys=0
49.25	       =>  wckTime=46.731  cpuTime=45.52  mem=185M817
77.23	   
77.23	   search
77.23	     run=19  nbConstraintChecks=7007912  nbPropagations=4082001  nbRevisions=3588501  nbUselessRevisions=121559
77.23	     nbAssignments=213956  nbFailedAssignments=18261  nbBacktracks=66483  nbVisitedNodes=372762  nbRestartNogoods=178
77.23	     mapSize=66016  nbInferences=124850  nbTooLargeKeys=0
77.23	       =>  wckTime=74.711  cpuTime=72.85  mem=288M699
122.12	   
122.12	   search
122.12	     run=20  nbConstraintChecks=10737168  nbPropagations=6214712  nbRevisions=5335151  nbUselessRevisions=161011
122.12	     nbAssignments=341753  nbFailedAssignments=23581  nbBacktracks=99735  nbVisitedNodes=597481  nbRestartNogoods=199
122.12	     mapSize=99191  nbInferences=212527  nbTooLargeKeys=0
122.12	       =>  wckTime=119.595  cpuTime=116.71  mem=432M692
167.90	   
167.90	   search
167.90	     run=21  nbConstraintChecks=18133156  nbPropagations=9385542  nbRevisions=7991501  nbUselessRevisions=253074
167.90	     nbAssignments=500121  nbFailedAssignments=37615  nbBacktracks=149613  nbVisitedNodes=875798  nbRestartNogoods=227
167.90	     mapSize=148930  nbInferences=305713  nbTooLargeKeys=0
167.90	       =>  wckTime=165.376  cpuTime=161.77  mem=525M928
183.84	   
183.84	   INFO : Stopping hyperNogood (mapSize=163606, nbTooLargekeys=0, mem=600M134)
199.96	   
199.96	   search
199.97	     run=22  nbConstraintChecks=20933837  nbPropagations=13309523  nbRevisions=11420040  nbUselessRevisions=422915
199.97	     nbAssignments=650880  nbFailedAssignments=82682  nbBacktracks=224431  nbVisitedNodes=1145075  nbRestartNogoods=250
199.97	       =>  wckTime=197.442  cpuTime=193.52  mem=600M134
230.56	   
230.56	   search
230.56	     run=23  nbConstraintChecks=25524842  nbPropagations=18128528  nbRevisions=15808330  nbUselessRevisions=602850
230.56	     nbAssignments=841665  nbFailedAssignments=160459  nbBacktracks=336658  nbVisitedNodes=1490561  nbRestartNogoods=279
230.56	       =>  wckTime=228.033  cpuTime=223.97  mem=600M134
274.73	   
274.73	   search
274.73	     run=24  nbConstraintChecks=29904959  nbPropagations=24263866  nbRevisions=21540497  nbUselessRevisions=809163
274.73	     nbAssignments=1127790  nbFailedAssignments=276881  nbBacktracks=504999  nbVisitedNodes=2008362
274.73	     nbRestartNogoods=301
274.73	       =>  wckTime=272.209  cpuTime=267.93  mem=600M134
340.39	   
340.39	   search
340.39	     run=25  nbConstraintChecks=35549264  nbPropagations=32331270  nbRevisions=29215427  nbUselessRevisions=1025034
340.39	     nbAssignments=1554277  nbFailedAssignments=449900  nbBacktracks=757510  nbVisitedNodes=2780125
340.39	     nbRestartNogoods=334
340.39	       =>  wckTime=337.872  cpuTime=333.29  mem=600M134
434.25	   
434.25	   search
434.25	     run=26  nbConstraintChecks=43390718  nbPropagations=43275976  nbRevisions=39774599  nbUselessRevisions=1246825
434.25	     nbAssignments=2194189  nbFailedAssignments=710372  nbBacktracks=1136277  nbVisitedNodes=3940494
434.25	     nbRestartNogoods=367
434.25	       =>  wckTime=431.731  cpuTime=426.62  mem=600M134
571.84	   
571.84	   search
571.84	     run=27  nbConstraintChecks=59839716  nbPropagations=58627547  nbRevisions=54892624  nbUselessRevisions=1494100
571.84	     nbAssignments=3156714  nbFailedAssignments=1103751  nbBacktracks=1704428  nbVisitedNodes=5688378
571.84	     nbRestartNogoods=398
571.84	       =>  wckTime=569.313  cpuTime=563.5  mem=600M134
772.82	   
772.82	   search
772.82	     run=28  nbConstraintChecks=77326796  nbPropagations=80464946  nbRevisions=76514413  nbUselessRevisions=1756180
772.82	     nbAssignments=4599964  nbFailedAssignments=1693768  nbBacktracks=2556655  nbVisitedNodes=8310830
772.82	     nbRestartNogoods=428
772.82	       =>  wckTime=770.299  cpuTime=763.47  mem=600M134
1072.15	   
1072.15	   search
1072.15	     run=29  nbConstraintChecks=103342248  nbPropagations=112010797  nbRevisions=107886736  nbUselessRevisions=2031719
1072.15	     nbAssignments=6765641  nbFailedAssignments=2580157  nbBacktracks=3834995  nbVisitedNodes=12248431
1072.15	     nbRestartNogoods=466
1072.15	       =>  wckTime=1069.628  cpuTime=1061.25  mem=600M134
1500.69	   
1500.69	   search
1500.69	     run=30  nbConstraintChecks=141374397  nbPropagations=158107711  nbRevisions=153844234  nbUselessRevisions=2333362
1500.69	     nbAssignments=10012976  nbFailedAssignments=3907996  nbBacktracks=5752505  nbVisitedNodes=18149547
1500.69	     nbRestartNogoods=517
1500.69	       =>  wckTime=1498.171  cpuTime=1487.43  mem=600M134

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

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

/proc/loadavg: 2.22 2.08 2.02 4/98 3057
/proc/meminfo: memFree=1309344/2055920 swapFree=4191880/4192956
[pid=3056] ppid=3054 vsize=11820 CPUtime=0
/proc/3056/stat : 3056 (java) D 3054 3056 2866 0 -1 0 760 0 1 0 0 0 0 0 16 0 1 0 183399133 12103680 510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 2495268 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/3056/statm: 2955 510 421 14 0 1602 0

[startup+0.10323 s]
/proc/loadavg: 2.22 2.08 2.02 4/98 3057
/proc/meminfo: memFree=1309344/2055920 swapFree=4191880/4192956
[pid=3056] ppid=3054 vsize=914988 CPUtime=0.09
/proc/3056/stat : 3056 (java) R 3054 3056 2866 0 -1 0 2966 0 1 0 7 2 0 0 17 0 8 0 183399133 936947712 2712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154038064 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3056/statm: 228747 2712 1418 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.511308 s]
/proc/loadavg: 2.22 2.08 2.02 4/98 3057
/proc/meminfo: memFree=1309344/2055920 swapFree=4191880/4192956
[pid=3056] ppid=3054 vsize=915328 CPUtime=0.44
/proc/3056/stat : 3056 (java) R 3054 3056 2866 0 -1 0 6180 0 10 0 40 4 0 0 18 0 8 0 183399133 937295872 5928 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155769995 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3056/statm: 228832 5928 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 915328

[startup+1.33347 s]
/proc/loadavg: 2.22 2.08 2.02 4/105 3064
/proc/meminfo: memFree=1246632/2055920 swapFree=4191880/4192956
[pid=3056] ppid=3054 vsize=915628 CPUtime=1.26
/proc/3056/stat : 3056 (java) R 3054 3056 2866 0 -1 0 17817 0 10 0 109 17 0 0 24 0 8 0 183399133 937603072 17563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073637920 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3056/statm: 228907 17563 2180 14 0 215377 0
[pid=3056/tid=3058] ppid=3054 vsize=915628 CPUtime=0.05
/proc/3056/task/3058/stat : 3058 (java) S 3054 3056 2866 0 -1 64 1215 0 0 0 5 0 0 0 16 0 8 0 183399137 937603072 17563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3059] ppid=3054 vsize=915628 CPUtime=0
/proc/3056/task/3059/stat : 3059 (java) S 3054 3056 2866 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183399137 937603072 17563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3060] ppid=3054 vsize=915628 CPUtime=0
/proc/3056/task/3060/stat : 3060 (java) S 3054 3056 2866 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183399137 937603072 17563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3061] ppid=3054 vsize=915628 CPUtime=0
/proc/3056/task/3061/stat : 3061 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183399141 937603072 17563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3062] ppid=3054 vsize=915628 CPUtime=0.17
/proc/3056/task/3062/stat : 3062 (java) S 3054 3056 2866 0 -1 64 418 0 0 0 17 0 0 0 15 0 8 0 183399141 937603072 17563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3063] ppid=3054 vsize=915628 CPUtime=0
/proc/3056/task/3063/stat : 3063 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183399141 937603072 17563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3064] ppid=3054 vsize=915628 CPUtime=0
/proc/3056/task/3064/stat : 3064 (java) R 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183399141 937603072 17563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 915628

[startup+2.98279 s]
/proc/loadavg: 2.20 2.08 2.02 4/105 3064
/proc/meminfo: memFree=1245032/2055920 swapFree=4191880/4192956
[pid=3056] ppid=3054 vsize=915732 CPUtime=2.9
/proc/3056/stat : 3056 (java) R 3054 3056 2866 0 -1 0 20039 0 10 0 228 62 0 0 25 0 8 0 183399133 937709568 19783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074050737 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3056/statm: 228933 19783 2544 14 0 215403 0
[pid=3056/tid=3058] ppid=3054 vsize=915732 CPUtime=0.16
/proc/3056/task/3058/stat : 3058 (java) S 3054 3056 2866 0 -1 64 2942 0 0 0 15 1 0 0 17 0 8 0 183399137 937709568 19783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3059] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3059/stat : 3059 (java) S 3054 3056 2866 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183399137 937709568 19783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3060] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3060/stat : 3060 (java) S 3054 3056 2866 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183399137 937709568 19783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3061] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3061/stat : 3061 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183399141 937709568 19783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3062] ppid=3054 vsize=915732 CPUtime=0.27
/proc/3056/task/3062/stat : 3062 (java) S 3054 3056 2866 0 -1 64 476 0 0 0 26 1 0 0 15 0 8 0 183399141 937709568 19783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3063] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3063/stat : 3063 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183399141 937709568 19783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3064] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3064/stat : 3064 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183399141 937709568 19783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915732

[startup+6.27142 s]
/proc/loadavg: 2.20 2.08 2.02 3/105 3064
/proc/meminfo: memFree=1237544/2055920 swapFree=4191880/4192956
[pid=3056] ppid=3054 vsize=915732 CPUtime=6.15
/proc/3056/stat : 3056 (java) R 3054 3056 2866 0 -1 0 20068 0 10 0 552 63 0 0 25 0 8 0 183399133 937709568 19809 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074057531 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3056/statm: 228933 19809 2545 14 0 215403 0
[pid=3056/tid=3058] ppid=3054 vsize=915732 CPUtime=0.16
/proc/3056/task/3058/stat : 3058 (java) S 3054 3056 2866 0 -1 64 2942 0 0 0 15 1 0 0 17 0 8 0 183399137 937709568 19809 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3059] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3059/stat : 3059 (java) S 3054 3056 2866 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183399137 937709568 19809 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3060] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3060/stat : 3060 (java) S 3054 3056 2866 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183399137 937709568 19809 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3061] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3061/stat : 3061 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183399141 937709568 19809 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3062] ppid=3054 vsize=915732 CPUtime=0.33
/proc/3056/task/3062/stat : 3062 (java) S 3054 3056 2866 0 -1 64 499 0 0 0 32 1 0 0 15 0 8 0 183399141 937709568 19809 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3063] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3063/stat : 3063 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183399141 937709568 19809 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3064] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3064/stat : 3064 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183399141 937709568 19809 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 915732

[startup+12.7704 s]
/proc/loadavg: 2.17 2.08 2.01 3/105 3064
/proc/meminfo: memFree=1217896/2055920 swapFree=4191880/4192956
[pid=3056] ppid=3054 vsize=915732 CPUtime=12.57
/proc/3056/stat : 3056 (java) R 3054 3056 2866 0 -1 0 29942 0 10 0 1190 67 0 0 25 0 8 0 183399133 937709568 29680 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074057578 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3056/statm: 228933 29680 2545 14 0 215403 0
[pid=3056/tid=3058] ppid=3054 vsize=915732 CPUtime=0.26
/proc/3056/task/3058/stat : 3058 (java) S 3054 3056 2866 0 -1 64 12812 0 0 0 21 5 0 0 16 0 8 0 183399137 937709568 29680 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3059] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3059/stat : 3059 (java) S 3054 3056 2866 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183399137 937709568 29680 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3060] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3060/stat : 3060 (java) S 3054 3056 2866 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183399137 937709568 29680 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3061] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3061/stat : 3061 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183399141 937709568 29680 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3062] ppid=3054 vsize=915732 CPUtime=0.33
/proc/3056/task/3062/stat : 3062 (java) S 3054 3056 2866 0 -1 64 500 0 0 0 32 1 0 0 16 0 8 0 183399141 937709568 29680 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3063] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3063/stat : 3063 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183399141 937709568 29680 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3064] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3064/stat : 3064 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183399141 937709568 29680 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 915732

[startup+25.6592 s]
/proc/loadavg: 2.14 2.07 2.01 3/105 3064
/proc/meminfo: memFree=1159976/2055920 swapFree=4191880/4192956
[pid=3056] ppid=3054 vsize=915732 CPUtime=25.29
/proc/3056/stat : 3056 (java) R 3054 3056 2866 0 -1 0 39475 0 10 0 2458 71 0 0 25 0 8 0 183399133 937709568 39210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074058184 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3056/statm: 228933 39210 2545 14 0 215403 0
[pid=3056/tid=3058] ppid=3054 vsize=915732 CPUtime=0.37
/proc/3056/task/3058/stat : 3058 (java) S 3054 3056 2866 0 -1 64 22340 0 0 0 28 9 0 0 16 0 8 0 183399137 937709568 39210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3059] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3059/stat : 3059 (java) S 3054 3056 2866 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183399137 937709568 39210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3060] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3060/stat : 3060 (java) S 3054 3056 2866 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183399137 937709568 39210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3061] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3061/stat : 3061 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183399141 937709568 39210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3062] ppid=3054 vsize=915732 CPUtime=0.33
/proc/3056/task/3062/stat : 3062 (java) S 3054 3056 2866 0 -1 64 502 0 0 0 32 1 0 0 16 0 8 0 183399141 937709568 39210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3063] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3063/stat : 3063 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183399141 937709568 39210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3064] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3064/stat : 3064 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183399141 937709568 39210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 915732

[startup+51.3451 s]
/proc/loadavg: 2.09 2.07 2.01 3/105 3064
/proc/meminfo: memFree=1067176/2055920 swapFree=4191880/4192956
[pid=3056] ppid=3054 vsize=915732 CPUtime=50.61
/proc/3056/stat : 3056 (java) R 3054 3056 2866 0 -1 0 62629 0 10 0 4978 83 0 0 25 0 8 0 183399133 937709568 62358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074018415 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3056/statm: 228933 62358 2545 14 0 215403 0
[pid=3056/tid=3058] ppid=3054 vsize=915732 CPUtime=0.64
/proc/3056/task/3058/stat : 3058 (java) S 3054 3056 2866 0 -1 64 45488 0 0 0 44 20 0 0 16 0 8 0 183399137 937709568 62358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3059] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3059/stat : 3059 (java) S 3054 3056 2866 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183399137 937709568 62358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3060] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3060/stat : 3060 (java) S 3054 3056 2866 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183399137 937709568 62358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3061] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3061/stat : 3061 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183399141 937709568 62358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3062] ppid=3054 vsize=915732 CPUtime=0.33
/proc/3056/task/3062/stat : 3062 (java) S 3054 3056 2866 0 -1 64 502 0 0 0 32 1 0 0 16 0 8 0 183399141 937709568 62358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3063] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3063/stat : 3063 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183399141 937709568 62358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3064] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3064/stat : 3064 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183399141 937709568 62358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 915732

[startup+102.618 s]
/proc/loadavg: 2.04 2.05 2.01 3/105 3064
/proc/meminfo: memFree=869352/2055920 swapFree=4191880/4192956
[pid=3056] ppid=3054 vsize=915732 CPUtime=101.15
/proc/3056/stat : 3056 (java) R 3054 3056 2866 0 -1 0 105066 0 10 0 10014 101 0 0 25 0 8 0 183399133 937709568 104783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074009444 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3056/statm: 228933 104783 2545 14 0 215403 0
[pid=3056/tid=3058] ppid=3054 vsize=915732 CPUtime=1.15
/proc/3056/task/3058/stat : 3058 (java) S 3054 3056 2866 0 -1 64 87913 0 0 0 77 38 0 0 16 0 8 0 183399137 937709568 104783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3059] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3059/stat : 3059 (java) S 3054 3056 2866 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183399137 937709568 104783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3060] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3060/stat : 3060 (java) S 3054 3056 2866 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183399137 937709568 104783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3061] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3061/stat : 3061 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183399141 937709568 104783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3062] ppid=3054 vsize=915732 CPUtime=0.33
/proc/3056/task/3062/stat : 3062 (java) S 3054 3056 2866 0 -1 64 502 0 0 0 32 1 0 0 16 0 8 0 183399141 937709568 104783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3063] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3063/stat : 3063 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183399141 937709568 104783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3064] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3064/stat : 3064 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183399141 937709568 104783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.15
Current children cumulated vsize (KiB) 915732

[startup+162.688 s]
/proc/loadavg: 2.01 2.04 2.00 4/105 3064
/proc/meminfo: memFree=718120/2055920 swapFree=4191880/4192956
[pid=3056] ppid=3054 vsize=915732 CPUtime=160.62
/proc/3056/stat : 3056 (java) R 3054 3056 2866 0 -1 0 138898 0 10 0 15947 115 0 0 25 0 8 0 183399133 937709568 138606 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918529 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+1483.62 s]
/proc/loadavg: 2.11 2.08 2.02 3/101 3335
/proc/meminfo: memFree=955584/2055920 swapFree=4191880/4192956
[pid=3056] ppid=3054 vsize=915732 CPUtime=1474.62
/proc/3056/stat : 3056 (java) R 3054 3056 2866 0 -1 0 155238 0 10 0 147323 139 0 0 25 0 8 0 183399133 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074031367 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3056/statm: 228933 154941 2545 14 0 215403 0
[pid=3056/tid=3058] ppid=3054 vsize=915732 CPUtime=1.81
/proc/3056/task/3058/stat : 3058 (java) S 3054 3056 2866 0 -1 64 138071 0 0 0 124 57 0 0 16 0 8 0 183399137 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3059] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3059/stat : 3059 (java) S 3054 3056 2866 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183399137 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3060] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3060/stat : 3060 (java) S 3054 3056 2866 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183399137 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3061] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3061/stat : 3061 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183399141 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3062] ppid=3054 vsize=915732 CPUtime=0.33
/proc/3056/task/3062/stat : 3062 (java) S 3054 3056 2866 0 -1 64 502 0 0 0 32 1 0 0 16 0 8 0 183399141 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3063] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3063/stat : 3063 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183399141 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3064] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3064/stat : 3064 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183399141 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1474.62
Current children cumulated vsize (KiB) 915732

[startup+1543.65 s]
/proc/loadavg: 2.09 2.08 2.02 3/101 3335
/proc/meminfo: memFree=955584/2055920 swapFree=4191880/4192956
[pid=3056] ppid=3054 vsize=915732 CPUtime=1534.34
/proc/3056/stat : 3056 (java) R 3054 3056 2866 0 -1 0 155238 0 10 0 153295 139 0 0 25 0 8 0 183399133 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074087550 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3056/statm: 228933 154941 2545 14 0 215403 0
[pid=3056/tid=3058] ppid=3054 vsize=915732 CPUtime=1.81
/proc/3056/task/3058/stat : 3058 (java) S 3054 3056 2866 0 -1 64 138071 0 0 0 124 57 0 0 16 0 8 0 183399137 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3059] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3059/stat : 3059 (java) S 3054 3056 2866 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183399137 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3060] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3060/stat : 3060 (java) S 3054 3056 2866 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183399137 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3061] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3061/stat : 3061 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183399141 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3062] ppid=3054 vsize=915732 CPUtime=0.33
/proc/3056/task/3062/stat : 3062 (java) S 3054 3056 2866 0 -1 64 502 0 0 0 32 1 0 0 16 0 8 0 183399141 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3063] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3063/stat : 3063 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183399141 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3064] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3064/stat : 3064 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183399141 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1534.34
Current children cumulated vsize (KiB) 915732

[startup+1603.67 s]
/proc/loadavg: 2.07 2.08 2.02 3/101 3335
/proc/meminfo: memFree=947648/2055920 swapFree=4191880/4192956
[pid=3056] ppid=3054 vsize=915732 CPUtime=1594.03
/proc/3056/stat : 3056 (java) R 3054 3056 2866 0 -1 0 155238 0 10 0 159263 140 0 0 25 0 8 0 183399133 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074055964 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3056/statm: 228933 154941 2545 14 0 215403 0
[pid=3056/tid=3058] ppid=3054 vsize=915732 CPUtime=1.81
/proc/3056/task/3058/stat : 3058 (java) S 3054 3056 2866 0 -1 64 138071 0 0 0 124 57 0 0 16 0 8 0 183399137 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3059] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3059/stat : 3059 (java) S 3054 3056 2866 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183399137 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3060] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3060/stat : 3060 (java) S 3054 3056 2866 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183399137 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3061] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3061/stat : 3061 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183399141 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3062] ppid=3054 vsize=915732 CPUtime=0.33
/proc/3056/task/3062/stat : 3062 (java) S 3054 3056 2866 0 -1 64 502 0 0 0 32 1 0 0 16 0 8 0 183399141 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3063] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3063/stat : 3063 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183399141 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3064] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3064/stat : 3064 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183399141 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1594.03
Current children cumulated vsize (KiB) 915732

[startup+1663.7 s]
/proc/loadavg: 2.02 2.06 2.01 3/101 3335
/proc/meminfo: memFree=945984/2055920 swapFree=4191880/4192956
[pid=3056] ppid=3054 vsize=915732 CPUtime=1653.76
/proc/3056/stat : 3056 (java) R 3054 3056 2866 0 -1 0 155238 0 10 0 165236 140 0 0 25 0 8 0 183399133 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074018377 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3056/statm: 228933 154941 2545 14 0 215403 0
[pid=3056/tid=3058] ppid=3054 vsize=915732 CPUtime=1.81
/proc/3056/task/3058/stat : 3058 (java) S 3054 3056 2866 0 -1 64 138071 0 0 0 124 57 0 0 16 0 8 0 183399137 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3059] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3059/stat : 3059 (java) S 3054 3056 2866 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183399137 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3060] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3060/stat : 3060 (java) S 3054 3056 2866 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183399137 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3061] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3061/stat : 3061 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183399141 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3062] ppid=3054 vsize=915732 CPUtime=0.33
/proc/3056/task/3062/stat : 3062 (java) S 3054 3056 2866 0 -1 64 502 0 0 0 32 1 0 0 16 0 8 0 183399141 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3063] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3063/stat : 3063 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183399141 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3064] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3064/stat : 3064 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183399141 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1653.76
Current children cumulated vsize (KiB) 915732

[startup+1723.75 s]
/proc/loadavg: 2.01 2.05 2.00 3/101 3335
/proc/meminfo: memFree=945920/2055920 swapFree=4191880/4192956
[pid=3056] ppid=3054 vsize=915732 CPUtime=1713.47
/proc/3056/stat : 3056 (java) R 3054 3056 2866 0 -1 0 155238 0 10 0 171207 140 0 0 25 0 8 0 183399133 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074031322 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3056/statm: 228933 154941 2545 14 0 215403 0
[pid=3056/tid=3058] ppid=3054 vsize=915732 CPUtime=1.81
/proc/3056/task/3058/stat : 3058 (java) S 3054 3056 2866 0 -1 64 138071 0 0 0 124 57 0 0 16 0 8 0 183399137 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3059] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3059/stat : 3059 (java) S 3054 3056 2866 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183399137 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3060] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3060/stat : 3060 (java) S 3054 3056 2866 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183399137 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3061] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3061/stat : 3061 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183399141 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3062] ppid=3054 vsize=915732 CPUtime=0.33
/proc/3056/task/3062/stat : 3062 (java) S 3054 3056 2866 0 -1 64 502 0 0 0 32 1 0 0 16 0 8 0 183399141 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3063] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3063/stat : 3063 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183399141 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3064] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3064/stat : 3064 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183399141 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1713.47
Current children cumulated vsize (KiB) 915732

[startup+1783.8 s]
/proc/loadavg: 2.04 2.05 2.00 3/101 3335
/proc/meminfo: memFree=945856/2055920 swapFree=4191880/4192956
[pid=3056] ppid=3054 vsize=915732 CPUtime=1773.19
/proc/3056/stat : 3056 (java) R 3054 3056 2866 0 -1 0 155238 0 10 0 177178 141 0 0 25 0 8 0 183399133 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073480120 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3056/statm: 228933 154941 2545 14 0 215403 0
[pid=3056/tid=3058] ppid=3054 vsize=915732 CPUtime=1.81
/proc/3056/task/3058/stat : 3058 (java) S 3054 3056 2866 0 -1 64 138071 0 0 0 124 57 0 0 16 0 8 0 183399137 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3059] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3059/stat : 3059 (java) S 3054 3056 2866 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183399137 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3060] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3060/stat : 3060 (java) S 3054 3056 2866 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183399137 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3061] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3061/stat : 3061 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183399141 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3062] ppid=3054 vsize=915732 CPUtime=0.33
/proc/3056/task/3062/stat : 3062 (java) S 3054 3056 2866 0 -1 64 502 0 0 0 32 1 0 0 16 0 8 0 183399141 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3063] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3063/stat : 3063 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183399141 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3064] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3064/stat : 3064 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183399141 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1773.19
Current children cumulated vsize (KiB) 915732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1810.84 s]
/proc/loadavg: 2.02 2.05 2.00 3/101 3335
/proc/meminfo: memFree=945792/2055920 swapFree=4191880/4192956
[pid=3056] ppid=3054 vsize=915732 CPUtime=1800.08
/proc/3056/stat : 3056 (java) R 3054 3056 2866 0 -1 0 155238 0 10 0 179867 141 0 0 25 0 8 0 183399133 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074007848 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3056/statm: 228933 154941 2545 14 0 215403 0
[pid=3056/tid=3058] ppid=3054 vsize=915732 CPUtime=1.81
/proc/3056/task/3058/stat : 3058 (java) S 3054 3056 2866 0 -1 64 138071 0 0 0 124 57 0 0 16 0 8 0 183399137 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3059] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3059/stat : 3059 (java) S 3054 3056 2866 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183399137 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3060] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3060/stat : 3060 (java) S 3054 3056 2866 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183399137 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3061] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3061/stat : 3061 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183399141 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3062] ppid=3054 vsize=915732 CPUtime=0.33
/proc/3056/task/3062/stat : 3062 (java) S 3054 3056 2866 0 -1 64 502 0 0 0 32 1 0 0 16 0 8 0 183399141 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3063] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3063/stat : 3063 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183399141 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3064] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3064/stat : 3064 (java) R 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183399141 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 915732

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

Child status: 143
Real time (s): 1810.98
CPU time (s): 1800.23
CPU user time (s): 1798.73
CPU system time (s): 1.50277
CPU usage (%): 99.4064
Max. virtual memory (cumulated for all children) (KiB): 915764

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.73
system time used= 1.50277
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155254
page faults= 10
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38399
involuntary context switches= 86886

runsolver used 2.30465 s user time and 5.9201 s system time

The end

Launcher Data (download as text)

Begin job on node23 on Tue Jan  9 13:40:48 UTC 2007


IDJOB= 237676
IDBENCH= 6956
FILE ID= node23/237676-1168350048

PBS_JOBID= 3503660

Free space on /tmp= 66558 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  6ea2fd023b80d39fcc8c5d27a75b4ff2

RANDOM SEED= 535758657

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.265
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.265
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:       1309824 kB
Buffers:         14864 kB
Cached:         101100 kB
SwapCached:        316 kB
Active:         633380 kB
Inactive:        59040 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1309824 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            3076 kB
Writeback:           0 kB
Mapped:         604656 kB
Slab:            37324 kB
Committed_AS:  4652228 kB
PageTables:       3336 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= 66558 MiB



End job on node23 on Tue Jan  9 14:10:59 UTC 2007