Trace number 210339

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.1 1806.31

General information on the benchmark

NamepseudoSeries/fpga/
fpga-25-25.xml
MD5SUM2e22d5d11e604e15f15a806793e2982a
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 benchmark107.914
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables938
Number of constraints700
Maximum constraint arity25
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension700
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.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/210339-1168196823/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.50	     nbVariables=938  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.50	       =>  wckTime=0.191  cpuTime=0.14  mem=7M894
0.50	   
0.50	   predicates being loaded...
0.51	   
0.51	   constraints being loaded...
0.95	     nbConstraints=700  nbConflictsStructures=4  nbSharedConflictsStructures=646  nbUnbuiltConflictsStructures=2
0.95	     nbSharedBinaryRepresentations=0  nbEvaluationManagers=6  nbSharedEvaluationManagers=694  maxDegree=26  maxArity=25
0.95	       =>  wckTime=0.645  cpuTime=0.5  mem=42M26
1.02	   
1.02	   solver IterativeSystematicSolver being built... 
1.30	       =>  wckTime=0.997  cpuTime=0.74  mem=39M980
4.35	   
4.35	   preprocessing
4.35	     nbConstraintChecks=1051372  nbValidityChecks=30129  nbPropagations=3419  nbRevisions=19370
4.35	     nbUselessRevisions=18137  nbSingletonTests=1251  nbEffectiveSingletonTests=0  nbESACBranches=3  nbRemovedValues=0
4.35	     detectedInconsistency=no
4.35	       =>  wckTime=3.042  cpuTime=2.99  mem=40M955
24.99	   
24.99	   search
24.99	     run=0  nbConstraintChecks=8467175  nbValidityChecks=13010  nbPropagations=5224  nbRevisions=32318
24.99	     nbUselessRevisions=30165  nbAssignments=888  nbFailedAssignments=8  nbBacktracks=10  nbVisitedNodes=897
24.99	     nbRestartNogoods=0  mapSize=8  nbInferences=0  nbTooLargeKeys=0
24.99	       =>  wckTime=23.683  cpuTime=23.51  mem=42M903
27.78	   
27.78	   search
27.78	     run=1  nbConstraintChecks=9594134  nbValidityChecks=16732  nbPropagations=11771  nbRevisions=69003
27.78	     nbUselessRevisions=63827  nbAssignments=1341  nbFailedAssignments=9  nbBacktracks=125  nbVisitedNodes=1351
27.78	     nbRestartNogoods=2  mapSize=14  nbInferences=0  nbTooLargeKeys=0
27.78	       =>  wckTime=26.481  cpuTime=26.29  mem=43M877
30.58	   
30.58	   search
30.58	     run=2  nbConstraintChecks=10721094  nbValidityChecks=20454  nbPropagations=19644  nbRevisions=110056
30.58	     nbUselessRevisions=100985  nbAssignments=1794  nbFailedAssignments=10  nbBacktracks=241  nbVisitedNodes=1805
30.58	     nbRestartNogoods=3  mapSize=20  nbInferences=0  nbTooLargeKeys=0
30.58	       =>  wckTime=29.273  cpuTime=29.05  mem=44M851
35.84	   
35.84	   search
35.84	     run=3  nbConstraintChecks=12896635  nbValidityChecks=24078  nbPropagations=28852  nbRevisions=155383
35.84	     nbUselessRevisions=141543  nbAssignments=2254  nbFailedAssignments=15  nbBacktracks=361  nbVisitedNodes=2270
35.84	     nbRestartNogoods=4  mapSize=28  nbInferences=0  nbTooLargeKeys=0
35.84	       =>  wckTime=34.54  cpuTime=34.3  mem=45M825
41.13	   
41.13	   search
41.13	     run=4  nbConstraintChecks=15072194  nbValidityChecks=27707  nbPropagations=39430  nbRevisions=204992
41.13	     nbUselessRevisions=185501  nbAssignments=2741  nbFailedAssignments=27  nbBacktracks=499  nbVisitedNodes=2769
41.13	     nbRestartNogoods=5  mapSize=49  nbInferences=0  nbTooLargeKeys=0
41.13	       =>  wckTime=39.825  cpuTime=39.55  mem=45M825
43.93	   
43.93	   search
43.93	     run=5  nbConstraintChecks=16199146  nbValidityChecks=31414  nbPropagations=51556  nbRevisions=258790
43.93	     nbUselessRevisions=232582  nbAssignments=3222  nbFailedAssignments=45  nbBacktracks=574  nbVisitedNodes=3268
43.93	     nbRestartNogoods=6  mapSize=82  nbInferences=0  nbTooLargeKeys=0
43.93	       =>  wckTime=42.627  cpuTime=42.34  mem=46M799
49.34	   
49.34	   search
49.34	     run=6  nbConstraintChecks=18374830  nbValidityChecks=45037  nbPropagations=65418  nbRevisions=325523
49.34	     nbUselessRevisions=291739  nbAssignments=4099  nbFailedAssignments=47  nbBacktracks=981  nbVisitedNodes=4147
49.34	     nbRestartNogoods=9  mapSize=85  nbInferences=0  nbTooLargeKeys=0
49.34	       =>  wckTime=48.04  cpuTime=47.73  mem=48M747
74.41	   
74.41	   search
74.41	     run=7  nbConstraintChecks=28807874  nbValidityChecks=53125  nbPropagations=80858  nbRevisions=400112
74.41	     nbUselessRevisions=357823  nbAssignments=4748  nbFailedAssignments=58  nbBacktracks=1156  nbVisitedNodes=4807
74.41	     nbRestartNogoods=10  mapSize=101  nbInferences=0  nbTooLargeKeys=0
74.41	       =>  wckTime=73.106  cpuTime=72.67  mem=49M721
199.53	   
199.53	   search
199.53	     run=8  nbConstraintChecks=80856450  nbValidityChecks=62725  nbPropagations=98222  nbRevisions=483813
199.53	     nbUselessRevisions=431831  nbAssignments=5503  nbFailedAssignments=108  nbBacktracks=1414  nbVisitedNodes=5612
199.53	     nbRestartNogoods=11  mapSize=175  nbInferences=0  nbTooLargeKeys=0
199.53	       =>  wckTime=198.226  cpuTime=197.18  mem=51M669
393.40	   
393.40	   search
393.40	     run=9  nbConstraintChecks=160758108  nbValidityChecks=78272  nbPropagations=117956  nbRevisions=581920
393.40	     nbUselessRevisions=518798  nbAssignments=6446  nbFailedAssignments=188  nbBacktracks=1809  nbVisitedNodes=6635
393.40	     nbRestartNogoods=12  mapSize=320  nbInferences=0  nbTooLargeKeys=0
393.40	       =>  wckTime=392.096  cpuTime=390.12  mem=52M644
633.15	   
633.15	   search
633.15	     run=10  nbConstraintChecks=258354603  nbValidityChecks=101592  nbPropagations=140047  nbRevisions=701449
633.15	     nbUselessRevisions=625998  nbAssignments=7654  nbFailedAssignments=281  nbBacktracks=2390  nbVisitedNodes=7936
633.15	     nbRestartNogoods=14  mapSize=420  nbInferences=0  nbTooLargeKeys=0
633.15	       =>  wckTime=631.851  cpuTime=628.69  mem=13M494
1198.27	   
1198.27	   search
1198.27	     run=11  nbConstraintChecks=491234420  nbValidityChecks=138006  nbPropagations=165542  nbRevisions=853994
1198.27	     nbUselessRevisions=764379  nbAssignments=9319  nbFailedAssignments=503  nbBacktracks=3272  nbVisitedNodes=9823
1198.27	     nbRestartNogoods=15  mapSize=657  nbInferences=0  nbTooLargeKeys=0
1198.27	       =>  wckTime=1196.966  cpuTime=1191.09  mem=16M457

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-210339-1168196823 -o ROOT/results/node11/solver-210339-1168196823 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210339-1168196823/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.93 1.02 1.27 2/83 7951
/proc/meminfo: memFree=1661288/2055920 swapFree=4192812/4192956
[pid=7950] ppid=7947 vsize=1784 CPUtime=0
/proc/7950/stat : 7950 (java) R 7947 7950 7841 0 -1 0 190 0 0 0 0 0 0 0 18 0 1 0 168077342 1826816 158 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/7950/statm: 446 158 123 14 0 91 0

[startup+0.101898 s]
/proc/loadavg: 0.93 1.02 1.27 2/83 7951
/proc/meminfo: memFree=1661288/2055920 swapFree=4192812/4192956
[pid=7950] ppid=7947 vsize=916012 CPUtime=0.07
/proc/7950/stat : 7950 (java) R 7947 7950 7841 0 -1 0 2953 0 1 0 6 1 0 0 23 0 8 0 168077342 937996288 2699 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072916972 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7950/statm: 229003 2699 1412 14 0 215498 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 916012

[startup+0.509975 s]
/proc/loadavg: 0.93 1.02 1.27 2/83 7951
/proc/meminfo: memFree=1661288/2055920 swapFree=4192812/4192956
[pid=7950] ppid=7947 vsize=916352 CPUtime=0.46
/proc/7950/stat : 7950 (java) R 7947 7950 7841 0 -1 0 6442 0 1 0 43 3 0 0 18 0 8 0 168077342 938344448 6181 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7950/statm: 229088 6182 2139 14 0 215558 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 916352

[startup+1.33113 s]
/proc/loadavg: 0.93 1.02 1.27 3/101 7982
/proc/meminfo: memFree=1565008/2055920 swapFree=4192812/4192956
[pid=7950] ppid=7947 vsize=916600 CPUtime=1.29
/proc/7950/stat : 7950 (java) R 7947 7950 7841 0 -1 0 16494 0 1 0 116 13 0 0 24 0 8 0 168077342 938598400 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7950/statm: 229150 16232 2539 14 0 215620 0
[pid=7950/tid=7967] ppid=7947 vsize=916600 CPUtime=0.05
/proc/7950/task/7967/stat : 7967 (java) S 7947 7950 7841 0 -1 64 1133 0 0 0 5 0 0 0 17 0 8 0 168077347 938598400 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7970] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7970/stat : 7970 (java) S 7947 7950 7841 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168077347 938598400 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7971] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7971/stat : 7971 (java) S 7947 7950 7841 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168077347 938598400 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7973] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7973/stat : 7973 (java) S 7947 7950 7841 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 168077350 938598400 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7974] ppid=7947 vsize=916600 CPUtime=0.22
/proc/7950/task/7974/stat : 7974 (java) S 7947 7950 7841 0 -1 64 401 0 0 0 22 0 0 0 15 0 8 0 168077350 938598400 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7975] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7975/stat : 7975 (java) S 7947 7950 7841 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168077350 938598400 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7976] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7976/stat : 7976 (java) S 7947 7950 7841 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168077351 938598400 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 916600

[startup+2.97054 s]
/proc/loadavg: 0.93 1.02 1.27 3/101 7982
/proc/meminfo: memFree=1564688/2055920 swapFree=4192812/4192956
[pid=7950] ppid=7947 vsize=916600 CPUtime=2.92
/proc/7950/stat : 7950 (java) R 7947 7950 7841 0 -1 0 16503 0 1 0 279 13 0 0 25 0 8 0 168077342 938598400 16240 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073752098 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7950/statm: 229150 16240 2539 14 0 215620 0
[pid=7950/tid=7967] ppid=7947 vsize=916600 CPUtime=0.05
/proc/7950/task/7967/stat : 7967 (java) S 7947 7950 7841 0 -1 64 1133 0 0 0 5 0 0 0 16 0 8 0 168077347 938598400 16240 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7970] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7970/stat : 7970 (java) S 7947 7950 7841 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168077347 938598400 16240 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7971] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7971/stat : 7971 (java) S 7947 7950 7841 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168077347 938598400 16240 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7973] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7973/stat : 7973 (java) S 7947 7950 7841 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 168077350 938598400 16240 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7974] ppid=7947 vsize=916600 CPUtime=0.25
/proc/7950/task/7974/stat : 7974 (java) S 7947 7950 7841 0 -1 64 410 0 0 0 24 1 0 0 16 0 8 0 168077350 938598400 16240 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7975] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7975/stat : 7975 (java) S 7947 7950 7841 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168077350 938598400 16240 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7976] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7976/stat : 7976 (java) S 7947 7950 7841 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168077351 938598400 16240 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 916600

[startup+6.26211 s]
/proc/loadavg: 1.01 1.03 1.27 3/101 7982
/proc/meminfo: memFree=1564632/2055920 swapFree=4192812/4192956
[pid=7950] ppid=7947 vsize=916600 CPUtime=6.19
/proc/7950/stat : 7950 (java) R 7947 7950 7841 0 -1 0 16525 0 1 0 606 13 0 0 25 0 8 0 168077342 938598400 16261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073748163 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7950/statm: 229150 16261 2542 14 0 215620 0
[pid=7950/tid=7967] ppid=7947 vsize=916600 CPUtime=0.05
/proc/7950/task/7967/stat : 7967 (java) S 7947 7950 7841 0 -1 64 1133 0 0 0 5 0 0 0 16 0 8 0 168077347 938598400 16261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7970] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7970/stat : 7970 (java) S 7947 7950 7841 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168077347 938598400 16261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7971] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7971/stat : 7971 (java) S 7947 7950 7841 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168077347 938598400 16261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7973] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7973/stat : 7973 (java) S 7947 7950 7841 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 168077350 938598400 16261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7974] ppid=7947 vsize=916600 CPUtime=0.28
/proc/7950/task/7974/stat : 7974 (java) S 7947 7950 7841 0 -1 64 425 0 0 0 27 1 0 0 15 0 8 0 168077350 938598400 16261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7975] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7975/stat : 7975 (java) S 7947 7950 7841 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168077350 938598400 16261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7976] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7976/stat : 7976 (java) S 7947 7950 7841 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168077351 938598400 16261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 916600

[startup+12.7344 s]
/proc/loadavg: 1.09 1.05 1.27 3/101 7982
/proc/meminfo: memFree=1564640/2055920 swapFree=4192812/4192956
[pid=7950] ppid=7947 vsize=916600 CPUtime=12.63
/proc/7950/stat : 7950 (java) R 7947 7950 7841 0 -1 0 16528 0 1 0 1250 13 0 0 25 0 8 0 168077342 938598400 16263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073749461 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7950/statm: 229150 16263 2543 14 0 215620 0
[pid=7950/tid=7967] ppid=7947 vsize=916600 CPUtime=0.05
/proc/7950/task/7967/stat : 7967 (java) S 7947 7950 7841 0 -1 64 1133 0 0 0 5 0 0 0 16 0 8 0 168077347 938598400 16263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7970] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7970/stat : 7970 (java) S 7947 7950 7841 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168077347 938598400 16263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7971] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7971/stat : 7971 (java) S 7947 7950 7841 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168077347 938598400 16263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7973] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7973/stat : 7973 (java) S 7947 7950 7841 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 168077350 938598400 16263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7974] ppid=7947 vsize=916600 CPUtime=0.28
/proc/7950/task/7974/stat : 7974 (java) S 7947 7950 7841 0 -1 64 425 0 0 0 27 1 0 0 16 0 8 0 168077350 938598400 16263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7975] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7975/stat : 7975 (java) S 7947 7950 7841 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168077350 938598400 16263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7976] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7976/stat : 7976 (java) S 7947 7950 7841 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168077351 938598400 16263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 916600

[startup+25.5879 s]
/proc/loadavg: 1.29 1.10 1.28 3/101 7982
/proc/meminfo: memFree=1564768/2055920 swapFree=4192812/4192956
[pid=7950] ppid=7947 vsize=916600 CPUtime=25.42
/proc/7950/stat : 7950 (java) R 7947 7950 7841 0 -1 0 16536 0 1 0 2529 13 0 0 25 0 8 0 168077342 938598400 16269 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073752098 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7950/statm: 229150 16269 2543 14 0 215620 0
[pid=7950/tid=7967] ppid=7947 vsize=916600 CPUtime=0.05
/proc/7950/task/7967/stat : 7967 (java) S 7947 7950 7841 0 -1 64 1133 0 0 0 5 0 0 0 17 0 8 0 168077347 938598400 16269 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7970] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7970/stat : 7970 (java) S 7947 7950 7841 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168077347 938598400 16269 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7971] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7971/stat : 7971 (java) S 7947 7950 7841 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168077347 938598400 16269 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7973] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7973/stat : 7973 (java) S 7947 7950 7841 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 168077350 938598400 16269 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7974] ppid=7947 vsize=916600 CPUtime=0.29
/proc/7950/task/7974/stat : 7974 (java) S 7947 7950 7841 0 -1 64 431 0 0 0 28 1 0 0 15 0 8 0 168077350 938598400 16269 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7975] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7975/stat : 7975 (java) S 7947 7950 7841 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168077350 938598400 16269 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7976] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7976/stat : 7976 (java) S 7947 7950 7841 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168077351 938598400 16269 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 916600

[startup+51.287 s]
/proc/loadavg: 1.53 1.17 1.30 3/101 7982
/proc/meminfo: memFree=1538464/2055920 swapFree=4192812/4192956
[pid=7950] ppid=7947 vsize=916600 CPUtime=51
/proc/7950/stat : 7950 (java) R 7947 7950 7841 0 -1 0 17252 0 1 0 5086 14 0 0 25 0 8 0 168077342 938598400 16983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073753285 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7950/statm: 229150 16983 2543 14 0 215620 0
[pid=7950/tid=7967] ppid=7947 vsize=916600 CPUtime=0.05
/proc/7950/task/7967/stat : 7967 (java) S 7947 7950 7841 0 -1 64 1133 0 0 0 5 0 0 0 16 0 8 0 168077347 938598400 16983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7970] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7970/stat : 7970 (java) S 7947 7950 7841 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168077347 938598400 16983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7971] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7971/stat : 7971 (java) S 7947 7950 7841 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168077347 938598400 16983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7973] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7973/stat : 7973 (java) S 7947 7950 7841 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 168077350 938598400 16983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7974] ppid=7947 vsize=916600 CPUtime=0.3
/proc/7950/task/7974/stat : 7974 (java) S 7947 7950 7841 0 -1 64 437 0 0 0 29 1 0 0 16 0 8 0 168077350 938598400 16983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7975] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7975/stat : 7975 (java) S 7947 7950 7841 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168077350 938598400 16983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7976] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7976/stat : 7976 (java) S 7947 7950 7841 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168077351 938598400 16983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 916600

[startup+102.569 s]
/proc/loadavg: 1.80 1.29 1.34 3/101 7982
/proc/meminfo: memFree=1537184/2055920 swapFree=4192812/4192956
[pid=7950] ppid=7947 vsize=916600 CPUtime=102.04
/proc/7950/stat : 7950 (java) R 7947 7950 7841 0 -1 0 17557 0 1 0 10189 15 0 0 25 0 8 0 168077342 938598400 17288 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073752416 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7950/statm: 229150 17288 2543 14 0 215620 0
[pid=7950/tid=7967] ppid=7947 vsize=916600 CPUtime=0.05
/proc/7950/task/7967/stat : 7967 (java) S 7947 7950 7841 0 -1 64 1133 0 0 0 5 0 0 0 16 0 8 0 168077347 938598400 17288 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7970] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7970/stat : 7970 (java) S 7947 7950 7841 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168077347 938598400 17288 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7971] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7971/stat : 7971 (java) S 7947 7950 7841 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168077347 938598400 17288 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7973] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7973/stat : 7973 (java) S 7947 7950 7841 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 168077350 938598400 17288 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7974] ppid=7947 vsize=916600 CPUtime=0.3
/proc/7950/task/7974/stat : 7974 (java) S 7947 7950 7841 0 -1 64 438 0 0 0 29 1 0 0 16 0 8 0 168077350 938598400 17288 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7975] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7975/stat : 7975 (java) S 7947 7950 7841 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168077350 938598400 17288 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7976] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7976/stat : 7976 (java) S 7947 7950 7841 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168077351 938598400 17288 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.04
Current children cumulated vsize (KiB) 916600

[startup+162.667 s]
/proc/loadavg: 1.92 1.42 1.37 3/102 7983
/proc/meminfo: memFree=1532760/2055920 swapFree=4192812/4192956
[pid=7950] ppid=7947 vsize=916600 CPUtime=161.84
/proc/7950/stat : 7950 (java) R 7947 7950 7841 0 -1 0 17590 0 1 0 16169 15 0 0 25 0 8 0 168077342 938598400 17320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073753248 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1418.53
Current children cumulated vsize (KiB) 916600

[startup+1484.69 s]
/proc/loadavg: 2.10 2.04 1.85 3/102 7985
/proc/meminfo: memFree=1313496/2055920 swapFree=4192812/4192956
[pid=7950] ppid=7947 vsize=916600 CPUtime=1478.6
/proc/7950/stat : 7950 (java) R 7947 7950 7841 0 -1 0 19705 0 1 0 147833 27 0 0 25 0 8 0 168077342 938598400 19429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073749566 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7950/statm: 229150 19429 2547 14 0 215620 0
[pid=7950/tid=7967] ppid=7947 vsize=916600 CPUtime=0.08
/proc/7950/task/7967/stat : 7967 (java) S 7947 7950 7841 0 -1 64 2597 0 0 0 7 1 0 0 16 0 8 0 168077347 938598400 19429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7970] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7970/stat : 7970 (java) S 7947 7950 7841 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168077347 938598400 19429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7971] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7971/stat : 7971 (java) S 7947 7950 7841 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168077347 938598400 19429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7973] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7973/stat : 7973 (java) S 7947 7950 7841 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 168077350 938598400 19429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7974] ppid=7947 vsize=916600 CPUtime=0.32
/proc/7950/task/7974/stat : 7974 (java) S 7947 7950 7841 0 -1 64 444 0 0 0 31 1 0 0 16 0 8 0 168077350 938598400 19429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7975] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7975/stat : 7975 (java) S 7947 7950 7841 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168077350 938598400 19429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7976] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7976/stat : 7976 (java) S 7947 7950 7841 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168077351 938598400 19429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1478.6
Current children cumulated vsize (KiB) 916600

[startup+1544.73 s]
/proc/loadavg: 2.04 2.03 1.85 3/102 7985
/proc/meminfo: memFree=1271000/2055920 swapFree=4192812/4192956
[pid=7950] ppid=7947 vsize=916600 CPUtime=1538.62
/proc/7950/stat : 7950 (java) R 7947 7950 7841 0 -1 0 19705 0 1 0 153834 28 0 0 25 0 8 0 168077342 938598400 19429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073748160 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7950/statm: 229150 19429 2547 14 0 215620 0
[pid=7950/tid=7967] ppid=7947 vsize=916600 CPUtime=0.08
/proc/7950/task/7967/stat : 7967 (java) S 7947 7950 7841 0 -1 64 2597 0 0 0 7 1 0 0 16 0 8 0 168077347 938598400 19429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7970] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7970/stat : 7970 (java) S 7947 7950 7841 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168077347 938598400 19429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7971] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7971/stat : 7971 (java) S 7947 7950 7841 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168077347 938598400 19429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7973] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7973/stat : 7973 (java) S 7947 7950 7841 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 168077350 938598400 19429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7974] ppid=7947 vsize=916600 CPUtime=0.32
/proc/7950/task/7974/stat : 7974 (java) S 7947 7950 7841 0 -1 64 444 0 0 0 31 1 0 0 16 0 8 0 168077350 938598400 19429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7975] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7975/stat : 7975 (java) S 7947 7950 7841 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168077350 938598400 19429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7976] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7976/stat : 7976 (java) S 7947 7950 7841 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168077351 938598400 19429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1538.62
Current children cumulated vsize (KiB) 916600

[startup+1604.81 s]
/proc/loadavg: 2.01 2.02 1.86 3/102 7985
/proc/meminfo: memFree=1270936/2055920 swapFree=4192812/4192956
[pid=7950] ppid=7947 vsize=916600 CPUtime=1598.67
/proc/7950/stat : 7950 (java) R 7947 7950 7841 0 -1 0 19705 0 1 0 159839 28 0 0 25 0 8 0 168077342 938598400 19429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073753127 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7950/statm: 229150 19429 2547 14 0 215620 0
[pid=7950/tid=7967] ppid=7947 vsize=916600 CPUtime=0.08
/proc/7950/task/7967/stat : 7967 (java) S 7947 7950 7841 0 -1 64 2597 0 0 0 7 1 0 0 16 0 8 0 168077347 938598400 19429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7970] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7970/stat : 7970 (java) S 7947 7950 7841 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168077347 938598400 19429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7971] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7971/stat : 7971 (java) S 7947 7950 7841 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168077347 938598400 19429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7973] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7973/stat : 7973 (java) S 7947 7950 7841 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 168077350 938598400 19429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7974] ppid=7947 vsize=916600 CPUtime=0.32
/proc/7950/task/7974/stat : 7974 (java) S 7947 7950 7841 0 -1 64 444 0 0 0 31 1 0 0 16 0 8 0 168077350 938598400 19429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7975] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7975/stat : 7975 (java) S 7947 7950 7841 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168077350 938598400 19429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7976] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7976/stat : 7976 (java) S 7947 7950 7841 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168077351 938598400 19429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1598.67
Current children cumulated vsize (KiB) 916600

[startup+1664.87 s]
/proc/loadavg: 2.00 2.02 1.87 3/102 7985
/proc/meminfo: memFree=1270936/2055920 swapFree=4192812/4192956
[pid=7950] ppid=7947 vsize=916600 CPUtime=1658.71
/proc/7950/stat : 7950 (java) R 7947 7950 7841 0 -1 0 19705 0 1 0 165842 29 0 0 25 0 8 0 168077342 938598400 19429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073755239 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7950/statm: 229150 19429 2547 14 0 215620 0
[pid=7950/tid=7967] ppid=7947 vsize=916600 CPUtime=0.08
/proc/7950/task/7967/stat : 7967 (java) S 7947 7950 7841 0 -1 64 2597 0 0 0 7 1 0 0 16 0 8 0 168077347 938598400 19429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7970] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7970/stat : 7970 (java) S 7947 7950 7841 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168077347 938598400 19429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7971] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7971/stat : 7971 (java) S 7947 7950 7841 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168077347 938598400 19429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7973] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7973/stat : 7973 (java) S 7947 7950 7841 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 168077350 938598400 19429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7974] ppid=7947 vsize=916600 CPUtime=0.32
/proc/7950/task/7974/stat : 7974 (java) S 7947 7950 7841 0 -1 64 444 0 0 0 31 1 0 0 16 0 8 0 168077350 938598400 19429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7975] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7975/stat : 7975 (java) S 7947 7950 7841 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168077350 938598400 19429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7976] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7976/stat : 7976 (java) S 7947 7950 7841 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168077351 938598400 19429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1658.71
Current children cumulated vsize (KiB) 916600

[startup+1724.96 s]
/proc/loadavg: 2.00 2.01 1.87 3/102 7985
/proc/meminfo: memFree=1270872/2055920 swapFree=4192812/4192956
[pid=7950] ppid=7947 vsize=916600 CPUtime=1718.77
/proc/7950/stat : 7950 (java) R 7947 7950 7841 0 -1 0 19705 0 1 0 171848 29 0 0 25 0 8 0 168077342 938598400 19429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073758440 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7950/statm: 229150 19429 2547 14 0 215620 0
[pid=7950/tid=7967] ppid=7947 vsize=916600 CPUtime=0.08
/proc/7950/task/7967/stat : 7967 (java) S 7947 7950 7841 0 -1 64 2597 0 0 0 7 1 0 0 16 0 8 0 168077347 938598400 19429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7970] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7970/stat : 7970 (java) S 7947 7950 7841 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168077347 938598400 19429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7971] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7971/stat : 7971 (java) S 7947 7950 7841 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168077347 938598400 19429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7973] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7973/stat : 7973 (java) S 7947 7950 7841 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 168077350 938598400 19429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7974] ppid=7947 vsize=916600 CPUtime=0.32
/proc/7950/task/7974/stat : 7974 (java) S 7947 7950 7841 0 -1 64 444 0 0 0 31 1 0 0 16 0 8 0 168077350 938598400 19429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7975] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7975/stat : 7975 (java) S 7947 7950 7841 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168077350 938598400 19429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7976] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7976/stat : 7976 (java) S 7947 7950 7841 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168077351 938598400 19429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1718.77
Current children cumulated vsize (KiB) 916600

[startup+1785.05 s]
/proc/loadavg: 2.00 2.01 1.88 3/102 7985
/proc/meminfo: memFree=1270872/2055920 swapFree=4192812/4192956
[pid=7950] ppid=7947 vsize=916600 CPUtime=1778.85
/proc/7950/stat : 7950 (java) R 7947 7950 7841 0 -1 0 19705 0 1 0 177855 30 0 0 25 0 8 0 168077342 938598400 19429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073749529 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7950/statm: 229150 19429 2547 14 0 215620 0
[pid=7950/tid=7967] ppid=7947 vsize=916600 CPUtime=0.08
/proc/7950/task/7967/stat : 7967 (java) S 7947 7950 7841 0 -1 64 2597 0 0 0 7 1 0 0 16 0 8 0 168077347 938598400 19429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7970] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7970/stat : 7970 (java) S 7947 7950 7841 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168077347 938598400 19429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7971] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7971/stat : 7971 (java) S 7947 7950 7841 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168077347 938598400 19429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7973] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7973/stat : 7973 (java) S 7947 7950 7841 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 168077350 938598400 19429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7974] ppid=7947 vsize=916600 CPUtime=0.32
/proc/7950/task/7974/stat : 7974 (java) S 7947 7950 7841 0 -1 64 444 0 0 0 31 1 0 0 16 0 8 0 168077350 938598400 19429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7975] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7975/stat : 7975 (java) S 7947 7950 7841 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168077350 938598400 19429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7976] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7976/stat : 7976 (java) S 7947 7950 7841 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168077351 938598400 19429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1778.85
Current children cumulated vsize (KiB) 916600



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1806.25 s]
/proc/loadavg: 2.00 2.00 1.88 3/102 7985
/proc/meminfo: memFree=1270808/2055920 swapFree=4192812/4192956
[pid=7950] ppid=7947 vsize=916600 CPUtime=1800.04
/proc/7950/stat : 7950 (java) R 7947 7950 7841 0 -1 0 19705 0 1 0 179974 30 0 0 25 0 8 0 168077342 938598400 19429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073748160 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7950/statm: 229150 19429 2547 14 0 215620 0
[pid=7950/tid=7967] ppid=7947 vsize=916600 CPUtime=0.08
/proc/7950/task/7967/stat : 7967 (java) S 7947 7950 7841 0 -1 64 2597 0 0 0 7 1 0 0 16 0 8 0 168077347 938598400 19429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7970] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7970/stat : 7970 (java) S 7947 7950 7841 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168077347 938598400 19429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7971] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7971/stat : 7971 (java) S 7947 7950 7841 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168077347 938598400 19429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7973] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7973/stat : 7973 (java) S 7947 7950 7841 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 168077350 938598400 19429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7974] ppid=7947 vsize=916600 CPUtime=0.32
/proc/7950/task/7974/stat : 7974 (java) S 7947 7950 7841 0 -1 64 444 0 0 0 31 1 0 0 16 0 8 0 168077350 938598400 19429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7950/tid=7975] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7975/stat : 7975 (java) S 7947 7950 7841 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168077350 938598400 19429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7950/tid=7976] ppid=7947 vsize=916600 CPUtime=0
/proc/7950/task/7976/stat : 7976 (java) S 7947 7950 7841 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168077351 938598400 19429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 916600

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

Child status: 143
Real time (s): 1806.31
CPU time (s): 1800.1
CPU user time (s): 1799.78
CPU system time (s): 0.319951
CPU usage (%): 99.6564
Max. virtual memory (cumulated for all children) (KiB): 916600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.78
system time used= 0.319951
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19719
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= 37993
involuntary context switches= 85524

runsolver used 1.9487 s user time and 5.97709 s system time

The end

Launcher Data (download as text)

Begin job on node11 on Sun Jan  7 19:07:03 UTC 2007


IDJOB= 210339
IDBENCH= 4612
FILE ID= node11/210339-1168196823

PBS_JOBID= 3480507

Free space on /tmp= 66338 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  2e22d5d11e604e15f15a806793e2982a

RANDOM SEED= 587722319

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:       1662096 kB
Buffers:         45024 kB
Cached:         231192 kB
SwapCached:          0 kB
Active:         179148 kB
Inactive:       157436 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1662096 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            5424 kB
Writeback:           0 kB
Mapped:          79344 kB
Slab:            42168 kB
Committed_AS:  4936868 kB
PageTables:       2224 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 19:37:11 UTC 2007