Trace number 221774

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 ESACUNSAT 242.033 243.038

DiagnosticValue
CHECKS1706551088
NODES1229334

General information on the benchmark

Namerandom/rand-2-24/
rand-24-24-276-139-53021_ext.xml
MD5SUM52ce1adbb69405dbd0eb9fe0ed582574
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark59.6169
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables24
Number of constraints276
Maximum constraint arity2
Maximum domain size24
Number of constraints which are defined in extension276
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=esac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/221774-1168261963/unknown.xml
0.36	   
0.36	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.40	     nbVariables=24  nbDomainTypes=1  minDomainSize=24  maxDomainSize=24
0.40	       =>  wckTime=0.097  cpuTime=0.07  mem=6M951
0.40	   
0.40	   relations being loaded...
0.49	   
0.49	   constraints being loaded...
0.60	     nbConstraints=276  nbRelationTypes=276  nbExtensionStructures=276  nbSharedExtensionStructures=0
0.60	     nbConflictsStructures=276  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=908  maxDegree=23
0.60	     maxArity=2
0.60	       =>  wckTime=0.303  cpuTime=0.21  mem=13M794
0.65	   
0.65	   solver IterativeSystematicSolver being built... 
0.80	       =>  wckTime=0.5  cpuTime=0.34  mem=15M97
0.85	   
0.85	   preprocessing
0.85	     nbConstraintChecks=50096  nbPropagations=639  nbRevisions=6370  nbUselessRevisions=5579  nbSingletonTests=33
0.85	     nbEffectiveSingletonTests=0  nbESACBranches=5  nbRemovedValues=0  detectedInconsistency=no
0.85	       =>  wckTime=0.043  cpuTime=0.02  mem=15M97
0.87	   
0.87	   search
0.87	     run=0  nbConstraintChecks=39681  nbPropagations=1106  nbRevisions=14397  nbUselessRevisions=12566  nbAssignments=27
0.87	     nbFailedAssignments=11  nbBacktracks=11  nbVisitedNodes=49  nbRestartNogoods=0  mapSize=11  nbInferences=0
0.87	     nbTooLargeKeys=0
0.87	       =>  wckTime=0.066  cpuTime=0.03  mem=15M97
0.88	   
0.88	   search
0.88	     run=1  nbConstraintChecks=69749  nbPropagations=2621  nbRevisions=34813  nbUselessRevisions=30365  nbAssignments=59
0.88	     nbFailedAssignments=19  nbBacktracks=27  nbVisitedNodes=99  nbRestartNogoods=3  mapSize=23  nbInferences=0
0.88	     nbTooLargeKeys=0
0.88	       =>  wckTime=0.081  cpuTime=0.04  mem=15M97
0.90	   
0.90	   search
0.90	     run=2  nbConstraintChecks=133309  nbPropagations=4900  nbRevisions=69259  nbUselessRevisions=60340
0.90	     nbAssignments=108  nbFailedAssignments=41  nbBacktracks=49  nbVisitedNodes=188  nbRestartNogoods=6  mapSize=45
0.90	     nbInferences=0  nbTooLargeKeys=0
0.90	       =>  wckTime=0.099  cpuTime=0.05  mem=15M97
0.93	   
0.93	   search
0.93	     run=3  nbConstraintChecks=230880  nbPropagations=8301  nbRevisions=125008  nbUselessRevisions=108630
0.93	     nbAssignments=183  nbFailedAssignments=78  nbBacktracks=83  nbVisitedNodes=325  nbRestartNogoods=9  mapSize=77
0.93	     nbInferences=0  nbTooLargeKeys=0
0.93	       =>  wckTime=0.122  cpuTime=0.07  mem=15M97
0.95	   
0.95	   search
0.95	     run=4  nbConstraintChecks=376458  nbPropagations=13343  nbRevisions=212262  nbUselessRevisions=184096
0.95	     nbAssignments=296  nbFailedAssignments=138  nbBacktracks=133  nbVisitedNodes=532  nbRestartNogoods=13  mapSize=125
0.95	     nbInferences=0  nbTooLargeKeys=0
0.95	       =>  wckTime=0.15  cpuTime=0.1  mem=15M97
0.99	   
0.99	   search
0.99	     run=5  nbConstraintChecks=578068  nbPropagations=20778  nbRevisions=345277  nbUselessRevisions=299325
0.99	     nbAssignments=453  nbFailedAssignments=213  nbBacktracks=210  nbVisitedNodes=821  nbRestartNogoods=14  mapSize=202
0.99	     nbInferences=0  nbTooLargeKeys=0
0.99	       =>  wckTime=0.191  cpuTime=0.13  mem=15M97
1.05	   
1.05	   search
1.05	     run=6  nbConstraintChecks=904625  nbPropagations=31894  nbRevisions=550427  nbUselessRevisions=476971
1.05	     nbAssignments=687  nbFailedAssignments=328  nbBacktracks=323  nbVisitedNodes=1258  nbRestartNogoods=16  mapSize=314
1.05	     nbInferences=0  nbTooLargeKeys=0
1.05	       =>  wckTime=0.248  cpuTime=0.19  mem=15M97
1.13	   
1.13	   search
1.13	     run=7  nbConstraintChecks=1378696  nbPropagations=48406  nbRevisions=858853  nbUselessRevisions=743982
1.13	     nbAssignments=1045  nbFailedAssignments=499  nbBacktracks=493  nbVisitedNodes=1901  nbRestartNogoods=24
1.13	     mapSize=480  nbInferences=0  nbTooLargeKeys=0
1.13	       =>  wckTime=0.328  cpuTime=0.28  mem=15M97
1.26	   
1.26	   search
1.26	     run=8  nbConstraintChecks=2065877  nbPropagations=72817  nbRevisions=1318701  nbUselessRevisions=1141855
1.26	     nbAssignments=1569  nbFailedAssignments=751  nbBacktracks=751  nbVisitedNodes=2859  nbRestartNogoods=33
1.26	     mapSize=733  nbInferences=0  nbTooLargeKeys=0
1.26	       =>  wckTime=0.459  cpuTime=0.39  mem=15M97
1.39	   
1.39	   INFO : Stopping hyperNogood (mapSize=1027, nbTooLargekeys=0, mem=15M97)
1.42	   
1.42	   search
1.42	     run=9  nbConstraintChecks=3083257  nbPropagations=108845  nbRevisions=2006288  nbUselessRevisions=1737116
1.42	     nbAssignments=2334  nbFailedAssignments=1126  nbBacktracks=1135  nbVisitedNodes=4287  nbRestartNogoods=39
1.42	       =>  wckTime=0.619  cpuTime=0.55  mem=15M97
1.65	   
1.65	   search
1.65	     run=10  nbConstraintChecks=4476603  nbPropagations=161442  nbRevisions=3014319  nbUselessRevisions=2610412
1.65	     nbAssignments=3480  nbFailedAssignments=1690  nbBacktracks=1711  nbVisitedNodes=6411  nbRestartNogoods=47
1.65	       =>  wckTime=0.846  cpuTime=0.76  mem=15M97
1.98	   
1.98	   search
1.98	     run=11  nbConstraintChecks=6799802  nbPropagations=240190  nbRevisions=4540694  nbUselessRevisions=3932669
1.98	     nbAssignments=5199  nbFailedAssignments=2540  nbBacktracks=2575  nbVisitedNodes=9636  nbRestartNogoods=54
1.98	       =>  wckTime=1.182  cpuTime=1.09  mem=15M97
2.48	   
2.48	   search
2.48	     run=12  nbConstraintChecks=10174939  nbPropagations=357652  nbRevisions=6826501  nbUselessRevisions=5912936
2.48	     nbAssignments=7780  nbFailedAssignments=3818  nbBacktracks=3872  nbVisitedNodes=14469  nbRestartNogoods=68
2.48	       =>  wckTime=1.674  cpuTime=1.58  mem=15M97
3.25	   
3.25	   search
3.25	     run=13  nbConstraintChecks=15569866  nbPropagations=534229  nbRevisions=10300359  nbUselessRevisions=8922855
3.25	     nbAssignments=11609  nbFailedAssignments=5696  nbBacktracks=5818  nbVisitedNodes=21619  nbRestartNogoods=77
3.25	       =>  wckTime=2.443  cpuTime=2.35  mem=15M97
4.34	   
4.34	   search
4.34	     run=14  nbConstraintChecks=23014959  nbPropagations=796562  nbRevisions=15468436  nbUselessRevisions=13402485
4.34	     nbAssignments=17336  nbFailedAssignments=8501  nbBacktracks=8737  nbVisitedNodes=32321  nbRestartNogoods=87
4.34	       =>  wckTime=3.535  cpuTime=3.43  mem=15M97
5.99	   
5.99	   search
5.99	     run=15  nbConstraintChecks=34463739  nbPropagations=1187509  nbRevisions=23203220  nbUselessRevisions=20108616
5.99	     nbAssignments=25876  nbFailedAssignments=12658  nbBacktracks=13115  nbVisitedNodes=48260  nbRestartNogoods=95
5.99	       =>  wckTime=5.186  cpuTime=5.08  mem=15M97
8.43	   
8.43	   search
8.43	     run=16  nbConstraintChecks=51137670  nbPropagations=1770093  nbRevisions=34713869  nbUselessRevisions=30088470
8.43	     nbAssignments=38701  nbFailedAssignments=18908  nbBacktracks=19686  nbVisitedNodes=72157  nbRestartNogoods=112
8.43	       =>  wckTime=7.63  cpuTime=7.51  mem=15M97
12.15	   
12.15	   search
12.15	     run=17  nbConstraintChecks=76934361  nbPropagations=2644118  nbRevisions=52035970  nbUselessRevisions=45115873
12.15	     nbAssignments=58032  nbFailedAssignments=28383  nbBacktracks=29538  nbVisitedNodes=108191  nbRestartNogoods=122
12.15	       =>  wckTime=11.343  cpuTime=11.2  mem=15M97
17.84	   
17.84	   search
17.84	     run=18  nbConstraintChecks=116893681  nbPropagations=3963675  nbRevisions=78296472  nbUselessRevisions=67898477
17.84	     nbAssignments=87313  nbFailedAssignments=42880  nbBacktracks=44317  nbVisitedNodes=163007  nbRestartNogoods=137
17.84	       =>  wckTime=17.036  cpuTime=16.87  mem=15M97
26.46	   
26.46	   search
26.46	     run=19  nbConstraintChecks=177283382  nbPropagations=5949415  nbRevisions=118000748  nbUselessRevisions=102352285
26.46	     nbAssignments=131212  nbFailedAssignments=64607  nbBacktracks=66485  nbVisitedNodes=245075  nbRestartNogoods=155
26.46	       =>  wckTime=25.655  cpuTime=25.46  mem=15M97
39.08	   
39.08	   search
39.08	     run=20  nbConstraintChecks=265492829  nbPropagations=8920629  nbRevisions=177507277  nbUselessRevisions=154011318
39.08	     nbAssignments=196511  nbFailedAssignments=96650  nbBacktracks=99737  nbVisitedNodes=367022  nbRestartNogoods=176
39.08	       =>  wckTime=38.273  cpuTime=38.02  mem=15M97
58.33	   
58.33	   search
58.33	     run=21  nbConstraintChecks=400589919  nbPropagations=13385553  nbRevisions=267130768  nbUselessRevisions=231828479
58.33	     nbAssignments=294963  nbFailedAssignments=145222  nbBacktracks=149615  nbVisitedNodes=550919  nbRestartNogoods=188
58.33	       =>  wckTime=57.522  cpuTime=57.2  mem=15M97
87.49	   
87.49	   search
87.49	     run=22  nbConstraintChecks=605114806  nbPropagations=20111282  nbRevisions=402305695  nbUselessRevisions=349198940
87.49	     nbAssignments=443772  nbFailedAssignments=219207  nbBacktracks=224433  nbVisitedNodes=829080  nbRestartNogoods=207
87.49	       =>  wckTime=86.684  cpuTime=86.24  mem=15M97
130.60	   
130.60	   search
130.60	     run=23  nbConstraintChecks=906740735  nbPropagations=30188286  nbRevisions=604827133  nbUselessRevisions=525067009
130.60	     nbAssignments=665800  nbFailedAssignments=328988  nbBacktracks=336661  nbVisitedNodes=1243835  nbRestartNogoods=228
130.60	       =>  wckTime=129.798  cpuTime=129.19  mem=15M97
197.51	   
197.51	   search
197.51	     run=24  nbConstraintChecks=1382300649  nbPropagations=45408631  nbRevisions=912211128  nbUselessRevisions=792061062
197.51	     nbAssignments=1002378  nbFailedAssignments=497221  nbBacktracks=505002  nbVisitedNodes=1873720
197.51	     nbRestartNogoods=250
197.51	       =>  wckTime=196.709  cpuTime=195.83  mem=15M97
243.01	   
243.01	   search
243.01	     run=25  nbConstraintChecks=1706500992  nbPropagations=64108869  nbRevisions=1291030550
243.01	     nbUselessRevisions=1121178595  nbAssignments=1229334  nbFailedAssignments=610687  nbBacktracks=618493
243.01	     nbVisitedNodes=2298250  nbRestartNogoods=261
243.01	       =>  wckTime=242.204  cpuTime=241.15  mem=15M97
243.01	   
243.01	   global
243.01	     nbConstraintChecks=1706551088  nbPropagations=64109508  nbRevisions=1291036920  nbUselessRevisions=1121184174
243.01	     nbRestartNogoods=261  solvingWckTime=242.206  solvingCpuTime=241.15  expiredTime=no  totalExploration=yes
243.01	     nbFoundSolutions=0  globalCpuTime=241.54
243.01	       =>  wckTime=242.709  cpuTime=241.49  mem=15M97
243.01	   
243.01	s UNSATISFIABLE
243.01	d NODES 1229334
243.01	d CHECKS 1706551088
243.01	   
243.01	   totalWckTime=242.786  totalCpuTime=241.55

Verifier Data (download as text)

No possible verification on an UNSAT instance

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node76/watcher-221774-1168261963 -o ROOT/results/node76/solver-221774-1168261963 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/221774-1168261963/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.98 1.57 1.23 4/90 19920
/proc/meminfo: memFree=1748536/2055888 swapFree=4095388/4096564
[pid=19919] ppid=19917 vsize=18544 CPUtime=0
/proc/19919/stat : 19919 (runsolver) R 19917 19919 19581 0 -1 4194368 18 0 0 0 0 0 0 0 20 0 1 0 174593417 18989056 280 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 206843737111 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/19919/statm: 4636 280 245 17 0 2626 0

[startup+0.107119 s]
/proc/loadavg: 1.98 1.57 1.23 4/90 19920
/proc/meminfo: memFree=1748536/2055888 swapFree=4095388/4096564
[pid=19919] ppid=19917 vsize=914992 CPUtime=0.08
/proc/19919/stat : 19919 (java) R 19917 19919 19581 0 -1 0 2999 0 1 0 7 1 0 0 25 0 8 0 174593417 936951808 2747 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072908744 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19919/statm: 228748 2747 1429 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914992

[startup+0.515203 s]
/proc/loadavg: 1.98 1.57 1.23 4/90 19920
/proc/meminfo: memFree=1748536/2055888 swapFree=4095388/4096564
[pid=19919] ppid=19917 vsize=915332 CPUtime=0.48
/proc/19919/stat : 19919 (java) R 19917 19919 19581 0 -1 0 7010 0 1 0 45 3 0 0 25 0 8 0 174593417 937299968 6751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072931950 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19919/statm: 228833 6751 2139 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332

[startup+1.33636 s]
/proc/loadavg: 1.98 1.57 1.23 3/97 19927
/proc/meminfo: memFree=1724736/2055888 swapFree=4095388/4096564
[pid=19919] ppid=19917 vsize=915460 CPUtime=1.3
/proc/19919/stat : 19919 (java) R 19917 19919 19581 0 -1 0 8724 0 1 0 124 6 0 0 25 0 8 0 174593417 937431040 8464 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073792437 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19919/statm: 228865 8464 2525 14 0 215334 0
[pid=19919/tid=19921] ppid=19917 vsize=915460 CPUtime=0.03
/proc/19919/task/19921/stat : 19921 (java) S 19917 19919 19581 0 -1 64 306 0 0 0 3 0 0 0 16 0 8 0 174593422 937431040 8464 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19919/tid=19922] ppid=19917 vsize=915460 CPUtime=0
/proc/19919/task/19922/stat : 19922 (java) S 19917 19919 19581 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174593422 937431040 8464 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19919/tid=19923] ppid=19917 vsize=915460 CPUtime=0
/proc/19919/task/19923/stat : 19923 (java) S 19917 19919 19581 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174593422 937431040 8464 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19919/tid=19924] ppid=19917 vsize=915460 CPUtime=0
/proc/19919/task/19924/stat : 19924 (java) S 19917 19919 19581 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 174593425 937431040 8464 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19919/tid=19925] ppid=19917 vsize=915460 CPUtime=0.22
/proc/19919/task/19925/stat : 19925 (java) S 19917 19919 19581 0 -1 64 386 0 0 0 21 1 0 0 16 0 8 0 174593425 937431040 8464 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19919/tid=19926] ppid=19917 vsize=915460 CPUtime=0
/proc/19919/task/19926/stat : 19926 (java) S 19917 19919 19581 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 174593425 937431040 8464 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19919/tid=19927] ppid=19917 vsize=915460 CPUtime=0
/proc/19919/task/19927/stat : 19927 (java) S 19917 19919 19581 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174593425 937431040 8464 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460

[startup+2.97768 s]
/proc/loadavg: 1.98 1.57 1.23 3/97 19927
/proc/meminfo: memFree=1724544/2055888 swapFree=4095388/4096564
[pid=19919] ppid=19917 vsize=915460 CPUtime=2.93
/proc/19919/stat : 19919 (java) R 19917 19919 19581 0 -1 0 8744 0 1 0 287 6 0 0 25 0 8 0 174593417 937431040 8483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794105 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19919/statm: 228865 8483 2525 14 0 215334 0
[pid=19919/tid=19921] ppid=19917 vsize=915460 CPUtime=0.03
/proc/19919/task/19921/stat : 19921 (java) S 19917 19919 19581 0 -1 64 306 0 0 0 3 0 0 0 17 0 8 0 174593422 937431040 8483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19919/tid=19922] ppid=19917 vsize=915460 CPUtime=0
/proc/19919/task/19922/stat : 19922 (java) S 19917 19919 19581 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174593422 937431040 8483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19919/tid=19923] ppid=19917 vsize=915460 CPUtime=0
/proc/19919/task/19923/stat : 19923 (java) S 19917 19919 19581 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174593422 937431040 8483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19919/tid=19924] ppid=19917 vsize=915460 CPUtime=0
/proc/19919/task/19924/stat : 19924 (java) S 19917 19919 19581 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 174593425 937431040 8483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19919/tid=19925] ppid=19917 vsize=915460 CPUtime=0.24
/proc/19919/task/19925/stat : 19925 (java) S 19917 19919 19581 0 -1 64 390 0 0 0 23 1 0 0 15 0 8 0 174593425 937431040 8483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19919/tid=19926] ppid=19917 vsize=915460 CPUtime=0
/proc/19919/task/19926/stat : 19926 (java) S 19917 19919 19581 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 174593425 937431040 8483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19919/tid=19927] ppid=19917 vsize=915460 CPUtime=0
/proc/19919/task/19927/stat : 19927 (java) S 19917 19919 19581 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174593425 937431040 8483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915460

[startup+6.27333 s]
/proc/loadavg: 1.98 1.58 1.24 3/97 19927
/proc/meminfo: memFree=1724352/2055888 swapFree=4095388/4096564
[pid=19919] ppid=19917 vsize=915460 CPUtime=6.21
/proc/19919/stat : 19919 (java) R 19917 19919 19581 0 -1 0 8752 0 1 0 615 6 0 0 25 0 8 0 174593417 937431040 8490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073775501 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19919/statm: 228865 8490 2525 14 0 215334 0
[pid=19919/tid=19921] ppid=19917 vsize=915460 CPUtime=0.03
/proc/19919/task/19921/stat : 19921 (java) S 19917 19919 19581 0 -1 64 306 0 0 0 3 0 0 0 16 0 8 0 174593422 937431040 8490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19919/tid=19922] ppid=19917 vsize=915460 CPUtime=0
/proc/19919/task/19922/stat : 19922 (java) S 19917 19919 19581 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174593422 937431040 8490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19919/tid=19923] ppid=19917 vsize=915460 CPUtime=0
/proc/19919/task/19923/stat : 19923 (java) S 19917 19919 19581 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174593422 937431040 8490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19919/tid=19924] ppid=19917 vsize=915460 CPUtime=0
/proc/19919/task/19924/stat : 19924 (java) S 19917 19919 19581 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 174593425 937431040 8490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19919/tid=19925] ppid=19917 vsize=915460 CPUtime=0.24
/proc/19919/task/19925/stat : 19925 (java) S 19917 19919 19581 0 -1 64 390 0 0 0 23 1 0 0 15 0 8 0 174593425 937431040 8490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19919/tid=19926] ppid=19917 vsize=915460 CPUtime=0
/proc/19919/task/19926/stat : 19926 (java) S 19917 19919 19581 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 174593425 937431040 8490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19919/tid=19927] ppid=19917 vsize=915460 CPUtime=0
/proc/19919/task/19927/stat : 19927 (java) S 19917 19919 19581 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174593425 937431040 8490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915460

[startup+12.7496 s]
/proc/loadavg: 1.99 1.59 1.24 3/97 19927
/proc/meminfo: memFree=1724352/2055888 swapFree=4095388/4096564
[pid=19919] ppid=19917 vsize=915460 CPUtime=12.66
/proc/19919/stat : 19919 (java) R 19917 19919 19581 0 -1 0 8760 0 1 0 1260 6 0 0 25 0 8 0 174593417 937431040 8497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797511 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19919/statm: 228865 8497 2525 14 0 215334 0
[pid=19919/tid=19921] ppid=19917 vsize=915460 CPUtime=0.03
/proc/19919/task/19921/stat : 19921 (java) S 19917 19919 19581 0 -1 64 306 0 0 0 3 0 0 0 16 0 8 0 174593422 937431040 8497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19919/tid=19922] ppid=19917 vsize=915460 CPUtime=0
/proc/19919/task/19922/stat : 19922 (java) S 19917 19919 19581 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174593422 937431040 8497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19919/tid=19923] ppid=19917 vsize=915460 CPUtime=0
/proc/19919/task/19923/stat : 19923 (java) S 19917 19919 19581 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174593422 937431040 8497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19919/tid=19924] ppid=19917 vsize=915460 CPUtime=0
/proc/19919/task/19924/stat : 19924 (java) S 19917 19919 19581 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 174593425 937431040 8497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19919/tid=19925] ppid=19917 vsize=915460 CPUtime=0.24
/proc/19919/task/19925/stat : 19925 (java) S 19917 19919 19581 0 -1 64 392 0 0 0 23 1 0 0 15 0 8 0 174593425 937431040 8497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19919/tid=19926] ppid=19917 vsize=915460 CPUtime=0
/proc/19919/task/19926/stat : 19926 (java) S 19917 19919 19581 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 174593425 937431040 8497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19919/tid=19927] ppid=19917 vsize=915460 CPUtime=0
/proc/19919/task/19927/stat : 19927 (java) S 19917 19919 19581 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174593425 937431040 8497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915460

[startup+25.6141 s]
/proc/loadavg: 1.99 1.61 1.25 3/97 19927
/proc/meminfo: memFree=1724416/2055888 swapFree=4095388/4096564
[pid=19919] ppid=19917 vsize=915460 CPUtime=25.47
/proc/19919/stat : 19919 (java) R 19917 19919 19581 0 -1 0 8762 0 1 0 2541 6 0 0 25 0 8 0 174593417 937431040 8499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072906229 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19919/statm: 228865 8499 2525 14 0 215334 0
[pid=19919/tid=19921] ppid=19917 vsize=915460 CPUtime=0.03
/proc/19919/task/19921/stat : 19921 (java) S 19917 19919 19581 0 -1 64 306 0 0 0 3 0 0 0 16 0 8 0 174593422 937431040 8499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19919/tid=19922] ppid=19917 vsize=915460 CPUtime=0
/proc/19919/task/19922/stat : 19922 (java) S 19917 19919 19581 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174593422 937431040 8499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19919/tid=19923] ppid=19917 vsize=915460 CPUtime=0
/proc/19919/task/19923/stat : 19923 (java) S 19917 19919 19581 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174593422 937431040 8499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19919/tid=19924] ppid=19917 vsize=915460 CPUtime=0
/proc/19919/task/19924/stat : 19924 (java) S 19917 19919 19581 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 174593425 937431040 8499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19919/tid=19925] ppid=19917 vsize=915460 CPUtime=0.24
/proc/19919/task/19925/stat : 19925 (java) S 19917 19919 19581 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 174593425 937431040 8499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19919/tid=19926] ppid=19917 vsize=915460 CPUtime=0
/proc/19919/task/19926/stat : 19926 (java) S 19917 19919 19581 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 174593425 937431040 8499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19919/tid=19927] ppid=19917 vsize=915460 CPUtime=0
/proc/19919/task/19927/stat : 19927 (java) S 19917 19919 19581 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174593425 937431040 8499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915460

[startup+51.2261 s]
/proc/loadavg: 2.06 1.65 1.28 3/97 19927
/proc/meminfo: memFree=1724352/2055888 swapFree=4095388/4096564
[pid=19919] ppid=19917 vsize=915460 CPUtime=50.98
/proc/19919/stat : 19919 (java) R 19917 19919 19581 0 -1 0 8767 0 1 0 5092 6 0 0 25 0 8 0 174593417 937431040 8504 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073775433 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19919/statm: 228865 8504 2525 14 0 215334 0
[pid=19919/tid=19921] ppid=19917 vsize=915460 CPUtime=0.03
/proc/19919/task/19921/stat : 19921 (java) S 19917 19919 19581 0 -1 64 306 0 0 0 3 0 0 0 16 0 8 0 174593422 937431040 8504 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19919/tid=19922] ppid=19917 vsize=915460 CPUtime=0
/proc/19919/task/19922/stat : 19922 (java) S 19917 19919 19581 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174593422 937431040 8504 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19919/tid=19923] ppid=19917 vsize=915460 CPUtime=0
/proc/19919/task/19923/stat : 19923 (java) S 19917 19919 19581 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174593422 937431040 8504 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19919/tid=19924] ppid=19917 vsize=915460 CPUtime=0
/proc/19919/task/19924/stat : 19924 (java) S 19917 19919 19581 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 174593425 937431040 8504 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19919/tid=19925] ppid=19917 vsize=915460 CPUtime=0.24
/proc/19919/task/19925/stat : 19925 (java) S 19917 19919 19581 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 174593425 937431040 8504 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19919/tid=19926] ppid=19917 vsize=915460 CPUtime=0
/proc/19919/task/19926/stat : 19926 (java) S 19917 19919 19581 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 174593425 937431040 8504 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19919/tid=19927] ppid=19917 vsize=915460 CPUtime=0
/proc/19919/task/19927/stat : 19927 (java) S 19917 19919 19581 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174593425 937431040 8504 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 915460

[startup+102.445 s]
/proc/loadavg: 2.03 1.70 1.31 3/97 19927
/proc/meminfo: memFree=1656384/2055888 swapFree=4095388/4096564
[pid=19919] ppid=19917 vsize=915460 CPUtime=101.99
/proc/19919/stat : 19919 (java) R 19917 19919 19581 0 -1 0 8772 0 1 0 10193 6 0 0 25 0 8 0 174593417 937431040 8509 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073791322 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19919/statm: 228865 8509 2525 14 0 215334 0
[pid=19919/tid=19921] ppid=19917 vsize=915460 CPUtime=0.03
/proc/19919/task/19921/stat : 19921 (java) S 19917 19919 19581 0 -1 64 306 0 0 0 3 0 0 0 16 0 8 0 174593422 937431040 8509 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19919/tid=19922] ppid=19917 vsize=915460 CPUtime=0
/proc/19919/task/19922/stat : 19922 (java) S 19917 19919 19581 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174593422 937431040 8509 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19919/tid=19923] ppid=19917 vsize=915460 CPUtime=0
/proc/19919/task/19923/stat : 19923 (java) S 19917 19919 19581 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174593422 937431040 8509 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19919/tid=19924] ppid=19917 vsize=915460 CPUtime=0
/proc/19919/task/19924/stat : 19924 (java) S 19917 19919 19581 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 174593425 937431040 8509 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19919/tid=19925] ppid=19917 vsize=915460 CPUtime=0.24
/proc/19919/task/19925/stat : 19925 (java) S 19917 19919 19581 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 174593425 937431040 8509 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19919/tid=19926] ppid=19917 vsize=915460 CPUtime=0
/proc/19919/task/19926/stat : 19926 (java) S 19917 19919 19581 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 174593425 937431040 8509 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19919/tid=19927] ppid=19917 vsize=915460 CPUtime=0
/proc/19919/task/19927/stat : 19927 (java) S 19917 19919 19581 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174593425 937431040 8509 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.99
Current children cumulated vsize (KiB) 915460

[startup+162.516 s]
/proc/loadavg: 2.01 1.75 1.35 3/97 19927
/proc/meminfo: memFree=1656320/2055888 swapFree=4095388/4096564
[pid=19919] ppid=19917 vsize=915460 CPUtime=161.83
/proc/19919/stat : 19919 (java) R 19917 19919 19581 0 -1 0 8775 0 1 0 16177 6 0 0 25 0 8 0 174593417 937431040 8512 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073777153 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19919/statm: 228865 8512 2525 14 0 215334 0
[pid=19919/tid=19921] ppid=19917 vsize=915460 CPUtime=0.03
/proc/19919/task/19921/stat : 19921 (java) S 19917 19919 19581 0 -1 64 306 0 0 0 3 0 0 0 16 0 8 0 174593422 937431040 8512 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19919/tid=19922] ppid=19917 vsize=915460 CPUtime=0
/proc/19919/task/19922/stat : 19922 (java) S 19917 19919 19581 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174593422 937431040 8512 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19919/tid=19923] ppid=19917 vsize=915460 CPUtime=0
/proc/19919/task/19923/stat : 19923 (java) S 19917 19919 19581 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174593422 937431040 8512 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19919/tid=19924] ppid=19917 vsize=915460 CPUtime=0
/proc/19919/task/19924/stat : 19924 (java) S 19917 19919 19581 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 174593425 937431040 8512 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19919/tid=19925] ppid=19917 vsize=915460 CPUtime=0.24
/proc/19919/task/19925/stat : 19925 (java) S 19917 19919 19581 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 174593425 937431040 8512 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19919/tid=19926] ppid=19917 vsize=915460 CPUtime=0
/proc/19919/task/19926/stat : 19926 (java) S 19917 19919 19581 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 174593425 937431040 8512 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19919/tid=19927] ppid=19917 vsize=915460 CPUtime=0
/proc/19919/task/19927/stat : 19927 (java) S 19917 19919 19581 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174593425 937431040 8512 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.83
Current children cumulated vsize (KiB) 915460

[startup+222.577 s]
/proc/loadavg: 2.08 1.81 1.39 3/97 19927
/proc/meminfo: memFree=1656192/2055888 swapFree=4095388/4096564
[pid=19919] ppid=19917 vsize=915460 CPUtime=221.66
/proc/19919/stat : 19919 (java) R 19917 19919 19581 0 -1 0 8777 0 1 0 22160 6 0 0 25 0 8 0 174593417 937431040 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803878 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19919/statm: 228865 8514 2525 14 0 215334 0
[pid=19919/tid=19921] ppid=19917 vsize=915460 CPUtime=0.03
/proc/19919/task/19921/stat : 19921 (java) S 19917 19919 19581 0 -1 64 306 0 0 0 3 0 0 0 16 0 8 0 174593422 937431040 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19919/tid=19922] ppid=19917 vsize=915460 CPUtime=0
/proc/19919/task/19922/stat : 19922 (java) S 19917 19919 19581 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174593422 937431040 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19919/tid=19923] ppid=19917 vsize=915460 CPUtime=0
/proc/19919/task/19923/stat : 19923 (java) S 19917 19919 19581 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174593422 937431040 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19919/tid=19924] ppid=19917 vsize=915460 CPUtime=0
/proc/19919/task/19924/stat : 19924 (java) S 19917 19919 19581 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 174593425 937431040 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19919/tid=19925] ppid=19917 vsize=915460 CPUtime=0.24
/proc/19919/task/19925/stat : 19925 (java) S 19917 19919 19581 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 174593425 937431040 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19919/tid=19926] ppid=19917 vsize=915460 CPUtime=0
/proc/19919/task/19926/stat : 19926 (java) S 19917 19919 19581 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 174593425 937431040 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19919/tid=19927] ppid=19917 vsize=915460 CPUtime=0
/proc/19919/task/19927/stat : 19927 (java) S 19917 19919 19581 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174593425 937431040 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 221.66
Current children cumulated vsize (KiB) 915460

Child status: 0
Real time (s): 243.038
CPU time (s): 242.033
CPU user time (s): 241.96
CPU system time (s): 0.072988
CPU usage (%): 99.5867
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 241.96
system time used= 0.072988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8870
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= 6080
involuntary context switches= 9189

runsolver used 0.240963 s user time and 0.634903 s system time

The end

Launcher Data (download as text)

Begin job on node76 on Mon Jan  8 13:12:43 UTC 2007


IDJOB= 221774
IDBENCH= 5467
FILE ID= node76/221774-1168261963

PBS_JOBID= 3482653

Free space on /tmp= 66644 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-24/rand-24-24-276-139-53021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/221774-1168261963/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node76/watcher-221774-1168261963 -o ROOT/results/node76/solver-221774-1168261963 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/221774-1168261963/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  52ce1adbb69405dbd0eb9fe0ed582574

RANDOM SEED= 125796111

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.254
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	: 6006.17
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.254
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	: 5999.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:       1749144 kB
Buffers:         43180 kB
Cached:         100756 kB
SwapCached:        428 kB
Active:         185852 kB
Inactive:        73632 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:       1749144 kB
SwapTotal:     4096564 kB
SwapFree:      4095388 kB
Dirty:            1884 kB
Writeback:           0 kB
Mapped:         134400 kB
Slab:            32764 kB
Committed_AS:  7258956 kB
PageTables:       2016 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66644 MiB



End job on node76 on Mon Jan  8 13:16:47 UTC 2007