Trace number 211161

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.17 1804.99

General information on the benchmark

NamepseudoSeries/uclid/
dlx1c-rwmem1-ucl.xml
MD5SUMcad824bee8074e1420d713f6438fb5bd
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 benchmark12.84
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables7578
Number of constraints21400
Maximum constraint arity11
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension21400
Global constraints used (with number of constraints)

Solver Data (download as text)

0.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=mac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/211161-1168075470/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.64	     nbVariables=7578  nbDomainTypes=3  minDomainSize=1  maxDomainSize=2
0.64	       =>  wckTime=0.325  cpuTime=0.23  mem=19M565
0.64	   
0.64	   predicates being loaded...
0.66	   
0.66	   constraints being loaded...
3.60	     nbConstraints=20633  nbMergedConstraints=767  nbSingletonDomainVariables=4  nbConvertedConstraints=13561
3.60	     nbConvertConstraintsChecks=23601  nbExtensionStructures=5  nbSharedExtensionStructures=13556
3.60	     nbConflictsStructures=39  nbSharedConflictsStructures=20594  nbSharedBinaryRepresentations=12
3.60	     nbEvaluationManagers=34  nbSharedEvaluationManagers=7038  maxDegree=92  maxArity=11
3.60	       =>  wckTime=3.285  cpuTime=2.75  mem=55M692
3.77	   
3.77	   solver IterativeSystematicSolver being built... 
4.36	       =>  wckTime=4.041  cpuTime=3.22  mem=77M54
4.42	   
4.42	   preprocessing
4.42	     nbConstraintChecks=0  nbPropagations=7578  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
4.42	     detectedInconsistency=no
4.42	       =>  wckTime=0.047  cpuTime=0.03  mem=78M48
19.71	   
19.71	   search
19.71	     run=0  nbConstraintChecks=65214  nbValidityChecks=43937  nbPropagations=15838  nbRevisions=60922
19.71	     nbUselessRevisions=52739  nbAssignments=912  nbFailedAssignments=9  nbBacktracks=14  nbVisitedNodes=928
19.71	     nbRestartNogoods=0  mapSize=8  nbInferences=0  nbTooLargeKeys=0
19.71	       =>  wckTime=15.34  cpuTime=15.15  mem=80M51
34.94	   
34.94	   search
34.94	     run=1  nbConstraintChecks=111586  nbValidityChecks=95770  nbPropagations=39977  nbRevisions=182517
34.94	     nbUselessRevisions=157887  nbAssignments=1828  nbFailedAssignments=13  nbBacktracks=38  nbVisitedNodes=1862
34.94	     nbRestartNogoods=7  mapSize=25  nbInferences=0  nbTooLargeKeys=0
34.94	       =>  wckTime=30.572  cpuTime=30.21  mem=82M38
50.08	   
50.08	   search
50.08	     run=2  nbConstraintChecks=156078  nbValidityChecks=146131  nbPropagations=71924  nbRevisions=362414
50.08	     nbUselessRevisions=313621  nbAssignments=2746  nbFailedAssignments=19  nbBacktracks=64  nbVisitedNodes=2795
50.08	     nbRestartNogoods=8  mapSize=39  nbInferences=0  nbTooLargeKeys=0
50.08	       =>  wckTime=45.709  cpuTime=45.2  mem=83M31
65.37	   
65.37	   search
65.37	     run=3  nbConstraintChecks=202592  nbValidityChecks=197539  nbPropagations=112087  nbRevisions=602377
65.37	     nbUselessRevisions=521249  nbAssignments=3669  nbFailedAssignments=24  nbBacktracks=97  nbVisitedNodes=3733
65.37	     nbRestartNogoods=9  mapSize=53  nbInferences=0  nbTooLargeKeys=0
65.37	       =>  wckTime=61.006  cpuTime=60.36  mem=84M25
80.07	   
80.07	   search
80.07	     run=4  nbConstraintChecks=242480  nbValidityChecks=244875  nbPropagations=159368  nbRevisions=896900
80.07	     nbUselessRevisions=776438  nbAssignments=4556  nbFailedAssignments=26  nbBacktracks=233  nbVisitedNodes=4624
80.07	     nbRestartNogoods=10  mapSize=56  nbInferences=0  nbTooLargeKeys=0
80.07	       =>  wckTime=75.703  cpuTime=74.92  mem=86M12
95.16	   
95.16	   search
95.16	     run=5  nbConstraintChecks=285681  nbValidityChecks=294433  nbPropagations=214328  nbRevisions=1249036
95.16	     nbUselessRevisions=1081664  nbAssignments=5463  nbFailedAssignments=28  nbBacktracks=390  nbVisitedNodes=5537
95.16	     nbRestartNogoods=11  mapSize=61  nbInferences=0  nbTooLargeKeys=0
95.16	       =>  wckTime=90.791  cpuTime=89.87  mem=86M972
110.06	   
110.06	   search
110.06	     run=6  nbConstraintChecks=327388  nbValidityChecks=342927  nbPropagations=276703  nbRevisions=1657285
110.06	     nbUselessRevisions=1435719  nbAssignments=6360  nbFailedAssignments=30  nbBacktracks=527  nbVisitedNodes=6440
110.06	     nbRestartNogoods=12  mapSize=65  nbInferences=0  nbTooLargeKeys=0
110.06	       =>  wckTime=105.691  cpuTime=104.59  mem=43M899
127.97	   
127.97	   search
127.97	     run=7  nbConstraintChecks=371277  nbValidityChecks=393010  nbPropagations=346758  nbRevisions=2123438
127.97	     nbUselessRevisions=1840115  nbAssignments=7422  nbFailedAssignments=33  nbBacktracks=828  nbVisitedNodes=7513
127.97	     nbRestartNogoods=14  mapSize=74  nbInferences=0  nbTooLargeKeys=0
127.97	       =>  wckTime=123.601  cpuTime=122.34  mem=44M892
145.45	   
145.45	   search
145.45	     run=8  nbConstraintChecks=411902  nbValidityChecks=441421  nbPropagations=424087  nbRevisions=2645359
145.45	     nbUselessRevisions=2293130  nbAssignments=8462  nbFailedAssignments=36  nbBacktracks=1106  nbVisitedNodes=8558
145.45	     nbRestartNogoods=16  mapSize=77  nbInferences=0  nbTooLargeKeys=0
145.45	       =>  wckTime=141.084  cpuTime=139.66  mem=45M886
165.81	   
165.81	   search
165.81	     run=9  nbConstraintChecks=453192  nbValidityChecks=490185  nbPropagations=508815  nbRevisions=3223627
165.81	     nbUselessRevisions=2795218  nbAssignments=9660  nbFailedAssignments=40  nbBacktracks=1543  nbVisitedNodes=9765
165.81	     nbRestartNogoods=18  mapSize=84  nbInferences=0  nbTooLargeKeys=0
165.81	       =>  wckTime=161.444  cpuTime=159.82  mem=47M873
184.96	   
184.96	   search
184.96	     run=10  nbConstraintChecks=524214  nbValidityChecks=555580  nbPropagations=605351  nbRevisions=3882786
184.96	     nbUselessRevisions=3366287  nbAssignments=10860  nbFailedAssignments=123  nbBacktracks=2204  nbVisitedNodes=11101
184.96	     nbRestartNogoods=20  mapSize=219  nbInferences=0  nbTooLargeKeys=0
184.96	       =>  wckTime=180.589  cpuTime=178.8  mem=49M860
207.86	   
207.86	   search
207.86	     run=11  nbConstraintChecks=570806  nbValidityChecks=604444  nbPropagations=710472  nbRevisions=4603556
207.86	     nbUselessRevisions=3990401  nbAssignments=12211  nbFailedAssignments=147  nbBacktracks=3116  nbVisitedNodes=12500
207.86	     nbRestartNogoods=21  mapSize=265  nbInferences=1  nbTooLargeKeys=0
207.86	       =>  wckTime=203.493  cpuTime=201.49  mem=50M853
236.50	   
236.50	   search
236.50	     run=12  nbConstraintChecks=713242  nbValidityChecks=700538  nbPropagations=842995  nbRevisions=5488263
236.50	     nbUselessRevisions=4750158  nbAssignments=13987  nbFailedAssignments=255  nbBacktracks=4414  nbVisitedNodes=14541
236.50	     nbRestartNogoods=23  mapSize=524  nbInferences=34  nbTooLargeKeys=0
236.50	       =>  wckTime=232.129  cpuTime=229.86  mem=53M833
270.07	   
270.07	   search
270.07	     run=13  nbConstraintChecks=970992  nbValidityChecks=829911  nbPropagations=1024306  nbRevisions=6638428
270.07	     nbUselessRevisions=5725711  nbAssignments=16332  nbFailedAssignments=481  nbBacktracks=6371  nbVisitedNodes=17345
270.07	     nbRestartNogoods=28  mapSize=979  nbInferences=34  nbTooLargeKeys=0
270.07	       =>  wckTime=265.699  cpuTime=263.12  mem=58M801
324.46	   
324.46	   search
324.46	     run=14  nbConstraintChecks=1529075  nbValidityChecks=1229153  nbPropagations=1271428  nbRevisions=8296246
324.46	     nbUselessRevisions=7136005  nbAssignments=19829  nbFailedAssignments=756  nbBacktracks=9295  nbVisitedNodes=21487
324.46	     nbRestartNogoods=31  mapSize=1598  nbInferences=34  nbTooLargeKeys=0
324.46	       =>  wckTime=320.094  cpuTime=317.03  mem=65M755
389.86	   
389.86	   search
389.87	     run=15  nbConstraintChecks=3097738  nbValidityChecks=2232209  nbPropagations=1727722  nbRevisions=11409148
389.87	     nbUselessRevisions=9781613  nbAssignments=24942  nbFailedAssignments=1393  nbBacktracks=13685  nbVisitedNodes=27988
389.87	     nbRestartNogoods=40  mapSize=2982  nbInferences=34  nbTooLargeKeys=0
389.87	       =>  wckTime=385.498  cpuTime=382.01  mem=77M676
499.85	   
499.85	   search
499.85	     run=16  nbConstraintChecks=4610947  nbValidityChecks=3042798  nbPropagations=2403369  nbRevisions=15999152
499.85	     nbUselessRevisions=13662949  nbAssignments=32487  nbFailedAssignments=1804  nbBacktracks=20329
499.85	     nbVisitedNodes=36699  nbRestartNogoods=44  mapSize=4139  nbInferences=136  nbTooLargeKeys=0
499.85	       =>  wckTime=495.485  cpuTime=491.86  mem=52M300
685.47	   
685.47	   search
685.47	     run=17  nbConstraintChecks=5283913  nbValidityChecks=3533303  nbPropagations=3184175  nbRevisions=21383149
685.47	     nbUselessRevisions=18229585  nbAssignments=43705  nbFailedAssignments=2206  nbBacktracks=30191
685.47	     nbVisitedNodes=49376  nbRestartNogoods=53  mapSize=5594  nbInferences=951  nbTooLargeKeys=0
685.47	       =>  wckTime=681.099  cpuTime=677.28  mem=64M388
921.57	   
921.57	   search
921.57	     run=18  nbConstraintChecks=11044135  nbValidityChecks=7048205  nbPropagations=4652808  nbRevisions=31975731
921.57	     nbUselessRevisions=27275248  nbAssignments=59994  nbFailedAssignments=3539  nbBacktracks=44972
921.57	     nbVisitedNodes=68899  nbRestartNogoods=55  mapSize=8821  nbInferences=951  nbTooLargeKeys=0
921.57	       =>  wckTime=917.2  cpuTime=913.15  mem=99M645
1361.92	   
1361.92	   search
1361.92	     run=19  nbConstraintChecks=12505577  nbValidityChecks=8720277  nbPropagations=6216482  nbRevisions=43888240
1361.92	     nbUselessRevisions=37544087  nbAssignments=85386  nbFailedAssignments=4186  nbBacktracks=67219
1361.92	     nbVisitedNodes=97582  nbRestartNogoods=62  mapSize=12050  nbInferences=2935  nbTooLargeKeys=0
1361.92	       =>  wckTime=1357.552  cpuTime=1353.03  mem=82M407

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/node9/watcher-211161-1168075470 -o ROOT/results/node9/solver-211161-1168075470 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/211161-1168075470/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.85 1.97 1.93 4/93 17082
/proc/meminfo: memFree=1134632/2055920 swapFree=4191880/4192956
[pid=17081] ppid=17079 vsize=18540 CPUtime=0
/proc/17081/stat : 17081 (runsolver) R 17079 17081 16587 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155942408 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 215418989863 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/17081/statm: 4635 279 244 17 0 2626 0

[startup+0.103089 s]
/proc/loadavg: 1.85 1.97 1.93 4/93 17082
/proc/meminfo: memFree=1134632/2055920 swapFree=4191880/4192956
[pid=17081] ppid=17079 vsize=913236 CPUtime=0.08
/proc/17081/stat : 17081 (java) R 17079 17081 16587 0 -1 0 2919 0 1 0 6 2 0 0 17 0 8 0 155942408 935153664 2665 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153792912 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17081/statm: 228309 2665 1397 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913236

[startup+0.511133 s]
/proc/loadavg: 1.85 1.97 1.93 4/93 17082
/proc/meminfo: memFree=1134632/2055920 swapFree=4191880/4192956
[pid=17081] ppid=17079 vsize=915328 CPUtime=0.48
/proc/17081/stat : 17081 (java) R 17079 17081 16587 0 -1 0 6518 0 1 0 44 4 0 0 18 0 8 0 155942408 937295872 6257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072925080 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17081/statm: 228832 6257 2135 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33223 s]
/proc/loadavg: 1.85 1.97 1.93 3/100 17089
/proc/meminfo: memFree=1072304/2055920 swapFree=4191880/4192956
[pid=17081] ppid=17079 vsize=915616 CPUtime=1.3
/proc/17081/stat : 17081 (java) R 17079 17081 16587 0 -1 0 17901 0 1 0 120 10 0 0 24 0 8 0 155942408 937590784 17639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073748312 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17081/statm: 228904 17639 2158 14 0 215374 0
[pid=17081/tid=17083] ppid=17079 vsize=915616 CPUtime=0.05
/proc/17081/task/17083/stat : 17083 (java) S 17079 17081 16587 0 -1 64 1359 0 0 0 5 0 0 0 17 0 8 0 155942413 937590784 17639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17084] ppid=17079 vsize=915616 CPUtime=0
/proc/17081/task/17084/stat : 17084 (java) S 17079 17081 16587 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155942413 937590784 17639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17085] ppid=17079 vsize=915616 CPUtime=0
/proc/17081/task/17085/stat : 17085 (java) S 17079 17081 16587 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155942413 937590784 17639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17086] ppid=17079 vsize=915616 CPUtime=0
/proc/17081/task/17086/stat : 17086 (java) S 17079 17081 16587 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155942417 937590784 17639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17087] ppid=17079 vsize=915616 CPUtime=0.16
/proc/17081/task/17087/stat : 17087 (java) S 17079 17081 16587 0 -1 64 413 0 0 0 16 0 0 0 16 0 8 0 155942417 937590784 17639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17088] ppid=17079 vsize=915616 CPUtime=0
/proc/17081/task/17088/stat : 17088 (java) S 17079 17081 16587 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155942417 937590784 17639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17089] ppid=17079 vsize=915616 CPUtime=0
/proc/17081/task/17089/stat : 17089 (java) S 17079 17081 16587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155942417 937590784 17639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915616

[startup+2.97042 s]
/proc/loadavg: 1.85 1.97 1.93 3/100 17089
/proc/meminfo: memFree=1060016/2055920 swapFree=4191880/4192956
[pid=17081] ppid=17079 vsize=915616 CPUtime=2.92
/proc/17081/stat : 17081 (java) R 17079 17081 16587 0 -1 0 20991 0 1 0 213 79 0 0 25 0 8 0 155942408 937590784 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17081/statm: 228904 20727 2178 14 0 215374 0
[pid=17081/tid=17083] ppid=17079 vsize=915616 CPUtime=0.17
/proc/17081/task/17083/stat : 17083 (java) S 17079 17081 16587 0 -1 64 4364 0 0 0 16 1 0 0 16 0 8 0 155942413 937590784 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17084] ppid=17079 vsize=915616 CPUtime=0
/proc/17081/task/17084/stat : 17084 (java) S 17079 17081 16587 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155942413 937590784 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17085] ppid=17079 vsize=915616 CPUtime=0
/proc/17081/task/17085/stat : 17085 (java) S 17079 17081 16587 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155942413 937590784 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17086] ppid=17079 vsize=915616 CPUtime=0
/proc/17081/task/17086/stat : 17086 (java) S 17079 17081 16587 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155942417 937590784 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17087] ppid=17079 vsize=915616 CPUtime=0.21
/proc/17081/task/17087/stat : 17087 (java) S 17079 17081 16587 0 -1 64 435 0 0 0 21 0 0 0 15 0 8 0 155942417 937590784 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17088] ppid=17079 vsize=915616 CPUtime=0
/proc/17081/task/17088/stat : 17088 (java) S 17079 17081 16587 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155942417 937590784 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17089] ppid=17079 vsize=915616 CPUtime=0
/proc/17081/task/17089/stat : 17089 (java) S 17079 17081 16587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155942417 937590784 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915616

[startup+6.17978 s]
/proc/loadavg: 1.86 1.97 1.93 3/100 17089
/proc/meminfo: memFree=1031216/2055920 swapFree=4191880/4192956
[pid=17081] ppid=17079 vsize=915872 CPUtime=6.09
/proc/17081/stat : 17081 (java) R 17079 17081 16587 0 -1 0 28521 0 1 0 509 100 0 0 25 0 8 0 155942408 937852928 28235 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074204690 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17081/statm: 228968 28235 2527 14 0 215438 0
[pid=17081/tid=17083] ppid=17079 vsize=915872 CPUtime=0.49
/proc/17081/task/17083/stat : 17083 (java) S 17079 17081 16587 0 -1 64 11368 0 0 0 45 4 0 0 17 0 8 0 155942413 937852928 28235 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17084] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17084/stat : 17084 (java) S 17079 17081 16587 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155942413 937852928 28235 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17085] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17085/stat : 17085 (java) S 17079 17081 16587 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155942413 937852928 28235 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17086] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17086/stat : 17086 (java) S 17079 17081 16587 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155942417 937852928 28235 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17087] ppid=17079 vsize=915872 CPUtime=0.37
/proc/17081/task/17087/stat : 17087 (java) S 17079 17081 16587 0 -1 64 531 0 0 0 36 1 0 0 15 0 8 0 155942417 937852928 28235 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17088] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17088/stat : 17088 (java) S 17079 17081 16587 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155942417 937852928 28235 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17089] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17089/stat : 17089 (java) S 17079 17081 16587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155942417 937852928 28235 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 915872

[startup+12.6565 s]
/proc/loadavg: 1.87 1.97 1.93 3/100 17089
/proc/meminfo: memFree=1031352/2055920 swapFree=4191880/4192956
[pid=17081] ppid=17079 vsize=915872 CPUtime=12.51
/proc/17081/stat : 17081 (java) R 17079 17081 16587 0 -1 0 28526 0 1 0 1151 100 0 0 25 0 8 0 155942408 937852928 28237 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074189274 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17081/statm: 228968 28237 2527 14 0 215438 0
[pid=17081/tid=17083] ppid=17079 vsize=915872 CPUtime=0.49
/proc/17081/task/17083/stat : 17083 (java) S 17079 17081 16587 0 -1 64 11368 0 0 0 45 4 0 0 16 0 8 0 155942413 937852928 28237 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17084] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17084/stat : 17084 (java) S 17079 17081 16587 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155942413 937852928 28237 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17085] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17085/stat : 17085 (java) S 17079 17081 16587 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155942413 937852928 28237 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17086] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17086/stat : 17086 (java) S 17079 17081 16587 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155942417 937852928 28237 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17087] ppid=17079 vsize=915872 CPUtime=0.37
/proc/17081/task/17087/stat : 17087 (java) S 17079 17081 16587 0 -1 64 534 0 0 0 36 1 0 0 15 0 8 0 155942417 937852928 28237 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17088] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17088/stat : 17088 (java) S 17079 17081 16587 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155942417 937852928 28237 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17089] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17089/stat : 17089 (java) S 17079 17081 16587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155942417 937852928 28237 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 915872

[startup+25.529 s]
/proc/loadavg: 1.90 1.97 1.93 3/100 17089
/proc/meminfo: memFree=1031544/2055920 swapFree=4191880/4192956
[pid=17081] ppid=17079 vsize=915872 CPUtime=25.27
/proc/17081/stat : 17081 (java) R 17079 17081 16587 0 -1 0 28540 0 1 0 2426 101 0 0 25 0 8 0 155942408 937852928 28248 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074231796 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17081/statm: 228968 28248 2530 14 0 215438 0
[pid=17081/tid=17083] ppid=17079 vsize=915872 CPUtime=0.49
/proc/17081/task/17083/stat : 17083 (java) S 17079 17081 16587 0 -1 64 11368 0 0 0 45 4 0 0 17 0 8 0 155942413 937852928 28248 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17084] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17084/stat : 17084 (java) S 17079 17081 16587 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155942413 937852928 28248 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17085] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17085/stat : 17085 (java) S 17079 17081 16587 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155942413 937852928 28248 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17086] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17086/stat : 17086 (java) S 17079 17081 16587 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155942417 937852928 28248 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17087] ppid=17079 vsize=915872 CPUtime=0.38
/proc/17081/task/17087/stat : 17087 (java) S 17079 17081 16587 0 -1 64 541 0 0 0 37 1 0 0 16 0 8 0 155942417 937852928 28248 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17088] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17088/stat : 17088 (java) S 17079 17081 16587 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155942417 937852928 28248 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17089] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17089/stat : 17089 (java) S 17079 17081 16587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155942417 937852928 28248 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 915872

[startup+51.1639 s]
/proc/loadavg: 2.01 1.99 1.93 3/100 17089
/proc/meminfo: memFree=1031544/2055920 swapFree=4191880/4192956
[pid=17081] ppid=17079 vsize=915872 CPUtime=50.66
/proc/17081/stat : 17081 (java) R 17079 17081 16587 0 -1 0 28552 0 1 0 4965 101 0 0 25 0 8 0 155942408 937852928 28256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074189350 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17081/statm: 228968 28256 2530 14 0 215438 0
[pid=17081/tid=17083] ppid=17079 vsize=915872 CPUtime=0.49
/proc/17081/task/17083/stat : 17083 (java) S 17079 17081 16587 0 -1 64 11368 0 0 0 45 4 0 0 16 0 8 0 155942413 937852928 28256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17084] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17084/stat : 17084 (java) S 17079 17081 16587 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155942413 937852928 28256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17085] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17085/stat : 17085 (java) S 17079 17081 16587 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155942413 937852928 28256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17086] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17086/stat : 17086 (java) S 17079 17081 16587 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155942417 937852928 28256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17087] ppid=17079 vsize=915872 CPUtime=0.4
/proc/17081/task/17087/stat : 17087 (java) S 17079 17081 16587 0 -1 64 550 0 0 0 39 1 0 0 16 0 8 0 155942417 937852928 28256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17088] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17088/stat : 17088 (java) S 17079 17081 16587 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155942417 937852928 28256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17089] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17089/stat : 17089 (java) S 17079 17081 16587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155942417 937852928 28256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 915872

[startup+102.428 s]
/proc/loadavg: 2.00 1.99 1.93 3/100 17089
/proc/meminfo: memFree=1028152/2055920 swapFree=4191880/4192956
[pid=17081] ppid=17079 vsize=915872 CPUtime=101.46
/proc/17081/stat : 17081 (java) R 17079 17081 16587 0 -1 0 29414 0 1 0 10044 102 0 0 25 0 8 0 155942408 937852928 29117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074231799 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17081/statm: 228968 29117 2530 14 0 215438 0
[pid=17081/tid=17083] ppid=17079 vsize=915872 CPUtime=0.54
/proc/17081/task/17083/stat : 17083 (java) S 17079 17081 16587 0 -1 64 12229 0 0 0 49 5 0 0 16 0 8 0 155942413 937852928 29117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17084] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17084/stat : 17084 (java) S 17079 17081 16587 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155942413 937852928 29117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17085] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17085/stat : 17085 (java) S 17079 17081 16587 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155942413 937852928 29117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17086] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17086/stat : 17086 (java) S 17079 17081 16587 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155942417 937852928 29117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17087] ppid=17079 vsize=915872 CPUtime=0.4
/proc/17081/task/17087/stat : 17087 (java) S 17079 17081 16587 0 -1 64 550 0 0 0 39 1 0 0 16 0 8 0 155942417 937852928 29117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17088] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17088/stat : 17088 (java) S 17079 17081 16587 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155942417 937852928 29117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17089] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17089/stat : 17089 (java) S 17079 17081 16587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155942417 937852928 29117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.46
Current children cumulated vsize (KiB) 915872

[startup+162.441 s]
/proc/loadavg: 2.04 2.00 1.94 3/100 17089
/proc/meminfo: memFree=1028088/2055920 swapFree=4191880/4192956
[pid=17081] ppid=17079 vsize=915872 CPUtime=160.93
/proc/17081/stat : 17081 (java) R 17079 17081 16587 0 -1 0 29416 0 1 0 15990 103 0 0 25 0 8 0 155942408 937852928 29118 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074202148 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+1483.38 s]
/proc/loadavg: 2.04 2.02 1.95 3/100 17147
/proc/meminfo: memFree=1071936/2055920 swapFree=4191880/4192956
[pid=17081] ppid=17079 vsize=915872 CPUtime=1478.87
/proc/17081/stat : 17081 (java) R 17079 17081 16587 0 -1 0 33702 0 1 0 147778 109 0 0 25 0 8 0 155942408 937852928 33398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074232611 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17081/statm: 228968 33398 2530 14 0 215438 0
[pid=17081/tid=17083] ppid=17079 vsize=915872 CPUtime=0.6
/proc/17081/task/17083/stat : 17083 (java) S 17079 17081 16587 0 -1 64 16502 0 0 0 54 6 0 0 16 0 8 0 155942413 937852928 33398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17081/tid=17084] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17084/stat : 17084 (java) S 17079 17081 16587 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155942413 937852928 33398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17085] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17085/stat : 17085 (java) S 17079 17081 16587 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155942413 937852928 33398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17086] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17086/stat : 17086 (java) S 17079 17081 16587 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155942417 937852928 33398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17087] ppid=17079 vsize=915872 CPUtime=0.42
/proc/17081/task/17087/stat : 17087 (java) S 17079 17081 16587 0 -1 64 559 0 0 0 41 1 0 0 17 0 8 0 155942417 937852928 33398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17081/tid=17088] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17088/stat : 17088 (java) S 17079 17081 16587 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155942417 937852928 33398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17089] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17089/stat : 17089 (java) S 17079 17081 16587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155942417 937852928 33398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1478.87
Current children cumulated vsize (KiB) 915872

[startup+1543.42 s]
/proc/loadavg: 2.01 2.01 1.95 3/100 17147
/proc/meminfo: memFree=1071936/2055920 swapFree=4191880/4192956
[pid=17081] ppid=17079 vsize=915872 CPUtime=1538.86
/proc/17081/stat : 17081 (java) R 17079 17081 16587 0 -1 0 33702 0 1 0 153777 109 0 0 25 0 8 0 155942408 937852928 33398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074189274 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17081/statm: 228968 33398 2530 14 0 215438 0
[pid=17081/tid=17083] ppid=17079 vsize=915872 CPUtime=0.6
/proc/17081/task/17083/stat : 17083 (java) S 17079 17081 16587 0 -1 64 16502 0 0 0 54 6 0 0 16 0 8 0 155942413 937852928 33398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17081/tid=17084] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17084/stat : 17084 (java) S 17079 17081 16587 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155942413 937852928 33398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17085] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17085/stat : 17085 (java) S 17079 17081 16587 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155942413 937852928 33398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17086] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17086/stat : 17086 (java) S 17079 17081 16587 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155942417 937852928 33398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17087] ppid=17079 vsize=915872 CPUtime=0.42
/proc/17081/task/17087/stat : 17087 (java) S 17079 17081 16587 0 -1 64 559 0 0 0 41 1 0 0 17 0 8 0 155942417 937852928 33398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17081/tid=17088] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17088/stat : 17088 (java) S 17079 17081 16587 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155942417 937852928 33398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17089] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17089/stat : 17089 (java) S 17079 17081 16587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155942417 937852928 33398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1538.86
Current children cumulated vsize (KiB) 915872

[startup+1603.46 s]
/proc/loadavg: 2.00 2.01 1.95 3/100 17147
/proc/meminfo: memFree=1072000/2055920 swapFree=4191880/4192956
[pid=17081] ppid=17079 vsize=915872 CPUtime=1598.83
/proc/17081/stat : 17081 (java) R 17079 17081 16587 0 -1 0 33702 0 1 0 159774 109 0 0 25 0 8 0 155942408 937852928 33398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073856998 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17081/statm: 228968 33398 2530 14 0 215438 0
[pid=17081/tid=17083] ppid=17079 vsize=915872 CPUtime=0.6
/proc/17081/task/17083/stat : 17083 (java) S 17079 17081 16587 0 -1 64 16502 0 0 0 54 6 0 0 16 0 8 0 155942413 937852928 33398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17081/tid=17084] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17084/stat : 17084 (java) S 17079 17081 16587 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155942413 937852928 33398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17085] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17085/stat : 17085 (java) S 17079 17081 16587 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155942413 937852928 33398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17086] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17086/stat : 17086 (java) S 17079 17081 16587 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155942417 937852928 33398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17087] ppid=17079 vsize=915872 CPUtime=0.42
/proc/17081/task/17087/stat : 17087 (java) S 17079 17081 16587 0 -1 64 559 0 0 0 41 1 0 0 17 0 8 0 155942417 937852928 33398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17081/tid=17088] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17088/stat : 17088 (java) S 17079 17081 16587 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155942417 937852928 33398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17089] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17089/stat : 17089 (java) S 17079 17081 16587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155942417 937852928 33398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1598.83
Current children cumulated vsize (KiB) 915872

[startup+1663.51 s]
/proc/loadavg: 2.13 2.03 1.96 3/100 17147
/proc/meminfo: memFree=1071936/2055920 swapFree=4191880/4192956
[pid=17081] ppid=17079 vsize=915872 CPUtime=1658.82
/proc/17081/stat : 17081 (java) R 17079 17081 16587 0 -1 0 33702 0 1 0 165773 109 0 0 25 0 8 0 155942408 937852928 33398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074180649 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17081/statm: 228968 33398 2530 14 0 215438 0
[pid=17081/tid=17083] ppid=17079 vsize=915872 CPUtime=0.6
/proc/17081/task/17083/stat : 17083 (java) S 17079 17081 16587 0 -1 64 16502 0 0 0 54 6 0 0 16 0 8 0 155942413 937852928 33398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17081/tid=17084] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17084/stat : 17084 (java) S 17079 17081 16587 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155942413 937852928 33398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17085] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17085/stat : 17085 (java) S 17079 17081 16587 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155942413 937852928 33398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17086] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17086/stat : 17086 (java) S 17079 17081 16587 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155942417 937852928 33398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17087] ppid=17079 vsize=915872 CPUtime=0.42
/proc/17081/task/17087/stat : 17087 (java) S 17079 17081 16587 0 -1 64 559 0 0 0 41 1 0 0 17 0 8 0 155942417 937852928 33398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17081/tid=17088] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17088/stat : 17088 (java) S 17079 17081 16587 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155942417 937852928 33398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17089] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17089/stat : 17089 (java) S 17079 17081 16587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155942417 937852928 33398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1658.82
Current children cumulated vsize (KiB) 915872

[startup+1723.56 s]
/proc/loadavg: 2.05 2.02 1.96 3/100 17147
/proc/meminfo: memFree=1071936/2055920 swapFree=4191880/4192956
[pid=17081] ppid=17079 vsize=915872 CPUtime=1718.82
/proc/17081/stat : 17081 (java) R 17079 17081 16587 0 -1 0 33702 0 1 0 171773 109 0 0 25 0 8 0 155942408 937852928 33398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074232611 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17081/statm: 228968 33398 2530 14 0 215438 0
[pid=17081/tid=17083] ppid=17079 vsize=915872 CPUtime=0.6
/proc/17081/task/17083/stat : 17083 (java) S 17079 17081 16587 0 -1 64 16502 0 0 0 54 6 0 0 16 0 8 0 155942413 937852928 33398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17081/tid=17084] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17084/stat : 17084 (java) S 17079 17081 16587 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155942413 937852928 33398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17085] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17085/stat : 17085 (java) S 17079 17081 16587 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155942413 937852928 33398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17086] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17086/stat : 17086 (java) S 17079 17081 16587 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155942417 937852928 33398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17087] ppid=17079 vsize=915872 CPUtime=0.42
/proc/17081/task/17087/stat : 17087 (java) S 17079 17081 16587 0 -1 64 559 0 0 0 41 1 0 0 17 0 8 0 155942417 937852928 33398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17081/tid=17088] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17088/stat : 17088 (java) S 17079 17081 16587 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155942417 937852928 33398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17089] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17089/stat : 17089 (java) S 17079 17081 16587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155942417 937852928 33398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1718.82
Current children cumulated vsize (KiB) 915872

[startup+1783.61 s]
/proc/loadavg: 2.02 2.02 1.96 3/100 17147
/proc/meminfo: memFree=1071936/2055920 swapFree=4191880/4192956
[pid=17081] ppid=17079 vsize=915872 CPUtime=1778.79
/proc/17081/stat : 17081 (java) R 17079 17081 16587 0 -1 0 33702 0 1 0 177770 109 0 0 25 0 8 0 155942408 937852928 33398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073480195 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17081/statm: 228968 33398 2530 14 0 215438 0
[pid=17081/tid=17083] ppid=17079 vsize=915872 CPUtime=0.6
/proc/17081/task/17083/stat : 17083 (java) S 17079 17081 16587 0 -1 64 16502 0 0 0 54 6 0 0 16 0 8 0 155942413 937852928 33398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17081/tid=17084] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17084/stat : 17084 (java) S 17079 17081 16587 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155942413 937852928 33398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17085] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17085/stat : 17085 (java) S 17079 17081 16587 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155942413 937852928 33398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17086] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17086/stat : 17086 (java) S 17079 17081 16587 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155942417 937852928 33398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17087] ppid=17079 vsize=915872 CPUtime=0.42
/proc/17081/task/17087/stat : 17087 (java) S 17079 17081 16587 0 -1 64 559 0 0 0 41 1 0 0 17 0 8 0 155942417 937852928 33398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17081/tid=17088] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17088/stat : 17088 (java) S 17079 17081 16587 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155942417 937852928 33398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17089] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17089/stat : 17089 (java) S 17079 17081 16587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155942417 937852928 33398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1778.79
Current children cumulated vsize (KiB) 915872



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1804.9 s]
/proc/loadavg: 2.01 2.02 1.96 3/100 17147
/proc/meminfo: memFree=1071936/2055920 swapFree=4191880/4192956
[pid=17081] ppid=17079 vsize=915872 CPUtime=1800.08
/proc/17081/stat : 17081 (java) R 17079 17081 16587 0 -1 0 33702 0 1 0 179899 109 0 0 25 0 8 0 155942408 937852928 33398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074232574 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17081/statm: 228968 33398 2530 14 0 215438 0
[pid=17081/tid=17083] ppid=17079 vsize=915872 CPUtime=0.6
/proc/17081/task/17083/stat : 17083 (java) S 17079 17081 16587 0 -1 64 16502 0 0 0 54 6 0 0 16 0 8 0 155942413 937852928 33398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17081/tid=17084] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17084/stat : 17084 (java) S 17079 17081 16587 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155942413 937852928 33398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17085] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17085/stat : 17085 (java) S 17079 17081 16587 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155942413 937852928 33398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17086] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17086/stat : 17086 (java) S 17079 17081 16587 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155942417 937852928 33398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17087] ppid=17079 vsize=915872 CPUtime=0.42
/proc/17081/task/17087/stat : 17087 (java) S 17079 17081 16587 0 -1 64 559 0 0 0 41 1 0 0 17 0 8 0 155942417 937852928 33398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17081/tid=17088] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17088/stat : 17088 (java) S 17079 17081 16587 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155942417 937852928 33398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17081/tid=17089] ppid=17079 vsize=915872 CPUtime=0
/proc/17081/task/17089/stat : 17089 (java) S 17079 17081 16587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155942417 937852928 33398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 915872

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

Child status: 143
Real time (s): 1804.99
CPU time (s): 1800.17
CPU user time (s): 1799.05
CPU system time (s): 1.11983
CPU usage (%): 99.7331
Max. virtual memory (cumulated for all children) (KiB): 915976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.05
system time used= 1.11983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33718
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= 38301
involuntary context switches= 55576

runsolver used 2.03869 s user time and 5.95809 s system time

The end

Launcher Data (download as text)

Begin job on node9 on Sat Jan  6 09:24:30 UTC 2007


IDJOB= 211161
IDBENCH= 4673
FILE ID= node9/211161-1168075470

PBS_JOBID= 3475774

Free space on /tmp= 66533 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  cad824bee8074e1420d713f6438fb5bd

RANDOM SEED= 823154655

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.231
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.231
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1135112 kB
Buffers:         83644 kB
Cached:         567528 kB
SwapCached:        268 kB
Active:         446676 kB
Inactive:       371768 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1135112 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            4948 kB
Writeback:           0 kB
Mapped:         188992 kB
Slab:            86828 kB
Committed_AS:  4749628 kB
PageTables:       2568 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= 66539 MiB



End job on node9 on Sat Jan  6 09:54:38 UTC 2007