Trace number 211304

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 1802.08

General information on the benchmark

NamepseudoSeries/ttp/
circ-10-3.xml
MD5SUM0e55a6b21f60962d919e77257912f16e
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark44.3613
SatisfiableYES
(Un)Satisfiability was proved
Number of variables2700
Number of constraints43070
Maximum constraint arity36
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension43070
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=mac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/211304-1168075504/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.56	     nbVariables=2700  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.56	       =>  wckTime=0.247  cpuTime=0.16  mem=10M819
0.56	   
0.56	   predicates being loaded...
0.59	   
0.59	   constraints being loaded...
5.04	   
5.04	   INFO : Stopping converting binary constraints (cpu=4.01, mem = 42M201)
8.14	     nbConstraints=42620  nbMergedConstraints=450  nbConvertedConstraints=1620  nbConvertConstraintsChecks=1564
8.14	     nbExtensionStructures=1  nbSharedExtensionStructures=1619  nbConflictsStructures=5
8.15	     nbSharedConflictsStructures=17425  nbUnbuiltConflictsStructures=2  nbSharedBinaryRepresentations=1
8.15	     nbEvaluationManagers=26  nbSharedEvaluationManagers=40974  maxDegree=272  maxArity=36
8.15	       =>  wckTime=7.831  cpuTime=6.15  mem=322M268
8.52	   
8.52	   solver IterativeSystematicSolver being built... 
10.74	       =>  wckTime=10.429  cpuTime=7.69  mem=389M243
12.11	   
12.11	   preprocessing
12.11	     nbConstraintChecks=274740  nbValidityChecks=224010  nbPropagations=2700  nbRevisions=248760
12.11	     nbUselessRevisions=248760  nbRemovedValues=0  detectedInconsistency=no
12.11	       =>  wckTime=1.359  cpuTime=1.33  mem=406M508
15.14	   
15.14	   search
15.14	     run=0  nbConstraintChecks=187757  nbValidityChecks=1984711  nbPropagations=3406  nbRevisions=1263577
15.14	     nbUselessRevisions=1263136  nbAssignments=360  nbFailedAssignments=3  nbBacktracks=10  nbVisitedNodes=366
15.14	     nbRestartNogoods=0  mapSize=3  nbInferences=0  nbTooLargeKeys=0
15.14	       =>  wckTime=4.392  cpuTime=4.32  mem=407M523
17.92	   
17.92	   search
17.92	     run=1  nbConstraintChecks=332661  nbValidityChecks=3947308  nbPropagations=7537  nbRevisions=3533082
17.92	     nbUselessRevisions=3531791  nbAssignments=728  nbFailedAssignments=5  nbBacktracks=31  nbVisitedNodes=738
17.92	     nbRestartNogoods=2  mapSize=6  nbInferences=0  nbTooLargeKeys=0
17.92	       =>  wckTime=7.167  cpuTime=7.08  mem=407M523
20.70	   
20.70	   search
20.70	     run=2  nbConstraintChecks=477670  nbValidityChecks=5935501  nbPropagations=12401  nbRevisions=6821806
20.70	     nbUselessRevisions=6819250  nbAssignments=1098  nbFailedAssignments=7  nbBacktracks=56  nbVisitedNodes=1112
20.70	     nbRestartNogoods=3  mapSize=9  nbInferences=0  nbTooLargeKeys=0
20.70	       =>  wckTime=9.951  cpuTime=9.84  mem=408M539
23.49	   
23.49	   search
23.49	     run=3  nbConstraintChecks=622639  nbValidityChecks=7938786  nbPropagations=18002  nbRevisions=11137570
23.49	     nbUselessRevisions=11133332  nbAssignments=1470  nbFailedAssignments=9  nbBacktracks=96  nbVisitedNodes=1488
23.49	     nbRestartNogoods=4  mapSize=12  nbInferences=0  nbTooLargeKeys=0
23.49	       =>  wckTime=12.744  cpuTime=12.61  mem=408M539
27.24	   
27.24	   search
27.24	     run=4  nbConstraintChecks=950486  nbValidityChecks=10282389  nbPropagations=24644  nbRevisions=16672209
27.24	     nbUselessRevisions=16665495  nbAssignments=1874  nbFailedAssignments=15  nbBacktracks=151  nbVisitedNodes=1903
27.24	     nbRestartNogoods=5  mapSize=22  nbInferences=0  nbTooLargeKeys=0
27.24	       =>  wckTime=16.488  cpuTime=16.33  mem=408M539
31.67	   
31.67	   search
31.67	     run=5  nbConstraintChecks=1408918  nbValidityChecks=12896695  nbPropagations=32544  nbRevisions=23577407
31.67	     nbUselessRevisions=23567180  nbAssignments=2306  nbFailedAssignments=24  nbBacktracks=236  nbVisitedNodes=2351
31.67	     nbRestartNogoods=6  mapSize=36  nbInferences=0  nbTooLargeKeys=0
31.67	       =>  wckTime=20.925  cpuTime=20.75  mem=408M539
36.70	   
36.70	   search
36.70	     run=6  nbConstraintChecks=1936242  nbValidityChecks=15711119  nbPropagations=41888  nbRevisions=31967652
36.70	     nbUselessRevisions=31952716  nbAssignments=2763  nbFailedAssignments=33  nbBacktracks=350  nbVisitedNodes=2826
36.70	     nbRestartNogoods=8  mapSize=53  nbInferences=0  nbTooLargeKeys=0
36.70	       =>  wckTime=25.954  cpuTime=25.78  mem=409M554
43.59	   
43.59	   search
43.59	     run=7  nbConstraintChecks=2774667  nbValidityChecks=19155698  nbPropagations=53206  nbRevisions=42195618
43.59	     nbUselessRevisions=42174164  nbAssignments=3280  nbFailedAssignments=49  nbBacktracks=528  nbVisitedNodes=3373
43.59	     nbRestartNogoods=9  mapSize=81  nbInferences=0  nbTooLargeKeys=0
43.59	       =>  wckTime=32.839  cpuTime=32.64  mem=409M554
52.34	   
52.34	   search
52.34	     run=8  nbConstraintChecks=3939305  nbValidityChecks=23470385  nbPropagations=67160  nbRevisions=54741411
52.34	     nbUselessRevisions=54710956  nbAssignments=3899  nbFailedAssignments=71  nbBacktracks=790  nbVisitedNodes=4034
52.34	     nbRestartNogoods=11  mapSize=120  nbInferences=0  nbTooLargeKeys=0
52.34	       =>  wckTime=41.595  cpuTime=41.39  mem=410M570
63.77	   
63.77	   search
63.77	     run=9  nbConstraintChecks=5427035  nbValidityChecks=29050092  nbPropagations=84541  nbRevisions=70282715
63.77	     nbUselessRevisions=70239999  nbAssignments=4648  nbFailedAssignments=97  nbBacktracks=1178  nbVisitedNodes=4834
63.77	     nbRestartNogoods=14  mapSize=168  nbInferences=0  nbTooLargeKeys=0
63.77	       =>  wckTime=53.024  cpuTime=52.81  mem=411M585
110.73	   
110.73	   search
110.73	     run=10  nbConstraintChecks=11150948  nbValidityChecks=57264226  nbPropagations=118826  nbRevisions=100671261
110.73	     nbUselessRevisions=100597034  nbAssignments=5512  nbFailedAssignments=112  nbBacktracks=1765  nbVisitedNodes=5840
110.73	     nbRestartNogoods=17  mapSize=308  nbInferences=0  nbTooLargeKeys=0
110.74	       =>  wckTime=99.987  cpuTime=99.71  mem=411M585
161.46	   
161.46	   search
161.46	     run=11  nbConstraintChecks=17988612  nbValidityChecks=84755192  nbPropagations=170056  nbRevisions=145498375
161.46	     nbUselessRevisions=145373285  nbAssignments=6684  nbFailedAssignments=137  nbBacktracks=2671  nbVisitedNodes=7175
161.46	     nbRestartNogoods=19  mapSize=470  nbInferences=0  nbTooLargeKeys=0
161.46	       =>  wckTime=150.71  cpuTime=150.38  mem=412M601
170.05	   
170.05	   search
170.05	     run=12  nbConstraintChecks=18405997  nbValidityChecks=89302473  nbPropagations=234445  nbRevisions=192896938
170.05	     nbUselessRevisions=192705372  nbAssignments=9452  nbFailedAssignments=187  nbBacktracks=3987  nbVisitedNodes=10196
170.05	     nbRestartNogoods=20  mapSize=722  nbInferences=0  nbTooLargeKeys=0
170.05	       =>  wckTime=159.301  cpuTime=158.81  mem=398M407
180.13	   
180.14	   search
180.14	     run=13  nbConstraintChecks=18832988  nbValidityChecks=94609569  nbPropagations=313984  nbRevisions=243337457
180.14	     nbUselessRevisions=243064066  nbAssignments=12856  nbFailedAssignments=258  nbBacktracks=6029  nbVisitedNodes=13800
180.14	     nbRestartNogoods=21  mapSize=920  nbInferences=0  nbTooLargeKeys=0
180.14	       =>  wckTime=169.387  cpuTime=168.87  mem=414M656
187.36	   
187.36	   INFO : Stopping hyperNogood (mapSize=1003, nbTooLargekeys=0, mem=422M781)
192.33	   
192.33	   search
192.33	     run=14  nbConstraintChecks=19363560  nbValidityChecks=101193814  nbPropagations=414493  nbRevisions=297561278
192.33	     nbUselessRevisions=297183958  nbAssignments=17142  nbFailedAssignments=356  nbBacktracks=8997  nbVisitedNodes=18355
192.33	     nbRestartNogoods=23
192.33	       =>  wckTime=181.583  cpuTime=181.06  mem=422M781
213.71	   
213.71	   search
213.71	     run=15  nbConstraintChecks=20174771  nbValidityChecks=113304811  nbPropagations=552676  nbRevisions=358834379
213.71	     nbUselessRevisions=358311253  nbAssignments=22866  nbFailedAssignments=596  nbBacktracks=13375
213.71	     nbVisitedNodes=24637  nbRestartNogoods=24
213.71	       =>  wckTime=202.966  cpuTime=202.43  mem=422M781
262.14	   
262.14	   search
262.14	     run=16  nbConstraintChecks=22236229  nbValidityChecks=144247993  nbPropagations=765483  nbRevisions=437351407
262.14	     nbUselessRevisions=436594786  nbAssignments=31076  nbFailedAssignments=1178  nbBacktracks=19957
262.14	     nbVisitedNodes=33956  nbRestartNogoods=26
262.14	       =>  wckTime=251.391  cpuTime=250.81  mem=422M781
338.94	   
338.94	   search
338.94	     run=17  nbConstraintChecks=25412973  nbValidityChecks=196215658  nbPropagations=1055950  nbRevisions=544605714
338.94	     nbUselessRevisions=543523507  nbAssignments=42389  nbFailedAssignments=1836  nbBacktracks=29811
338.94	     nbVisitedNodes=46900  nbRestartNogoods=29
338.94	       =>  wckTime=328.189  cpuTime=327.52  mem=422M781
563.77	   
563.77	   search
563.77	     run=18  nbConstraintChecks=37691299  nbValidityChecks=388249961  nbPropagations=1447538  nbRevisions=753917260
563.77	     nbUselessRevisions=752402220  nbAssignments=58125  nbFailedAssignments=2503  nbBacktracks=44615
563.77	     nbVisitedNodes=63956  nbRestartNogoods=35
563.77	       =>  wckTime=553.023  cpuTime=552.14  mem=422M781
822.19	   
822.19	   search
822.19	     run=19  nbConstraintChecks=43920321  nbValidityChecks=654504077  nbPropagations=1931928  nbRevisions=1106891317
822.19	     nbUselessRevisions=1104854896  nbAssignments=81090  nbFailedAssignments=3098  nbBacktracks=66810
822.19	     nbVisitedNodes=88281  nbRestartNogoods=38
822.19	       =>  wckTime=811.441  cpuTime=810.3  mem=422M781
1713.45	   
1713.45	   search
1713.45	     run=20  nbConstraintChecks=67242724  nbValidityChecks=1583542242  nbPropagations=2750976  nbRevisions=1983243013
1713.45	     nbUselessRevisions=1980310132  nbAssignments=117040  nbFailedAssignments=5617  nbBacktracks=100065
1713.45	     nbVisitedNodes=130532  nbRestartNogoods=40
1713.45	       =>  wckTime=1702.699  cpuTime=1700.67  mem=422M781

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/node29/watcher-211304-1168075504 -o ROOT/results/node29/solver-211304-1168075504 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/211304-1168075504/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.92 1.98 1.97 4/93 16966
/proc/meminfo: memFree=1543600/2055920 swapFree=4192812/4192956
[pid=16965] ppid=16963 vsize=9948 CPUtime=0
/proc/16965/stat : 16965 (java) S 16963 16965 16159 0 -1 0 723 0 0 0 0 0 0 0 18 0 1 0 155944591 10186752 472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 17 1 0 0
/proc/16965/statm: 2487 472 386 14 0 1142 0

[startup+0.104229 s]
/proc/loadavg: 1.92 1.98 1.97 4/93 16966
/proc/meminfo: memFree=1543600/2055920 swapFree=4192812/4192956
[pid=16965] ppid=16963 vsize=914988 CPUtime=0.08
/proc/16965/stat : 16965 (java) D 16963 16965 16159 0 -1 0 2988 0 1 0 7 1 0 0 17 0 8 0 155944591 936947712 2734 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16965/statm: 228747 2734 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.512244 s]
/proc/loadavg: 1.92 1.98 1.97 4/93 16966
/proc/meminfo: memFree=1543600/2055920 swapFree=4192812/4192956
[pid=16965] ppid=16963 vsize=915328 CPUtime=0.49
/proc/16965/stat : 16965 (java) R 16963 16965 16159 0 -1 0 6575 0 1 0 45 4 0 0 18 0 8 0 155944591 937295872 6314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072939633 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16965/statm: 228832 6314 2135 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.3333 s]
/proc/loadavg: 1.92 1.98 1.97 3/100 16973
/proc/meminfo: memFree=1481784/2055920 swapFree=4192812/4192956
[pid=16965] ppid=16963 vsize=915640 CPUtime=1.3
/proc/16965/stat : 16965 (java) R 16963 16965 16159 0 -1 0 18494 0 1 0 121 9 0 0 24 0 8 0 155944591 937615360 18230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073718279 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16965/statm: 228910 18230 2157 14 0 215380 0
[pid=16965/tid=16967] ppid=16963 vsize=915640 CPUtime=0.07
/proc/16965/task/16967/stat : 16967 (java) S 16963 16965 16159 0 -1 64 1959 0 0 0 7 0 0 0 16 0 8 0 155944595 937615360 18230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16965/tid=16968] ppid=16963 vsize=915640 CPUtime=0
/proc/16965/task/16968/stat : 16968 (java) S 16963 16965 16159 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155944595 937615360 18230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16965/tid=16969] ppid=16963 vsize=915640 CPUtime=0
/proc/16965/task/16969/stat : 16969 (java) S 16963 16965 16159 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155944595 937615360 18230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16965/tid=16970] ppid=16963 vsize=915640 CPUtime=0
/proc/16965/task/16970/stat : 16970 (java) S 16963 16965 16159 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155944599 937615360 18230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16965/tid=16971] ppid=16963 vsize=915640 CPUtime=0.16
/proc/16965/task/16971/stat : 16971 (java) S 16963 16965 16159 0 -1 64 405 0 0 0 16 0 0 0 16 0 8 0 155944599 937615360 18230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16965/tid=16972] ppid=16963 vsize=915640 CPUtime=0
/proc/16965/task/16972/stat : 16972 (java) S 16963 16965 16159 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155944599 937615360 18230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16965/tid=16973] ppid=16963 vsize=915640 CPUtime=0
/proc/16965/task/16973/stat : 16973 (java) S 16963 16965 16159 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155944599 937615360 18230 18446744073709551615 134512640 134570532 4294956480 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) 915640

[startup+2.97341 s]
/proc/loadavg: 1.92 1.98 1.97 3/100 16973
/proc/meminfo: memFree=1467128/2055920 swapFree=4192812/4192956
[pid=16965] ppid=16963 vsize=915640 CPUtime=2.94
/proc/16965/stat : 16965 (java) R 16963 16965 16159 0 -1 0 22365 0 1 0 281 13 0 0 25 0 8 0 155944591 937615360 22089 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073611876 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16965/statm: 228910 22089 2157 14 0 215380 0
[pid=16965/tid=16967] ppid=16963 vsize=915640 CPUtime=0.32
/proc/16965/task/16967/stat : 16967 (java) S 16963 16965 16159 0 -1 64 5816 0 0 0 30 2 0 0 16 0 8 0 155944595 937615360 22089 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16965/tid=16968] ppid=16963 vsize=915640 CPUtime=0
/proc/16965/task/16968/stat : 16968 (java) S 16963 16965 16159 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155944595 937615360 22089 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16965/tid=16969] ppid=16963 vsize=915640 CPUtime=0
/proc/16965/task/16969/stat : 16969 (java) S 16963 16965 16159 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155944595 937615360 22089 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16965/tid=16970] ppid=16963 vsize=915640 CPUtime=0
/proc/16965/task/16970/stat : 16970 (java) S 16963 16965 16159 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155944599 937615360 22089 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16965/tid=16971] ppid=16963 vsize=915640 CPUtime=0.17
/proc/16965/task/16971/stat : 16971 (java) S 16963 16965 16159 0 -1 64 407 0 0 0 17 0 0 0 16 0 8 0 155944599 937615360 22089 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16965/tid=16972] ppid=16963 vsize=915640 CPUtime=0
/proc/16965/task/16972/stat : 16972 (java) S 16963 16965 16159 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155944599 937615360 22089 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16965/tid=16973] ppid=16963 vsize=915640 CPUtime=0
/proc/16965/task/16973/stat : 16973 (java) S 16963 16965 16159 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155944599 937615360 22089 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915640

[startup+6.1816 s]
/proc/loadavg: 1.93 1.98 1.97 4/100 16973
/proc/meminfo: memFree=1409656/2055920 swapFree=4192812/4192956
[pid=16965] ppid=16963 vsize=915640 CPUtime=6.13
/proc/16965/stat : 16965 (java) R 16963 16965 16159 0 -1 0 48526 0 1 0 571 42 0 0 25 0 8 0 155944591 937615360 48232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16965/statm: 228910 48232 2178 14 0 215380 0
[pid=16965/tid=16967] ppid=16963 vsize=915640 CPUtime=0.94
/proc/16965/task/16967/stat : 16967 (java) R 16963 16965 16159 0 -1 64 31868 0 0 0 82 12 0 0 16 0 8 0 155944595 937615360 48232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153968444 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16965/tid=16968] ppid=16963 vsize=915640 CPUtime=0
/proc/16965/task/16968/stat : 16968 (java) S 16963 16965 16159 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155944595 937615360 48232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16965/tid=16969] ppid=16963 vsize=915640 CPUtime=0
/proc/16965/task/16969/stat : 16969 (java) S 16963 16965 16159 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155944595 937615360 48232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16965/tid=16970] ppid=16963 vsize=915640 CPUtime=0
/proc/16965/task/16970/stat : 16970 (java) S 16963 16965 16159 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155944599 937615360 48232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16965/tid=16971] ppid=16963 vsize=915640 CPUtime=0.22
/proc/16965/task/16971/stat : 16971 (java) S 16963 16965 16159 0 -1 64 434 0 0 0 21 1 0 0 16 0 8 0 155944599 937615360 48232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16965/tid=16972] ppid=16963 vsize=915640 CPUtime=0
/proc/16965/task/16972/stat : 16972 (java) S 16963 16965 16159 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155944599 937615360 48232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16965/tid=16973] ppid=16963 vsize=915640 CPUtime=0
/proc/16965/task/16973/stat : 16973 (java) S 16963 16965 16159 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155944599 937615360 48232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915640

[startup+12.658 s]
/proc/loadavg: 1.93 1.98 1.97 3/100 16973
/proc/meminfo: memFree=1121600/2055920 swapFree=4192812/4192956
[pid=16965] ppid=16963 vsize=915796 CPUtime=12.57
/proc/16965/stat : 16965 (java) R 16963 16965 16159 0 -1 0 108161 0 1 0 1189 68 0 0 25 0 8 0 155944591 937775104 107803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073899966 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16965/statm: 228949 107803 2536 14 0 215419 0
[pid=16965/tid=16967] ppid=16963 vsize=915796 CPUtime=2.4
/proc/16965/task/16967/stat : 16967 (java) S 16963 16965 16159 0 -1 64 90938 0 0 0 203 37 0 0 17 0 8 0 155944595 937775104 107803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16965/tid=16968] ppid=16963 vsize=915796 CPUtime=0
/proc/16965/task/16968/stat : 16968 (java) S 16963 16965 16159 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155944595 937775104 107803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16965/tid=16969] ppid=16963 vsize=915796 CPUtime=0
/proc/16965/task/16969/stat : 16969 (java) S 16963 16965 16159 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155944595 937775104 107803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16965/tid=16970] ppid=16963 vsize=915796 CPUtime=0
/proc/16965/task/16970/stat : 16970 (java) S 16963 16965 16159 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155944599 937775104 107803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16965/tid=16971] ppid=16963 vsize=915796 CPUtime=0.37
/proc/16965/task/16971/stat : 16971 (java) S 16963 16965 16159 0 -1 64 559 0 0 0 36 1 0 0 15 0 8 0 155944599 937775104 107803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16965/tid=16972] ppid=16963 vsize=915796 CPUtime=0
/proc/16965/task/16972/stat : 16972 (java) S 16963 16965 16159 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155944599 937775104 107803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16965/tid=16973] ppid=16963 vsize=915796 CPUtime=0
/proc/16965/task/16973/stat : 16973 (java) S 16963 16965 16159 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155944599 937775104 107803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 915796

[startup+25.5358 s]
/proc/loadavg: 1.95 1.98 1.97 3/100 16973
/proc/meminfo: memFree=1121728/2055920 swapFree=4192812/4192956
[pid=16965] ppid=16963 vsize=915732 CPUtime=25.39
/proc/16965/stat : 16965 (java) R 16963 16965 16159 0 -1 0 108190 0 1 0 2470 69 0 0 25 0 8 0 155944591 937709568 107815 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073890228 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16965/statm: 228933 107815 2540 14 0 215403 0
[pid=16965/tid=16967] ppid=16963 vsize=915732 CPUtime=2.41
/proc/16965/task/16967/stat : 16967 (java) S 16963 16965 16159 0 -1 64 90939 0 0 0 204 37 0 0 16 0 8 0 155944595 937709568 107815 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16965/tid=16968] ppid=16963 vsize=915732 CPUtime=0
/proc/16965/task/16968/stat : 16968 (java) S 16963 16965 16159 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155944595 937709568 107815 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16965/tid=16969] ppid=16963 vsize=915732 CPUtime=0
/proc/16965/task/16969/stat : 16969 (java) S 16963 16965 16159 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155944595 937709568 107815 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16965/tid=16970] ppid=16963 vsize=915732 CPUtime=0
/proc/16965/task/16970/stat : 16970 (java) S 16963 16965 16159 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155944599 937709568 107815 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16965/tid=16971] ppid=16963 vsize=915732 CPUtime=0.41
/proc/16965/task/16971/stat : 16971 (java) S 16963 16965 16159 0 -1 64 575 0 0 0 39 2 0 0 16 0 8 0 155944599 937709568 107815 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16965/tid=16972] ppid=16963 vsize=915732 CPUtime=0
/proc/16965/task/16972/stat : 16972 (java) S 16963 16965 16159 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155944599 937709568 107815 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16965/tid=16973] ppid=16963 vsize=915732 CPUtime=0
/proc/16965/task/16973/stat : 16973 (java) S 16963 16965 16159 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155944599 937709568 107815 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 915732

[startup+51.1834 s]
/proc/loadavg: 1.91 1.97 1.97 3/100 17031
/proc/meminfo: memFree=1000448/2055920 swapFree=4192812/4192956
[pid=16965] ppid=16963 vsize=915732 CPUtime=50.99
/proc/16965/stat : 16965 (java) R 16963 16965 16159 0 -1 0 108197 0 1 0 5028 71 0 0 25 0 8 0 155944591 937709568 107818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074174571 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16965/statm: 228933 107818 2540 14 0 215403 0
[pid=16965/tid=16967] ppid=16963 vsize=915732 CPUtime=2.41
/proc/16965/task/16967/stat : 16967 (java) S 16963 16965 16159 0 -1 64 90939 0 0 0 204 37 0 0 16 0 8 0 155944595 937709568 107818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16965/tid=16968] ppid=16963 vsize=915732 CPUtime=0
/proc/16965/task/16968/stat : 16968 (java) S 16963 16965 16159 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155944595 937709568 107818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16965/tid=16969] ppid=16963 vsize=915732 CPUtime=0
/proc/16965/task/16969/stat : 16969 (java) S 16963 16965 16159 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155944595 937709568 107818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16965/tid=16970] ppid=16963 vsize=915732 CPUtime=0
/proc/16965/task/16970/stat : 16970 (java) S 16963 16965 16159 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155944599 937709568 107818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16965/tid=16971] ppid=16963 vsize=915732 CPUtime=0.42
/proc/16965/task/16971/stat : 16971 (java) S 16963 16965 16159 0 -1 64 579 0 0 0 40 2 0 0 15 0 8 0 155944599 937709568 107818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16965/tid=16972] ppid=16963 vsize=915732 CPUtime=0
/proc/16965/task/16972/stat : 16972 (java) S 16963 16965 16159 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155944599 937709568 107818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16965/tid=16973] ppid=16963 vsize=915732 CPUtime=0
/proc/16965/task/16973/stat : 16973 (java) S 16963 16965 16159 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155944599 937709568 107818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 915732

[startup+102.39 s]
/proc/loadavg: 1.96 1.97 1.97 3/100 17031
/proc/meminfo: memFree=1000448/2055920 swapFree=4192812/4192956
[pid=16965] ppid=16963 vsize=915732 CPUtime=102.16
/proc/16965/stat : 16965 (java) R 16963 16965 16159 0 -1 0 108208 0 1 0 10144 72 0 0 25 0 8 0 155944591 937709568 107823 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073888743 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16965/statm: 228933 107823 2540 14 0 215403 0
[pid=16965/tid=16967] ppid=16963 vsize=915732 CPUtime=2.41
/proc/16965/task/16967/stat : 16967 (java) S 16963 16965 16159 0 -1 64 90939 0 0 0 204 37 0 0 16 0 8 0 155944595 937709568 107823 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16965/tid=16968] ppid=16963 vsize=915732 CPUtime=0
/proc/16965/task/16968/stat : 16968 (java) S 16963 16965 16159 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155944595 937709568 107823 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16965/tid=16969] ppid=16963 vsize=915732 CPUtime=0
/proc/16965/task/16969/stat : 16969 (java) S 16963 16965 16159 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155944595 937709568 107823 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16965/tid=16970] ppid=16963 vsize=915732 CPUtime=0
/proc/16965/task/16970/stat : 16970 (java) S 16963 16965 16159 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155944599 937709568 107823 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16965/tid=16971] ppid=16963 vsize=915732 CPUtime=0.43
/proc/16965/task/16971/stat : 16971 (java) S 16963 16965 16159 0 -1 64 586 0 0 0 41 2 0 0 16 0 8 0 155944599 937709568 107823 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16965/tid=16972] ppid=16963 vsize=915732 CPUtime=0
/proc/16965/task/16972/stat : 16972 (java) S 16963 16965 16159 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155944599 937709568 107823 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16965/tid=16973] ppid=16963 vsize=915732 CPUtime=0
/proc/16965/task/16973/stat : 16973 (java) S 16963 16965 16159 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155944599 937709568 107823 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 915732

[startup+162.433 s]
/proc/loadavg: 1.98 1.97 1.97 3/100 17031
/proc/meminfo: memFree=1000512/2055920 swapFree=4192812/4192956
[pid=16965] ppid=16963 vsize=915732 CPUtime=162.14
/proc/16965/stat : 16965 (java) R 16963 16965 16159 0 -1 0 108210 0 1 0 16142 72 0 0 25 0 8 0 155944591 937709568 107823 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 915732

[startup+1483.44 s]
/proc/loadavg: 2.06 2.00 1.98 3/100 17031
/proc/meminfo: memFree=942016/2055920 swapFree=4192812/4192956
[pid=16965] ppid=16963 vsize=915732 CPUtime=1481.84
/proc/16965/stat : 16965 (java) R 16963 16965 16159 0 -1 0 113057 0 1 0 148106 78 0 0 25 0 8 0 155944591 937709568 112667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073984125 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16965/statm: 228933 112667 2540 14 0 215403 0
[pid=16965/tid=16967] ppid=16963 vsize=915732 CPUtime=2.56
/proc/16965/task/16967/stat : 16967 (java) S 16963 16965 16159 0 -1 64 95782 0 0 0 218 38 0 0 16 0 8 0 155944595 937709568 112667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16965/tid=16968] ppid=16963 vsize=915732 CPUtime=0
/proc/16965/task/16968/stat : 16968 (java) S 16963 16965 16159 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155944595 937709568 112667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16965/tid=16969] ppid=16963 vsize=915732 CPUtime=0
/proc/16965/task/16969/stat : 16969 (java) S 16963 16965 16159 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155944595 937709568 112667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16965/tid=16970] ppid=16963 vsize=915732 CPUtime=0
/proc/16965/task/16970/stat : 16970 (java) S 16963 16965 16159 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155944599 937709568 112667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16965/tid=16971] ppid=16963 vsize=915732 CPUtime=0.43
/proc/16965/task/16971/stat : 16971 (java) S 16963 16965 16159 0 -1 64 588 0 0 0 41 2 0 0 15 0 8 0 155944599 937709568 112667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16965/tid=16972] ppid=16963 vsize=915732 CPUtime=0
/proc/16965/task/16972/stat : 16972 (java) S 16963 16965 16159 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155944599 937709568 112667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16965/tid=16973] ppid=16963 vsize=915732 CPUtime=0
/proc/16965/task/16973/stat : 16973 (java) S 16963 16965 16159 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155944599 937709568 112667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 915732

[startup+1543.48 s]
/proc/loadavg: 2.02 2.00 1.98 3/100 17031
/proc/meminfo: memFree=942016/2055920 swapFree=4192812/4192956
[pid=16965] ppid=16963 vsize=915732 CPUtime=1541.82
/proc/16965/stat : 16965 (java) R 16963 16965 16159 0 -1 0 113057 0 1 0 154104 78 0 0 25 0 8 0 155944591 937709568 112667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074227259 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16965/statm: 228933 112667 2540 14 0 215403 0
[pid=16965/tid=16967] ppid=16963 vsize=915732 CPUtime=2.56
/proc/16965/task/16967/stat : 16967 (java) S 16963 16965 16159 0 -1 64 95782 0 0 0 218 38 0 0 16 0 8 0 155944595 937709568 112667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16965/tid=16968] ppid=16963 vsize=915732 CPUtime=0
/proc/16965/task/16968/stat : 16968 (java) S 16963 16965 16159 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155944595 937709568 112667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16965/tid=16969] ppid=16963 vsize=915732 CPUtime=0
/proc/16965/task/16969/stat : 16969 (java) S 16963 16965 16159 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155944595 937709568 112667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16965/tid=16970] ppid=16963 vsize=915732 CPUtime=0
/proc/16965/task/16970/stat : 16970 (java) S 16963 16965 16159 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155944599 937709568 112667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16965/tid=16971] ppid=16963 vsize=915732 CPUtime=0.43
/proc/16965/task/16971/stat : 16971 (java) S 16963 16965 16159 0 -1 64 588 0 0 0 41 2 0 0 15 0 8 0 155944599 937709568 112667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16965/tid=16972] ppid=16963 vsize=915732 CPUtime=0
/proc/16965/task/16972/stat : 16972 (java) S 16963 16965 16159 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155944599 937709568 112667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16965/tid=16973] ppid=16963 vsize=915732 CPUtime=0
/proc/16965/task/16973/stat : 16973 (java) S 16963 16965 16159 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155944599 937709568 112667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 915732

[startup+1603.54 s]
/proc/loadavg: 2.01 2.00 1.98 3/100 17031
/proc/meminfo: memFree=941952/2055920 swapFree=4192812/4192956
[pid=16965] ppid=16963 vsize=915732 CPUtime=1601.83
/proc/16965/stat : 16965 (java) R 16963 16965 16159 0 -1 0 113057 0 1 0 160105 78 0 0 25 0 8 0 155944591 937709568 112667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073889440 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16965/statm: 228933 112667 2540 14 0 215403 0
[pid=16965/tid=16967] ppid=16963 vsize=915732 CPUtime=2.56
/proc/16965/task/16967/stat : 16967 (java) S 16963 16965 16159 0 -1 64 95782 0 0 0 218 38 0 0 16 0 8 0 155944595 937709568 112667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16965/tid=16968] ppid=16963 vsize=915732 CPUtime=0
/proc/16965/task/16968/stat : 16968 (java) S 16963 16965 16159 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155944595 937709568 112667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16965/tid=16969] ppid=16963 vsize=915732 CPUtime=0
/proc/16965/task/16969/stat : 16969 (java) S 16963 16965 16159 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155944595 937709568 112667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16965/tid=16970] ppid=16963 vsize=915732 CPUtime=0
/proc/16965/task/16970/stat : 16970 (java) S 16963 16965 16159 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155944599 937709568 112667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16965/tid=16971] ppid=16963 vsize=915732 CPUtime=0.43
/proc/16965/task/16971/stat : 16971 (java) S 16963 16965 16159 0 -1 64 588 0 0 0 41 2 0 0 15 0 8 0 155944599 937709568 112667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16965/tid=16972] ppid=16963 vsize=915732 CPUtime=0
/proc/16965/task/16972/stat : 16972 (java) S 16963 16965 16159 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155944599 937709568 112667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16965/tid=16973] ppid=16963 vsize=915732 CPUtime=0
/proc/16965/task/16973/stat : 16973 (java) S 16963 16965 16159 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155944599 937709568 112667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 915732

[startup+1663.58 s]
/proc/loadavg: 2.06 2.02 1.98 3/100 17031
/proc/meminfo: memFree=941952/2055920 swapFree=4192812/4192956
[pid=16965] ppid=16963 vsize=915732 CPUtime=1661.8
/proc/16965/stat : 16965 (java) R 16963 16965 16159 0 -1 0 113057 0 1 0 166102 78 0 0 25 0 8 0 155944591 937709568 112667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074188448 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16965/statm: 228933 112667 2540 14 0 215403 0
[pid=16965/tid=16967] ppid=16963 vsize=915732 CPUtime=2.56
/proc/16965/task/16967/stat : 16967 (java) S 16963 16965 16159 0 -1 64 95782 0 0 0 218 38 0 0 16 0 8 0 155944595 937709568 112667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16965/tid=16968] ppid=16963 vsize=915732 CPUtime=0
/proc/16965/task/16968/stat : 16968 (java) S 16963 16965 16159 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155944595 937709568 112667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16965/tid=16969] ppid=16963 vsize=915732 CPUtime=0
/proc/16965/task/16969/stat : 16969 (java) S 16963 16965 16159 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155944595 937709568 112667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16965/tid=16970] ppid=16963 vsize=915732 CPUtime=0
/proc/16965/task/16970/stat : 16970 (java) S 16963 16965 16159 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155944599 937709568 112667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16965/tid=16971] ppid=16963 vsize=915732 CPUtime=0.43
/proc/16965/task/16971/stat : 16971 (java) S 16963 16965 16159 0 -1 64 588 0 0 0 41 2 0 0 15 0 8 0 155944599 937709568 112667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16965/tid=16972] ppid=16963 vsize=915732 CPUtime=0
/proc/16965/task/16972/stat : 16972 (java) S 16963 16965 16159 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155944599 937709568 112667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16965/tid=16973] ppid=16963 vsize=915732 CPUtime=0
/proc/16965/task/16973/stat : 16973 (java) S 16963 16965 16159 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155944599 937709568 112667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 915732

[startup+1723.64 s]
/proc/loadavg: 2.08 2.03 1.99 3/100 17031
/proc/meminfo: memFree=941952/2055920 swapFree=4192812/4192956
[pid=16965] ppid=16963 vsize=915732 CPUtime=1721.8
/proc/16965/stat : 16965 (java) R 16963 16965 16159 0 -1 0 113057 0 1 0 172102 78 0 0 25 0 8 0 155944591 937709568 112667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479193 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16965/statm: 228933 112667 2540 14 0 215403 0
[pid=16965/tid=16967] ppid=16963 vsize=915732 CPUtime=2.56
/proc/16965/task/16967/stat : 16967 (java) S 16963 16965 16159 0 -1 64 95782 0 0 0 218 38 0 0 16 0 8 0 155944595 937709568 112667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16965/tid=16968] ppid=16963 vsize=915732 CPUtime=0
/proc/16965/task/16968/stat : 16968 (java) S 16963 16965 16159 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155944595 937709568 112667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16965/tid=16969] ppid=16963 vsize=915732 CPUtime=0
/proc/16965/task/16969/stat : 16969 (java) S 16963 16965 16159 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155944595 937709568 112667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16965/tid=16970] ppid=16963 vsize=915732 CPUtime=0
/proc/16965/task/16970/stat : 16970 (java) S 16963 16965 16159 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155944599 937709568 112667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16965/tid=16971] ppid=16963 vsize=915732 CPUtime=0.43
/proc/16965/task/16971/stat : 16971 (java) S 16963 16965 16159 0 -1 64 588 0 0 0 41 2 0 0 15 0 8 0 155944599 937709568 112667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16965/tid=16972] ppid=16963 vsize=915732 CPUtime=0
/proc/16965/task/16972/stat : 16972 (java) S 16963 16965 16159 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155944599 937709568 112667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16965/tid=16973] ppid=16963 vsize=915732 CPUtime=0
/proc/16965/task/16973/stat : 16973 (java) S 16963 16965 16159 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155944599 937709568 112667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 915732

[startup+1783.68 s]
/proc/loadavg: 2.03 2.02 1.99 3/100 17031
/proc/meminfo: memFree=941952/2055920 swapFree=4192812/4192956
[pid=16965] ppid=16963 vsize=915732 CPUtime=1781.81
/proc/16965/stat : 16965 (java) R 16963 16965 16159 0 -1 0 113057 0 1 0 178102 79 0 0 25 0 8 0 155944591 937709568 112667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074173592 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16965/statm: 228933 112667 2540 14 0 215403 0
[pid=16965/tid=16967] ppid=16963 vsize=915732 CPUtime=2.56
/proc/16965/task/16967/stat : 16967 (java) S 16963 16965 16159 0 -1 64 95782 0 0 0 218 38 0 0 16 0 8 0 155944595 937709568 112667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16965/tid=16968] ppid=16963 vsize=915732 CPUtime=0
/proc/16965/task/16968/stat : 16968 (java) S 16963 16965 16159 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155944595 937709568 112667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16965/tid=16969] ppid=16963 vsize=915732 CPUtime=0
/proc/16965/task/16969/stat : 16969 (java) S 16963 16965 16159 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155944595 937709568 112667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16965/tid=16970] ppid=16963 vsize=915732 CPUtime=0
/proc/16965/task/16970/stat : 16970 (java) S 16963 16965 16159 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155944599 937709568 112667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16965/tid=16971] ppid=16963 vsize=915732 CPUtime=0.43
/proc/16965/task/16971/stat : 16971 (java) S 16963 16965 16159 0 -1 64 588 0 0 0 41 2 0 0 15 0 8 0 155944599 937709568 112667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16965/tid=16972] ppid=16963 vsize=915732 CPUtime=0
/proc/16965/task/16972/stat : 16972 (java) S 16963 16965 16159 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155944599 937709568 112667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16965/tid=16973] ppid=16963 vsize=915732 CPUtime=0
/proc/16965/task/16973/stat : 16973 (java) S 16963 16965 16159 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155944599 937709568 112667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 915732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.99 s]
/proc/loadavg: 2.02 2.02 1.99 3/100 17031
/proc/meminfo: memFree=941952/2055920 swapFree=4192812/4192956
[pid=16965] ppid=16963 vsize=915732 CPUtime=1800.09
/proc/16965/stat : 16965 (java) R 16963 16965 16159 0 -1 0 113057 0 1 0 179930 79 0 0 25 0 8 0 155944591 937709568 112667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074174598 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16965/statm: 228933 112667 2540 14 0 215403 0
[pid=16965/tid=16967] ppid=16963 vsize=915732 CPUtime=2.56
/proc/16965/task/16967/stat : 16967 (java) S 16963 16965 16159 0 -1 64 95782 0 0 0 218 38 0 0 16 0 8 0 155944595 937709568 112667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16965/tid=16968] ppid=16963 vsize=915732 CPUtime=0
/proc/16965/task/16968/stat : 16968 (java) S 16963 16965 16159 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155944595 937709568 112667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16965/tid=16969] ppid=16963 vsize=915732 CPUtime=0
/proc/16965/task/16969/stat : 16969 (java) S 16963 16965 16159 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155944595 937709568 112667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16965/tid=16970] ppid=16963 vsize=915732 CPUtime=0
/proc/16965/task/16970/stat : 16970 (java) S 16963 16965 16159 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155944599 937709568 112667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16965/tid=16971] ppid=16963 vsize=915732 CPUtime=0.43
/proc/16965/task/16971/stat : 16971 (java) S 16963 16965 16159 0 -1 64 588 0 0 0 41 2 0 0 15 0 8 0 155944599 937709568 112667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16965/tid=16972] ppid=16963 vsize=915732 CPUtime=0
/proc/16965/task/16972/stat : 16972 (java) S 16963 16965 16159 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155944599 937709568 112667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16965/tid=16973] ppid=16963 vsize=915732 CPUtime=0
/proc/16965/task/16973/stat : 16973 (java) S 16963 16965 16159 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155944599 937709568 112667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 915732

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

Child status: 143
Real time (s): 1802.08
CPU time (s): 1800.17
CPU user time (s): 1799.31
CPU system time (s): 0.859869
CPU usage (%): 99.8942
Max. virtual memory (cumulated for all children) (KiB): 915892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.31
system time used= 0.859869
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113072
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= 38550
involuntary context switches= 18590

runsolver used 2.59461 s user time and 5.39718 s system time

The end

Launcher Data (download as text)

Begin job on node29 on Sat Jan  6 09:25:05 UTC 2007


IDJOB= 211304
IDBENCH= 4684
FILE ID= node29/211304-1168075504

PBS_JOBID= 3475939

Free space on /tmp= 66532 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/ttp/circ-10-3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/211304-1168075504/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node29/watcher-211304-1168075504 -o ROOT/results/node29/solver-211304-1168075504 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/211304-1168075504/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  0e55a6b21f60962d919e77257912f16e

RANDOM SEED= 517660012

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.241
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.241
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:       1544080 kB
Buffers:         41768 kB
Cached:         212144 kB
SwapCached:          0 kB
Active:         245852 kB
Inactive:       188200 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1544080 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           10600 kB
Writeback:           0 kB
Mapped:         209176 kB
Slab:            62196 kB
Committed_AS:  3806544 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= 66535 MiB



End job on node29 on Sat Jan  6 09:55:07 UTC 2007