Trace number 200767

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.16 1800.69

General information on the benchmark

Namefapp/fapp11-15/fapp14/
fapp14-2500-8.xml
MD5SUMd6ce1f8e3582b18bc2617fcf582120b7
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 variables2500
Number of constraints40767
Maximum constraint arity2
Maximum domain size362
Number of constraints which are defined in extension0
Number of constraints which are defined in intension40767
Global constraints used (with number of constraints)

Solver Data (download as text)

0.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=esac.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/200767-1168143393/unknown.xml
0.35	   
0.35	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.67	     nbVariables=2500  nbDomainTypes=30  minDomainSize=42  maxDomainSize=362
0.67	       =>  wckTime=0.378  cpuTime=0.29  mem=35M193
0.67	   
0.67	   predicates being loaded...
0.68	   
0.68	   constraints being loaded...
201.67	   
201.67	   INFO : Stopping converting binary constraints (cpu=200.05, mem = 139M326)
206.15	     nbConstraints=21610  nbMergedConstraints=19157  nbConvertedConstraints=3816  nbConvertConstraintsChecks=333068056
206.15	     nbExtensionStructures=3264  nbSharedExtensionStructures=552  nbConflictsStructures=3264
206.15	     nbSharedConflictsStructures=552  nbSharedBinaryRepresentations=1585540  nbEvaluationManagers=13112
206.15	     nbSharedEvaluationManagers=4682  maxDegree=27  maxArity=2
206.15	       =>  wckTime=205.858  cpuTime=203.98  mem=170M429
206.62	   
206.62	   solver IterativeSystematicSolver being built... 
207.23	       =>  wckTime=206.934  cpuTime=204.41  mem=224M514
315.15	   
315.15	   INFO : Stopping ESAC
315.15	   
315.15	   preprocessing
315.15	     nbConstraintChecks=201498808  nbValidityChecks=54115246  nbPropagations=26910  nbRevisions=409189
315.15	     nbUselessRevisions=376842  nbSingletonTests=446  nbEffectiveSingletonTests=3  nbESACBranches=13
315.15	     nbRemovedValues=325591  detectedInconsistency=no
315.15	       =>  wckTime=107.899  cpuTime=107.82  mem=224M514
320.04	   
320.04	   search
320.04	     run=0  nbConstraintChecks=7508848  nbValidityChecks=6196651  nbPropagations=30911  nbRevisions=474225
320.04	     nbUselessRevisions=434011  nbAssignments=91  nbFailedAssignments=39  nbBacktracks=11  nbVisitedNodes=138
320.04	     nbRestartNogoods=0  mapSize=0  nbInferences=0  nbTooLargeKeys=52
320.04	       =>  wckTime=112.787  cpuTime=112.63  mem=201M400
345.50	   
345.50	   search
345.50	     run=1  nbConstraintChecks=54302147  nbValidityChecks=41708466  nbPropagations=88738  nbRevisions=1328287
345.50	     nbUselessRevisions=1213976  nbAssignments=1016  nbFailedAssignments=99  nbBacktracks=27  nbVisitedNodes=1131
345.50	     nbRestartNogoods=1  mapSize=0  nbInferences=0  nbTooLargeKeys=917
345.50	       =>  wckTime=138.251  cpuTime=138.08  mem=201M400
660.24	   
660.24	   INFO : Stopping hyperNogood (mapSize=0, nbTooLargekeys=1201, mem=201M400)
660.39	   
660.39	   search
660.39	     run=2  nbConstraintChecks=724016123  nbValidityChecks=920640461  nbPropagations=683241  nbRevisions=9828550
660.39	     nbUselessRevisions=9050295  nbAssignments=17610  nbFailedAssignments=190  nbBacktracks=53  nbVisitedNodes=1608
660.39	     nbRestartNogoods=44
660.39	       =>  wckTime=453.145  cpuTime=452.87  mem=201M400
753.27	   
753.27	   search
753.27	     run=3  nbConstraintChecks=927732827  nbValidityChecks=1141777361  nbPropagations=1378364  nbRevisions=19898037
753.27	     nbUselessRevisions=18323979  nbAssignments=19698  nbFailedAssignments=324  nbBacktracks=86  nbVisitedNodes=2157
753.27	     nbRestartNogoods=71
753.27	       =>  wckTime=546.021  cpuTime=545.71  mem=201M400
764.29	   
764.29	   search
764.29	     run=4  nbConstraintChecks=949748169  nbValidityChecks=1167137621  nbPropagations=2088605  nbRevisions=30233626
764.29	     nbUselessRevisions=27835903  nbAssignments=20109  nbFailedAssignments=421  nbBacktracks=139  nbVisitedNodes=2648
764.29	     nbRestartNogoods=81
764.29	       =>  wckTime=557.034  cpuTime=556.71  mem=201M400
774.20	   
774.20	   search
774.20	     run=5  nbConstraintChecks=968511634  nbValidityChecks=1187116846  nbPropagations=2812400  nbRevisions=40779712
774.20	     nbUselessRevisions=37536078  nbAssignments=20563  nbFailedAssignments=578  nbBacktracks=214  nbVisitedNodes=3294
774.20	     nbRestartNogoods=95
774.20	       =>  wckTime=566.953  cpuTime=566.63  mem=201M400
813.49	   
813.49	   search
813.49	     run=6  nbConstraintChecks=1046802572  nbValidityChecks=1266757172  nbPropagations=3598262  nbRevisions=52435754
813.49	     nbUselessRevisions=48190821  nbAssignments=21596  nbFailedAssignments=1210  nbBacktracks=329  nbVisitedNodes=4967
813.49	     nbRestartNogoods=101
813.49	       =>  wckTime=606.241  cpuTime=605.91  mem=201M400
849.56	   
849.56	   search
849.56	     run=7  nbConstraintChecks=1117010266  nbValidityChecks=1327926705  nbPropagations=4440115  nbRevisions=65074837
849.56	     nbUselessRevisions=59694970  nbAssignments=23087  nbFailedAssignments=1881  nbBacktracks=500  nbVisitedNodes=7226
849.56	     nbRestartNogoods=105
849.56	       =>  wckTime=642.314  cpuTime=641.96  mem=201M400
1269.56	   
1269.56	   search
1269.56	     run=8  nbConstraintChecks=2045804243  nbValidityChecks=2599652441  nbPropagations=6050533  nbRevisions=88663310
1269.56	     nbUselessRevisions=81322419  nbAssignments=45564  nbFailedAssignments=2150  nbBacktracks=761  nbVisitedNodes=8595
1269.56	     nbRestartNogoods=156
1269.56	       =>  wckTime=1062.305  cpuTime=1061.83  mem=201M400
1395.25	   
1395.25	   search
1395.25	     run=9  nbConstraintChecks=2307475140  nbValidityChecks=2915272108  nbPropagations=7880703  nbRevisions=115686675
1395.25	     nbUselessRevisions=106005151  nbAssignments=51729  nbFailedAssignments=3405  nbBacktracks=1147
1395.25	     nbVisitedNodes=12468  nbRestartNogoods=179
1395.25	       =>  wckTime=1187.999  cpuTime=1187.49  mem=201M400
1613.87	   
1613.87	   search
1613.87	     run=10  nbConstraintChecks=2777760423  nbValidityChecks=3512881985  nbPropagations=10086398  nbRevisions=148166829
1613.87	     nbUselessRevisions=135666607  nbAssignments=62319  nbFailedAssignments=4274  nbBacktracks=1726
1613.87	     nbVisitedNodes=15974  nbRestartNogoods=213
1613.87	       =>  wckTime=1406.625  cpuTime=1406.05  mem=202M329

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

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

/proc/loadavg: 0.29 1.23 1.70 4/81 17884
/proc/meminfo: memFree=1433176/2055920 swapFree=4192812/4192956
[pid=17883] ppid=17881 vsize=292 CPUtime=0
/proc/17883/stat : 17883 (java) R 17881 17883 17534 0 -1 0 231 0 0 0 0 0 0 0 18 0 1 0 162734465 299008 37 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7860795 0 0 4096 0 0 0 0 17 1 0 0
/proc/17883/statm: 77 40 31 14 0 5 0

[startup+0.102986 s]
/proc/loadavg: 0.29 1.23 1.70 4/81 17884
/proc/meminfo: memFree=1433176/2055920 swapFree=4192812/4192956
[pid=17883] ppid=17881 vsize=914988 CPUtime=0.09
/proc/17883/stat : 17883 (java) R 17881 17883 17534 0 -1 0 3074 0 1 0 7 2 0 0 16 0 8 0 162734465 936947712 2820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152096428 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17883/statm: 228747 2820 1454 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.511026 s]
/proc/loadavg: 0.29 1.23 1.70 4/81 17884
/proc/meminfo: memFree=1433176/2055920 swapFree=4192812/4192956
[pid=17883] ppid=17881 vsize=915328 CPUtime=0.5
/proc/17883/stat : 17883 (java) S 17881 17883 17534 0 -1 0 7980 0 1 0 46 4 0 0 16 0 8 0 162734465 937295872 7719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17883/statm: 228832 7719 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.3321 s]
/proc/loadavg: 0.29 1.23 1.70 2/88 17891
/proc/meminfo: memFree=1352992/2055920 swapFree=4192812/4192956
[pid=17883] ppid=17881 vsize=915648 CPUtime=1.31
/proc/17883/stat : 17883 (java) R 17881 17883 17534 0 -1 0 24469 0 1 0 120 11 0 0 17 0 8 0 162734465 937623552 24206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17883/statm: 228912 24206 2160 14 0 215382 0
[pid=17883/tid=17885] ppid=17881 vsize=915648 CPUtime=0.09
/proc/17883/task/17885/stat : 17885 (java) S 17881 17883 17534 0 -1 64 7926 0 0 0 7 2 0 0 17 0 8 0 162734468 937623552 24206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17883/tid=17886] ppid=17881 vsize=915648 CPUtime=0
/proc/17883/task/17886/stat : 17886 (java) S 17881 17883 17534 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162734468 937623552 24206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17883/tid=17887] ppid=17881 vsize=915648 CPUtime=0
/proc/17883/task/17887/stat : 17887 (java) S 17881 17883 17534 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162734468 937623552 24206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17883/tid=17888] ppid=17881 vsize=915648 CPUtime=0
/proc/17883/task/17888/stat : 17888 (java) S 17881 17883 17534 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 162734471 937623552 24206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17883/tid=17889] ppid=17881 vsize=915648 CPUtime=0.14
/proc/17883/task/17889/stat : 17889 (java) S 17881 17883 17534 0 -1 64 410 0 0 0 14 0 0 0 15 0 8 0 162734471 937623552 24206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17883/tid=17890] ppid=17881 vsize=915648 CPUtime=0
/proc/17883/task/17890/stat : 17890 (java) S 17881 17883 17534 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 162734471 937623552 24206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17883/tid=17891] ppid=17881 vsize=915648 CPUtime=0
/proc/17883/task/17891/stat : 17891 (java) S 17881 17883 17534 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 162734471 937623552 24206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915648

[startup+2.97926 s]
/proc/loadavg: 0.35 1.23 1.70 2/88 17891
/proc/meminfo: memFree=1338224/2055920 swapFree=4192812/4192956
[pid=17883] ppid=17881 vsize=915648 CPUtime=2.95
/proc/17883/stat : 17883 (java) R 17881 17883 17534 0 -1 0 26190 0 1 0 282 13 0 0 17 0 8 0 162734465 937623552 25924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831097 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17883/statm: 228912 25924 2180 14 0 215382 0
[pid=17883/tid=17885] ppid=17881 vsize=915648 CPUtime=0.19
/proc/17883/task/17885/stat : 17885 (java) S 17881 17883 17534 0 -1 64 9570 0 0 0 17 2 0 0 17 0 8 0 162734468 937623552 25924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17883/tid=17886] ppid=17881 vsize=915648 CPUtime=0
/proc/17883/task/17886/stat : 17886 (java) S 17881 17883 17534 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162734468 937623552 25924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17883/tid=17887] ppid=17881 vsize=915648 CPUtime=0
/proc/17883/task/17887/stat : 17887 (java) S 17881 17883 17534 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162734468 937623552 25924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17883/tid=17888] ppid=17881 vsize=915648 CPUtime=0
/proc/17883/task/17888/stat : 17888 (java) S 17881 17883 17534 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 162734471 937623552 25924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17883/tid=17889] ppid=17881 vsize=915648 CPUtime=0.16
/proc/17883/task/17889/stat : 17889 (java) S 17881 17883 17534 0 -1 64 423 0 0 0 16 0 0 0 15 0 8 0 162734471 937623552 25924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17883/tid=17890] ppid=17881 vsize=915648 CPUtime=0
/proc/17883/task/17890/stat : 17890 (java) S 17881 17883 17534 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 162734471 937623552 25924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17883/tid=17891] ppid=17881 vsize=915648 CPUtime=0
/proc/17883/task/17891/stat : 17891 (java) S 17881 17883 17534 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 162734471 937623552 25924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915648

[startup+6.27858 s]
/proc/loadavg: 0.35 1.23 1.70 2/88 17892
/proc/meminfo: memFree=1340912/2055920 swapFree=4192812/4192956
[pid=17883] ppid=17881 vsize=915648 CPUtime=6.24
/proc/17883/stat : 17883 (java) R 17881 17883 17534 0 -1 0 26206 0 1 0 611 13 0 0 17 0 8 0 162734465 937623552 25939 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830946 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17883/statm: 228912 25939 2181 14 0 215382 0
[pid=17883/tid=17885] ppid=17881 vsize=915648 CPUtime=0.19
/proc/17883/task/17885/stat : 17885 (java) S 17881 17883 17534 0 -1 64 9570 0 0 0 17 2 0 0 16 0 8 0 162734468 937623552 25939 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17883/tid=17886] ppid=17881 vsize=915648 CPUtime=0
/proc/17883/task/17886/stat : 17886 (java) S 17881 17883 17534 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162734468 937623552 25939 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17883/tid=17887] ppid=17881 vsize=915648 CPUtime=0
/proc/17883/task/17887/stat : 17887 (java) S 17881 17883 17534 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162734468 937623552 25939 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17883/tid=17888] ppid=17881 vsize=915648 CPUtime=0
/proc/17883/task/17888/stat : 17888 (java) S 17881 17883 17534 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 162734471 937623552 25939 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17883/tid=17889] ppid=17881 vsize=915648 CPUtime=0.18
/proc/17883/task/17889/stat : 17889 (java) S 17881 17883 17534 0 -1 64 437 0 0 0 17 1 0 0 15 0 8 0 162734471 937623552 25939 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17883/tid=17890] ppid=17881 vsize=915648 CPUtime=0
/proc/17883/task/17890/stat : 17890 (java) S 17881 17883 17534 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 162734471 937623552 25939 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17883/tid=17891] ppid=17881 vsize=915648 CPUtime=0
/proc/17883/task/17891/stat : 17891 (java) S 17881 17883 17534 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 162734471 937623552 25939 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915648

[startup+12.7502 s]
/proc/loadavg: 0.45 1.22 1.69 2/88 17894
/proc/meminfo: memFree=1340976/2055920 swapFree=4192812/4192956
[pid=17883] ppid=17881 vsize=915648 CPUtime=12.71
/proc/17883/stat : 17883 (java) R 17881 17883 17534 0 -1 0 26209 0 1 0 1257 14 0 0 25 0 8 0 162734465 937623552 25942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073832190 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17883/statm: 228912 25942 2181 14 0 215382 0
[pid=17883/tid=17885] ppid=17881 vsize=915648 CPUtime=0.19
/proc/17883/task/17885/stat : 17885 (java) S 17881 17883 17534 0 -1 64 9570 0 0 0 17 2 0 0 16 0 8 0 162734468 937623552 25942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17883/tid=17886] ppid=17881 vsize=915648 CPUtime=0
/proc/17883/task/17886/stat : 17886 (java) S 17881 17883 17534 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162734468 937623552 25942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17883/tid=17887] ppid=17881 vsize=915648 CPUtime=0
/proc/17883/task/17887/stat : 17887 (java) S 17881 17883 17534 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162734468 937623552 25942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17883/tid=17888] ppid=17881 vsize=915648 CPUtime=0
/proc/17883/task/17888/stat : 17888 (java) S 17881 17883 17534 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 162734471 937623552 25942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17883/tid=17889] ppid=17881 vsize=915648 CPUtime=0.19
/proc/17883/task/17889/stat : 17889 (java) S 17881 17883 17534 0 -1 64 440 0 0 0 18 1 0 0 16 0 8 0 162734471 937623552 25942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17883/tid=17890] ppid=17881 vsize=915648 CPUtime=0
/proc/17883/task/17890/stat : 17890 (java) S 17881 17883 17534 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 162734471 937623552 25942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17883/tid=17891] ppid=17881 vsize=915648 CPUtime=0
/proc/17883/task/17891/stat : 17891 (java) S 17881 17883 17534 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 162734471 937623552 25942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915648

[startup+25.5934 s]
/proc/loadavg: 0.69 1.25 1.69 3/100 17939
/proc/meminfo: memFree=1221016/2055920 swapFree=4192812/4192956
[pid=17883] ppid=17881 vsize=915648 CPUtime=25.53
/proc/17883/stat : 17883 (java) R 17881 17883 17534 0 -1 0 28972 0 1 0 2537 16 0 0 25 0 8 0 162734465 937623552 28702 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073837744 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17883/statm: 228912 28702 2182 14 0 215382 0
[pid=17883/tid=17885] ppid=17881 vsize=915648 CPUtime=0.32
/proc/17883/task/17885/stat : 17885 (java) S 17881 17883 17534 0 -1 64 12329 0 0 0 28 4 0 0 17 0 8 0 162734468 937623552 28702 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17883/tid=17886] ppid=17881 vsize=915648 CPUtime=0
/proc/17883/task/17886/stat : 17886 (java) S 17881 17883 17534 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162734468 937623552 28702 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17883/tid=17887] ppid=17881 vsize=915648 CPUtime=0
/proc/17883/task/17887/stat : 17887 (java) S 17881 17883 17534 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162734468 937623552 28702 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17883/tid=17888] ppid=17881 vsize=915648 CPUtime=0
/proc/17883/task/17888/stat : 17888 (java) S 17881 17883 17534 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 162734471 937623552 28702 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17883/tid=17889] ppid=17881 vsize=915648 CPUtime=0.19
/proc/17883/task/17889/stat : 17889 (java) S 17881 17883 17534 0 -1 64 441 0 0 0 18 1 0 0 15 0 8 0 162734471 937623552 28702 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17883/tid=17890] ppid=17881 vsize=915648 CPUtime=0
/proc/17883/task/17890/stat : 17890 (java) S 17881 17883 17534 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 162734471 937623552 28702 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17883/tid=17891] ppid=17881 vsize=915648 CPUtime=0
/proc/17883/task/17891/stat : 17891 (java) S 17881 17883 17534 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 162734471 937623552 28702 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 915648

[startup+51.2939 s]
/proc/loadavg: 1.14 1.31 1.70 3/100 17939
/proc/meminfo: memFree=1210200/2055920 swapFree=4192812/4192956
[pid=17883] ppid=17881 vsize=915648 CPUtime=51.23
/proc/17883/stat : 17883 (java) R 17881 17883 17534 0 -1 0 28979 0 1 0 5103 20 0 0 25 0 8 0 162734465 937623552 28708 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830940 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17883/statm: 228912 28708 2182 14 0 215382 0
[pid=17883/tid=17885] ppid=17881 vsize=915648 CPUtime=0.32
/proc/17883/task/17885/stat : 17885 (java) S 17881 17883 17534 0 -1 64 12329 0 0 0 28 4 0 0 16 0 8 0 162734468 937623552 28708 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17883/tid=17886] ppid=17881 vsize=915648 CPUtime=0
/proc/17883/task/17886/stat : 17886 (java) S 17881 17883 17534 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162734468 937623552 28708 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17883/tid=17887] ppid=17881 vsize=915648 CPUtime=0
/proc/17883/task/17887/stat : 17887 (java) S 17881 17883 17534 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162734468 937623552 28708 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17883/tid=17888] ppid=17881 vsize=915648 CPUtime=0
/proc/17883/task/17888/stat : 17888 (java) S 17881 17883 17534 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 162734471 937623552 28708 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17883/tid=17889] ppid=17881 vsize=915648 CPUtime=0.2
/proc/17883/task/17889/stat : 17889 (java) S 17881 17883 17534 0 -1 64 447 0 0 0 19 1 0 0 16 0 8 0 162734471 937623552 28708 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17883/tid=17890] ppid=17881 vsize=915648 CPUtime=0
/proc/17883/task/17890/stat : 17890 (java) S 17881 17883 17534 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 162734471 937623552 28708 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17883/tid=17891] ppid=17881 vsize=915648 CPUtime=0
/proc/17883/task/17891/stat : 17891 (java) S 17881 17883 17534 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 162734471 937623552 28708 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.23
Current children cumulated vsize (KiB) 915648

[startup+102.589 s]
/proc/loadavg: 1.62 1.41 1.71 3/100 17939
/proc/meminfo: memFree=1164440/2055920 swapFree=4192812/4192956
[pid=17883] ppid=17881 vsize=915648 CPUtime=102.51
/proc/17883/stat : 17883 (java) R 17881 17883 17534 0 -1 0 36558 0 1 0 10223 28 0 0 25 0 8 0 162734465 937623552 36284 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830928 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17883/statm: 228912 36284 2182 14 0 215382 0
[pid=17883/tid=17885] ppid=17881 vsize=915648 CPUtime=0.74
/proc/17883/task/17885/stat : 17885 (java) S 17881 17883 17534 0 -1 64 19898 0 0 0 67 7 0 0 16 0 8 0 162734468 937623552 36284 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17883/tid=17886] ppid=17881 vsize=915648 CPUtime=0
/proc/17883/task/17886/stat : 17886 (java) S 17881 17883 17534 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162734468 937623552 36284 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17883/tid=17887] ppid=17881 vsize=915648 CPUtime=0
/proc/17883/task/17887/stat : 17887 (java) S 17881 17883 17534 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162734468 937623552 36284 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17883/tid=17888] ppid=17881 vsize=915648 CPUtime=0
/proc/17883/task/17888/stat : 17888 (java) S 17881 17883 17534 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 162734471 937623552 36284 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17883/tid=17889] ppid=17881 vsize=915648 CPUtime=0.22
/proc/17883/task/17889/stat : 17889 (java) S 17881 17883 17534 0 -1 64 454 0 0 0 21 1 0 0 16 0 8 0 162734471 937623552 36284 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17883/tid=17890] ppid=17881 vsize=915648 CPUtime=0
/proc/17883/task/17890/stat : 17890 (java) S 17881 17883 17534 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 162734471 937623552 36284 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17883/tid=17891] ppid=17881 vsize=915648 CPUtime=0
/proc/17883/task/17891/stat : 17891 (java) S 17881 17883 17534 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 162734471 937623552 36284 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.51
Current children cumulated vsize (KiB) 915648

[startup+162.624 s]
/proc/loadavg: 1.94 1.54 1.74 3/100 17941
/proc/meminfo: memFree=1126296/2055920 swapFree=4192812/4192956
[pid=17883] ppid=17881 vsize=915648 CPUtime=162.53
/proc/17883/stat : 17883 (java) R 17881 17883 17534 0 -1 0 39545 0 1 0 16218 35 0 0 25 0 8 0 162734465 937623552 39270 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073832807 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1423.76
Current children cumulated vsize (KiB) 915932

[startup+1484.29 s]
/proc/loadavg: 2.00 2.00 1.91 3/100 17941
/proc/meminfo: memFree=923288/2055920 swapFree=4192812/4192956
[pid=17883] ppid=17881 vsize=915932 CPUtime=1483.83
/proc/17883/stat : 17883 (java) R 17881 17883 17534 0 -1 0 67879 0 1 0 148320 63 0 0 25 0 8 0 162734465 937914368 67523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073832096 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17883/statm: 228983 67523 2547 14 0 215453 0
[pid=17883/tid=17885] ppid=17881 vsize=915932 CPUtime=2.2
/proc/17883/task/17885/stat : 17885 (java) S 17881 17883 17534 0 -1 64 50566 0 0 0 201 19 0 0 16 0 8 0 162734468 937914368 67523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17883/tid=17886] ppid=17881 vsize=915932 CPUtime=0
/proc/17883/task/17886/stat : 17886 (java) S 17881 17883 17534 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162734468 937914368 67523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17883/tid=17887] ppid=17881 vsize=915932 CPUtime=0
/proc/17883/task/17887/stat : 17887 (java) S 17881 17883 17534 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162734468 937914368 67523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17883/tid=17888] ppid=17881 vsize=915932 CPUtime=0
/proc/17883/task/17888/stat : 17888 (java) S 17881 17883 17534 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 162734471 937914368 67523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17883/tid=17889] ppid=17881 vsize=915932 CPUtime=0.42
/proc/17883/task/17889/stat : 17889 (java) S 17881 17883 17534 0 -1 64 612 0 0 0 40 2 0 0 16 0 8 0 162734471 937914368 67523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17883/tid=17890] ppid=17881 vsize=915932 CPUtime=0
/proc/17883/task/17890/stat : 17890 (java) S 17881 17883 17534 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 162734471 937914368 67523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17883/tid=17891] ppid=17881 vsize=915932 CPUtime=0
/proc/17883/task/17891/stat : 17891 (java) S 17881 17883 17534 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 162734471 937914368 67523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1483.83
Current children cumulated vsize (KiB) 915932

[startup+1544.36 s]
/proc/loadavg: 2.00 2.00 1.91 3/100 17941
/proc/meminfo: memFree=923352/2055920 swapFree=4192812/4192956
[pid=17883] ppid=17881 vsize=915932 CPUtime=1543.89
/proc/17883/stat : 17883 (java) R 17881 17883 17534 0 -1 0 67879 0 1 0 154326 63 0 0 25 0 8 0 162734465 937914368 67523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073838448 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17883/statm: 228983 67523 2547 14 0 215453 0
[pid=17883/tid=17885] ppid=17881 vsize=915932 CPUtime=2.2
/proc/17883/task/17885/stat : 17885 (java) S 17881 17883 17534 0 -1 64 50566 0 0 0 201 19 0 0 16 0 8 0 162734468 937914368 67523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17883/tid=17886] ppid=17881 vsize=915932 CPUtime=0
/proc/17883/task/17886/stat : 17886 (java) S 17881 17883 17534 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162734468 937914368 67523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17883/tid=17887] ppid=17881 vsize=915932 CPUtime=0
/proc/17883/task/17887/stat : 17887 (java) S 17881 17883 17534 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162734468 937914368 67523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17883/tid=17888] ppid=17881 vsize=915932 CPUtime=0
/proc/17883/task/17888/stat : 17888 (java) S 17881 17883 17534 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 162734471 937914368 67523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17883/tid=17889] ppid=17881 vsize=915932 CPUtime=0.42
/proc/17883/task/17889/stat : 17889 (java) S 17881 17883 17534 0 -1 64 612 0 0 0 40 2 0 0 16 0 8 0 162734471 937914368 67523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17883/tid=17890] ppid=17881 vsize=915932 CPUtime=0
/proc/17883/task/17890/stat : 17890 (java) S 17881 17883 17534 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 162734471 937914368 67523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17883/tid=17891] ppid=17881 vsize=915932 CPUtime=0
/proc/17883/task/17891/stat : 17891 (java) S 17881 17883 17534 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 162734471 937914368 67523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1543.89
Current children cumulated vsize (KiB) 915932

[startup+1604.44 s]
/proc/loadavg: 2.00 2.00 1.91 3/100 17941
/proc/meminfo: memFree=923288/2055920 swapFree=4192812/4192956
[pid=17883] ppid=17881 vsize=915932 CPUtime=1603.94
/proc/17883/stat : 17883 (java) R 17881 17883 17534 0 -1 0 67879 0 1 0 160331 63 0 0 25 0 8 0 162734465 937914368 67523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073837840 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17883/statm: 228983 67523 2547 14 0 215453 0
[pid=17883/tid=17885] ppid=17881 vsize=915932 CPUtime=2.2
/proc/17883/task/17885/stat : 17885 (java) S 17881 17883 17534 0 -1 64 50566 0 0 0 201 19 0 0 16 0 8 0 162734468 937914368 67523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17883/tid=17886] ppid=17881 vsize=915932 CPUtime=0
/proc/17883/task/17886/stat : 17886 (java) S 17881 17883 17534 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162734468 937914368 67523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17883/tid=17887] ppid=17881 vsize=915932 CPUtime=0
/proc/17883/task/17887/stat : 17887 (java) S 17881 17883 17534 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162734468 937914368 67523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17883/tid=17888] ppid=17881 vsize=915932 CPUtime=0
/proc/17883/task/17888/stat : 17888 (java) S 17881 17883 17534 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 162734471 937914368 67523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17883/tid=17889] ppid=17881 vsize=915932 CPUtime=0.42
/proc/17883/task/17889/stat : 17889 (java) S 17881 17883 17534 0 -1 64 612 0 0 0 40 2 0 0 16 0 8 0 162734471 937914368 67523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17883/tid=17890] ppid=17881 vsize=915932 CPUtime=0
/proc/17883/task/17890/stat : 17890 (java) S 17881 17883 17534 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 162734471 937914368 67523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17883/tid=17891] ppid=17881 vsize=915932 CPUtime=0
/proc/17883/task/17891/stat : 17891 (java) S 17881 17883 17534 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 162734471 937914368 67523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1603.94
Current children cumulated vsize (KiB) 915932

[startup+1664.51 s]
/proc/loadavg: 2.00 2.00 1.91 3/100 17941
/proc/meminfo: memFree=923288/2055920 swapFree=4192812/4192956
[pid=17883] ppid=17881 vsize=915932 CPUtime=1664.01
/proc/17883/stat : 17883 (java) R 17881 17883 17534 0 -1 0 67881 0 1 0 166337 64 0 0 25 0 8 0 162734465 937914368 67525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074236729 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17883/statm: 228983 67525 2547 14 0 215453 0
[pid=17883/tid=17885] ppid=17881 vsize=915932 CPUtime=2.2
/proc/17883/task/17885/stat : 17885 (java) S 17881 17883 17534 0 -1 64 50566 0 0 0 201 19 0 0 16 0 8 0 162734468 937914368 67525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17883/tid=17886] ppid=17881 vsize=915932 CPUtime=0
/proc/17883/task/17886/stat : 17886 (java) S 17881 17883 17534 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162734468 937914368 67525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17883/tid=17887] ppid=17881 vsize=915932 CPUtime=0
/proc/17883/task/17887/stat : 17887 (java) S 17881 17883 17534 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162734468 937914368 67525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17883/tid=17888] ppid=17881 vsize=915932 CPUtime=0
/proc/17883/task/17888/stat : 17888 (java) S 17881 17883 17534 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 162734471 937914368 67525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17883/tid=17889] ppid=17881 vsize=915932 CPUtime=0.43
/proc/17883/task/17889/stat : 17889 (java) S 17881 17883 17534 0 -1 64 614 0 0 0 41 2 0 0 17 0 8 0 162734471 937914368 67525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17883/tid=17890] ppid=17881 vsize=915932 CPUtime=0
/proc/17883/task/17890/stat : 17890 (java) S 17881 17883 17534 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 162734471 937914368 67525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17883/tid=17891] ppid=17881 vsize=915932 CPUtime=0
/proc/17883/task/17891/stat : 17891 (java) S 17881 17883 17534 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 162734471 937914368 67525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1664.01
Current children cumulated vsize (KiB) 915932

[startup+1724.61 s]
/proc/loadavg: 2.00 2.00 1.91 3/100 17941
/proc/meminfo: memFree=923288/2055920 swapFree=4192812/4192956
[pid=17883] ppid=17881 vsize=915932 CPUtime=1724.08
/proc/17883/stat : 17883 (java) R 17881 17883 17534 0 -1 0 67881 0 1 0 172343 65 0 0 25 0 8 0 162734465 937914368 67525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074236729 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17883/statm: 228983 67525 2547 14 0 215453 0
[pid=17883/tid=17885] ppid=17881 vsize=915932 CPUtime=2.2
/proc/17883/task/17885/stat : 17885 (java) S 17881 17883 17534 0 -1 64 50566 0 0 0 201 19 0 0 16 0 8 0 162734468 937914368 67525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17883/tid=17886] ppid=17881 vsize=915932 CPUtime=0
/proc/17883/task/17886/stat : 17886 (java) S 17881 17883 17534 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162734468 937914368 67525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17883/tid=17887] ppid=17881 vsize=915932 CPUtime=0
/proc/17883/task/17887/stat : 17887 (java) S 17881 17883 17534 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162734468 937914368 67525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17883/tid=17888] ppid=17881 vsize=915932 CPUtime=0
/proc/17883/task/17888/stat : 17888 (java) S 17881 17883 17534 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 162734471 937914368 67525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17883/tid=17889] ppid=17881 vsize=915932 CPUtime=0.43
/proc/17883/task/17889/stat : 17889 (java) S 17881 17883 17534 0 -1 64 614 0 0 0 41 2 0 0 17 0 8 0 162734471 937914368 67525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17883/tid=17890] ppid=17881 vsize=915932 CPUtime=0
/proc/17883/task/17890/stat : 17890 (java) S 17881 17883 17534 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 162734471 937914368 67525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17883/tid=17891] ppid=17881 vsize=915932 CPUtime=0
/proc/17883/task/17891/stat : 17891 (java) S 17881 17883 17534 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 162734471 937914368 67525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1724.08
Current children cumulated vsize (KiB) 915932

[startup+1784.7 s]
/proc/loadavg: 2.00 2.00 1.91 3/100 17941
/proc/meminfo: memFree=923224/2055920 swapFree=4192812/4192956
[pid=17883] ppid=17881 vsize=915932 CPUtime=1784.15
/proc/17883/stat : 17883 (java) R 17881 17883 17534 0 -1 0 67881 0 1 0 178350 65 0 0 25 0 8 0 162734465 937914368 67525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074225815 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17883/statm: 228983 67525 2547 14 0 215453 0
[pid=17883/tid=17885] ppid=17881 vsize=915932 CPUtime=2.2
/proc/17883/task/17885/stat : 17885 (java) S 17881 17883 17534 0 -1 64 50566 0 0 0 201 19 0 0 16 0 8 0 162734468 937914368 67525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17883/tid=17886] ppid=17881 vsize=915932 CPUtime=0
/proc/17883/task/17886/stat : 17886 (java) S 17881 17883 17534 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162734468 937914368 67525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17883/tid=17887] ppid=17881 vsize=915932 CPUtime=0
/proc/17883/task/17887/stat : 17887 (java) S 17881 17883 17534 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162734468 937914368 67525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17883/tid=17888] ppid=17881 vsize=915932 CPUtime=0
/proc/17883/task/17888/stat : 17888 (java) S 17881 17883 17534 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 162734471 937914368 67525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17883/tid=17889] ppid=17881 vsize=915932 CPUtime=0.43
/proc/17883/task/17889/stat : 17889 (java) S 17881 17883 17534 0 -1 64 614 0 0 0 41 2 0 0 17 0 8 0 162734471 937914368 67525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17883/tid=17890] ppid=17881 vsize=915932 CPUtime=0
/proc/17883/task/17890/stat : 17890 (java) S 17881 17883 17534 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 162734471 937914368 67525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17883/tid=17891] ppid=17881 vsize=915932 CPUtime=0
/proc/17883/task/17891/stat : 17891 (java) S 17881 17883 17534 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 162734471 937914368 67525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1784.15
Current children cumulated vsize (KiB) 915932



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.63 s]
/proc/loadavg: 2.00 2.00 1.91 3/100 17941
/proc/meminfo: memFree=923224/2055920 swapFree=4192812/4192956
[pid=17883] ppid=17881 vsize=915932 CPUtime=1800.09
/proc/17883/stat : 17883 (java) R 17881 17883 17534 0 -1 0 67881 0 1 0 179944 65 0 0 25 0 8 0 162734465 937914368 67525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074212657 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17883/statm: 228983 67525 2547 14 0 215453 0
[pid=17883/tid=17885] ppid=17881 vsize=915932 CPUtime=2.2
/proc/17883/task/17885/stat : 17885 (java) S 17881 17883 17534 0 -1 64 50566 0 0 0 201 19 0 0 16 0 8 0 162734468 937914368 67525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17883/tid=17886] ppid=17881 vsize=915932 CPUtime=0
/proc/17883/task/17886/stat : 17886 (java) S 17881 17883 17534 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162734468 937914368 67525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17883/tid=17887] ppid=17881 vsize=915932 CPUtime=0
/proc/17883/task/17887/stat : 17887 (java) S 17881 17883 17534 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162734468 937914368 67525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17883/tid=17888] ppid=17881 vsize=915932 CPUtime=0
/proc/17883/task/17888/stat : 17888 (java) S 17881 17883 17534 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 162734471 937914368 67525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17883/tid=17889] ppid=17881 vsize=915932 CPUtime=0.43
/proc/17883/task/17889/stat : 17889 (java) S 17881 17883 17534 0 -1 64 614 0 0 0 41 2 0 0 17 0 8 0 162734471 937914368 67525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17883/tid=17890] ppid=17881 vsize=915932 CPUtime=0
/proc/17883/task/17890/stat : 17890 (java) S 17881 17883 17534 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 162734471 937914368 67525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17883/tid=17891] ppid=17881 vsize=915932 CPUtime=0
/proc/17883/task/17891/stat : 17891 (java) S 17881 17883 17534 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 162734471 937914368 67525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 915932

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

Child status: 143
Real time (s): 1800.69
CPU time (s): 1800.16
CPU user time (s): 1799.46
CPU system time (s): 0.699893
CPU usage (%): 99.9701
Max. virtual memory (cumulated for all children) (KiB): 915932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.46
system time used= 0.699893
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67898
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= 38181
involuntary context switches= 49631

runsolver used 2.27065 s user time and 5.59115 s system time

The end

Launcher Data (download as text)

Begin job on node18 on Sun Jan  7 04:16:38 UTC 2007


IDJOB= 200767
IDBENCH= 3726
FILE ID= node18/200767-1168143393

PBS_JOBID= 3477865

Free space on /tmp= 66283 MiB

BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp14/fapp14-2500-8.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/200767-1168143393/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node18/watcher-200767-1168143393 -o ROOT/results/node18/solver-200767-1168143393 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/200767-1168143393/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  d6ce1f8e3582b18bc2617fcf582120b7

RANDOM SEED= 327986267

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.231
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.231
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:       1433784 kB
Buffers:         45088 kB
Cached:         456392 kB
SwapCached:         20 kB
Active:         282632 kB
Inactive:       279044 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1433784 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           10684 kB
Writeback:           0 kB
Mapped:          79164 kB
Slab:            45716 kB
Committed_AS:  4428008 kB
PageTables:       1920 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= 66279 MiB



End job on node18 on Sun Jan  7 04:46:39 UTC 2007