Trace number 210638

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 ESAC? (TO) 1800.11 1806.72

General information on the benchmark

NamepseudoSeries/fpga/
fpga-30-29.xml
MD5SUMbaa832437a6b296bd72cdf91ca429a96
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1562.27
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables1305
Number of constraints958
Maximum constraint arity30
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension958
Global constraints used (with number of constraints)

Solver Data (download as text)

0.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=esac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/210638-1168200441/unknown.xml
0.36	   
0.36	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.48	     nbVariables=1305  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.48	       =>  wckTime=0.181  cpuTime=0.15  mem=8M869
0.48	   
0.48	   predicates being loaded...
0.50	   
0.50	   constraints being loaded...
1.15	     nbConstraints=958  nbConflictsStructures=3  nbSharedConflictsStructures=896  nbUnbuiltConflictsStructures=2
1.15	     nbSharedBinaryRepresentations=0  nbEvaluationManagers=5  nbSharedEvaluationManagers=953  maxDegree=30  maxArity=30
1.15	       =>  wckTime=0.85  cpuTime=0.71  mem=19M558
1.21	   
1.21	   solver IterativeSystematicSolver being built... 
1.52	       =>  wckTime=1.221  cpuTime=0.97  mem=55M672
5.75	   
5.75	   preprocessing
5.75	     nbConstraintChecks=1052678  nbValidityChecks=36880  nbPropagations=4776  nbRevisions=23528
5.75	     nbUselessRevisions=21805  nbSingletonTests=1751  nbEffectiveSingletonTests=0  nbESACBranches=3  nbRemovedValues=0
5.75	     detectedInconsistency=no
5.75	       =>  wckTime=4.225  cpuTime=4.15  mem=56M439
32.82	   
32.82	   search
32.82	     run=0  nbConstraintChecks=8864748  nbValidityChecks=16409  nbPropagations=7302  nbRevisions=40087
32.82	     nbUselessRevisions=37085  nbAssignments=1250  nbFailedAssignments=8  nbBacktracks=10  nbVisitedNodes=1259
32.82	     nbRestartNogoods=0  mapSize=8  nbInferences=0  nbTooLargeKeys=0
32.82	       =>  wckTime=31.301  cpuTime=31.11  mem=18M275
37.17	   
37.18	   search
37.18	     run=1  nbConstraintChecks=10389256  nbValidityChecks=22440  nbPropagations=16549  nbRevisions=87202
37.18	     nbUselessRevisions=79969  nbAssignments=1966  nbFailedAssignments=9  nbBacktracks=262  nbVisitedNodes=1976
37.18	     nbRestartNogoods=2  mapSize=18  nbInferences=0  nbTooLargeKeys=0
37.18	       =>  wckTime=35.652  cpuTime=35.45  mem=20M265
41.48	   
41.48	   search
41.48	     run=2  nbConstraintChecks=11913765  nbValidityChecks=28471  nbPropagations=27744  nbRevisions=141346
41.48	     nbUselessRevisions=128651  nbAssignments=2682  nbFailedAssignments=10  nbBacktracks=515  nbVisitedNodes=2693
41.48	     nbRestartNogoods=3  mapSize=28  nbInferences=0  nbTooLargeKeys=0
41.48	       =>  wckTime=39.953  cpuTime=39.75  mem=22M254
42.45	   
42.45	   search
42.45	     run=3  nbConstraintChecks=12389693  nbValidityChecks=33662  nbPropagations=40832  nbRevisions=201692
42.45	     nbUselessRevisions=182309  nbAssignments=3348  nbFailedAssignments=15  nbBacktracks=550  nbVisitedNodes=3364
42.45	     nbRestartNogoods=4  mapSize=33  nbInferences=0  nbTooLargeKeys=0
42.45	       =>  wckTime=40.925  cpuTime=40.72  mem=23M249
49.99	   
49.99	   search
49.99	     run=4  nbConstraintChecks=14962778  nbValidityChecks=39490  nbPropagations=55879  nbRevisions=268872
49.99	     nbUselessRevisions=241573  nbAssignments=4073  nbFailedAssignments=19  nbBacktracks=805  nbVisitedNodes=4093
49.99	     nbRestartNogoods=9  mapSize=39  nbInferences=0  nbTooLargeKeys=0
49.99	       =>  wckTime=48.468  cpuTime=48.26  mem=25M238
50.95	   
50.95	   search
50.95	     run=5  nbConstraintChecks=15438715  nbValidityChecks=43843  nbPropagations=72774  nbRevisions=341420
50.95	     nbUselessRevisions=304973  nbAssignments=4688  nbFailedAssignments=30  nbBacktracks=887  nbVisitedNodes=4719
50.95	     nbRestartNogoods=10  mapSize=59  nbInferences=0  nbTooLargeKeys=0
50.95	       =>  wckTime=49.424  cpuTime=49.21  mem=26M233
51.93	   
51.93	   search
51.93	     run=6  nbConstraintChecks=15914658  nbValidityChecks=48870  nbPropagations=91637  nbRevisions=419970
51.93	     nbUselessRevisions=373137  nbAssignments=5417  nbFailedAssignments=45  nbBacktracks=1001  nbVisitedNodes=5463
51.93	     nbRestartNogoods=12  mapSize=86  nbInferences=0  nbTooLargeKeys=0
51.93	       =>  wckTime=50.41  cpuTime=50.2  mem=28M222
59.57	   
59.57	   search
59.57	     run=7  nbConstraintChecks=18487766  nbValidityChecks=55226  nbPropagations=112586  nbRevisions=505792
59.57	     nbUselessRevisions=447332  nbAssignments=6261  nbFailedAssignments=56  nbBacktracks=1172  nbVisitedNodes=6318
59.57	     nbRestartNogoods=15  mapSize=102  nbInferences=0  nbTooLargeKeys=0
59.57	       =>  wckTime=58.048  cpuTime=57.82  mem=30M212
333.47	   
333.47	   search
333.47	     run=8  nbConstraintChecks=105995484  nbValidityChecks=61589  nbPropagations=135903  nbRevisions=598641
333.47	     nbUselessRevisions=527062  nbAssignments=7136  nbFailedAssignments=141  nbBacktracks=1431  nbVisitedNodes=7278
333.47	     nbRestartNogoods=19  mapSize=177  nbInferences=0  nbTooLargeKeys=0
333.47	       =>  wckTime=331.952  cpuTime=331.43  mem=32M201
477.91	   
477.92	   search
477.92	     run=9  nbConstraintChecks=152870950  nbValidityChecks=70889  nbPropagations=161640  nbRevisions=701266
477.92	     nbUselessRevisions=615133  nbAssignments=8121  nbFailedAssignments=185  nbBacktracks=1818  nbVisitedNodes=8307
477.92	     nbRestartNogoods=21  mapSize=231  nbInferences=0  nbTooLargeKeys=0
477.92	       =>  wckTime=476.392  cpuTime=475.68  mem=35M185
1270.42	   
1270.42	   search
1270.42	     run=10  nbConstraintChecks=405267282  nbValidityChecks=80980  nbPropagations=190376  nbRevisions=813994
1270.42	     nbUselessRevisions=711704  nbAssignments=9517  nbFailedAssignments=425  nbBacktracks=2394  nbVisitedNodes=9943
1270.42	     nbRestartNogoods=22  mapSize=480  nbInferences=0  nbTooLargeKeys=0
1270.42	       =>  wckTime=1268.897  cpuTime=1264.78  mem=38M169

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

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

/proc/loadavg: 2.00 2.00 1.94 4/94 8379
/proc/meminfo: memFree=1556432/2055920 swapFree=4192812/4192956
[pid=8378] ppid=8376 vsize=172 CPUtime=0
/proc/8378/stat : 8378 (java) R 8376 8378 7814 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 168439125 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7979307 0 0 4096 0 0 0 0 17 0 0 0
/proc/8378/statm: 43 24 18 14 0 3 0

[startup+0.107728 s]
/proc/loadavg: 2.00 2.00 1.94 4/94 8379
/proc/meminfo: memFree=1556432/2055920 swapFree=4192812/4192956
[pid=8378] ppid=8376 vsize=914988 CPUtime=0.09
/proc/8378/stat : 8378 (java) R 8376 8378 7814 0 -1 0 3059 0 1 0 8 1 0 0 23 0 8 0 168439125 936947712 2805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8378/statm: 228747 2805 1449 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.51581 s]
/proc/loadavg: 2.00 2.00 1.94 4/94 8379
/proc/meminfo: memFree=1556432/2055920 swapFree=4192812/4192956
[pid=8378] ppid=8376 vsize=915328 CPUtime=0.49
/proc/8378/stat : 8378 (java) R 8376 8378 7814 0 -1 0 6918 0 1 0 45 4 0 0 25 0 8 0 168439125 937295872 6657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073575138 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8378/statm: 228832 6659 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33898 s]
/proc/loadavg: 2.00 2.00 1.94 3/101 8386
/proc/meminfo: memFree=1497944/2055920 swapFree=4192812/4192956
[pid=8378] ppid=8376 vsize=915576 CPUtime=1.31
/proc/8378/stat : 8378 (java) R 8376 8378 7814 0 -1 0 19257 0 1 0 118 13 0 0 25 0 8 0 168439125 937549824 18994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073896347 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8378/statm: 228894 18994 2502 14 0 215364 0
[pid=8378/tid=8380] ppid=8376 vsize=915576 CPUtime=0.06
/proc/8378/task/8380/stat : 8380 (java) S 8376 8378 7814 0 -1 64 2302 0 0 0 6 0 0 0 16 0 8 0 168439128 937549824 18994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8381] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8381/stat : 8381 (java) S 8376 8378 7814 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168439129 937549824 18994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8382] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8382/stat : 8382 (java) S 8376 8378 7814 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168439129 937549824 18994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8383] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8383/stat : 8383 (java) S 8376 8378 7814 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 168439132 937549824 18994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8384] ppid=8376 vsize=915576 CPUtime=0.18
/proc/8378/task/8384/stat : 8384 (java) S 8376 8378 7814 0 -1 64 386 0 0 0 18 0 0 0 16 0 8 0 168439132 937549824 18994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8385] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8385/stat : 8385 (java) S 8376 8378 7814 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168439132 937549824 18994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8386] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8386/stat : 8386 (java) S 8376 8378 7814 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168439132 937549824 18994 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) 915576

[startup+2.9873 s]
/proc/loadavg: 2.00 2.00 1.94 3/101 8386
/proc/meminfo: memFree=1489816/2055920 swapFree=4192812/4192956
[pid=8378] ppid=8376 vsize=915576 CPUtime=2.95
/proc/8378/stat : 8378 (java) R 8376 8378 7814 0 -1 0 19361 0 1 0 281 14 0 0 25 0 8 0 168439125 937549824 19098 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073767207 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8378/statm: 228894 19098 2543 14 0 215364 0
[pid=8378/tid=8380] ppid=8376 vsize=915576 CPUtime=0.06
/proc/8378/task/8380/stat : 8380 (java) S 8376 8378 7814 0 -1 64 2302 0 0 0 6 0 0 0 17 0 8 0 168439128 937549824 19098 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8381] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8381/stat : 8381 (java) S 8376 8378 7814 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168439129 937549824 19098 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8382] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8382/stat : 8382 (java) S 8376 8378 7814 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168439129 937549824 19098 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8383] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8383/stat : 8383 (java) S 8376 8378 7814 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 168439132 937549824 19098 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8384] ppid=8376 vsize=915576 CPUtime=0.24
/proc/8378/task/8384/stat : 8384 (java) S 8376 8378 7814 0 -1 64 417 0 0 0 23 1 0 0 15 0 8 0 168439132 937549824 19098 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8385] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8385/stat : 8385 (java) S 8376 8378 7814 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168439132 937549824 19098 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8386] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8386/stat : 8386 (java) S 8376 8378 7814 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168439132 937549824 19098 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) 915576

[startup+6.27795 s]
/proc/loadavg: 2.08 2.02 1.95 3/101 8386
/proc/meminfo: memFree=1489752/2055920 swapFree=4192812/4192956
[pid=8378] ppid=8376 vsize=915576 CPUtime=6.22
/proc/8378/stat : 8378 (java) R 8376 8378 7814 0 -1 0 20761 0 1 0 608 14 0 0 25 0 8 0 168439125 937549824 20495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073764064 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8378/statm: 228894 20495 2546 14 0 215364 0
[pid=8378/tid=8380] ppid=8376 vsize=915576 CPUtime=0.09
/proc/8378/task/8380/stat : 8380 (java) S 8376 8378 7814 0 -1 64 3677 0 0 0 9 0 0 0 16 0 8 0 168439128 937549824 20495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8381] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8381/stat : 8381 (java) S 8376 8378 7814 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168439129 937549824 20495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8382] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8382/stat : 8382 (java) S 8376 8378 7814 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168439129 937549824 20495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8383] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8383/stat : 8383 (java) S 8376 8378 7814 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 168439132 937549824 20495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8384] ppid=8376 vsize=915576 CPUtime=0.27
/proc/8378/task/8384/stat : 8384 (java) S 8376 8378 7814 0 -1 64 434 0 0 0 26 1 0 0 16 0 8 0 168439132 937549824 20495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8385] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8385/stat : 8385 (java) S 8376 8378 7814 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168439132 937549824 20495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8386] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8386/stat : 8386 (java) S 8376 8378 7814 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168439132 937549824 20495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915576

[startup+12.7682 s]
/proc/loadavg: 2.07 2.02 1.95 4/101 8461
/proc/meminfo: memFree=1544408/2055920 swapFree=4192812/4192956
[pid=8378] ppid=8376 vsize=915576 CPUtime=12.69
/proc/8378/stat : 8378 (java) R 8376 8378 7814 0 -1 0 20765 0 1 0 1254 15 0 0 25 0 8 0 168439125 937549824 20498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073757066 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8378/statm: 228894 20498 2547 14 0 215364 0
[pid=8378/tid=8380] ppid=8376 vsize=915576 CPUtime=0.09
/proc/8378/task/8380/stat : 8380 (java) S 8376 8378 7814 0 -1 64 3677 0 0 0 9 0 0 0 16 0 8 0 168439128 937549824 20498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8381] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8381/stat : 8381 (java) S 8376 8378 7814 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168439129 937549824 20498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8382] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8382/stat : 8382 (java) S 8376 8378 7814 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168439129 937549824 20498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8383] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8383/stat : 8383 (java) S 8376 8378 7814 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 168439132 937549824 20498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8384] ppid=8376 vsize=915576 CPUtime=0.27
/proc/8378/task/8384/stat : 8384 (java) S 8376 8378 7814 0 -1 64 435 0 0 0 26 1 0 0 16 0 8 0 168439132 937549824 20498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8385] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8385/stat : 8385 (java) S 8376 8378 7814 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168439132 937549824 20498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8386] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8386/stat : 8386 (java) S 8376 8378 7814 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168439132 937549824 20498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915576

[startup+25.6138 s]
/proc/loadavg: 2.06 2.02 1.95 3/101 8461
/proc/meminfo: memFree=1544536/2055920 swapFree=4192812/4192956
[pid=8378] ppid=8376 vsize=915576 CPUtime=25.51
/proc/8378/stat : 8378 (java) R 8376 8378 7814 0 -1 0 20765 0 1 0 2536 15 0 0 25 0 8 0 168439125 937549824 20498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073767296 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8378/statm: 228894 20498 2547 14 0 215364 0
[pid=8378/tid=8380] ppid=8376 vsize=915576 CPUtime=0.09
/proc/8378/task/8380/stat : 8380 (java) S 8376 8378 7814 0 -1 64 3677 0 0 0 9 0 0 0 16 0 8 0 168439128 937549824 20498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8381] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8381/stat : 8381 (java) S 8376 8378 7814 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168439129 937549824 20498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8382] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8382/stat : 8382 (java) S 8376 8378 7814 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168439129 937549824 20498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8383] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8383/stat : 8383 (java) S 8376 8378 7814 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 168439132 937549824 20498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8384] ppid=8376 vsize=915576 CPUtime=0.27
/proc/8378/task/8384/stat : 8384 (java) S 8376 8378 7814 0 -1 64 435 0 0 0 26 1 0 0 16 0 8 0 168439132 937549824 20498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8385] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8385/stat : 8385 (java) S 8376 8378 7814 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168439132 937549824 20498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8386] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8386/stat : 8386 (java) S 8376 8378 7814 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168439132 937549824 20498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 915576

[startup+51.2159 s]
/proc/loadavg: 2.04 2.01 1.95 3/101 8461
/proc/meminfo: memFree=1544600/2055920 swapFree=4192812/4192956
[pid=8378] ppid=8376 vsize=915576 CPUtime=51.09
/proc/8378/stat : 8378 (java) R 8376 8378 7814 0 -1 0 20778 0 1 0 5094 15 0 0 25 0 8 0 168439125 937549824 20508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073757056 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8378/statm: 228894 20508 2547 14 0 215364 0
[pid=8378/tid=8380] ppid=8376 vsize=915576 CPUtime=0.09
/proc/8378/task/8380/stat : 8380 (java) S 8376 8378 7814 0 -1 64 3677 0 0 0 9 0 0 0 16 0 8 0 168439128 937549824 20508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8381] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8381/stat : 8381 (java) S 8376 8378 7814 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168439129 937549824 20508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8382] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8382/stat : 8382 (java) S 8376 8378 7814 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168439129 937549824 20508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8383] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8383/stat : 8383 (java) S 8376 8378 7814 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 168439132 937549824 20508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8384] ppid=8376 vsize=915576 CPUtime=0.29
/proc/8378/task/8384/stat : 8384 (java) S 8376 8378 7814 0 -1 64 446 0 0 0 28 1 0 0 16 0 8 0 168439132 937549824 20508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8385] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8385/stat : 8385 (java) S 8376 8378 7814 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168439132 937549824 20508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8386] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8386/stat : 8386 (java) S 8376 8378 7814 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168439132 937549824 20508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 915576

[startup+102.416 s]
/proc/loadavg: 2.01 2.01 1.95 3/101 8461
/proc/meminfo: memFree=1544728/2055920 swapFree=4192812/4192956
[pid=8378] ppid=8376 vsize=915576 CPUtime=102.24
/proc/8378/stat : 8378 (java) R 8376 8378 7814 0 -1 0 20779 0 1 0 10209 15 0 0 25 0 8 0 168439125 937549824 20509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073759332 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8378/statm: 228894 20509 2547 14 0 215364 0
[pid=8378/tid=8380] ppid=8376 vsize=915576 CPUtime=0.09
/proc/8378/task/8380/stat : 8380 (java) S 8376 8378 7814 0 -1 64 3677 0 0 0 9 0 0 0 16 0 8 0 168439128 937549824 20509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8381] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8381/stat : 8381 (java) S 8376 8378 7814 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168439129 937549824 20509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8382] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8382/stat : 8382 (java) S 8376 8378 7814 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168439129 937549824 20509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8383] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8383/stat : 8383 (java) S 8376 8378 7814 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 168439132 937549824 20509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8384] ppid=8376 vsize=915576 CPUtime=0.29
/proc/8378/task/8384/stat : 8384 (java) S 8376 8378 7814 0 -1 64 447 0 0 0 28 1 0 0 16 0 8 0 168439132 937549824 20509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8385] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8385/stat : 8385 (java) S 8376 8378 7814 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168439132 937549824 20509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8386] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8386/stat : 8386 (java) S 8376 8378 7814 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168439132 937549824 20509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 915576

[startup+162.464 s]
/proc/loadavg: 2.06 2.02 1.95 3/101 8461
/proc/meminfo: memFree=1544664/2055920 swapFree=4192812/4192956
[pid=8378] ppid=8376 vsize=915576 CPUtime=162.2
/proc/8378/stat : 8378 (java) R 8376 8378 7814 0 -1 0 20779 0 1 0 16205 15 0 0 25 0 8 0 168439125 937549824 20509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073762023 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 1418.87
Current children cumulated vsize (KiB) 915576

[startup+1483.68 s]
/proc/loadavg: 2.00 2.00 1.97 3/101 8463
/proc/meminfo: memFree=1515160/2055920 swapFree=4192812/4192956
[pid=8378] ppid=8376 vsize=915576 CPUtime=1478.64
/proc/8378/stat : 8378 (java) R 8376 8378 7814 0 -1 0 20789 0 1 0 147845 19 0 0 25 0 8 0 168439125 937549824 20514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073757063 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8378/statm: 228894 20514 2547 14 0 215364 0
[pid=8378/tid=8380] ppid=8376 vsize=915576 CPUtime=0.09
/proc/8378/task/8380/stat : 8380 (java) S 8376 8378 7814 0 -1 64 3677 0 0 0 9 0 0 0 16 0 8 0 168439128 937549824 20514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8381] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8381/stat : 8381 (java) S 8376 8378 7814 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168439129 937549824 20514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8382] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8382/stat : 8382 (java) S 8376 8378 7814 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168439129 937549824 20514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8383] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8383/stat : 8383 (java) S 8376 8378 7814 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 168439132 937549824 20514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8384] ppid=8376 vsize=915576 CPUtime=0.3
/proc/8378/task/8384/stat : 8384 (java) S 8376 8378 7814 0 -1 64 452 0 0 0 29 1 0 0 16 0 8 0 168439132 937549824 20514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8385] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8385/stat : 8385 (java) S 8376 8378 7814 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168439132 937549824 20514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8386] ppid=8376 vsize=915576 CPUtime=0.01
/proc/8378/task/8386/stat : 8386 (java) S 8376 8378 7814 0 -1 64 1 0 0 0 0 1 0 0 15 0 8 0 168439132 937549824 20514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1478.64
Current children cumulated vsize (KiB) 915576

[startup+1543.73 s]
/proc/loadavg: 2.07 2.02 1.97 3/101 8463
/proc/meminfo: memFree=1515096/2055920 swapFree=4192812/4192956
[pid=8378] ppid=8376 vsize=915576 CPUtime=1538.41
/proc/8378/stat : 8378 (java) R 8376 8378 7814 0 -1 0 20789 0 1 0 153821 20 0 0 25 0 8 0 168439125 937549824 20514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073758462 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8378/statm: 228894 20514 2547 14 0 215364 0
[pid=8378/tid=8380] ppid=8376 vsize=915576 CPUtime=0.09
/proc/8378/task/8380/stat : 8380 (java) S 8376 8378 7814 0 -1 64 3677 0 0 0 9 0 0 0 16 0 8 0 168439128 937549824 20514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8381] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8381/stat : 8381 (java) S 8376 8378 7814 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168439129 937549824 20514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8382] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8382/stat : 8382 (java) S 8376 8378 7814 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168439129 937549824 20514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8383] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8383/stat : 8383 (java) S 8376 8378 7814 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 168439132 937549824 20514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8384] ppid=8376 vsize=915576 CPUtime=0.3
/proc/8378/task/8384/stat : 8384 (java) S 8376 8378 7814 0 -1 64 452 0 0 0 29 1 0 0 16 0 8 0 168439132 937549824 20514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8385] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8385/stat : 8385 (java) S 8376 8378 7814 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168439132 937549824 20514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8386] ppid=8376 vsize=915576 CPUtime=0.01
/proc/8378/task/8386/stat : 8386 (java) S 8376 8378 7814 0 -1 64 1 0 0 0 0 1 0 0 15 0 8 0 168439132 937549824 20514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1538.41
Current children cumulated vsize (KiB) 915576

[startup+1603.78 s]
/proc/loadavg: 2.02 2.01 1.97 3/101 8463
/proc/meminfo: memFree=1515096/2055920 swapFree=4192812/4192956
[pid=8378] ppid=8376 vsize=915576 CPUtime=1598.16
/proc/8378/stat : 8378 (java) R 8376 8378 7814 0 -1 0 20789 0 1 0 159796 20 0 0 25 0 8 0 168439125 937549824 20514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073760970 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8378/statm: 228894 20514 2547 14 0 215364 0
[pid=8378/tid=8380] ppid=8376 vsize=915576 CPUtime=0.09
/proc/8378/task/8380/stat : 8380 (java) S 8376 8378 7814 0 -1 64 3677 0 0 0 9 0 0 0 16 0 8 0 168439128 937549824 20514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8381] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8381/stat : 8381 (java) S 8376 8378 7814 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168439129 937549824 20514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8382] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8382/stat : 8382 (java) S 8376 8378 7814 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168439129 937549824 20514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8383] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8383/stat : 8383 (java) S 8376 8378 7814 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 168439132 937549824 20514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8384] ppid=8376 vsize=915576 CPUtime=0.3
/proc/8378/task/8384/stat : 8384 (java) S 8376 8378 7814 0 -1 64 452 0 0 0 29 1 0 0 16 0 8 0 168439132 937549824 20514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8385] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8385/stat : 8385 (java) S 8376 8378 7814 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168439132 937549824 20514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8386] ppid=8376 vsize=915576 CPUtime=0.01
/proc/8378/task/8386/stat : 8386 (java) S 8376 8378 7814 0 -1 64 1 0 0 0 0 1 0 0 15 0 8 0 168439132 937549824 20514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1598.16
Current children cumulated vsize (KiB) 915576

[startup+1663.83 s]
/proc/loadavg: 2.01 2.00 1.97 3/101 8463
/proc/meminfo: memFree=1515096/2055920 swapFree=4192812/4192956
[pid=8378] ppid=8376 vsize=915576 CPUtime=1657.93
/proc/8378/stat : 8378 (java) R 8376 8378 7814 0 -1 0 20789 0 1 0 165773 20 0 0 25 0 8 0 168439125 937549824 20514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073767312 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8378/statm: 228894 20514 2547 14 0 215364 0
[pid=8378/tid=8380] ppid=8376 vsize=915576 CPUtime=0.09
/proc/8378/task/8380/stat : 8380 (java) S 8376 8378 7814 0 -1 64 3677 0 0 0 9 0 0 0 16 0 8 0 168439128 937549824 20514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8381] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8381/stat : 8381 (java) S 8376 8378 7814 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168439129 937549824 20514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8382] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8382/stat : 8382 (java) S 8376 8378 7814 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168439129 937549824 20514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8383] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8383/stat : 8383 (java) S 8376 8378 7814 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 168439132 937549824 20514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8384] ppid=8376 vsize=915576 CPUtime=0.3
/proc/8378/task/8384/stat : 8384 (java) S 8376 8378 7814 0 -1 64 452 0 0 0 29 1 0 0 16 0 8 0 168439132 937549824 20514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8385] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8385/stat : 8385 (java) S 8376 8378 7814 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168439132 937549824 20514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8386] ppid=8376 vsize=915576 CPUtime=0.01
/proc/8378/task/8386/stat : 8386 (java) S 8376 8378 7814 0 -1 64 1 0 0 0 0 1 0 0 15 0 8 0 168439132 937549824 20514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1657.93
Current children cumulated vsize (KiB) 915576

[startup+1723.87 s]
/proc/loadavg: 2.00 2.00 1.97 3/101 8463
/proc/meminfo: memFree=1515032/2055920 swapFree=4192812/4192956
[pid=8378] ppid=8376 vsize=915576 CPUtime=1717.68
/proc/8378/stat : 8378 (java) R 8376 8378 7814 0 -1 0 20789 0 1 0 171748 20 0 0 25 0 8 0 168439125 937549824 20514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073762124 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8378/statm: 228894 20514 2547 14 0 215364 0
[pid=8378/tid=8380] ppid=8376 vsize=915576 CPUtime=0.09
/proc/8378/task/8380/stat : 8380 (java) S 8376 8378 7814 0 -1 64 3677 0 0 0 9 0 0 0 16 0 8 0 168439128 937549824 20514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8381] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8381/stat : 8381 (java) S 8376 8378 7814 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168439129 937549824 20514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8382] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8382/stat : 8382 (java) S 8376 8378 7814 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168439129 937549824 20514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8383] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8383/stat : 8383 (java) S 8376 8378 7814 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 168439132 937549824 20514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8384] ppid=8376 vsize=915576 CPUtime=0.3
/proc/8378/task/8384/stat : 8384 (java) S 8376 8378 7814 0 -1 64 452 0 0 0 29 1 0 0 16 0 8 0 168439132 937549824 20514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8385] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8385/stat : 8385 (java) S 8376 8378 7814 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168439132 937549824 20514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8386] ppid=8376 vsize=915576 CPUtime=0.01
/proc/8378/task/8386/stat : 8386 (java) S 8376 8378 7814 0 -1 64 1 0 0 0 0 1 0 0 15 0 8 0 168439132 937549824 20514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1717.68
Current children cumulated vsize (KiB) 915576

[startup+1783.92 s]
/proc/loadavg: 2.06 2.02 1.98 3/101 8463
/proc/meminfo: memFree=1515032/2055920 swapFree=4192812/4192956
[pid=8378] ppid=8376 vsize=915576 CPUtime=1777.4
/proc/8378/stat : 8378 (java) R 8376 8378 7814 0 -1 0 20789 0 1 0 177720 20 0 0 25 0 8 0 168439125 937549824 20514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8378/statm: 228894 20514 2547 14 0 215364 0
[pid=8378/tid=8380] ppid=8376 vsize=915576 CPUtime=0.09
/proc/8378/task/8380/stat : 8380 (java) S 8376 8378 7814 0 -1 64 3677 0 0 0 9 0 0 0 16 0 8 0 168439128 937549824 20514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8381] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8381/stat : 8381 (java) S 8376 8378 7814 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168439129 937549824 20514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8382] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8382/stat : 8382 (java) S 8376 8378 7814 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168439129 937549824 20514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8383] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8383/stat : 8383 (java) S 8376 8378 7814 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 168439132 937549824 20514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8384] ppid=8376 vsize=915576 CPUtime=0.3
/proc/8378/task/8384/stat : 8384 (java) S 8376 8378 7814 0 -1 64 452 0 0 0 29 1 0 0 16 0 8 0 168439132 937549824 20514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8385] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8385/stat : 8385 (java) S 8376 8378 7814 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168439132 937549824 20514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8386] ppid=8376 vsize=915576 CPUtime=0.01
/proc/8378/task/8386/stat : 8386 (java) S 8376 8378 7814 0 -1 64 1 0 0 0 0 1 0 0 15 0 8 0 168439132 937549824 20514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1777.4
Current children cumulated vsize (KiB) 915576



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1806.65 s]
/proc/loadavg: 2.04 2.01 1.98 3/101 8463
/proc/meminfo: memFree=1515032/2055920 swapFree=4192812/4192956
[pid=8378] ppid=8376 vsize=915576 CPUtime=1800.03
/proc/8378/stat : 8378 (java) R 8376 8378 7814 0 -1 0 20789 0 1 0 179983 20 0 0 25 0 8 0 168439125 937549824 20514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073767312 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8378/statm: 228894 20514 2547 14 0 215364 0
[pid=8378/tid=8380] ppid=8376 vsize=915576 CPUtime=0.09
/proc/8378/task/8380/stat : 8380 (java) S 8376 8378 7814 0 -1 64 3677 0 0 0 9 0 0 0 16 0 8 0 168439128 937549824 20514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8381] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8381/stat : 8381 (java) S 8376 8378 7814 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168439129 937549824 20514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8382] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8382/stat : 8382 (java) S 8376 8378 7814 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168439129 937549824 20514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8383] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8383/stat : 8383 (java) S 8376 8378 7814 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 168439132 937549824 20514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8384] ppid=8376 vsize=915576 CPUtime=0.3
/proc/8378/task/8384/stat : 8384 (java) S 8376 8378 7814 0 -1 64 452 0 0 0 29 1 0 0 16 0 8 0 168439132 937549824 20514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8385] ppid=8376 vsize=915576 CPUtime=0
/proc/8378/task/8385/stat : 8385 (java) S 8376 8378 7814 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168439132 937549824 20514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8378/tid=8386] ppid=8376 vsize=915576 CPUtime=0.01
/proc/8378/task/8386/stat : 8386 (java) S 8376 8378 7814 0 -1 64 1 0 0 0 0 1 0 0 15 0 8 0 168439132 937549824 20514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 915576

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

Child status: 143
Real time (s): 1806.72
CPU time (s): 1800.11
CPU user time (s): 1799.89
CPU system time (s): 0.222966
CPU usage (%): 99.6343
Max. virtual memory (cumulated for all children) (KiB): 915576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.89
system time used= 0.222966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20806
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= 38072
involuntary context switches= 62056

runsolver used 2.07368 s user time and 5.9321 s system time

The end

Launcher Data (download as text)

Begin job on node11 on Sun Jan  7 20:07:21 UTC 2007


IDJOB= 210638
IDBENCH= 4635
FILE ID= node11/210638-1168200441

PBS_JOBID= 3480506

Free space on /tmp= 66340 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/fpga/fpga-30-29.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210638-1168200441/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node11/watcher-210638-1168200441 -o ROOT/results/node11/solver-210638-1168200441 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210638-1168200441/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  baa832437a6b296bd72cdf91ca429a96

RANDOM SEED= 786119822

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.261
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	: 5931.00
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.261
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:       1556912 kB
Buffers:         45968 kB
Cached:         229432 kB
SwapCached:          0 kB
Active:         283836 kB
Inactive:       157424 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1556912 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1996 kB
Writeback:           0 kB
Mapped:         192772 kB
Slab:            42048 kB
Committed_AS:  5225656 kB
PageTables:       2712 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= 66338 MiB



End job on node11 on Sun Jan  7 20:37:28 UTC 2007