Trace number 208112

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 ESACSAT 466.973 469.78

DiagnosticValue
CHECKS3323605609
NODES2180140

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.34	   
0.34	Abscon 109 (November, 2006)
0.34	   
0.34	   configuration
0.34	     name=esac.xml
0.52	   
0.52	   instance
0.52	     name=/tmp/evaluation/208112-1168185350/unknown.xml
0.55	   
0.55	   domains being loaded...
0.55	   
0.55	   variables being loaded...
0.58	     nbVariables=26  nbDomainTypes=1  minDomainSize=26  maxDomainSize=26
0.58	       =>  wckTime=0.242  cpuTime=0.09  mem=6M951
0.58	   
0.58	   relations being loaded...
0.69	   
0.69	   constraints being loaded...
0.82	     nbConstraints=325  nbRelationTypes=325  nbExtensionStructures=325  nbSharedExtensionStructures=0
0.82	     nbConflictsStructures=325  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=916  maxDegree=25
0.82	     maxArity=2
0.82	       =>  wckTime=0.474  cpuTime=0.25  mem=14M786
0.86	   
0.86	   solver IterativeSystematicSolver being built... 
1.01	       =>  wckTime=0.671  cpuTime=0.38  mem=15M258
1.06	   
1.06	   preprocessing
1.06	     nbConstraintChecks=58387  nbPropagations=703  nbRevisions=7229  nbUselessRevisions=6277  nbSingletonTests=33
1.06	     nbEffectiveSingletonTests=0  nbESACBranches=5  nbRemovedValues=0  detectedInconsistency=no
1.06	       =>  wckTime=0.044  cpuTime=0.03  mem=15M258
1.09	   
1.09	   search
1.09	     run=0  nbConstraintChecks=44067  nbPropagations=1202  nbRevisions=15915  nbUselessRevisions=13964  nbAssignments=28
1.09	     nbFailedAssignments=11  nbBacktracks=10  nbVisitedNodes=49  nbRestartNogoods=0  mapSize=10  nbInferences=0
1.09	     nbTooLargeKeys=0
1.09	       =>  wckTime=0.07  cpuTime=0.05  mem=15M258
1.10	   
1.10	   search
1.10	     run=1  nbConstraintChecks=94874  nbPropagations=2953  nbRevisions=41855  nbUselessRevisions=36732  nbAssignments=62
1.10	     nbFailedAssignments=24  nbBacktracks=26  nbVisitedNodes=106  nbRestartNogoods=2  mapSize=23  nbInferences=0
1.10	     nbTooLargeKeys=0
1.10	       =>  wckTime=0.086  cpuTime=0.06  mem=15M258
1.12	   
1.12	   search
1.12	     run=2  nbConstraintChecks=174701  nbPropagations=5542  nbRevisions=84397  nbUselessRevisions=74029
1.12	     nbAssignments=115  nbFailedAssignments=50  nbBacktracks=48  nbVisitedNodes=200  nbRestartNogoods=5  mapSize=45
1.12	     nbInferences=0  nbTooLargeKeys=0
1.12	       =>  wckTime=0.106  cpuTime=0.08  mem=15M258
1.15	   
1.15	   search
1.15	     run=3  nbConstraintChecks=288704  nbPropagations=9278  nbRevisions=150064  nbUselessRevisions=131478
1.15	     nbAssignments=184  nbFailedAssignments=80  nbBacktracks=82  nbVisitedNodes=326  nbRestartNogoods=8  mapSize=77
1.15	     nbInferences=0  nbTooLargeKeys=0
1.15	       =>  wckTime=0.131  cpuTime=0.1  mem=15M258
1.17	   
1.17	   search
1.17	     run=4  nbConstraintChecks=435856  nbPropagations=14572  nbRevisions=247182  nbUselessRevisions=216159
1.17	     nbAssignments=277  nbFailedAssignments=117  nbBacktracks=132  nbVisitedNodes=495  nbRestartNogoods=15  mapSize=125
1.17	     nbInferences=0  nbTooLargeKeys=0
1.17	       =>  wckTime=0.158  cpuTime=0.12  mem=15M258
1.21	   
1.21	   search
1.21	     run=5  nbConstraintChecks=638512  nbPropagations=22051  nbRevisions=388468  nbUselessRevisions=339434
1.21	     nbAssignments=421  nbFailedAssignments=181  nbBacktracks=207  nbVisitedNodes=755  nbRestartNogoods=19  mapSize=197
1.21	     nbInferences=0  nbTooLargeKeys=0
1.21	       =>  wckTime=0.199  cpuTime=0.16  mem=15M258
1.28	   
1.28	   search
1.28	     run=6  nbConstraintChecks=993504  nbPropagations=33260  nbRevisions=609071  nbUselessRevisions=531993
1.28	     nbAssignments=662  nbFailedAssignments=303  nbBacktracks=321  nbVisitedNodes=1200  nbRestartNogoods=25  mapSize=311
1.28	     nbInferences=0  nbTooLargeKeys=0
1.28	       =>  wckTime=0.262  cpuTime=0.22  mem=15M258
1.37	   
1.37	   search
1.37	     run=7  nbConstraintChecks=1541402  nbPropagations=50079  nbRevisions=951275  nbUselessRevisions=830974
1.37	     nbAssignments=1024  nbFailedAssignments=490  nbBacktracks=491  nbVisitedNodes=1870  nbRestartNogoods=30
1.37	     mapSize=479  nbInferences=0  nbTooLargeKeys=0
1.37	       =>  wckTime=0.353  cpuTime=0.31  mem=15M258
1.51	   
1.51	   search
1.51	     run=8  nbConstraintChecks=2355826  nbPropagations=75159  nbRevisions=1473416  nbUselessRevisions=1287212
1.51	     nbAssignments=1546  nbFailedAssignments=750  nbBacktracks=748  nbVisitedNodes=2849  nbRestartNogoods=34
1.51	     mapSize=732  nbInferences=0  nbTooLargeKeys=0
1.51	       =>  wckTime=0.498  cpuTime=0.44  mem=15M258
1.66	   
1.66	   INFO : Stopping hyperNogood (mapSize=1028, nbTooLargekeys=0, mem=15M258)
1.69	   
1.69	   search
1.69	     run=9  nbConstraintChecks=3477330  nbPropagations=111990  nbRevisions=2248552  nbUselessRevisions=1965073
1.69	     nbAssignments=2304  nbFailedAssignments=1118  nbBacktracks=1133  nbVisitedNodes=4261  nbRestartNogoods=44
1.69	       =>  wckTime=0.677  cpuTime=0.61  mem=15M258
1.94	   
1.94	   search
1.94	     run=10  nbConstraintChecks=5139038  nbPropagations=166216  nbRevisions=3395379  nbUselessRevisions=2967703
1.94	     nbAssignments=3432  nbFailedAssignments=1662  nbBacktracks=1711  nbVisitedNodes=6354  nbRestartNogoods=52
1.94	       =>  wckTime=0.929  cpuTime=0.86  mem=15M258
2.29	   
2.29	   search
2.29	     run=11  nbConstraintChecks=7573349  nbPropagations=245954  nbRevisions=5085600  nbUselessRevisions=4445060
2.29	     nbAssignments=5102  nbFailedAssignments=2462  nbBacktracks=2577  nbVisitedNodes=9446  nbRestartNogoods=59
2.29	       =>  wckTime=1.276  cpuTime=1.2  mem=15M258
2.79	   
2.79	   search
2.79	     run=12  nbConstraintChecks=11009287  nbPropagations=363065  nbRevisions=7556587  nbUselessRevisions=6605444
2.79	     nbAssignments=7584  nbFailedAssignments=3641  nbBacktracks=3874  nbVisitedNodes=14025  nbRestartNogoods=67
2.79	       =>  wckTime=1.776  cpuTime=1.7  mem=15M258
3.56	   
3.56	   search
3.56	     run=13  nbConstraintChecks=16385920  nbPropagations=537163  nbRevisions=11247621  nbUselessRevisions=9834684
3.56	     nbAssignments=11330  nbFailedAssignments=5433  nbBacktracks=5822  nbVisitedNodes=20967  nbRestartNogoods=78
3.56	       =>  wckTime=2.546  cpuTime=2.47  mem=15M258
4.71	   
4.71	   search
4.71	     run=14  nbConstraintChecks=24475923  nbPropagations=796006  nbRevisions=16760148  nbUselessRevisions=14659146
4.71	     nbAssignments=16892  nbFailedAssignments=8069  nbBacktracks=8743  nbVisitedNodes=31222  nbRestartNogoods=87
4.71	       =>  wckTime=3.696  cpuTime=3.62  mem=15M258
6.51	   
6.51	   search
6.51	     run=15  nbConstraintChecks=37253190  nbPropagations=1186646  nbRevisions=25129470  nbUselessRevisions=21986195
6.51	     nbAssignments=25339  nbFailedAssignments=12131  nbBacktracks=13122  nbVisitedNodes=46921  nbRestartNogoods=96
6.51	       =>  wckTime=5.494  cpuTime=5.41  mem=15M258
9.11	   
9.11	   search
9.11	     run=16  nbConstraintChecks=55410105  nbPropagations=1768838  nbRevisions=37608972  nbUselessRevisions=32914024
9.11	     nbAssignments=37923  nbFailedAssignments=18142  nbBacktracks=19690  nbVisitedNodes=70217  nbRestartNogoods=104
9.11	       =>  wckTime=8.097  cpuTime=7.99  mem=15M258
13.08	   
13.08	   search
13.08	     run=17  nbConstraintChecks=83417687  nbPropagations=2644187  nbRevisions=56396148  nbUselessRevisions=49363790
13.08	     nbAssignments=56999  nbFailedAssignments=27360  nbBacktracks=29542  nbVisitedNodes=105645  nbRestartNogoods=114
13.08	       =>  wckTime=12.068  cpuTime=11.96  mem=15M258
18.96	   
18.96	   search
18.96	     run=18  nbConstraintChecks=124571013  nbPropagations=3953097  nbRevisions=84452215  nbUselessRevisions=73927662
18.96	     nbAssignments=85267  nbFailedAssignments=40846  nbBacktracks=44320  nbVisitedNodes=158095  nbRestartNogoods=131
18.96	       =>  wckTime=17.945  cpuTime=17.8  mem=15M258
27.94	   
27.94	   search
27.94	     run=19  nbConstraintChecks=187270532  nbPropagations=5917463  nbRevisions=126687610  nbUselessRevisions=110919830
27.94	     nbAssignments=127828  nbFailedAssignments=61233  nbBacktracks=66488  nbVisitedNodes=237075  nbRestartNogoods=144
27.94	       =>  wckTime=26.922  cpuTime=26.73  mem=15M258
41.74	   
41.74	   search
41.74	     run=20  nbConstraintChecks=284919227  nbPropagations=8885054  nbRevisions=190792832  nbUselessRevisions=167079484
41.74	     nbAssignments=192334  nbFailedAssignments=92467  nbBacktracks=99742  nbVisitedNodes=356928  nbRestartNogoods=163
41.74	       =>  wckTime=40.721  cpuTime=40.44  mem=15M258
62.34	   
62.34	   search
62.34	     run=21  nbConstraintChecks=430334413  nbPropagations=13354392  nbRevisions=287562575  nbUselessRevisions=251859174
62.34	     nbAssignments=289209  nbFailedAssignments=139457  nbBacktracks=149620  nbVisitedNodes=536949  nbRestartNogoods=180
62.34	       =>  wckTime=61.322  cpuTime=60.93  mem=15M258
93.61	   
93.61	   search
93.61	     run=22  nbConstraintChecks=652935435  nbPropagations=20094213  nbRevisions=433997886  nbUselessRevisions=380169640
93.61	     nbAssignments=434506  nbFailedAssignments=209930  nbBacktracks=224439  nbVisitedNodes=807275  nbRestartNogoods=190
93.61	       =>  wckTime=92.597  cpuTime=92.04  mem=15M258
139.23	   
139.23	   search
139.23	     run=23  nbConstraintChecks=973748263  nbPropagations=30174824  nbRevisions=652514065  nbUselessRevisions=571612627
139.23	     nbAssignments=651040  nbFailedAssignments=314230  nbBacktracks=336667  nbVisitedNodes=1209394  nbRestartNogoods=217
139.23	       =>  wckTime=138.215  cpuTime=137.41  mem=15M258
208.98	   
208.98	   search
208.98	     run=24  nbConstraintChecks=1466745850  nbPropagations=45326828  nbRevisions=981492495  nbUselessRevisions=859881868
208.98	     nbAssignments=977121  nbFailedAssignments=471962  nbBacktracks=505008  nbVisitedNodes=1815738  nbRestartNogoods=237
208.98	       =>  wckTime=207.964  cpuTime=206.79  mem=15M258
314.87	   
314.87	   search
314.87	     run=25  nbConstraintChecks=2225983987  nbPropagations=68176120  nbRevisions=1479473011
314.87	     nbUselessRevisions=1296302150  nbAssignments=1467744  nbFailedAssignments=710055  nbBacktracks=757521
314.87	     nbVisitedNodes=2728801  nbRestartNogoods=257
314.87	       =>  wckTime=313.858  cpuTime=312.12  mem=15M258
469.75	   
469.75	   search
469.75	     run=26  nbConstraintChecks=3323547222  nbPropagations=102175252  nbRevisions=2222242002
469.75	     nbUselessRevisions=1947362396  nbAssignments=2180140  nbFailedAssignments=1055051  nbBacktracks=1124895
469.75	     nbVisitedNodes=4053533  nbRestartNogoods=269
469.75	       =>  wckTime=468.739  cpuTime=466.07  mem=15M258
469.76	   
469.76	   global
469.76	     nbConstraintChecks=3323605609  nbPropagations=102175955  nbRevisions=2222249231  nbUselessRevisions=1947368673
469.76	     nbRestartNogoods=269  solvingWckTime=468.741  solvingCpuTime=466.07  expiredTime=no  totalExploration=no
469.76	     nbFoundSolutions=1  globalCpuTime=466.49
469.76	       =>  wckTime=469.414  cpuTime=466.45  mem=15M258
469.76	   
469.76	s SATISFIABLE
469.76	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 
469.76	d NODES 2180140
469.76	d CHECKS 3323605609
469.76	   
469.76	   totalWckTime=469.493  totalCpuTime=466.5

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

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

/proc/loadavg: 2.01 2.04 2.00 4/89 19647
/proc/meminfo: memFree=1620288/2055920 swapFree=4174172/4192956
[pid=19646] ppid=19644 vsize=172 CPUtime=0
/proc/19646/stat : 19646 (java) R 19644 19646 19387 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 166929856 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7512868 0 0 4096 0 0 0 0 17 0 0 0
/proc/19646/statm: 43 24 18 14 0 3 0

[startup+0.108079 s]
/proc/loadavg: 2.01 2.04 2.00 4/89 19647
/proc/meminfo: memFree=1620288/2055920 swapFree=4174172/4192956
[pid=19646] ppid=19644 vsize=907808 CPUtime=0.04
/proc/19646/stat : 19646 (java) D 19644 19646 19387 0 -1 0 2457 0 1 0 3 1 0 0 21 0 4 0 166929856 929595392 2204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 0 0 0
/proc/19646/statm: 226952 2204 1214 14 0 214535 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 907808

[startup+0.516149 s]
/proc/loadavg: 2.01 2.04 2.00 4/89 19647
/proc/meminfo: memFree=1620288/2055920 swapFree=4174172/4192956
[pid=19646] ppid=19644 vsize=915328 CPUtime=0.31
/proc/19646/stat : 19646 (java) D 19644 19646 19387 0 -1 0 5427 0 1 0 27 4 0 0 18 0 8 0 166929856 937295872 5166 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19646/statm: 228832 5166 2042 14 0 215302 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 915328

[startup+1.33729 s]
/proc/loadavg: 2.01 2.04 2.00 3/96 19654
/proc/meminfo: memFree=1595464/2055920 swapFree=4174172/4192956
[pid=19646] ppid=19644 vsize=915456 CPUtime=1.12
/proc/19646/stat : 19646 (java) R 19644 19646 19387 0 -1 0 8983 0 1 0 104 8 0 0 23 0 8 0 166929856 937426944 8721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073822368 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19646/statm: 228864 8721 2524 14 0 215334 0
[pid=19646/tid=19648] ppid=19644 vsize=915456 CPUtime=0.03
/proc/19646/task/19648/stat : 19648 (java) S 19644 19646 19387 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 166929859 937426944 8721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19649] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19649/stat : 19649 (java) S 19644 19646 19387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166929860 937426944 8721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19650] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19650/stat : 19650 (java) S 19644 19646 19387 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166929860 937426944 8721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19651] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19651/stat : 19651 (java) S 19644 19646 19387 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166929867 937426944 8721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19652] ppid=19644 vsize=915456 CPUtime=0.19
/proc/19646/task/19652/stat : 19652 (java) S 19644 19646 19387 0 -1 64 375 0 0 0 18 1 0 0 15 0 8 0 166929867 937426944 8721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19653] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19653/stat : 19653 (java) S 19644 19646 19387 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 166929867 937426944 8721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19654] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19654/stat : 19654 (java) S 19644 19646 19387 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166929867 937426944 8721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 915456

[startup+2.97857 s]
/proc/loadavg: 2.01 2.04 2.00 4/96 19654
/proc/meminfo: memFree=1595208/2055920 swapFree=4174172/4192956
[pid=19646] ppid=19644 vsize=915456 CPUtime=2.75
/proc/19646/stat : 19646 (java) R 19644 19646 19387 0 -1 0 9001 0 1 0 267 8 0 0 25 0 8 0 166929856 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073871011 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19646/statm: 228864 8738 2524 14 0 215334 0
[pid=19646/tid=19648] ppid=19644 vsize=915456 CPUtime=0.03
/proc/19646/task/19648/stat : 19648 (java) S 19644 19646 19387 0 -1 64 343 0 0 0 3 0 0 0 17 0 8 0 166929859 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19649] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19649/stat : 19649 (java) S 19644 19646 19387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166929860 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19650] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19650/stat : 19650 (java) S 19644 19646 19387 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166929860 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19651] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19651/stat : 19651 (java) S 19644 19646 19387 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166929867 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19652] ppid=19644 vsize=915456 CPUtime=0.21
/proc/19646/task/19652/stat : 19652 (java) S 19644 19646 19387 0 -1 64 393 0 0 0 20 1 0 0 15 0 8 0 166929867 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19653] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19653/stat : 19653 (java) S 19644 19646 19387 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 166929867 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19654] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19654/stat : 19654 (java) S 19644 19646 19387 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166929867 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 915456

[startup+6.27414 s]
/proc/loadavg: 2.01 2.04 2.00 3/96 19654
/proc/meminfo: memFree=1595208/2055920 swapFree=4174172/4192956
[pid=19646] ppid=19644 vsize=915456 CPUtime=6.05
/proc/19646/stat : 19646 (java) R 19644 19646 19387 0 -1 0 9002 0 1 0 597 8 0 0 25 0 8 0 166929856 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073795923 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19646/statm: 228864 8738 2524 14 0 215334 0
[pid=19646/tid=19648] ppid=19644 vsize=915456 CPUtime=0.03
/proc/19646/task/19648/stat : 19648 (java) S 19644 19646 19387 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 166929859 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19649] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19649/stat : 19649 (java) S 19644 19646 19387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166929860 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19650] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19650/stat : 19650 (java) S 19644 19646 19387 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166929860 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19651] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19651/stat : 19651 (java) S 19644 19646 19387 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166929867 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19652] ppid=19644 vsize=915456 CPUtime=0.21
/proc/19646/task/19652/stat : 19652 (java) S 19644 19646 19387 0 -1 64 393 0 0 0 20 1 0 0 15 0 8 0 166929867 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19653] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19653/stat : 19653 (java) S 19644 19646 19387 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 166929867 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19654] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19654/stat : 19654 (java) S 19644 19646 19387 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166929867 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 915456

[startup+12.7511 s]
/proc/loadavg: 2.01 2.04 2.00 3/96 19654
/proc/meminfo: memFree=1595208/2055920 swapFree=4174172/4192956
[pid=19646] ppid=19644 vsize=915456 CPUtime=12.49
/proc/19646/stat : 19646 (java) R 19644 19646 19387 0 -1 0 9002 0 1 0 1240 9 0 0 25 0 8 0 166929856 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073811823 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19646/statm: 228864 8738 2524 14 0 215334 0
[pid=19646/tid=19648] ppid=19644 vsize=915456 CPUtime=0.03
/proc/19646/task/19648/stat : 19648 (java) S 19644 19646 19387 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 166929859 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19649] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19649/stat : 19649 (java) S 19644 19646 19387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166929860 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19650] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19650/stat : 19650 (java) S 19644 19646 19387 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166929860 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19651] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19651/stat : 19651 (java) S 19644 19646 19387 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166929867 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19652] ppid=19644 vsize=915456 CPUtime=0.21
/proc/19646/task/19652/stat : 19652 (java) S 19644 19646 19387 0 -1 64 393 0 0 0 20 1 0 0 15 0 8 0 166929867 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19653] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19653/stat : 19653 (java) S 19644 19646 19387 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 166929867 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19654] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19654/stat : 19654 (java) S 19644 19646 19387 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166929867 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 915456

[startup+25.6063 s]
/proc/loadavg: 2.01 2.03 2.00 3/96 19654
/proc/meminfo: memFree=1595336/2055920 swapFree=4174172/4192956
[pid=19646] ppid=19644 vsize=915456 CPUtime=25.28
/proc/19646/stat : 19646 (java) R 19644 19646 19387 0 -1 0 9003 0 1 0 2519 9 0 0 25 0 8 0 166929856 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073807027 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19646/statm: 228864 8738 2524 14 0 215334 0
[pid=19646/tid=19648] ppid=19644 vsize=915456 CPUtime=0.03
/proc/19646/task/19648/stat : 19648 (java) S 19644 19646 19387 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 166929859 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19649] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19649/stat : 19649 (java) S 19644 19646 19387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166929860 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19650] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19650/stat : 19650 (java) S 19644 19646 19387 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166929860 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19651] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19651/stat : 19651 (java) S 19644 19646 19387 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166929867 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19652] ppid=19644 vsize=915456 CPUtime=0.22
/proc/19646/task/19652/stat : 19652 (java) S 19644 19646 19387 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 166929867 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19653] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19653/stat : 19653 (java) S 19644 19646 19387 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 166929867 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19654] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19654/stat : 19654 (java) S 19644 19646 19387 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166929867 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 915456

[startup+51.2107 s]
/proc/loadavg: 2.00 2.03 2.00 3/96 19654
/proc/meminfo: memFree=1595336/2055920 swapFree=4174172/4192956
[pid=19646] ppid=19644 vsize=915456 CPUtime=50.74
/proc/19646/stat : 19646 (java) R 19644 19646 19387 0 -1 0 9004 0 1 0 5065 9 0 0 25 0 8 0 166929856 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810501 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19646/statm: 228864 8739 2524 14 0 215334 0
[pid=19646/tid=19648] ppid=19644 vsize=915456 CPUtime=0.03
/proc/19646/task/19648/stat : 19648 (java) S 19644 19646 19387 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 166929859 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19649] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19649/stat : 19649 (java) S 19644 19646 19387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166929860 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19650] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19650/stat : 19650 (java) S 19644 19646 19387 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166929860 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19651] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19651/stat : 19651 (java) S 19644 19646 19387 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166929867 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19652] ppid=19644 vsize=915456 CPUtime=0.22
/proc/19646/task/19652/stat : 19652 (java) S 19644 19646 19387 0 -1 64 394 0 0 0 21 1 0 0 16 0 8 0 166929867 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19653] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19653/stat : 19653 (java) S 19644 19646 19387 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 166929867 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19654] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19654/stat : 19654 (java) S 19644 19646 19387 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166929867 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 915456

[startup+102.511 s]
/proc/loadavg: 2.00 2.02 2.00 3/96 19654
/proc/meminfo: memFree=1595400/2055920 swapFree=4174172/4192956
[pid=19646] ppid=19644 vsize=915456 CPUtime=101.76
/proc/19646/stat : 19646 (java) R 19644 19646 19387 0 -1 0 9004 0 1 0 10167 9 0 0 25 0 8 0 166929856 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073808675 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19646/statm: 228864 8739 2524 14 0 215334 0
[pid=19646/tid=19648] ppid=19644 vsize=915456 CPUtime=0.03
/proc/19646/task/19648/stat : 19648 (java) S 19644 19646 19387 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 166929859 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19649] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19649/stat : 19649 (java) S 19644 19646 19387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166929860 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19650] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19650/stat : 19650 (java) S 19644 19646 19387 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166929860 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19651] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19651/stat : 19651 (java) S 19644 19646 19387 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166929867 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19652] ppid=19644 vsize=915456 CPUtime=0.22
/proc/19646/task/19652/stat : 19652 (java) S 19644 19646 19387 0 -1 64 394 0 0 0 21 1 0 0 16 0 8 0 166929867 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19653] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19653/stat : 19653 (java) S 19644 19646 19387 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 166929867 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19654] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19654/stat : 19654 (java) S 19644 19646 19387 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166929867 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.76
Current children cumulated vsize (KiB) 915456

[startup+162.549 s]
/proc/loadavg: 2.00 2.02 2.00 3/96 19654
/proc/meminfo: memFree=1595336/2055920 swapFree=4174172/4192956
[pid=19646] ppid=19644 vsize=915456 CPUtime=161.48
/proc/19646/stat : 19646 (java) R 19644 19646 19387 0 -1 0 9004 0 1 0 16139 9 0 0 25 0 8 0 166929856 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794841 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19646/statm: 228864 8739 2524 14 0 215334 0
[pid=19646/tid=19648] ppid=19644 vsize=915456 CPUtime=0.03
/proc/19646/task/19648/stat : 19648 (java) S 19644 19646 19387 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 166929859 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19649] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19649/stat : 19649 (java) S 19644 19646 19387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166929860 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19650] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19650/stat : 19650 (java) S 19644 19646 19387 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166929860 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19651] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19651/stat : 19651 (java) S 19644 19646 19387 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166929867 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19652] ppid=19644 vsize=915456 CPUtime=0.22
/proc/19646/task/19652/stat : 19652 (java) S 19644 19646 19387 0 -1 64 394 0 0 0 21 1 0 0 16 0 8 0 166929867 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19653] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19653/stat : 19653 (java) S 19644 19646 19387 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 166929867 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19654] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19654/stat : 19654 (java) S 19644 19646 19387 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166929867 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.48
Current children cumulated vsize (KiB) 915456

[startup+222.576 s]
/proc/loadavg: 1.94 2.00 1.99 3/100 19714
/proc/meminfo: memFree=1595432/2055920 swapFree=4174172/4192956
[pid=19646] ppid=19644 vsize=915456 CPUtime=221.18
/proc/19646/stat : 19646 (java) R 19644 19646 19387 0 -1 0 9004 0 1 0 22108 10 0 0 25 0 8 0 166929856 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794904 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19646/statm: 228864 8739 2524 14 0 215334 0
[pid=19646/tid=19648] ppid=19644 vsize=915456 CPUtime=0.03
/proc/19646/task/19648/stat : 19648 (java) S 19644 19646 19387 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 166929859 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19649] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19649/stat : 19649 (java) S 19644 19646 19387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166929860 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19650] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19650/stat : 19650 (java) S 19644 19646 19387 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166929860 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19651] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19651/stat : 19651 (java) S 19644 19646 19387 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166929867 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19652] ppid=19644 vsize=915456 CPUtime=0.22
/proc/19646/task/19652/stat : 19652 (java) S 19644 19646 19387 0 -1 64 394 0 0 0 21 1 0 0 16 0 8 0 166929867 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19653] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19653/stat : 19653 (java) S 19644 19646 19387 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 166929867 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19654] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19654/stat : 19654 (java) S 19644 19646 19387 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166929867 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 221.18
Current children cumulated vsize (KiB) 915456

[startup+282.605 s]
/proc/loadavg: 1.98 2.00 1.99 3/100 19714
/proc/meminfo: memFree=1595560/2055920 swapFree=4174172/4192956
[pid=19646] ppid=19644 vsize=915456 CPUtime=280.92
/proc/19646/stat : 19646 (java) R 19644 19646 19387 0 -1 0 9004 0 1 0 28081 11 0 0 25 0 8 0 166929856 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073861937 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19646/statm: 228864 8739 2524 14 0 215334 0
[pid=19646/tid=19648] ppid=19644 vsize=915456 CPUtime=0.03
/proc/19646/task/19648/stat : 19648 (java) S 19644 19646 19387 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 166929859 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19649] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19649/stat : 19649 (java) S 19644 19646 19387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166929860 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19650] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19650/stat : 19650 (java) S 19644 19646 19387 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166929860 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19651] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19651/stat : 19651 (java) S 19644 19646 19387 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166929867 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19652] ppid=19644 vsize=915456 CPUtime=0.22
/proc/19646/task/19652/stat : 19652 (java) S 19644 19646 19387 0 -1 64 394 0 0 0 21 1 0 0 16 0 8 0 166929867 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19653] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19653/stat : 19653 (java) S 19644 19646 19387 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 166929867 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19654] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19654/stat : 19654 (java) S 19644 19646 19387 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166929867 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 280.92
Current children cumulated vsize (KiB) 915456

[startup+342.652 s]
/proc/loadavg: 2.02 2.01 2.00 3/106 19832
/proc/meminfo: memFree=1594160/2055920 swapFree=4174172/4192956
[pid=19646] ppid=19644 vsize=915456 CPUtime=340.61
/proc/19646/stat : 19646 (java) R 19644 19646 19387 0 -1 0 9004 0 1 0 34044 17 0 0 25 0 8 0 166929856 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073800377 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19646/statm: 228864 8739 2524 14 0 215334 0
[pid=19646/tid=19648] ppid=19644 vsize=915456 CPUtime=0.03
/proc/19646/task/19648/stat : 19648 (java) S 19644 19646 19387 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 166929859 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19649] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19649/stat : 19649 (java) S 19644 19646 19387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166929860 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19650] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19650/stat : 19650 (java) S 19644 19646 19387 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166929860 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19651] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19651/stat : 19651 (java) S 19644 19646 19387 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166929867 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19652] ppid=19644 vsize=915456 CPUtime=0.22
/proc/19646/task/19652/stat : 19652 (java) S 19644 19646 19387 0 -1 64 394 0 0 0 21 1 0 0 16 0 8 0 166929867 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19653] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19653/stat : 19653 (java) S 19644 19646 19387 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 166929867 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19654] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19654/stat : 19654 (java) R 19644 19646 19387 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166929867 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 340.61
Current children cumulated vsize (KiB) 915456

[startup+402.724 s]
/proc/loadavg: 1.97 1.99 1.99 3/101 19989
/proc/meminfo: memFree=1607856/2055920 swapFree=4174172/4192956
[pid=19646] ppid=19644 vsize=915456 CPUtime=400.29
/proc/19646/stat : 19646 (java) R 19644 19646 19387 0 -1 0 9004 0 1 0 40007 22 0 0 25 0 8 0 166929856 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073815707 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19646/statm: 228864 8739 2524 14 0 215334 0
[pid=19646/tid=19648] ppid=19644 vsize=915456 CPUtime=0.03
/proc/19646/task/19648/stat : 19648 (java) S 19644 19646 19387 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 166929859 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19649] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19649/stat : 19649 (java) S 19644 19646 19387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166929860 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19650] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19650/stat : 19650 (java) S 19644 19646 19387 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166929860 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19651] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19651/stat : 19651 (java) S 19644 19646 19387 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166929867 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19652] ppid=19644 vsize=915456 CPUtime=0.22
/proc/19646/task/19652/stat : 19652 (java) S 19644 19646 19387 0 -1 64 394 0 0 0 21 1 0 0 16 0 8 0 166929867 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19653] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19653/stat : 19653 (java) S 19644 19646 19387 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 166929867 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19654] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19654/stat : 19654 (java) S 19644 19646 19387 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166929867 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 400.29
Current children cumulated vsize (KiB) 915456

[startup+462.78 s]
/proc/loadavg: 1.99 1.99 1.99 3/95 20009
/proc/meminfo: memFree=1607344/2055920 swapFree=4174172/4192956
[pid=19646] ppid=19644 vsize=915456 CPUtime=460.01
/proc/19646/stat : 19646 (java) R 19644 19646 19387 0 -1 0 9004 0 1 0 45978 23 0 0 25 0 8 0 166929856 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796802 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19646/statm: 228864 8739 2524 14 0 215334 0
[pid=19646/tid=19648] ppid=19644 vsize=915456 CPUtime=0.03
/proc/19646/task/19648/stat : 19648 (java) S 19644 19646 19387 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 166929859 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19649] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19649/stat : 19649 (java) S 19644 19646 19387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166929860 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19650] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19650/stat : 19650 (java) S 19644 19646 19387 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166929860 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19651] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19651/stat : 19651 (java) S 19644 19646 19387 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166929867 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19652] ppid=19644 vsize=915456 CPUtime=0.22
/proc/19646/task/19652/stat : 19652 (java) S 19644 19646 19387 0 -1 64 394 0 0 0 21 1 0 0 16 0 8 0 166929867 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19653] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19653/stat : 19653 (java) S 19644 19646 19387 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 166929867 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19646/tid=19654] ppid=19644 vsize=915456 CPUtime=0
/proc/19646/task/19654/stat : 19654 (java) S 19644 19646 19387 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166929867 937426944 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 460.01
Current children cumulated vsize (KiB) 915456

Child status: 0
Real time (s): 469.78
CPU time (s): 466.973
CPU user time (s): 466.728
CPU system time (s): 0.244962
CPU usage (%): 99.4024
Max. virtual memory (cumulated for all children) (KiB): 915456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 466.728
system time used= 0.244962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9012
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= 10676
involuntary context switches= 22262

runsolver used 0.595909 s user time and 1.41678 s system time

The end

Launcher Data (download as text)

Begin job on node15 on Sun Jan  7 15:55:50 UTC 2007


IDJOB= 208112
IDBENCH= 4353
FILE ID= node15/208112-1168185350

PBS_JOBID= 3478943

Free space on /tmp= 66327 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 esac.xml 1 XSax /tmp/evaluation/208112-1168185350/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node15/watcher-208112-1168185350 -o ROOT/results/node15/solver-208112-1168185350 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208112-1168185350/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  9d60e36c663e411033c48ba1ee4a68e9

RANDOM SEED= 344909249

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.276
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.276
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:       1620768 kB
Buffers:         65848 kB
Cached:         249256 kB
SwapCached:       6400 kB
Active:         163096 kB
Inactive:       215184 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1620768 kB
SwapTotal:     4192956 kB
SwapFree:      4174172 kB
Dirty:            1976 kB
Writeback:           0 kB
Mapped:          73744 kB
Slab:            41388 kB
Committed_AS:  4745120 kB
PageTables:       2428 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= 66325 MiB



End job on node15 on Sun Jan  7 16:03:40 UTC 2007