Trace number 232053

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 ESACSAT 370.913 374.451

DiagnosticValue
CHECKS2450727471
NODES1658752

General information on the benchmark

Namerandom/rand-2-25/
rand-25-25-300-147-51021_ext.xml
MD5SUMa6796d1a4a021a8d73019bb1709f2bc1
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark11.7382
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables25
Number of constraints300
Maximum constraint arity2
Maximum domain size25
Number of constraints which are defined in extension300
Number of constraints which are defined in intension0
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.42	   
0.42	   instance
0.42	     name=/tmp/evaluation/232053-1168319608/unknown.xml
0.45	   
0.45	   domains being loaded...
0.45	   
0.45	   variables being loaded...
0.49	     nbVariables=25  nbDomainTypes=1  minDomainSize=25  maxDomainSize=25
0.49	       =>  wckTime=0.175  cpuTime=0.08  mem=6M951
0.49	   
0.49	   relations being loaded...
0.60	   
0.60	   constraints being loaded...
0.72	     nbConstraints=300  nbRelationTypes=300  nbExtensionStructures=300  nbSharedExtensionStructures=0
0.72	     nbConflictsStructures=300  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=875  maxDegree=24
0.72	     maxArity=2
0.72	       =>  wckTime=0.408  cpuTime=0.25  mem=13M778
0.76	   
0.76	   solver IterativeSystematicSolver being built... 
0.92	       =>  wckTime=0.612  cpuTime=0.38  mem=15M170
0.97	   
0.97	   preprocessing
0.97	     nbConstraintChecks=56184  nbPropagations=686  nbRevisions=7035  nbUselessRevisions=6189  nbSingletonTests=34
0.97	     nbEffectiveSingletonTests=0  nbESACBranches=5  nbRemovedValues=0  detectedInconsistency=no
0.97	       =>  wckTime=0.045  cpuTime=0.03  mem=15M170
1.00	   
1.00	   search
1.00	     run=0  nbConstraintChecks=43544  nbPropagations=1194  nbRevisions=16096  nbUselessRevisions=13960  nbAssignments=32
1.00	     nbFailedAssignments=15  nbBacktracks=12  nbVisitedNodes=58  nbRestartNogoods=0  mapSize=12  nbInferences=0
1.00	     nbTooLargeKeys=0
1.00	       =>  wckTime=0.073  cpuTime=0.05  mem=15M170
1.02	   
1.02	   search
1.02	     run=1  nbConstraintChecks=86205  nbPropagations=2913  nbRevisions=41091  nbUselessRevisions=35693  nbAssignments=65
1.02	     nbFailedAssignments=27  nbBacktracks=27  nbVisitedNodes=113  nbRestartNogoods=3  mapSize=26  nbInferences=0
1.02	     nbTooLargeKeys=0
1.02	       =>  wckTime=0.089  cpuTime=0.06  mem=15M170
1.04	   
1.04	   search
1.04	     run=2  nbConstraintChecks=154336  nbPropagations=5398  nbRevisions=80491  nbUselessRevisions=69893
1.04	     nbAssignments=111  nbFailedAssignments=45  nbBacktracks=49  nbVisitedNodes=196  nbRestartNogoods=6  mapSize=48
1.04	     nbInferences=0  nbTooLargeKeys=0
1.04	       =>  wckTime=0.108  cpuTime=0.08  mem=15M170
1.06	   
1.06	   search
1.06	     run=3  nbConstraintChecks=269864  nbPropagations=9083  nbRevisions=143908  nbUselessRevisions=124822
1.06	     nbAssignments=186  nbFailedAssignments=82  nbBacktracks=83  nbVisitedNodes=335  nbRestartNogoods=12  mapSize=82
1.06	     nbInferences=0  nbTooLargeKeys=0
1.06	       =>  wckTime=0.136  cpuTime=0.1  mem=15M170
1.09	   
1.09	   search
1.09	     run=4  nbConstraintChecks=415267  nbPropagations=14342  nbRevisions=238767  nbUselessRevisions=207043
1.09	     nbAssignments=293  nbFailedAssignments=134  nbBacktracks=133  nbVisitedNodes=528  nbRestartNogoods=16  mapSize=130
1.09	     nbInferences=0  nbTooLargeKeys=0
1.09	       =>  wckTime=0.164  cpuTime=0.13  mem=15M170
1.15	   
1.15	   search
1.15	     run=5  nbConstraintChecks=661097  nbPropagations=22243  nbRevisions=387886  nbUselessRevisions=336237
1.15	     nbAssignments=457  nbFailedAssignments=219  nbBacktracks=208  nbVisitedNodes=838  nbRestartNogoods=22  mapSize=205
1.15	     nbInferences=0  nbTooLargeKeys=0
1.15	       =>  wckTime=0.22  cpuTime=0.17  mem=15M170
1.21	   
1.21	   search
1.21	     run=6  nbConstraintChecks=1008273  nbPropagations=33870  nbRevisions=613535  nbUselessRevisions=532088
1.21	     nbAssignments=698  nbFailedAssignments=340  nbBacktracks=321  nbVisitedNodes=1290  nbRestartNogoods=27  mapSize=318
1.21	     nbInferences=0  nbTooLargeKeys=0
1.21	       =>  wckTime=0.284  cpuTime=0.24  mem=15M170
1.30	   
1.30	   search
1.30	     run=7  nbConstraintChecks=1503895  nbPropagations=50835  nbRevisions=946687  nbUselessRevisions=821540
1.30	     nbAssignments=1052  nbFailedAssignments=507  nbBacktracks=492  nbVisitedNodes=1911  nbRestartNogoods=37
1.30	     mapSize=488  nbInferences=0  nbTooLargeKeys=0
1.30	       =>  wckTime=0.374  cpuTime=0.32  mem=15M170
1.45	   
1.45	   search
1.45	     run=8  nbConstraintChecks=2253134  nbPropagations=75739  nbRevisions=1443983  nbUselessRevisions=1253851
1.45	     nbAssignments=1562  nbFailedAssignments=755  nbBacktracks=748  nbVisitedNodes=2858  nbRestartNogoods=41
1.45	     mapSize=739  nbInferences=0  nbTooLargeKeys=0
1.45	       =>  wckTime=0.523  cpuTime=0.46  mem=15M170
1.60	   
1.60	   INFO : Stopping hyperNogood (mapSize=1036, nbTooLargekeys=0, mem=15M170)
1.63	   
1.63	   search
1.63	     run=9  nbConstraintChecks=3301892  nbPropagations=112121  nbRevisions=2175344  nbUselessRevisions=1889688
1.63	     nbAssignments=2304  nbFailedAssignments=1109  nbBacktracks=1132  nbVisitedNodes=4243  nbRestartNogoods=54
1.63	       =>  wckTime=0.705  cpuTime=0.63  mem=15M170
1.90	   
1.90	   search
1.90	     run=10  nbConstraintChecks=4985098  nbPropagations=166640  nbRevisions=3287788  nbUselessRevisions=2857858
1.90	     nbAssignments=3464  nbFailedAssignments=1687  nbBacktracks=1708  nbVisitedNodes=6418  nbRestartNogoods=59
1.90	       =>  wckTime=0.977  cpuTime=0.89  mem=15M170
2.29	   
2.29	   search
2.29	     run=11  nbConstraintChecks=7451921  nbPropagations=247486  nbRevisions=4950428  nbUselessRevisions=4305356
2.29	     nbAssignments=5185  nbFailedAssignments=2538  nbBacktracks=2574  nbVisitedNodes=9626  nbRestartNogoods=64
2.29	       =>  wckTime=1.365  cpuTime=1.27  mem=15M170
2.85	   
2.85	   search
2.85	     run=12  nbConstraintChecks=11037817  nbPropagations=367550  nbRevisions=7420339  nbUselessRevisions=6456737
2.85	     nbAssignments=7724  nbFailedAssignments=3775  nbBacktracks=3872  nbVisitedNodes=14366  nbRestartNogoods=74
2.85	       =>  wckTime=1.927  cpuTime=1.83  mem=15M170
3.67	   
3.67	   search
3.67	     run=13  nbConstraintChecks=16281332  nbPropagations=544822  nbRevisions=11070925  nbUselessRevisions=9637163
3.67	     nbAssignments=11503  nbFailedAssignments=5602  nbBacktracks=5818  nbVisitedNodes=21398  nbRestartNogoods=77
3.67	       =>  wckTime=2.746  cpuTime=2.64  mem=15M170
4.95	   
4.95	   search
4.95	     run=14  nbConstraintChecks=24503623  nbPropagations=810626  nbRevisions=16556289  nbUselessRevisions=14415034
4.95	     nbAssignments=17229  nbFailedAssignments=8404  nbBacktracks=8739  nbVisitedNodes=32081  nbRestartNogoods=86
4.95	       =>  wckTime=4.025  cpuTime=3.91  mem=15M170
6.88	   
6.88	   search
6.88	     run=15  nbConstraintChecks=36864651  nbPropagations=1209196  nbRevisions=24827726  nbUselessRevisions=21622314
6.88	     nbAssignments=25859  nbFailedAssignments=12648  nbBacktracks=13120  nbVisitedNodes=48203  nbRestartNogoods=97
6.88	       =>  wckTime=5.948  cpuTime=5.82  mem=15M170
9.72	   
9.72	   search
9.72	     run=16  nbConstraintChecks=55102549  nbPropagations=1804722  nbRevisions=37190994  nbUselessRevisions=32395968
9.72	     nbAssignments=38804  nbFailedAssignments=19019  nbBacktracks=19688  nbVisitedNodes=72323  nbRestartNogoods=111
9.72	       =>  wckTime=8.791  cpuTime=8.63  mem=15M170
13.91	   
13.91	   search
13.91	     run=17  nbConstraintChecks=82144460  nbPropagations=2694097  nbRevisions=55664601  nbUselessRevisions=48497990
13.91	     nbAssignments=58024  nbFailedAssignments=28379  nbBacktracks=29542  nbVisitedNodes=108095  nbRestartNogoods=129
13.91	       =>  wckTime=12.986  cpuTime=12.78  mem=15M170
20.46	   
20.46	   search
20.46	     run=18  nbConstraintChecks=125062735  nbPropagations=4037411  nbRevisions=83677443  nbUselessRevisions=72913405
20.46	     nbAssignments=87316  nbFailedAssignments=42889  nbBacktracks=44320  nbVisitedNodes=162879  nbRestartNogoods=145
20.46	       =>  wckTime=19.531  cpuTime=19.27  mem=15M170
30.20	   
30.20	   search
30.20	     run=19  nbConstraintChecks=188311522  nbPropagations=6051414  nbRevisions=125785745  nbUselessRevisions=109623439
30.20	     nbAssignments=130723  nbFailedAssignments=64123  nbBacktracks=66488  nbVisitedNodes=243850  nbRestartNogoods=164
30.20	       =>  wckTime=29.271  cpuTime=28.92  mem=15M170
44.79	   
44.79	   search
44.79	     run=20  nbConstraintChecks=283565165  nbPropagations=9076231  nbRevisions=189168649  nbUselessRevisions=164889212
44.79	     nbAssignments=196389  nbFailedAssignments=96532  nbBacktracks=99741  nbVisitedNodes=366386  nbRestartNogoods=181
44.79	       =>  wckTime=43.866  cpuTime=43.38  mem=15M170
66.49	   
66.49	   search
66.49	     run=21  nbConstraintChecks=424835088  nbPropagations=13602884  nbRevisions=284078917  nbUselessRevisions=247650989
66.49	     nbAssignments=294132  nbFailedAssignments=144392  nbBacktracks=149619  nbVisitedNodes=548638  nbRestartNogoods=199
66.49	       =>  wckTime=65.559  cpuTime=64.88  mem=15M170
99.33	   
99.33	   search
99.33	     run=22  nbConstraintChecks=639357068  nbPropagations=20399610  nbRevisions=426860391  nbUselessRevisions=372191353
99.33	     nbAssignments=441478  nbFailedAssignments=216915  nbBacktracks=224437  nbVisitedNodes=823567  nbRestartNogoods=217
99.33	       =>  wckTime=98.403  cpuTime=97.42  mem=15M170
148.82	   
148.82	   search
148.82	     run=23  nbConstraintChecks=962765939  nbPropagations=30606990  nbRevisions=641503301  nbUselessRevisions=559427712
148.82	     nbAssignments=663471  nbFailedAssignments=326667  nbBacktracks=336664  nbVisitedNodes=1237675  nbRestartNogoods=242
148.82	       =>  wckTime=147.897  cpuTime=146.47  mem=15M170
223.46	   
223.55	   search
223.55	     run=24  nbConstraintChecks=1452863918  nbPropagations=45949766  nbRevisions=964878638  nbUselessRevisions=841557789
223.55	     nbAssignments=995570  nbFailedAssignments=490419  nbBacktracks=505007  nbVisitedNodes=1856906  nbRestartNogoods=259
223.55	       =>  wckTime=222.53  cpuTime=220.41  mem=15M170
336.64	   
336.64	   search
336.64	     run=25  nbConstraintChecks=2200501342  nbPropagations=69045671  nbRevisions=1453106031
336.64	     nbUselessRevisions=1267537499  nbAssignments=1494099  nbFailedAssignments=736431  nbBacktracks=757518
336.64	     nbVisitedNodes=2787082  nbRestartNogoods=272
336.64	       =>  wckTime=335.708  cpuTime=332.57  mem=15M170
374.40	   
374.40	   search
374.40	     run=26  nbConstraintChecks=2450671287  nbPropagations=94715277  nbRevisions=1996412745
374.40	     nbUselessRevisions=1741589919  nbAssignments=1658752  nbFailedAssignments=818190  nbBacktracks=840387
374.40	     nbVisitedNodes=3094610  nbRestartNogoods=280
374.40	       =>  wckTime=373.472  cpuTime=369.98  mem=15M170
374.40	   
374.40	   global
374.40	     nbConstraintChecks=2450727471  nbPropagations=94715963  nbRevisions=1996419780  nbUselessRevisions=1741596108
374.40	     nbRestartNogoods=280  solvingWckTime=373.473  solvingCpuTime=369.98  expiredTime=no  totalExploration=no
374.40	     nbFoundSolutions=1  globalCpuTime=370.42
374.40	       =>  wckTime=374.089  cpuTime=370.36  mem=15M170
374.40	   
374.40	s SATISFIABLE
374.40	v 1 19 16 4 19 23 3 14 3 4 20 4 2 17 20 8 24 14 23 7 2 8 23 18 10 
374.40	d NODES 1658752
374.40	d CHECKS 2450727471
374.41	   
374.41	   totalWckTime=374.172  totalCpuTime=370.43

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

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

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

/proc/loadavg: 1.31 1.05 1.02 4/88 24595
/proc/meminfo: memFree=1331088/2055920 swapFree=4191880/4192956
[pid=24594] ppid=24592 vsize=11868 CPUtime=0
/proc/24594/stat : 24594 (java) D 24592 24594 24379 0 -1 0 765 0 1 0 0 0 0 0 17 0 1 0 180369627 12152832 515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 2536228 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/24594/statm: 3002 533 440 14 0 1602 0

[startup+0.104177 s]
/proc/loadavg: 1.31 1.05 1.02 4/88 24595
/proc/meminfo: memFree=1331088/2055920 swapFree=4191880/4192956
[pid=24594] ppid=24592 vsize=914988 CPUtime=0.08
/proc/24594/stat : 24594 (java) S 24592 24594 24379 0 -1 0 2995 0 1 0 7 1 0 0 17 0 8 0 180369627 936947712 2741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24594/statm: 228747 2741 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.512213 s]
/proc/loadavg: 1.31 1.05 1.02 4/88 24595
/proc/meminfo: memFree=1331088/2055920 swapFree=4191880/4192956
[pid=24594] ppid=24592 vsize=915328 CPUtime=0.42
/proc/24594/stat : 24594 (java) R 24592 24594 24379 0 -1 0 6132 0 1 0 38 4 0 0 18 0 8 0 180369627 937295872 5871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155505942 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24594/statm: 228832 5871 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 915328

[startup+1.33429 s]
/proc/loadavg: 1.37 1.07 1.03 3/95 24602
/proc/meminfo: memFree=1306904/2055920 swapFree=4191880/4192956
[pid=24594] ppid=24592 vsize=915456 CPUtime=1.23
/proc/24594/stat : 24594 (java) R 24592 24594 24379 0 -1 0 8765 0 1 0 116 7 0 0 24 0 8 0 180369627 937426944 8503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073796318 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24594/statm: 228864 8503 2524 14 0 215334 0
[pid=24594/tid=24596] ppid=24592 vsize=915456 CPUtime=0.03
/proc/24594/task/24596/stat : 24596 (java) S 24592 24594 24379 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180369631 937426944 8503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24597] ppid=24592 vsize=915456 CPUtime=0
/proc/24594/task/24597/stat : 24597 (java) S 24592 24594 24379 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180369631 937426944 8503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24598] ppid=24592 vsize=915456 CPUtime=0
/proc/24594/task/24598/stat : 24598 (java) S 24592 24594 24379 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180369631 937426944 8503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24599] ppid=24592 vsize=915456 CPUtime=0
/proc/24594/task/24599/stat : 24599 (java) S 24592 24594 24379 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 180369635 937426944 8503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24600] ppid=24592 vsize=915456 CPUtime=0.2
/proc/24594/task/24600/stat : 24600 (java) S 24592 24594 24379 0 -1 64 376 0 0 0 19 1 0 0 15 0 8 0 180369635 937426944 8503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24601] ppid=24592 vsize=915456 CPUtime=0
/proc/24594/task/24601/stat : 24601 (java) S 24592 24594 24379 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180369635 937426944 8503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24602] ppid=24592 vsize=915456 CPUtime=0
/proc/24594/task/24602/stat : 24602 (java) S 24592 24594 24379 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180369635 937426944 8503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 915456

[startup+2.98744 s]
/proc/loadavg: 1.37 1.07 1.03 3/95 24602
/proc/meminfo: memFree=1306776/2055920 swapFree=4191880/4192956
[pid=24594] ppid=24592 vsize=915456 CPUtime=2.86
/proc/24594/stat : 24594 (java) R 24592 24594 24379 0 -1 0 8781 0 1 0 279 7 0 0 25 0 8 0 180369627 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073787795 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24594/statm: 228864 8518 2524 14 0 215334 0
[pid=24594/tid=24596] ppid=24592 vsize=915456 CPUtime=0.03
/proc/24594/task/24596/stat : 24596 (java) S 24592 24594 24379 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180369631 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24597] ppid=24592 vsize=915456 CPUtime=0
/proc/24594/task/24597/stat : 24597 (java) S 24592 24594 24379 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180369631 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24598] ppid=24592 vsize=915456 CPUtime=0
/proc/24594/task/24598/stat : 24598 (java) S 24592 24594 24379 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180369631 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24599] ppid=24592 vsize=915456 CPUtime=0
/proc/24594/task/24599/stat : 24599 (java) S 24592 24594 24379 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 180369635 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24600] ppid=24592 vsize=915456 CPUtime=0.23
/proc/24594/task/24600/stat : 24600 (java) S 24592 24594 24379 0 -1 64 392 0 0 0 22 1 0 0 15 0 8 0 180369635 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24601] ppid=24592 vsize=915456 CPUtime=0
/proc/24594/task/24601/stat : 24601 (java) S 24592 24594 24379 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180369635 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24602] ppid=24592 vsize=915456 CPUtime=0
/proc/24594/task/24602/stat : 24602 (java) S 24592 24594 24379 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180369635 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 915456

[startup+6.28474 s]
/proc/loadavg: 1.37 1.07 1.03 3/95 24602
/proc/meminfo: memFree=1306776/2055920 swapFree=4191880/4192956
[pid=24594] ppid=24592 vsize=915456 CPUtime=6.13
/proc/24594/stat : 24594 (java) R 24592 24594 24379 0 -1 0 8781 0 1 0 606 7 0 0 25 0 8 0 180369627 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073796081 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24594/statm: 228864 8518 2524 14 0 215334 0
[pid=24594/tid=24596] ppid=24592 vsize=915456 CPUtime=0.03
/proc/24594/task/24596/stat : 24596 (java) S 24592 24594 24379 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180369631 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24597] ppid=24592 vsize=915456 CPUtime=0
/proc/24594/task/24597/stat : 24597 (java) S 24592 24594 24379 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180369631 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24598] ppid=24592 vsize=915456 CPUtime=0
/proc/24594/task/24598/stat : 24598 (java) S 24592 24594 24379 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180369631 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24599] ppid=24592 vsize=915456 CPUtime=0
/proc/24594/task/24599/stat : 24599 (java) S 24592 24594 24379 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 180369635 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24600] ppid=24592 vsize=915456 CPUtime=0.23
/proc/24594/task/24600/stat : 24600 (java) S 24592 24594 24379 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 180369635 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24601] ppid=24592 vsize=915456 CPUtime=0
/proc/24594/task/24601/stat : 24601 (java) S 24592 24594 24379 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180369635 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24602] ppid=24592 vsize=915456 CPUtime=0
/proc/24594/task/24602/stat : 24602 (java) S 24592 24594 24379 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180369635 937426944 8518 18446744073709551615 134512640 134570532 4294956480 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) 915456

[startup+12.7673 s]
/proc/loadavg: 1.46 1.10 1.04 3/95 24602
/proc/meminfo: memFree=1306776/2055920 swapFree=4191880/4192956
[pid=24594] ppid=24592 vsize=915456 CPUtime=12.56
/proc/24594/stat : 24594 (java) R 24592 24594 24379 0 -1 0 8782 0 1 0 1248 8 0 0 25 0 8 0 180369627 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073804603 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24594/statm: 228864 8518 2524 14 0 215334 0
[pid=24594/tid=24596] ppid=24592 vsize=915456 CPUtime=0.03
/proc/24594/task/24596/stat : 24596 (java) S 24592 24594 24379 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180369631 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24597] ppid=24592 vsize=915456 CPUtime=0
/proc/24594/task/24597/stat : 24597 (java) S 24592 24594 24379 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180369631 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24598] ppid=24592 vsize=915456 CPUtime=0
/proc/24594/task/24598/stat : 24598 (java) S 24592 24594 24379 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180369631 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24599] ppid=24592 vsize=915456 CPUtime=0
/proc/24594/task/24599/stat : 24599 (java) S 24592 24594 24379 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 180369635 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24600] ppid=24592 vsize=915456 CPUtime=0.23
/proc/24594/task/24600/stat : 24600 (java) S 24592 24594 24379 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 180369635 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24601] ppid=24592 vsize=915456 CPUtime=0
/proc/24594/task/24601/stat : 24601 (java) S 24592 24594 24379 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180369635 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24602] ppid=24592 vsize=915456 CPUtime=0
/proc/24594/task/24602/stat : 24602 (java) S 24592 24594 24379 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180369635 937426944 8518 18446744073709551615 134512640 134570532 4294956480 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) 915456

[startup+25.6135 s]
/proc/loadavg: 1.55 1.13 1.05 3/95 24602
/proc/meminfo: memFree=1306776/2055920 swapFree=4191880/4192956
[pid=24594] ppid=24592 vsize=915456 CPUtime=25.28
/proc/24594/stat : 24594 (java) R 24592 24594 24379 0 -1 0 8787 0 1 0 2520 8 0 0 25 0 8 0 180369627 937426944 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802680 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24594/statm: 228864 8523 2524 14 0 215334 0
[pid=24594/tid=24596] ppid=24592 vsize=915456 CPUtime=0.03
/proc/24594/task/24596/stat : 24596 (java) S 24592 24594 24379 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180369631 937426944 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24597] ppid=24592 vsize=915456 CPUtime=0
/proc/24594/task/24597/stat : 24597 (java) S 24592 24594 24379 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180369631 937426944 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24598] ppid=24592 vsize=915456 CPUtime=0
/proc/24594/task/24598/stat : 24598 (java) S 24592 24594 24379 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180369631 937426944 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24599] ppid=24592 vsize=915456 CPUtime=0
/proc/24594/task/24599/stat : 24599 (java) S 24592 24594 24379 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 180369635 937426944 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24600] ppid=24592 vsize=915456 CPUtime=0.23
/proc/24594/task/24600/stat : 24600 (java) S 24592 24594 24379 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 180369635 937426944 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24601] ppid=24592 vsize=915456 CPUtime=0
/proc/24594/task/24601/stat : 24601 (java) S 24592 24594 24379 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180369635 937426944 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24602] ppid=24592 vsize=915456 CPUtime=0
/proc/24594/task/24602/stat : 24602 (java) S 24592 24594 24379 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180369635 937426944 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 915456

[startup+51.2239 s]
/proc/loadavg: 1.70 1.20 1.07 3/95 24602
/proc/meminfo: memFree=1306776/2055920 swapFree=4191880/4192956
[pid=24594] ppid=24592 vsize=915456 CPUtime=50.66
/proc/24594/stat : 24594 (java) R 24592 24594 24379 0 -1 0 8792 0 1 0 5058 8 0 0 25 0 8 0 180369627 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807692 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24594/statm: 228864 8528 2524 14 0 215334 0
[pid=24594/tid=24596] ppid=24592 vsize=915456 CPUtime=0.03
/proc/24594/task/24596/stat : 24596 (java) S 24592 24594 24379 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180369631 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24597] ppid=24592 vsize=915456 CPUtime=0
/proc/24594/task/24597/stat : 24597 (java) S 24592 24594 24379 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180369631 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24598] ppid=24592 vsize=915456 CPUtime=0
/proc/24594/task/24598/stat : 24598 (java) S 24592 24594 24379 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180369631 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24599] ppid=24592 vsize=915456 CPUtime=0
/proc/24594/task/24599/stat : 24599 (java) S 24592 24594 24379 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 180369635 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24600] ppid=24592 vsize=915456 CPUtime=0.23
/proc/24594/task/24600/stat : 24600 (java) S 24592 24594 24379 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 180369635 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24601] ppid=24592 vsize=915456 CPUtime=0
/proc/24594/task/24601/stat : 24601 (java) S 24592 24594 24379 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180369635 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24602] ppid=24592 vsize=915456 CPUtime=0
/proc/24594/task/24602/stat : 24602 (java) S 24592 24594 24379 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180369635 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 915456

[startup+102.435 s]
/proc/loadavg: 1.88 1.33 1.12 3/95 24602
/proc/meminfo: memFree=1306776/2055920 swapFree=4191880/4192956
[pid=24594] ppid=24592 vsize=915456 CPUtime=101.4
/proc/24594/stat : 24594 (java) R 24592 24594 24379 0 -1 0 8798 0 1 0 10132 8 0 0 25 0 8 0 180369627 937426944 8534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073811572 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24594/statm: 228864 8534 2524 14 0 215334 0
[pid=24594/tid=24596] ppid=24592 vsize=915456 CPUtime=0.03
/proc/24594/task/24596/stat : 24596 (java) S 24592 24594 24379 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180369631 937426944 8534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24597] ppid=24592 vsize=915456 CPUtime=0
/proc/24594/task/24597/stat : 24597 (java) S 24592 24594 24379 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180369631 937426944 8534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24598] ppid=24592 vsize=915456 CPUtime=0
/proc/24594/task/24598/stat : 24598 (java) S 24592 24594 24379 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180369631 937426944 8534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24599] ppid=24592 vsize=915456 CPUtime=0
/proc/24594/task/24599/stat : 24599 (java) S 24592 24594 24379 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 180369635 937426944 8534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24600] ppid=24592 vsize=915456 CPUtime=0.23
/proc/24594/task/24600/stat : 24600 (java) S 24592 24594 24379 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 180369635 937426944 8534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24601] ppid=24592 vsize=915456 CPUtime=0
/proc/24594/task/24601/stat : 24601 (java) S 24592 24594 24379 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180369635 937426944 8534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24602] ppid=24592 vsize=915456 CPUtime=0
/proc/24594/task/24602/stat : 24602 (java) S 24592 24594 24379 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180369635 937426944 8534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.4
Current children cumulated vsize (KiB) 915456

[startup+162.495 s]
/proc/loadavg: 1.95 1.45 1.17 3/95 24602
/proc/meminfo: memFree=1306776/2055920 swapFree=4191880/4192956
[pid=24594] ppid=24592 vsize=915456 CPUtime=160.92
/proc/24594/stat : 24594 (java) R 24592 24594 24379 0 -1 0 8800 0 1 0 16083 9 0 0 25 0 8 0 180369627 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24594/statm: 228864 8536 2524 14 0 215334 0
[pid=24594/tid=24596] ppid=24592 vsize=915456 CPUtime=0.03
/proc/24594/task/24596/stat : 24596 (java) S 24592 24594 24379 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180369631 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24597] ppid=24592 vsize=915456 CPUtime=0
/proc/24594/task/24597/stat : 24597 (java) S 24592 24594 24379 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180369631 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24598] ppid=24592 vsize=915456 CPUtime=0
/proc/24594/task/24598/stat : 24598 (java) S 24592 24594 24379 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180369631 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24599] ppid=24592 vsize=915456 CPUtime=0
/proc/24594/task/24599/stat : 24599 (java) S 24592 24594 24379 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 180369635 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24600] ppid=24592 vsize=915456 CPUtime=0.23
/proc/24594/task/24600/stat : 24600 (java) S 24592 24594 24379 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 180369635 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24601] ppid=24592 vsize=915456 CPUtime=0
/proc/24594/task/24601/stat : 24601 (java) S 24592 24594 24379 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180369635 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24602] ppid=24592 vsize=915456 CPUtime=0
/proc/24594/task/24602/stat : 24602 (java) S 24592 24594 24379 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180369635 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.92
Current children cumulated vsize (KiB) 915456

[startup+222.556 s]
/proc/loadavg: 2.03 1.56 1.23 3/95 24604
/proc/meminfo: memFree=1306776/2055920 swapFree=4191880/4192956
[pid=24594] ppid=24592 vsize=915456 CPUtime=220.43
/proc/24594/stat : 24594 (java) R 24592 24594 24379 0 -1 0 8800 0 1 0 22034 9 0 0 25 0 8 0 180369627 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073789812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24594/statm: 228864 8536 2524 14 0 215334 0
[pid=24594/tid=24596] ppid=24592 vsize=915456 CPUtime=0.03
/proc/24594/task/24596/stat : 24596 (java) S 24592 24594 24379 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180369631 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24597] ppid=24592 vsize=915456 CPUtime=0
/proc/24594/task/24597/stat : 24597 (java) S 24592 24594 24379 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180369631 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24598] ppid=24592 vsize=915456 CPUtime=0
/proc/24594/task/24598/stat : 24598 (java) S 24592 24594 24379 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180369631 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24599] ppid=24592 vsize=915456 CPUtime=0
/proc/24594/task/24599/stat : 24599 (java) S 24592 24594 24379 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 180369635 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24600] ppid=24592 vsize=915456 CPUtime=0.23
/proc/24594/task/24600/stat : 24600 (java) S 24592 24594 24379 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 180369635 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24601] ppid=24592 vsize=915456 CPUtime=0
/proc/24594/task/24601/stat : 24601 (java) S 24592 24594 24379 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180369635 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24602] ppid=24592 vsize=915456 CPUtime=0
/proc/24594/task/24602/stat : 24602 (java) S 24592 24594 24379 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180369635 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.43
Current children cumulated vsize (KiB) 915456

[startup+282.619 s]
/proc/loadavg: 2.04 1.65 1.28 3/95 24604
/proc/meminfo: memFree=1306776/2055920 swapFree=4191880/4192956
[pid=24594] ppid=24592 vsize=915456 CPUtime=279.95
/proc/24594/stat : 24594 (java) R 24592 24594 24379 0 -1 0 8803 0 1 0 27985 10 0 0 25 0 8 0 180369627 937426944 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073796331 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24594/statm: 228864 8539 2524 14 0 215334 0
[pid=24594/tid=24596] ppid=24592 vsize=915456 CPUtime=0.03
/proc/24594/task/24596/stat : 24596 (java) S 24592 24594 24379 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180369631 937426944 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24597] ppid=24592 vsize=915456 CPUtime=0
/proc/24594/task/24597/stat : 24597 (java) S 24592 24594 24379 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180369631 937426944 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24598] ppid=24592 vsize=915456 CPUtime=0
/proc/24594/task/24598/stat : 24598 (java) S 24592 24594 24379 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180369631 937426944 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24599] ppid=24592 vsize=915456 CPUtime=0
/proc/24594/task/24599/stat : 24599 (java) S 24592 24594 24379 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 180369635 937426944 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24600] ppid=24592 vsize=915456 CPUtime=0.23
/proc/24594/task/24600/stat : 24600 (java) S 24592 24594 24379 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 180369635 937426944 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24601] ppid=24592 vsize=915456 CPUtime=0
/proc/24594/task/24601/stat : 24601 (java) S 24592 24594 24379 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180369635 937426944 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24602] ppid=24592 vsize=915456 CPUtime=0
/proc/24594/task/24602/stat : 24602 (java) S 24592 24594 24379 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180369635 937426944 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 279.95
Current children cumulated vsize (KiB) 915456

[startup+342.673 s]
/proc/loadavg: 2.01 1.71 1.32 3/95 24604
/proc/meminfo: memFree=1306776/2055920 swapFree=4191880/4192956
[pid=24594] ppid=24592 vsize=915456 CPUtime=339.45
/proc/24594/stat : 24594 (java) R 24592 24594 24379 0 -1 0 8805 0 1 0 33935 10 0 0 25 0 8 0 180369627 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803738 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24594/statm: 228864 8541 2524 14 0 215334 0
[pid=24594/tid=24596] ppid=24592 vsize=915456 CPUtime=0.03
/proc/24594/task/24596/stat : 24596 (java) S 24592 24594 24379 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180369631 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24597] ppid=24592 vsize=915456 CPUtime=0
/proc/24594/task/24597/stat : 24597 (java) S 24592 24594 24379 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180369631 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24598] ppid=24592 vsize=915456 CPUtime=0
/proc/24594/task/24598/stat : 24598 (java) S 24592 24594 24379 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180369631 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24599] ppid=24592 vsize=915456 CPUtime=0
/proc/24594/task/24599/stat : 24599 (java) S 24592 24594 24379 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 180369635 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24600] ppid=24592 vsize=915456 CPUtime=0.23
/proc/24594/task/24600/stat : 24600 (java) S 24592 24594 24379 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 180369635 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24601] ppid=24592 vsize=915456 CPUtime=0
/proc/24594/task/24601/stat : 24601 (java) S 24592 24594 24379 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180369635 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24594/tid=24602] ppid=24592 vsize=915456 CPUtime=0
/proc/24594/task/24602/stat : 24602 (java) S 24592 24594 24379 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180369635 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.45
Current children cumulated vsize (KiB) 915456

Child status: 0
Real time (s): 374.451
CPU time (s): 370.913
CPU user time (s): 370.795
CPU system time (s): 0.117982
CPU usage (%): 99.0551
Max. virtual memory (cumulated for all children) (KiB): 915456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 370.795
system time used= 0.117982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8899
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= 8690
involuntary context switches= 15805

runsolver used 0.507922 s user time and 1.15982 s system time

The end

Launcher Data (download as text)

Begin job on node72 on Tue Jan  9 05:13:28 UTC 2007


IDJOB= 232053
IDBENCH= 6498
FILE ID= node72/232053-1168319608

PBS_JOBID= 3502866

Free space on /tmp= 66558 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-25/rand-25-25-300-147-51021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/232053-1168319608/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node72/watcher-232053-1168319608 -o ROOT/results/node72/solver-232053-1168319608 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/232053-1168319608/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  a6796d1a4a021a8d73019bb1709f2bc1

RANDOM SEED= 275900016

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.223
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.223
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:       1331504 kB
Buffers:         57868 kB
Cached:         548288 kB
SwapCached:        268 kB
Active:         231892 kB
Inactive:       425696 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1331504 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            3396 kB
Writeback:           0 kB
Mapped:          70308 kB
Slab:            51540 kB
Committed_AS:  3575400 kB
PageTables:       2304 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 node72 on Tue Jan  9 05:19:43 UTC 2007