Trace number 201700

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 AC? (TO) 1800.18 1801.09

General information on the benchmark

Namefapp/fapp11-15/fapp13/
fapp13-2000-4.xml
MD5SUM3f4c3da4d1086c239753fd2edce97a45
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints25652
Maximum constraint arity2
Maximum domain size190
Number of constraints which are defined in extension0
Number of constraints which are defined in intension25652
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=mac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/201700-1168072450/unknown.xml
0.37	   
0.37	   domains being loaded...
0.41	   
0.41	   variables being loaded...
0.64	     nbVariables=2000  nbDomainTypes=49  minDomainSize=42  maxDomainSize=190
0.64	       =>  wckTime=0.326  cpuTime=0.23  mem=20M547
0.64	   
0.64	   predicates being loaded...
0.64	   
0.64	   constraints being loaded...
4.60	   
4.60	   INFO : Stopping converting binary constraints (cpu=4.01, mem = 44M703)
7.97	     nbConstraints=13669  nbMergedConstraints=11983  nbConvertedConstraints=204  nbConvertConstraintsChecks=4595282
7.97	     nbExtensionStructures=190  nbSharedExtensionStructures=14  nbConflictsStructures=190
7.97	     nbSharedConflictsStructures=14  nbSharedBinaryRepresentations=34669  nbEvaluationManagers=9805
7.97	     nbSharedEvaluationManagers=3660  maxDegree=17  maxArity=2
7.97	       =>  wckTime=7.659  cpuTime=6.92  mem=62M383
8.18	   
8.18	   solver IterativeSystematicSolver being built... 
8.63	       =>  wckTime=8.312  cpuTime=7.27  mem=94M546
24.97	   
24.97	   preprocessing
24.97	     nbConstraintChecks=28235062  nbValidityChecks=1529163  nbPropagations=2750  nbRevisions=43569
24.97	     nbUselessRevisions=38564  nbRemovedValues=155962  detectedInconsistency=no
24.97	       =>  wckTime=16.324  cpuTime=16.21  mem=94M546
26.80	   
26.80	   search
26.80	     run=0  nbConstraintChecks=2210775  nbValidityChecks=2338866  nbPropagations=5544  nbRevisions=80222
26.80	     nbUselessRevisions=67157  nbAssignments=66  nbFailedAssignments=43  nbBacktracks=10  nbVisitedNodes=117
26.80	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
26.80	       =>  wckTime=18.157  cpuTime=18.03  mem=96M605
27.63	   
27.63	   search
27.63	     run=1  nbConstraintChecks=3104407  nbValidityChecks=4605108  nbPropagations=13662  nbRevisions=194715
27.63	     nbUselessRevisions=162392  nbAssignments=114  nbFailedAssignments=63  nbBacktracks=25  nbVisitedNodes=195
27.63	     nbRestartNogoods=6  mapSize=24  nbInferences=0  nbTooLargeKeys=0
27.63	       =>  wckTime=18.987  cpuTime=18.84  mem=97M618
29.71	   
29.71	   search
29.71	     run=2  nbConstraintChecks=5902265  nbValidityChecks=8740928  nbPropagations=26322  nbRevisions=368818
29.71	     nbUselessRevisions=309181  nbAssignments=181  nbFailedAssignments=86  nbBacktracks=51  nbVisitedNodes=301
29.71	     nbRestartNogoods=12  mapSize=46  nbInferences=0  nbTooLargeKeys=0
29.71	       =>  wckTime=21.066  cpuTime=20.91  mem=98M932
35.30	   
35.30	   search
35.30	     run=3  nbConstraintChecks=13251974  nbValidityChecks=17998176  nbPropagations=51370  nbRevisions=700114
35.30	     nbUselessRevisions=598083  nbAssignments=359  nbFailedAssignments=100  nbBacktracks=86  nbVisitedNodes=507
35.30	     nbRestartNogoods=18  mapSize=64  nbInferences=0  nbTooLargeKeys=0
35.30	       =>  wckTime=26.658  cpuTime=26.41  mem=74M477
43.17	   
43.17	   search
43.17	     run=4  nbConstraintChecks=21883283  nbValidityChecks=37905180  nbPropagations=106490  nbRevisions=1447085
43.17	     nbUselessRevisions=1236880  nbAssignments=630  nbFailedAssignments=175  nbBacktracks=137  nbVisitedNodes=882
43.17	     nbRestartNogoods=28  mapSize=103  nbInferences=0  nbTooLargeKeys=0
43.17	       =>  wckTime=34.532  cpuTime=34.24  mem=83M133
50.51	   
50.51	   search
50.51	     run=5  nbConstraintChecks=31120068  nbValidityChecks=51194174  nbPropagations=180253  nbRevisions=2441694
50.51	     nbUselessRevisions=2092010  nbAssignments=963  nbFailedAssignments=250  nbBacktracks=214  nbVisitedNodes=1321
50.51	     nbRestartNogoods=45  mapSize=146  nbInferences=0  nbTooLargeKeys=0
50.51	       =>  wckTime=41.876  cpuTime=41.55  mem=94M214
60.06	   
60.06	   search
60.06	     run=6  nbConstraintChecks=41393508  nbValidityChecks=75949008  nbPropagations=301693  nbRevisions=4107583
60.06	     nbUselessRevisions=3506098  nbAssignments=1362  nbFailedAssignments=347  nbBacktracks=330  nbVisitedNodes=1873
60.06	     nbRestartNogoods=55  mapSize=245  nbInferences=0  nbTooLargeKeys=0
60.06	       =>  wckTime=51.423  cpuTime=51.08  mem=106M683
71.96	   
71.96	   search
71.96	     run=7  nbConstraintChecks=53738431  nbValidityChecks=107728649  nbPropagations=486834  nbRevisions=6670913
71.96	     nbUselessRevisions=5664622  nbAssignments=1865  nbFailedAssignments=493  nbBacktracks=500  nbVisitedNodes=2599
71.96	     nbRestartNogoods=63  mapSize=389  nbInferences=0  nbTooLargeKeys=0
71.96	       =>  wckTime=63.322  cpuTime=62.92  mem=90M545
85.96	   
85.96	   search
85.96	     run=8  nbConstraintChecks=68460133  nbValidityChecks=138877149  nbPropagations=742651  nbRevisions=10220665
85.96	     nbUselessRevisions=8630785  nbAssignments=2643  nbFailedAssignments=832  nbBacktracks=760  nbVisitedNodes=3828
85.96	     nbRestartNogoods=67  mapSize=596  nbInferences=0  nbTooLargeKeys=0
85.97	       =>  wckTime=77.326  cpuTime=76.9  mem=107M941
102.95	   
102.95	   search
102.95	     run=9  nbConstraintChecks=84850390  nbValidityChecks=179262487  nbPropagations=1096250  nbRevisions=15114037
102.95	     nbUselessRevisions=12730383  nbAssignments=3537  nbFailedAssignments=1115  nbBacktracks=1151  nbVisitedNodes=5123
102.95	     nbRestartNogoods=88  mapSize=816  nbInferences=0  nbTooLargeKeys=0
102.95	       =>  wckTime=94.311  cpuTime=93.84  mem=133M49
155.55	   
155.55	   INFO : Stopping hyperNogood (mapSize=1020, nbTooLargekeys=0, mem=124M23)
172.08	   
172.08	   search
172.08	     run=10  nbConstraintChecks=161878346  nbValidityChecks=335770307  nbPropagations=1699423  nbRevisions=23707679
172.08	     nbUselessRevisions=19557730  nbAssignments=6066  nbFailedAssignments=2974  nbBacktracks=1727  nbVisitedNodes=9744
172.08	     nbRestartNogoods=103
172.08	       =>  wckTime=163.437  cpuTime=162.82  mem=124M23
257.73	   
257.73	   search
257.73	     run=11  nbConstraintChecks=271240743  nbValidityChecks=565411904  nbPropagations=2616474  nbRevisions=36753337
257.73	     nbUselessRevisions=30166778  nbAssignments=9798  nbFailedAssignments=5812  nbBacktracks=2591  nbVisitedNodes=16778
257.73	     nbRestartNogoods=125
257.73	       =>  wckTime=249.094  cpuTime=248.45  mem=124M23
324.56	   
324.56	   search
324.56	     run=12  nbConstraintChecks=341547597  nbValidityChecks=718046627  nbPropagations=3901575  nbRevisions=54928479
324.56	     nbUselessRevisions=44970794  nbAssignments=13502  nbFailedAssignments=8031  nbBacktracks=3891  nbVisitedNodes=23174
324.56	     nbRestartNogoods=141
324.56	       =>  wckTime=315.917  cpuTime=315.25  mem=124M23
470.27	   
470.27	   search
470.27	     run=13  nbConstraintChecks=500152400  nbValidityChecks=1083632930  nbPropagations=5908373  nbRevisions=83496604
470.27	     nbUselessRevisions=68296414  nbAssignments=18205  nbFailedAssignments=10682  nbBacktracks=5838
470.27	     nbVisitedNodes=31479  nbRestartNogoods=188
470.27	       =>  wckTime=461.628  cpuTime=460.92  mem=124M23
776.79	   
776.79	   search
776.79	     run=14  nbConstraintChecks=787811697  nbValidityChecks=1820760918  nbPropagations=9660916  nbRevisions=137905176
776.79	     nbUselessRevisions=112157948  nbAssignments=29651  nbFailedAssignments=19111  nbBacktracks=8758
776.79	     nbVisitedNodes=52816  nbRestartNogoods=222
776.79	       =>  wckTime=768.15  cpuTime=767.35  mem=124M23
1160.31	   
1160.31	   search
1160.31	     run=15  nbConstraintChecks=1180474434  nbValidityChecks=2799603945  nbPropagations=15644425  nbRevisions=224341921
1160.31	     nbUselessRevisions=182526935  nbAssignments=45187  nbFailedAssignments=30174  nbBacktracks=13136
1160.31	     nbVisitedNodes=82118  nbRestartNogoods=256
1160.31	       =>  wckTime=1151.674  cpuTime=1150.77  mem=124M23
1767.40	   
1767.40	   search
1767.40	     run=16  nbConstraintChecks=1815596498  nbValidityChecks=4322444968  nbPropagations=24634287  nbRevisions=355435523
1767.40	     nbUselessRevisions=289590525  nbAssignments=63982  nbFailedAssignments=42339  nbBacktracks=19707
1767.40	     nbVisitedNodes=116737  nbRestartNogoods=280
1767.40	       =>  wckTime=1758.764  cpuTime=1757.68  mem=124M708

Verifier Data (download as text)

ERROR: Unexpected answer ! (SAT/UNSAT expected)
Got answer:

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node34/watcher-201700-1168072450 -o ROOT/results/node34/solver-201700-1168072450 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/201700-1168072450/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: 0.96 1.00 1.00 5/80 9044
/proc/meminfo: memFree=1500696/2055920 swapFree=4192812/4192956
[pid=9043] ppid=9037 vsize=1784 CPUtime=0
/proc/9043/stat : 9043 (java) R 9037 9043 8927 0 -1 0 169 0 0 0 0 0 0 0 19 0 1 0 155638790 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/9043/statm: 446 140 106 14 0 91 0

[startup+0.106003 s]
/proc/loadavg: 0.96 1.00 1.00 5/80 9044
/proc/meminfo: memFree=1500696/2055920 swapFree=4192812/4192956
[pid=9043] ppid=9037 vsize=914988 CPUtime=0.09
/proc/9043/stat : 9043 (java) R 9037 9043 8927 0 -1 0 3002 0 1 0 7 2 0 0 17 0 8 0 155638790 936947712 2748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072944238 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9043/statm: 228747 2748 1428 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.514031 s]
/proc/loadavg: 0.96 1.00 1.00 5/80 9044
/proc/meminfo: memFree=1500696/2055920 swapFree=4192812/4192956
[pid=9043] ppid=9037 vsize=915328 CPUtime=0.49
/proc/9043/stat : 9043 (java) R 9037 9043 8927 0 -1 0 7026 0 1 0 44 5 0 0 20 0 8 0 155638790 937295872 6765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073416307 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9043/statm: 228832 6765 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.3351 s]
/proc/loadavg: 1.04 1.01 1.00 4/87 9051
/proc/meminfo: memFree=1360928/2055920 swapFree=4192812/4192956
[pid=9043] ppid=9037 vsize=916672 CPUtime=1.31
/proc/9043/stat : 9043 (java) R 9037 9043 8927 0 -1 0 21468 0 1 0 118 13 0 0 25 0 8 0 155638790 938672128 21205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073537874 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9043/statm: 229168 21205 2160 14 0 215638 0
[pid=9043/tid=9045] ppid=9037 vsize=916672 CPUtime=0.09
/proc/9043/task/9045/stat : 9045 (java) S 9037 9043 8927 0 -1 64 4923 0 0 0 7 2 0 0 16 0 8 0 155638793 938672128 21205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9046] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9046/stat : 9046 (java) S 9037 9043 8927 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155638794 938672128 21205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9047] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9047/stat : 9047 (java) S 9037 9043 8927 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155638794 938672128 21205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9048] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9048/stat : 9048 (java) S 9037 9043 8927 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155638797 938672128 21205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9049] ppid=9037 vsize=916672 CPUtime=0.16
/proc/9043/task/9049/stat : 9049 (java) S 9037 9043 8927 0 -1 64 409 0 0 0 15 1 0 0 15 0 8 0 155638797 938672128 21205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9050] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9050/stat : 9050 (java) S 9037 9043 8927 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155638797 938672128 21205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9051] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9051/stat : 9051 (java) S 9037 9043 8927 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155638797 938672128 21205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 916672

[startup+2.97423 s]
/proc/loadavg: 1.04 1.01 1.00 3/87 9051
/proc/meminfo: memFree=1351968/2055920 swapFree=4192812/4192956
[pid=9043] ppid=9037 vsize=916672 CPUtime=2.94
/proc/9043/stat : 9043 (java) R 9037 9043 8927 0 -1 0 21558 0 1 0 280 14 0 0 25 0 8 0 155638790 938672128 21293 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073835386 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9043/statm: 229168 21293 2181 14 0 215638 0
[pid=9043/tid=9045] ppid=9037 vsize=916672 CPUtime=0.11
/proc/9043/task/9045/stat : 9045 (java) S 9037 9043 8927 0 -1 64 4923 0 0 0 9 2 0 0 17 0 8 0 155638793 938672128 21293 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9046] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9046/stat : 9046 (java) S 9037 9043 8927 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155638794 938672128 21293 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9047] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9047/stat : 9047 (java) S 9037 9043 8927 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155638794 938672128 21293 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9048] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9048/stat : 9048 (java) S 9037 9043 8927 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155638797 938672128 21293 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9049] ppid=9037 vsize=916672 CPUtime=0.19
/proc/9043/task/9049/stat : 9049 (java) S 9037 9043 8927 0 -1 64 435 0 0 0 18 1 0 0 15 0 8 0 155638797 938672128 21293 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9050] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9050/stat : 9050 (java) S 9037 9043 8927 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155638797 938672128 21293 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9051] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9051/stat : 9051 (java) S 9037 9043 8927 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155638797 938672128 21293 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 916672

[startup+6.1775 s]
/proc/loadavg: 1.04 1.01 1.00 3/87 9051
/proc/meminfo: memFree=1325544/2055920 swapFree=4192812/4192956
[pid=9043] ppid=9037 vsize=916672 CPUtime=6.11
/proc/9043/stat : 9043 (java) R 9037 9043 8927 0 -1 0 25586 0 1 0 594 17 0 0 25 0 8 0 155638790 938672128 25317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154170477 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9043/statm: 229168 25317 2181 14 0 215638 0
[pid=9043/tid=9045] ppid=9037 vsize=916672 CPUtime=0.3
/proc/9043/task/9045/stat : 9045 (java) S 9037 9043 8927 0 -1 64 8934 0 0 0 27 3 0 0 16 0 8 0 155638793 938672128 25317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9046] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9046/stat : 9046 (java) S 9037 9043 8927 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155638794 938672128 25317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9047] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9047/stat : 9047 (java) S 9037 9043 8927 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155638794 938672128 25317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9048] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9048/stat : 9048 (java) S 9037 9043 8927 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155638797 938672128 25317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9049] ppid=9037 vsize=916672 CPUtime=0.22
/proc/9043/task/9049/stat : 9049 (java) S 9037 9043 8927 0 -1 64 448 0 0 0 21 1 0 0 15 0 8 0 155638797 938672128 25317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9050] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9050/stat : 9050 (java) S 9037 9043 8927 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155638797 938672128 25317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9051] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9051/stat : 9051 (java) S 9037 9043 8927 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155638797 938672128 25317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 916672

[startup+12.649 s]
/proc/loadavg: 1.26 1.06 1.02 3/87 9051
/proc/meminfo: memFree=1276080/2055920 swapFree=4192812/4192956
[pid=9043] ppid=9037 vsize=916672 CPUtime=12.55
/proc/9043/stat : 9043 (java) R 9037 9043 8927 0 -1 0 31381 0 1 0 1234 21 0 0 25 0 8 0 155638790 938672128 31105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832736 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9043/statm: 229168 31105 2533 14 0 215638 0
[pid=9043/tid=9045] ppid=9037 vsize=916672 CPUtime=0.69
/proc/9043/task/9045/stat : 9045 (java) S 9037 9043 8927 0 -1 64 14251 0 0 0 63 6 0 0 16 0 8 0 155638793 938672128 31105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9046] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9046/stat : 9046 (java) S 9037 9043 8927 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155638794 938672128 31105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9047] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9047/stat : 9047 (java) S 9037 9043 8927 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155638794 938672128 31105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9048] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9048/stat : 9048 (java) S 9037 9043 8927 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155638797 938672128 31105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9049] ppid=9037 vsize=916672 CPUtime=0.33
/proc/9043/task/9049/stat : 9049 (java) S 9037 9043 8927 0 -1 64 509 0 0 0 31 2 0 0 16 0 8 0 155638797 938672128 31105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9050] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9050/stat : 9050 (java) S 9037 9043 8927 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155638797 938672128 31105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9051] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9051/stat : 9051 (java) S 9037 9043 8927 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155638797 938672128 31105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 916672

[startup+25.5171 s]
/proc/loadavg: 1.38 1.09 1.03 3/87 9051
/proc/meminfo: memFree=1276208/2055920 swapFree=4192812/4192956
[pid=9043] ppid=9037 vsize=916672 CPUtime=25.35
/proc/9043/stat : 9043 (java) R 9037 9043 8927 0 -1 0 31396 0 1 0 2514 21 0 0 25 0 8 0 155638790 938672128 31117 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833447 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9043/statm: 229168 31117 2534 14 0 215638 0
[pid=9043/tid=9045] ppid=9037 vsize=916672 CPUtime=0.69
/proc/9043/task/9045/stat : 9045 (java) S 9037 9043 8927 0 -1 64 14251 0 0 0 63 6 0 0 17 0 8 0 155638793 938672128 31117 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9046] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9046/stat : 9046 (java) S 9037 9043 8927 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155638794 938672128 31117 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9047] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9047/stat : 9047 (java) S 9037 9043 8927 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155638794 938672128 31117 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9048] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9048/stat : 9048 (java) S 9037 9043 8927 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155638797 938672128 31117 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9049] ppid=9037 vsize=916672 CPUtime=0.35
/proc/9043/task/9049/stat : 9049 (java) S 9037 9043 8927 0 -1 64 520 0 0 0 33 2 0 0 15 0 8 0 155638797 938672128 31117 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9050] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9050/stat : 9050 (java) S 9037 9043 8927 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155638797 938672128 31117 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9051] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9051/stat : 9051 (java) S 9037 9043 8927 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155638797 938672128 31117 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 916672

[startup+51.1441 s]
/proc/loadavg: 1.59 1.16 1.05 3/77 9059
/proc/meminfo: memFree=1373424/2055920 swapFree=4192812/4192956
[pid=9043] ppid=9037 vsize=916672 CPUtime=50.85
/proc/9043/stat : 9043 (java) R 9037 9043 8927 0 -1 0 35565 0 1 0 5061 24 0 0 25 0 8 0 155638790 938672128 35279 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074144648 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9043/statm: 229168 35279 2538 14 0 215638 0
[pid=9043/tid=9045] ppid=9037 vsize=916672 CPUtime=0.75
/proc/9043/task/9045/stat : 9045 (java) S 9037 9043 8927 0 -1 64 18400 0 0 0 67 8 0 0 16 0 8 0 155638793 938672128 35279 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9046] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9046/stat : 9046 (java) S 9037 9043 8927 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155638794 938672128 35279 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9047] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9047/stat : 9047 (java) S 9037 9043 8927 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155638794 938672128 35279 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9048] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9048/stat : 9048 (java) S 9037 9043 8927 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155638797 938672128 35279 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9049] ppid=9037 vsize=916672 CPUtime=0.36
/proc/9043/task/9049/stat : 9049 (java) S 9037 9043 8927 0 -1 64 530 0 0 0 34 2 0 0 15 0 8 0 155638797 938672128 35279 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9050] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9050/stat : 9050 (java) S 9037 9043 8927 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155638797 938672128 35279 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9051] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9051/stat : 9051 (java) S 9037 9043 8927 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155638797 938672128 35279 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 916672

[startup+102.352 s]
/proc/loadavg: 1.49 1.21 1.07 2/75 9174
/proc/meminfo: memFree=1358928/2055920 swapFree=4192812/4192956
[pid=9043] ppid=9037 vsize=916672 CPUtime=102
/proc/9043/stat : 9043 (java) R 9037 9043 8927 0 -1 0 39834 0 1 0 10169 31 0 0 25 0 8 0 155638790 938672128 39537 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831590 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9043/statm: 229168 39537 2539 14 0 215638 0
[pid=9043/tid=9045] ppid=9037 vsize=916672 CPUtime=0.79
/proc/9043/task/9045/stat : 9045 (java) S 9037 9043 8927 0 -1 64 22645 0 0 0 69 10 0 0 16 0 8 0 155638793 938672128 39537 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9043/tid=9046] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9046/stat : 9046 (java) S 9037 9043 8927 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155638794 938672128 39537 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9047] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9047/stat : 9047 (java) S 9037 9043 8927 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155638794 938672128 39537 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9048] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9048/stat : 9048 (java) S 9037 9043 8927 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155638797 938672128 39537 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9049] ppid=9037 vsize=916672 CPUtime=0.39
/proc/9043/task/9049/stat : 9049 (java) S 9037 9043 8927 0 -1 64 543 0 0 0 37 2 0 0 15 0 8 0 155638797 938672128 39537 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9043/tid=9050] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9050/stat : 9050 (java) S 9037 9043 8927 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155638797 938672128 39537 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9051] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9051/stat : 9051 (java) S 9037 9043 8927 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155638797 938672128 39537 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102
Current children cumulated vsize (KiB) 916672

[startup+162.416 s]
/proc/loadavg: 1.50 1.27 1.10 2/72 9289
/proc/meminfo: memFree=1332592/2055920 swapFree=4192812/4192956
[pid=9043] ppid=9037 vsize=916672 CPUtime=161.95
/proc/9043/stat : 9043 (java) R 9037 9043 8927 0 -1 0 45516 0 1 0 16157 38 0 0 25 0 8 0 155638790 938672128 45217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

################
# More data... #
################

Current children cumulated CPU time (s) 1421.72
Current children cumulated vsize (KiB) 916672

[startup+1482.54 s]
/proc/loadavg: 1.02 1.01 1.00 2/72 9289
/proc/meminfo: memFree=1332592/2055920 swapFree=4192812/4192956
[pid=9043] ppid=9037 vsize=916672 CPUtime=1481.71
/proc/9043/stat : 9043 (java) R 9037 9043 8927 0 -1 0 45519 0 1 0 148130 41 0 0 25 0 8 0 155638790 938672128 45219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074143297 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9043/statm: 229168 45219 2539 14 0 215638 0
[pid=9043/tid=9045] ppid=9037 vsize=916672 CPUtime=0.84
/proc/9043/task/9045/stat : 9045 (java) S 9037 9043 8927 0 -1 64 28323 0 0 0 72 12 0 0 16 0 8 0 155638793 938672128 45219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9043/tid=9046] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9046/stat : 9046 (java) S 9037 9043 8927 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155638794 938672128 45219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9047] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9047/stat : 9047 (java) S 9037 9043 8927 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155638794 938672128 45219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9048] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9048/stat : 9048 (java) S 9037 9043 8927 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155638797 938672128 45219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9049] ppid=9037 vsize=916672 CPUtime=0.4
/proc/9043/task/9049/stat : 9049 (java) S 9037 9043 8927 0 -1 64 548 0 0 0 38 2 0 0 16 0 8 0 155638797 938672128 45219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9043/tid=9050] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9050/stat : 9050 (java) S 9037 9043 8927 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155638797 938672128 45219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9051] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9051/stat : 9051 (java) S 9037 9043 8927 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155638797 938672128 45219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1481.71
Current children cumulated vsize (KiB) 916672

[startup+1542.55 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 9289
/proc/meminfo: memFree=1332592/2055920 swapFree=4192812/4192956
[pid=9043] ppid=9037 vsize=916672 CPUtime=1541.7
/proc/9043/stat : 9043 (java) R 9037 9043 8927 0 -1 0 45519 0 1 0 154129 41 0 0 25 0 8 0 155638790 938672128 45219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831606 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9043/statm: 229168 45219 2539 14 0 215638 0
[pid=9043/tid=9045] ppid=9037 vsize=916672 CPUtime=0.84
/proc/9043/task/9045/stat : 9045 (java) S 9037 9043 8927 0 -1 64 28323 0 0 0 72 12 0 0 16 0 8 0 155638793 938672128 45219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9043/tid=9046] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9046/stat : 9046 (java) S 9037 9043 8927 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155638794 938672128 45219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9047] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9047/stat : 9047 (java) S 9037 9043 8927 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155638794 938672128 45219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9048] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9048/stat : 9048 (java) S 9037 9043 8927 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155638797 938672128 45219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9049] ppid=9037 vsize=916672 CPUtime=0.4
/proc/9043/task/9049/stat : 9049 (java) S 9037 9043 8927 0 -1 64 548 0 0 0 38 2 0 0 16 0 8 0 155638797 938672128 45219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9043/tid=9050] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9050/stat : 9050 (java) S 9037 9043 8927 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155638797 938672128 45219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9051] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9051/stat : 9051 (java) S 9037 9043 8927 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155638797 938672128 45219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1541.7
Current children cumulated vsize (KiB) 916672

[startup+1602.55 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 9289
/proc/meminfo: memFree=1332528/2055920 swapFree=4192812/4192956
[pid=9043] ppid=9037 vsize=916672 CPUtime=1601.69
/proc/9043/stat : 9043 (java) R 9037 9043 8927 0 -1 0 45519 0 1 0 160128 41 0 0 25 0 8 0 155638790 938672128 45219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074136301 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9043/statm: 229168 45219 2539 14 0 215638 0
[pid=9043/tid=9045] ppid=9037 vsize=916672 CPUtime=0.84
/proc/9043/task/9045/stat : 9045 (java) S 9037 9043 8927 0 -1 64 28323 0 0 0 72 12 0 0 16 0 8 0 155638793 938672128 45219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9043/tid=9046] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9046/stat : 9046 (java) S 9037 9043 8927 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155638794 938672128 45219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9047] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9047/stat : 9047 (java) S 9037 9043 8927 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155638794 938672128 45219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9048] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9048/stat : 9048 (java) S 9037 9043 8927 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155638797 938672128 45219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9049] ppid=9037 vsize=916672 CPUtime=0.4
/proc/9043/task/9049/stat : 9049 (java) S 9037 9043 8927 0 -1 64 548 0 0 0 38 2 0 0 16 0 8 0 155638797 938672128 45219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9043/tid=9050] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9050/stat : 9050 (java) S 9037 9043 8927 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155638797 938672128 45219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9051] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9051/stat : 9051 (java) S 9037 9043 8927 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155638797 938672128 45219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1601.69
Current children cumulated vsize (KiB) 916672

[startup+1662.58 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 9435
/proc/meminfo: memFree=1331264/2055920 swapFree=4192812/4192956
[pid=9043] ppid=9037 vsize=916672 CPUtime=1661.71
/proc/9043/stat : 9043 (java) R 9037 9043 8927 0 -1 0 45519 0 1 0 166119 52 0 0 25 0 8 0 155638790 938672128 45219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074138571 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9043/statm: 229168 45219 2539 14 0 215638 0
[pid=9043/tid=9045] ppid=9037 vsize=916672 CPUtime=0.84
/proc/9043/task/9045/stat : 9045 (java) S 9037 9043 8927 0 -1 64 28323 0 0 0 72 12 0 0 16 0 8 0 155638793 938672128 45219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9043/tid=9046] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9046/stat : 9046 (java) S 9037 9043 8927 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155638794 938672128 45219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9047] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9047/stat : 9047 (java) S 9037 9043 8927 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155638794 938672128 45219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9048] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9048/stat : 9048 (java) S 9037 9043 8927 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155638797 938672128 45219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9049] ppid=9037 vsize=916672 CPUtime=0.4
/proc/9043/task/9049/stat : 9049 (java) S 9037 9043 8927 0 -1 64 548 0 0 0 38 2 0 0 16 0 8 0 155638797 938672128 45219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9043/tid=9050] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9050/stat : 9050 (java) S 9037 9043 8927 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155638797 938672128 45219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9051] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9051/stat : 9051 (java) S 9037 9043 8927 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155638797 938672128 45219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 916672

[startup+1722.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 9487
/proc/meminfo: memFree=1332208/2055920 swapFree=4192812/4192956
[pid=9043] ppid=9037 vsize=916672 CPUtime=1721.71
/proc/9043/stat : 9043 (java) R 9037 9043 8927 0 -1 0 45519 0 1 0 172114 57 0 0 25 0 8 0 155638790 938672128 45219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074161340 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9043/statm: 229168 45219 2539 14 0 215638 0
[pid=9043/tid=9045] ppid=9037 vsize=916672 CPUtime=0.84
/proc/9043/task/9045/stat : 9045 (java) S 9037 9043 8927 0 -1 64 28323 0 0 0 72 12 0 0 16 0 8 0 155638793 938672128 45219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9043/tid=9046] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9046/stat : 9046 (java) S 9037 9043 8927 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155638794 938672128 45219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9047] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9047/stat : 9047 (java) S 9037 9043 8927 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155638794 938672128 45219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9048] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9048/stat : 9048 (java) S 9037 9043 8927 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155638797 938672128 45219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9049] ppid=9037 vsize=916672 CPUtime=0.4
/proc/9043/task/9049/stat : 9049 (java) S 9037 9043 8927 0 -1 64 548 0 0 0 38 2 0 0 16 0 8 0 155638797 938672128 45219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9043/tid=9050] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9050/stat : 9050 (java) S 9037 9043 8927 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155638797 938672128 45219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9051] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9051/stat : 9051 (java) S 9037 9043 8927 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155638797 938672128 45219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 916672

[startup+1782.62 s]
/proc/loadavg: 1.03 1.01 1.00 2/72 9487
/proc/meminfo: memFree=1332272/2055920 swapFree=4192812/4192956
[pid=9043] ppid=9037 vsize=916672 CPUtime=1781.7
/proc/9043/stat : 9043 (java) R 9037 9043 8927 0 -1 0 45519 0 1 0 178113 57 0 0 25 0 8 0 155638790 938672128 45219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074138560 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9043/statm: 229168 45219 2539 14 0 215638 0
[pid=9043/tid=9045] ppid=9037 vsize=916672 CPUtime=0.84
/proc/9043/task/9045/stat : 9045 (java) S 9037 9043 8927 0 -1 64 28323 0 0 0 72 12 0 0 16 0 8 0 155638793 938672128 45219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9043/tid=9046] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9046/stat : 9046 (java) S 9037 9043 8927 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155638794 938672128 45219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9047] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9047/stat : 9047 (java) S 9037 9043 8927 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155638794 938672128 45219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9048] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9048/stat : 9048 (java) S 9037 9043 8927 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155638797 938672128 45219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9049] ppid=9037 vsize=916672 CPUtime=0.4
/proc/9043/task/9049/stat : 9049 (java) S 9037 9043 8927 0 -1 64 548 0 0 0 38 2 0 0 16 0 8 0 155638797 938672128 45219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9043/tid=9050] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9050/stat : 9050 (java) S 9037 9043 8927 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155638797 938672128 45219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9051] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9051/stat : 9051 (java) S 9037 9043 8927 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155638797 938672128 45219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 916672



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.02 s]
/proc/loadavg: 1.02 1.01 1.00 2/72 9487
/proc/meminfo: memFree=1332272/2055920 swapFree=4192812/4192956
[pid=9043] ppid=9037 vsize=916672 CPUtime=1800.09
/proc/9043/stat : 9043 (java) R 9037 9043 8927 0 -1 0 45519 0 1 0 179952 57 0 0 25 0 8 0 155638790 938672128 45219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833447 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9043/statm: 229168 45219 2539 14 0 215638 0
[pid=9043/tid=9045] ppid=9037 vsize=916672 CPUtime=0.84
/proc/9043/task/9045/stat : 9045 (java) S 9037 9043 8927 0 -1 64 28323 0 0 0 72 12 0 0 16 0 8 0 155638793 938672128 45219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9043/tid=9046] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9046/stat : 9046 (java) S 9037 9043 8927 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155638794 938672128 45219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9047] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9047/stat : 9047 (java) S 9037 9043 8927 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155638794 938672128 45219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9048] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9048/stat : 9048 (java) S 9037 9043 8927 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155638797 938672128 45219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9049] ppid=9037 vsize=916672 CPUtime=0.4
/proc/9043/task/9049/stat : 9049 (java) S 9037 9043 8927 0 -1 64 548 0 0 0 38 2 0 0 16 0 8 0 155638797 938672128 45219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9043/tid=9050] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9050/stat : 9050 (java) S 9037 9043 8927 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155638797 938672128 45219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9043/tid=9051] ppid=9037 vsize=916672 CPUtime=0
/proc/9043/task/9051/stat : 9051 (java) S 9037 9043 8927 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155638797 938672128 45219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 916672

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Child status: 143
Real time (s): 1801.09
CPU time (s): 1800.18
CPU user time (s): 1799.57
CPU system time (s): 0.608907
CPU usage (%): 99.9494
Max. virtual memory (cumulated for all children) (KiB): 916672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.57
system time used= 0.608907
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45536
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= 38271
involuntary context switches= 42992

runsolver used 1.61675 s user time and 4.89626 s system time

The end

Launcher Data (download as text)

Begin job on node34 on Sat Jan  6 08:34:10 UTC 2007


IDJOB= 201700
IDBENCH= 3779
FILE ID= node34/201700-1168072450

PBS_JOBID= 3475979

Free space on /tmp= 66527 MiB

BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp13/fapp13-2000-4.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/201700-1168072450/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node34/watcher-201700-1168072450 -o ROOT/results/node34/solver-201700-1168072450 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/201700-1168072450/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  3f4c3da4d1086c239753fd2edce97a45

RANDOM SEED= 573468095

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.227
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.227
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:       1501976 kB
Buffers:         30872 kB
Cached:         422416 kB
SwapCached:          0 kB
Active:          80496 kB
Inactive:       397172 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1501976 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           10692 kB
Writeback:           0 kB
Mapped:          40036 kB
Slab:            61708 kB
Committed_AS:  3189532 kB
PageTables:       1768 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= 66532 MiB



End job on node34 on Sat Jan  6 09:04:13 UTC 2007