Trace number 217163

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 404.202 405.608

DiagnosticValue
CHECKS2854025528
NODES1787259

General information on the benchmark

Namefrb/frb45-21/
frb45-21-5-mgd_ext.xml
MD5SUM34ea40322126207947ea4c2401eade98
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 benchmark56.8714
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables45
Number of constraints375
Maximum constraint arity2
Maximum domain size21
Number of constraints which are defined in extension375
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.34	   
0.34	   instance
0.35	     name=/tmp/evaluation/217163-1168244479/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.42	     nbVariables=45  nbDomainTypes=1  minDomainSize=21  maxDomainSize=21
0.42	       =>  wckTime=0.102  cpuTime=0.08  mem=6M951
0.42	   
0.42	   relations being loaded...
0.55	   
0.55	   constraints being loaded...
0.67	     nbConstraints=375  nbRelationTypes=375  nbExtensionStructures=375  nbSharedExtensionStructures=0
0.67	     nbConflictsStructures=375  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=1766  maxDegree=24
0.67	     maxArity=2
0.67	       =>  wckTime=0.352  cpuTime=0.26  mem=14M761
0.71	   
0.71	   solver IterativeSystematicSolver being built... 
0.87	       =>  wckTime=0.554  cpuTime=0.4  mem=15M290
0.93	   
0.93	   preprocessing
0.93	     nbConstraintChecks=83324  nbPropagations=960  nbRevisions=7672  nbUselessRevisions=6274  nbSingletonTests=51
0.93	     nbEffectiveSingletonTests=0  nbESACBranches=6  nbRemovedValues=0  detectedInconsistency=no
0.93	       =>  wckTime=0.054  cpuTime=0.04  mem=15M290
0.95	   
0.95	   search
0.95	     run=0  nbConstraintChecks=45220  nbPropagations=1517  nbRevisions=14054  nbUselessRevisions=11379  nbAssignments=26
0.95	     nbFailedAssignments=7  nbBacktracks=11  nbVisitedNodes=41  nbRestartNogoods=0  mapSize=8  nbInferences=0
0.95	     nbTooLargeKeys=0
0.95	       =>  wckTime=0.081  cpuTime=0.05  mem=15M290
0.98	   
0.98	   search
0.98	     run=1  nbConstraintChecks=97825  nbPropagations=3654  nbRevisions=35424  nbUselessRevisions=28572  nbAssignments=60
0.98	     nbFailedAssignments=17  nbBacktracks=26  nbVisitedNodes=93  nbRestartNogoods=2  mapSize=20  nbInferences=0
0.98	     nbTooLargeKeys=0
0.98	       =>  wckTime=0.104  cpuTime=0.07  mem=15M290
0.99	   
0.99	   search
0.99	     run=2  nbConstraintChecks=169108  nbPropagations=6751  nbRevisions=68661  nbUselessRevisions=55344
0.99	     nbAssignments=106  nbFailedAssignments=31  nbBacktracks=48  nbVisitedNodes=172  nbRestartNogoods=5  mapSize=41
0.99	     nbInferences=0  nbTooLargeKeys=0
0.99	       =>  wckTime=0.12  cpuTime=0.08  mem=15M290
1.01	   
1.01	   search
1.01	     run=3  nbConstraintChecks=286166  nbPropagations=11294  nbRevisions=121409  nbUselessRevisions=97855
1.01	     nbAssignments=176  nbFailedAssignments=58  nbBacktracks=81  nbVisitedNodes=292  nbRestartNogoods=8  mapSize=71
1.01	     nbInferences=0  nbTooLargeKeys=0
1.01	       =>  wckTime=0.142  cpuTime=0.1  mem=15M290
1.05	   
1.05	   search
1.05	     run=4  nbConstraintChecks=483733  nbPropagations=18116  nbRevisions=205210  nbUselessRevisions=164685
1.05	     nbAssignments=284  nbFailedAssignments=109  nbBacktracks=132  nbVisitedNodes=484  nbRestartNogoods=11  mapSize=117
1.05	     nbInferences=0  nbTooLargeKeys=0
1.05	       =>  wckTime=0.181  cpuTime=0.14  mem=15M290
1.09	   
1.09	   search
1.09	     run=5  nbConstraintChecks=701490  nbPropagations=27541  nbRevisions=323348  nbUselessRevisions=258633
1.10	     nbAssignments=416  nbFailedAssignments=160  nbBacktracks=207  nbVisitedNodes=709  nbRestartNogoods=17  mapSize=178
1.10	     nbInferences=0  nbTooLargeKeys=0
1.10	       =>  wckTime=0.222  cpuTime=0.18  mem=15M290
1.16	   
1.16	   search
1.16	     run=6  nbConstraintChecks=1058943  nbPropagations=41268  nbRevisions=501451  nbUselessRevisions=400246
1.16	     nbAssignments=628  nbFailedAssignments=251  nbBacktracks=320  nbVisitedNodes=1078  nbRestartNogoods=19  mapSize=271
1.16	     nbInferences=0  nbTooLargeKeys=0
1.16	       =>  wckTime=0.291  cpuTime=0.24  mem=15M290
1.24	   
1.25	   search
1.25	     run=7  nbConstraintChecks=1511859  nbPropagations=60757  nbRevisions=756033  nbUselessRevisions=602484
1.25	     nbAssignments=923  nbFailedAssignments=368  nbBacktracks=490  nbVisitedNodes=1586  nbRestartNogoods=26  mapSize=414
1.25	     nbInferences=0  nbTooLargeKeys=0
1.25	       =>  wckTime=0.373  cpuTime=0.32  mem=15M290
1.37	   
1.37	   search
1.37	     run=8  nbConstraintChecks=2241717  nbPropagations=88937  nbRevisions=1134859  nbUselessRevisions=904441
1.37	     nbAssignments=1374  nbFailedAssignments=556  nbBacktracks=746  nbVisitedNodes=2371  nbRestartNogoods=34
1.37	     mapSize=630  nbInferences=0  nbTooLargeKeys=0
1.37	       =>  wckTime=0.502  cpuTime=0.44  mem=15M290
1.57	   
1.57	   search
1.57	     run=9  nbConstraintChecks=3321225  nbPropagations=130445  nbRevisions=1694232  nbUselessRevisions=1350002
1.57	     nbAssignments=2067  nbFailedAssignments=854  nbBacktracks=1131  nbVisitedNodes=3586  nbRestartNogoods=39
1.57	     mapSize=964  nbInferences=0  nbTooLargeKeys=0
1.57	       =>  wckTime=0.695  cpuTime=0.62  mem=15M290
1.60	   
1.60	   INFO : Stopping hyperNogood (mapSize=1021, nbTooLargekeys=0, mem=15M290)
1.82	   
1.82	   search
1.82	     run=10  nbConstraintChecks=4830368  nbPropagations=190794  nbRevisions=2520197  nbUselessRevisions=2010923
1.82	     nbAssignments=3058  nbFailedAssignments=1264  nbBacktracks=1707  nbVisitedNodes=5307  nbRestartNogoods=45
1.82	       =>  wckTime=0.946  cpuTime=0.86  mem=15M290
2.18	   
2.18	   search
2.18	     run=11  nbConstraintChecks=7128630  nbPropagations=280403  nbRevisions=3768347  nbUselessRevisions=3013269
2.18	     nbAssignments=4577  nbFailedAssignments=1911  nbBacktracks=2571  nbVisitedNodes=7985  nbRestartNogoods=51
2.18	       =>  wckTime=1.309  cpuTime=1.22  mem=15M290
2.74	   
2.74	   search
2.74	     run=12  nbConstraintChecks=10889397  nbPropagations=414519  nbRevisions=5626046  nbUselessRevisions=4499964
2.74	     nbAssignments=6775  nbFailedAssignments=2803  nbBacktracks=3871  nbVisitedNodes=11804  nbRestartNogoods=58
2.74	       =>  wckTime=1.863  cpuTime=1.77  mem=15M290
3.43	   
3.43	   search
3.43	     run=13  nbConstraintChecks=15392238  nbPropagations=605211  nbRevisions=8264579  nbUselessRevisions=6612597
3.43	     nbAssignments=9789  nbFailedAssignments=3862  nbBacktracks=5820  nbVisitedNodes=16881  nbRestartNogoods=65
3.43	       =>  wckTime=2.559  cpuTime=2.45  mem=15M290
4.63	   
4.63	   search
4.63	     run=14  nbConstraintChecks=23146022  nbPropagations=894516  nbRevisions=12274580  nbUselessRevisions=9827755
4.63	     nbAssignments=14711  nbFailedAssignments=5856  nbBacktracks=8741  nbVisitedNodes=25493  nbRestartNogoods=69
4.63	       =>  wckTime=3.757  cpuTime=3.64  mem=15M290
6.33	   
6.33	   search
6.33	     run=15  nbConstraintChecks=34306510  nbPropagations=1322230  nbRevisions=18214299  nbUselessRevisions=14591482
6.33	     nbAssignments=21815  nbFailedAssignments=8575  nbBacktracks=13120  nbVisitedNodes=37677  nbRestartNogoods=77
6.33	       =>  wckTime=5.456  cpuTime=5.32  mem=15M290
8.82	   
8.82	   search
8.82	     run=16  nbConstraintChecks=50451689  nbPropagations=1959085  nbRevisions=26994228  nbUselessRevisions=21633539
8.82	     nbAssignments=32521  nbFailedAssignments=12705  nbBacktracks=19689  nbVisitedNodes=56095  nbRestartNogoods=86
8.82	       =>  wckTime=7.947  cpuTime=7.79  mem=15M290
12.61	   
12.61	   search
12.61	     run=17  nbConstraintChecks=75715521  nbPropagations=2903488  nbRevisions=40051729  nbUselessRevisions=32097267
12.61	     nbAssignments=48394  nbFailedAssignments=18720  nbBacktracks=29541  nbVisitedNodes=83284  nbRestartNogoods=96
12.61	       =>  wckTime=11.741  cpuTime=11.55  mem=15M290
18.53	   
18.53	   search
18.53	     run=18  nbConstraintChecks=115595556  nbPropagations=4333680  nbRevisions=59872657  nbUselessRevisions=47982045
18.53	     nbAssignments=72971  nbFailedAssignments=28511  nbBacktracks=44319  nbVisitedNodes=126023  nbRestartNogoods=104
18.53	       =>  wckTime=17.654  cpuTime=17.41  mem=16M265
27.31	   
27.31	   search
27.31	     run=19  nbConstraintChecks=172897899  nbPropagations=6476854  nbRevisions=89873875  nbUselessRevisions=72082345
27.31	     nbAssignments=109867  nbFailedAssignments=43216  nbBacktracks=66489  nbVisitedNodes=190022  nbRestartNogoods=117
27.31	       =>  wckTime=26.433  cpuTime=26.11  mem=16M265
40.59	   
40.59	   search
40.59	     run=20  nbConstraintChecks=262058378  nbPropagations=9708391  nbRevisions=134835154  nbUselessRevisions=108121426
40.59	     nbAssignments=164568  nbFailedAssignments=64658  nbBacktracks=99742  nbVisitedNodes=284961  nbRestartNogoods=132
40.59	       =>  wckTime=39.716  cpuTime=39.28  mem=16M265
60.10	   
60.10	   search
60.10	     run=21  nbConstraintChecks=391786345  nbPropagations=14548245  nbRevisions=201829302  nbUselessRevisions=161763213
60.10	     nbAssignments=246533  nbFailedAssignments=96738  nbBacktracks=149621  nbVisitedNodes=426365  nbRestartNogoods=144
60.10	       =>  wckTime=59.224  cpuTime=58.62  mem=16M265
89.34	   
89.35	   search
89.35	     run=22  nbConstraintChecks=586181072  nbPropagations=21791352  nbRevisions=302346632  nbUselessRevisions=242348580
89.35	     nbAssignments=369938  nbFailedAssignments=145316  nbBacktracks=224439  nbVisitedNodes=639978  nbRestartNogoods=156
89.35	       =>  wckTime=88.47  cpuTime=87.61  mem=16M265
132.32	   
132.32	   search
132.32	     run=23  nbConstraintChecks=878664092  nbPropagations=32611970  nbRevisions=453598584  nbUselessRevisions=363762079
132.32	     nbAssignments=554863  nbFailedAssignments=218003  nbBacktracks=336666  nbVisitedNodes=959314  nbRestartNogoods=174
132.32	       =>  wckTime=131.448  cpuTime=130.3  mem=16M265
192.97	   
192.97	   search
192.97	     run=24  nbConstraintChecks=1313812699  nbPropagations=48854543  nbRevisions=679977501  nbUselessRevisions=545497615
192.97	     nbAssignments=829877  nbFailedAssignments=324668  nbBacktracks=505007  nbVisitedNodes=1435204  nbRestartNogoods=194
192.97	       =>  wckTime=192.093  cpuTime=190.88  mem=16M265
286.48	   
286.48	   search
286.48	     run=25  nbConstraintChecks=1988546672  nbPropagations=73357883  nbRevisions=1022363504
286.48	     nbUselessRevisions=820380639  nbAssignments=1249319  nbFailedAssignments=491591  nbBacktracks=757520
286.48	     nbVisitedNodes=2162303  nbRestartNogoods=217
286.48	       =>  wckTime=285.605  cpuTime=284.29  mem=16M265
405.57	   
405.57	   search
405.57	     run=26  nbConstraintChecks=2853942204  nbPropagations=108389928  nbRevisions=1512494020
405.57	     nbUselessRevisions=1213960731  nbAssignments=1787259  nbFailedAssignments=704240  nbBacktracks=1082766
405.57	     nbVisitedNodes=3093486  nbRestartNogoods=227
405.57	       =>  wckTime=404.694  cpuTime=403.25  mem=16M265
405.57	   
405.57	   global
405.57	     nbConstraintChecks=2854025528  nbPropagations=108390888  nbRevisions=1512501692  nbUselessRevisions=1213967005
405.57	     nbRestartNogoods=227  solvingWckTime=404.695  solvingCpuTime=403.25  expiredTime=no  totalExploration=no
405.57	     nbFoundSolutions=1  globalCpuTime=403.71
405.57	       =>  wckTime=405.253  cpuTime=403.65  mem=16M265
405.57	   
405.57	s SATISFIABLE
405.57	v 0 11 2 6 17 2 15 9 16 6 20 17 11 18 4 19 6 13 9 7 3 5 11 17 10 5 18 5 1 5 0 13 16 15 19 9 3 3 0 4 9 20 12 18 14 
405.57	d NODES 1787259
405.57	d CHECKS 2854025528
405.57	   
405.57	   totalWckTime=405.334  totalCpuTime=403.72

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/node13/watcher-217163-1168244479 -o ROOT/results/node13/solver-217163-1168244479 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217163-1168244479/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.04 1.23 1.57 4/89 1524
/proc/meminfo: memFree=1698696/2055920 swapFree=4192812/4192956
[pid=1523] ppid=1521 vsize=18540 CPUtime=0
/proc/1523/stat : 1523 (runsolver) R 1521 1523 1348 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 172843366 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 269757246759 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/1523/statm: 4635 279 244 17 0 2626 0

[startup+0.102711 s]
/proc/loadavg: 1.04 1.23 1.57 4/89 1524
/proc/meminfo: memFree=1698696/2055920 swapFree=4192812/4192956
[pid=1523] ppid=1521 vsize=914988 CPUtime=0.09
/proc/1523/stat : 1523 (java) R 1521 1523 1348 0 -1 0 2956 0 1 0 7 2 0 0 17 0 8 0 172843366 936947712 2702 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155475432 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1523/statm: 228747 2702 1414 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.510765 s]
/proc/loadavg: 1.04 1.23 1.57 4/89 1524
/proc/meminfo: memFree=1698696/2055920 swapFree=4192812/4192956
[pid=1523] ppid=1521 vsize=915328 CPUtime=0.49
/proc/1523/stat : 1523 (java) R 1521 1523 1348 0 -1 0 6907 0 1 0 44 5 0 0 18 0 8 0 172843366 937295872 6646 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073567571 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1523/statm: 228832 6646 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33187 s]
/proc/loadavg: 1.04 1.23 1.57 3/96 1531
/proc/meminfo: memFree=1673680/2055920 swapFree=4192812/4192956
[pid=1523] ppid=1521 vsize=915456 CPUtime=1.29
/proc/1523/stat : 1523 (java) R 1521 1523 1348 0 -1 0 8976 0 1 0 123 6 0 0 24 0 8 0 172843366 937426944 8714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073815301 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1523/statm: 228864 8714 2524 14 0 215334 0
[pid=1523/tid=1525] ppid=1521 vsize=915456 CPUtime=0.03
/proc/1523/task/1525/stat : 1525 (java) S 1521 1523 1348 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 172843371 937426944 8714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1526] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1526/stat : 1526 (java) S 1521 1523 1348 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172843371 937426944 8714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1527] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1527/stat : 1527 (java) S 1521 1523 1348 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 172843371 937426944 8714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1528] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1528/stat : 1528 (java) S 1521 1523 1348 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 172843374 937426944 8714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1529] ppid=1521 vsize=915456 CPUtime=0.2
/proc/1523/task/1529/stat : 1529 (java) S 1521 1523 1348 0 -1 64 378 0 0 0 19 1 0 0 15 0 8 0 172843374 937426944 8714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1530] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1530/stat : 1530 (java) S 1521 1523 1348 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 172843375 937426944 8714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1531] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1531/stat : 1531 (java) S 1521 1523 1348 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 172843375 937426944 8714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915456

[startup+2.97109 s]
/proc/loadavg: 1.04 1.23 1.57 3/96 1531
/proc/meminfo: memFree=1673616/2055920 swapFree=4192812/4192956
[pid=1523] ppid=1521 vsize=915456 CPUtime=2.92
/proc/1523/stat : 1523 (java) R 1521 1523 1348 0 -1 0 8993 0 1 0 285 7 0 0 25 0 8 0 172843366 937426944 8729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803500 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1523/statm: 228864 8729 2524 14 0 215334 0
[pid=1523/tid=1525] ppid=1521 vsize=915456 CPUtime=0.03
/proc/1523/task/1525/stat : 1525 (java) S 1521 1523 1348 0 -1 64 343 0 0 0 3 0 0 0 17 0 8 0 172843371 937426944 8729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1526] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1526/stat : 1526 (java) S 1521 1523 1348 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172843371 937426944 8729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1527] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1527/stat : 1527 (java) S 1521 1523 1348 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 172843371 937426944 8729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1528] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1528/stat : 1528 (java) S 1521 1523 1348 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 172843374 937426944 8729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1529] ppid=1521 vsize=915456 CPUtime=0.23
/proc/1523/task/1529/stat : 1529 (java) S 1521 1523 1348 0 -1 64 394 0 0 0 22 1 0 0 15 0 8 0 172843374 937426944 8729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1530] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1530/stat : 1530 (java) S 1521 1523 1348 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 172843375 937426944 8729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1531] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1531/stat : 1531 (java) S 1521 1523 1348 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 172843375 937426944 8729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915456

[startup+6.17752 s]
/proc/loadavg: 1.12 1.24 1.58 3/96 1531
/proc/meminfo: memFree=1673488/2055920 swapFree=4192812/4192956
[pid=1523] ppid=1521 vsize=915456 CPUtime=6.11
/proc/1523/stat : 1523 (java) R 1521 1523 1348 0 -1 0 8993 0 1 0 604 7 0 0 25 0 8 0 172843366 937426944 8729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073804392 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1523/statm: 228864 8729 2524 14 0 215334 0
[pid=1523/tid=1525] ppid=1521 vsize=915456 CPUtime=0.03
/proc/1523/task/1525/stat : 1525 (java) S 1521 1523 1348 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 172843371 937426944 8729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1526] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1526/stat : 1526 (java) S 1521 1523 1348 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172843371 937426944 8729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1527] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1527/stat : 1527 (java) S 1521 1523 1348 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 172843371 937426944 8729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1528] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1528/stat : 1528 (java) S 1521 1523 1348 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 172843374 937426944 8729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1529] ppid=1521 vsize=915456 CPUtime=0.23
/proc/1523/task/1529/stat : 1529 (java) S 1521 1523 1348 0 -1 64 394 0 0 0 22 1 0 0 15 0 8 0 172843374 937426944 8729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1530] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1530/stat : 1530 (java) S 1521 1523 1348 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 172843375 937426944 8729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1531] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1531/stat : 1531 (java) S 1521 1523 1348 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 172843375 937426944 8729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 915456

[startup+12.6474 s]
/proc/loadavg: 1.19 1.25 1.58 3/96 1531
/proc/meminfo: memFree=1673552/2055920 swapFree=4192812/4192956
[pid=1523] ppid=1521 vsize=915456 CPUtime=12.51
/proc/1523/stat : 1523 (java) R 1521 1523 1348 0 -1 0 8994 0 1 0 1244 7 0 0 25 0 8 0 172843366 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073804222 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1523/statm: 228864 8730 2524 14 0 215334 0
[pid=1523/tid=1525] ppid=1521 vsize=915456 CPUtime=0.03
/proc/1523/task/1525/stat : 1525 (java) S 1521 1523 1348 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 172843371 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1526] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1526/stat : 1526 (java) S 1521 1523 1348 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172843371 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1527] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1527/stat : 1527 (java) S 1521 1523 1348 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 172843371 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1528] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1528/stat : 1528 (java) S 1521 1523 1348 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 172843374 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1529] ppid=1521 vsize=915456 CPUtime=0.23
/proc/1523/task/1529/stat : 1529 (java) S 1521 1523 1348 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 172843374 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1530] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1530/stat : 1530 (java) S 1521 1523 1348 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 172843375 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1531] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1531/stat : 1531 (java) S 1521 1523 1348 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 172843375 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 915456

[startup+25.5081 s]
/proc/loadavg: 1.37 1.29 1.58 3/96 1531
/proc/meminfo: memFree=1673616/2055920 swapFree=4192812/4192956
[pid=1523] ppid=1521 vsize=915456 CPUtime=25.26
/proc/1523/stat : 1523 (java) R 1521 1523 1348 0 -1 0 8995 0 1 0 2519 7 0 0 25 0 8 0 172843366 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1523/statm: 228864 8730 2524 14 0 215334 0
[pid=1523/tid=1525] ppid=1521 vsize=915456 CPUtime=0.03
/proc/1523/task/1525/stat : 1525 (java) S 1521 1523 1348 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 172843371 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1526] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1526/stat : 1526 (java) S 1521 1523 1348 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172843371 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1527] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1527/stat : 1527 (java) S 1521 1523 1348 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 172843371 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1528] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1528/stat : 1528 (java) S 1521 1523 1348 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 172843374 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1529] ppid=1521 vsize=915456 CPUtime=0.23
/proc/1523/task/1529/stat : 1529 (java) S 1521 1523 1348 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 172843374 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1530] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1530/stat : 1530 (java) S 1521 1523 1348 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 172843375 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1531] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1531/stat : 1531 (java) S 1521 1523 1348 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 172843375 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 915456

[startup+51.1195 s]
/proc/loadavg: 1.58 1.34 1.59 3/96 1531
/proc/meminfo: memFree=1673680/2055920 swapFree=4192812/4192956
[pid=1523] ppid=1521 vsize=915456 CPUtime=50.64
/proc/1523/stat : 1523 (java) R 1521 1523 1348 0 -1 0 8995 0 1 0 5057 7 0 0 25 0 8 0 172843366 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073804256 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1523/statm: 228864 8730 2524 14 0 215334 0
[pid=1523/tid=1525] ppid=1521 vsize=915456 CPUtime=0.03
/proc/1523/task/1525/stat : 1525 (java) S 1521 1523 1348 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 172843371 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1526] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1526/stat : 1526 (java) S 1521 1523 1348 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172843371 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1527] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1527/stat : 1527 (java) S 1521 1523 1348 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 172843371 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1528] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1528/stat : 1528 (java) S 1521 1523 1348 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 172843374 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1529] ppid=1521 vsize=915456 CPUtime=0.23
/proc/1523/task/1529/stat : 1529 (java) S 1521 1523 1348 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 172843374 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1530] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1530/stat : 1530 (java) S 1521 1523 1348 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 172843375 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1531] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1531/stat : 1531 (java) S 1521 1523 1348 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 172843375 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 915456

[startup+102.33 s]
/proc/loadavg: 1.82 1.44 1.61 3/96 1531
/proc/meminfo: memFree=1673744/2055920 swapFree=4192812/4192956
[pid=1523] ppid=1521 vsize=915456 CPUtime=101.42
/proc/1523/stat : 1523 (java) R 1521 1523 1348 0 -1 0 8995 0 1 0 10134 8 0 0 25 0 8 0 172843366 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1523/statm: 228864 8730 2524 14 0 215334 0
[pid=1523/tid=1525] ppid=1521 vsize=915456 CPUtime=0.03
/proc/1523/task/1525/stat : 1525 (java) S 1521 1523 1348 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 172843371 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1526] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1526/stat : 1526 (java) S 1521 1523 1348 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172843371 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1527] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1527/stat : 1527 (java) S 1521 1523 1348 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 172843371 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1528] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1528/stat : 1528 (java) S 1521 1523 1348 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 172843374 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1529] ppid=1521 vsize=915456 CPUtime=0.23
/proc/1523/task/1529/stat : 1529 (java) S 1521 1523 1348 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 172843374 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1530] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1530/stat : 1530 (java) S 1521 1523 1348 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 172843375 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1531] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1531/stat : 1531 (java) S 1521 1523 1348 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 172843375 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.42
Current children cumulated vsize (KiB) 915456

[startup+162.406 s]
/proc/loadavg: 1.89 1.53 1.63 3/101 1605
/proc/meminfo: memFree=1665568/2055920 swapFree=4192812/4192956
[pid=1523] ppid=1521 vsize=915456 CPUtime=161.3
/proc/1523/stat : 1523 (java) R 1521 1523 1348 0 -1 0 8995 0 1 0 16121 9 0 0 25 0 8 0 172843366 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073804222 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1523/statm: 228864 8730 2524 14 0 215334 0
[pid=1523/tid=1525] ppid=1521 vsize=915456 CPUtime=0.03
/proc/1523/task/1525/stat : 1525 (java) S 1521 1523 1348 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 172843371 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1526] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1526/stat : 1526 (java) S 1521 1523 1348 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172843371 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1527] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1527/stat : 1527 (java) S 1521 1523 1348 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 172843371 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1528] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1528/stat : 1528 (java) S 1521 1523 1348 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 172843374 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1529] ppid=1521 vsize=915456 CPUtime=0.23
/proc/1523/task/1529/stat : 1529 (java) S 1521 1523 1348 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 172843374 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1530] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1530/stat : 1530 (java) S 1521 1523 1348 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 172843375 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1531] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1531/stat : 1531 (java) S 1521 1523 1348 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 172843375 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.3
Current children cumulated vsize (KiB) 915456

[startup+222.411 s]
/proc/loadavg: 1.96 1.61 1.65 3/101 1605
/proc/meminfo: memFree=1665576/2055920 swapFree=4192812/4192956
[pid=1523] ppid=1521 vsize=915456 CPUtime=221.21
/proc/1523/stat : 1523 (java) R 1521 1523 1348 0 -1 0 8995 0 1 0 22112 9 0 0 25 0 8 0 172843366 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810792 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1523/statm: 228864 8730 2524 14 0 215334 0
[pid=1523/tid=1525] ppid=1521 vsize=915456 CPUtime=0.03
/proc/1523/task/1525/stat : 1525 (java) S 1521 1523 1348 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 172843371 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1526] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1526/stat : 1526 (java) S 1521 1523 1348 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172843371 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1527] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1527/stat : 1527 (java) S 1521 1523 1348 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 172843371 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1528] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1528/stat : 1528 (java) S 1521 1523 1348 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 172843374 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1529] ppid=1521 vsize=915456 CPUtime=0.23
/proc/1523/task/1529/stat : 1529 (java) S 1521 1523 1348 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 172843374 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1530] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1530/stat : 1530 (java) S 1521 1523 1348 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 172843375 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1531] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1531/stat : 1531 (java) S 1521 1523 1348 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 172843375 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.21
Current children cumulated vsize (KiB) 915456

[startup+282.416 s]
/proc/loadavg: 1.98 1.68 1.67 3/101 1605
/proc/meminfo: memFree=1665576/2055920 swapFree=4192812/4192956
[pid=1523] ppid=1521 vsize=915456 CPUtime=281.16
/proc/1523/stat : 1523 (java) R 1521 1523 1348 0 -1 0 8995 0 1 0 28107 9 0 0 25 0 8 0 172843366 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073815307 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1523/statm: 228864 8730 2524 14 0 215334 0
[pid=1523/tid=1525] ppid=1521 vsize=915456 CPUtime=0.03
/proc/1523/task/1525/stat : 1525 (java) S 1521 1523 1348 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 172843371 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1526] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1526/stat : 1526 (java) S 1521 1523 1348 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172843371 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1527] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1527/stat : 1527 (java) S 1521 1523 1348 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 172843371 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1528] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1528/stat : 1528 (java) S 1521 1523 1348 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 172843374 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1529] ppid=1521 vsize=915456 CPUtime=0.23
/proc/1523/task/1529/stat : 1529 (java) S 1521 1523 1348 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 172843374 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1530] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1530/stat : 1530 (java) S 1521 1523 1348 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 172843375 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1531] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1531/stat : 1531 (java) S 1521 1523 1348 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 172843375 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.16
Current children cumulated vsize (KiB) 915456

[startup+342.423 s]
/proc/loadavg: 1.99 1.73 1.68 3/101 1605
/proc/meminfo: memFree=1665512/2055920 swapFree=4192812/4192956
[pid=1523] ppid=1521 vsize=915456 CPUtime=341.11
/proc/1523/stat : 1523 (java) R 1521 1523 1348 0 -1 0 8995 0 1 0 34102 9 0 0 25 0 8 0 172843366 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918514 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1523/statm: 228864 8730 2524 14 0 215334 0
[pid=1523/tid=1525] ppid=1521 vsize=915456 CPUtime=0.03
/proc/1523/task/1525/stat : 1525 (java) S 1521 1523 1348 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 172843371 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1526] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1526/stat : 1526 (java) S 1521 1523 1348 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172843371 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1527] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1527/stat : 1527 (java) S 1521 1523 1348 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 172843371 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1528] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1528/stat : 1528 (java) S 1521 1523 1348 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 172843374 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1529] ppid=1521 vsize=915456 CPUtime=0.23
/proc/1523/task/1529/stat : 1529 (java) S 1521 1523 1348 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 172843374 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1523/tid=1530] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1530/stat : 1530 (java) S 1521 1523 1348 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 172843375 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1531] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1531/stat : 1531 (java) S 1521 1523 1348 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 172843375 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 341.11
Current children cumulated vsize (KiB) 915456

[startup+402.43 s]
/proc/loadavg: 1.99 1.78 1.70 3/101 1605
/proc/meminfo: memFree=1665512/2055920 swapFree=4192812/4192956
[pid=1523] ppid=1521 vsize=915456 CPUtime=401.04
/proc/1523/stat : 1523 (java) R 1521 1523 1348 0 -1 0 8995 0 1 0 40095 9 0 0 25 0 8 0 172843366 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828584 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1523/statm: 228864 8730 2524 14 0 215334 0
[pid=1523/tid=1525] ppid=1521 vsize=915456 CPUtime=0.03
/proc/1523/task/1525/stat : 1525 (java) S 1521 1523 1348 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 172843371 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1526] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1526/stat : 1526 (java) S 1521 1523 1348 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172843371 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1527] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1527/stat : 1527 (java) S 1521 1523 1348 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 172843371 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1528] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1528/stat : 1528 (java) S 1521 1523 1348 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 172843374 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1529] ppid=1521 vsize=915456 CPUtime=0.23
/proc/1523/task/1529/stat : 1529 (java) S 1521 1523 1348 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 172843374 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1523/tid=1530] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1530/stat : 1530 (java) S 1521 1523 1348 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 172843375 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1531] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1531/stat : 1531 (java) S 1521 1523 1348 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 172843375 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 401.04
Current children cumulated vsize (KiB) 915456

Child status: 0
Real time (s): 405.608
CPU time (s): 404.202
CPU user time (s): 404.097
CPU system time (s): 0.104984
CPU usage (%): 99.6534
Max. virtual memory (cumulated for all children) (KiB): 915456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 404.097
system time used= 0.104984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9005
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= 9338
involuntary context switches= 13743

runsolver used 0.487925 s user time and 1.3218 s system time

The end

Launcher Data (download as text)

Begin job on node13 on Mon Jan  8 08:21:21 UTC 2007


IDJOB= 217163
IDBENCH= 5121
FILE ID= node13/217163-1168244479

PBS_JOBID= 3481602

Free space on /tmp= 66326 MiB

BENCH NAME= HOME/pub/bench/CPAI06/frb/frb45-21/frb45-21-5-mgd_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217163-1168244479/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node13/watcher-217163-1168244479 -o ROOT/results/node13/solver-217163-1168244479 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217163-1168244479/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  34ea40322126207947ea4c2401eade98

RANDOM SEED= 188049935

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.247
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.247
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:       1699176 kB
Buffers:         66952 kB
Cached:         177848 kB
SwapCached:          0 kB
Active:         165800 kB
Inactive:       131920 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1699176 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2032 kB
Writeback:           0 kB
Mapped:          73192 kB
Slab:            43580 kB
Committed_AS:  4636608 kB
PageTables:       2368 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= 66327 MiB



End job on node13 on Mon Jan  8 08:28:09 UTC 2007