Trace number 210326

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

General information on the benchmark

NamepseudoSeries/fpga/
fpga-15-13.xml
MD5SUM484be45bb21187452705ba7aa3fbcd63
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.63375
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables293
Number of constraints236
Maximum constraint arity15
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension236
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=esac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/210326-1168196776/unknown.xml
0.37	   
0.37	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.42	     nbVariables=293  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.42	       =>  wckTime=0.115  cpuTime=0.1  mem=6M951
0.42	   
0.42	   predicates being loaded...
0.44	   
0.44	   constraints being loaded...
0.68	     nbConstraints=236  nbConflictsStructures=6  nbSharedConflictsStructures=230  nbSharedBinaryRepresentations=0
0.68	     nbEvaluationManagers=6  nbSharedEvaluationManagers=230  maxDegree=14  maxArity=15
0.68	       =>  wckTime=0.372  cpuTime=0.26  mem=13M786
0.72	   
0.72	   solver IterativeSystematicSolver being built... 
0.93	       =>  wckTime=0.617  cpuTime=0.43  mem=19M867
1.03	   
1.03	   preprocessing
1.03	     nbConstraintChecks=9138  nbValidityChecks=4289  nbPropagations=1166  nbRevisions=3550  nbUselessRevisions=3212
1.03	     nbSingletonTests=550  nbEffectiveSingletonTests=0  nbESACBranches=2  nbRemovedValues=0  detectedInconsistency=no
1.03	       =>  wckTime=0.098  cpuTime=0.08  mem=19M867
1.14	   
1.14	   search
1.14	     run=0  nbConstraintChecks=9713  nbValidityChecks=462  nbPropagations=1463  nbRevisions=4104
1.14	     nbUselessRevisions=3461  nbAssignments=255  nbFailedAssignments=1  nbBacktracks=164  nbVisitedNodes=258
1.14	     nbRestartNogoods=0  mapSize=1  nbInferences=0  nbTooLargeKeys=0
1.14	       =>  wckTime=0.214  cpuTime=0.18  mem=19M867
1.26	   
1.26	   search
1.26	     run=1  nbConstraintChecks=33678  nbValidityChecks=1131  nbPropagations=3276  nbRevisions=8868
1.26	     nbUselessRevisions=7210  nbAssignments=525  nbFailedAssignments=3  nbBacktracks=190  nbVisitedNodes=532
1.26	     nbRestartNogoods=1  mapSize=4  nbInferences=0  nbTooLargeKeys=0
1.26	       =>  wckTime=0.327  cpuTime=0.28  mem=19M867
1.32	   
1.32	   search
1.32	     run=2  nbConstraintChecks=49460  nbValidityChecks=1894  nbPropagations=5413  nbRevisions=14406
1.32	     nbUselessRevisions=11395  nbAssignments=666  nbFailedAssignments=4  nbBacktracks=239  nbVisitedNodes=676
1.32	     nbRestartNogoods=2  mapSize=6  nbInferences=0  nbTooLargeKeys=0
1.32	       =>  wckTime=0.391  cpuTime=0.35  mem=19M867
1.40	   
1.40	   search
1.40	     run=3  nbConstraintChecks=79631  nbValidityChecks=3027  nbPropagations=7930  nbRevisions=20992
1.40	     nbUselessRevisions=16218  nbAssignments=817  nbFailedAssignments=6  nbBacktracks=295  nbVisitedNodes=833
1.40	     nbRestartNogoods=3  mapSize=11  nbInferences=1  nbTooLargeKeys=0
1.40	       =>  wckTime=0.474  cpuTime=0.43  mem=19M867
1.49	   
1.49	   search
1.49	     run=4  nbConstraintChecks=109784  nbValidityChecks=4187  nbPropagations=10827  nbRevisions=28639
1.49	     nbUselessRevisions=21693  nbAssignments=970  nbFailedAssignments=8  nbBacktracks=352  nbVisitedNodes=992
1.49	     nbRestartNogoods=4  mapSize=16  nbInferences=2  nbTooLargeKeys=0
1.49	       =>  wckTime=0.563  cpuTime=0.51  mem=20M842
1.63	   
1.63	   search
1.63	     run=5  nbConstraintChecks=158452  nbValidityChecks=5693  nbPropagations=14202  nbRevisions=37618
1.63	     nbUselessRevisions=27979  nbAssignments=1200  nbFailedAssignments=11  nbBacktracks=431  nbVisitedNodes=1231
1.63	     nbRestartNogoods=5  mapSize=23  nbInferences=4  nbTooLargeKeys=0
1.63	       =>  wckTime=0.705  cpuTime=0.65  mem=20M842
1.77	   
1.77	   search
1.77	     run=6  nbConstraintChecks=203036  nbValidityChecks=7070  nbPropagations=18042  nbRevisions=47784
1.77	     nbUselessRevisions=34933  nbAssignments=1452  nbFailedAssignments=14  nbBacktracks=583  nbVisitedNodes=1492
1.77	     nbRestartNogoods=7  mapSize=30  nbInferences=5  nbTooLargeKeys=0
1.77	       =>  wckTime=0.843  cpuTime=0.78  mem=20M842
1.97	   
1.97	   search
1.97	     run=7  nbConstraintChecks=258886  nbValidityChecks=10150  nbPropagations=22949  nbRevisions=60543
1.97	     nbUselessRevisions=43401  nbAssignments=1802  nbFailedAssignments=18  nbBacktracks=784  nbVisitedNodes=1864
1.97	     nbRestartNogoods=9  mapSize=48  nbInferences=18  nbTooLargeKeys=0
1.97	       =>  wckTime=1.041  cpuTime=0.97  mem=20M842
2.43	   
2.43	   search
2.43	     run=8  nbConstraintChecks=499824  nbValidityChecks=16920  nbPropagations=29377  nbRevisions=78461
2.43	     nbUselessRevisions=55336  nbAssignments=2310  nbFailedAssignments=42  nbBacktracks=1053  nbVisitedNodes=2332
2.43	     nbRestartNogoods=13  mapSize=91  nbInferences=18  nbTooLargeKeys=0
2.43	       =>  wckTime=1.497  cpuTime=1.42  mem=20M842
2.68	   
2.68	   search
2.68	     run=9  nbConstraintChecks=567896  nbValidityChecks=20285  nbPropagations=36672  nbRevisions=99048
2.68	     nbUselessRevisions=68979  nbAssignments=2868  nbFailedAssignments=50  nbBacktracks=1440  nbVisitedNodes=2907
2.68	     nbRestartNogoods=15  mapSize=104  nbInferences=18  nbTooLargeKeys=0
2.68	       =>  wckTime=1.75  cpuTime=1.66  mem=20M842
3.26	   
3.26	   search
3.26	     run=10  nbConstraintChecks=842105  nbValidityChecks=30302  nbPropagations=46833  nbRevisions=128438
3.26	     nbUselessRevisions=87750  nbAssignments=3652  nbFailedAssignments=93  nbBacktracks=2019  nbVisitedNodes=3786
3.26	     nbRestartNogoods=19  mapSize=194  nbInferences=18  nbTooLargeKeys=0
3.26	       =>  wckTime=2.335  cpuTime=2.24  mem=21M818
3.73	   
3.73	   search
3.73	     run=11  nbConstraintChecks=1016073  nbValidityChecks=55152  nbPropagations=62269  nbRevisions=181066
3.73	     nbUselessRevisions=123186  nbAssignments=4861  nbFailedAssignments=207  nbBacktracks=2899  nbVisitedNodes=5191
3.73	     nbRestartNogoods=24  mapSize=387  nbInferences=28  nbTooLargeKeys=0
3.73	       =>  wckTime=2.802  cpuTime=2.71  mem=21M818
5.84	   
5.84	   search
5.84	     run=12  nbConstraintChecks=2343320  nbValidityChecks=129152  nbPropagations=95361  nbRevisions=303134
5.84	     nbUselessRevisions=192379  nbAssignments=6472  nbFailedAssignments=337  nbBacktracks=4200  nbVisitedNodes=7462
5.84	     nbRestartNogoods=27  mapSize=1044  nbInferences=30  nbTooLargeKeys=0
5.84	       =>  wckTime=4.911  cpuTime=4.8  mem=22M793
6.79	   
6.79	   search
6.79	     run=13  nbConstraintChecks=2415729  nbValidityChecks=205359  nbPropagations=136688  nbRevisions=498839
6.79	     nbUselessRevisions=326387  nbAssignments=8905  nbFailedAssignments=674  nbBacktracks=6148  nbVisitedNodes=10510
6.79	     nbRestartNogoods=30  mapSize=1649  nbInferences=45  nbTooLargeKeys=0
6.79	       =>  wckTime=5.862  cpuTime=5.75  mem=23M768
7.78	   
7.78	   search
7.78	     run=14  nbConstraintChecks=2666239  nbValidityChecks=258111  nbPropagations=189343  nbRevisions=727837
7.78	     nbUselessRevisions=482147  nbAssignments=13198  nbFailedAssignments=945  nbBacktracks=9070  nbVisitedNodes=14447
7.78	     nbRestartNogoods=40  mapSize=2247  nbInferences=45  nbTooLargeKeys=0
7.78	       =>  wckTime=6.848  cpuTime=6.73  mem=25M718
10.94	   
10.94	   search
10.94	     run=15  nbConstraintChecks=4224339  nbValidityChecks=388867  nbPropagations=259365  nbRevisions=1086438
10.94	     nbUselessRevisions=749319  nbAssignments=18655  nbFailedAssignments=1669  nbBacktracks=13463  nbVisitedNodes=21247
10.94	     nbRestartNogoods=44  mapSize=3571  nbInferences=136  nbTooLargeKeys=0
10.94	       =>  wckTime=10.009  cpuTime=9.88  mem=27M669
12.95	   
12.95	   search
12.95	     run=16  nbConstraintChecks=4499946  nbValidityChecks=667174  nbPropagations=362508  nbRevisions=1735637
12.95	     nbUselessRevisions=1272489  nbAssignments=27220  nbFailedAssignments=2898  nbBacktracks=20034  nbVisitedNodes=31781
12.95	     nbRestartNogoods=63  mapSize=5879  nbInferences=316  nbTooLargeKeys=0
12.95	       =>  wckTime=12.023  cpuTime=11.87  mem=32M545
23.31	   
23.31	   search
23.31	     run=17  nbConstraintChecks=10418416  nbValidityChecks=800369  nbPropagations=506534  nbRevisions=2460866
23.31	     nbUselessRevisions=1827020  nbAssignments=39200  nbFailedAssignments=3633  nbBacktracks=29916  nbVisitedNodes=44316
23.31	     nbRestartNogoods=75  mapSize=7648  nbInferences=317  nbTooLargeKeys=0
23.31	       =>  wckTime=22.387  cpuTime=22.19  mem=37M420
33.71	   
33.71	   search
33.71	     run=18  nbConstraintChecks=16341036  nbValidityChecks=1038557  nbPropagations=706643  nbRevisions=3378798
33.71	     nbUselessRevisions=2505291  nbAssignments=55226  nbFailedAssignments=4639  nbBacktracks=44702  nbVisitedNodes=62622
33.71	     nbRestartNogoods=77  mapSize=9924  nbInferences=406  nbTooLargeKeys=0
33.71	       =>  wckTime=32.782  cpuTime=32.54  mem=46M197
53.09	   
53.09	   search
53.09	     run=19  nbConstraintChecks=28092302  nbValidityChecks=1281261  nbPropagations=994919  nbRevisions=4436201
53.09	     nbUselessRevisions=3231484  nbAssignments=79201  nbFailedAssignments=6299  nbBacktracks=66877  nbVisitedNodes=90214
53.09	     nbRestartNogoods=81  mapSize=13534  nbInferences=406  nbTooLargeKeys=0
53.09	       =>  wckTime=52.164  cpuTime=51.8  mem=17M305
79.89	   
79.89	   search
79.89	     run=20  nbConstraintChecks=44508756  nbValidityChecks=1599399  nbPropagations=1389203  nbRevisions=5669329
79.89	     nbUselessRevisions=4017543  nbAssignments=114697  nbFailedAssignments=8399  nbBacktracks=100129
79.89	     nbVisitedNodes=130753  nbRestartNogoods=88  mapSize=18574  nbInferences=406  nbTooLargeKeys=0
79.89	       =>  wckTime=78.963  cpuTime=78.48  mem=33M220
131.67	   
131.67	   search
131.67	     run=21  nbConstraintChecks=77085471  nbValidityChecks=2299044  nbPropagations=2027827  nbRevisions=7305455
131.67	     nbUselessRevisions=4948584  nbAssignments=169117  nbFailedAssignments=12783  nbBacktracks=150008
131.67	     nbVisitedNodes=195498  nbRestartNogoods=91  mapSize=28893  nbInferences=406  nbTooLargeKeys=0
131.67	       =>  wckTime=130.742  cpuTime=129.91  mem=19M358
188.49	   
188.49	   search
188.49	     run=22  nbConstraintChecks=111363074  nbValidityChecks=3077939  nbPropagations=2915674  nbRevisions=9390682
188.49	     nbUselessRevisions=6032338  nbAssignments=249027  nbFailedAssignments=17732  nbBacktracks=224826
188.49	     nbVisitedNodes=287650  nbRestartNogoods=97  mapSize=41132  nbInferences=406  nbTooLargeKeys=0
188.49	       =>  wckTime=187.562  cpuTime=186.42  mem=57M420
283.47	   
283.47	   search
283.47	     run=23  nbConstraintChecks=168553434  nbValidityChecks=4746135  nbPropagations=4367659  nbRevisions=12425190
283.47	     nbUselessRevisions=7438461  nbAssignments=370994  nbFailedAssignments=27332  nbBacktracks=337056
283.47	     nbVisitedNodes=437218  nbRestartNogoods=100  mapSize=68729  nbInferences=406  nbTooLargeKeys=0
283.47	       =>  wckTime=282.544  cpuTime=280.85  mem=74M596
339.52	   
339.52	   INFO : Stopping hyperNogood (mapSize=81206, nbTooLargekeys=0, mem=77M457)
407.60	   
407.60	   search
407.60	     run=24  nbConstraintChecks=249431290  nbValidityChecks=6692175  nbPropagations=6450134  nbRevisions=16557220
407.60	     nbUselessRevisions=9222620  nbAssignments=551561  nbFailedAssignments=39403  nbBacktracks=505409
407.60	     nbVisitedNodes=650143  nbRestartNogoods=104
407.60	       =>  wckTime=406.674  cpuTime=404.27  mem=77M457
599.33	   
599.33	   search
599.33	     run=25  nbConstraintChecks=380268970  nbValidityChecks=10906872  nbPropagations=9949923  nbRevisions=23089169
599.33	     nbUselessRevisions=11819364  nbAssignments=825244  nbFailedAssignments=60427  nbBacktracks=757924
599.33	     nbVisitedNodes=993876  nbRestartNogoods=109
599.33	       =>  wckTime=598.404  cpuTime=595.03  mem=77M457
847.22	   
847.22	   search
847.22	     run=26  nbConstraintChecks=550014888  nbValidityChecks=15702362  nbPropagations=14979516  nbRevisions=32359380
847.22	     nbUselessRevisions=15378164  nbAssignments=1232764  nbFailedAssignments=89043  nbBacktracks=1136692
847.22	     nbVisitedNodes=1484386  nbRestartNogoods=115
847.22	       =>  wckTime=846.293  cpuTime=841.65  mem=77M457
1296.55	   
1296.55	   search
1296.55	     run=27  nbConstraintChecks=862663210  nbValidityChecks=24834875  nbPropagations=22861597  nbRevisions=46806967
1296.55	     nbUselessRevisions=20728685  nbAssignments=1842043  nbFailedAssignments=130040  nbBacktracks=1704852
1296.55	     nbVisitedNodes=2229491  nbRestartNogoods=119
1296.55	       =>  wckTime=1295.624  cpuTime=1289.42  mem=77M457

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/node18/watcher-210326-1168196776 -o ROOT/results/node18/solver-210326-1168196776 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210326-1168196776/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.97 1.00 1.13 5/90 2924
/proc/meminfo: memFree=1675816/2055920 swapFree=4192812/4192956
[pid=2923] ppid=2913 vsize=172 CPUtime=0
/proc/2923/stat : 2923 (java) R 2913 2923 2797 0 -1 0 217 0 0 0 0 0 0 0 19 0 1 0 168072318 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7860523 0 0 4096 0 0 0 0 17 1 0 0
/proc/2923/statm: 43 24 18 14 0 3 0

[startup+0.105674 s]
/proc/loadavg: 0.97 1.00 1.13 5/90 2924
/proc/meminfo: memFree=1675816/2055920 swapFree=4192812/4192956
[pid=2923] ppid=2913 vsize=914988 CPUtime=0.09
/proc/2923/stat : 2923 (java) R 2913 2923 2797 0 -1 0 3046 0 1 0 8 1 0 0 20 0 8 0 168072318 936947712 2792 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 8063138 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2923/statm: 228747 2792 1445 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.513715 s]
/proc/loadavg: 0.97 1.00 1.13 5/90 2924
/proc/meminfo: memFree=1675816/2055920 swapFree=4192812/4192956
[pid=2923] ppid=2913 vsize=915328 CPUtime=0.5
/proc/2923/stat : 2923 (java) R 2913 2923 2797 0 -1 0 6876 0 1 0 45 5 0 0 22 0 8 0 168072318 937295872 6615 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2923/statm: 228832 6615 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.33579 s]
/proc/loadavg: 0.97 1.00 1.13 3/101 2935
/proc/meminfo: memFree=1638608/2055920 swapFree=4192812/4192956
[pid=2923] ppid=2913 vsize=915460 CPUtime=1.3
/proc/2923/stat : 2923 (java) R 2913 2923 2797 0 -1 0 9994 0 1 0 122 8 0 0 25 0 8 0 168072318 937431040 9732 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073886172 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2923/statm: 228865 9732 2543 14 0 215335 0
[pid=2923/tid=2929] ppid=2913 vsize=915460 CPUtime=0.03
/proc/2923/task/2929/stat : 2929 (java) S 2913 2923 2797 0 -1 64 272 0 0 0 3 0 0 0 17 0 8 0 168072322 937431040 9732 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2930] ppid=2913 vsize=915460 CPUtime=0
/proc/2923/task/2930/stat : 2930 (java) S 2913 2923 2797 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168072322 937431040 9732 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2931] ppid=2913 vsize=915460 CPUtime=0
/proc/2923/task/2931/stat : 2931 (java) S 2913 2923 2797 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168072322 937431040 9732 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2932] ppid=2913 vsize=915460 CPUtime=0
/proc/2923/task/2932/stat : 2932 (java) S 2913 2923 2797 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 168072326 937431040 9732 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2923/tid=2933] ppid=2913 vsize=915460 CPUtime=0.24
/proc/2923/task/2933/stat : 2933 (java) S 2913 2923 2797 0 -1 64 403 0 0 0 23 1 0 0 15 0 8 0 168072326 937431040 9732 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2934] ppid=2913 vsize=915460 CPUtime=0
/proc/2923/task/2934/stat : 2934 (java) S 2913 2923 2797 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168072326 937431040 9732 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2923/tid=2935] ppid=2913 vsize=915460 CPUtime=0
/proc/2923/task/2935/stat : 2935 (java) S 2913 2923 2797 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168072326 937431040 9732 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460

[startup+2.97795 s]
/proc/loadavg: 0.97 1.00 1.13 3/101 2935
/proc/meminfo: memFree=1637264/2055920 swapFree=4192812/4192956
[pid=2923] ppid=2913 vsize=915588 CPUtime=2.94
/proc/2923/stat : 2923 (java) R 2913 2923 2797 0 -1 0 10314 0 1 0 285 9 0 0 25 0 8 0 168072318 937562112 10050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073742475 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2923/statm: 228897 10050 2543 14 0 215367 0
[pid=2923/tid=2929] ppid=2913 vsize=915588 CPUtime=0.03
/proc/2923/task/2929/stat : 2929 (java) S 2913 2923 2797 0 -1 64 272 0 0 0 3 0 0 0 17 0 8 0 168072322 937562112 10050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2930] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2930/stat : 2930 (java) S 2913 2923 2797 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168072322 937562112 10050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2931] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2931/stat : 2931 (java) S 2913 2923 2797 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168072322 937562112 10050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2932] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2932/stat : 2932 (java) S 2913 2923 2797 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 168072326 937562112 10050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2923/tid=2933] ppid=2913 vsize=915588 CPUtime=0.27
/proc/2923/task/2933/stat : 2933 (java) S 2913 2923 2797 0 -1 64 422 0 0 0 26 1 0 0 15 0 8 0 168072326 937562112 10050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2934] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2934/stat : 2934 (java) S 2913 2923 2797 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168072326 937562112 10050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2923/tid=2935] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2935/stat : 2935 (java) S 2913 2923 2797 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168072326 937562112 10050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915588

[startup+6.18425 s]
/proc/loadavg: 1.05 1.01 1.13 3/101 2935
/proc/meminfo: memFree=1634832/2055920 swapFree=4192812/4192956
[pid=2923] ppid=2913 vsize=915588 CPUtime=6.13
/proc/2923/stat : 2923 (java) R 2913 2923 2797 0 -1 0 10829 0 1 0 604 9 0 0 25 0 8 0 168072318 937562112 10563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073993718 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2923/statm: 228897 10563 2543 14 0 215367 0
[pid=2923/tid=2929] ppid=2913 vsize=915588 CPUtime=0.03
/proc/2923/task/2929/stat : 2929 (java) S 2913 2923 2797 0 -1 64 272 0 0 0 3 0 0 0 16 0 8 0 168072322 937562112 10563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2930] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2930/stat : 2930 (java) S 2913 2923 2797 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168072322 937562112 10563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2931] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2931/stat : 2931 (java) S 2913 2923 2797 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168072322 937562112 10563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2932] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2932/stat : 2932 (java) S 2913 2923 2797 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 168072326 937562112 10563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2923/tid=2933] ppid=2913 vsize=915588 CPUtime=0.27
/proc/2923/task/2933/stat : 2933 (java) S 2913 2923 2797 0 -1 64 423 0 0 0 26 1 0 0 15 0 8 0 168072326 937562112 10563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2934] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2934/stat : 2934 (java) S 2913 2923 2797 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168072326 937562112 10563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2923/tid=2935] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2935/stat : 2935 (java) S 2913 2923 2797 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168072326 937562112 10563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915588

[startup+12.6529 s]
/proc/loadavg: 1.12 1.03 1.14 3/101 2935
/proc/meminfo: memFree=1626576/2055920 swapFree=4192812/4192956
[pid=2923] ppid=2913 vsize=915588 CPUtime=12.56
/proc/2923/stat : 2923 (java) R 2913 2923 2797 0 -1 0 12908 0 1 0 1246 10 0 0 25 0 8 0 168072318 937562112 12641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073962467 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2923/statm: 228897 12641 2543 14 0 215367 0
[pid=2923/tid=2929] ppid=2913 vsize=915588 CPUtime=0.03
/proc/2923/task/2929/stat : 2929 (java) S 2913 2923 2797 0 -1 64 272 0 0 0 3 0 0 0 16 0 8 0 168072322 937562112 12642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2930] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2930/stat : 2930 (java) S 2913 2923 2797 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168072322 937562112 12642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2931] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2931/stat : 2931 (java) S 2913 2923 2797 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168072322 937562112 12642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2932] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2932/stat : 2932 (java) S 2913 2923 2797 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 168072326 937562112 12642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2923/tid=2933] ppid=2913 vsize=915588 CPUtime=0.28
/proc/2923/task/2933/stat : 2933 (java) S 2913 2923 2797 0 -1 64 426 0 0 0 26 2 0 0 15 0 8 0 168072326 937562112 12642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2934] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2934/stat : 2934 (java) S 2913 2923 2797 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168072326 937562112 12642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2923/tid=2935] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2935/stat : 2935 (java) S 2913 2923 2797 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168072326 937562112 12642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 915588

[startup+25.5131 s]
/proc/loadavg: 1.32 1.08 1.15 3/101 2935
/proc/meminfo: memFree=1618512/2055920 swapFree=4192812/4192956
[pid=2923] ppid=2913 vsize=915588 CPUtime=25.37
/proc/2923/stat : 2923 (java) R 2913 2923 2797 0 -1 0 14929 0 1 0 2525 12 0 0 25 0 8 0 168072318 937562112 14662 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073683463 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2923/statm: 228897 14662 2543 14 0 215367 0
[pid=2923/tid=2929] ppid=2913 vsize=915588 CPUtime=0.03
/proc/2923/task/2929/stat : 2929 (java) S 2913 2923 2797 0 -1 64 272 0 0 0 3 0 0 0 16 0 8 0 168072322 937562112 14662 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2930] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2930/stat : 2930 (java) S 2913 2923 2797 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168072322 937562112 14662 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2931] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2931/stat : 2931 (java) S 2913 2923 2797 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168072322 937562112 14662 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2932] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2932/stat : 2932 (java) S 2913 2923 2797 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 168072326 937562112 14662 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2923/tid=2933] ppid=2913 vsize=915588 CPUtime=0.29
/proc/2923/task/2933/stat : 2933 (java) S 2913 2923 2797 0 -1 64 427 0 0 0 27 2 0 0 16 0 8 0 168072326 937562112 14662 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2934] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2934/stat : 2934 (java) S 2913 2923 2797 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168072326 937562112 14662 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2923/tid=2935] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2935/stat : 2935 (java) S 2913 2923 2797 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168072326 937562112 14662 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915588

[startup+51.1306 s]
/proc/loadavg: 1.47 1.13 1.17 3/101 3006
/proc/meminfo: memFree=1502544/2055920 swapFree=4192812/4192956
[pid=2923] ppid=2913 vsize=915588 CPUtime=50.85
/proc/2923/stat : 2923 (java) R 2913 2923 2797 0 -1 0 19148 0 1 0 5072 13 0 0 25 0 8 0 168072318 937562112 18880 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073950398 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2923/statm: 228897 18880 2547 14 0 215367 0
[pid=2923/tid=2929] ppid=2913 vsize=915588 CPUtime=0.05
/proc/2923/task/2929/stat : 2929 (java) S 2913 2923 2797 0 -1 64 2064 0 0 0 5 0 0 0 16 0 8 0 168072322 937562112 18880 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2930] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2930/stat : 2930 (java) S 2913 2923 2797 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168072322 937562112 18880 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2931] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2931/stat : 2931 (java) S 2913 2923 2797 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168072322 937562112 18880 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2932] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2932/stat : 2932 (java) S 2913 2923 2797 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 168072326 937562112 18880 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2923/tid=2933] ppid=2913 vsize=915588 CPUtime=0.29
/proc/2923/task/2933/stat : 2933 (java) S 2913 2923 2797 0 -1 64 427 0 0 0 27 2 0 0 16 0 8 0 168072326 937562112 18880 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2934] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2934/stat : 2934 (java) S 2913 2923 2797 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168072326 937562112 18880 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2923/tid=2935] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2935/stat : 2935 (java) S 2913 2923 2797 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168072326 937562112 18880 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 915588

[startup+102.36 s]
/proc/loadavg: 1.77 1.26 1.21 3/101 3006
/proc/meminfo: memFree=954960/2055920 swapFree=4192812/4192956
[pid=2923] ppid=2913 vsize=915588 CPUtime=101.83
/proc/2923/stat : 2923 (java) R 2913 2923 2797 0 -1 0 19150 0 1 0 10169 14 0 0 25 0 8 0 168072318 937562112 18882 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073997896 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2923/statm: 228897 18882 2547 14 0 215367 0
[pid=2923/tid=2929] ppid=2913 vsize=915588 CPUtime=0.05
/proc/2923/task/2929/stat : 2929 (java) S 2913 2923 2797 0 -1 64 2064 0 0 0 5 0 0 0 16 0 8 0 168072322 937562112 18882 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2930] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2930/stat : 2930 (java) S 2913 2923 2797 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168072322 937562112 18882 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2931] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2931/stat : 2931 (java) S 2913 2923 2797 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168072322 937562112 18882 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2932] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2932/stat : 2932 (java) S 2913 2923 2797 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 168072326 937562112 18882 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2923/tid=2933] ppid=2913 vsize=915588 CPUtime=0.29
/proc/2923/task/2933/stat : 2933 (java) S 2913 2923 2797 0 -1 64 427 0 0 0 27 2 0 0 16 0 8 0 168072326 937562112 18882 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2934] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2934/stat : 2934 (java) S 2913 2923 2797 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168072326 937562112 18882 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2923/tid=2935] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2935/stat : 2935 (java) S 2913 2923 2797 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168072326 937562112 18882 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 915588

[startup+162.407 s]
/proc/loadavg: 1.91 1.40 1.25 4/101 3006
/proc/meminfo: memFree=940304/2055920 swapFree=4192812/4192956
[pid=2923] ppid=2913 vsize=915588 CPUtime=161.56
/proc/2923/stat : 2923 (java) R 2913 2923 2797 0 -1 0 22836 0 1 0 16141 15 0 0 25 0 8 0 168072318 937562112 22567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073962445 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 1416.66
Current children cumulated vsize (KiB) 915588

[startup+1483.24 s]
/proc/loadavg: 2.04 2.00 1.80 3/94 3072
/proc/meminfo: memFree=1571656/2055920 swapFree=4192812/4192956
[pid=2923] ppid=2913 vsize=915588 CPUtime=1476.43
/proc/2923/stat : 2923 (java) R 2913 2923 2797 0 -1 0 28100 0 1 0 147621 22 0 0 25 0 8 0 168072318 937562112 27828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073690151 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2923/statm: 228897 27828 2547 14 0 215367 0
[pid=2923/tid=2929] ppid=2913 vsize=915588 CPUtime=0.2
/proc/2923/task/2929/stat : 2929 (java) S 2913 2923 2797 0 -1 64 11009 0 0 0 17 3 0 0 16 0 8 0 168072322 937562112 27828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2930] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2930/stat : 2930 (java) S 2913 2923 2797 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168072322 937562112 27828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2931] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2931/stat : 2931 (java) S 2913 2923 2797 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168072322 937562112 27828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2932] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2932/stat : 2932 (java) S 2913 2923 2797 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 168072326 937562112 27828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2923/tid=2933] ppid=2913 vsize=915588 CPUtime=0.29
/proc/2923/task/2933/stat : 2933 (java) S 2913 2923 2797 0 -1 64 428 0 0 0 27 2 0 0 16 0 8 0 168072326 937562112 27828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2934] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2934/stat : 2934 (java) S 2913 2923 2797 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168072326 937562112 27828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2923/tid=2935] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2935/stat : 2935 (java) S 2913 2923 2797 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168072326 937562112 27828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1476.43
Current children cumulated vsize (KiB) 915588

[startup+1543.28 s]
/proc/loadavg: 2.01 2.00 1.82 3/94 3072
/proc/meminfo: memFree=1571720/2055920 swapFree=4192812/4192956
[pid=2923] ppid=2913 vsize=915588 CPUtime=1536.21
/proc/2923/stat : 2923 (java) R 2913 2923 2797 0 -1 0 28100 0 1 0 153599 22 0 0 25 0 8 0 168072318 937562112 27828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2923/statm: 228897 27828 2547 14 0 215367 0
[pid=2923/tid=2929] ppid=2913 vsize=915588 CPUtime=0.2
/proc/2923/task/2929/stat : 2929 (java) S 2913 2923 2797 0 -1 64 11009 0 0 0 17 3 0 0 16 0 8 0 168072322 937562112 27828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2930] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2930/stat : 2930 (java) S 2913 2923 2797 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168072322 937562112 27828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2931] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2931/stat : 2931 (java) S 2913 2923 2797 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168072322 937562112 27828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2932] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2932/stat : 2932 (java) S 2913 2923 2797 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 168072326 937562112 27828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2923/tid=2933] ppid=2913 vsize=915588 CPUtime=0.29
/proc/2923/task/2933/stat : 2933 (java) S 2913 2923 2797 0 -1 64 428 0 0 0 27 2 0 0 16 0 8 0 168072326 937562112 27828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2934] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2934/stat : 2934 (java) S 2913 2923 2797 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168072326 937562112 27828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2923/tid=2935] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2935/stat : 2935 (java) R 2913 2923 2797 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168072326 937562112 27828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1536.21
Current children cumulated vsize (KiB) 915588

[startup+1603.33 s]
/proc/loadavg: 2.00 2.00 1.82 3/94 3072
/proc/meminfo: memFree=1571656/2055920 swapFree=4192812/4192956
[pid=2923] ppid=2913 vsize=915588 CPUtime=1595.99
/proc/2923/stat : 2923 (java) R 2913 2923 2797 0 -1 0 28100 0 1 0 159577 22 0 0 25 0 8 0 168072318 937562112 27828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073742504 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2923/statm: 228897 27828 2547 14 0 215367 0
[pid=2923/tid=2929] ppid=2913 vsize=915588 CPUtime=0.2
/proc/2923/task/2929/stat : 2929 (java) S 2913 2923 2797 0 -1 64 11009 0 0 0 17 3 0 0 16 0 8 0 168072322 937562112 27828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2930] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2930/stat : 2930 (java) S 2913 2923 2797 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168072322 937562112 27828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2931] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2931/stat : 2931 (java) S 2913 2923 2797 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168072322 937562112 27828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2932] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2932/stat : 2932 (java) S 2913 2923 2797 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 168072326 937562112 27828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2923/tid=2933] ppid=2913 vsize=915588 CPUtime=0.29
/proc/2923/task/2933/stat : 2933 (java) S 2913 2923 2797 0 -1 64 428 0 0 0 27 2 0 0 16 0 8 0 168072326 937562112 27828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2934] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2934/stat : 2934 (java) S 2913 2923 2797 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168072326 937562112 27828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2923/tid=2935] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2935/stat : 2935 (java) S 2913 2923 2797 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168072326 937562112 27828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1595.99
Current children cumulated vsize (KiB) 915588

[startup+1663.38 s]
/proc/loadavg: 2.00 2.00 1.83 3/94 3072
/proc/meminfo: memFree=1571656/2055920 swapFree=4192812/4192956
[pid=2923] ppid=2913 vsize=915588 CPUtime=1655.75
/proc/2923/stat : 2923 (java) R 2913 2923 2797 0 -1 0 28100 0 1 0 165553 22 0 0 25 0 8 0 168072318 937562112 27828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073886146 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2923/statm: 228897 27828 2547 14 0 215367 0
[pid=2923/tid=2929] ppid=2913 vsize=915588 CPUtime=0.2
/proc/2923/task/2929/stat : 2929 (java) S 2913 2923 2797 0 -1 64 11009 0 0 0 17 3 0 0 16 0 8 0 168072322 937562112 27828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2930] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2930/stat : 2930 (java) S 2913 2923 2797 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168072322 937562112 27828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2931] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2931/stat : 2931 (java) S 2913 2923 2797 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168072322 937562112 27828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2932] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2932/stat : 2932 (java) S 2913 2923 2797 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 168072326 937562112 27828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2923/tid=2933] ppid=2913 vsize=915588 CPUtime=0.29
/proc/2923/task/2933/stat : 2933 (java) S 2913 2923 2797 0 -1 64 428 0 0 0 27 2 0 0 16 0 8 0 168072326 937562112 27828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2934] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2934/stat : 2934 (java) S 2913 2923 2797 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168072326 937562112 27828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2923/tid=2935] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2935/stat : 2935 (java) S 2913 2923 2797 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168072326 937562112 27828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1655.75
Current children cumulated vsize (KiB) 915588

[startup+1723.42 s]
/proc/loadavg: 2.00 2.00 1.83 3/94 3072
/proc/meminfo: memFree=1571656/2055920 swapFree=4192812/4192956
[pid=2923] ppid=2913 vsize=915588 CPUtime=1715.53
/proc/2923/stat : 2923 (java) R 2913 2923 2797 0 -1 0 28100 0 1 0 171531 22 0 0 25 0 8 0 168072318 937562112 27828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073686599 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2923/statm: 228897 27828 2547 14 0 215367 0
[pid=2923/tid=2929] ppid=2913 vsize=915588 CPUtime=0.2
/proc/2923/task/2929/stat : 2929 (java) S 2913 2923 2797 0 -1 64 11009 0 0 0 17 3 0 0 16 0 8 0 168072322 937562112 27828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2930] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2930/stat : 2930 (java) S 2913 2923 2797 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168072322 937562112 27828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2931] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2931/stat : 2931 (java) S 2913 2923 2797 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168072322 937562112 27828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2932] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2932/stat : 2932 (java) S 2913 2923 2797 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 168072326 937562112 27828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2923/tid=2933] ppid=2913 vsize=915588 CPUtime=0.29
/proc/2923/task/2933/stat : 2933 (java) S 2913 2923 2797 0 -1 64 428 0 0 0 27 2 0 0 16 0 8 0 168072326 937562112 27828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2934] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2934/stat : 2934 (java) S 2913 2923 2797 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168072326 937562112 27828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2923/tid=2935] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2935/stat : 2935 (java) S 2913 2923 2797 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168072326 937562112 27828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1715.53
Current children cumulated vsize (KiB) 915588

[startup+1783.47 s]
/proc/loadavg: 2.00 2.00 1.84 3/94 3072
/proc/meminfo: memFree=1571656/2055920 swapFree=4192812/4192956
[pid=2923] ppid=2913 vsize=915588 CPUtime=1775.33
/proc/2923/stat : 2923 (java) R 2913 2923 2797 0 -1 0 28100 0 1 0 177510 23 0 0 25 0 8 0 168072318 937562112 27828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073700295 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2923/statm: 228897 27828 2547 14 0 215367 0
[pid=2923/tid=2929] ppid=2913 vsize=915588 CPUtime=0.2
/proc/2923/task/2929/stat : 2929 (java) S 2913 2923 2797 0 -1 64 11009 0 0 0 17 3 0 0 16 0 8 0 168072322 937562112 27828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2930] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2930/stat : 2930 (java) S 2913 2923 2797 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168072322 937562112 27828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2931] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2931/stat : 2931 (java) S 2913 2923 2797 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168072322 937562112 27828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2932] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2932/stat : 2932 (java) S 2913 2923 2797 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 168072326 937562112 27828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2923/tid=2933] ppid=2913 vsize=915588 CPUtime=0.29
/proc/2923/task/2933/stat : 2933 (java) S 2913 2923 2797 0 -1 64 428 0 0 0 27 2 0 0 16 0 8 0 168072326 937562112 27828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2934] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2934/stat : 2934 (java) S 2913 2923 2797 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168072326 937562112 27828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2923/tid=2935] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2935/stat : 2935 (java) S 2913 2923 2797 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168072326 937562112 27828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1775.33
Current children cumulated vsize (KiB) 915588



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.34 s]
/proc/loadavg: 2.00 2.00 1.84 3/94 3072
/proc/meminfo: memFree=1571656/2055920 swapFree=4192812/4192956
[pid=2923] ppid=2913 vsize=915588 CPUtime=1800.08
/proc/2923/stat : 2923 (java) R 2913 2923 2797 0 -1 0 28100 0 1 0 179985 23 0 0 25 0 8 0 168072318 937562112 27828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073742532 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2923/statm: 228897 27828 2547 14 0 215367 0
[pid=2923/tid=2929] ppid=2913 vsize=915588 CPUtime=0.2
/proc/2923/task/2929/stat : 2929 (java) S 2913 2923 2797 0 -1 64 11009 0 0 0 17 3 0 0 16 0 8 0 168072322 937562112 27828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2930] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2930/stat : 2930 (java) S 2913 2923 2797 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168072322 937562112 27828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2931] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2931/stat : 2931 (java) S 2913 2923 2797 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168072322 937562112 27828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2932] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2932/stat : 2932 (java) S 2913 2923 2797 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 168072326 937562112 27828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2923/tid=2933] ppid=2913 vsize=915588 CPUtime=0.29
/proc/2923/task/2933/stat : 2933 (java) S 2913 2923 2797 0 -1 64 428 0 0 0 27 2 0 0 16 0 8 0 168072326 937562112 27828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2934] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2934/stat : 2934 (java) S 2913 2923 2797 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168072326 937562112 27828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2923/tid=2935] ppid=2913 vsize=915588 CPUtime=0
/proc/2923/task/2935/stat : 2935 (java) S 2913 2923 2797 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168072326 937562112 27828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 915588

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

Child status: 143
Real time (s): 1808.41
CPU time (s): 1800.14
CPU user time (s): 1799.9
CPU system time (s): 0.247962
CPU usage (%): 99.5429
Max. virtual memory (cumulated for all children) (KiB): 915588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.9
system time used= 0.247962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28116
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= 37952
involuntary context switches= 40292

runsolver used 2.00969 s user time and 6.00609 s system time

The end

Launcher Data (download as text)

Begin job on node18 on Sun Jan  7 19:06:16 UTC 2007


IDJOB= 210326
IDBENCH= 4611
FILE ID= node18/210326-1168196776

PBS_JOBID= 3480503

Free space on /tmp= 66291 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/fpga/fpga-15-13.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210326-1168196776/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node18/watcher-210326-1168196776 -o ROOT/results/node18/solver-210326-1168196776 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210326-1168196776/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  484be45bb21187452705ba7aa3fbcd63

RANDOM SEED= 539825121

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.231
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.231
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:       1679440 kB
Buffers:         42968 kB
Cached:         214752 kB
SwapCached:          0 kB
Active:         145812 kB
Inactive:       172036 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1679440 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2212 kB
Writeback:           0 kB
Mapped:          79044 kB
Slab:            43884 kB
Committed_AS:  4665004 kB
PageTables:       1920 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= 66290 MiB



End job on node18 on Sun Jan  7 19:36:25 UTC 2007