Trace number 208113

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 ACSAT 492.535 493.375

DiagnosticValue
CHECKS3523297774
NODES2302238

General information on the benchmark

Namerandom/rand-2-26/
rand-26-26-325-155-59021_ext.xml
MD5SUM9d60e36c663e411033c48ba1ee4a68e9
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 benchmark112.163
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables26
Number of constraints325
Maximum constraint arity2
Maximum domain size26
Number of constraints which are defined in extension325
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=mac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/208113-1168074566/unknown.xml
0.38	   
0.38	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.42	     nbVariables=26  nbDomainTypes=1  minDomainSize=26  maxDomainSize=26
0.42	       =>  wckTime=0.099  cpuTime=0.1  mem=6M951
0.42	   
0.42	   relations being loaded...
0.54	   
0.54	   constraints being loaded...
0.67	     nbConstraints=325  nbRelationTypes=325  nbExtensionStructures=325  nbSharedExtensionStructures=0
0.67	     nbConflictsStructures=325  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=916  maxDegree=25
0.67	     maxArity=2
0.67	       =>  wckTime=0.344  cpuTime=0.28  mem=14M786
0.71	   
0.71	   solver IterativeSystematicSolver being built... 
0.86	       =>  wckTime=0.54  cpuTime=0.4  mem=14M167
0.87	   
0.87	   preprocessing
0.87	     nbConstraintChecks=0  nbPropagations=26  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
0.87	     detectedInconsistency=no
0.87	       =>  wckTime=0.0050  cpuTime=0.01  mem=14M167
0.92	   
0.92	   search
0.92	     run=0  nbConstraintChecks=35598  nbPropagations=448  nbRevisions=7255  nbUselessRevisions=6325  nbAssignments=26
0.92	     nbFailedAssignments=11  nbBacktracks=10  nbVisitedNodes=46  nbRestartNogoods=0  mapSize=10  nbInferences=0
0.92	     nbTooLargeKeys=0
0.92	       =>  wckTime=0.053  cpuTime=0.04  mem=15M208
0.94	   
0.94	   search
0.94	     run=1  nbConstraintChecks=87223  nbPropagations=1490  nbRevisions=25458  nbUselessRevisions=22199  nbAssignments=62
0.94	     nbFailedAssignments=25  nbBacktracks=25  nbVisitedNodes=109  nbRestartNogoods=1  mapSize=24  nbInferences=0
0.94	     nbTooLargeKeys=0
0.94	       =>  wckTime=0.075  cpuTime=0.06  mem=15M208
0.96	   
0.96	   search
0.96	     run=2  nbConstraintChecks=161589  nbPropagations=3358  nbRevisions=59590  nbUselessRevisions=52010
0.96	     nbAssignments=115  nbFailedAssignments=49  nbBacktracks=48  nbVisitedNodes=203  nbRestartNogoods=4  mapSize=47
0.96	     nbInferences=0  nbTooLargeKeys=0
0.96	       =>  wckTime=0.1  cpuTime=0.08  mem=15M208
0.99	   
0.99	   search
0.99	     run=3  nbConstraintChecks=280338  nbPropagations=6460  nbRevisions=118915  nbUselessRevisions=103820
0.99	     nbAssignments=189  nbFailedAssignments=84  nbBacktracks=81  nbVisitedNodes=338  nbRestartNogoods=8  mapSize=80
0.99	     nbInferences=0  nbTooLargeKeys=0
0.99	       =>  wckTime=0.128  cpuTime=0.1  mem=15M208
1.03	   
1.03	   search
1.03	     run=4  nbConstraintChecks=451301  nbPropagations=11346  nbRevisions=215930  nbUselessRevisions=188553
1.03	     nbAssignments=302  nbFailedAssignments=141  nbBacktracks=131  nbVisitedNodes=544  nbRestartNogoods=14  mapSize=128
1.03	     nbInferences=0  nbTooLargeKeys=0
1.03	       =>  wckTime=0.162  cpuTime=0.13  mem=15M208
1.07	   
1.07	   search
1.07	     run=5  nbConstraintChecks=672312  nbPropagations=18575  nbRevisions=361903  nbUselessRevisions=316209
1.07	     nbAssignments=455  nbFailedAssignments=215  nbBacktracks=206  nbVisitedNodes=822  nbRestartNogoods=21  mapSize=202
1.07	     nbInferences=0  nbTooLargeKeys=0
1.07	       =>  wckTime=0.209  cpuTime=0.18  mem=15M208
1.15	   
1.15	   search
1.15	     run=6  nbConstraintChecks=1040626  nbPropagations=29596  nbRevisions=588892  nbUselessRevisions=514805
1.15	     nbAssignments=694  nbFailedAssignments=336  nbBacktracks=319  nbVisitedNodes=1262  nbRestartNogoods=24  mapSize=314
1.15	     nbInferences=0  nbTooLargeKeys=0
1.15	       =>  wckTime=0.284  cpuTime=0.24  mem=15M208
1.24	   
1.24	   search
1.24	     run=7  nbConstraintChecks=1530258  nbPropagations=45700  nbRevisions=921889  nbUselessRevisions=805806
1.24	     nbAssignments=1023  nbFailedAssignments=488  nbBacktracks=491  nbVisitedNodes=1868  nbRestartNogoods=28
1.24	     mapSize=479  nbInferences=0  nbTooLargeKeys=0
1.24	       =>  wckTime=0.378  cpuTime=0.33  mem=15M208
1.38	   
1.38	   search
1.38	     run=8  nbConstraintChecks=2212553  nbPropagations=69204  nbRevisions=1408897  nbUselessRevisions=1231676
1.38	     nbAssignments=1512  nbFailedAssignments=714  nbBacktracks=747  nbVisitedNodes=2769  nbRestartNogoods=36
1.38	     mapSize=730  nbInferences=0  nbTooLargeKeys=0
1.38	       =>  wckTime=0.515  cpuTime=0.45  mem=15M208
1.53	   
1.53	   INFO : Stopping hyperNogood (mapSize=1030, nbTooLargekeys=0, mem=15M208)
1.57	   
1.57	   search
1.57	     run=9  nbConstraintChecks=3327876  nbPropagations=104345  nbRevisions=2143451  nbUselessRevisions=1873918
1.57	     nbAssignments=2273  nbFailedAssignments=1084  nbBacktracks=1132  nbVisitedNodes=4174  nbRestartNogoods=45
1.57	       =>  wckTime=0.702  cpuTime=0.63  mem=15M208
1.83	   
1.83	   search
1.83	     run=10  nbConstraintChecks=4906297  nbPropagations=156506  nbRevisions=3237108  nbUselessRevisions=2830506
1.83	     nbAssignments=3396  nbFailedAssignments=1624  nbBacktracks=1709  nbVisitedNodes=6256  nbRestartNogoods=51
1.83	       =>  wckTime=0.961  cpuTime=0.88  mem=15M208
2.19	   
2.19	   search
2.19	     run=11  nbConstraintChecks=7255254  nbPropagations=233973  nbRevisions=4867620  nbUselessRevisions=4257191
2.19	     nbAssignments=5054  nbFailedAssignments=2411  nbBacktracks=2573  nbVisitedNodes=9331  nbRestartNogoods=60
2.19	       =>  wckTime=1.326  cpuTime=1.24  mem=15M208
2.76	   
2.76	   search
2.76	     run=12  nbConstraintChecks=10998467  nbPropagations=350425  nbRevisions=7328485  nbUselessRevisions=6409303
2.76	     nbAssignments=7572  nbFailedAssignments=3626  nbBacktracks=3870  nbVisitedNodes=14003  nbRestartNogoods=68
2.76	       =>  wckTime=1.898  cpuTime=1.8  mem=15M208
3.64	   
3.64	   search
3.64	     run=13  nbConstraintChecks=16808567  nbPropagations=526249  nbRevisions=11078768  nbUselessRevisions=9689586
3.64	     nbAssignments=11404  nbFailedAssignments=5506  nbBacktracks=5816  nbVisitedNodes=21143  nbRestartNogoods=86
3.64	       =>  wckTime=2.775  cpuTime=2.67  mem=15M208
4.89	   
4.89	   search
4.89	     run=14  nbConstraintChecks=25032709  nbPropagations=788415  nbRevisions=16678599  nbUselessRevisions=14590380
4.89	     nbAssignments=16981  nbFailedAssignments=8157  nbBacktracks=8736  nbVisitedNodes=31505  nbRestartNogoods=99
4.89	       =>  wckTime=4.025  cpuTime=3.91  mem=15M208
6.82	   
6.82	   search
6.82	     run=15  nbConstraintChecks=37881510  nbPropagations=1182816  nbRevisions=25150441  nbUselessRevisions=22006759
6.82	     nbAssignments=25467  nbFailedAssignments=12258  nbBacktracks=13114  nbVisitedNodes=47271  nbRestartNogoods=111
6.82	       =>  wckTime=5.96  cpuTime=5.84  mem=15M208
9.70	   
9.71	   search
9.71	     run=16  nbConstraintChecks=56534580  nbPropagations=1773095  nbRevisions=37857551  nbUselessRevisions=33135228
9.71	     nbAssignments=38152  nbFailedAssignments=18369  nbBacktracks=19683  nbVisitedNodes=70859  nbRestartNogoods=134
9.71	       =>  wckTime=8.841  cpuTime=8.69  mem=15M208
13.99	   
13.99	   search
13.99	     run=17  nbConstraintChecks=84381269  nbPropagations=2655588  nbRevisions=56847075  nbUselessRevisions=49763846
13.99	     nbAssignments=57112  nbFailedAssignments=27471  nbBacktracks=29537  nbVisitedNodes=106098  nbRestartNogoods=148
13.99	       =>  wckTime=13.128  cpuTime=12.94  mem=15M208
20.62	   
20.62	   search
20.63	     run=18  nbConstraintChecks=128177987  nbPropagations=3988468  nbRevisions=85636440  nbUselessRevisions=74976283
20.63	     nbAssignments=86047  nbFailedAssignments=41623  nbBacktracks=44315  nbVisitedNodes=160058  nbRestartNogoods=162
20.63	       =>  wckTime=19.761  cpuTime=19.51  mem=15M208
30.42	   
30.42	   search
30.42	     run=19  nbConstraintChecks=192747565  nbPropagations=5987763  nbRevisions=128930817  nbUselessRevisions=112898397
30.42	     nbAssignments=129050  nbFailedAssignments=62452  nbBacktracks=66483  nbVisitedNodes=239991  nbRestartNogoods=169
30.42	       =>  wckTime=29.555  cpuTime=29.22  mem=15M208
44.96	   
44.96	   search
44.96	     run=20  nbConstraintChecks=288074953  nbPropagations=8977464  nbRevisions=193697142  nbUselessRevisions=169633994
44.96	     nbAssignments=193272  nbFailedAssignments=93417  nbBacktracks=99736  nbVisitedNodes=359185  nbRestartNogoods=177
44.96	       =>  wckTime=44.097  cpuTime=43.63  mem=15M208
66.51	   
66.51	   search
66.51	     run=21  nbConstraintChecks=434123515  nbPropagations=13468741  nbRevisions=291152432  nbUselessRevisions=255015672
66.51	     nbAssignments=289762  nbFailedAssignments=140022  nbBacktracks=149616  nbVisitedNodes=538440  nbRestartNogoods=199
66.51	       =>  wckTime=65.645  cpuTime=65.04  mem=15M208
96.27	   
96.27	   search
96.27	     run=22  nbConstraintChecks=647237365  nbPropagations=20174842  nbRevisions=436585808  nbUselessRevisions=382444701
96.27	     nbAssignments=432968  nbFailedAssignments=208405  nbBacktracks=224434  nbVisitedNodes=804147  nbRestartNogoods=219
96.27	       =>  wckTime=95.405  cpuTime=94.76  mem=15M208
142.53	   
142.53	   search
142.53	     run=23  nbConstraintChecks=981509923  nbPropagations=30283397  nbRevisions=656597513  nbUselessRevisions=575251504
142.53	     nbAssignments=651120  nbFailedAssignments=314325  nbBacktracks=336661  nbVisitedNodes=1209699  nbRestartNogoods=241
142.53	       =>  wckTime=141.663  cpuTime=140.97  mem=15M208
211.31	   
211.31	   search
211.31	     run=24  nbConstraintChecks=1477188077  nbPropagations=45469183  nbRevisions=987673059  nbUselessRevisions=865429349
211.31	     nbAssignments=977866  nbFailedAssignments=472724  nbBacktracks=505003  nbVisitedNodes=1817231  nbRestartNogoods=266
211.31	       =>  wckTime=210.446  cpuTime=209.7  mem=15M208
315.07	   
315.07	   search
315.07	     run=25  nbConstraintChecks=2226682541  nbPropagations=68312867  nbRevisions=1486213417
315.07	     nbUselessRevisions=1302438307  nbAssignments=1467754  nbFailedAssignments=710095  nbBacktracks=757515
315.07	     nbVisitedNodes=2729186  nbRestartNogoods=282
315.07	       =>  wckTime=314.209  cpuTime=313.4  mem=15M208
472.86	   
472.86	   search
472.86	     run=26  nbConstraintChecks=3376022353  nbPropagations=102746415  nbRevisions=2239660298
472.86	     nbUselessRevisions=1962940300  nbAssignments=2205336  nbFailedAssignments=1068905  nbBacktracks=1136282
472.86	     nbVisitedNodes=4102168  nbRestartNogoods=301
472.86	       =>  wckTime=471.995  cpuTime=471.14  mem=15M208
493.34	   
493.34	   search
493.34	     run=27  nbConstraintChecks=3523297774  nbPropagations=138692220  nbRevisions=3026152439
493.34	     nbUselessRevisions=2652428721  nbAssignments=2302238  nbFailedAssignments=1115531  nbBacktracks=1186532
493.34	     nbVisitedNodes=4282480  nbRestartNogoods=309
493.34	       =>  wckTime=492.474  cpuTime=491.61  mem=15M208
493.34	   
493.34	   global
493.34	     nbConstraintChecks=3523297774  nbPropagations=138692246  nbRevisions=3026152439  nbUselessRevisions=2652428721
493.34	     nbRestartNogoods=309  solvingWckTime=492.475  solvingCpuTime=491.61  expiredTime=no  totalExploration=no
493.34	     nbFoundSolutions=1  globalCpuTime=492.05
493.34	       =>  wckTime=493.018  cpuTime=492.01  mem=15M208
493.34	   
493.34	s SATISFIABLE
493.34	v 10 14 1 0 12 18 18 16 25 7 13 1 25 3 16 9 10 4 9 17 7 23 19 9 7 24 
493.34	d NODES 2302238
493.34	d CHECKS 3523297774
493.34	   
493.34	   totalWckTime=493.1  totalCpuTime=492.06

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/node42/watcher-208113-1168074566 -o ROOT/results/node42/solver-208113-1168074566 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208113-1168074566/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.93 1.53 1.43 4/80 23924
/proc/meminfo: memFree=1311064/2055920 swapFree=4191892/4192956
[pid=23923] ppid=23921 vsize=18540 CPUtime=0
/proc/23923/stat : 23923 (runsolver) R 23921 23923 23556 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155855798 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 259415141671 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/23923/statm: 4635 279 244 17 0 2626 0

[startup+0.10807 s]
/proc/loadavg: 1.93 1.53 1.43 4/80 23924
/proc/meminfo: memFree=1311064/2055920 swapFree=4191892/4192956
[pid=23923] ppid=23921 vsize=914988 CPUtime=0.08
/proc/23923/stat : 23923 (java) R 23921 23923 23556 0 -1 0 2960 0 1 0 7 1 0 0 19 0 8 0 155855798 936947712 2706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153609477 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23923/statm: 228747 2706 1416 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.516115 s]
/proc/loadavg: 1.93 1.53 1.43 4/80 23924
/proc/meminfo: memFree=1311064/2055920 swapFree=4191892/4192956
[pid=23923] ppid=23921 vsize=915328 CPUtime=0.48
/proc/23923/stat : 23923 (java) R 23921 23923 23556 0 -1 0 6932 0 1 0 44 4 0 0 18 0 8 0 155855798 937295872 6671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072917005 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23923/statm: 228832 6671 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.3382 s]
/proc/loadavg: 1.93 1.53 1.43 3/87 23931
/proc/meminfo: memFree=1286048/2055920 swapFree=4191892/4192956
[pid=23923] ppid=23921 vsize=915456 CPUtime=1.29
/proc/23923/stat : 23923 (java) R 23921 23923 23556 0 -1 0 8966 0 1 0 123 6 0 0 24 0 8 0 155855798 937426944 8704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073818433 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23923/statm: 228864 8704 2513 14 0 215334 0
[pid=23923/tid=23925] ppid=23921 vsize=915456 CPUtime=0.03
/proc/23923/task/23925/stat : 23925 (java) S 23921 23923 23556 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 155855803 937426944 8704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23926] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23926/stat : 23926 (java) S 23921 23923 23556 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155855804 937426944 8704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23927] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23927/stat : 23927 (java) S 23921 23923 23556 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155855804 937426944 8704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23928] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23928/stat : 23928 (java) S 23921 23923 23556 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155855807 937426944 8704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23929] ppid=23921 vsize=915456 CPUtime=0.18
/proc/23923/task/23929/stat : 23929 (java) S 23921 23923 23556 0 -1 64 375 0 0 0 18 0 0 0 15 0 8 0 155855807 937426944 8704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23930] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23930/stat : 23930 (java) S 23921 23923 23556 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155855807 937426944 8704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23931] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23931/stat : 23931 (java) S 23921 23923 23556 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155855807 937426944 8704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915456

[startup+2.99038 s]
/proc/loadavg: 1.94 1.54 1.43 3/87 23931
/proc/meminfo: memFree=1285856/2055920 swapFree=4191892/4192956
[pid=23923] ppid=23921 vsize=915456 CPUtime=2.94
/proc/23923/stat : 23923 (java) R 23921 23923 23556 0 -1 0 8983 0 1 0 287 7 0 0 25 0 8 0 155855798 937426944 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073805197 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23923/statm: 228864 8719 2513 14 0 215334 0
[pid=23923/tid=23925] ppid=23921 vsize=915456 CPUtime=0.03
/proc/23923/task/23925/stat : 23925 (java) S 23921 23923 23556 0 -1 64 343 0 0 0 3 0 0 0 17 0 8 0 155855803 937426944 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23926] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23926/stat : 23926 (java) S 23921 23923 23556 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155855804 937426944 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23927] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23927/stat : 23927 (java) S 23921 23923 23556 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155855804 937426944 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23928] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23928/stat : 23928 (java) S 23921 23923 23556 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155855807 937426944 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23929] ppid=23921 vsize=915456 CPUtime=0.21
/proc/23923/task/23929/stat : 23929 (java) S 23921 23923 23556 0 -1 64 391 0 0 0 21 0 0 0 15 0 8 0 155855807 937426944 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23930] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23930/stat : 23930 (java) S 23921 23923 23556 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155855807 937426944 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23931] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23931/stat : 23931 (java) S 23921 23923 23556 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155855807 937426944 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915456

[startup+6.28575 s]
/proc/loadavg: 1.94 1.54 1.43 4/87 23931
/proc/meminfo: memFree=1285856/2055920 swapFree=4191892/4192956
[pid=23923] ppid=23921 vsize=915456 CPUtime=6.2
/proc/23923/stat : 23923 (java) R 23921 23923 23556 0 -1 0 8983 0 1 0 613 7 0 0 25 0 8 0 155855798 937426944 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073793295 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23923/statm: 228864 8719 2513 14 0 215334 0
[pid=23923/tid=23925] ppid=23921 vsize=915456 CPUtime=0.03
/proc/23923/task/23925/stat : 23925 (java) S 23921 23923 23556 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 155855803 937426944 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23926] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23926/stat : 23926 (java) S 23921 23923 23556 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155855804 937426944 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23927] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23927/stat : 23927 (java) S 23921 23923 23556 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155855804 937426944 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23928] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23928/stat : 23928 (java) S 23921 23923 23556 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155855807 937426944 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23929] ppid=23921 vsize=915456 CPUtime=0.21
/proc/23923/task/23929/stat : 23929 (java) S 23921 23923 23556 0 -1 64 391 0 0 0 21 0 0 0 16 0 8 0 155855807 937426944 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23930] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23930/stat : 23930 (java) S 23921 23923 23556 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155855807 937426944 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23931] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23931/stat : 23931 (java) S 23921 23923 23556 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155855807 937426944 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915456

[startup+12.7695 s]
/proc/loadavg: 1.95 1.55 1.43 3/87 23931
/proc/meminfo: memFree=1285920/2055920 swapFree=4191892/4192956
[pid=23923] ppid=23921 vsize=915456 CPUtime=12.62
/proc/23923/stat : 23923 (java) R 23921 23923 23556 0 -1 0 8984 0 1 0 1255 7 0 0 25 0 8 0 155855798 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801293 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23923/statm: 228864 8720 2513 14 0 215334 0
[pid=23923/tid=23925] ppid=23921 vsize=915456 CPUtime=0.03
/proc/23923/task/23925/stat : 23925 (java) S 23921 23923 23556 0 -1 64 343 0 0 0 3 0 0 0 17 0 8 0 155855803 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23926] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23926/stat : 23926 (java) S 23921 23923 23556 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155855804 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23927] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23927/stat : 23927 (java) S 23921 23923 23556 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155855804 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23928] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23928/stat : 23928 (java) S 23921 23923 23556 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23929] ppid=23921 vsize=915456 CPUtime=0.21
/proc/23923/task/23929/stat : 23929 (java) S 23921 23923 23556 0 -1 64 392 0 0 0 21 0 0 0 16 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23930] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23930/stat : 23930 (java) S 23921 23923 23556 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23931] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23931/stat : 23931 (java) S 23921 23923 23556 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915456

[startup+25.6099 s]
/proc/loadavg: 1.95 1.56 1.44 3/87 23931
/proc/meminfo: memFree=1286048/2055920 swapFree=4191892/4192956
[pid=23923] ppid=23921 vsize=915456 CPUtime=25.35
/proc/23923/stat : 23923 (java) R 23921 23923 23556 0 -1 0 8985 0 1 0 2528 7 0 0 25 0 8 0 155855798 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073805488 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23923/statm: 228864 8720 2513 14 0 215334 0
[pid=23923/tid=23925] ppid=23921 vsize=915456 CPUtime=0.03
/proc/23923/task/23925/stat : 23925 (java) S 23921 23923 23556 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 155855803 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23926] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23926/stat : 23926 (java) S 23921 23923 23556 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155855804 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23927] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23927/stat : 23927 (java) S 23921 23923 23556 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155855804 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23928] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23928/stat : 23928 (java) S 23921 23923 23556 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23929] ppid=23921 vsize=915456 CPUtime=0.21
/proc/23923/task/23929/stat : 23929 (java) S 23921 23923 23556 0 -1 64 392 0 0 0 21 0 0 0 16 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23930] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23930/stat : 23930 (java) S 23921 23923 23556 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23931] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23931/stat : 23931 (java) S 23921 23923 23556 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915456

[startup+51.2137 s]
/proc/loadavg: 1.97 1.60 1.45 3/87 23931
/proc/meminfo: memFree=1286048/2055920 swapFree=4191892/4192956
[pid=23923] ppid=23921 vsize=915456 CPUtime=50.71
/proc/23923/stat : 23923 (java) R 23921 23923 23556 0 -1 0 8985 0 1 0 5064 7 0 0 25 0 8 0 155855798 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073814521 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23923/statm: 228864 8720 2513 14 0 215334 0
[pid=23923/tid=23925] ppid=23921 vsize=915456 CPUtime=0.03
/proc/23923/task/23925/stat : 23925 (java) S 23921 23923 23556 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 155855803 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23926] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23926/stat : 23926 (java) S 23921 23923 23556 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155855804 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23927] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23927/stat : 23927 (java) S 23921 23923 23556 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155855804 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23928] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23928/stat : 23928 (java) S 23921 23923 23556 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23929] ppid=23921 vsize=915456 CPUtime=0.21
/proc/23923/task/23929/stat : 23929 (java) S 23921 23923 23556 0 -1 64 392 0 0 0 21 0 0 0 16 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23930] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23930/stat : 23930 (java) S 23921 23923 23556 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23931] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23931/stat : 23931 (java) S 23921 23923 23556 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 915456

[startup+102.423 s]
/proc/loadavg: 1.94 1.64 1.47 3/87 23987
/proc/meminfo: memFree=1295768/2055920 swapFree=4191892/4192956
[pid=23923] ppid=23921 vsize=915456 CPUtime=101.81
/proc/23923/stat : 23923 (java) R 23921 23923 23556 0 -1 0 8985 0 1 0 10173 8 0 0 25 0 8 0 155855798 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073826939 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23923/statm: 228864 8720 2513 14 0 215334 0
[pid=23923/tid=23925] ppid=23921 vsize=915456 CPUtime=0.03
/proc/23923/task/23925/stat : 23925 (java) S 23921 23923 23556 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 155855803 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23926] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23926/stat : 23926 (java) S 23921 23923 23556 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155855804 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23927] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23927/stat : 23927 (java) S 23921 23923 23556 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155855804 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23928] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23928/stat : 23928 (java) S 23921 23923 23556 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23929] ppid=23921 vsize=915456 CPUtime=0.21
/proc/23923/task/23929/stat : 23929 (java) S 23921 23923 23556 0 -1 64 392 0 0 0 21 0 0 0 16 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23930] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23930/stat : 23930 (java) S 23921 23923 23556 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23931] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23931/stat : 23931 (java) S 23921 23923 23556 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 915456

[startup+162.47 s]
/proc/loadavg: 1.91 1.69 1.50 3/87 24043
/proc/meminfo: memFree=1296792/2055920 swapFree=4191892/4192956
[pid=23923] ppid=23921 vsize=915456 CPUtime=161.8
/proc/23923/stat : 23923 (java) R 23921 23923 23556 0 -1 0 8985 0 1 0 16171 9 0 0 25 0 8 0 155855798 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073814481 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23923/statm: 228864 8720 2513 14 0 215334 0
[pid=23923/tid=23925] ppid=23921 vsize=915456 CPUtime=0.03
/proc/23923/task/23925/stat : 23925 (java) S 23921 23923 23556 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 155855803 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23926] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23926/stat : 23926 (java) S 23921 23923 23556 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155855804 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23927] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23927/stat : 23927 (java) S 23921 23923 23556 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155855804 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23928] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23928/stat : 23928 (java) S 23921 23923 23556 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23929] ppid=23921 vsize=915456 CPUtime=0.21
/proc/23923/task/23929/stat : 23929 (java) S 23921 23923 23556 0 -1 64 392 0 0 0 21 0 0 0 16 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23930] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23930/stat : 23930 (java) S 23921 23923 23556 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23931] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23931/stat : 23931 (java) S 23921 23923 23556 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.8
Current children cumulated vsize (KiB) 915456

[startup+222.518 s]
/proc/loadavg: 1.96 1.74 1.53 2/72 24057
/proc/meminfo: memFree=1328464/2055920 swapFree=4191892/4192956
[pid=23923] ppid=23921 vsize=915456 CPUtime=221.77
/proc/23923/stat : 23923 (java) R 23921 23923 23556 0 -1 0 8985 0 1 0 22168 9 0 0 25 0 8 0 155855798 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073791881 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23923/statm: 228864 8720 2513 14 0 215334 0
[pid=23923/tid=23925] ppid=23921 vsize=915456 CPUtime=0.03
/proc/23923/task/23925/stat : 23925 (java) S 23921 23923 23556 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 155855803 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23926] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23926/stat : 23926 (java) S 23921 23923 23556 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155855804 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23927] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23927/stat : 23927 (java) S 23921 23923 23556 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155855804 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23928] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23928/stat : 23928 (java) S 23921 23923 23556 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23929] ppid=23921 vsize=915456 CPUtime=0.21
/proc/23923/task/23929/stat : 23929 (java) S 23921 23923 23556 0 -1 64 392 0 0 0 21 0 0 0 16 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23930] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23930/stat : 23930 (java) S 23921 23923 23556 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23931] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23931/stat : 23931 (java) S 23921 23923 23556 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.77
Current children cumulated vsize (KiB) 915456

[startup+282.527 s]
/proc/loadavg: 1.35 1.60 1.49 2/72 24057
/proc/meminfo: memFree=1328680/2055920 swapFree=4191892/4192956
[pid=23923] ppid=23921 vsize=915456 CPUtime=281.77
/proc/23923/stat : 23923 (java) R 23921 23923 23556 0 -1 0 8985 0 1 0 28167 10 0 0 25 0 8 0 155855798 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073804632 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23923/statm: 228864 8720 2513 14 0 215334 0
[pid=23923/tid=23925] ppid=23921 vsize=915456 CPUtime=0.03
/proc/23923/task/23925/stat : 23925 (java) S 23921 23923 23556 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 155855803 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23926] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23926/stat : 23926 (java) S 23921 23923 23556 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155855804 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23927] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23927/stat : 23927 (java) S 23921 23923 23556 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155855804 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23928] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23928/stat : 23928 (java) S 23921 23923 23556 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23929] ppid=23921 vsize=915456 CPUtime=0.21
/proc/23923/task/23929/stat : 23929 (java) S 23921 23923 23556 0 -1 64 392 0 0 0 21 0 0 0 16 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23930] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23930/stat : 23930 (java) S 23921 23923 23556 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23931] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23931/stat : 23931 (java) S 23921 23923 23556 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.77
Current children cumulated vsize (KiB) 915456

[startup+342.535 s]
/proc/loadavg: 1.13 1.49 1.46 2/72 24057
/proc/meminfo: memFree=1328744/2055920 swapFree=4191892/4192956
[pid=23923] ppid=23921 vsize=915456 CPUtime=341.76
/proc/23923/stat : 23923 (java) R 23921 23923 23556 0 -1 0 8985 0 1 0 34166 10 0 0 25 0 8 0 155855798 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073805402 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23923/statm: 228864 8720 2513 14 0 215334 0
[pid=23923/tid=23925] ppid=23921 vsize=915456 CPUtime=0.03
/proc/23923/task/23925/stat : 23925 (java) S 23921 23923 23556 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 155855803 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23926] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23926/stat : 23926 (java) S 23921 23923 23556 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155855804 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23927] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23927/stat : 23927 (java) S 23921 23923 23556 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155855804 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23928] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23928/stat : 23928 (java) S 23921 23923 23556 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23929] ppid=23921 vsize=915456 CPUtime=0.21
/proc/23923/task/23929/stat : 23929 (java) S 23921 23923 23556 0 -1 64 392 0 0 0 21 0 0 0 16 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23930] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23930/stat : 23930 (java) S 23921 23923 23556 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23931] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23931/stat : 23931 (java) S 23921 23923 23556 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 341.76
Current children cumulated vsize (KiB) 915456

[startup+402.543 s]
/proc/loadavg: 1.15 1.42 1.43 2/72 24057
/proc/meminfo: memFree=1328744/2055920 swapFree=4191892/4192956
[pid=23923] ppid=23921 vsize=915456 CPUtime=401.75
/proc/23923/stat : 23923 (java) R 23921 23923 23556 0 -1 0 8985 0 1 0 40165 10 0 0 25 0 8 0 155855798 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073849714 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23923/statm: 228864 8720 2513 14 0 215334 0
[pid=23923/tid=23925] ppid=23921 vsize=915456 CPUtime=0.03
/proc/23923/task/23925/stat : 23925 (java) S 23921 23923 23556 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 155855803 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23926] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23926/stat : 23926 (java) S 23921 23923 23556 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155855804 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23927] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23927/stat : 23927 (java) S 23921 23923 23556 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155855804 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23928] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23928/stat : 23928 (java) S 23921 23923 23556 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23929] ppid=23921 vsize=915456 CPUtime=0.21
/proc/23923/task/23929/stat : 23929 (java) S 23921 23923 23556 0 -1 64 392 0 0 0 21 0 0 0 16 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23930] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23930/stat : 23930 (java) S 23921 23923 23556 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23931] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23931/stat : 23931 (java) S 23921 23923 23556 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 401.75
Current children cumulated vsize (KiB) 915456

[startup+462.556 s]
/proc/loadavg: 1.05 1.34 1.41 2/72 24057
/proc/meminfo: memFree=1328808/2055920 swapFree=4191892/4192956
[pid=23923] ppid=23921 vsize=915456 CPUtime=461.74
/proc/23923/stat : 23923 (java) R 23921 23923 23556 0 -1 0 8985 0 1 0 46164 10 0 0 25 0 8 0 155855798 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918523 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23923/statm: 228864 8720 2513 14 0 215334 0
[pid=23923/tid=23925] ppid=23921 vsize=915456 CPUtime=0.03
/proc/23923/task/23925/stat : 23925 (java) S 23921 23923 23556 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 155855803 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23926] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23926/stat : 23926 (java) S 23921 23923 23556 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155855804 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23927] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23927/stat : 23927 (java) S 23921 23923 23556 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155855804 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23928] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23928/stat : 23928 (java) S 23921 23923 23556 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23929] ppid=23921 vsize=915456 CPUtime=0.21
/proc/23923/task/23929/stat : 23929 (java) S 23921 23923 23556 0 -1 64 392 0 0 0 21 0 0 0 16 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23930] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23930/stat : 23930 (java) S 23921 23923 23556 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23931] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23931/stat : 23931 (java) S 23921 23923 23556 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 461.74
Current children cumulated vsize (KiB) 915456

Child status: 0
Real time (s): 493.375
CPU time (s): 492.535
CPU user time (s): 492.421
CPU system time (s): 0.113982
CPU usage (%): 99.8299
Max. virtual memory (cumulated for all children) (KiB): 915456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 492.421
system time used= 0.113982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8991
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= 11077
involuntary context switches= 5243

runsolver used 0.566913 s user time and 1.38479 s system time

The end

Launcher Data (download as text)

Begin job on node42 on Sat Jan  6 09:09:26 UTC 2007


IDJOB= 208113
IDBENCH= 4353
FILE ID= node42/208113-1168074566

PBS_JOBID= 3476018

Free space on /tmp= 66541 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-26/rand-26-26-325-155-59021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208113-1168074566/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node42/watcher-208113-1168074566 -o ROOT/results/node42/solver-208113-1168074566 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208113-1168074566/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  9d60e36c663e411033c48ba1ee4a68e9

RANDOM SEED= 483283873

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.229
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.229
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:       1311480 kB
Buffers:         49860 kB
Cached:         564048 kB
SwapCached:        268 kB
Active:         146536 kB
Inactive:       522684 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1311480 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:            2004 kB
Writeback:           0 kB
Mapped:          74280 kB
Slab:            60388 kB
Committed_AS:  3492832 kB
PageTables:       1896 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= 66543 MiB



End job on node42 on Sat Jan  6 09:17:40 UTC 2007