Trace number 201651

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 ESAC? (TO) 1800.11 1811.2

General information on the benchmark

Namefapp/fapp11-15/fapp13/
fapp13-2000-3.xml
MD5SUM7f084eb3a66440e5445613ae031b39b2
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.34	   
0.34	Abscon 109 (November, 2006)
0.34	   
0.34	   configuration
0.34	     name=esac.xml
0.37	   
0.37	   instance
0.37	     name=/tmp/evaluation/201651-1168148907/unknown.xml
0.40	   
0.40	   domains being loaded...
0.45	   
0.45	   variables being loaded...
0.69	     nbVariables=2000  nbDomainTypes=49  minDomainSize=42  maxDomainSize=190
0.69	       =>  wckTime=0.347  cpuTime=0.25  mem=20M547
0.69	   
0.69	   predicates being loaded...
0.69	   
0.69	   constraints being loaded...
152.62	     nbConstraints=13669  nbMergedConstraints=11983  nbConvertedConstraints=13669  nbConvertConstraintsChecks=238639240
152.62	     nbExtensionStructures=9909  nbSharedExtensionStructures=3760  nbConflictsStructures=9909
152.62	     nbSharedConflictsStructures=3760  nbSharedBinaryRepresentations=2766364  maxDegree=17  maxArity=2
152.62	       =>  wckTime=152.281  cpuTime=149.02  mem=107M706
152.99	   
152.99	   solver IterativeSystematicSolver being built... 
153.25	       =>  wckTime=152.915  cpuTime=149.24  mem=106M854
194.18	   
194.18	   INFO : Stopping ESAC
194.19	   
194.19	   preprocessing
194.19	     nbConstraintChecks=227198856  nbPropagations=396234  nbRevisions=2835180  nbUselessRevisions=2379592
194.19	     nbSingletonTests=5306  nbEffectiveSingletonTests=85  nbESACBranches=131  nbRemovedValues=175797
194.19	     detectedInconsistency=no
194.19	       =>  wckTime=40.918  cpuTime=40.64  mem=106M854
195.40	   
195.40	   search
195.40	     run=0  nbConstraintChecks=4708926  nbPropagations=404988  nbRevisions=2904733  nbUselessRevisions=2438567
195.40	     nbAssignments=119  nbFailedAssignments=5  nbBacktracks=10  nbVisitedNodes=127  nbRestartNogoods=0  mapSize=2
195.40	     nbInferences=0  nbTooLargeKeys=0
195.40	       =>  wckTime=42.128  cpuTime=41.83  mem=112M694
196.80	   
196.80	   search
196.80	     run=1  nbConstraintChecks=12694046  nbPropagations=824767  nbRevisions=5952382  nbUselessRevisions=4994136
196.80	     nbAssignments=297  nbFailedAssignments=33  nbBacktracks=25  nbVisitedNodes=338  nbRestartNogoods=1  mapSize=17
196.80	     nbInferences=0  nbTooLargeKeys=0
196.80	       =>  wckTime=43.533  cpuTime=43.21  mem=119M57
199.73	   
199.73	   search
199.73	     run=2  nbConstraintChecks=32574759  nbPropagations=1281697  nbRevisions=9304189  nbUselessRevisions=7805934
199.73	     nbAssignments=685  nbFailedAssignments=48  nbBacktracks=59  nbVisitedNodes=547  nbRestartNogoods=5  mapSize=33
199.73	     nbInferences=0  nbTooLargeKeys=0
199.73	       =>  wckTime=46.465  cpuTime=46.13  mem=126M424
203.09	   
203.09	   search
203.09	     run=3  nbConstraintChecks=55826906  nbPropagations=1781783  nbRevisions=12989669  nbUselessRevisions=10899651
203.09	     nbAssignments=1171  nbFailedAssignments=64  nbBacktracks=93  nbVisitedNodes=777  nbRestartNogoods=10  mapSize=51
203.09	     nbInferences=0  nbTooLargeKeys=0
203.09	       =>  wckTime=49.822  cpuTime=49.42  mem=102M113
207.66	   
207.66	   search
207.66	     run=4  nbConstraintChecks=83353040  nbPropagations=2332849  nbRevisions=17213691  nbUselessRevisions=14422594
207.66	     nbAssignments=1602  nbFailedAssignments=186  nbBacktracks=143  nbVisitedNodes=1218  nbRestartNogoods=13  mapSize=93
207.66	     nbInferences=0  nbTooLargeKeys=0
207.66	       =>  wckTime=54.389  cpuTime=53.96  mem=109M279
213.33	   
213.33	   search
213.33	     run=5  nbConstraintChecks=123495384  nbPropagations=2953236  nbRevisions=22052357  nbUselessRevisions=18451487
213.33	     nbAssignments=2230  nbFailedAssignments=253  nbBacktracks=218  nbVisitedNodes=1512  nbRestartNogoods=21
213.33	     mapSize=161  nbInferences=0  nbTooLargeKeys=0
213.33	       =>  wckTime=60.064  cpuTime=59.6  mem=115M236
215.68	   
215.68	   search
215.68	     run=6  nbConstraintChecks=137333400  nbPropagations=3596165  nbRevisions=27122582  nbUselessRevisions=22666190
215.68	     nbAssignments=2453  nbFailedAssignments=299  nbBacktracks=335  nbVisitedNodes=1805  nbRestartNogoods=24
215.68	     mapSize=214  nbInferences=0  nbTooLargeKeys=0
215.68	       =>  wckTime=62.416  cpuTime=61.94  mem=122M948
220.77	   
220.77	   search
220.77	     run=7  nbConstraintChecks=171213190  nbPropagations=4295935  nbRevisions=32758915  nbUselessRevisions=27336122
220.77	     nbAssignments=2987  nbFailedAssignments=565  nbBacktracks=505  nbVisitedNodes=2684  nbRestartNogoods=27
220.77	     mapSize=347  nbInferences=0  nbTooLargeKeys=0
220.77	       =>  wckTime=67.501  cpuTime=66.99  mem=134M542
225.34	   
225.34	   search
225.34	     run=8  nbConstraintChecks=198551397  nbPropagations=5048648  nbRevisions=38841845  nbUselessRevisions=32374543
225.34	     nbAssignments=3826  nbFailedAssignments=702  nbBacktracks=765  nbVisitedNodes=3474  nbRestartNogoods=33
225.34	     mapSize=521  nbInferences=0  nbTooLargeKeys=0
225.34	       =>  wckTime=72.071  cpuTime=71.49  mem=123M659
239.87	   
239.87	   search
239.87	     run=9  nbConstraintChecks=286504205  nbPropagations=5948767  nbRevisions=46529563  nbUselessRevisions=38693858
239.87	     nbAssignments=4785  nbFailedAssignments=829  nbBacktracks=1150  nbVisitedNodes=4350  nbRestartNogoods=43
239.87	     mapSize=779  nbInferences=0  nbTooLargeKeys=0
239.87	       =>  wckTime=86.602  cpuTime=85.94  mem=143M580
252.29	   
252.29	   INFO : Stopping hyperNogood (mapSize=1024, nbTooLargekeys=0, mem=160M368)
264.78	   
264.78	   search
264.78	     run=10  nbConstraintChecks=447452663  nbPropagations=7106492  nbRevisions=57175843  nbUselessRevisions=47330673
264.79	     nbAssignments=5991  nbFailedAssignments=1294  nbBacktracks=1727  nbVisitedNodes=6251  nbRestartNogoods=49
264.79	       =>  wckTime=111.518  cpuTime=110.7  mem=160M368
294.79	   
294.79	   search
294.79	     run=11  nbConstraintChecks=641025834  nbPropagations=8589834  nbRevisions=71455838  nbUselessRevisions=58743435
294.79	     nbAssignments=8486  nbFailedAssignments=2619  nbBacktracks=2591  nbVisitedNodes=10164  nbRestartNogoods=66
294.79	       =>  wckTime=141.518  cpuTime=140.52  mem=160M368
338.26	   
338.26	   search
338.26	     run=12  nbConstraintChecks=883917154  nbPropagations=10526846  nbRevisions=90958400  nbUselessRevisions=74399061
338.26	     nbAssignments=11573  nbFailedAssignments=3544  nbBacktracks=3898  nbVisitedNodes=13648  nbRestartNogoods=94
338.26	       =>  wckTime=184.993  cpuTime=183.76  mem=160M997
375.43	   
375.43	   search
375.43	     run=13  nbConstraintChecks=1100366345  nbPropagations=12868363  nbRevisions=115015698  nbUselessRevisions=93741262
375.43	     nbAssignments=14918  nbFailedAssignments=4191  nbBacktracks=5844  nbVisitedNodes=17296  nbRestartNogoods=110
375.43	       =>  wckTime=222.166  cpuTime=220.75  mem=160M997
453.68	   
453.68	   search
453.68	     run=14  nbConstraintChecks=1546511896  nbPropagations=16122838  nbRevisions=150514808  nbUselessRevisions=122166020
453.68	     nbAssignments=20796  nbFailedAssignments=6703  nbBacktracks=8764  nbVisitedNodes=26552  nbRestartNogoods=125
453.68	       =>  wckTime=300.417  cpuTime=298.58  mem=160M997
664.92	   
664.92	   search
664.92	     run=15  nbConstraintChecks=2725408799  nbPropagations=21930559  nbRevisions=216741333  nbUselessRevisions=175452498
664.92	     nbAssignments=31812  nbFailedAssignments=12609  nbBacktracks=13143  nbVisitedNodes=45085  nbRestartNogoods=138
664.92	       =>  wckTime=511.657  cpuTime=508.66  mem=160M997
947.12	   
947.12	   search
947.12	     run=16  nbConstraintChecks=4430011318  nbPropagations=30733733  nbRevisions=318522907  nbUselessRevisions=256629102
947.12	     nbAssignments=51004  nbFailedAssignments=23735  nbBacktracks=19711  nbVisitedNodes=77123  nbRestartNogoods=170
947.12	       =>  wckTime=793.854  cpuTime=789.25  mem=160M997
1400.52	   
1400.52	   search
1400.52	     run=17  nbConstraintChecks=7375180256  nbPropagations=44251824  nbRevisions=476231527  nbUselessRevisions=380504803
1400.52	     nbAssignments=82475  nbFailedAssignments=45028  nbBacktracks=29563  nbVisitedNodes=135403  nbRestartNogoods=187
1400.52	       =>  wckTime=1247.25  cpuTime=1240.16  mem=160M997

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/node1/watcher-201651-1168148907 -o ROOT/results/node1/solver-201651-1168148907 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/201651-1168148907/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.14 2.11 2.09 4/97 13749
/proc/meminfo: memFree=935032/2055920 swapFree=4165612/4192956
[pid=13748] ppid=13746 vsize=9748 CPUtime=0
/proc/13748/stat : 13748 (java) D 13746 13748 13310 0 -1 0 637 0 0 0 0 0 0 0 18 0 1 0 163286472 9981952 412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 5829412 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/13748/statm: 2487 472 386 14 0 1142 0

[startup+0.103342 s]
/proc/loadavg: 2.14 2.11 2.09 4/97 13749
/proc/meminfo: memFree=935032/2055920 swapFree=4165612/4192956
[pid=13748] ppid=13746 vsize=913228 CPUtime=0.08
/proc/13748/stat : 13748 (java) S 13746 13748 13310 0 -1 0 2901 0 1 0 7 1 0 0 19 0 8 0 163286472 935145472 2647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13748/statm: 228307 2647 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913228

[startup+0.515388 s]
/proc/loadavg: 2.14 2.11 2.09 4/97 13749
/proc/meminfo: memFree=935032/2055920 swapFree=4165612/4192956
[pid=13748] ppid=13746 vsize=915328 CPUtime=0.49
/proc/13748/stat : 13748 (java) R 13746 13748 13310 0 -1 0 6520 0 1 0 45 4 0 0 18 0 8 0 163286472 937295872 6259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073575916 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13748/statm: 228832 6259 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.3445 s]
/proc/loadavg: 2.14 2.11 2.09 3/104 13756
/proc/meminfo: memFree=866752/2055920 swapFree=4165612/4192956
[pid=13748] ppid=13746 vsize=915648 CPUtime=1.31
/proc/13748/stat : 13748 (java) R 13746 13748 13310 0 -1 0 19421 0 1 0 118 13 0 0 24 0 8 0 163286472 937623552 19159 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073680727 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13748/statm: 228912 19159 2160 14 0 215382 0
[pid=13748/tid=13750] ppid=13746 vsize=915648 CPUtime=0.05
/proc/13748/task/13750/stat : 13750 (java) S 13746 13748 13310 0 -1 64 2879 0 0 0 4 1 0 0 17 0 8 0 163286476 937623552 19159 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13748/tid=13751] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13751/stat : 13751 (java) S 13746 13748 13310 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163286476 937623552 19159 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13748/tid=13752] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13752/stat : 13752 (java) S 13746 13748 13310 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163286476 937623552 19159 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13748/tid=13753] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13753/stat : 13753 (java) S 13746 13748 13310 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163286480 937623552 19159 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13748/tid=13754] ppid=13746 vsize=915648 CPUtime=0.17
/proc/13748/task/13754/stat : 13754 (java) S 13746 13748 13310 0 -1 64 409 0 0 0 16 1 0 0 16 0 8 0 163286480 937623552 19159 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13748/tid=13755] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13755/stat : 13755 (java) S 13746 13748 13310 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163286480 937623552 19159 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13748/tid=13756] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13756/stat : 13756 (java) S 13746 13748 13310 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163286480 937623552 19159 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915648

[startup+2.98167 s]
/proc/loadavg: 2.14 2.11 2.09 3/104 13756
/proc/meminfo: memFree=858304/2055920 swapFree=4165612/4192956
[pid=13748] ppid=13746 vsize=915648 CPUtime=2.94
/proc/13748/stat : 13748 (java) R 13746 13748 13310 0 -1 0 21555 0 1 0 279 15 0 0 25 0 8 0 163286472 937623552 21290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073839095 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13748/statm: 228912 21290 2181 14 0 215382 0
[pid=13748/tid=13750] ppid=13746 vsize=915648 CPUtime=0.13
/proc/13748/task/13750/stat : 13750 (java) S 13746 13748 13310 0 -1 64 4923 0 0 0 11 2 0 0 17 0 8 0 163286476 937623552 21290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13748/tid=13751] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13751/stat : 13751 (java) S 13746 13748 13310 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163286476 937623552 21290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13748/tid=13752] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13752/stat : 13752 (java) S 13746 13748 13310 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163286476 937623552 21290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13748/tid=13753] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13753/stat : 13753 (java) S 13746 13748 13310 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163286480 937623552 21290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13748/tid=13754] ppid=13746 vsize=915648 CPUtime=0.21
/proc/13748/task/13754/stat : 13754 (java) S 13746 13748 13310 0 -1 64 434 0 0 0 20 1 0 0 16 0 8 0 163286480 937623552 21290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13748/tid=13755] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13755/stat : 13755 (java) S 13746 13748 13310 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163286480 937623552 21290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13748/tid=13756] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13756/stat : 13756 (java) S 13746 13748 13310 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163286480 937623552 21290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915648

[startup+6.26369 s]
/proc/loadavg: 2.21 2.13 2.10 3/104 13756
/proc/meminfo: memFree=858176/2055920 swapFree=4165612/4192956
[pid=13748] ppid=13746 vsize=915648 CPUtime=6.18
/proc/13748/stat : 13748 (java) R 13746 13748 13310 0 -1 0 21560 0 1 0 603 15 0 0 25 0 8 0 163286472 937623552 21293 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073835239 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13748/statm: 228912 21293 2181 14 0 215382 0
[pid=13748/tid=13750] ppid=13746 vsize=915648 CPUtime=0.13
/proc/13748/task/13750/stat : 13750 (java) S 13746 13748 13310 0 -1 64 4923 0 0 0 11 2 0 0 17 0 8 0 163286476 937623552 21293 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13748/tid=13751] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13751/stat : 13751 (java) S 13746 13748 13310 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163286476 937623552 21293 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13748/tid=13752] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13752/stat : 13752 (java) S 13746 13748 13310 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163286476 937623552 21293 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13748/tid=13753] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13753/stat : 13753 (java) S 13746 13748 13310 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163286480 937623552 21293 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13748/tid=13754] ppid=13746 vsize=915648 CPUtime=0.22
/proc/13748/task/13754/stat : 13754 (java) S 13746 13748 13310 0 -1 64 437 0 0 0 21 1 0 0 16 0 8 0 163286480 937623552 21293 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13748/tid=13755] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13755/stat : 13755 (java) S 13746 13748 13310 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163286480 937623552 21293 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13748/tid=13756] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13756/stat : 13756 (java) S 13746 13748 13310 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163286480 937623552 21293 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915648

[startup+12.7578 s]
/proc/loadavg: 2.19 2.12 2.10 3/104 13756
/proc/meminfo: memFree=847936/2055920 swapFree=4165612/4192956
[pid=13748] ppid=13746 vsize=915648 CPUtime=12.59
/proc/13748/stat : 13748 (java) R 13746 13748 13310 0 -1 0 24166 0 1 0 1241 18 0 0 25 0 8 0 163286472 937623552 23896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831653 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13748/statm: 228912 23896 2181 14 0 215382 0
[pid=13748/tid=13750] ppid=13746 vsize=915648 CPUtime=0.25
/proc/13748/task/13750/stat : 13750 (java) S 13746 13748 13310 0 -1 64 7520 0 0 0 22 3 0 0 17 0 8 0 163286476 937623552 23896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13748/tid=13751] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13751/stat : 13751 (java) S 13746 13748 13310 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163286476 937623552 23896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13748/tid=13752] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13752/stat : 13752 (java) S 13746 13748 13310 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163286476 937623552 23896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13748/tid=13753] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13753/stat : 13753 (java) S 13746 13748 13310 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163286480 937623552 23896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13748/tid=13754] ppid=13746 vsize=915648 CPUtime=0.24
/proc/13748/task/13754/stat : 13754 (java) S 13746 13748 13310 0 -1 64 443 0 0 0 23 1 0 0 16 0 8 0 163286480 937623552 23896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13748/tid=13755] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13755/stat : 13755 (java) S 13746 13748 13310 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163286480 937623552 23896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13748/tid=13756] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13756/stat : 13756 (java) S 13746 13748 13310 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163286480 937623552 23896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915648

[startup+25.6499 s]
/proc/loadavg: 2.16 2.12 2.09 3/104 13756
/proc/meminfo: memFree=848064/2055920 swapFree=4165612/4192956
[pid=13748] ppid=13746 vsize=915648 CPUtime=25.3
/proc/13748/stat : 13748 (java) R 13746 13748 13310 0 -1 0 24173 0 1 0 2507 23 0 0 25 0 8 0 163286472 937623552 23902 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831602 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13748/statm: 228912 23902 2181 14 0 215382 0
[pid=13748/tid=13750] ppid=13746 vsize=915648 CPUtime=0.25
/proc/13748/task/13750/stat : 13750 (java) S 13746 13748 13310 0 -1 64 7520 0 0 0 22 3 0 0 16 0 8 0 163286476 937623552 23902 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13748/tid=13751] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13751/stat : 13751 (java) S 13746 13748 13310 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163286476 937623552 23902 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13748/tid=13752] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13752/stat : 13752 (java) S 13746 13748 13310 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163286476 937623552 23902 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13748/tid=13753] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13753/stat : 13753 (java) S 13746 13748 13310 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163286480 937623552 23902 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13748/tid=13754] ppid=13746 vsize=915648 CPUtime=0.25
/proc/13748/task/13754/stat : 13754 (java) S 13746 13748 13310 0 -1 64 449 0 0 0 24 1 0 0 16 0 8 0 163286480 937623552 23902 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13748/tid=13755] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13755/stat : 13755 (java) S 13746 13748 13310 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163286480 937623552 23902 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13748/tid=13756] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13756/stat : 13756 (java) S 13746 13748 13310 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163286480 937623552 23902 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 915648

[startup+51.3262 s]
/proc/loadavg: 2.10 2.11 2.09 3/104 13756
/proc/meminfo: memFree=832320/2055920 swapFree=4165612/4192956
[pid=13748] ppid=13746 vsize=915648 CPUtime=50.65
/proc/13748/stat : 13748 (java) R 13746 13748 13310 0 -1 0 28118 0 1 0 5031 34 0 0 25 0 8 0 163286472 937623552 27844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073835239 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13748/statm: 228912 27844 2181 14 0 215382 0
[pid=13748/tid=13750] ppid=13746 vsize=915648 CPUtime=0.54
/proc/13748/task/13750/stat : 13750 (java) S 13746 13748 13310 0 -1 64 11459 0 0 0 49 5 0 0 16 0 8 0 163286476 937623552 27844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13748/tid=13751] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13751/stat : 13751 (java) S 13746 13748 13310 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163286476 937623552 27844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13748/tid=13752] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13752/stat : 13752 (java) S 13746 13748 13310 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163286476 937623552 27844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13748/tid=13753] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13753/stat : 13753 (java) S 13746 13748 13310 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163286480 937623552 27844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13748/tid=13754] ppid=13746 vsize=915648 CPUtime=0.26
/proc/13748/task/13754/stat : 13754 (java) S 13746 13748 13310 0 -1 64 452 0 0 0 25 1 0 0 16 0 8 0 163286480 937623552 27844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13748/tid=13755] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13755/stat : 13755 (java) S 13746 13748 13310 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163286480 937623552 27844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13748/tid=13756] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13756/stat : 13756 (java) S 13746 13748 13310 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163286480 937623552 27844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 915648

[startup+102.562 s]
/proc/loadavg: 2.04 2.09 2.08 4/104 13756
/proc/meminfo: memFree=812288/2055920 swapFree=4165612/4192956
[pid=13748] ppid=13746 vsize=915648 CPUtime=101.23
/proc/13748/stat : 13748 (java) R 13746 13748 13310 0 -1 0 33115 0 1 0 10067 56 0 0 25 0 8 0 163286472 937623552 32838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831580 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13748/statm: 228912 32838 2182 14 0 215382 0
[pid=13748/tid=13750] ppid=13746 vsize=915648 CPUtime=0.86
/proc/13748/task/13750/stat : 13750 (java) S 13746 13748 13310 0 -1 64 16453 0 0 0 79 7 0 0 16 0 8 0 163286476 937623552 32838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13748/tid=13751] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13751/stat : 13751 (java) S 13746 13748 13310 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163286476 937623552 32838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13748/tid=13752] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13752/stat : 13752 (java) S 13746 13748 13310 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163286476 937623552 32838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13748/tid=13753] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13753/stat : 13753 (java) S 13746 13748 13310 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163286480 937623552 32838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13748/tid=13754] ppid=13746 vsize=915648 CPUtime=0.26
/proc/13748/task/13754/stat : 13754 (java) S 13746 13748 13310 0 -1 64 452 0 0 0 25 1 0 0 16 0 8 0 163286480 937623552 32838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13748/tid=13755] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13755/stat : 13755 (java) S 13746 13748 13310 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163286480 937623552 32838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13748/tid=13756] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13756/stat : 13756 (java) S 13746 13748 13310 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163286480 937623552 32838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.23
Current children cumulated vsize (KiB) 915648

[startup+162.626 s]
/proc/loadavg: 2.01 2.07 2.08 3/93 13828
/proc/meminfo: memFree=1362128/2055920 swapFree=4165612/4192956
[pid=13748] ppid=13746 vsize=915648 CPUtime=160.61
/proc/13748/stat : 13748 (java) R 13746 13748 13310 0 -1 0 39437 0 1 0 15974 87 0 0 25 0 8 0 163286472 937623552 39153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 1415.34
Current children cumulated vsize (KiB) 915648

[startup+1484.41 s]
/proc/loadavg: 2.00 2.01 2.02 3/101 14097
/proc/meminfo: memFree=971544/2055920 swapFree=4165612/4192956
[pid=13748] ppid=13746 vsize=915648 CPUtime=1475.1
/proc/13748/stat : 13748 (java) R 13746 13748 13310 0 -1 0 46668 0 1 0 147398 112 0 0 25 0 8 0 163286472 937623552 46365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13748/statm: 228912 46365 2546 14 0 215382 0
[pid=13748/tid=13750] ppid=13746 vsize=915648 CPUtime=1.53
/proc/13748/task/13750/stat : 13750 (java) S 13746 13748 13310 0 -1 64 29456 0 0 0 142 11 0 0 16 0 8 0 163286476 937623552 46365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13748/tid=13751] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13751/stat : 13751 (java) S 13746 13748 13310 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163286476 937623552 46365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13748/tid=13752] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13752/stat : 13752 (java) S 13746 13748 13310 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163286476 937623552 46365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13748/tid=13753] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13753/stat : 13753 (java) S 13746 13748 13310 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163286480 937623552 46365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13748/tid=13754] ppid=13746 vsize=915648 CPUtime=0.44
/proc/13748/task/13754/stat : 13754 (java) S 13746 13748 13310 0 -1 64 543 0 0 0 42 2 0 0 16 0 8 0 163286480 937623552 46365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13748/tid=13755] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13755/stat : 13755 (java) S 13746 13748 13310 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163286480 937623552 46365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13748/tid=13756] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13756/stat : 13756 (java) S 13746 13748 13310 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163286480 937623552 46365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1475.1
Current children cumulated vsize (KiB) 915648

[startup+1544.49 s]
/proc/loadavg: 2.00 2.01 2.01 3/101 14097
/proc/meminfo: memFree=971416/2055920 swapFree=4165612/4192956
[pid=13748] ppid=13746 vsize=915648 CPUtime=1534.86
/proc/13748/stat : 13748 (java) R 13746 13748 13310 0 -1 0 46668 0 1 0 153374 112 0 0 25 0 8 0 163286472 937623552 46365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074148373 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13748/statm: 228912 46365 2546 14 0 215382 0
[pid=13748/tid=13750] ppid=13746 vsize=915648 CPUtime=1.53
/proc/13748/task/13750/stat : 13750 (java) S 13746 13748 13310 0 -1 64 29456 0 0 0 142 11 0 0 16 0 8 0 163286476 937623552 46365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13748/tid=13751] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13751/stat : 13751 (java) S 13746 13748 13310 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163286476 937623552 46365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13748/tid=13752] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13752/stat : 13752 (java) S 13746 13748 13310 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163286476 937623552 46365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13748/tid=13753] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13753/stat : 13753 (java) S 13746 13748 13310 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163286480 937623552 46365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13748/tid=13754] ppid=13746 vsize=915648 CPUtime=0.44
/proc/13748/task/13754/stat : 13754 (java) S 13746 13748 13310 0 -1 64 543 0 0 0 42 2 0 0 16 0 8 0 163286480 937623552 46365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13748/tid=13755] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13755/stat : 13755 (java) S 13746 13748 13310 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163286480 937623552 46365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13748/tid=13756] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13756/stat : 13756 (java) S 13746 13748 13310 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163286480 937623552 46365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1534.86
Current children cumulated vsize (KiB) 915648

[startup+1604.57 s]
/proc/loadavg: 2.04 2.02 2.01 3/101 14097
/proc/meminfo: memFree=971416/2055920 swapFree=4165612/4192956
[pid=13748] ppid=13746 vsize=915648 CPUtime=1594.6
/proc/13748/stat : 13748 (java) R 13746 13748 13310 0 -1 0 46668 0 1 0 159348 112 0 0 25 0 8 0 163286472 937623552 46365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074141907 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13748/statm: 228912 46365 2546 14 0 215382 0
[pid=13748/tid=13750] ppid=13746 vsize=915648 CPUtime=1.53
/proc/13748/task/13750/stat : 13750 (java) S 13746 13748 13310 0 -1 64 29456 0 0 0 142 11 0 0 16 0 8 0 163286476 937623552 46365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13748/tid=13751] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13751/stat : 13751 (java) S 13746 13748 13310 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163286476 937623552 46365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13748/tid=13752] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13752/stat : 13752 (java) S 13746 13748 13310 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163286476 937623552 46365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13748/tid=13753] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13753/stat : 13753 (java) S 13746 13748 13310 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163286480 937623552 46365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13748/tid=13754] ppid=13746 vsize=915648 CPUtime=0.44
/proc/13748/task/13754/stat : 13754 (java) S 13746 13748 13310 0 -1 64 543 0 0 0 42 2 0 0 16 0 8 0 163286480 937623552 46365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13748/tid=13755] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13755/stat : 13755 (java) S 13746 13748 13310 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163286480 937623552 46365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13748/tid=13756] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13756/stat : 13756 (java) S 13746 13748 13310 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163286480 937623552 46365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1594.6
Current children cumulated vsize (KiB) 915648

[startup+1664.65 s]
/proc/loadavg: 2.01 2.01 2.01 4/101 14097
/proc/meminfo: memFree=971352/2055920 swapFree=4165612/4192956
[pid=13748] ppid=13746 vsize=915648 CPUtime=1654.37
/proc/13748/stat : 13748 (java) R 13746 13748 13310 0 -1 0 46668 0 1 0 165324 113 0 0 25 0 8 0 163286472 937623552 46365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074162187 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13748/statm: 228912 46365 2546 14 0 215382 0
[pid=13748/tid=13750] ppid=13746 vsize=915648 CPUtime=1.53
/proc/13748/task/13750/stat : 13750 (java) S 13746 13748 13310 0 -1 64 29456 0 0 0 142 11 0 0 16 0 8 0 163286476 937623552 46365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13748/tid=13751] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13751/stat : 13751 (java) S 13746 13748 13310 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163286476 937623552 46365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13748/tid=13752] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13752/stat : 13752 (java) S 13746 13748 13310 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163286476 937623552 46365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13748/tid=13753] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13753/stat : 13753 (java) S 13746 13748 13310 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163286480 937623552 46365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13748/tid=13754] ppid=13746 vsize=915648 CPUtime=0.44
/proc/13748/task/13754/stat : 13754 (java) S 13746 13748 13310 0 -1 64 543 0 0 0 42 2 0 0 16 0 8 0 163286480 937623552 46365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13748/tid=13755] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13755/stat : 13755 (java) S 13746 13748 13310 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163286480 937623552 46365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13748/tid=13756] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13756/stat : 13756 (java) S 13746 13748 13310 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163286480 937623552 46365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1654.37
Current children cumulated vsize (KiB) 915648

[startup+1724.73 s]
/proc/loadavg: 2.00 2.01 2.00 3/101 14097
/proc/meminfo: memFree=971224/2055920 swapFree=4165612/4192956
[pid=13748] ppid=13746 vsize=915648 CPUtime=1714.13
/proc/13748/stat : 13748 (java) R 13746 13748 13310 0 -1 0 46668 0 1 0 171300 113 0 0 25 0 8 0 163286472 937623552 46365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074148363 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13748/statm: 228912 46365 2546 14 0 215382 0
[pid=13748/tid=13750] ppid=13746 vsize=915648 CPUtime=1.53
/proc/13748/task/13750/stat : 13750 (java) S 13746 13748 13310 0 -1 64 29456 0 0 0 142 11 0 0 16 0 8 0 163286476 937623552 46365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13748/tid=13751] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13751/stat : 13751 (java) S 13746 13748 13310 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163286476 937623552 46365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13748/tid=13752] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13752/stat : 13752 (java) S 13746 13748 13310 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163286476 937623552 46365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13748/tid=13753] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13753/stat : 13753 (java) S 13746 13748 13310 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163286480 937623552 46365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13748/tid=13754] ppid=13746 vsize=915648 CPUtime=0.44
/proc/13748/task/13754/stat : 13754 (java) S 13746 13748 13310 0 -1 64 543 0 0 0 42 2 0 0 16 0 8 0 163286480 937623552 46365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13748/tid=13755] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13755/stat : 13755 (java) S 13746 13748 13310 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163286480 937623552 46365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13748/tid=13756] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13756/stat : 13756 (java) S 13746 13748 13310 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163286480 937623552 46365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1714.13
Current children cumulated vsize (KiB) 915648

[startup+1784.82 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 14097
/proc/meminfo: memFree=971224/2055920 swapFree=4165612/4192956
[pid=13748] ppid=13746 vsize=915648 CPUtime=1773.86
/proc/13748/stat : 13748 (java) R 13746 13748 13310 0 -1 0 46668 0 1 0 177273 113 0 0 25 0 8 0 163286472 937623552 46365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074141881 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13748/statm: 228912 46365 2546 14 0 215382 0
[pid=13748/tid=13750] ppid=13746 vsize=915648 CPUtime=1.53
/proc/13748/task/13750/stat : 13750 (java) S 13746 13748 13310 0 -1 64 29456 0 0 0 142 11 0 0 16 0 8 0 163286476 937623552 46365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13748/tid=13751] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13751/stat : 13751 (java) S 13746 13748 13310 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163286476 937623552 46365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13748/tid=13752] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13752/stat : 13752 (java) S 13746 13748 13310 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163286476 937623552 46365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13748/tid=13753] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13753/stat : 13753 (java) S 13746 13748 13310 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163286480 937623552 46365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13748/tid=13754] ppid=13746 vsize=915648 CPUtime=0.44
/proc/13748/task/13754/stat : 13754 (java) S 13746 13748 13310 0 -1 64 543 0 0 0 42 2 0 0 16 0 8 0 163286480 937623552 46365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13748/tid=13755] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13755/stat : 13755 (java) S 13746 13748 13310 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163286480 937623552 46365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13748/tid=13756] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13756/stat : 13756 (java) S 13746 13748 13310 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163286480 937623552 46365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1773.86
Current children cumulated vsize (KiB) 915648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1811.15 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 14097
/proc/meminfo: memFree=971160/2055920 swapFree=4165612/4192956
[pid=13748] ppid=13746 vsize=915648 CPUtime=1800.06
/proc/13748/stat : 13748 (java) R 13746 13748 13310 0 -1 0 46668 0 1 0 179893 113 0 0 25 0 8 0 163286472 937623552 46365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074162181 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13748/statm: 228912 46365 2546 14 0 215382 0
[pid=13748/tid=13750] ppid=13746 vsize=915648 CPUtime=1.53
/proc/13748/task/13750/stat : 13750 (java) S 13746 13748 13310 0 -1 64 29456 0 0 0 142 11 0 0 16 0 8 0 163286476 937623552 46365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13748/tid=13751] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13751/stat : 13751 (java) S 13746 13748 13310 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163286476 937623552 46365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13748/tid=13752] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13752/stat : 13752 (java) S 13746 13748 13310 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163286476 937623552 46365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13748/tid=13753] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13753/stat : 13753 (java) S 13746 13748 13310 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163286480 937623552 46365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13748/tid=13754] ppid=13746 vsize=915648 CPUtime=0.44
/proc/13748/task/13754/stat : 13754 (java) S 13746 13748 13310 0 -1 64 543 0 0 0 42 2 0 0 16 0 8 0 163286480 937623552 46365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13748/tid=13755] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13755/stat : 13755 (java) S 13746 13748 13310 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163286480 937623552 46365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13748/tid=13756] ppid=13746 vsize=915648 CPUtime=0
/proc/13748/task/13756/stat : 13756 (java) S 13746 13748 13310 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163286480 937623552 46365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 915648

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

Child status: 143
Real time (s): 1811.2
CPU time (s): 1800.11
CPU user time (s): 1798.95
CPU system time (s): 1.16282
CPU usage (%): 99.3876
Max. virtual memory (cumulated for all children) (KiB): 915652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.95
system time used= 1.16282
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46684
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= 38396
involuntary context switches= 61159

runsolver used 2.50662 s user time and 6.04608 s system time

The end

Launcher Data (download as text)

Begin job on node1 on Sun Jan  7 05:48:27 UTC 2007


IDJOB= 201651
IDBENCH= 3776
FILE ID= node1/201651-1168148907

PBS_JOBID= 3478162

Free space on /tmp= 66302 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  7f084eb3a66440e5445613ae031b39b2

RANDOM SEED= 882575701

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.234
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.234
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:        935512 kB
Buffers:         53512 kB
Cached:         220920 kB
SwapCached:       4096 kB
Active:         907340 kB
Inactive:       144528 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        935512 kB
SwapTotal:     4192956 kB
SwapFree:      4165612 kB
Dirty:            5248 kB
Writeback:           0 kB
Mapped:         797396 kB
Slab:            51720 kB
Committed_AS:  5339400 kB
PageTables:       3848 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= 66303 MiB



End job on node1 on Sun Jan  7 06:18:38 UTC 2007