Trace number 210697

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 ESAC? (TO) 1800.14 1817.41

General information on the benchmark

NamepseudoSeries/uclid/
25s-smv.xml
MD5SUMf7a273ee733be68f959a2f3726847276
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 benchmark9.68753
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables5072
Number of constraints12828
Maximum constraint arity15
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension12828
Global constraints used (with number of constraints)

Solver Data (download as text)

0.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=esac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/210697-1168201599/unknown.xml
0.36	   
0.36	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.60	     nbVariables=5072  nbDomainTypes=3  minDomainSize=1  maxDomainSize=2
0.61	       =>  wckTime=0.299  cpuTime=0.2  mem=15M712
0.61	   
0.61	   predicates being loaded...
0.61	   
0.61	   constraints being loaded...
3.99	     nbConstraints=12012  nbMergedConstraints=816  nbSingletonDomainVariables=1077  nbConvertedConstraints=7726
3.99	     nbConvertConstraintsChecks=426095  nbExtensionStructures=9  nbSharedExtensionStructures=7717
3.99	     nbConflictsStructures=53  nbSharedConflictsStructures=11959  nbSharedBinaryRepresentations=21
3.99	     nbEvaluationManagers=44  nbSharedEvaluationManagers=4242  maxDegree=170  maxArity=15
3.99	       =>  wckTime=3.691  cpuTime=3.25  mem=63M826
4.12	   
4.12	   solver IterativeSystematicSolver being built... 
4.58	       =>  wckTime=4.272  cpuTime=3.6  mem=50M146
38.84	   
38.84	   preprocessing
38.84	     nbConstraintChecks=474442  nbValidityChecks=288406  nbPropagations=24614  nbRevisions=198565
38.84	     nbUselessRevisions=189202  nbSingletonTests=10346  nbEffectiveSingletonTests=1  nbESACBranches=7
38.84	     nbRemovedValues=19  detectedInconsistency=no
38.84	       =>  wckTime=34.254  cpuTime=33.87  mem=51M159
39.81	   
39.81	   search
39.81	     run=0  nbConstraintChecks=46871  nbValidityChecks=54206  nbPropagations=27141  nbRevisions=235816
39.81	     nbUselessRevisions=223919  nbAssignments=164  nbFailedAssignments=4  nbBacktracks=10  nbVisitedNodes=177
39.81	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
39.81	       =>  wckTime=35.224  cpuTime=34.81  mem=51M159
41.08	   
41.08	   search
41.08	     run=1  nbConstraintChecks=160191  nbValidityChecks=164061  nbPropagations=58430  nbRevisions=543274
41.08	     nbUselessRevisions=515394  nbAssignments=417  nbFailedAssignments=8  nbBacktracks=30  nbVisitedNodes=358
41.08	     nbRestartNogoods=2  mapSize=20  nbInferences=0  nbTooLargeKeys=0
41.08	       =>  wckTime=36.501  cpuTime=36.08  mem=51M159
42.92	   
42.92	   search
42.92	     run=2  nbConstraintChecks=402546  nbValidityChecks=272142  nbPropagations=94349  nbRevisions=923924
42.92	     nbUselessRevisions=875411  nbAssignments=672  nbFailedAssignments=13  nbBacktracks=73  nbVisitedNodes=565
42.92	     nbRestartNogoods=4  mapSize=40  nbInferences=0  nbTooLargeKeys=0
42.92	       =>  wckTime=38.34  cpuTime=37.9  mem=52M172
44.38	   
44.38	   search
44.38	     run=3  nbConstraintChecks=506699  nbValidityChecks=383189  nbPropagations=135322  nbRevisions=1379965
44.38	     nbUselessRevisions=1305790  nbAssignments=965  nbFailedAssignments=17  nbBacktracks=106  nbVisitedNodes=779
44.38	     nbRestartNogoods=6  mapSize=54  nbInferences=0  nbTooLargeKeys=0
44.38	       =>  wckTime=39.799  cpuTime=39.35  mem=52M172
46.40	   
46.40	   search
46.40	     run=4  nbConstraintChecks=687873  nbValidityChecks=528811  nbPropagations=181162  nbRevisions=1928716
46.40	     nbUselessRevisions=1823999  nbAssignments=1296  nbFailedAssignments=25  nbBacktracks=158  nbVisitedNodes=1048
46.40	     nbRestartNogoods=9  mapSize=75  nbInferences=0  nbTooLargeKeys=0
46.40	       =>  wckTime=41.815  cpuTime=41.33  mem=52M172
48.86	   
48.86	   search
48.86	     run=5  nbConstraintChecks=906904  nbValidityChecks=751686  nbPropagations=239496  nbRevisions=2639660
48.86	     nbUselessRevisions=2492037  nbAssignments=2037  nbFailedAssignments=38  nbBacktracks=240  nbVisitedNodes=1361
48.86	     nbRestartNogoods=14  mapSize=107  nbInferences=0  nbTooLargeKeys=0
48.86	       =>  wckTime=44.274  cpuTime=43.76  mem=52M172
52.24	   
52.24	   search
52.24	     run=6  nbConstraintChecks=1245641  nbValidityChecks=920928  nbPropagations=303449  nbRevisions=3457324
52.24	     nbUselessRevisions=3261111  nbAssignments=2496  nbFailedAssignments=60  nbBacktracks=354  nbVisitedNodes=1788
52.24	     nbRestartNogoods=18  mapSize=149  nbInferences=0  nbTooLargeKeys=0
52.24	       =>  wckTime=47.657  cpuTime=47.1  mem=53M185
76.64	   
76.64	   search
76.64	     run=7  nbConstraintChecks=1619187  nbValidityChecks=1281826  nbPropagations=381650  nbRevisions=4511498
76.64	     nbUselessRevisions=4252924  nbAssignments=5517  nbFailedAssignments=84  nbBacktracks=944  nbVisitedNodes=4293
76.64	     nbRestartNogoods=23  mapSize=170  nbInferences=8  nbTooLargeKeys=0
76.64	       =>  wckTime=72.059  cpuTime=71.29  mem=54M198
103.06	   
103.06	   search
103.06	     run=8  nbConstraintChecks=2784485  nbValidityChecks=2714475  nbPropagations=524579  nbRevisions=6561504
103.06	     nbUselessRevisions=6178353  nbAssignments=11833  nbFailedAssignments=93  nbBacktracks=1285  nbVisitedNodes=6502
103.06	     nbRestartNogoods=40  mapSize=173  nbInferences=9  nbTooLargeKeys=0
103.06	       =>  wckTime=98.478  cpuTime=97.45  mem=55M211
127.94	   
127.95	   search
127.95	     run=9  nbConstraintChecks=3580988  nbValidityChecks=3659556  nbPropagations=707804  nbRevisions=9267291
127.95	     nbUselessRevisions=8721139  nbAssignments=16957  nbFailedAssignments=97  nbBacktracks=1743  nbVisitedNodes=8734
127.95	     nbRestartNogoods=49  mapSize=181  nbInferences=12  nbTooLargeKeys=0
127.95	       =>  wckTime=123.364  cpuTime=122.09  mem=56M224
148.81	   
148.81	   search
148.81	     run=10  nbConstraintChecks=3864845  nbValidityChecks=3904338  nbPropagations=900452  nbRevisions=12132133
148.81	     nbUselessRevisions=11413987  nbAssignments=19454  nbFailedAssignments=102  nbBacktracks=2412  nbVisitedNodes=10860
148.81	     nbRestartNogoods=51  mapSize=190  nbInferences=14  nbTooLargeKeys=0
148.81	       =>  wckTime=144.224  cpuTime=142.76  mem=57M237
169.16	   
169.16	   search
169.16	     run=11  nbConstraintChecks=3967202  nbValidityChecks=4011248  nbPropagations=1097079  nbRevisions=15065329
169.16	     nbUselessRevisions=14171432  nbAssignments=21574  nbFailedAssignments=109  nbBacktracks=4040  nbVisitedNodes=12996
169.16	     nbRestartNogoods=53  mapSize=202  nbInferences=18  nbTooLargeKeys=0
169.16	       =>  wckTime=164.576  cpuTime=162.91  mem=58M250
191.09	   
191.09	   search
191.09	     run=12  nbConstraintChecks=4401498  nbValidityChecks=4401667  nbPropagations=1310457  nbRevisions=18272881
191.09	     nbUselessRevisions=17187365  nbAssignments=24921  nbFailedAssignments=113  nbBacktracks=5663  nbVisitedNodes=15118
191.09	     nbRestartNogoods=57  mapSize=212  nbInferences=21  nbTooLargeKeys=0
191.09	       =>  wckTime=186.513  cpuTime=184.65  mem=59M263
219.10	   
219.10	   search
219.10	     run=13  nbConstraintChecks=4549910  nbValidityChecks=4568518  nbPropagations=1529716  nbRevisions=21589660
219.10	     nbUselessRevisions=20307722  nbAssignments=27762  nbFailedAssignments=118  nbBacktracks=7613  nbVisitedNodes=18415
219.10	     nbRestartNogoods=58  mapSize=667  nbInferences=469  nbTooLargeKeys=0
219.10	       =>  wckTime=214.517  cpuTime=212.39  mem=60M276
268.81	   
268.81	   search
268.81	     run=14  nbConstraintChecks=4813287  nbValidityChecks=4924383  nbPropagations=1760042  nbRevisions=25139358
268.81	     nbUselessRevisions=23653405  nbAssignments=32766  nbFailedAssignments=122  nbBacktracks=10533  nbVisitedNodes=25073
268.81	     nbRestartNogoods=59  mapSize=2316  nbInferences=2117  nbTooLargeKeys=0
268.81	       =>  wckTime=264.23  cpuTime=261.64  mem=63M315
347.85	   
347.85	   search
347.85	     run=15  nbConstraintChecks=5217098  nbValidityChecks=5524100  nbPropagations=2007032  nbRevisions=29075169
347.85	     nbUselessRevisions=27375047  nbAssignments=40730  nbFailedAssignments=122  nbBacktracks=14916  nbVisitedNodes=36192
347.85	     nbRestartNogoods=64  mapSize=5467  nbInferences=5272  nbTooLargeKeys=0
347.85	       =>  wckTime=343.273  cpuTime=339.91  mem=68M380
464.48	   
464.48	   search
464.48	     run=16  nbConstraintChecks=5750032  nbValidityChecks=6372104  nbPropagations=2276603  nbRevisions=33553537
464.48	     nbUselessRevisions=31626352  nbAssignments=52470  nbFailedAssignments=122  nbBacktracks=21486  nbVisitedNodes=52676
464.48	     nbRestartNogoods=68  mapSize=10204  nbInferences=10016  nbTooLargeKeys=0
464.48	       =>  wckTime=459.903  cpuTime=455.46  mem=75M471
637.73	   
637.73	   search
637.73	     run=17  nbConstraintChecks=6499595  nbValidityChecks=7601153  nbPropagations=2578577  nbRevisions=38817969
637.73	     nbUselessRevisions=36645671  nbAssignments=69833  nbFailedAssignments=123  nbBacktracks=31338  nbVisitedNodes=77116
637.73	     nbRestartNogoods=75  mapSize=17272  nbInferences=17092  nbTooLargeKeys=0
637.73	       =>  wckTime=633.147  cpuTime=627.02  mem=49M84
896.24	   
896.24	   search
896.24	     run=18  nbConstraintChecks=7578375  nbValidityChecks=9391536  nbPropagations=2927589  nbRevisions=45228679
896.24	     nbUselessRevisions=42785609  nbAssignments=95635  nbFailedAssignments=125  nbBacktracks=46123
896.24	     nbVisitedNodes=113508  nbRestartNogoods=84  mapSize=27857  nbInferences=27680  nbTooLargeKeys=0
896.24	       =>  wckTime=891.655  cpuTime=883.02  mem=66M305
1303.46	   
1303.46	   search
1303.46	     run=19  nbConstraintChecks=10436703  nbValidityChecks=12180387  nbPropagations=3355273  nbRevisions=53595917
1303.46	     nbUselessRevisions=50838677  nbAssignments=135774  nbFailedAssignments=126  nbBacktracks=68296
1303.46	     nbVisitedNodes=171184  nbRestartNogoods=89  mapSize=45388  nbInferences=45216  nbTooLargeKeys=0
1303.46	       =>  wckTime=1298.876  cpuTime=1286.26  mem=64M329

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/node44/watcher-210697-1168201599 -o ROOT/results/node44/solver-210697-1168201599 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210697-1168201599/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: 2.00 1.99 1.82 2/68 15880
/proc/meminfo: memFree=1507872/2055920 swapFree=4191892/4192956
[pid=15879] ppid=15877 vsize=1452 CPUtime=0
/proc/15879/stat : 15879 (java) R 15877 15879 15154 0 -1 0 108 0 0 0 0 0 0 0 19 0 1 0 168559028 1486848 80 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 134517472 0 0 4096 0 0 0 0 17 1 0 0
/proc/15879/statm: 365 93 73 14 0 10 0

[startup+0.102974 s]
/proc/loadavg: 2.00 1.99 1.82 2/68 15880
/proc/meminfo: memFree=1507872/2055920 swapFree=4191892/4192956
[pid=15879] ppid=15877 vsize=914988 CPUtime=0.08
/proc/15879/stat : 15879 (java) S 15877 15879 15154 0 -1 0 2998 0 1 0 7 1 0 0 17 0 8 0 168559028 936947712 2744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15879/statm: 228747 2744 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.511018 s]
/proc/loadavg: 2.00 1.99 1.82 2/68 15880
/proc/meminfo: memFree=1507872/2055920 swapFree=4191892/4192956
[pid=15879] ppid=15877 vsize=915328 CPUtime=0.5
/proc/15879/stat : 15879 (java) S 15877 15879 15154 0 -1 0 6682 0 1 0 45 5 0 0 16 0 8 0 168559028 937295872 6421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15879/statm: 228832 6421 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.3331 s]
/proc/loadavg: 2.16 2.03 1.83 3/88 15946
/proc/meminfo: memFree=1433536/2055920 swapFree=4191892/4192956
[pid=15879] ppid=15877 vsize=915644 CPUtime=1.31
/proc/15879/stat : 15879 (java) R 15877 15879 15154 0 -1 0 19398 0 1 0 119 12 0 0 22 0 8 0 168559028 937619456 19135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15879/statm: 228911 19135 2178 14 0 215381 0
[pid=15879/tid=15881] ppid=15877 vsize=915644 CPUtime=0.08
/proc/15879/task/15881/stat : 15881 (java) S 15877 15879 15154 0 -1 64 2795 0 0 0 8 0 0 0 16 0 8 0 168559032 937619456 19135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15882] ppid=15877 vsize=915644 CPUtime=0
/proc/15879/task/15882/stat : 15882 (java) S 15877 15879 15154 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168559033 937619456 19135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15883] ppid=15877 vsize=915644 CPUtime=0
/proc/15879/task/15883/stat : 15883 (java) S 15877 15879 15154 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168559033 937619456 19135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15884] ppid=15877 vsize=915644 CPUtime=0
/proc/15879/task/15884/stat : 15884 (java) S 15877 15879 15154 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168559036 937619456 19135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15885] ppid=15877 vsize=915644 CPUtime=0.17
/proc/15879/task/15885/stat : 15885 (java) R 15877 15879 15154 0 -1 64 410 0 0 0 16 1 0 0 16 0 8 0 168559036 937619456 19135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152956497 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15886] ppid=15877 vsize=915644 CPUtime=0
/proc/15879/task/15886/stat : 15886 (java) S 15877 15879 15154 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168559036 937619456 19135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15887] ppid=15877 vsize=915644 CPUtime=0
/proc/15879/task/15887/stat : 15887 (java) S 15877 15879 15154 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168559036 937619456 19135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915644

[startup+2.98227 s]
/proc/loadavg: 2.16 2.03 1.83 3/88 15946
/proc/meminfo: memFree=1421888/2055920 swapFree=4191892/4192956
[pid=15879] ppid=15877 vsize=915644 CPUtime=2.94
/proc/15879/stat : 15879 (java) R 15877 15879 15154 0 -1 0 19721 0 1 0 239 55 0 0 25 0 8 0 168559028 937619456 19457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073892791 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15879/statm: 228911 19457 2178 14 0 215381 0
[pid=15879/tid=15881] ppid=15877 vsize=915644 CPUtime=0.14
/proc/15879/task/15881/stat : 15881 (java) S 15877 15879 15154 0 -1 64 3094 0 0 0 13 1 0 0 17 0 8 0 168559032 937619456 19457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15882] ppid=15877 vsize=915644 CPUtime=0
/proc/15879/task/15882/stat : 15882 (java) S 15877 15879 15154 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168559033 937619456 19457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15883] ppid=15877 vsize=915644 CPUtime=0
/proc/15879/task/15883/stat : 15883 (java) S 15877 15879 15154 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168559033 937619456 19457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15884] ppid=15877 vsize=915644 CPUtime=0
/proc/15879/task/15884/stat : 15884 (java) S 15877 15879 15154 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168559036 937619456 19457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15885] ppid=15877 vsize=915644 CPUtime=0.21
/proc/15879/task/15885/stat : 15885 (java) S 15877 15879 15154 0 -1 64 433 0 0 0 20 1 0 0 15 0 8 0 168559036 937619456 19457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15886] ppid=15877 vsize=915644 CPUtime=0
/proc/15879/task/15886/stat : 15886 (java) S 15877 15879 15154 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168559036 937619456 19457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15887] ppid=15877 vsize=915644 CPUtime=0
/proc/15879/task/15887/stat : 15887 (java) S 15877 15879 15154 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168559036 937619456 19457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915644

[startup+6.26161 s]
/proc/loadavg: 2.16 2.03 1.83 3/88 15946
/proc/meminfo: memFree=1386752/2055920 swapFree=4191892/4192956
[pid=15879] ppid=15877 vsize=915744 CPUtime=6.19
/proc/15879/stat : 15879 (java) R 15877 15879 15154 0 -1 0 26362 0 1 0 559 60 0 0 25 0 8 0 168559028 937721856 26093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074204985 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15879/statm: 228936 26093 2539 14 0 215406 0
[pid=15879/tid=15881] ppid=15877 vsize=915744 CPUtime=0.35
/proc/15879/task/15881/stat : 15881 (java) S 15877 15879 15154 0 -1 64 9224 0 0 0 32 3 0 0 17 0 8 0 168559032 937721856 26093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15882] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15882/stat : 15882 (java) S 15877 15879 15154 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168559033 937721856 26093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15883] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15883/stat : 15883 (java) S 15877 15879 15154 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168559033 937721856 26093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15884] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15884/stat : 15884 (java) S 15877 15879 15154 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168559036 937721856 26093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15885] ppid=15877 vsize=915744 CPUtime=0.34
/proc/15879/task/15885/stat : 15885 (java) S 15877 15879 15154 0 -1 64 512 0 0 0 32 2 0 0 16 0 8 0 168559036 937721856 26093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15886] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15886/stat : 15886 (java) S 15877 15879 15154 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168559036 937721856 26093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15887] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15887/stat : 15887 (java) S 15877 15879 15154 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168559036 937721856 26093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915744

[startup+12.7543 s]
/proc/loadavg: 2.13 2.03 1.84 3/88 15946
/proc/meminfo: memFree=1375432/2055920 swapFree=4191892/4192956
[pid=15879] ppid=15877 vsize=915744 CPUtime=12.63
/proc/15879/stat : 15879 (java) R 15877 15879 15154 0 -1 0 26370 0 1 0 1203 60 0 0 25 0 8 0 168559028 937721856 26099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074204968 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15879/statm: 228936 26099 2539 14 0 215406 0
[pid=15879/tid=15881] ppid=15877 vsize=915744 CPUtime=0.35
/proc/15879/task/15881/stat : 15881 (java) S 15877 15879 15154 0 -1 64 9224 0 0 0 32 3 0 0 16 0 8 0 168559032 937721856 26099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15882] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15882/stat : 15882 (java) S 15877 15879 15154 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168559033 937721856 26099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15883] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15883/stat : 15883 (java) S 15877 15879 15154 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168559033 937721856 26099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15884] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15884/stat : 15884 (java) S 15877 15879 15154 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168559036 937721856 26099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15885] ppid=15877 vsize=915744 CPUtime=0.35
/proc/15879/task/15885/stat : 15885 (java) S 15877 15879 15154 0 -1 64 518 0 0 0 33 2 0 0 15 0 8 0 168559036 937721856 26099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15886] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15886/stat : 15886 (java) S 15877 15879 15154 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168559036 937721856 26099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15887] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15887/stat : 15887 (java) S 15877 15879 15154 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168559036 937721856 26099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915744

[startup+25.6046 s]
/proc/loadavg: 2.11 2.03 1.84 3/88 15946
/proc/meminfo: memFree=1362504/2055920 swapFree=4191892/4192956
[pid=15879] ppid=15877 vsize=915744 CPUtime=25.36
/proc/15879/stat : 15879 (java) R 15877 15879 15154 0 -1 0 26371 0 1 0 2476 60 0 0 25 0 8 0 168559028 937721856 26099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073939968 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15879/statm: 228936 26099 2539 14 0 215406 0
[pid=15879/tid=15881] ppid=15877 vsize=915744 CPUtime=0.35
/proc/15879/task/15881/stat : 15881 (java) S 15877 15879 15154 0 -1 64 9224 0 0 0 32 3 0 0 16 0 8 0 168559032 937721856 26099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15882] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15882/stat : 15882 (java) S 15877 15879 15154 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168559033 937721856 26099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15883] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15883/stat : 15883 (java) S 15877 15879 15154 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168559033 937721856 26099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15884] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15884/stat : 15884 (java) S 15877 15879 15154 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168559036 937721856 26099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15885] ppid=15877 vsize=915744 CPUtime=0.35
/proc/15879/task/15885/stat : 15885 (java) S 15877 15879 15154 0 -1 64 519 0 0 0 33 2 0 0 16 0 8 0 168559036 937721856 26099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15886] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15886/stat : 15886 (java) S 15877 15879 15154 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168559036 937721856 26099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15887] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15887/stat : 15887 (java) S 15877 15879 15154 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168559036 937721856 26099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915744

[startup+51.2212 s]
/proc/loadavg: 2.07 2.02 1.84 3/88 15946
/proc/meminfo: memFree=1324232/2055920 swapFree=4191892/4192956
[pid=15879] ppid=15877 vsize=915744 CPUtime=50.71
/proc/15879/stat : 15879 (java) R 15877 15879 15154 0 -1 0 26395 0 1 0 5010 61 0 0 25 0 8 0 168559028 937721856 26116 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074151898 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15879/statm: 228936 26116 2540 14 0 215406 0
[pid=15879/tid=15881] ppid=15877 vsize=915744 CPUtime=0.35
/proc/15879/task/15881/stat : 15881 (java) S 15877 15879 15154 0 -1 64 9224 0 0 0 32 3 0 0 16 0 8 0 168559032 937721856 26116 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15882] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15882/stat : 15882 (java) S 15877 15879 15154 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168559033 937721856 26116 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15883] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15883/stat : 15883 (java) S 15877 15879 15154 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168559033 937721856 26116 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15884] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15884/stat : 15884 (java) S 15877 15879 15154 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168559036 937721856 26116 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15885] ppid=15877 vsize=915744 CPUtime=0.38
/proc/15879/task/15885/stat : 15885 (java) S 15877 15879 15154 0 -1 64 534 0 0 0 36 2 0 0 16 0 8 0 168559036 937721856 26116 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15886] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15886/stat : 15886 (java) S 15877 15879 15154 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168559036 937721856 26116 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15887] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15887/stat : 15887 (java) S 15877 15879 15154 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168559036 937721856 26116 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 915744

[startup+102.451 s]
/proc/loadavg: 2.07 2.03 1.85 3/88 15946
/proc/meminfo: memFree=1307272/2055920 swapFree=4191892/4192956
[pid=15879] ppid=15877 vsize=915744 CPUtime=101.46
/proc/15879/stat : 15879 (java) R 15877 15879 15154 0 -1 0 26401 0 1 0 10084 62 0 0 25 0 8 0 168559028 937721856 26120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074158176 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15879/statm: 228936 26120 2540 14 0 215406 0
[pid=15879/tid=15881] ppid=15877 vsize=915744 CPUtime=0.35
/proc/15879/task/15881/stat : 15881 (java) S 15877 15879 15154 0 -1 64 9224 0 0 0 32 3 0 0 16 0 8 0 168559032 937721856 26120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15882] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15882/stat : 15882 (java) S 15877 15879 15154 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168559033 937721856 26120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15883] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15883/stat : 15883 (java) S 15877 15879 15154 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168559033 937721856 26120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15884] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15884/stat : 15884 (java) S 15877 15879 15154 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168559036 937721856 26120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15885] ppid=15877 vsize=915744 CPUtime=0.39
/proc/15879/task/15885/stat : 15885 (java) S 15877 15879 15154 0 -1 64 539 0 0 0 37 2 0 0 16 0 8 0 168559036 937721856 26120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15886] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15886/stat : 15886 (java) S 15877 15879 15154 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168559036 937721856 26120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15887] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15887/stat : 15887 (java) S 15877 15879 15154 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168559036 937721856 26120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.46
Current children cumulated vsize (KiB) 915744

[startup+162.527 s]
/proc/loadavg: 2.16 2.05 1.87 3/88 15946
/proc/meminfo: memFree=1307208/2055920 swapFree=4191892/4192956
[pid=15879] ppid=15877 vsize=915744 CPUtime=160.98
/proc/15879/stat : 15879 (java) R 15877 15879 15154 0 -1 0 26409 0 1 0 16036 62 0 0 25 0 8 0 168559028 937721856 26125 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074151898 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 1410.71
Current children cumulated vsize (KiB) 915744

[startup+1484.22 s]
/proc/loadavg: 2.00 2.00 1.92 3/88 15946
/proc/meminfo: memFree=1273672/2055920 swapFree=4191892/4192956
[pid=15879] ppid=15877 vsize=915744 CPUtime=1470.15
/proc/15879/stat : 15879 (java) R 15877 15879 15154 0 -1 0 34210 0 1 0 146941 74 0 0 25 0 8 0 168559028 937721856 33923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073480159 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15879/statm: 228936 33923 2540 14 0 215406 0
[pid=15879/tid=15881] ppid=15877 vsize=915744 CPUtime=0.5
/proc/15879/task/15881/stat : 15881 (java) S 15877 15879 15154 0 -1 64 17021 0 0 0 44 6 0 0 16 0 8 0 168559032 937721856 33923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15882] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15882/stat : 15882 (java) S 15877 15879 15154 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168559033 937721856 33923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15883] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15883/stat : 15883 (java) S 15877 15879 15154 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168559033 937721856 33923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15884] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15884/stat : 15884 (java) S 15877 15879 15154 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168559036 937721856 33923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15885] ppid=15877 vsize=915744 CPUtime=0.4
/proc/15879/task/15885/stat : 15885 (java) S 15877 15879 15154 0 -1 64 545 0 0 0 38 2 0 0 16 0 8 0 168559036 937721856 33923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15886] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15886/stat : 15886 (java) S 15877 15879 15154 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168559036 937721856 33923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15887] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15887/stat : 15887 (java) S 15877 15879 15154 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168559036 937721856 33923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1470.15
Current children cumulated vsize (KiB) 915744

[startup+1544.23 s]
/proc/loadavg: 2.00 2.00 1.92 3/88 15946
/proc/meminfo: memFree=1273608/2055920 swapFree=4191892/4192956
[pid=15879] ppid=15877 vsize=915744 CPUtime=1529.63
/proc/15879/stat : 15879 (java) R 15877 15879 15154 0 -1 0 34210 0 1 0 152888 75 0 0 25 0 8 0 168559028 937721856 33923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074256803 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15879/statm: 228936 33923 2540 14 0 215406 0
[pid=15879/tid=15881] ppid=15877 vsize=915744 CPUtime=0.5
/proc/15879/task/15881/stat : 15881 (java) S 15877 15879 15154 0 -1 64 17021 0 0 0 44 6 0 0 16 0 8 0 168559032 937721856 33923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15882] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15882/stat : 15882 (java) S 15877 15879 15154 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168559033 937721856 33923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15883] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15883/stat : 15883 (java) S 15877 15879 15154 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168559033 937721856 33923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15884] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15884/stat : 15884 (java) S 15877 15879 15154 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168559036 937721856 33923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15885] ppid=15877 vsize=915744 CPUtime=0.4
/proc/15879/task/15885/stat : 15885 (java) S 15877 15879 15154 0 -1 64 545 0 0 0 38 2 0 0 16 0 8 0 168559036 937721856 33923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15886] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15886/stat : 15886 (java) S 15877 15879 15154 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168559036 937721856 33923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15887] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15887/stat : 15887 (java) S 15877 15879 15154 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168559036 937721856 33923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1529.63
Current children cumulated vsize (KiB) 915744

[startup+1604.31 s]
/proc/loadavg: 2.00 2.00 1.92 3/88 15946
/proc/meminfo: memFree=1273544/2055920 swapFree=4191892/4192956
[pid=15879] ppid=15877 vsize=915744 CPUtime=1589.17
/proc/15879/stat : 15879 (java) R 15877 15879 15154 0 -1 0 34210 0 1 0 158842 75 0 0 25 0 8 0 168559028 937721856 33923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074151991 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15879/statm: 228936 33923 2540 14 0 215406 0
[pid=15879/tid=15881] ppid=15877 vsize=915744 CPUtime=0.5
/proc/15879/task/15881/stat : 15881 (java) S 15877 15879 15154 0 -1 64 17021 0 0 0 44 6 0 0 16 0 8 0 168559032 937721856 33923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15882] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15882/stat : 15882 (java) S 15877 15879 15154 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168559033 937721856 33923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15883] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15883/stat : 15883 (java) S 15877 15879 15154 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168559033 937721856 33923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15884] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15884/stat : 15884 (java) S 15877 15879 15154 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168559036 937721856 33923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15885] ppid=15877 vsize=915744 CPUtime=0.4
/proc/15879/task/15885/stat : 15885 (java) S 15877 15879 15154 0 -1 64 545 0 0 0 38 2 0 0 16 0 8 0 168559036 937721856 33923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15886] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15886/stat : 15886 (java) S 15877 15879 15154 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168559036 937721856 33923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15887] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15887/stat : 15887 (java) S 15877 15879 15154 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168559036 937721856 33923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1589.17
Current children cumulated vsize (KiB) 915744

[startup+1664.39 s]
/proc/loadavg: 2.00 2.00 1.92 3/88 15946
/proc/meminfo: memFree=1273544/2055920 swapFree=4191892/4192956
[pid=15879] ppid=15877 vsize=915744 CPUtime=1648.65
/proc/15879/stat : 15879 (java) R 15877 15879 15154 0 -1 0 34210 0 1 0 164790 75 0 0 25 0 8 0 168559028 937721856 33923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074199344 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15879/statm: 228936 33923 2540 14 0 215406 0
[pid=15879/tid=15881] ppid=15877 vsize=915744 CPUtime=0.5
/proc/15879/task/15881/stat : 15881 (java) S 15877 15879 15154 0 -1 64 17021 0 0 0 44 6 0 0 16 0 8 0 168559032 937721856 33923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15882] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15882/stat : 15882 (java) S 15877 15879 15154 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168559033 937721856 33923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15883] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15883/stat : 15883 (java) S 15877 15879 15154 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168559033 937721856 33923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15884] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15884/stat : 15884 (java) S 15877 15879 15154 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168559036 937721856 33923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15885] ppid=15877 vsize=915744 CPUtime=0.4
/proc/15879/task/15885/stat : 15885 (java) S 15877 15879 15154 0 -1 64 545 0 0 0 38 2 0 0 16 0 8 0 168559036 937721856 33923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15886] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15886/stat : 15886 (java) S 15877 15879 15154 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168559036 937721856 33923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15887] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15887/stat : 15887 (java) S 15877 15879 15154 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168559036 937721856 33923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1648.65
Current children cumulated vsize (KiB) 915744

[startup+1724.47 s]
/proc/loadavg: 2.04 2.01 1.93 3/88 15946
/proc/meminfo: memFree=1273480/2055920 swapFree=4191892/4192956
[pid=15879] ppid=15877 vsize=915744 CPUtime=1708.16
/proc/15879/stat : 15879 (java) R 15877 15879 15154 0 -1 0 34210 0 1 0 170741 75 0 0 25 0 8 0 168559028 937721856 33923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074151934 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15879/statm: 228936 33923 2540 14 0 215406 0
[pid=15879/tid=15881] ppid=15877 vsize=915744 CPUtime=0.5
/proc/15879/task/15881/stat : 15881 (java) S 15877 15879 15154 0 -1 64 17021 0 0 0 44 6 0 0 16 0 8 0 168559032 937721856 33923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15882] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15882/stat : 15882 (java) S 15877 15879 15154 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168559033 937721856 33923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15883] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15883/stat : 15883 (java) S 15877 15879 15154 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168559033 937721856 33923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15884] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15884/stat : 15884 (java) S 15877 15879 15154 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168559036 937721856 33923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15885] ppid=15877 vsize=915744 CPUtime=0.4
/proc/15879/task/15885/stat : 15885 (java) S 15877 15879 15154 0 -1 64 545 0 0 0 38 2 0 0 16 0 8 0 168559036 937721856 33923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15886] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15886/stat : 15886 (java) S 15877 15879 15154 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168559036 937721856 33923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15887] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15887/stat : 15887 (java) S 15877 15879 15154 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168559036 937721856 33923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1708.16
Current children cumulated vsize (KiB) 915744

[startup+1784.57 s]
/proc/loadavg: 2.01 2.01 1.93 3/88 15946
/proc/meminfo: memFree=1273480/2055920 swapFree=4191892/4192956
[pid=15879] ppid=15877 vsize=915744 CPUtime=1767.73
/proc/15879/stat : 15879 (java) R 15877 15879 15154 0 -1 0 34210 0 1 0 176697 76 0 0 25 0 8 0 168559028 937721856 33923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074255918 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15879/statm: 228936 33923 2540 14 0 215406 0
[pid=15879/tid=15881] ppid=15877 vsize=915744 CPUtime=0.5
/proc/15879/task/15881/stat : 15881 (java) S 15877 15879 15154 0 -1 64 17021 0 0 0 44 6 0 0 16 0 8 0 168559032 937721856 33923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15882] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15882/stat : 15882 (java) S 15877 15879 15154 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168559033 937721856 33923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15883] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15883/stat : 15883 (java) S 15877 15879 15154 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168559033 937721856 33923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15884] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15884/stat : 15884 (java) S 15877 15879 15154 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168559036 937721856 33923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15885] ppid=15877 vsize=915744 CPUtime=0.4
/proc/15879/task/15885/stat : 15885 (java) S 15877 15879 15154 0 -1 64 545 0 0 0 38 2 0 0 16 0 8 0 168559036 937721856 33923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15886] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15886/stat : 15886 (java) S 15877 15879 15154 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168559036 937721856 33923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15887] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15887/stat : 15887 (java) S 15877 15879 15154 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168559036 937721856 33923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1767.73
Current children cumulated vsize (KiB) 915744



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1817.33 s]
/proc/loadavg: 2.06 2.02 1.93 5/91 16000
/proc/meminfo: memFree=1240056/2055920 swapFree=4191892/4192956
[pid=15879] ppid=15877 vsize=915744 CPUtime=1800.04
/proc/15879/stat : 15879 (java) R 15877 15879 15154 0 -1 0 34210 0 1 0 179921 83 0 0 25 0 8 0 168559028 937721856 33923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074141977 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15879/statm: 228936 33923 2540 14 0 215406 0
[pid=15879/tid=15881] ppid=15877 vsize=915744 CPUtime=0.5
/proc/15879/task/15881/stat : 15881 (java) S 15877 15879 15154 0 -1 64 17021 0 0 0 44 6 0 0 16 0 8 0 168559032 937721856 33923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15882] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15882/stat : 15882 (java) S 15877 15879 15154 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168559033 937721856 33923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15883] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15883/stat : 15883 (java) S 15877 15879 15154 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168559033 937721856 33923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15884] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15884/stat : 15884 (java) S 15877 15879 15154 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168559036 937721856 33923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15885] ppid=15877 vsize=915744 CPUtime=0.4
/proc/15879/task/15885/stat : 15885 (java) S 15877 15879 15154 0 -1 64 545 0 0 0 38 2 0 0 16 0 8 0 168559036 937721856 33923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15886] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15886/stat : 15886 (java) S 15877 15879 15154 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168559036 937721856 33923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15879/tid=15887] ppid=15877 vsize=915744 CPUtime=0
/proc/15879/task/15887/stat : 15887 (java) S 15877 15879 15154 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168559036 937721856 33923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 915744

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

Child status: 143
Real time (s): 1817.41
CPU time (s): 1800.14
CPU user time (s): 1799.27
CPU system time (s): 0.862868
CPU usage (%): 99.0495
Max. virtual memory (cumulated for all children) (KiB): 915788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.27
system time used= 0.862868
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34226
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= 38540
involuntary context switches= 85447

runsolver used 2.26965 s user time and 5.47517 s system time

The end

Launcher Data (download as text)

Begin job on node44 on Sun Jan  7 20:26:40 UTC 2007


IDJOB= 210697
IDBENCH= 4639
FILE ID= node44/210697-1168201599

PBS_JOBID= 3480737

Free space on /tmp= 66542 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  f7a273ee733be68f959a2f3726847276

RANDOM SEED= 859344674

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.213
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.213
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:       1508352 kB
Buffers:         43368 kB
Cached:         418908 kB
SwapCached:        396 kB
Active:         187904 kB
Inactive:       294204 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1508352 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:            3680 kB
Writeback:           0 kB
Mapped:          28592 kB
Slab:            51140 kB
Committed_AS:  3395628 kB
PageTables:       1596 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= 66531 MiB



End job on node44 on Sun Jan  7 20:56:57 UTC 2007