Trace number 201636

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.14 1811.08

General information on the benchmark

Namefapp/fapp11-15/fapp13/
fapp13-2000-6.xml
MD5SUMe57f0b8f90b7d128b396369733fed01f
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/201636-1168072438/unknown.xml
0.37	   
0.37	   domains being loaded...
0.41	   
0.41	   variables being loaded...
0.65	     nbVariables=2000  nbDomainTypes=49  minDomainSize=42  maxDomainSize=190
0.65	       =>  wckTime=0.332  cpuTime=0.23  mem=20M547
0.65	   
0.65	   predicates being loaded...
0.65	   
0.65	   constraints being loaded...
4.62	   
4.62	   INFO : Stopping converting binary constraints (cpu=4.02, mem = 45M482)
7.97	     nbConstraints=13669  nbMergedConstraints=11983  nbConvertedConstraints=202  nbConvertConstraintsChecks=4513582
7.97	     nbExtensionStructures=187  nbSharedExtensionStructures=15  nbConflictsStructures=187
7.97	     nbSharedConflictsStructures=15  nbSharedBinaryRepresentations=33852  nbEvaluationManagers=9717
7.97	     nbSharedEvaluationManagers=3750  maxDegree=17  maxArity=2
7.97	       =>  wckTime=7.658  cpuTime=6.9  mem=60M304
8.17	   
8.17	   solver IterativeSystematicSolver being built... 
8.63	       =>  wckTime=8.318  cpuTime=7.26  mem=93M832
25.35	   
25.35	   preprocessing
25.35	     nbConstraintChecks=28986714  nbValidityChecks=1343975  nbPropagations=2549  nbRevisions=40150
25.35	     nbUselessRevisions=36090  nbRemovedValues=133228  detectedInconsistency=no
25.35	       =>  wckTime=16.702  cpuTime=16.53  mem=93M832
32.59	   
32.59	   search
32.59	     run=0  nbConstraintChecks=9895051  nbValidityChecks=8656319  nbPropagations=12583  nbRevisions=164943
32.59	     nbUselessRevisions=149712  nbAssignments=197  nbFailedAssignments=9  nbBacktracks=10  nbVisitedNodes=213
32.59	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
32.59	       =>  wckTime=23.948  cpuTime=23.62  mem=73M161
35.28	   
35.28	   search
35.28	     run=1  nbConstraintChecks=12891248  nbValidityChecks=17425191  nbPropagations=35372  nbRevisions=457015
35.28	     nbUselessRevisions=415171  nbAssignments=401  nbFailedAssignments=18  nbBacktracks=26  nbVisitedNodes=435
35.28	     nbRestartNogoods=5  mapSize=24  nbInferences=0  nbTooLargeKeys=0
35.28	       =>  wckTime=26.636  cpuTime=26.27  mem=81M987
38.00	   
38.00	   search
38.00	     run=2  nbConstraintChecks=15909767  nbValidityChecks=26266332  nbPropagations=68503  nbRevisions=877825
38.00	     nbUselessRevisions=797610  nbAssignments=615  nbFailedAssignments=30  nbBacktracks=48  nbVisitedNodes=673
38.00	     nbRestartNogoods=8  mapSize=43  nbInferences=0  nbTooLargeKeys=0
38.00	       =>  wckTime=29.354  cpuTime=28.96  mem=90M251
40.83	   
40.83	   search
40.83	     run=3  nbConstraintChecks=19060604  nbValidityChecks=34945136  nbPropagations=111830  nbRevisions=1425409
40.83	     nbUselessRevisions=1293273  nbAssignments=851  nbFailedAssignments=78  nbBacktracks=81  nbVisitedNodes=973
40.83	     nbRestartNogoods=11  mapSize=69  nbInferences=0  nbTooLargeKeys=0
40.83	       =>  wckTime=32.181  cpuTime=31.76  mem=97M422
50.28	   
50.28	   search
50.28	     run=4  nbConstraintChecks=30677390  nbValidityChecks=49321009  nbPropagations=181345  nbRevisions=2298837
50.28	     nbUselessRevisions=2077734  nbAssignments=1255  nbFailedAssignments=102  nbBacktracks=132  nbVisitedNodes=1411
50.28	     nbRestartNogoods=14  mapSize=89  nbInferences=0  nbTooLargeKeys=0
50.28	       =>  wckTime=41.63  cpuTime=41.11  mem=112M692
55.98	   
55.98	   search
55.98	     run=5  nbConstraintChecks=36089774  nbValidityChecks=65187802  nbPropagations=281051  nbRevisions=3551236
55.98	     nbUselessRevisions=3196941  nbAssignments=1684  nbFailedAssignments=131  nbBacktracks=208  nbVisitedNodes=1889
55.98	     nbRestartNogoods=25  mapSize=128  nbInferences=0  nbTooLargeKeys=0
55.98	       =>  wckTime=47.338  cpuTime=46.72  mem=94M701
61.79	   
61.79	   search
61.79	     run=6  nbConstraintChecks=41833524  nbValidityChecks=80031776  nbPropagations=406671  nbRevisions=5131530
61.79	     nbUselessRevisions=4604211  nbAssignments=2157  nbFailedAssignments=154  nbBacktracks=323  nbVisitedNodes=2409
61.79	     nbRestartNogoods=27  mapSize=164  nbInferences=0  nbTooLargeKeys=0
61.79	       =>  wckTime=53.145  cpuTime=52.46  mem=112M915
67.75	   
67.75	   search
67.75	     run=7  nbConstraintChecks=47379798  nbValidityChecks=96594131  nbPropagations=563265  nbRevisions=7109102
67.75	     nbUselessRevisions=6358051  nbAssignments=2697  nbFailedAssignments=179  nbBacktracks=499  nbVisitedNodes=3017
67.75	     nbRestartNogoods=36  mapSize=227  nbInferences=0  nbTooLargeKeys=0
67.75	       =>  wckTime=59.102  cpuTime=58.37  mem=132M914
77.22	   
77.22	   search
77.22	     run=8  nbConstraintChecks=55989546  nbValidityChecks=119667468  nbPropagations=770866  nbRevisions=9742818
77.22	     nbUselessRevisions=8673053  nbAssignments=3394  nbFailedAssignments=273  nbBacktracks=760  nbVisitedNodes=3868
77.22	     nbRestartNogoods=39  mapSize=325  nbInferences=0  nbTooLargeKeys=0
77.22	       =>  wckTime=68.573  cpuTime=67.71  mem=121M243
97.22	   
97.22	   search
97.22	     run=9  nbConstraintChecks=73239897  nbValidityChecks=163164606  nbPropagations=1093279  nbRevisions=13872435
97.22	     nbUselessRevisions=12217768  nbAssignments=4498  nbFailedAssignments=673  nbBacktracks=1151  nbVisitedNodes=5508
97.22	     nbRestartNogoods=45  mapSize=584  nbInferences=0  nbTooLargeKeys=0
97.22	       =>  wckTime=88.577  cpuTime=87.48  mem=120M97
118.89	   
118.89	   search
118.89	     run=10  nbConstraintChecks=93500720  nbValidityChecks=205189813  nbPropagations=1539207  nbRevisions=19523497
118.89	     nbUselessRevisions=17062054  nbAssignments=5789  nbFailedAssignments=1025  nbBacktracks=1727  nbVisitedNodes=7318
118.89	     nbRestartNogoods=52  mapSize=896  nbInferences=1  nbTooLargeKeys=0
118.89	       =>  wckTime=110.242  cpuTime=108.95  mem=156M71
132.93	   
132.93	   INFO : Stopping hyperNogood (mapSize=1019, nbTooLargekeys=0, mem=148M652)
152.84	   
152.84	   search
152.84	     run=11  nbConstraintChecks=130412936  nbValidityChecks=275556169  nbPropagations=2109545  nbRevisions=26852192
152.84	     nbUselessRevisions=23272120  nbAssignments=7674  nbFailedAssignments=1844  nbBacktracks=2594  nbVisitedNodes=10276
152.84	     nbRestartNogoods=70
152.84	       =>  wckTime=144.192  cpuTime=142.53  mem=148M652
330.11	   
330.11	   search
330.11	     run=12  nbConstraintChecks=330920669  nbValidityChecks=635878614  nbPropagations=3252036  nbRevisions=42188218
330.11	     nbUselessRevisions=35575290  nbAssignments=12429  nbFailedAssignments=5144  nbBacktracks=3892  nbVisitedNodes=19099
330.11	     nbRestartNogoods=110
330.11	       =>  wckTime=321.469  cpuTime=318.19  mem=149M36
411.01	   
411.01	   search
411.01	     run=13  nbConstraintChecks=400100785  nbValidityChecks=811269070  nbPropagations=4955353  nbRevisions=64723981
411.01	     nbUselessRevisions=54003094  nbAssignments=15804  nbFailedAssignments=6285  nbBacktracks=5838  nbVisitedNodes=24200
411.01	     nbRestartNogoods=136
411.01	       =>  wckTime=402.363  cpuTime=398.35  mem=149M36
531.20	   
531.20	   search
531.20	     run=14  nbConstraintChecks=528531300  nbValidityChecks=1073910523  nbPropagations=7139268  nbRevisions=93931001
531.20	     nbUselessRevisions=77873495  nbAssignments=21900  nbFailedAssignments=9336  nbBacktracks=8757  nbVisitedNodes=34329
531.20	     nbRestartNogoods=163
531.20	       =>  wckTime=522.559  cpuTime=517.44  mem=149M36
905.48	   
905.48	   search
905.48	     run=15  nbConstraintChecks=830437077  nbValidityChecks=1844622378  nbPropagations=11731920  nbRevisions=156003655
905.48	     nbUselessRevisions=128930923  nbAssignments=33686  nbFailedAssignments=16528  nbBacktracks=13145
905.48	     nbVisitedNodes=55028  nbRestartNogoods=205
905.48	       =>  wckTime=896.833  cpuTime=888.31  mem=149M36
1176.86	   
1176.86	   search
1176.86	     run=16  nbConstraintChecks=1040179588  nbValidityChecks=2455439204  nbPropagations=18524604  nbRevisions=247174723
1176.86	     nbUselessRevisions=204492572  nbAssignments=48589  nbFailedAssignments=24646  nbBacktracks=19716
1176.86	     nbVisitedNodes=81335  nbRestartNogoods=229
1176.86	       =>  wckTime=1168.217  cpuTime=1157.72  mem=149M36

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

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

/proc/loadavg: 1.99 2.01 1.94 4/93 24360
/proc/meminfo: memFree=1396904/2055920 swapFree=4182236/4192956
[pid=24359] ppid=24357 vsize=906644 CPUtime=0.02
/proc/24359/stat : 24359 (java) S 24357 24359 24118 0 -1 0 2069 0 1 0 1 1 0 0 18 0 2 0 155638913 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/24359/statm: 226661 1818 1036 14 0 214244 0
[pid=24359/tid=24361] ppid=24357 vsize=906644 CPUtime=0
/proc/24359/task/24361/stat : 24361 (java) R 24357 24359 24118 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 155638917 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0

[startup+0.103087 s]
/proc/loadavg: 1.99 2.01 1.94 4/93 24360
/proc/meminfo: memFree=1396904/2055920 swapFree=4182236/4192956
[pid=24359] ppid=24357 vsize=914988 CPUtime=0.08
/proc/24359/stat : 24359 (java) R 24357 24359 24118 0 -1 0 3001 0 1 0 7 1 0 0 17 0 8 0 155638913 936947712 2747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072940626 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24359/statm: 228747 2747 1428 14 0 215242 0
[pid=24359/tid=24361] ppid=24357 vsize=914988 CPUtime=0
/proc/24359/task/24361/stat : 24361 (java) S 24357 24359 24118 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 155638917 936947712 2747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.513127 s]
/proc/loadavg: 1.99 2.01 1.94 4/93 24360
/proc/meminfo: memFree=1396904/2055920 swapFree=4182236/4192956
[pid=24359] ppid=24357 vsize=915328 CPUtime=0.5
/proc/24359/stat : 24359 (java) R 24357 24359 24118 0 -1 0 7019 0 1 0 46 4 0 0 18 0 8 0 155638913 937295872 6758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072897970 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24359/statm: 228832 6758 2138 14 0 215302 0
[pid=24359/tid=24361] ppid=24357 vsize=915328 CPUtime=0
/proc/24359/task/24361/stat : 24361 (java) S 24357 24359 24118 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 155638917 937295872 6758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.33421 s]
/proc/loadavg: 2.07 2.02 1.95 4/100 24367
/proc/meminfo: memFree=1328624/2055920 swapFree=4182236/4192956
[pid=24359] ppid=24357 vsize=915648 CPUtime=1.31
/proc/24359/stat : 24359 (java) R 24357 24359 24118 0 -1 0 21467 0 1 0 121 10 0 0 19 0 8 0 155638913 937623552 21204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153380220 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24359/statm: 228912 21204 2160 14 0 215382 0
[pid=24359/tid=24361] ppid=24357 vsize=915648 CPUtime=0.08
/proc/24359/task/24361/stat : 24361 (java) S 24357 24359 24118 0 -1 64 4924 0 0 0 7 1 0 0 16 0 8 0 155638917 937623552 21204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24362] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24362/stat : 24362 (java) S 24357 24359 24118 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155638918 937623552 21204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24363] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24363/stat : 24363 (java) S 24357 24359 24118 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155638918 937623552 21204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24364] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24364/stat : 24364 (java) S 24357 24359 24118 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155638921 937623552 21204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24365] ppid=24357 vsize=915648 CPUtime=0.16
/proc/24359/task/24365/stat : 24365 (java) S 24357 24359 24118 0 -1 64 409 0 0 0 16 0 0 0 19 0 8 0 155638921 937623552 21204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24366] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24366/stat : 24366 (java) S 24357 24359 24118 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155638921 937623552 21204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24367] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24367/stat : 24367 (java) S 24357 24359 24118 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155638921 937623552 21204 18446744073709551615 134512640 134570532 4294956464 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.97136 s]
/proc/loadavg: 2.07 2.02 1.95 3/100 24367
/proc/meminfo: memFree=1320176/2055920 swapFree=4182236/4192956
[pid=24359] ppid=24357 vsize=915648 CPUtime=2.93
/proc/24359/stat : 24359 (java) R 24357 24359 24118 0 -1 0 21557 0 1 0 282 11 0 0 25 0 8 0 155638913 937623552 21292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831590 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24359/statm: 228912 21292 2181 14 0 215382 0
[pid=24359/tid=24361] ppid=24357 vsize=915648 CPUtime=0.11
/proc/24359/task/24361/stat : 24361 (java) S 24357 24359 24118 0 -1 64 4924 0 0 0 10 1 0 0 17 0 8 0 155638917 937623552 21292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24362] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24362/stat : 24362 (java) S 24357 24359 24118 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155638918 937623552 21292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24363] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24363/stat : 24363 (java) S 24357 24359 24118 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155638918 937623552 21292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24364] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24364/stat : 24364 (java) S 24357 24359 24118 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155638921 937623552 21292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24365] ppid=24357 vsize=915648 CPUtime=0.2
/proc/24359/task/24365/stat : 24365 (java) S 24357 24359 24118 0 -1 64 435 0 0 0 20 0 0 0 16 0 8 0 155638921 937623552 21292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24366] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24366/stat : 24366 (java) S 24357 24359 24118 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155638921 937623552 21292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24367] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24367/stat : 24367 (java) S 24357 24359 24118 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155638921 937623552 21292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915648

[startup+6.26568 s]
/proc/loadavg: 2.07 2.02 1.95 3/100 24367
/proc/meminfo: memFree=1307120/2055920 swapFree=4182236/4192956
[pid=24359] ppid=24357 vsize=915648 CPUtime=6.19
/proc/24359/stat : 24359 (java) R 24357 24359 24118 0 -1 0 25580 0 1 0 605 14 0 0 25 0 8 0 155638913 937623552 25311 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153901176 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24359/statm: 228912 25311 2182 14 0 215382 0
[pid=24359/tid=24361] ppid=24357 vsize=915648 CPUtime=0.3
/proc/24359/task/24361/stat : 24361 (java) S 24357 24359 24118 0 -1 64 8930 0 0 0 26 4 0 0 16 0 8 0 155638917 937623552 25311 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24362] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24362/stat : 24362 (java) S 24357 24359 24118 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155638918 937623552 25311 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24363] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24363/stat : 24363 (java) S 24357 24359 24118 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155638918 937623552 25311 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24364] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24364/stat : 24364 (java) S 24357 24359 24118 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155638921 937623552 25311 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24365] ppid=24357 vsize=915648 CPUtime=0.23
/proc/24359/task/24365/stat : 24365 (java) S 24357 24359 24118 0 -1 64 448 0 0 0 23 0 0 0 16 0 8 0 155638921 937623552 25311 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24366] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24366/stat : 24366 (java) S 24357 24359 24118 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155638921 937623552 25311 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24367] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24367/stat : 24367 (java) S 24357 24359 24118 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155638921 937623552 25311 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915648

[startup+12.7493 s]
/proc/loadavg: 2.06 2.02 1.95 3/100 24367
/proc/meminfo: memFree=1282352/2055920 swapFree=4182236/4192956
[pid=24359] ppid=24357 vsize=915648 CPUtime=12.61
/proc/24359/stat : 24359 (java) R 24357 24359 24118 0 -1 0 31350 0 1 0 1244 17 0 0 25 0 8 0 155638913 937623552 31075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074156943 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24359/statm: 228912 31075 2533 14 0 215382 0
[pid=24359/tid=24361] ppid=24357 vsize=915648 CPUtime=0.69
/proc/24359/task/24361/stat : 24361 (java) S 24357 24359 24118 0 -1 64 14223 0 0 0 63 6 0 0 16 0 8 0 155638917 937623552 31075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24362] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24362/stat : 24362 (java) S 24357 24359 24118 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155638918 937623552 31075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24363] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24363/stat : 24363 (java) S 24357 24359 24118 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155638918 937623552 31075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24364] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24364/stat : 24364 (java) S 24357 24359 24118 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155638921 937623552 31075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24365] ppid=24357 vsize=915648 CPUtime=0.34
/proc/24359/task/24365/stat : 24365 (java) S 24357 24359 24118 0 -1 64 508 0 0 0 33 1 0 0 15 0 8 0 155638921 937623552 31075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24366] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24366/stat : 24366 (java) S 24357 24359 24118 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155638921 937623552 31075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24367] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24367/stat : 24367 (java) S 24357 24359 24118 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155638921 937623552 31075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915648

[startup+25.6215 s]
/proc/loadavg: 2.05 2.02 1.95 3/100 24367
/proc/meminfo: memFree=1282480/2055920 swapFree=4182236/4192956
[pid=24359] ppid=24357 vsize=915648 CPUtime=25.36
/proc/24359/stat : 24359 (java) R 24357 24359 24118 0 -1 0 31364 0 1 0 2519 17 0 0 25 0 8 0 155638913 937623552 31084 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831367 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24359/statm: 228912 31084 2534 14 0 215382 0
[pid=24359/tid=24361] ppid=24357 vsize=915648 CPUtime=0.69
/proc/24359/task/24361/stat : 24361 (java) S 24357 24359 24118 0 -1 64 14223 0 0 0 63 6 0 0 17 0 8 0 155638917 937623552 31084 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24362] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24362/stat : 24362 (java) S 24357 24359 24118 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155638918 937623552 31084 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24363] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24363/stat : 24363 (java) S 24357 24359 24118 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155638918 937623552 31084 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24364] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24364/stat : 24364 (java) S 24357 24359 24118 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155638921 937623552 31084 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24365] ppid=24357 vsize=915648 CPUtime=0.35
/proc/24359/task/24365/stat : 24365 (java) S 24357 24359 24118 0 -1 64 517 0 0 0 34 1 0 0 15 0 8 0 155638921 937623552 31084 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24366] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24366/stat : 24366 (java) S 24357 24359 24118 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155638921 937623552 31084 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24367] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24367/stat : 24367 (java) S 24357 24359 24118 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155638921 937623552 31084 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915648

[startup+51.2519 s]
/proc/loadavg: 2.08 2.03 1.95 3/100 24367
/proc/meminfo: memFree=1263536/2055920 swapFree=4182236/4192956
[pid=24359] ppid=24357 vsize=915648 CPUtime=50.77
/proc/24359/stat : 24359 (java) R 24357 24359 24118 0 -1 0 36101 0 1 0 5057 20 0 0 25 0 8 0 155638913 937623552 35813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074136286 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24359/statm: 228912 35813 2538 14 0 215382 0
[pid=24359/tid=24361] ppid=24357 vsize=915648 CPUtime=0.76
/proc/24359/task/24361/stat : 24361 (java) S 24357 24359 24118 0 -1 64 18932 0 0 0 68 8 0 0 17 0 8 0 155638917 937623552 35813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24362] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24362/stat : 24362 (java) S 24357 24359 24118 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155638918 937623552 35813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24363] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24363/stat : 24363 (java) S 24357 24359 24118 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155638918 937623552 35813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24364] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24364/stat : 24364 (java) S 24357 24359 24118 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155638921 937623552 35813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24365] ppid=24357 vsize=915648 CPUtime=0.38
/proc/24359/task/24365/stat : 24365 (java) S 24357 24359 24118 0 -1 64 533 0 0 0 37 1 0 0 16 0 8 0 155638921 937623552 35813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24366] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24366/stat : 24366 (java) S 24357 24359 24118 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155638921 937623552 35813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24367] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24367/stat : 24367 (java) S 24357 24359 24118 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155638921 937623552 35813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 915648

[startup+102.517 s]
/proc/loadavg: 2.03 2.03 1.95 4/100 24367
/proc/meminfo: memFree=1216240/2055920 swapFree=4182236/4192956
[pid=24359] ppid=24357 vsize=915648 CPUtime=101.56
/proc/24359/stat : 24359 (java) R 24357 24359 24118 0 -1 0 47923 0 1 0 10129 27 0 0 25 0 8 0 155638913 937623552 47623 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074138726 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24359/statm: 228912 47623 2538 14 0 215382 0
[pid=24359/tid=24361] ppid=24357 vsize=915648 CPUtime=0.88
/proc/24359/task/24361/stat : 24361 (java) S 24357 24359 24118 0 -1 64 30733 0 0 0 74 14 0 0 16 0 8 0 155638917 937623552 47623 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24362] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24362/stat : 24362 (java) S 24357 24359 24118 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155638918 937623552 47623 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24363] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24363/stat : 24363 (java) S 24357 24359 24118 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155638918 937623552 47623 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24364] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24364/stat : 24364 (java) S 24357 24359 24118 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155638921 937623552 47623 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24365] ppid=24357 vsize=915648 CPUtime=0.41
/proc/24359/task/24365/stat : 24365 (java) S 24357 24359 24118 0 -1 64 545 0 0 0 39 2 0 0 16 0 8 0 155638921 937623552 47623 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24366] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24366/stat : 24366 (java) S 24357 24359 24118 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155638921 937623552 47623 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24367] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24367/stat : 24367 (java) S 24357 24359 24118 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155638921 937623552 47623 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.56
Current children cumulated vsize (KiB) 915648

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

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

[startup+1482.87 s]
/proc/loadavg: 2.00 2.00 1.98 3/100 24425
/proc/meminfo: memFree=1147568/2055920 swapFree=4182236/4192956
[pid=24359] ppid=24357 vsize=915648 CPUtime=1472.31
/proc/24359/stat : 24359 (java) R 24357 24359 24118 0 -1 0 53877 0 1 0 147191 40 0 0 25 0 8 0 155638913 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074136382 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24359/statm: 228912 53572 2538 14 0 215382 0
[pid=24359/tid=24361] ppid=24357 vsize=915648 CPUtime=0.93
/proc/24359/task/24361/stat : 24361 (java) S 24357 24359 24118 0 -1 64 36679 0 0 0 77 16 0 0 16 0 8 0 155638917 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24362] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24362/stat : 24362 (java) S 24357 24359 24118 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155638918 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24363] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24363/stat : 24363 (java) S 24357 24359 24118 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155638918 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24364] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24364/stat : 24364 (java) S 24357 24359 24118 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155638921 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24365] ppid=24357 vsize=915648 CPUtime=0.43
/proc/24359/task/24365/stat : 24365 (java) S 24357 24359 24118 0 -1 64 550 0 0 0 41 2 0 0 16 0 8 0 155638921 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24366] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24366/stat : 24366 (java) S 24357 24359 24118 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155638921 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24367] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24367/stat : 24367 (java) S 24357 24359 24118 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155638921 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1472.31
Current children cumulated vsize (KiB) 915648

[startup+1542.89 s]
/proc/loadavg: 2.04 2.01 1.98 3/100 24425
/proc/meminfo: memFree=1147568/2055920 swapFree=4182236/4192956
[pid=24359] ppid=24357 vsize=915648 CPUtime=1532.27
/proc/24359/stat : 24359 (java) R 24357 24359 24118 0 -1 0 53877 0 1 0 153187 40 0 0 25 0 8 0 155638913 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074157019 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24359/statm: 228912 53572 2538 14 0 215382 0
[pid=24359/tid=24361] ppid=24357 vsize=915648 CPUtime=0.93
/proc/24359/task/24361/stat : 24361 (java) S 24357 24359 24118 0 -1 64 36679 0 0 0 77 16 0 0 16 0 8 0 155638917 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24362] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24362/stat : 24362 (java) S 24357 24359 24118 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155638918 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24363] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24363/stat : 24363 (java) S 24357 24359 24118 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155638918 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24364] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24364/stat : 24364 (java) S 24357 24359 24118 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155638921 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24365] ppid=24357 vsize=915648 CPUtime=0.43
/proc/24359/task/24365/stat : 24365 (java) S 24357 24359 24118 0 -1 64 550 0 0 0 41 2 0 0 16 0 8 0 155638921 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24366] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24366/stat : 24366 (java) S 24357 24359 24118 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155638921 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24367] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24367/stat : 24367 (java) S 24357 24359 24118 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155638921 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1532.27
Current children cumulated vsize (KiB) 915648

[startup+1602.9 s]
/proc/loadavg: 2.01 2.01 1.98 3/100 24425
/proc/meminfo: memFree=1147568/2055920 swapFree=4182236/4192956
[pid=24359] ppid=24357 vsize=915648 CPUtime=1592.24
/proc/24359/stat : 24359 (java) R 24357 24359 24118 0 -1 0 53877 0 1 0 159183 41 0 0 25 0 8 0 155638913 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835377 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24359/statm: 228912 53572 2538 14 0 215382 0
[pid=24359/tid=24361] ppid=24357 vsize=915648 CPUtime=0.93
/proc/24359/task/24361/stat : 24361 (java) S 24357 24359 24118 0 -1 64 36679 0 0 0 77 16 0 0 16 0 8 0 155638917 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24362] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24362/stat : 24362 (java) S 24357 24359 24118 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155638918 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24363] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24363/stat : 24363 (java) S 24357 24359 24118 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155638918 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24364] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24364/stat : 24364 (java) S 24357 24359 24118 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155638921 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24365] ppid=24357 vsize=915648 CPUtime=0.43
/proc/24359/task/24365/stat : 24365 (java) S 24357 24359 24118 0 -1 64 550 0 0 0 41 2 0 0 16 0 8 0 155638921 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24366] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24366/stat : 24366 (java) S 24357 24359 24118 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155638921 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24367] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24367/stat : 24367 (java) S 24357 24359 24118 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155638921 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1592.24
Current children cumulated vsize (KiB) 915648

[startup+1662.94 s]
/proc/loadavg: 2.00 2.00 1.98 3/106 24563
/proc/meminfo: memFree=1146352/2055920 swapFree=4182236/4192956
[pid=24359] ppid=24357 vsize=915648 CPUtime=1652.14
/proc/24359/stat : 24359 (java) R 24357 24359 24118 0 -1 0 53877 0 1 0 165164 50 0 0 25 0 8 0 155638913 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074135031 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24359/statm: 228912 53572 2538 14 0 215382 0
[pid=24359/tid=24361] ppid=24357 vsize=915648 CPUtime=0.93
/proc/24359/task/24361/stat : 24361 (java) S 24357 24359 24118 0 -1 64 36679 0 0 0 77 16 0 0 16 0 8 0 155638917 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24362] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24362/stat : 24362 (java) S 24357 24359 24118 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155638918 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24363] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24363/stat : 24363 (java) S 24357 24359 24118 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155638918 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24364] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24364/stat : 24364 (java) S 24357 24359 24118 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155638921 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24365] ppid=24357 vsize=915648 CPUtime=0.43
/proc/24359/task/24365/stat : 24365 (java) S 24357 24359 24118 0 -1 64 550 0 0 0 41 2 0 0 16 0 8 0 155638921 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24366] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24366/stat : 24366 (java) S 24357 24359 24118 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155638921 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24367] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24367/stat : 24367 (java) S 24357 24359 24118 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155638921 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1652.14
Current children cumulated vsize (KiB) 915648

[startup+1722.97 s]
/proc/loadavg: 2.00 2.00 1.98 3/100 24623
/proc/meminfo: memFree=1147312/2055920 swapFree=4182236/4192956
[pid=24359] ppid=24357 vsize=915648 CPUtime=1712.12
/proc/24359/stat : 24359 (java) R 24357 24359 24118 0 -1 0 53877 0 1 0 171151 61 0 0 25 0 8 0 155638913 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074138738 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24359/statm: 228912 53572 2538 14 0 215382 0
[pid=24359/tid=24361] ppid=24357 vsize=915648 CPUtime=0.93
/proc/24359/task/24361/stat : 24361 (java) S 24357 24359 24118 0 -1 64 36679 0 0 0 77 16 0 0 16 0 8 0 155638917 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24362] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24362/stat : 24362 (java) S 24357 24359 24118 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155638918 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24363] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24363/stat : 24363 (java) S 24357 24359 24118 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155638918 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24364] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24364/stat : 24364 (java) S 24357 24359 24118 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155638921 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24365] ppid=24357 vsize=915648 CPUtime=0.43
/proc/24359/task/24365/stat : 24365 (java) S 24357 24359 24118 0 -1 64 550 0 0 0 41 2 0 0 16 0 8 0 155638921 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24366] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24366/stat : 24366 (java) S 24357 24359 24118 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155638921 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24367] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24367/stat : 24367 (java) S 24357 24359 24118 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155638921 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1712.12
Current children cumulated vsize (KiB) 915648

[startup+1782.99 s]
/proc/loadavg: 2.00 2.00 1.98 3/100 24623
/proc/meminfo: memFree=1147312/2055920 swapFree=4182236/4192956
[pid=24359] ppid=24357 vsize=915648 CPUtime=1772.09
/proc/24359/stat : 24359 (java) R 24357 24359 24118 0 -1 0 53877 0 1 0 177148 61 0 0 25 0 8 0 155638913 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074137399 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24359/statm: 228912 53572 2538 14 0 215382 0
[pid=24359/tid=24361] ppid=24357 vsize=915648 CPUtime=0.93
/proc/24359/task/24361/stat : 24361 (java) S 24357 24359 24118 0 -1 64 36679 0 0 0 77 16 0 0 16 0 8 0 155638917 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24362] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24362/stat : 24362 (java) S 24357 24359 24118 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155638918 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24363] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24363/stat : 24363 (java) S 24357 24359 24118 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155638918 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24364] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24364/stat : 24364 (java) S 24357 24359 24118 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155638921 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24365] ppid=24357 vsize=915648 CPUtime=0.43
/proc/24359/task/24365/stat : 24365 (java) S 24357 24359 24118 0 -1 64 550 0 0 0 41 2 0 0 16 0 8 0 155638921 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24366] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24366/stat : 24366 (java) S 24357 24359 24118 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155638921 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24367] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24367/stat : 24367 (java) S 24357 24359 24118 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155638921 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1772.09
Current children cumulated vsize (KiB) 915648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1810.99 s]
/proc/loadavg: 2.00 2.00 1.98 3/100 24623
/proc/meminfo: memFree=1147312/2055920 swapFree=4182236/4192956
[pid=24359] ppid=24357 vsize=915648 CPUtime=1800.05
/proc/24359/stat : 24359 (java) R 24357 24359 24118 0 -1 0 53877 0 1 0 179944 61 0 0 25 0 8 0 155638913 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24359/statm: 228912 53572 2538 14 0 215382 0
[pid=24359/tid=24361] ppid=24357 vsize=915648 CPUtime=0.93
/proc/24359/task/24361/stat : 24361 (java) S 24357 24359 24118 0 -1 64 36679 0 0 0 77 16 0 0 16 0 8 0 155638917 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24362] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24362/stat : 24362 (java) S 24357 24359 24118 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155638918 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24363] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24363/stat : 24363 (java) S 24357 24359 24118 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155638918 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24364] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24364/stat : 24364 (java) S 24357 24359 24118 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155638921 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24365] ppid=24357 vsize=915648 CPUtime=0.43
/proc/24359/task/24365/stat : 24365 (java) S 24357 24359 24118 0 -1 64 550 0 0 0 41 2 0 0 16 0 8 0 155638921 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24366] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24366/stat : 24366 (java) S 24357 24359 24118 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155638921 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24359/tid=24367] ppid=24357 vsize=915648 CPUtime=0
/proc/24359/task/24367/stat : 24367 (java) S 24357 24359 24118 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155638921 937623552 53572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 915648

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

Child status: 143
Real time (s): 1811.08
CPU time (s): 1800.14
CPU user time (s): 1799.5
CPU system time (s): 0.644901
CPU usage (%): 99.3958
Max. virtual memory (cumulated for all children) (KiB): 915648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.5
system time used= 0.644901
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53892
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= 38321
involuntary context switches= 79566

runsolver used 2.37764 s user time and 5.64814 s system time

The end

Launcher Data (download as text)

Begin job on node14 on Sat Jan  6 08:33:59 UTC 2007


IDJOB= 201636
IDBENCH= 3775
FILE ID= node14/201636-1168072438

PBS_JOBID= 3475716

Free space on /tmp= 66322 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  e57f0b8f90b7d128b396369733fed01f

RANDOM SEED= 422829025

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:       1397384 kB
Buffers:         57424 kB
Cached:         363948 kB
SwapCached:       3696 kB
Active:         203164 kB
Inactive:       355240 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1397384 kB
SwapTotal:     4192956 kB
SwapFree:      4182236 kB
Dirty:            5372 kB
Writeback:           0 kB
Mapped:         156480 kB
Slab:            84748 kB
Committed_AS:  5451684 kB
PageTables:       2388 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= 66319 MiB



End job on node14 on Sat Jan  6 09:04:11 UTC 2007