Trace number 210763

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

General information on the benchmark

NamepseudoSeries/uclid/
ooo-tag10.xml
MD5SUM9bfcd5765948ddcdd6e9fe77a1650d3d
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark23.3834
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables9071
Number of constraints25913
Maximum constraint arity11
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension25913
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/210763-1168075322/unknown.xml
0.35	   
0.35	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.63	     nbVariables=9071  nbDomainTypes=2  minDomainSize=1  maxDomainSize=2
0.63	       =>  wckTime=0.338  cpuTime=0.23  mem=21M516
0.63	   
0.63	   predicates being loaded...
0.64	   
0.64	   constraints being loaded...
3.97	     nbConstraints=25147  nbMergedConstraints=766  nbSingletonDomainVariables=1  nbConvertedConstraints=16658
3.97	     nbConvertConstraintsChecks=61482  nbExtensionStructures=3  nbSharedExtensionStructures=16655
3.97	     nbConflictsStructures=37  nbSharedConflictsStructures=25110  nbSharedBinaryRepresentations=7
3.97	     nbEvaluationManagers=34  nbSharedEvaluationManagers=8455  maxDegree=202  maxArity=11
3.97	       =>  wckTime=3.679  cpuTime=3.08  mem=42M615
4.12	   
4.12	   solver IterativeSystematicSolver being built... 
4.75	       =>  wckTime=4.464  cpuTime=3.58  mem=47M343
4.82	   
4.82	   preprocessing
4.82	     nbConstraintChecks=43  nbValidityChecks=3  nbPropagations=9083  nbRevisions=29  nbUselessRevisions=17
4.82	     nbRemovedValues=12  detectedInconsistency=no
4.82	       =>  wckTime=0.052  cpuTime=0.05  mem=48M352
12.44	   
12.44	   search
12.44	     run=0  nbConstraintChecks=66968  nbValidityChecks=25787  nbPropagations=17462  nbRevisions=54042
12.44	     nbUselessRevisions=45729  nbAssignments=364  nbFailedAssignments=4  nbBacktracks=18  nbVisitedNodes=372
12.44	     nbRestartNogoods=0  mapSize=6  nbInferences=0  nbTooLargeKeys=0
12.44	       =>  wckTime=7.678  cpuTime=7.63  mem=49M361
20.00	   
20.00	   search
20.00	     run=1  nbConstraintChecks=120254  nbValidityChecks=60550  nbPropagations=43308  nbRevisions=162862
20.00	     nbUselessRevisions=137931  nbAssignments=732  nbFailedAssignments=8  nbBacktracks=43  nbVisitedNodes=748
20.00	     nbRestartNogoods=1  mapSize=13  nbInferences=0  nbTooLargeKeys=0
20.00	       =>  wckTime=15.238  cpuTime=15.17  mem=49M361
27.71	   
27.71	   search
27.71	     run=2  nbConstraintChecks=186457  nbValidityChecks=99227  nbPropagations=77555  nbRevisions=328402
27.71	     nbUselessRevisions=278532  nbAssignments=1110  nbFailedAssignments=13  nbBacktracks=67  nbVisitedNodes=1136
27.71	     nbRestartNogoods=2  mapSize=21  nbInferences=0  nbTooLargeKeys=0
27.71	       =>  wckTime=22.953  cpuTime=22.88  mem=50M369
35.72	   
35.72	   search
35.72	     run=3  nbConstraintChecks=255761  nbValidityChecks=146571  nbPropagations=120260  nbRevisions=555571
35.72	     nbUselessRevisions=472347  nbAssignments=1502  nbFailedAssignments=21  nbBacktracks=102  nbVisitedNodes=1543
35.72	     nbRestartNogoods=4  mapSize=33  nbInferences=0  nbTooLargeKeys=0
35.72	       =>  wckTime=30.964  cpuTime=30.86  mem=50M369
43.61	   
43.61	   search
43.61	     run=4  nbConstraintChecks=349826  nbValidityChecks=204830  nbPropagations=171702  nbRevisions=851757
43.61	     nbUselessRevisions=726463  nbAssignments=1885  nbFailedAssignments=33  nbBacktracks=157  nbVisitedNodes=1948
43.61	     nbRestartNogoods=7  mapSize=51  nbInferences=0  nbTooLargeKeys=0
43.61	       =>  wckTime=38.846  cpuTime=38.73  mem=51M378
56.52	   
56.52	   search
56.52	     run=5  nbConstraintChecks=422733  nbValidityChecks=258710  nbPropagations=233603  nbRevisions=1224136
56.52	     nbUselessRevisions=1046341  nbAssignments=2501  nbFailedAssignments=48  nbBacktracks=267  nbVisitedNodes=2600
56.52	     nbRestartNogoods=11  mapSize=76  nbInferences=0  nbTooLargeKeys=0
56.52	       =>  wckTime=51.756  cpuTime=51.62  mem=51M378
70.57	   
70.57	   search
70.57	     run=6  nbConstraintChecks=476944  nbValidityChecks=306877  nbPropagations=304630  nbRevisions=1662440
70.57	     nbUselessRevisions=1423074  nbAssignments=3159  nbFailedAssignments=57  nbBacktracks=395  nbVisitedNodes=3299
70.57	     nbRestartNogoods=22  mapSize=107  nbInferences=4  nbTooLargeKeys=0
70.57	       =>  wckTime=65.809  cpuTime=65.62  mem=52M386
88.25	   
88.25	   search
88.25	     run=7  nbConstraintChecks=536679  nbValidityChecks=365386  nbPropagations=385487  nbRevisions=2175253
88.25	     nbUselessRevisions=1864610  nbAssignments=3965  nbFailedAssignments=75  nbBacktracks=566  nbVisitedNodes=4180
88.25	     nbRestartNogoods=32  mapSize=167  nbInferences=50  nbTooLargeKeys=0
88.25	       =>  wckTime=83.488  cpuTime=83.3  mem=53M395
108.10	   
108.10	   search
108.10	     run=8  nbConstraintChecks=598004  nbValidityChecks=431011  nbPropagations=475851  nbRevisions=2764024
108.10	     nbUselessRevisions=2372929  nbAssignments=4858  nbFailedAssignments=88  nbBacktracks=822  nbVisitedNodes=5213
108.10	     nbRestartNogoods=47  mapSize=298  nbInferences=176  nbTooLargeKeys=0
108.10	       =>  wckTime=103.334  cpuTime=103.09  mem=54M403
134.24	   
134.24	   search
134.24	     run=9  nbConstraintChecks=665870  nbValidityChecks=509408  nbPropagations=576165  nbRevisions=3438342
134.24	     nbUselessRevisions=2957309  nbAssignments=6005  nbFailedAssignments=108  nbBacktracks=1236  nbVisitedNodes=6583
134.24	     nbRestartNogoods=56  mapSize=514  nbInferences=378  nbTooLargeKeys=0
134.24	       =>  wckTime=129.481  cpuTime=129.22  mem=55M412
165.22	   
165.22	   search
165.22	     run=10  nbConstraintChecks=743739  nbValidityChecks=599543  nbPropagations=687370  nbRevisions=4209356
165.22	     nbUselessRevisions=3627959  nbAssignments=7366  nbFailedAssignments=136  nbBacktracks=1813  nbVisitedNodes=8233
165.22	     nbRestartNogoods=63  mapSize=794  nbInferences=627  nbTooLargeKeys=0
165.22	       =>  wckTime=160.458  cpuTime=160.15  mem=56M420
208.95	   
208.95	   search
208.95	     run=11  nbConstraintChecks=836284  nbValidityChecks=720724  nbPropagations=810503  nbRevisions=5099381
208.95	     nbUselessRevisions=4406475  nbAssignments=9257  nbFailedAssignments=177  nbBacktracks=2680  nbVisitedNodes=10606
208.95	     nbRestartNogoods=72  mapSize=1263  nbInferences=1058  nbTooLargeKeys=0
208.95	       =>  wckTime=204.188  cpuTime=203.83  mem=58M438
263.50	   
263.50	   search
263.50	     run=12  nbConstraintChecks=949452  nbValidityChecks=859404  nbPropagations=947296  nbRevisions=6124258
263.50	     nbUselessRevisions=5306942  nbAssignments=11606  nbFailedAssignments=215  nbBacktracks=3977  nbVisitedNodes=13454
263.50	     nbRestartNogoods=85  mapSize=1744  nbInferences=1500  nbTooLargeKeys=0
263.50	       =>  wckTime=258.744  cpuTime=258.35  mem=60M455
317.91	   
317.91	   search
317.91	     run=13  nbConstraintChecks=1497877  nbValidityChecks=1256883  nbPropagations=1148125  nbRevisions=7712103
317.91	     nbUselessRevisions=6698753  nbAssignments=14229  nbFailedAssignments=504  nbBacktracks=5924  nbVisitedNodes=16885
317.91	     nbRestartNogoods=103  mapSize=2546  nbInferences=1681  nbTooLargeKeys=0
317.91	       =>  wckTime=313.149  cpuTime=312.68  mem=62M472
385.96	   
385.96	   search
385.96	     run=14  nbConstraintChecks=6976612  nbValidityChecks=3496523  nbPropagations=2145929  nbRevisions=14413896
385.96	     nbUselessRevisions=12348770  nbAssignments=18173  nbFailedAssignments=1444  nbBacktracks=8844  nbVisitedNodes=22767
385.96	     nbRestartNogoods=109  mapSize=4477  nbInferences=1681  nbTooLargeKeys=0
385.96	       =>  wckTime=381.196  cpuTime=380.66  mem=71M581
474.55	   
474.55	   search
474.55	     run=15  nbConstraintChecks=12871015  nbValidityChecks=5231134  nbPropagations=4158199  nbRevisions=26749280
474.55	     nbUselessRevisions=22560509  nbAssignments=23310  nbFailedAssignments=1931  nbBacktracks=13229
474.55	     nbVisitedNodes=28889  nbRestartNogoods=114  mapSize=5450  nbInferences=1681  nbTooLargeKeys=0
474.55	       =>  wckTime=469.79  cpuTime=469.15  mem=89M735
603.02	   
603.02	   search
603.02	     run=16  nbConstraintChecks=15350861  nbValidityChecks=6105745  nbPropagations=6557046  nbRevisions=41556208
603.02	     nbUselessRevisions=34823877  nbAssignments=30664  nbFailedAssignments=2609  nbBacktracks=19799
603.02	     nbVisitedNodes=37744  nbRestartNogoods=126  mapSize=6945  nbInferences=1681  nbTooLargeKeys=0
603.02	       =>  wckTime=598.259  cpuTime=597.45  mem=82M828
779.20	   
779.20	   search
779.20	     run=17  nbConstraintChecks=32237937  nbValidityChecks=10874150  nbPropagations=11704144  nbRevisions=71479242
779.20	     nbUselessRevisions=59239364  nbAssignments=41691  nbFailedAssignments=3717  nbBacktracks=29670
779.20	     nbVisitedNodes=51079  nbRestartNogoods=131  mapSize=9251  nbInferences=1681  nbTooLargeKeys=0
779.20	       =>  wckTime=774.436  cpuTime=773.39  mem=83M448
1020.02	   
1020.02	   search
1020.02	     run=18  nbConstraintChecks=60038627  nbValidityChecks=18285676  nbPropagations=21313445  nbRevisions=125881736
1020.02	     nbUselessRevisions=103169188  nbAssignments=58706  nbFailedAssignments=5857  nbBacktracks=44448
1020.02	     nbVisitedNodes=72653  nbRestartNogoods=133  mapSize=13804  nbInferences=1681  nbTooLargeKeys=0
1020.02	       =>  wckTime=1015.259  cpuTime=1013.95  mem=100M608
1342.18	   
1342.18	   search
1342.18	     run=19  nbConstraintChecks=79006597  nbValidityChecks=23895053  nbPropagations=33798899  nbRevisions=196334609
1342.18	     nbUselessRevisions=159911209  nbAssignments=83577  nbFailedAssignments=8458  nbBacktracks=66637
1342.18	     nbVisitedNodes=102750  nbRestartNogoods=139  mapSize=19020  nbInferences=1681  nbTooLargeKeys=0
1342.18	       =>  wckTime=1337.419  cpuTime=1335.74  mem=144M758

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/node4/watcher-210763-1168075322 -o ROOT/results/node4/solver-210763-1168075322 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210763-1168075322/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.88 1.87 1.87 4/93 12235
/proc/meminfo: memFree=1040896/2055920 swapFree=4191880/4192956
[pid=12234] ppid=12232 vsize=1788 CPUtime=0
/proc/12234/stat : 12234 (java) R 12232 12234 11997 0 -1 0 368 0 0 0 0 0 0 0 18 0 1 0 155927799 1830912 158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/12234/statm: 447 158 123 14 0 92 0

[startup+0.108155 s]
/proc/loadavg: 1.88 1.87 1.87 4/93 12235
/proc/meminfo: memFree=1040896/2055920 swapFree=4191880/4192956
[pid=12234] ppid=12232 vsize=914988 CPUtime=0.09
/proc/12234/stat : 12234 (java) R 12232 12234 11997 0 -1 0 3125 0 1 0 8 1 0 0 23 0 8 0 155927799 936947712 2871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12234/statm: 228747 2872 1472 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.516195 s]
/proc/loadavg: 1.88 1.87 1.87 4/93 12235
/proc/meminfo: memFree=1040896/2055920 swapFree=4191880/4192956
[pid=12234] ppid=12232 vsize=915328 CPUtime=0.48
/proc/12234/stat : 12234 (java) R 12232 12234 11997 0 -1 0 6635 0 1 0 44 4 0 0 25 0 8 0 155927799 937295872 6374 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12234/statm: 228832 6374 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33728 s]
/proc/loadavg: 1.88 1.87 1.87 3/100 12242
/proc/meminfo: memFree=978248/2055920 swapFree=4191880/4192956
[pid=12234] ppid=12232 vsize=915616 CPUtime=1.3
/proc/12234/stat : 12234 (java) R 12232 12234 11997 0 -1 0 19508 0 1 0 120 10 0 0 25 0 8 0 155927799 937590784 19245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12234/statm: 228904 19247 2158 14 0 215374 0
[pid=12234/tid=12236] ppid=12232 vsize=915616 CPUtime=0.1
/proc/12234/task/12236/stat : 12236 (java) R 12232 12234 11997 0 -1 64 2964 0 0 0 9 1 0 0 16 0 8 0 155927802 937590784 19247 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153822953 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12237] ppid=12232 vsize=915616 CPUtime=0
/proc/12234/task/12237/stat : 12237 (java) S 12232 12234 11997 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155927803 937590784 19249 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12238] ppid=12232 vsize=915616 CPUtime=0
/proc/12234/task/12238/stat : 12238 (java) S 12232 12234 11997 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155927803 937590784 19250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12239] ppid=12232 vsize=915616 CPUtime=0
/proc/12234/task/12239/stat : 12239 (java) S 12232 12234 11997 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155927806 937590784 19251 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12240] ppid=12232 vsize=915616 CPUtime=0.16
/proc/12234/task/12240/stat : 12240 (java) S 12232 12234 11997 0 -1 64 415 0 0 0 16 0 0 0 16 0 8 0 155927806 937590784 19252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12241] ppid=12232 vsize=915616 CPUtime=0
/proc/12234/task/12241/stat : 12241 (java) S 12232 12234 11997 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155927806 937590784 19253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12242] ppid=12232 vsize=915616 CPUtime=0
/proc/12234/task/12242/stat : 12242 (java) S 12232 12234 11997 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155927806 937590784 19255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915616

[startup+2.98243 s]
/proc/loadavg: 1.88 1.87 1.87 3/100 12242
/proc/meminfo: memFree=965640/2055920 swapFree=4191880/4192956
[pid=12234] ppid=12232 vsize=915620 CPUtime=2.95
/proc/12234/stat : 12234 (java) R 12232 12234 11997 0 -1 0 21160 0 1 0 220 75 0 0 25 0 8 0 155927799 937594880 20895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12234/statm: 228905 20895 2178 14 0 215375 0
[pid=12234/tid=12236] ppid=12232 vsize=915616 CPUtime=0.17
/proc/12234/task/12236/stat : 12236 (java) S 12232 12234 11997 0 -1 64 4531 0 0 0 16 1 0 0 17 0 8 0 155927802 937590784 20895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12237] ppid=12232 vsize=915620 CPUtime=0
/proc/12234/task/12237/stat : 12237 (java) S 12232 12234 11997 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155927803 937594880 20895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12238] ppid=12232 vsize=915620 CPUtime=0
/proc/12234/task/12238/stat : 12238 (java) S 12232 12234 11997 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155927803 937594880 20895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12239] ppid=12232 vsize=915616 CPUtime=0
/proc/12234/task/12239/stat : 12239 (java) S 12232 12234 11997 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155927806 937590784 20895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12240] ppid=12232 vsize=915616 CPUtime=0.19
/proc/12234/task/12240/stat : 12240 (java) S 12232 12234 11997 0 -1 64 435 0 0 0 19 0 0 0 15 0 8 0 155927806 937590784 20895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12241] ppid=12232 vsize=915620 CPUtime=0
/proc/12234/task/12241/stat : 12241 (java) S 12232 12234 11997 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155927806 937594880 20895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12242] ppid=12232 vsize=915620 CPUtime=0
/proc/12234/task/12242/stat : 12242 (java) S 12232 12234 11997 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155927806 937594880 20895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915620

[startup+6.19074 s]
/proc/loadavg: 1.89 1.87 1.87 3/100 12242
/proc/meminfo: memFree=929480/2055920 swapFree=4191880/4192956
[pid=12234] ppid=12232 vsize=915872 CPUtime=6.15
/proc/12234/stat : 12234 (java) R 12232 12234 11997 0 -1 0 30568 0 1 0 508 107 0 0 25 0 8 0 155927799 937852928 30274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074189786 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12234/statm: 228968 30274 2527 14 0 215438 0
[pid=12234/tid=12236] ppid=12232 vsize=915872 CPUtime=0.6
/proc/12234/task/12236/stat : 12236 (java) S 12232 12234 11997 0 -1 64 13410 0 0 0 56 4 0 0 17 0 8 0 155927802 937852928 30274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12237] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12237/stat : 12237 (java) S 12232 12234 11997 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155927803 937852928 30274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12238] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12238/stat : 12238 (java) S 12232 12234 11997 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155927803 937852928 30274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12239] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12239/stat : 12239 (java) S 12232 12234 11997 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155927806 937852928 30274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12240] ppid=12232 vsize=915872 CPUtime=0.35
/proc/12234/task/12240/stat : 12240 (java) S 12232 12234 11997 0 -1 64 530 0 0 0 34 1 0 0 15 0 8 0 155927806 937852928 30274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12241] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12241/stat : 12241 (java) S 12232 12234 11997 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155927806 937852928 30274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12242] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12242/stat : 12242 (java) S 12232 12234 11997 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155927806 937852928 30274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 915872

[startup+12.6664 s]
/proc/loadavg: 1.90 1.87 1.87 3/100 12242
/proc/meminfo: memFree=929416/2055920 swapFree=4191880/4192956
[pid=12234] ppid=12232 vsize=915872 CPUtime=12.62
/proc/12234/stat : 12234 (java) R 12232 12234 11997 0 -1 0 30580 0 1 0 1155 107 0 0 25 0 8 0 155927799 937852928 30283 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073480195 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12234/statm: 228968 30283 2530 14 0 215438 0
[pid=12234/tid=12236] ppid=12232 vsize=915872 CPUtime=0.6
/proc/12234/task/12236/stat : 12236 (java) S 12232 12234 11997 0 -1 64 13410 0 0 0 56 4 0 0 16 0 8 0 155927802 937852928 30283 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12237] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12237/stat : 12237 (java) S 12232 12234 11997 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155927803 937852928 30283 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12238] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12238/stat : 12238 (java) S 12232 12234 11997 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155927803 937852928 30283 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12239] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12239/stat : 12239 (java) S 12232 12234 11997 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155927806 937852928 30283 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12240] ppid=12232 vsize=915872 CPUtime=0.35
/proc/12234/task/12240/stat : 12240 (java) S 12232 12234 11997 0 -1 64 534 0 0 0 34 1 0 0 15 0 8 0 155927806 937852928 30283 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12241] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12241/stat : 12241 (java) S 12232 12234 11997 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155927806 937852928 30283 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12242] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12242/stat : 12242 (java) S 12232 12234 11997 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155927806 937852928 30283 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915872

[startup+25.5356 s]
/proc/loadavg: 1.92 1.88 1.87 3/100 12242
/proc/meminfo: memFree=929544/2055920 swapFree=4191880/4192956
[pid=12234] ppid=12232 vsize=915872 CPUtime=25.47
/proc/12234/stat : 12234 (java) R 12232 12234 11997 0 -1 0 30581 0 1 0 2440 107 0 0 25 0 8 0 155927799 937852928 30283 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074233351 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12234/statm: 228968 30283 2530 14 0 215438 0
[pid=12234/tid=12236] ppid=12232 vsize=915872 CPUtime=0.6
/proc/12234/task/12236/stat : 12236 (java) S 12232 12234 11997 0 -1 64 13410 0 0 0 56 4 0 0 16 0 8 0 155927802 937852928 30283 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12237] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12237/stat : 12237 (java) S 12232 12234 11997 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155927803 937852928 30283 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12238] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12238/stat : 12238 (java) S 12232 12234 11997 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155927803 937852928 30283 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12239] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12239/stat : 12239 (java) S 12232 12234 11997 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155927806 937852928 30283 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12240] ppid=12232 vsize=915872 CPUtime=0.35
/proc/12234/task/12240/stat : 12240 (java) S 12232 12234 11997 0 -1 64 535 0 0 0 34 1 0 0 16 0 8 0 155927806 937852928 30283 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12241] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12241/stat : 12241 (java) S 12232 12234 11997 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155927806 937852928 30283 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12242] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12242/stat : 12242 (java) S 12232 12234 11997 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155927806 937852928 30283 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915872

[startup+51.162 s]
/proc/loadavg: 1.95 1.89 1.87 2/88 12300
/proc/meminfo: memFree=1052520/2055920 swapFree=4191880/4192956
[pid=12234] ppid=12232 vsize=915872 CPUtime=51.06
/proc/12234/stat : 12234 (java) R 12232 12234 11997 0 -1 0 30598 0 1 0 4997 109 0 0 25 0 8 0 155927799 937852928 30295 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074234211 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12234/statm: 228968 30295 2530 14 0 215438 0
[pid=12234/tid=12236] ppid=12232 vsize=915872 CPUtime=0.6
/proc/12234/task/12236/stat : 12236 (java) S 12232 12234 11997 0 -1 64 13410 0 0 0 56 4 0 0 16 0 8 0 155927802 937852928 30295 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12237] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12237/stat : 12237 (java) S 12232 12234 11997 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155927803 937852928 30295 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12238] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12238/stat : 12238 (java) S 12232 12234 11997 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155927803 937852928 30295 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12239] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12239/stat : 12239 (java) S 12232 12234 11997 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155927806 937852928 30295 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12240] ppid=12232 vsize=915872 CPUtime=0.38
/proc/12234/task/12240/stat : 12240 (java) S 12232 12234 11997 0 -1 64 549 0 0 0 37 1 0 0 16 0 8 0 155927806 937852928 30295 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12241] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12241/stat : 12241 (java) S 12232 12234 11997 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155927806 937852928 30295 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12242] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12242/stat : 12242 (java) S 12232 12234 11997 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155927806 937852928 30295 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 915872

[startup+102.418 s]
/proc/loadavg: 1.90 1.87 1.86 3/100 12390
/proc/meminfo: memFree=847168/2055920 swapFree=4191880/4192956
[pid=12234] ppid=12232 vsize=915872 CPUtime=102.23
/proc/12234/stat : 12234 (java) R 12232 12234 11997 0 -1 0 30601 0 1 0 10111 112 0 0 25 0 8 0 155927799 937852928 30296 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074181128 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12234/statm: 228968 30296 2530 14 0 215438 0
[pid=12234/tid=12236] ppid=12232 vsize=915872 CPUtime=0.6
/proc/12234/task/12236/stat : 12236 (java) S 12232 12234 11997 0 -1 64 13410 0 0 0 56 4 0 0 16 0 8 0 155927802 937852928 30296 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12237] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12237/stat : 12237 (java) S 12232 12234 11997 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155927803 937852928 30296 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12238] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12238/stat : 12238 (java) S 12232 12234 11997 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155927803 937852928 30296 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12239] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12239/stat : 12239 (java) S 12232 12234 11997 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155927806 937852928 30296 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12240] ppid=12232 vsize=915872 CPUtime=0.38
/proc/12234/task/12240/stat : 12240 (java) S 12232 12234 11997 0 -1 64 551 0 0 0 37 1 0 0 16 0 8 0 155927806 937852928 30296 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12241] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12241/stat : 12241 (java) S 12232 12234 11997 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155927806 937852928 30296 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12242] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12242/stat : 12242 (java) S 12232 12234 11997 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155927806 937852928 30296 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 915872

[startup+162.44 s]
/proc/loadavg: 1.96 1.89 1.87 3/100 12390
/proc/meminfo: memFree=847232/2055920 swapFree=4191880/4192956
[pid=12234] ppid=12232 vsize=915872 CPUtime=162.19
/proc/12234/stat : 12234 (java) R 12232 12234 11997 0 -1 0 30611 0 1 0 16106 113 0 0 25 0 8 0 155927799 937852928 30300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074233326 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 1421.41
Current children cumulated vsize (KiB) 915872

[startup+1482.95 s]
/proc/loadavg: 2.07 2.02 1.94 3/100 12390
/proc/meminfo: memFree=766720/2055920 swapFree=4191880/4192956
[pid=12234] ppid=12232 vsize=915872 CPUtime=1481.39
/proc/12234/stat : 12234 (java) R 12232 12234 11997 0 -1 0 45517 0 1 0 148014 125 0 0 25 0 8 0 155927799 937852928 45200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074174115 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12234/statm: 228968 45200 2530 14 0 215438 0
[pid=12234/tid=12236] ppid=12232 vsize=915872 CPUtime=0.81
/proc/12234/task/12236/stat : 12236 (java) S 12232 12234 11997 0 -1 64 28308 0 0 0 71 10 0 0 16 0 8 0 155927802 937852928 45200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12237] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12237/stat : 12237 (java) S 12232 12234 11997 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155927803 937852928 45200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12238] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12238/stat : 12238 (java) S 12232 12234 11997 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155927803 937852928 45200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12239] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12239/stat : 12239 (java) S 12232 12234 11997 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155927806 937852928 45200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12240] ppid=12232 vsize=915872 CPUtime=0.4
/proc/12234/task/12240/stat : 12240 (java) S 12232 12234 11997 0 -1 64 558 0 0 0 39 1 0 0 17 0 8 0 155927806 937852928 45200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12241] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12241/stat : 12241 (java) S 12232 12234 11997 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155927806 937852928 45200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12242] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12242/stat : 12242 (java) S 12232 12234 11997 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155927806 937852928 45200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1481.39
Current children cumulated vsize (KiB) 915872

[startup+1542.98 s]
/proc/loadavg: 2.02 2.01 1.94 3/100 12390
/proc/meminfo: memFree=766720/2055920 swapFree=4191880/4192956
[pid=12234] ppid=12232 vsize=915872 CPUtime=1541.34
/proc/12234/stat : 12234 (java) R 12232 12234 11997 0 -1 0 45517 0 1 0 154009 125 0 0 25 0 8 0 155927799 937852928 45200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074233326 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12234/statm: 228968 45200 2530 14 0 215438 0
[pid=12234/tid=12236] ppid=12232 vsize=915872 CPUtime=0.81
/proc/12234/task/12236/stat : 12236 (java) S 12232 12234 11997 0 -1 64 28308 0 0 0 71 10 0 0 16 0 8 0 155927802 937852928 45200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12237] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12237/stat : 12237 (java) S 12232 12234 11997 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155927803 937852928 45200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12238] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12238/stat : 12238 (java) S 12232 12234 11997 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155927803 937852928 45200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12239] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12239/stat : 12239 (java) S 12232 12234 11997 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155927806 937852928 45200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12240] ppid=12232 vsize=915872 CPUtime=0.4
/proc/12234/task/12240/stat : 12240 (java) S 12232 12234 11997 0 -1 64 558 0 0 0 39 1 0 0 17 0 8 0 155927806 937852928 45200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12241] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12241/stat : 12241 (java) S 12232 12234 11997 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155927806 937852928 45200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12242] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12242/stat : 12242 (java) S 12232 12234 11997 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155927806 937852928 45200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1541.34
Current children cumulated vsize (KiB) 915872

[startup+1603.01 s]
/proc/loadavg: 2.01 2.00 1.94 3/100 12390
/proc/meminfo: memFree=750848/2055920 swapFree=4191880/4192956
[pid=12234] ppid=12232 vsize=915872 CPUtime=1601.32
/proc/12234/stat : 12234 (java) R 12232 12234 11997 0 -1 0 49505 0 1 0 160005 127 0 0 25 0 8 0 155927799 937852928 49187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074189786 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12234/statm: 228968 49187 2530 14 0 215438 0
[pid=12234/tid=12236] ppid=12232 vsize=915872 CPUtime=0.86
/proc/12234/task/12236/stat : 12236 (java) S 12232 12234 11997 0 -1 64 32295 0 0 0 74 12 0 0 16 0 8 0 155927802 937852928 49187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12237] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12237/stat : 12237 (java) S 12232 12234 11997 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155927803 937852928 49187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12238] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12238/stat : 12238 (java) S 12232 12234 11997 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155927803 937852928 49187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12239] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12239/stat : 12239 (java) S 12232 12234 11997 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155927806 937852928 49187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12240] ppid=12232 vsize=915872 CPUtime=0.4
/proc/12234/task/12240/stat : 12240 (java) S 12232 12234 11997 0 -1 64 558 0 0 0 39 1 0 0 17 0 8 0 155927806 937852928 49187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12241] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12241/stat : 12241 (java) S 12232 12234 11997 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155927806 937852928 49187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12242] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12242/stat : 12242 (java) S 12232 12234 11997 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155927806 937852928 49187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1601.32
Current children cumulated vsize (KiB) 915872

[startup+1663.04 s]
/proc/loadavg: 2.05 2.01 1.94 3/100 12390
/proc/meminfo: memFree=750784/2055920 swapFree=4191880/4192956
[pid=12234] ppid=12232 vsize=915872 CPUtime=1661.29
/proc/12234/stat : 12234 (java) R 12232 12234 11997 0 -1 0 49505 0 1 0 166002 127 0 0 25 0 8 0 155927799 937852928 49187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074189822 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12234/statm: 228968 49187 2530 14 0 215438 0
[pid=12234/tid=12236] ppid=12232 vsize=915872 CPUtime=0.86
/proc/12234/task/12236/stat : 12236 (java) S 12232 12234 11997 0 -1 64 32295 0 0 0 74 12 0 0 16 0 8 0 155927802 937852928 49187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12237] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12237/stat : 12237 (java) S 12232 12234 11997 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155927803 937852928 49187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12238] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12238/stat : 12238 (java) S 12232 12234 11997 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155927803 937852928 49187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12239] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12239/stat : 12239 (java) S 12232 12234 11997 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155927806 937852928 49187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12240] ppid=12232 vsize=915872 CPUtime=0.4
/proc/12234/task/12240/stat : 12240 (java) S 12232 12234 11997 0 -1 64 558 0 0 0 39 1 0 0 17 0 8 0 155927806 937852928 49187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12241] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12241/stat : 12241 (java) S 12232 12234 11997 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155927806 937852928 49187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12242] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12242/stat : 12242 (java) S 12232 12234 11997 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155927806 937852928 49187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1661.29
Current children cumulated vsize (KiB) 915872

[startup+1723.07 s]
/proc/loadavg: 2.02 2.01 1.94 3/100 12390
/proc/meminfo: memFree=738304/2055920 swapFree=4191880/4192956
[pid=12234] ppid=12232 vsize=915872 CPUtime=1721.25
/proc/12234/stat : 12234 (java) R 12232 12234 11997 0 -1 0 49505 0 1 0 171997 128 0 0 25 0 8 0 155927799 937852928 49187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074216032 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12234/statm: 228968 49187 2530 14 0 215438 0
[pid=12234/tid=12236] ppid=12232 vsize=915872 CPUtime=0.86
/proc/12234/task/12236/stat : 12236 (java) S 12232 12234 11997 0 -1 64 32295 0 0 0 74 12 0 0 16 0 8 0 155927802 937852928 49187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12237] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12237/stat : 12237 (java) S 12232 12234 11997 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155927803 937852928 49187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12238] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12238/stat : 12238 (java) S 12232 12234 11997 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155927803 937852928 49187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12239] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12239/stat : 12239 (java) S 12232 12234 11997 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155927806 937852928 49187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12240] ppid=12232 vsize=915872 CPUtime=0.4
/proc/12234/task/12240/stat : 12240 (java) S 12232 12234 11997 0 -1 64 558 0 0 0 39 1 0 0 17 0 8 0 155927806 937852928 49187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12241] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12241/stat : 12241 (java) S 12232 12234 11997 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155927806 937852928 49187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12242] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12242/stat : 12242 (java) S 12232 12234 11997 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155927806 937852928 49187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1721.25
Current children cumulated vsize (KiB) 915872

[startup+1783.09 s]
/proc/loadavg: 2.00 2.00 1.94 3/100 12390
/proc/meminfo: memFree=738240/2055920 swapFree=4191880/4192956
[pid=12234] ppid=12232 vsize=915872 CPUtime=1781.22
/proc/12234/stat : 12234 (java) R 12232 12234 11997 0 -1 0 49505 0 1 0 177994 128 0 0 25 0 8 0 155927799 937852928 49187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074204235 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12234/statm: 228968 49187 2530 14 0 215438 0
[pid=12234/tid=12236] ppid=12232 vsize=915872 CPUtime=0.86
/proc/12234/task/12236/stat : 12236 (java) S 12232 12234 11997 0 -1 64 32295 0 0 0 74 12 0 0 16 0 8 0 155927802 937852928 49187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12237] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12237/stat : 12237 (java) S 12232 12234 11997 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155927803 937852928 49187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12238] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12238/stat : 12238 (java) S 12232 12234 11997 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155927803 937852928 49187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12239] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12239/stat : 12239 (java) S 12232 12234 11997 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155927806 937852928 49187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12240] ppid=12232 vsize=915872 CPUtime=0.4
/proc/12234/task/12240/stat : 12240 (java) S 12232 12234 11997 0 -1 64 558 0 0 0 39 1 0 0 17 0 8 0 155927806 937852928 49187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12241] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12241/stat : 12241 (java) S 12232 12234 11997 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155927806 937852928 49187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12242] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12242/stat : 12242 (java) S 12232 12234 11997 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155927806 937852928 49187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1781.22
Current children cumulated vsize (KiB) 915872



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.94 s]
/proc/loadavg: 2.00 2.00 1.94 3/100 12390
/proc/meminfo: memFree=738240/2055920 swapFree=4191880/4192956
[pid=12234] ppid=12232 vsize=915872 CPUtime=1800.05
/proc/12234/stat : 12234 (java) R 12232 12234 11997 0 -1 0 49505 0 1 0 179877 128 0 0 25 0 8 0 155927799 937852928 49187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074234211 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12234/statm: 228968 49187 2530 14 0 215438 0
[pid=12234/tid=12236] ppid=12232 vsize=915872 CPUtime=0.86
/proc/12234/task/12236/stat : 12236 (java) S 12232 12234 11997 0 -1 64 32295 0 0 0 74 12 0 0 16 0 8 0 155927802 937852928 49187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12237] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12237/stat : 12237 (java) S 12232 12234 11997 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155927803 937852928 49187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12238] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12238/stat : 12238 (java) S 12232 12234 11997 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155927803 937852928 49187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12239] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12239/stat : 12239 (java) S 12232 12234 11997 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155927806 937852928 49187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12240] ppid=12232 vsize=915872 CPUtime=0.4
/proc/12234/task/12240/stat : 12240 (java) S 12232 12234 11997 0 -1 64 558 0 0 0 39 1 0 0 17 0 8 0 155927806 937852928 49187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12241] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12241/stat : 12241 (java) S 12232 12234 11997 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155927806 937852928 49187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12234/tid=12242] ppid=12232 vsize=915872 CPUtime=0
/proc/12234/task/12242/stat : 12242 (java) S 12232 12234 11997 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155927806 937852928 49187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 915872

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

Child status: 143
Real time (s): 1802.14
CPU time (s): 1800.1
CPU user time (s): 1798.78
CPU system time (s): 1.3148
CPU usage (%): 99.8869
Max. virtual memory (cumulated for all children) (KiB): 915976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.78
system time used= 1.3148
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49522
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= 38285
involuntary context switches= 18884

runsolver used 2.12368 s user time and 5.99709 s system time

The end

Launcher Data (download as text)

Begin job on node4 on Sat Jan  6 09:22:02 UTC 2007


IDJOB= 210763
IDBENCH= 4644
FILE ID= node4/210763-1168075322

PBS_JOBID= 3475793

Free space on /tmp= 66297 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/uclid/ooo-tag10.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210763-1168075322/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node4/watcher-210763-1168075322 -o ROOT/results/node4/solver-210763-1168075322 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210763-1168075322/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  9bfcd5765948ddcdd6e9fe77a1650d3d

RANDOM SEED= 378828558

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.223
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.223
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:       1041376 kB
Buffers:         73836 kB
Cached:         675528 kB
SwapCached:        268 kB
Active:         557056 kB
Inactive:       361228 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1041376 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            5452 kB
Writeback:           0 kB
Mapped:         197236 kB
Slab:            80680 kB
Committed_AS:  4546064 kB
PageTables:       2676 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= 66294 MiB



End job on node4 on Sat Jan  6 09:52:05 UTC 2007