Trace number 201199

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 AC? (TO) 1800.08 1801.21

General information on the benchmark

Namefapp/fapp11-15/fapp12/
fapp12-1500-3.xml
MD5SUM931b9eff036dfe9624d2ebd0c55327ca
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1500
Number of constraints25409
Maximum constraint arity2
Maximum domain size310
Number of constraints which are defined in extension0
Number of constraints which are defined in intension25409
Global constraints used (with number of constraints)

Solver Data (download as text)

0.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=mac.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/201199-1168072269/unknown.xml
0.35	   
0.35	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.62	     nbVariables=1500  nbDomainTypes=13  minDomainSize=42  maxDomainSize=310
0.62	       =>  wckTime=0.322  cpuTime=0.23  mem=22M513
0.62	   
0.62	   predicates being loaded...
0.62	   
0.62	   constraints being loaded...
4.58	   
4.58	   INFO : Stopping converting binary constraints (cpu=4.02, mem = 44M489)
7.73	     nbConstraints=13439  nbMergedConstraints=11970  nbConvertedConstraints=66  nbConvertConstraintsChecks=5341300
7.73	     nbExtensionStructures=59  nbSharedExtensionStructures=7  nbConflictsStructures=59  nbSharedConflictsStructures=7
7.73	     nbSharedBinaryRepresentations=19143  nbEvaluationManagers=9646  nbSharedEvaluationManagers=3727  maxDegree=22
7.73	     maxArity=2
7.73	       =>  wckTime=7.434  cpuTime=6.7  mem=65M574
7.93	   
7.93	   solver IterativeSystematicSolver being built... 
8.43	       =>  wckTime=8.132  cpuTime=7.04  mem=84M974
46.05	   
46.05	   preprocessing
46.05	     nbConstraintChecks=68410479  nbValidityChecks=2474350  nbPropagations=2084  nbRevisions=43987
46.05	     nbUselessRevisions=39196  nbRemovedValues=251161  detectedInconsistency=no
46.05	       =>  wckTime=37.601  cpuTime=37.29  mem=84M974
55.93	   
55.93	   search
55.93	     run=0  nbConstraintChecks=15376016  nbValidityChecks=12210085  nbPropagations=9632  nbRevisions=192882
55.93	     nbUselessRevisions=170688  nbAssignments=34  nbFailedAssignments=6  nbBacktracks=12  nbVisitedNodes=46
55.93	     nbRestartNogoods=0  mapSize=0  nbInferences=0  nbTooLargeKeys=28
55.93	       =>  wckTime=47.487  cpuTime=47.08  mem=85M981
62.05	   
62.05	   search
62.05	     run=1  nbConstraintChecks=24666339  nbValidityChecks=25606901  nbPropagations=27302  nbRevisions=543252
62.05	     nbUselessRevisions=481219  nbAssignments=107  nbFailedAssignments=25  nbBacktracks=28  nbVisitedNodes=144
62.05	     nbRestartNogoods=2  mapSize=0  nbInferences=0  nbTooLargeKeys=82
62.05	       =>  wckTime=53.605  cpuTime=53.17  mem=85M981
65.17	   
65.17	   search
65.17	     run=2  nbConstraintChecks=29286244  nbValidityChecks=34875404  nbPropagations=50664  nbRevisions=995770
65.17	     nbUselessRevisions=882562  nbAssignments=192  nbFailedAssignments=50  nbBacktracks=50  nbVisitedNodes=260
65.17	     nbRestartNogoods=7  mapSize=0  nbInferences=0  nbTooLargeKeys=142
65.17	       =>  wckTime=56.728  cpuTime=56.28  mem=85M981
68.77	   
68.77	   search
68.77	     run=3  nbConstraintChecks=34538444  nbValidityChecks=45162936  nbPropagations=80456  nbRevisions=1563971
68.77	     nbUselessRevisions=1385941  nbAssignments=293  nbFailedAssignments=83  nbBacktracks=83  nbVisitedNodes=403
68.77	     nbRestartNogoods=11  mapSize=0  nbInferences=0  nbTooLargeKeys=210
68.77	       =>  wckTime=60.329  cpuTime=59.87  mem=85M981
77.49	   
77.49	   search
77.49	     run=4  nbConstraintChecks=46832344  nbValidityChecks=64567838  nbPropagations=122833  nbRevisions=2379197
77.49	     nbUselessRevisions=2102322  nbAssignments=424  nbFailedAssignments=139  nbBacktracks=133  nbVisitedNodes=607
77.49	     nbRestartNogoods=13  mapSize=0  nbInferences=0  nbTooLargeKeys=285
77.49	       =>  wckTime=69.048  cpuTime=68.55  mem=85M981
92.91	   
92.91	   search
92.91	     run=5  nbConstraintChecks=68067240  nbValidityChecks=95058481  nbPropagations=190601  nbRevisions=3649823
92.91	     nbUselessRevisions=3221372  nbAssignments=732  nbFailedAssignments=296  nbBacktracks=208  nbVisitedNodes=1103
92.91	     nbRestartNogoods=17  mapSize=0  nbInferences=0  nbTooLargeKeys=436
92.91	       =>  wckTime=84.463  cpuTime=83.96  mem=85M981
128.84	   
128.84	   search
128.84	     run=6  nbConstraintChecks=118310573  nbValidityChecks=168195084  nbPropagations=318642  nbRevisions=6026045
128.84	     nbUselessRevisions=5319103  nbAssignments=1219  nbFailedAssignments=572  nbBacktracks=323  nbVisitedNodes=1924
128.84	     nbRestartNogoods=27  mapSize=0  nbInferences=0  nbTooLargeKeys=647
128.84	       =>  wckTime=120.399  cpuTime=119.89  mem=85M981
140.94	   
140.94	   search
140.94	     run=7  nbConstraintChecks=133051669  nbValidityChecks=200195369  nbPropagations=479747  nbRevisions=9008870
140.94	     nbUselessRevisions=7963179  nbAssignments=1599  nbFailedAssignments=662  nbBacktracks=505  nbVisitedNodes=2444
140.94	     nbRestartNogoods=41  mapSize=0  nbInferences=0  nbTooLargeKeys=937
140.94	       =>  wckTime=132.5  cpuTime=131.98  mem=85M981
146.20	   
146.20	   INFO : Stopping hyperNogood (mapSize=0, nbTooLargekeys=1094, mem=85M981)
152.01	   
152.01	   search
152.01	     run=8  nbConstraintChecks=145693192  nbValidityChecks=235648315  nbPropagations=681906  nbRevisions=12732097
152.01	     nbUselessRevisions=11273667  nbAssignments=2093  nbFailedAssignments=763  nbBacktracks=770  nbVisitedNodes=3114
152.01	     nbRestartNogoods=54
152.01	       =>  wckTime=143.565  cpuTime=143.03  mem=85M981
171.05	   
171.05	   search
171.05	     run=9  nbConstraintChecks=167778224  nbValidityChecks=294185422  nbPropagations=942055  nbRevisions=17509650
171.05	     nbUselessRevisions=15504625  nbAssignments=2929  nbFailedAssignments=1115  nbBacktracks=1156  nbVisitedNodes=4412
171.05	     nbRestartNogoods=62
171.05	       =>  wckTime=162.603  cpuTime=162.06  mem=85M981
196.19	   
196.19	   search
196.19	     run=10  nbConstraintChecks=195136040  nbValidityChecks=358259868  nbPropagations=1288434  nbRevisions=24002683
196.19	     nbUselessRevisions=21152907  nbAssignments=4407  nbFailedAssignments=1883  nbBacktracks=1733  nbVisitedNodes=6909
196.19	     nbRestartNogoods=69
196.19	       =>  wckTime=187.751  cpuTime=187.19  mem=85M981
288.12	   
288.12	   search
288.12	     run=11  nbConstraintChecks=325353009  nbValidityChecks=600321481  nbPropagations=1788595  nbRevisions=33299407
288.13	     nbUselessRevisions=29304237  nbAssignments=6250  nbFailedAssignments=2831  nbBacktracks=2597  nbVisitedNodes=10073
288.13	     nbRestartNogoods=128
288.13	       =>  wckTime=279.683  cpuTime=279.09  mem=85M981
437.28	   
437.28	   search
437.28	     run=12  nbConstraintChecks=529852330  nbValidityChecks=983546694  nbPropagations=2546304  nbRevisions=47625018
437.28	     nbUselessRevisions=41819130  nbAssignments=8874  nbFailedAssignments=4142  nbBacktracks=3897  nbVisitedNodes=14615
437.28	     nbRestartNogoods=152
437.28	       =>  wckTime=428.833  cpuTime=428.19  mem=85M981
921.57	   
921.57	   search
921.57	     run=13  nbConstraintChecks=1200732717  nbValidityChecks=1927815874  nbPropagations=3930289  nbRevisions=74667608
921.57	     nbUselessRevisions=64841157  nbAssignments=19952  nbFailedAssignments=13217  nbBacktracks=5844
921.57	     nbVisitedNodes=36177  nbRestartNogoods=155
921.57	       =>  wckTime=913.131  cpuTime=912.34  mem=85M981
1504.27	   
1504.27	   search
1504.27	     run=14  nbConstraintChecks=1891213279  nbValidityChecks=3276032701  nbPropagations=6706032  nbRevisions=129898274
1504.27	     nbUselessRevisions=111054577  nbAssignments=33961  nbFailedAssignments=24228  nbBacktracks=8765
1504.27	     nbVisitedNodes=62496  nbRestartNogoods=216
1504.27	       =>  wckTime=1495.829  cpuTime=1494.85  mem=85M981

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

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

/proc/loadavg: 1.74 1.94 1.91 3/80 31066
/proc/meminfo: memFree=1405216/2055920 swapFree=4192812/4192956
[pid=31065] ppid=31063 vsize=18540 CPUtime=0
/proc/31065/stat : 31065 (runsolver) R 31063 31065 30449 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 155625588 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 235371293991 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/31065/statm: 4635 279 244 17 0 2626 0

[startup+0.107467 s]
/proc/loadavg: 1.74 1.94 1.91 3/80 31066
/proc/meminfo: memFree=1405216/2055920 swapFree=4192812/4192956
[pid=31065] ppid=31063 vsize=914988 CPUtime=0.08
/proc/31065/stat : 31065 (java) R 31063 31065 30449 0 -1 0 3059 0 1 0 7 1 0 0 22 0 8 0 155625588 936947712 2805 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155582920 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31065/statm: 228747 2805 1450 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.515537 s]
/proc/loadavg: 1.74 1.94 1.91 3/80 31066
/proc/meminfo: memFree=1405216/2055920 swapFree=4192812/4192956
[pid=31065] ppid=31063 vsize=915328 CPUtime=0.49
/proc/31065/stat : 31065 (java) R 31063 31065 30449 0 -1 0 7891 0 1 0 45 4 0 0 25 0 8 0 155625588 937295872 7630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31065/statm: 228832 7630 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33668 s]
/proc/loadavg: 1.74 1.94 1.91 3/87 31073
/proc/meminfo: memFree=1334120/2055920 swapFree=4192812/4192956
[pid=31065] ppid=31063 vsize=915620 CPUtime=1.31
/proc/31065/stat : 31065 (java) R 31063 31065 30449 0 -1 0 22177 0 1 0 118 13 0 0 25 0 8 0 155625588 937594880 21914 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073416261 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31065/statm: 228905 21914 2160 14 0 215375 0
[pid=31065/tid=31067] ppid=31063 vsize=915620 CPUtime=0.08
/proc/31065/task/31067/stat : 31067 (java) S 31063 31065 30449 0 -1 64 5635 0 0 0 6 2 0 0 16 0 8 0 155625592 937594880 21914 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31068] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31068/stat : 31068 (java) S 31063 31065 30449 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155625593 937594880 21914 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31069] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31069/stat : 31069 (java) S 31063 31065 30449 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155625593 937594880 21914 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31070] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31070/stat : 31070 (java) S 31063 31065 30449 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155625596 937594880 21914 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31071] ppid=31063 vsize=915620 CPUtime=0.15
/proc/31065/task/31071/stat : 31071 (java) S 31063 31065 30449 0 -1 64 407 0 0 0 14 1 0 0 16 0 8 0 155625596 937594880 21914 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31072] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31072/stat : 31072 (java) S 31063 31065 30449 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155625596 937594880 21914 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31073] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31073/stat : 31073 (java) S 31063 31065 30449 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155625596 937594880 21914 18446744073709551615 134512640 134570532 4294956480 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) 915620

[startup+2.98295 s]
/proc/loadavg: 1.76 1.94 1.91 3/87 31073
/proc/meminfo: memFree=1325672/2055920 swapFree=4192812/4192956
[pid=31065] ppid=31063 vsize=915620 CPUtime=2.94
/proc/31065/stat : 31065 (java) R 31063 31065 30449 0 -1 0 22254 0 1 0 281 13 0 0 25 0 8 0 155625588 937594880 21989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832802 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31065/statm: 228905 21989 2180 14 0 215375 0
[pid=31065/tid=31067] ppid=31063 vsize=915620 CPUtime=0.11
/proc/31065/task/31067/stat : 31067 (java) S 31063 31065 30449 0 -1 64 5635 0 0 0 9 2 0 0 17 0 8 0 155625592 937594880 21989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31068] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31068/stat : 31068 (java) S 31063 31065 30449 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155625593 937594880 21989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31069] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31069/stat : 31069 (java) S 31063 31065 30449 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155625593 937594880 21989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31070] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31070/stat : 31070 (java) S 31063 31065 30449 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155625596 937594880 21989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31071] ppid=31063 vsize=915620 CPUtime=0.18
/proc/31065/task/31071/stat : 31071 (java) S 31063 31065 30449 0 -1 64 421 0 0 0 17 1 0 0 15 0 8 0 155625596 937594880 21989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31072] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31072/stat : 31072 (java) S 31063 31065 30449 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155625596 937594880 21989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31073] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31073/stat : 31073 (java) S 31063 31065 30449 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155625596 937594880 21989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915620

[startup+6.27251 s]
/proc/loadavg: 1.76 1.94 1.91 3/87 31073
/proc/meminfo: memFree=1313000/2055920 swapFree=4192812/4192956
[pid=31065] ppid=31063 vsize=915620 CPUtime=6.2
/proc/31065/stat : 31065 (java) R 31063 31065 30449 0 -1 0 26185 0 1 0 605 15 0 0 25 0 8 0 155625588 937594880 25917 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073885805 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31065/statm: 228905 25917 2181 14 0 215375 0
[pid=31065/tid=31067] ppid=31063 vsize=915620 CPUtime=0.28
/proc/31065/task/31067/stat : 31067 (java) S 31063 31065 30449 0 -1 64 9535 0 0 0 25 3 0 0 16 0 8 0 155625592 937594880 25917 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31068] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31068/stat : 31068 (java) S 31063 31065 30449 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155625593 937594880 25917 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31069] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31069/stat : 31069 (java) S 31063 31065 30449 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155625593 937594880 25917 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31070] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31070/stat : 31070 (java) S 31063 31065 30449 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155625596 937594880 25917 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31071] ppid=31063 vsize=915620 CPUtime=0.21
/proc/31065/task/31071/stat : 31071 (java) S 31063 31065 30449 0 -1 64 448 0 0 0 20 1 0 0 15 0 8 0 155625596 937594880 25917 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31072] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31072/stat : 31072 (java) S 31063 31065 30449 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155625596 937594880 25917 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31073] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31073/stat : 31073 (java) S 31063 31065 30449 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155625596 937594880 25917 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915620

[startup+12.7556 s]
/proc/loadavg: 1.79 1.94 1.91 3/87 31073
/proc/meminfo: memFree=1265712/2055920 swapFree=4192812/4192956
[pid=31065] ppid=31063 vsize=915620 CPUtime=12.61
/proc/31065/stat : 31065 (java) R 31063 31065 30449 0 -1 0 37624 0 1 0 1241 20 0 0 25 0 8 0 155625588 937594880 37348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831666 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31065/statm: 228905 37348 2533 14 0 215375 0
[pid=31065/tid=31067] ppid=31063 vsize=915620 CPUtime=0.73
/proc/31065/task/31067/stat : 31067 (java) S 31063 31065 30449 0 -1 64 20496 0 0 0 66 7 0 0 16 0 8 0 155625592 937594880 37348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31068] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31068/stat : 31068 (java) S 31063 31065 30449 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155625593 937594880 37348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31069] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31069/stat : 31069 (java) S 31063 31065 30449 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155625593 937594880 37348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31070] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31070/stat : 31070 (java) S 31063 31065 30449 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155625596 937594880 37348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31071] ppid=31063 vsize=915620 CPUtime=0.32
/proc/31065/task/31071/stat : 31071 (java) S 31063 31065 30449 0 -1 64 507 0 0 0 31 1 0 0 16 0 8 0 155625596 937594880 37348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31072] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31072/stat : 31072 (java) S 31063 31065 30449 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155625596 937594880 37348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31073] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31073/stat : 31073 (java) S 31063 31065 30449 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155625596 937594880 37348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915620

[startup+25.6038 s]
/proc/loadavg: 1.82 1.94 1.91 3/87 31073
/proc/meminfo: memFree=1265776/2055920 swapFree=4192812/4192956
[pid=31065] ppid=31063 vsize=915620 CPUtime=25.36
/proc/31065/stat : 31065 (java) R 31063 31065 30449 0 -1 0 37626 0 1 0 2516 20 0 0 25 0 8 0 155625588 937594880 37349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074137898 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31065/statm: 228905 37349 2533 14 0 215375 0
[pid=31065/tid=31067] ppid=31063 vsize=915620 CPUtime=0.73
/proc/31065/task/31067/stat : 31067 (java) S 31063 31065 30449 0 -1 64 20496 0 0 0 66 7 0 0 16 0 8 0 155625592 937594880 37349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31068] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31068/stat : 31068 (java) S 31063 31065 30449 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155625593 937594880 37349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31069] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31069/stat : 31069 (java) S 31063 31065 30449 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155625593 937594880 37349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31070] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31070/stat : 31070 (java) S 31063 31065 30449 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155625596 937594880 37349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31071] ppid=31063 vsize=915620 CPUtime=0.32
/proc/31065/task/31071/stat : 31071 (java) S 31063 31065 30449 0 -1 64 509 0 0 0 31 1 0 0 16 0 8 0 155625596 937594880 37349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31072] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31072/stat : 31072 (java) S 31063 31065 30449 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155625596 937594880 37349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31073] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31073/stat : 31073 (java) S 31063 31065 30449 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155625596 937594880 37349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915620

[startup+51.3032 s]
/proc/loadavg: 1.88 1.95 1.91 2/75 31086
/proc/meminfo: memFree=1352272/2055920 swapFree=4192812/4192956
[pid=31065] ppid=31063 vsize=915620 CPUtime=50.85
/proc/31065/stat : 31065 (java) R 31063 31065 30449 0 -1 0 37642 0 1 0 5065 20 0 0 25 0 8 0 155625588 937594880 37361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073837671 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31065/statm: 228905 37361 2534 14 0 215375 0
[pid=31065/tid=31067] ppid=31063 vsize=915620 CPUtime=0.73
/proc/31065/task/31067/stat : 31067 (java) S 31063 31065 30449 0 -1 64 20496 0 0 0 66 7 0 0 16 0 8 0 155625592 937594880 37361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31068] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31068/stat : 31068 (java) S 31063 31065 30449 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155625593 937594880 37361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31069] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31069/stat : 31069 (java) S 31063 31065 30449 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155625593 937594880 37361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31070] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31070/stat : 31070 (java) S 31063 31065 30449 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155625596 937594880 37361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31071] ppid=31063 vsize=915620 CPUtime=0.33
/proc/31065/task/31071/stat : 31071 (java) S 31063 31065 30449 0 -1 64 520 0 0 0 32 1 0 0 15 0 8 0 155625596 937594880 37361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31072] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31072/stat : 31072 (java) S 31063 31065 30449 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155625596 937594880 37361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31073] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31073/stat : 31073 (java) S 31063 31065 30449 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155625596 937594880 37361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 915620

[startup+102.597 s]
/proc/loadavg: 1.57 1.86 1.88 2/72 31145
/proc/meminfo: memFree=1354936/2055920 swapFree=4192812/4192956
[pid=31065] ppid=31063 vsize=915620 CPUtime=102.03
/proc/31065/stat : 31065 (java) R 31063 31065 30449 0 -1 0 37664 0 1 0 10181 22 0 0 25 0 8 0 155625588 937594880 37373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074140149 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31065/statm: 228905 37373 2537 14 0 215375 0
[pid=31065/tid=31067] ppid=31063 vsize=915620 CPUtime=0.73
/proc/31065/task/31067/stat : 31067 (java) S 31063 31065 30449 0 -1 64 20497 0 0 0 66 7 0 0 16 0 8 0 155625592 937594880 37373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31068] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31068/stat : 31068 (java) S 31063 31065 30449 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155625593 937594880 37373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31069] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31069/stat : 31069 (java) S 31063 31065 30449 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155625593 937594880 37373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31070] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31070/stat : 31070 (java) S 31063 31065 30449 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155625596 937594880 37373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31071] ppid=31063 vsize=915620 CPUtime=0.35
/proc/31065/task/31071/stat : 31071 (java) S 31063 31065 30449 0 -1 64 532 0 0 0 34 1 0 0 16 0 8 0 155625596 937594880 37373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31072] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31072/stat : 31072 (java) S 31063 31065 30449 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155625596 937594880 37373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31073] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31073/stat : 31073 (java) S 31063 31065 30449 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155625596 937594880 37373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.03
Current children cumulated vsize (KiB) 915620

[startup+162.686 s]
/proc/loadavg: 1.21 1.70 1.83 2/72 31145
/proc/meminfo: memFree=1355064/2055920 swapFree=4192812/4192956
[pid=31065] ppid=31063 vsize=915620 CPUtime=162.1
/proc/31065/stat : 31065 (java) R 31063 31065 30449 0 -1 0 37689 0 1 0 16188 22 0 0 16 0 8 0 155625588 937594880 37385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831590 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1423.42
Current children cumulated vsize (KiB) 915620

[startup+1484.5 s]
/proc/loadavg: 1.00 1.00 1.17 2/72 31145
/proc/meminfo: memFree=1354680/2055920 swapFree=4192812/4192956
[pid=31065] ppid=31063 vsize=915620 CPUtime=1483.49
/proc/31065/stat : 31065 (java) R 31063 31065 30449 0 -1 0 37694 0 1 0 148325 24 0 0 25 0 8 0 155625588 937594880 37388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074143755 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31065/statm: 228905 37388 2537 14 0 215375 0
[pid=31065/tid=31067] ppid=31063 vsize=915620 CPUtime=0.73
/proc/31065/task/31067/stat : 31067 (java) S 31063 31065 30449 0 -1 64 20497 0 0 0 66 7 0 0 16 0 8 0 155625592 937594880 37388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31068] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31068/stat : 31068 (java) S 31063 31065 30449 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155625593 937594880 37388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31069] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31069/stat : 31069 (java) S 31063 31065 30449 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155625593 937594880 37388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31070] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31070/stat : 31070 (java) S 31063 31065 30449 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155625596 937594880 37388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31071] ppid=31063 vsize=915620 CPUtime=0.38
/proc/31065/task/31071/stat : 31071 (java) S 31063 31065 30449 0 -1 64 552 0 0 0 37 1 0 0 15 0 8 0 155625596 937594880 37388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31072] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31072/stat : 31072 (java) S 31063 31065 30449 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155625596 937594880 37388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31073] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31073/stat : 31073 (java) S 31063 31065 30449 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155625596 937594880 37388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1483.49
Current children cumulated vsize (KiB) 915620

[startup+1544.6 s]
/proc/loadavg: 1.07 1.03 1.17 2/72 31145
/proc/meminfo: memFree=1354744/2055920 swapFree=4192812/4192956
[pid=31065] ppid=31063 vsize=915620 CPUtime=1543.57
/proc/31065/stat : 31065 (java) R 31063 31065 30449 0 -1 0 37694 0 1 0 154333 24 0 0 25 0 8 0 155625588 937594880 37388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074183992 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31065/statm: 228905 37388 2537 14 0 215375 0
[pid=31065/tid=31067] ppid=31063 vsize=915620 CPUtime=0.73
/proc/31065/task/31067/stat : 31067 (java) S 31063 31065 30449 0 -1 64 20497 0 0 0 66 7 0 0 16 0 8 0 155625592 937594880 37388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31068] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31068/stat : 31068 (java) S 31063 31065 30449 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155625593 937594880 37388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31069] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31069/stat : 31069 (java) S 31063 31065 30449 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155625593 937594880 37388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31070] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31070/stat : 31070 (java) S 31063 31065 30449 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155625596 937594880 37388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31071] ppid=31063 vsize=915620 CPUtime=0.38
/proc/31065/task/31071/stat : 31071 (java) S 31063 31065 30449 0 -1 64 552 0 0 0 37 1 0 0 15 0 8 0 155625596 937594880 37388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31072] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31072/stat : 31072 (java) S 31063 31065 30449 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155625596 937594880 37388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31073] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31073/stat : 31073 (java) S 31063 31065 30449 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155625596 937594880 37388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1543.57
Current children cumulated vsize (KiB) 915620

[startup+1604.68 s]
/proc/loadavg: 1.02 1.02 1.16 2/72 31145
/proc/meminfo: memFree=1354680/2055920 swapFree=4192812/4192956
[pid=31065] ppid=31063 vsize=915620 CPUtime=1603.63
/proc/31065/stat : 31065 (java) R 31063 31065 30449 0 -1 0 37694 0 1 0 160339 24 0 0 25 0 8 0 155625588 937594880 37388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073835879 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31065/statm: 228905 37388 2537 14 0 215375 0
[pid=31065/tid=31067] ppid=31063 vsize=915620 CPUtime=0.73
/proc/31065/task/31067/stat : 31067 (java) S 31063 31065 30449 0 -1 64 20497 0 0 0 66 7 0 0 16 0 8 0 155625592 937594880 37388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31068] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31068/stat : 31068 (java) S 31063 31065 30449 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155625593 937594880 37388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31069] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31069/stat : 31069 (java) S 31063 31065 30449 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155625593 937594880 37388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31070] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31070/stat : 31070 (java) S 31063 31065 30449 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155625596 937594880 37388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31071] ppid=31063 vsize=915620 CPUtime=0.38
/proc/31065/task/31071/stat : 31071 (java) S 31063 31065 30449 0 -1 64 552 0 0 0 37 1 0 0 15 0 8 0 155625596 937594880 37388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31072] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31072/stat : 31072 (java) S 31063 31065 30449 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155625596 937594880 37388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31073] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31073/stat : 31073 (java) S 31063 31065 30449 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155625596 937594880 37388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1603.63
Current children cumulated vsize (KiB) 915620

[startup+1664.77 s]
/proc/loadavg: 1.01 1.01 1.14 2/72 31145
/proc/meminfo: memFree=1354744/2055920 swapFree=4192812/4192956
[pid=31065] ppid=31063 vsize=915620 CPUtime=1663.7
/proc/31065/stat : 31065 (java) R 31063 31065 30449 0 -1 0 37694 0 1 0 166346 24 0 0 25 0 8 0 155625588 937594880 37388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073836912 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31065/statm: 228905 37388 2537 14 0 215375 0
[pid=31065/tid=31067] ppid=31063 vsize=915620 CPUtime=0.73
/proc/31065/task/31067/stat : 31067 (java) S 31063 31065 30449 0 -1 64 20497 0 0 0 66 7 0 0 16 0 8 0 155625592 937594880 37388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31068] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31068/stat : 31068 (java) S 31063 31065 30449 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155625593 937594880 37388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31069] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31069/stat : 31069 (java) S 31063 31065 30449 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155625593 937594880 37388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31070] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31070/stat : 31070 (java) S 31063 31065 30449 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155625596 937594880 37388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31071] ppid=31063 vsize=915620 CPUtime=0.38
/proc/31065/task/31071/stat : 31071 (java) S 31063 31065 30449 0 -1 64 552 0 0 0 37 1 0 0 15 0 8 0 155625596 937594880 37388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31072] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31072/stat : 31072 (java) S 31063 31065 30449 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155625596 937594880 37388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31073] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31073/stat : 31073 (java) S 31063 31065 30449 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155625596 937594880 37388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1663.7
Current children cumulated vsize (KiB) 915620

[startup+1724.85 s]
/proc/loadavg: 1.00 1.01 1.13 2/72 31145
/proc/meminfo: memFree=1354680/2055920 swapFree=4192812/4192956
[pid=31065] ppid=31063 vsize=915620 CPUtime=1723.76
/proc/31065/stat : 31065 (java) R 31063 31065 30449 0 -1 0 37694 0 1 0 172352 24 0 0 25 0 8 0 155625588 937594880 37388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918484 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31065/statm: 228905 37388 2537 14 0 215375 0
[pid=31065/tid=31067] ppid=31063 vsize=915620 CPUtime=0.73
/proc/31065/task/31067/stat : 31067 (java) S 31063 31065 30449 0 -1 64 20497 0 0 0 66 7 0 0 16 0 8 0 155625592 937594880 37388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31068] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31068/stat : 31068 (java) S 31063 31065 30449 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155625593 937594880 37388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31069] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31069/stat : 31069 (java) S 31063 31065 30449 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155625593 937594880 37388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31070] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31070/stat : 31070 (java) S 31063 31065 30449 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155625596 937594880 37388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31071] ppid=31063 vsize=915620 CPUtime=0.38
/proc/31065/task/31071/stat : 31071 (java) S 31063 31065 30449 0 -1 64 552 0 0 0 37 1 0 0 15 0 8 0 155625596 937594880 37388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31072] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31072/stat : 31072 (java) S 31063 31065 30449 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155625596 937594880 37388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31073] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31073/stat : 31073 (java) S 31063 31065 30449 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155625596 937594880 37388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1723.76
Current children cumulated vsize (KiB) 915620

[startup+1784.93 s]
/proc/loadavg: 1.00 1.00 1.12 2/72 31145
/proc/meminfo: memFree=1354616/2055920 swapFree=4192812/4192956
[pid=31065] ppid=31063 vsize=915620 CPUtime=1783.82
/proc/31065/stat : 31065 (java) R 31063 31065 30449 0 -1 0 37694 0 1 0 178358 24 0 0 25 0 8 0 155625588 937594880 37388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074150592 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31065/statm: 228905 37388 2537 14 0 215375 0
[pid=31065/tid=31067] ppid=31063 vsize=915620 CPUtime=0.73
/proc/31065/task/31067/stat : 31067 (java) S 31063 31065 30449 0 -1 64 20497 0 0 0 66 7 0 0 16 0 8 0 155625592 937594880 37388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31068] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31068/stat : 31068 (java) S 31063 31065 30449 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155625593 937594880 37388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31069] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31069/stat : 31069 (java) S 31063 31065 30449 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155625593 937594880 37388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31070] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31070/stat : 31070 (java) S 31063 31065 30449 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155625596 937594880 37388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31071] ppid=31063 vsize=915620 CPUtime=0.38
/proc/31065/task/31071/stat : 31071 (java) S 31063 31065 30449 0 -1 64 552 0 0 0 37 1 0 0 15 0 8 0 155625596 937594880 37388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31072] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31072/stat : 31072 (java) S 31063 31065 30449 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155625596 937594880 37388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31073] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31073/stat : 31073 (java) S 31063 31065 30449 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155625596 937594880 37388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1783.82
Current children cumulated vsize (KiB) 915620



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.17 s]
/proc/loadavg: 1.00 1.00 1.12 2/78 31217
/proc/meminfo: memFree=1353408/2055920 swapFree=4192812/4192956
[pid=31065] ppid=31063 vsize=915620 CPUtime=1800.04
/proc/31065/stat : 31065 (java) R 31063 31065 30449 0 -1 0 37694 0 1 0 179979 25 0 0 25 0 8 0 155625588 937594880 37388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074140146 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31065/statm: 228905 37388 2537 14 0 215375 0
[pid=31065/tid=31067] ppid=31063 vsize=915620 CPUtime=0.73
/proc/31065/task/31067/stat : 31067 (java) S 31063 31065 30449 0 -1 64 20497 0 0 0 66 7 0 0 16 0 8 0 155625592 937594880 37388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31068] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31068/stat : 31068 (java) S 31063 31065 30449 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155625593 937594880 37388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31069] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31069/stat : 31069 (java) S 31063 31065 30449 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155625593 937594880 37388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31070] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31070/stat : 31070 (java) S 31063 31065 30449 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155625596 937594880 37388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31071] ppid=31063 vsize=915620 CPUtime=0.38
/proc/31065/task/31071/stat : 31071 (java) S 31063 31065 30449 0 -1 64 552 0 0 0 37 1 0 0 15 0 8 0 155625596 937594880 37388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31072] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31072/stat : 31072 (java) S 31063 31065 30449 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155625596 937594880 37388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31073] ppid=31063 vsize=915620 CPUtime=0
/proc/31065/task/31073/stat : 31073 (java) S 31063 31065 30449 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155625596 937594880 37388 18446744073709551615 134512640 134570532 4294956480 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) 915620

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

Child status: 143
Real time (s): 1801.21
CPU time (s): 1800.08
CPU user time (s): 1799.81
CPU system time (s): 0.274958
CPU usage (%): 99.9373
Max. virtual memory (cumulated for all children) (KiB): 915620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.81
system time used= 0.274958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37711
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= 38240
involuntary context switches= 8109

runsolver used 1.63275 s user time and 4.76628 s system time

The end

Launcher Data (download as text)

Begin job on node51 on Sat Jan  6 08:31:09 UTC 2007


IDJOB= 201199
IDBENCH= 3749
FILE ID= node51/201199-1168072269

PBS_JOBID= 3475913

Free space on /tmp= 66539 MiB

BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp12/fapp12-1500-3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/201199-1168072269/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node51/watcher-201199-1168072269 -o ROOT/results/node51/solver-201199-1168072269 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/201199-1168072269/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  931b9eff036dfe9624d2ebd0c55327ca

RANDOM SEED= 815231976

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.277
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.277
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:       1405824 kB
Buffers:         29828 kB
Cached:         446716 kB
SwapCached:          0 kB
Active:         146872 kB
Inactive:       432840 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1405824 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            5284 kB
Writeback:           0 kB
Mapped:         123340 kB
Slab:            55468 kB
Committed_AS:  3812148 kB
PageTables:       1988 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= 66544 MiB



End job on node51 on Sat Jan  6 09:01:12 UTC 2007