Trace number 229812

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 477.599 482.562

DiagnosticValue
CHECKS3260384086
NODES1997401

General information on the benchmark

Namerandom/rand-2-50-23-fcd/
rand-2-50-23-587-230-fcd-37_ext.xml
MD5SUM2eeb2adecc305b0db93e86ea3cbf860e
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 benchmark477.599
SatisfiableYES
(Un)Satisfiability was proved
Number of variables50
Number of constraints485
Maximum constraint arity2
Maximum domain size23
Number of constraints which are defined in extension485
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=esac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/229812-1168311252/unknown.xml
0.36	   
0.36	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.40	     nbVariables=50  nbDomainTypes=1  minDomainSize=23  maxDomainSize=23
0.40	       =>  wckTime=0.099  cpuTime=0.09  mem=6M951
0.40	   
0.40	   relations being loaded...
0.54	   
0.54	   constraints being loaded...
0.68	     nbConstraints=485  nbRelationTypes=485  nbExtensionStructures=485  nbSharedExtensionStructures=0
0.68	     nbConflictsStructures=485  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=2711  maxDegree=27
0.68	     maxArity=2
0.68	       =>  wckTime=0.386  cpuTime=0.28  mem=17M712
0.73	   
0.73	   solver IterativeSystematicSolver being built... 
0.89	       =>  wckTime=0.589  cpuTime=0.41  mem=15M615
0.95	   
0.95	   preprocessing
0.95	     nbConstraintChecks=110590  nbPropagations=1215  nbRevisions=10730  nbUselessRevisions=9138  nbSingletonTests=59
0.95	     nbEffectiveSingletonTests=0  nbESACBranches=5  nbRemovedValues=0  detectedInconsistency=no
0.95	       =>  wckTime=0.06  cpuTime=0.04  mem=15M615
0.98	   
0.98	   search
0.98	     run=0  nbConstraintChecks=46438  nbPropagations=1808  nbRevisions=18644  nbUselessRevisions=15691  nbAssignments=33
0.98	     nbFailedAssignments=9  nbBacktracks=10  nbVisitedNodes=50  nbRestartNogoods=0  mapSize=9  nbInferences=0
0.98	     nbTooLargeKeys=0
0.98	       =>  wckTime=0.09  cpuTime=0.07  mem=15M615
1.00	   
1.00	   search
1.00	     run=1  nbConstraintChecks=113292  nbPropagations=4398  nbRevisions=48080  nbUselessRevisions=40283
1.00	     nbAssignments=74  nbFailedAssignments=23  nbBacktracks=25  nbVisitedNodes=114  nbRestartNogoods=3  mapSize=24
1.00	     nbInferences=0  nbTooLargeKeys=0
1.00	       =>  wckTime=0.111  cpuTime=0.08  mem=15M615
1.01	   
1.01	   search
1.01	     run=2  nbConstraintChecks=186439  nbPropagations=7919  nbRevisions=89648  nbUselessRevisions=75171
1.01	     nbAssignments=122  nbFailedAssignments=36  nbBacktracks=47  nbVisitedNodes=187  nbRestartNogoods=6  mapSize=42
1.01	     nbInferences=0  nbTooLargeKeys=0
1.01	       =>  wckTime=0.125  cpuTime=0.1  mem=15M615
1.03	   
1.03	   search
1.03	     run=3  nbConstraintChecks=283101  nbPropagations=12691  nbRevisions=149399  nbUselessRevisions=125419
1.03	     nbAssignments=188  nbFailedAssignments=59  nbBacktracks=81  nbVisitedNodes=294  nbRestartNogoods=10  mapSize=72
1.03	     nbInferences=0  nbTooLargeKeys=0
1.03	       =>  wckTime=0.145  cpuTime=0.11  mem=15M615
1.06	   
1.07	   search
1.07	     run=4  nbConstraintChecks=435791  nbPropagations=19351  nbRevisions=237594  nbUselessRevisions=199358
1.07	     nbAssignments=287  nbFailedAssignments=93  nbBacktracks=132  nbVisitedNodes=453  nbRestartNogoods=11  mapSize=114
1.07	     nbInferences=0  nbTooLargeKeys=0
1.07	       =>  wckTime=0.176  cpuTime=0.14  mem=15M615
1.11	   
1.11	   search
1.11	     run=5  nbConstraintChecks=695242  nbPropagations=28988  nbRevisions=368869  nbUselessRevisions=308815
1.11	     nbAssignments=452  nbFailedAssignments=149  nbBacktracks=208  nbVisitedNodes=693  nbRestartNogoods=19  mapSize=180
1.11	     nbInferences=0  nbTooLargeKeys=0
1.11	       =>  wckTime=0.224  cpuTime=0.19  mem=15M615
1.17	   
1.17	   search
1.17	     run=6  nbConstraintChecks=985654  nbPropagations=42033  nbRevisions=554030  nbUselessRevisions=463011
1.17	     nbAssignments=645  nbFailedAssignments=218  nbBacktracks=323  nbVisitedNodes=1013  nbRestartNogoods=26  mapSize=271
1.17	     nbInferences=0  nbTooLargeKeys=0
1.17	       =>  wckTime=0.281  cpuTime=0.24  mem=15M615
1.25	   
1.25	   search
1.25	     run=7  nbConstraintChecks=1462575  nbPropagations=60708  nbRevisions=828329  nbUselessRevisions=690065
1.25	     nbAssignments=941  nbFailedAssignments=335  nbBacktracks=494  nbVisitedNodes=1522  nbRestartNogoods=31  mapSize=418
1.25	     nbInferences=0  nbTooLargeKeys=0
1.25	       =>  wckTime=0.362  cpuTime=0.32  mem=15M615
1.37	   
1.37	   search
1.37	     run=8  nbConstraintChecks=2116734  nbPropagations=87242  nbRevisions=1231506  nbUselessRevisions=1024853
1.37	     nbAssignments=1384  nbFailedAssignments=508  nbBacktracks=751  nbVisitedNodes=2271  nbRestartNogoods=33
1.37	     mapSize=626  nbInferences=0  nbTooLargeKeys=0
1.37	       =>  wckTime=0.482  cpuTime=0.43  mem=15M615
1.56	   
1.56	   search
1.56	     run=9  nbConstraintChecks=3185700  nbPropagations=126425  nbRevisions=1834149  nbUselessRevisions=1525321
1.56	     nbAssignments=2041  nbFailedAssignments=746  nbBacktracks=1136  nbVisitedNodes=3356  nbRestartNogoods=40
1.56	     mapSize=951  nbInferences=0  nbTooLargeKeys=0
1.56	       =>  wckTime=0.669  cpuTime=0.61  mem=15M615
1.61	   
1.61	   INFO : Stopping hyperNogood (mapSize=1039, nbTooLargekeys=0, mem=15M615)
1.79	   
1.79	   search
1.79	     run=10  nbConstraintChecks=4586990  nbPropagations=182616  nbRevisions=2710201  nbUselessRevisions=2253214
1.79	     nbAssignments=2973  nbFailedAssignments=1088  nbBacktracks=1712  nbVisitedNodes=4923  nbRestartNogoods=45
1.79	       =>  wckTime=0.902  cpuTime=0.82  mem=15M615
2.12	   
2.12	   search
2.12	     run=11  nbConstraintChecks=6826779  nbPropagations=264893  nbRevisions=4005554  nbUselessRevisions=3326050
2.12	     nbAssignments=4369  nbFailedAssignments=1610  nbBacktracks=2577  nbVisitedNodes=7296  nbRestartNogoods=52
2.12	       =>  wckTime=1.233  cpuTime=1.15  mem=15M615
2.59	   
2.59	   search
2.59	     run=12  nbConstraintChecks=9985201  nbPropagations=384823  nbRevisions=5906994  nbUselessRevisions=4901592
2.59	     nbAssignments=6414  nbFailedAssignments=2345  nbBacktracks=3875  nbVisitedNodes=10761  nbRestartNogoods=56
2.59	       =>  wckTime=1.704  cpuTime=1.62  mem=15M615
3.30	   
3.30	   search
3.30	     run=13  nbConstraintChecks=14854446  nbPropagations=562843  nbRevisions=8730016  nbUselessRevisions=7239827
3.30	     nbAssignments=9427  nbFailedAssignments=3401  nbBacktracks=5825  nbVisitedNodes=15898  nbRestartNogoods=64
3.30	       =>  wckTime=2.415  cpuTime=2.32  mem=15M615
4.47	   
4.47	   search
4.47	     run=14  nbConstraintChecks=23042225  nbPropagations=834858  nbRevisions=13073850  nbUselessRevisions=10833670
4.47	     nbAssignments=14147  nbFailedAssignments=5192  nbBacktracks=8744  nbVisitedNodes=24025  nbRestartNogoods=69
4.48	       =>  wckTime=3.587  cpuTime=3.48  mem=15M615
6.16	   
6.16	   search
6.16	     run=15  nbConstraintChecks=34133693  nbPropagations=1243612  nbRevisions=19650949  nbUselessRevisions=16287576
6.16	     nbAssignments=21348  nbFailedAssignments=7985  nbBacktracks=13126  nbVisitedNodes=36415  nbRestartNogoods=80
6.16	       =>  wckTime=5.27  cpuTime=5.15  mem=16M590
8.50	   
8.50	   search
8.50	     run=16  nbConstraintChecks=49698767  nbPropagations=1845428  nbRevisions=29327930  nbUselessRevisions=24321643
8.50	     nbAssignments=31780  nbFailedAssignments=11835  nbBacktracks=19695  nbVisitedNodes=54196  nbRestartNogoods=88
8.50	       =>  wckTime=7.613  cpuTime=7.48  mem=16M590
12.29	   
12.29	   search
12.29	     run=17  nbConstraintChecks=75819628  nbPropagations=2753973  nbRevisions=43983513  nbUselessRevisions=36479237
12.29	     nbAssignments=47781  nbFailedAssignments=17953  nbBacktracks=29548  nbVisitedNodes=81576  nbRestartNogoods=100
12.29	       =>  wckTime=11.405  cpuTime=11.24  mem=16M590
17.80	   
17.80	   search
17.80	     run=18  nbConstraintChecks=111953868  nbPropagations=4103328  nbRevisions=65779078  nbUselessRevisions=54565316
17.80	     nbAssignments=71499  nbFailedAssignments=26876  nbBacktracks=44329  nbVisitedNodes=122182  nbRestartNogoods=106
17.80	       =>  wckTime=16.91  cpuTime=16.68  mem=16M590
25.94	   
25.94	   search
25.94	     run=19  nbConstraintChecks=165637779  nbPropagations=6118789  nbRevisions=98273435  nbUselessRevisions=81550205
25.94	     nbAssignments=106920  nbFailedAssignments=40078  nbBacktracks=66500  nbVisitedNodes=182452  nbRestartNogoods=112
25.94	       =>  wckTime=25.055  cpuTime=24.77  mem=16M590
39.07	   
39.07	   search
39.07	     run=20  nbConstraintChecks=253754784  nbPropagations=9173574  nbRevisions=148176545  nbUselessRevisions=123056891
39.07	     nbAssignments=161502  nbFailedAssignments=61395  nbBacktracks=99756  nbVisitedNodes=276816  nbRestartNogoods=119
39.07	       =>  wckTime=38.181  cpuTime=37.78  mem=16M590
58.78	   
58.78	   search
58.78	     run=21  nbConstraintChecks=387410883  nbPropagations=13817371  nbRevisions=224199942  nbUselessRevisions=186269803
58.78	     nbAssignments=243058  nbFailedAssignments=93065  nbBacktracks=149634  nbVisitedNodes=417917  nbRestartNogoods=128
58.78	       =>  wckTime=57.894  cpuTime=57.35  mem=16M590
87.66	   
87.66	   search
87.66	     run=22  nbConstraintChecks=578916997  nbPropagations=20790323  nbRevisions=338553496  nbUselessRevisions=281480630
87.66	     nbAssignments=364669  nbFailedAssignments=139846  nbBacktracks=224455  nbVisitedNodes=627229  nbRestartNogoods=142
87.66	       =>  wckTime=86.767  cpuTime=85.97  mem=16M590
130.99	   
130.99	   search
130.99	     run=23  nbConstraintChecks=871705151  nbPropagations=31216688  nbRevisions=509742397  nbUselessRevisions=424004588
130.99	     nbAssignments=545834  nbFailedAssignments=208772  nbBacktracks=336682  nbVisitedNodes=939107  nbRestartNogoods=158
130.99	       =>  wckTime=130.101  cpuTime=128.96  mem=16M590
196.56	   
196.56	   search
196.56	     run=24  nbConstraintChecks=1322505183  nbPropagations=46877808  nbRevisions=765530729  nbUselessRevisions=636500820
196.56	     nbAssignments=814978  nbFailedAssignments=309567  nbBacktracks=505023  nbVisitedNodes=1400396  nbRestartNogoods=170
196.56	       =>  wckTime=195.672  cpuTime=193.98  mem=16M590
296.33	   
296.33	   search
296.33	     run=25  nbConstraintChecks=1998467833  nbPropagations=70423213  nbRevisions=1152498323
296.33	     nbUselessRevisions=958329147  nbAssignments=1226005  nbFailedAssignments=468071  nbBacktracks=757534
296.33	     nbVisitedNodes=2108505  nbRestartNogoods=181
296.33	       =>  wckTime=295.437  cpuTime=292.94  mem=16M590
439.71	   
439.71	   search
439.71	     run=26  nbConstraintChecks=2974174241  nbPropagations=105387603  nbRevisions=1724709407
439.71	     nbUselessRevisions=1433747176  nbAssignments=1826646  nbFailedAssignments=689934  nbBacktracks=1136302
439.71	     nbVisitedNodes=3131474  nbRestartNogoods=197
439.71	       =>  wckTime=438.817  cpuTime=435.07  mem=16M590
481.85	   
481.85	   search
481.85	     run=27  nbConstraintChecks=3260273496  nbPropagations=143704074  nbRevisions=2351541344
481.85	     nbUselessRevisions=1954467863  nbAssignments=1997401  nbFailedAssignments=756010  nbBacktracks=1240912
481.85	     nbVisitedNodes=3426844  nbRestartNogoods=212
481.85	       =>  wckTime=480.958  cpuTime=476.63  mem=16M590
481.85	   
481.85	   global
481.85	     nbConstraintChecks=3260384086  nbPropagations=143705289  nbRevisions=2351552074  nbUselessRevisions=1954477001
481.85	     nbRestartNogoods=212  solvingWckTime=480.959  solvingCpuTime=476.63  expiredTime=no  totalExploration=no
481.85	     nbFoundSolutions=1  globalCpuTime=477.08
481.85	       =>  wckTime=481.551  cpuTime=477.04  mem=16M590
482.50	   
482.50	s SATISFIABLE
482.50	v 1 2 20 12 16 12 12 19 12 17 1 7 13 9 10 7 11 4 18 18 5 21 10 9 15 0 20 19 18 5 19 14 7 2 12 21 18 15 12 11 4 9 11 17 2 2 5 1 8 14 
482.50	d NODES 1997401
482.50	d CHECKS 3260384086
482.50	   
482.50	   totalWckTime=482.281  totalCpuTime=477.09

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

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

/proc/loadavg: 2.06 2.03 1.95 5/81 9227
/proc/meminfo: memFree=1448712/2055920 swapFree=4192812/4192956
[pid=9226] ppid=9224 vsize=18540 CPUtime=0
/proc/9226/stat : 9226 (runsolver) R 9224 9226 8919 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 179523080 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 271894244647 0 0 4096 24578 0 0 0 17 1 0 0
/proc/9226/statm: 4635 279 244 17 0 2626 0

[startup+0.1032 s]
/proc/loadavg: 2.06 2.03 1.95 5/81 9227
/proc/meminfo: memFree=1448712/2055920 swapFree=4192812/4192956
[pid=9226] ppid=9224 vsize=914988 CPUtime=0.09
/proc/9226/stat : 9226 (java) R 9224 9226 8919 0 -1 0 3016 0 1 0 8 1 0 0 23 0 8 0 179523080 936947712 2762 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155338204 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9226/statm: 228747 2762 1435 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.51124 s]
/proc/loadavg: 2.06 2.03 1.95 5/81 9227
/proc/meminfo: memFree=1448712/2055920 swapFree=4192812/4192956
[pid=9226] ppid=9224 vsize=915328 CPUtime=0.49
/proc/9226/stat : 9226 (java) R 9224 9226 8919 0 -1 0 7154 0 1 0 45 4 0 0 25 0 8 0 179523080 937295872 6893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9226/statm: 228832 6893 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33232 s]
/proc/loadavg: 2.13 2.04 1.95 3/89 9235
/proc/meminfo: memFree=1360328/2055920 swapFree=4192812/4192956
[pid=9226] ppid=9224 vsize=915460 CPUtime=1.29
/proc/9226/stat : 9226 (java) R 9224 9226 8919 0 -1 0 9697 0 1 0 123 6 0 0 25 0 8 0 179523080 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073824112 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9226/statm: 228865 9435 2524 14 0 215335 0
[pid=9226/tid=9228] ppid=9224 vsize=915460 CPUtime=0.03
/proc/9226/task/9228/stat : 9228 (java) S 9224 9226 8919 0 -1 64 416 0 0 0 3 0 0 0 16 0 8 0 179523084 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9229] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9229/stat : 9229 (java) S 9224 9226 8919 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179523084 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9230] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9230/stat : 9230 (java) S 9224 9226 8919 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179523084 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9231] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9231/stat : 9231 (java) S 9224 9226 8919 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 179523087 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9232] ppid=9224 vsize=915460 CPUtime=0.22
/proc/9226/task/9232/stat : 9232 (java) S 9224 9226 8919 0 -1 64 384 0 0 0 21 1 0 0 15 0 8 0 179523087 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9233] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9233/stat : 9233 (java) S 9224 9226 8919 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 179523087 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9234] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9234/stat : 9234 (java) S 9224 9226 8919 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179523087 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915460

[startup+2.96948 s]
/proc/loadavg: 2.13 2.04 1.95 3/89 9235
/proc/meminfo: memFree=1359944/2055920 swapFree=4192812/4192956
[pid=9226] ppid=9224 vsize=915460 CPUtime=2.92
/proc/9226/stat : 9226 (java) R 9224 9226 8919 0 -1 0 9713 0 1 0 286 6 0 0 25 0 8 0 179523080 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073823265 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9226/statm: 228865 9450 2524 14 0 215335 0
[pid=9226/tid=9228] ppid=9224 vsize=915460 CPUtime=0.03
/proc/9226/task/9228/stat : 9228 (java) S 9224 9226 8919 0 -1 64 416 0 0 0 3 0 0 0 17 0 8 0 179523084 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9229] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9229/stat : 9229 (java) S 9224 9226 8919 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179523084 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9230] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9230/stat : 9230 (java) S 9224 9226 8919 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179523084 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9231] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9231/stat : 9231 (java) S 9224 9226 8919 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 179523087 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9232] ppid=9224 vsize=915460 CPUtime=0.25
/proc/9226/task/9232/stat : 9232 (java) S 9224 9226 8919 0 -1 64 399 0 0 0 24 1 0 0 15 0 8 0 179523087 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9233] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9233/stat : 9233 (java) S 9224 9226 8919 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 179523087 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9234] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9234/stat : 9234 (java) S 9224 9226 8919 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179523087 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915460

[startup+6.2608 s]
/proc/loadavg: 2.13 2.04 1.95 3/89 9235
/proc/meminfo: memFree=1359944/2055920 swapFree=4192812/4192956
[pid=9226] ppid=9224 vsize=915460 CPUtime=6.18
/proc/9226/stat : 9226 (java) R 9224 9226 8919 0 -1 0 9714 0 1 0 612 6 0 0 25 0 8 0 179523080 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073823079 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9226/statm: 228865 9450 2524 14 0 215335 0
[pid=9226/tid=9228] ppid=9224 vsize=915460 CPUtime=0.03
/proc/9226/task/9228/stat : 9228 (java) S 9224 9226 8919 0 -1 64 416 0 0 0 3 0 0 0 16 0 8 0 179523084 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9229] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9229/stat : 9229 (java) S 9224 9226 8919 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179523084 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9230] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9230/stat : 9230 (java) S 9224 9226 8919 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179523084 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9231] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9231/stat : 9231 (java) S 9224 9226 8919 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 179523087 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9232] ppid=9224 vsize=915460 CPUtime=0.25
/proc/9226/task/9232/stat : 9232 (java) S 9224 9226 8919 0 -1 64 399 0 0 0 24 1 0 0 15 0 8 0 179523087 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9233] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9233/stat : 9233 (java) S 9224 9226 8919 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 179523087 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9234] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9234/stat : 9234 (java) S 9224 9226 8919 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179523087 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915460

[startup+12.7314 s]
/proc/loadavg: 2.11 2.04 1.95 3/89 9235
/proc/meminfo: memFree=1360080/2055920 swapFree=4192812/4192956
[pid=9226] ppid=9224 vsize=915460 CPUtime=12.61
/proc/9226/stat : 9226 (java) R 9224 9226 8919 0 -1 0 9714 0 1 0 1255 6 0 0 25 0 8 0 179523080 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815848 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9226/statm: 228865 9450 2524 14 0 215335 0
[pid=9226/tid=9228] ppid=9224 vsize=915460 CPUtime=0.03
/proc/9226/task/9228/stat : 9228 (java) S 9224 9226 8919 0 -1 64 416 0 0 0 3 0 0 0 16 0 8 0 179523084 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9229] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9229/stat : 9229 (java) S 9224 9226 8919 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179523084 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9230] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9230/stat : 9230 (java) S 9224 9226 8919 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179523084 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9231] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9231/stat : 9231 (java) S 9224 9226 8919 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 179523087 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9232] ppid=9224 vsize=915460 CPUtime=0.25
/proc/9226/task/9232/stat : 9232 (java) S 9224 9226 8919 0 -1 64 399 0 0 0 24 1 0 0 15 0 8 0 179523087 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9233] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9233/stat : 9233 (java) S 9224 9226 8919 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 179523087 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9234] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9234/stat : 9234 (java) S 9224 9226 8919 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179523087 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915460

[startup+25.5927 s]
/proc/loadavg: 2.17 2.06 1.96 3/89 9235
/proc/meminfo: memFree=1360208/2055920 swapFree=4192812/4192956
[pid=9226] ppid=9224 vsize=915460 CPUtime=25.35
/proc/9226/stat : 9226 (java) R 9224 9226 8919 0 -1 0 9714 0 1 0 2529 6 0 0 25 0 8 0 179523080 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073841931 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9226/statm: 228865 9450 2524 14 0 215335 0
[pid=9226/tid=9228] ppid=9224 vsize=915460 CPUtime=0.03
/proc/9226/task/9228/stat : 9228 (java) S 9224 9226 8919 0 -1 64 416 0 0 0 3 0 0 0 16 0 8 0 179523084 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9229] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9229/stat : 9229 (java) S 9224 9226 8919 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179523084 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9230] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9230/stat : 9230 (java) S 9224 9226 8919 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179523084 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9231] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9231/stat : 9231 (java) S 9224 9226 8919 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 179523087 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9232] ppid=9224 vsize=915460 CPUtime=0.25
/proc/9226/task/9232/stat : 9232 (java) S 9224 9226 8919 0 -1 64 399 0 0 0 24 1 0 0 15 0 8 0 179523087 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9233] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9233/stat : 9233 (java) S 9224 9226 8919 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 179523087 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9234] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9234/stat : 9234 (java) S 9224 9226 8919 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179523087 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915460

[startup+51.1932 s]
/proc/loadavg: 2.11 2.05 1.96 3/89 9235
/proc/meminfo: memFree=1360208/2055920 swapFree=4192812/4192956
[pid=9226] ppid=9224 vsize=915460 CPUtime=50.76
/proc/9226/stat : 9226 (java) R 9224 9226 8919 0 -1 0 9716 0 1 0 5069 7 0 0 25 0 8 0 179523080 937431040 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073841931 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9226/statm: 228865 9451 2524 14 0 215335 0
[pid=9226/tid=9228] ppid=9224 vsize=915460 CPUtime=0.03
/proc/9226/task/9228/stat : 9228 (java) S 9224 9226 8919 0 -1 64 416 0 0 0 3 0 0 0 16 0 8 0 179523084 937431040 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9229] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9229/stat : 9229 (java) S 9224 9226 8919 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179523084 937431040 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9230] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9230/stat : 9230 (java) S 9224 9226 8919 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179523084 937431040 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9231] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9231/stat : 9231 (java) S 9224 9226 8919 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 179523087 937431040 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9232] ppid=9224 vsize=915460 CPUtime=0.25
/proc/9226/task/9232/stat : 9232 (java) S 9224 9226 8919 0 -1 64 400 0 0 0 24 1 0 0 16 0 8 0 179523087 937431040 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9233] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9233/stat : 9233 (java) S 9224 9226 8919 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 179523087 937431040 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9234] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9234/stat : 9234 (java) S 9224 9226 8919 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179523087 937431040 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 915460

[startup+102.483 s]
/proc/loadavg: 2.04 2.04 1.96 4/89 9235
/proc/meminfo: memFree=1347152/2055920 swapFree=4192812/4192956
[pid=9226] ppid=9224 vsize=915460 CPUtime=101.63
/proc/9226/stat : 9226 (java) R 9224 9226 8919 0 -1 0 9717 0 1 0 10156 7 0 0 25 0 8 0 179523080 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073814934 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9226/statm: 228865 9452 2524 14 0 215335 0
[pid=9226/tid=9228] ppid=9224 vsize=915460 CPUtime=0.03
/proc/9226/task/9228/stat : 9228 (java) S 9224 9226 8919 0 -1 64 416 0 0 0 3 0 0 0 16 0 8 0 179523084 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9229] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9229/stat : 9229 (java) S 9224 9226 8919 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179523084 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9230] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9230/stat : 9230 (java) S 9224 9226 8919 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179523084 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9231] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9231/stat : 9231 (java) S 9224 9226 8919 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 179523087 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9232] ppid=9224 vsize=915460 CPUtime=0.25
/proc/9226/task/9232/stat : 9232 (java) S 9224 9226 8919 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 179523087 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9233] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9233/stat : 9233 (java) S 9224 9226 8919 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 179523087 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9234] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9234/stat : 9234 (java) S 9224 9226 8919 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179523087 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.63
Current children cumulated vsize (KiB) 915460

[startup+162.515 s]
/proc/loadavg: 2.01 2.03 1.96 3/89 9235
/proc/meminfo: memFree=1347152/2055920 swapFree=4192812/4192956
[pid=9226] ppid=9224 vsize=915460 CPUtime=161.16
/proc/9226/stat : 9226 (java) R 9224 9226 8919 0 -1 0 9717 0 1 0 16109 7 0 0 25 0 8 0 179523080 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073824019 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9226/statm: 228865 9452 2524 14 0 215335 0
[pid=9226/tid=9228] ppid=9224 vsize=915460 CPUtime=0.03
/proc/9226/task/9228/stat : 9228 (java) S 9224 9226 8919 0 -1 64 416 0 0 0 3 0 0 0 16 0 8 0 179523084 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9229] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9229/stat : 9229 (java) S 9224 9226 8919 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179523084 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9230] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9230/stat : 9230 (java) S 9224 9226 8919 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179523084 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9231] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9231/stat : 9231 (java) S 9224 9226 8919 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 179523087 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9232] ppid=9224 vsize=915460 CPUtime=0.25
/proc/9226/task/9232/stat : 9232 (java) S 9224 9226 8919 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 179523087 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9233] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9233/stat : 9233 (java) S 9224 9226 8919 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 179523087 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9234] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9234/stat : 9234 (java) S 9224 9226 8919 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179523087 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.16
Current children cumulated vsize (KiB) 915460

[startup+222.543 s]
/proc/loadavg: 2.00 2.02 1.96 3/89 9235
/proc/meminfo: memFree=1347152/2055920 swapFree=4192812/4192956
[pid=9226] ppid=9224 vsize=915460 CPUtime=220.7
/proc/9226/stat : 9226 (java) R 9224 9226 8919 0 -1 0 9717 0 1 0 22063 7 0 0 25 0 8 0 179523080 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073850240 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9226/statm: 228865 9452 2524 14 0 215335 0
[pid=9226/tid=9228] ppid=9224 vsize=915460 CPUtime=0.03
/proc/9226/task/9228/stat : 9228 (java) S 9224 9226 8919 0 -1 64 416 0 0 0 3 0 0 0 16 0 8 0 179523084 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9229] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9229/stat : 9229 (java) S 9224 9226 8919 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179523084 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9230] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9230/stat : 9230 (java) S 9224 9226 8919 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179523084 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9231] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9231/stat : 9231 (java) S 9224 9226 8919 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 179523087 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9232] ppid=9224 vsize=915460 CPUtime=0.25
/proc/9226/task/9232/stat : 9232 (java) S 9224 9226 8919 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 179523087 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9233] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9233/stat : 9233 (java) S 9224 9226 8919 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 179523087 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9234] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9234/stat : 9234 (java) S 9224 9226 8919 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179523087 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 220.7
Current children cumulated vsize (KiB) 915460

[startup+282.592 s]
/proc/loadavg: 2.00 2.02 1.96 3/89 9235
/proc/meminfo: memFree=1347152/2055920 swapFree=4192812/4192956
[pid=9226] ppid=9224 vsize=915460 CPUtime=280.26
/proc/9226/stat : 9226 (java) R 9224 9226 8919 0 -1 0 9717 0 1 0 28019 7 0 0 25 0 8 0 179523080 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918517 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9226/statm: 228865 9452 2524 14 0 215335 0
[pid=9226/tid=9228] ppid=9224 vsize=915460 CPUtime=0.03
/proc/9226/task/9228/stat : 9228 (java) S 9224 9226 8919 0 -1 64 416 0 0 0 3 0 0 0 16 0 8 0 179523084 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9229] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9229/stat : 9229 (java) S 9224 9226 8919 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179523084 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9230] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9230/stat : 9230 (java) S 9224 9226 8919 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179523084 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9231] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9231/stat : 9231 (java) S 9224 9226 8919 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 179523087 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9232] ppid=9224 vsize=915460 CPUtime=0.25
/proc/9226/task/9232/stat : 9232 (java) S 9224 9226 8919 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 179523087 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9233] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9233/stat : 9233 (java) S 9224 9226 8919 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 179523087 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9234] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9234/stat : 9234 (java) S 9224 9226 8919 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179523087 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 280.26
Current children cumulated vsize (KiB) 915460

[startup+342.619 s]
/proc/loadavg: 2.05 2.03 1.96 3/89 9235
/proc/meminfo: memFree=1347152/2055920 swapFree=4192812/4192956
[pid=9226] ppid=9224 vsize=915460 CPUtime=339.8
/proc/9226/stat : 9226 (java) R 9224 9226 8919 0 -1 0 9717 0 1 0 33972 8 0 0 25 0 8 0 179523080 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918517 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9226/statm: 228865 9452 2524 14 0 215335 0
[pid=9226/tid=9228] ppid=9224 vsize=915460 CPUtime=0.03
/proc/9226/task/9228/stat : 9228 (java) S 9224 9226 8919 0 -1 64 416 0 0 0 3 0 0 0 16 0 8 0 179523084 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9229] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9229/stat : 9229 (java) S 9224 9226 8919 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179523084 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9230] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9230/stat : 9230 (java) S 9224 9226 8919 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179523084 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9231] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9231/stat : 9231 (java) S 9224 9226 8919 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 179523087 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9232] ppid=9224 vsize=915460 CPUtime=0.25
/proc/9226/task/9232/stat : 9232 (java) S 9224 9226 8919 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 179523087 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9233] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9233/stat : 9233 (java) S 9224 9226 8919 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 179523087 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9234] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9234/stat : 9234 (java) S 9224 9226 8919 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179523087 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 339.8
Current children cumulated vsize (KiB) 915460

[startup+402.675 s]
/proc/loadavg: 2.02 2.02 1.96 3/89 9235
/proc/meminfo: memFree=1326288/2055920 swapFree=4192812/4192956
[pid=9226] ppid=9224 vsize=915460 CPUtime=399.35
/proc/9226/stat : 9226 (java) R 9224 9226 8919 0 -1 0 9717 0 1 0 39927 8 0 0 25 0 8 0 179523080 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815915 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9226/statm: 228865 9452 2524 14 0 215335 0
[pid=9226/tid=9228] ppid=9224 vsize=915460 CPUtime=0.03
/proc/9226/task/9228/stat : 9228 (java) S 9224 9226 8919 0 -1 64 416 0 0 0 3 0 0 0 16 0 8 0 179523084 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9229] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9229/stat : 9229 (java) S 9224 9226 8919 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179523084 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9230] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9230/stat : 9230 (java) S 9224 9226 8919 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179523084 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9231] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9231/stat : 9231 (java) S 9224 9226 8919 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 179523087 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9232] ppid=9224 vsize=915460 CPUtime=0.25
/proc/9226/task/9232/stat : 9232 (java) S 9224 9226 8919 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 179523087 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9233] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9233/stat : 9233 (java) S 9224 9226 8919 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 179523087 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9234] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9234/stat : 9234 (java) S 9224 9226 8919 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179523087 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 399.35
Current children cumulated vsize (KiB) 915460

[startup+462.726 s]
/proc/loadavg: 2.00 2.02 1.96 3/95 9381
/proc/meminfo: memFree=1325016/2055920 swapFree=4192812/4192956
[pid=9226] ppid=9224 vsize=915460 CPUtime=458.8
/proc/9226/stat : 9226 (java) R 9224 9226 8919 0 -1 0 9717 0 1 0 45864 16 0 0 25 0 8 0 179523080 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073814895 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9226/statm: 228865 9452 2524 14 0 215335 0
[pid=9226/tid=9228] ppid=9224 vsize=915460 CPUtime=0.03
/proc/9226/task/9228/stat : 9228 (java) S 9224 9226 8919 0 -1 64 416 0 0 0 3 0 0 0 16 0 8 0 179523084 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9229] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9229/stat : 9229 (java) S 9224 9226 8919 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179523084 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9230] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9230/stat : 9230 (java) S 9224 9226 8919 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179523084 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9231] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9231/stat : 9231 (java) S 9224 9226 8919 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 179523087 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9232] ppid=9224 vsize=915460 CPUtime=0.25
/proc/9226/task/9232/stat : 9232 (java) S 9224 9226 8919 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 179523087 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9233] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9233/stat : 9233 (java) S 9224 9226 8919 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 179523087 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9234] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9234/stat : 9234 (java) S 9224 9226 8919 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179523087 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 458.8
Current children cumulated vsize (KiB) 915460

Child status: 0
Real time (s): 482.562
CPU time (s): 477.599
CPU user time (s): 477.409
CPU system time (s): 0.189971
CPU usage (%): 98.9717
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 477.409
system time used= 0.189971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9727
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= 10956
involuntary context switches= 29117

runsolver used 0.451931 s user time and 1.36479 s system time

The end

Launcher Data (download as text)

Begin job on node60 on Tue Jan  9 02:54:12 UTC 2007


IDJOB= 229812
IDBENCH= 6361
FILE ID= node60/229812-1168311252

PBS_JOBID= 3502381

Free space on /tmp= 66559 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23-fcd/rand-2-50-23-587-230-fcd-37_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229812-1168311252/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node60/watcher-229812-1168311252 -o ROOT/results/node60/solver-229812-1168311252 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229812-1168311252/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  2eeb2adecc305b0db93e86ea3cbf860e

RANDOM SEED= 343520781

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.236
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.236
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:       1449640 kB
Buffers:         71700 kB
Cached:         427012 kB
SwapCached:          0 kB
Active:         222068 kB
Inactive:       323648 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1449640 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            5820 kB
Writeback:           0 kB
Mapped:          66028 kB
Slab:            45640 kB
Committed_AS:  5101516 kB
PageTables:       2008 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= 66559 MiB



End job on node60 on Tue Jan  9 03:02:15 UTC 2007