Trace number 216254

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.15 1803.98

General information on the benchmark

NamepseudoSeries/ppp/
ppp-1-3-13-19.xml
MD5SUMae758250d0e2faa1c8e5e6e4d17f9606
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 benchmark225.74
SatisfiableYES
(Un)Satisfiability was proved
Number of variables4608
Number of constraints30522
Maximum constraint arity29
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension30522
Global constraints used (with number of constraints)

Solver Data (download as text)

0.40	   
0.40	Abscon 109 (November, 2006)
0.40	   
0.40	   configuration
0.40	     name=mac.xml
0.44	   
0.44	   instance
0.44	     name=/tmp/evaluation/216254-1168078948/unknown.xml
0.47	   
0.47	   domains being loaded...
0.47	   
0.47	   variables being loaded...
0.68	     nbVariables=4608  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.68	       =>  wckTime=0.276  cpuTime=0.2  mem=13M728
0.68	   
0.68	   predicates being loaded...
0.70	   
0.70	   constraints being loaded...
4.95	     nbConstraints=30348  nbMergedConstraints=174  nbConflictsStructures=4  nbSharedConflictsStructures=30266
4.96	     nbUnbuiltConflictsStructures=5  nbSharedBinaryRepresentations=0  nbEvaluationManagers=9
4.96	     nbSharedEvaluationManagers=30339  maxDegree=31  maxArity=29
4.96	       =>  wckTime=4.549  cpuTime=3.89  mem=78M248
5.27	   
5.27	   solver IterativeSystematicSolver being built... 
6.24	       =>  wckTime=5.837  cpuTime=4.58  mem=67M161
6.35	   
6.35	   preprocessing
6.35	     nbConstraintChecks=0  nbPropagations=4608  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
6.35	     detectedInconsistency=no
6.35	       =>  wckTime=0.095  cpuTime=0.08  mem=69M200
8.90	   
8.90	   search
8.90	     run=0  nbConstraintChecks=20043  nbValidityChecks=38214  nbPropagations=5801  nbRevisions=36399
8.90	     nbUselessRevisions=36330  nbAssignments=1141  nbFailedAssignments=2  nbBacktracks=12  nbVisitedNodes=1146
8.90	     nbRestartNogoods=0  mapSize=3  nbInferences=0  nbTooLargeKeys=0
8.90	       =>  wckTime=2.652  cpuTime=2.57  mem=72M258
10.99	   
10.99	   search
10.99	     run=1  nbConstraintChecks=20960  nbValidityChecks=83866  nbPropagations=12567  nbRevisions=101604
10.99	     nbUselessRevisions=101363  nbAssignments=2026  nbFailedAssignments=5  nbBacktracks=40  nbVisitedNodes=2037
10.99	     nbRestartNogoods=1  mapSize=8  nbInferences=0  nbTooLargeKeys=0
10.99	       =>  wckTime=4.74  cpuTime=4.61  mem=73M277
12.47	   
12.47	   search
12.47	     run=2  nbConstraintChecks=22811  nbValidityChecks=116298  nbPropagations=20036  nbRevisions=187107
12.47	     nbUselessRevisions=186585  nbAssignments=2643  nbFailedAssignments=8  nbBacktracks=72  nbVisitedNodes=2660
12.47	     nbRestartNogoods=2  mapSize=13  nbInferences=0  nbTooLargeKeys=0
12.47	       =>  wckTime=6.226  cpuTime=6.08  mem=74M296
13.30	   
13.30	   search
13.30	     run=3  nbConstraintChecks=28502  nbValidityChecks=134377  nbPropagations=27946  nbRevisions=283864
13.30	     nbUselessRevisions=282946  nbAssignments=2992  nbFailedAssignments=11  nbBacktracks=108  nbVisitedNodes=3015
13.30	     nbRestartNogoods=3  mapSize=18  nbInferences=0  nbTooLargeKeys=0
13.30	       =>  wckTime=7.056  cpuTime=6.9  mem=74M296
13.54	   
13.54	   search
13.54	     run=4  nbConstraintChecks=33221  nbValidityChecks=136954  nbPropagations=36101  nbRevisions=382008
13.54	     nbUselessRevisions=380508  nbAssignments=3088  nbFailedAssignments=18  nbBacktracks=163  nbVisitedNodes=3125
13.54	     nbRestartNogoods=4  mapSize=31  nbInferences=0  nbTooLargeKeys=0
13.54	       =>  wckTime=7.293  cpuTime=7.14  mem=74M296
13.86	   
13.86	   search
13.86	     run=5  nbConstraintChecks=34122  nbValidityChecks=140171  nbPropagations=44640  nbRevisions=481837
13.86	     nbUselessRevisions=479459  nbAssignments=3222  nbFailedAssignments=32  nbBacktracks=243  nbVisitedNodes=3287
13.86	     nbRestartNogoods=5  mapSize=57  nbInferences=0  nbTooLargeKeys=0
13.86	       =>  wckTime=7.608  cpuTime=7.45  mem=74M296
14.25	   
14.25	   search
14.25	     run=6  nbConstraintChecks=35212  nbValidityChecks=144291  nbPropagations=53687  nbRevisions=583832
14.25	     nbUselessRevisions=580182  nbAssignments=3394  nbFailedAssignments=51  nbBacktracks=356  nbVisitedNodes=3497
14.25	     nbRestartNogoods=7  mapSize=93  nbInferences=0  nbTooLargeKeys=0
14.25	       =>  wckTime=8.005  cpuTime=7.84  mem=74M296
14.82	   
14.82	   search
14.82	     run=7  nbConstraintChecks=36708  nbValidityChecks=149722  nbPropagations=63421  nbRevisions=688697
14.82	     nbUselessRevisions=683240  nbAssignments=3620  nbFailedAssignments=77  nbBacktracks=526  nbVisitedNodes=3775
14.82	     nbRestartNogoods=9  mapSize=144  nbInferences=0  nbTooLargeKeys=0
14.82	       =>  wckTime=8.571  cpuTime=8.4  mem=74M296
27.32	   
27.32	   search
27.32	     run=8  nbConstraintChecks=3201571  nbValidityChecks=217779  nbPropagations=75427  nbRevisions=837138
27.32	     nbUselessRevisions=828843  nbAssignments=5079  nbFailedAssignments=116  nbBacktracks=790  nbVisitedNodes=5312
27.32	     nbRestartNogoods=10  mapSize=218  nbInferences=0  nbTooLargeKeys=0
27.32	       =>  wckTime=21.073  cpuTime=20.79  mem=76M335
46.02	   
46.02	   search
46.02	     run=9  nbConstraintChecks=8547598  nbValidityChecks=284432  nbPropagations=89925  nbRevisions=1027984
46.02	     nbUselessRevisions=1015431  nbAssignments=6398  nbFailedAssignments=163  nbBacktracks=1182  nbVisitedNodes=6726
46.02	     nbRestartNogoods=14  mapSize=309  nbInferences=0  nbTooLargeKeys=0
46.02	       =>  wckTime=39.767  cpuTime=39.4  mem=78M374
61.54	   
61.54	   search
61.54	     run=10  nbConstraintChecks=12898367  nbValidityChecks=347511  nbPropagations=107209  nbRevisions=1258985
61.54	     nbUselessRevisions=1240303  nbAssignments=7642  nbFailedAssignments=224  nbBacktracks=1760  nbVisitedNodes=8092
61.54	     nbRestartNogoods=18  mapSize=427  nbInferences=0  nbTooLargeKeys=0
61.54	       =>  wckTime=55.294  cpuTime=54.84  mem=79M393
85.07	   
85.07	   search
85.07	     run=11  nbConstraintChecks=19906032  nbValidityChecks=455743  nbPropagations=130816  nbRevisions=1558277
85.07	     nbUselessRevisions=1527510  nbAssignments=8920  nbFailedAssignments=382  nbBacktracks=2624  nbVisitedNodes=9687
85.07	     nbRestartNogoods=22  mapSize=657  nbInferences=0  nbTooLargeKeys=0
85.07	       =>  wckTime=78.818  cpuTime=78.25  mem=80M412
125.99	   
125.99	   INFO : Stopping hyperNogood (mapSize=1010, nbTooLargekeys=0, mem=84M489)
127.11	   
127.11	   search
127.11	     run=12  nbConstraintChecks=32402611  nbValidityChecks=610217  nbPropagations=163860  nbRevisions=1958158
127.11	     nbUselessRevisions=1906776  nbAssignments=11506  nbFailedAssignments=644  nbBacktracks=3928  nbVisitedNodes=12802
127.11	     nbRestartNogoods=27
127.11	       =>  wckTime=120.861  cpuTime=120.11  mem=84M489
994.85	   
994.86	   search
994.86	     run=13  nbConstraintChecks=347523087  nbValidityChecks=869122  nbPropagations=217911  nbRevisions=2546999
994.86	     nbUselessRevisions=2456394  nbAssignments=15015  nbFailedAssignments=1239  nbBacktracks=5876  nbVisitedNodes=17219
994.86	     nbRestartNogoods=34
994.86	       =>  wckTime=988.607  cpuTime=985.79  mem=84M489
1017.19	   
1017.19	   search
1017.19	     run=14  nbConstraintChecks=354227970  nbValidityChecks=1055308  nbPropagations=288669  nbRevisions=3255886
1017.19	     nbUselessRevisions=3110765  nbAssignments=18583  nbFailedAssignments=1756  nbBacktracks=8800  nbVisitedNodes=21883
1017.19	     nbRestartNogoods=43
1017.19	       =>  wckTime=1010.944  cpuTime=1008.1  mem=84M489

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/node17/watcher-216254-1168078948 -o ROOT/results/node17/solver-216254-1168078948 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/216254-1168078948/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.93 1.99 1.95 5/93 13013
/proc/meminfo: memFree=1545888/2055920 swapFree=4192812/4192956
[pid=13012] ppid=13010 vsize=11820 CPUtime=0
/proc/13012/stat : 13012 (java) D 13010 13012 12945 0 -1 0 760 0 1 0 0 0 0 0 16 0 1 0 156289603 12103680 510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 2859812 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/13012/statm: 2955 510 421 14 0 1602 0

[startup+0.104277 s]
/proc/loadavg: 1.93 1.99 1.95 5/93 13013
/proc/meminfo: memFree=1545888/2055920 swapFree=4192812/4192956
[pid=13012] ppid=13010 vsize=907808 CPUtime=0.05
/proc/13012/stat : 13012 (java) D 13010 13012 12945 0 -1 0 2505 0 1 0 4 1 0 0 17 0 4 0 156289603 929595392 2252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/13012/statm: 226952 2252 1232 14 0 214535 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 907808

[startup+0.512323 s]
/proc/loadavg: 1.93 1.99 1.95 5/93 13013
/proc/meminfo: memFree=1545888/2055920 swapFree=4192812/4192956
[pid=13012] ppid=13010 vsize=915328 CPUtime=0.41
/proc/13012/stat : 13012 (java) R 13010 13012 12945 0 -1 0 6058 0 1 0 36 5 0 0 18 0 8 0 156289603 937295872 5797 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072925080 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13012/statm: 228832 5797 2135 14 0 215302 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 915328

[startup+1.33543 s]
/proc/loadavg: 1.93 1.99 1.95 3/100 13020
/proc/meminfo: memFree=1486504/2055920 swapFree=4192812/4192956
[pid=13012] ppid=13010 vsize=915640 CPUtime=1.23
/proc/13012/stat : 13012 (java) R 13010 13012 12945 0 -1 0 18524 0 1 0 110 13 0 0 24 0 8 0 156289603 937615360 18261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13012/statm: 228910 18261 2157 14 0 215380 0
[pid=13012/tid=13014] ppid=13010 vsize=915640 CPUtime=0.08
/proc/13012/task/13014/stat : 13014 (java) S 13010 13012 12945 0 -1 64 1993 0 0 0 8 0 0 0 16 0 8 0 156289607 937615360 18261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13015] ppid=13010 vsize=915640 CPUtime=0
/proc/13012/task/13015/stat : 13015 (java) S 13010 13012 12945 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156289608 937615360 18261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13016] ppid=13010 vsize=915640 CPUtime=0
/proc/13012/task/13016/stat : 13016 (java) S 13010 13012 12945 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156289608 937615360 18261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13017] ppid=13010 vsize=915640 CPUtime=0
/proc/13012/task/13017/stat : 13017 (java) S 13010 13012 12945 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156289619 937615360 18261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13018] ppid=13010 vsize=915640 CPUtime=0.16
/proc/13012/task/13018/stat : 13018 (java) S 13010 13012 12945 0 -1 64 403 0 0 0 15 1 0 0 16 0 8 0 156289619 937615360 18261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13019] ppid=13010 vsize=915640 CPUtime=0
/proc/13012/task/13019/stat : 13019 (java) S 13010 13012 12945 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156289619 937615360 18261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13020] ppid=13010 vsize=915640 CPUtime=0
/proc/13012/task/13020/stat : 13020 (java) S 13010 13012 12945 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156289619 937615360 18261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 915640

[startup+2.98558 s]
/proc/loadavg: 1.93 1.99 1.95 4/100 13020
/proc/meminfo: memFree=1473064/2055920 swapFree=4192812/4192956
[pid=13012] ppid=13010 vsize=915640 CPUtime=2.86
/proc/13012/stat : 13012 (java) R 13010 13012 12945 0 -1 0 21353 0 1 0 242 44 0 0 25 0 8 0 156289603 937615360 21087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155122752 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13012/statm: 228910 21087 2177 14 0 215380 0
[pid=13012/tid=13014] ppid=13010 vsize=915640 CPUtime=0.26
/proc/13012/task/13014/stat : 13014 (java) S 13010 13012 12945 0 -1 64 4734 0 0 0 25 1 0 0 16 0 8 0 156289607 937615360 21087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13015] ppid=13010 vsize=915640 CPUtime=0
/proc/13012/task/13015/stat : 13015 (java) S 13010 13012 12945 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156289608 937615360 21087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13016] ppid=13010 vsize=915640 CPUtime=0
/proc/13012/task/13016/stat : 13016 (java) S 13010 13012 12945 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156289608 937615360 21087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13017] ppid=13010 vsize=915640 CPUtime=0
/proc/13012/task/13017/stat : 13017 (java) S 13010 13012 12945 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156289619 937615360 21087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13018] ppid=13010 vsize=915640 CPUtime=0.21
/proc/13012/task/13018/stat : 13018 (java) S 13010 13012 12945 0 -1 64 428 0 0 0 20 1 0 0 16 0 8 0 156289619 937615360 21087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13019] ppid=13010 vsize=915640 CPUtime=0
/proc/13012/task/13019/stat : 13019 (java) S 13010 13012 12945 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156289619 937615360 21087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13020] ppid=13010 vsize=915640 CPUtime=0
/proc/13012/task/13020/stat : 13020 (java) S 13010 13012 12945 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156289619 937615360 21087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 915640

[startup+6.27093 s]
/proc/loadavg: 1.94 1.99 1.95 4/100 13020
/proc/meminfo: memFree=1422824/2055920 swapFree=4192812/4192956
[pid=13012] ppid=13010 vsize=915872 CPUtime=6.11
/proc/13012/stat : 13012 (java) R 13010 13012 12945 0 -1 0 35278 0 1 0 465 146 0 0 25 0 8 0 156289603 937852928 34930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074148970 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13012/statm: 228968 34930 2531 14 0 215438 0
[pid=13012/tid=13014] ppid=13010 vsize=915872 CPUtime=0.91
/proc/13012/task/13014/stat : 13014 (java) S 13010 13012 12945 0 -1 64 18132 0 0 0 82 9 0 0 16 0 8 0 156289607 937852928 34930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13015] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13015/stat : 13015 (java) S 13010 13012 12945 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156289608 937852928 34930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13016] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13016/stat : 13016 (java) S 13010 13012 12945 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156289608 937852928 34930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13017] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13017/stat : 13017 (java) S 13010 13012 12945 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156289619 937852928 34930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13018] ppid=13010 vsize=915872 CPUtime=0.32
/proc/13012/task/13018/stat : 13018 (java) S 13010 13012 12945 0 -1 64 506 0 0 0 31 1 0 0 15 0 8 0 156289619 937852928 34930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13019] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13019/stat : 13019 (java) S 13010 13012 12945 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156289619 937852928 34930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13020] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13020/stat : 13020 (java) S 13010 13012 12945 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156289619 937852928 34930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 915872

[startup+12.7656 s]
/proc/loadavg: 1.94 1.99 1.95 3/100 13020
/proc/meminfo: memFree=1415720/2055920 swapFree=4192812/4192956
[pid=13012] ppid=13010 vsize=915872 CPUtime=12.55
/proc/13012/stat : 13012 (java) R 13010 13012 12945 0 -1 0 35331 0 1 0 1108 147 0 0 25 0 8 0 156289603 937852928 34978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835466 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13012/statm: 228968 34978 2537 14 0 215438 0
[pid=13012/tid=13014] ppid=13010 vsize=915872 CPUtime=0.91
/proc/13012/task/13014/stat : 13014 (java) S 13010 13012 12945 0 -1 64 18133 0 0 0 82 9 0 0 16 0 8 0 156289607 937852928 34978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13015] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13015/stat : 13015 (java) S 13010 13012 12945 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156289608 937852928 34978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13016] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13016/stat : 13016 (java) S 13010 13012 12945 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156289608 937852928 34978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13017] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13017/stat : 13017 (java) S 13010 13012 12945 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156289619 937852928 34978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13018] ppid=13010 vsize=915872 CPUtime=0.4
/proc/13012/task/13018/stat : 13018 (java) S 13010 13012 12945 0 -1 64 544 0 0 0 38 2 0 0 16 0 8 0 156289619 937852928 34978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13019] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13019/stat : 13019 (java) S 13010 13012 12945 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156289619 937852928 34978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13020] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13020/stat : 13020 (java) S 13010 13012 12945 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156289619 937852928 34978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 915872

[startup+25.6079 s]
/proc/loadavg: 1.95 1.99 1.95 3/100 13020
/proc/meminfo: memFree=1415912/2055920 swapFree=4192812/4192956
[pid=13012] ppid=13010 vsize=915872 CPUtime=25.28
/proc/13012/stat : 13012 (java) R 13010 13012 12945 0 -1 0 35334 0 1 0 2381 147 0 0 25 0 8 0 156289603 937852928 34980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073479193 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13012/statm: 228968 34980 2537 14 0 215438 0
[pid=13012/tid=13014] ppid=13010 vsize=915872 CPUtime=0.91
/proc/13012/task/13014/stat : 13014 (java) S 13010 13012 12945 0 -1 64 18133 0 0 0 82 9 0 0 16 0 8 0 156289607 937852928 34980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13015] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13015/stat : 13015 (java) S 13010 13012 12945 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156289608 937852928 34980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13016] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13016/stat : 13016 (java) S 13010 13012 12945 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156289608 937852928 34980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13017] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13017/stat : 13017 (java) S 13010 13012 12945 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156289619 937852928 34980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13018] ppid=13010 vsize=915872 CPUtime=0.4
/proc/13012/task/13018/stat : 13018 (java) S 13010 13012 12945 0 -1 64 546 0 0 0 38 2 0 0 16 0 8 0 156289619 937852928 34980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13019] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13019/stat : 13019 (java) S 13010 13012 12945 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156289619 937852928 34980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13020] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13020/stat : 13020 (java) S 13010 13012 12945 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156289619 937852928 34980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 915872

[startup+51.2744 s]
/proc/loadavg: 1.97 1.99 1.95 3/100 13020
/proc/meminfo: memFree=1415912/2055920 swapFree=4192812/4192956
[pid=13012] ppid=13010 vsize=915872 CPUtime=50.82
/proc/13012/stat : 13012 (java) R 13010 13012 12945 0 -1 0 35336 0 1 0 4935 147 0 0 25 0 8 0 156289603 937852928 34982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073849111 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13012/statm: 228968 34982 2537 14 0 215438 0
[pid=13012/tid=13014] ppid=13010 vsize=915872 CPUtime=0.91
/proc/13012/task/13014/stat : 13014 (java) S 13010 13012 12945 0 -1 64 18133 0 0 0 82 9 0 0 16 0 8 0 156289607 937852928 34982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13015] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13015/stat : 13015 (java) S 13010 13012 12945 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156289608 937852928 34982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13016] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13016/stat : 13016 (java) S 13010 13012 12945 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156289608 937852928 34982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13017] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13017/stat : 13017 (java) S 13010 13012 12945 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156289619 937852928 34982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13018] ppid=13010 vsize=915872 CPUtime=0.41
/proc/13012/task/13018/stat : 13018 (java) S 13010 13012 12945 0 -1 64 548 0 0 0 39 2 0 0 15 0 8 0 156289619 937852928 34982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13019] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13019/stat : 13019 (java) S 13010 13012 12945 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156289619 937852928 34982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13020] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13020/stat : 13020 (java) S 13010 13012 12945 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156289619 937852928 34982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.82
Current children cumulated vsize (KiB) 915872

[startup+102.492 s]
/proc/loadavg: 1.98 1.99 1.95 3/100 13020
/proc/meminfo: memFree=1415976/2055920 swapFree=4192812/4192956
[pid=13012] ppid=13010 vsize=915872 CPUtime=101.8
/proc/13012/stat : 13012 (java) R 13010 13012 12945 0 -1 0 35342 0 1 0 10032 148 0 0 25 0 8 0 156289603 937852928 34985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073479187 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13012/statm: 228968 34985 2537 14 0 215438 0
[pid=13012/tid=13014] ppid=13010 vsize=915872 CPUtime=0.91
/proc/13012/task/13014/stat : 13014 (java) S 13010 13012 12945 0 -1 64 18133 0 0 0 82 9 0 0 16 0 8 0 156289607 937852928 34985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13015] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13015/stat : 13015 (java) S 13010 13012 12945 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156289608 937852928 34985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13016] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13016/stat : 13016 (java) S 13010 13012 12945 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156289608 937852928 34985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13017] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13017/stat : 13017 (java) S 13010 13012 12945 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156289619 937852928 34985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13018] ppid=13010 vsize=915872 CPUtime=0.42
/proc/13012/task/13018/stat : 13018 (java) S 13010 13012 12945 0 -1 64 551 0 0 0 40 2 0 0 16 0 8 0 156289619 937852928 34985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13019] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13019/stat : 13019 (java) S 13010 13012 12945 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156289619 937852928 34985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13020] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13020/stat : 13020 (java) S 13010 13012 12945 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156289619 937852928 34985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.8
Current children cumulated vsize (KiB) 915872

[startup+162.559 s]
/proc/loadavg: 1.99 1.99 1.95 3/100 13020
/proc/meminfo: memFree=1415976/2055920 swapFree=4192812/4192956
[pid=13012] ppid=13010 vsize=915872 CPUtime=161.58
/proc/13012/stat : 13012 (java) R 13010 13012 12945 0 -1 0 35345 0 1 0 16010 148 0 0 25 0 8 0 156289603 937852928 34986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073479187 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+1483.37 s]
/proc/loadavg: 1.24 1.73 1.83 2/88 14454
/proc/meminfo: memFree=1481936/2055920 swapFree=4192812/4192956
[pid=13012] ppid=13010 vsize=915872 CPUtime=1480.01
/proc/13012/stat : 13012 (java) R 13010 13012 12945 0 -1 0 35345 0 1 0 147830 171 0 0 25 0 8 0 156289603 937852928 34986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073850762 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13012/statm: 228968 34986 2537 14 0 215438 0
[pid=13012/tid=13014] ppid=13010 vsize=915872 CPUtime=0.91
/proc/13012/task/13014/stat : 13014 (java) S 13010 13012 12945 0 -1 64 18133 0 0 0 82 9 0 0 16 0 8 0 156289607 937852928 34986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13015] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13015/stat : 13015 (java) S 13010 13012 12945 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156289608 937852928 34986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13016] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13016/stat : 13016 (java) S 13010 13012 12945 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156289608 937852928 34986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13017] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13017/stat : 13017 (java) S 13010 13012 12945 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156289619 937852928 34986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13018] ppid=13010 vsize=915872 CPUtime=0.42
/proc/13012/task/13018/stat : 13018 (java) S 13010 13012 12945 0 -1 64 552 0 0 0 40 2 0 0 17 0 8 0 156289619 937852928 34986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13012/tid=13019] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13019/stat : 13019 (java) S 13010 13012 12945 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156289619 937852928 34986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13020] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13020/stat : 13020 (java) S 13010 13012 12945 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156289619 937852928 34986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1480.01
Current children cumulated vsize (KiB) 915872

[startup+1543.42 s]
/proc/loadavg: 1.32 1.65 1.79 2/88 14600
/proc/meminfo: memFree=1480976/2055920 swapFree=4192812/4192956
[pid=13012] ppid=13010 vsize=915872 CPUtime=1539.91
/proc/13012/stat : 13012 (java) R 13010 13012 12945 0 -1 0 35345 0 1 0 153818 173 0 0 25 0 8 0 156289603 937852928 34986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073479193 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13012/statm: 228968 34986 2537 14 0 215438 0
[pid=13012/tid=13014] ppid=13010 vsize=915872 CPUtime=0.91
/proc/13012/task/13014/stat : 13014 (java) S 13010 13012 12945 0 -1 64 18133 0 0 0 82 9 0 0 16 0 8 0 156289607 937852928 34986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13015] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13015/stat : 13015 (java) S 13010 13012 12945 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156289608 937852928 34986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13016] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13016/stat : 13016 (java) S 13010 13012 12945 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156289608 937852928 34986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13017] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13017/stat : 13017 (java) S 13010 13012 12945 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156289619 937852928 34986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13018] ppid=13010 vsize=915872 CPUtime=0.42
/proc/13012/task/13018/stat : 13018 (java) S 13010 13012 12945 0 -1 64 552 0 0 0 40 2 0 0 17 0 8 0 156289619 937852928 34986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13012/tid=13019] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13019/stat : 13019 (java) S 13010 13012 12945 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156289619 937852928 34986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13020] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13020/stat : 13020 (java) S 13010 13012 12945 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156289619 937852928 34986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1539.91
Current children cumulated vsize (KiB) 915872

[startup+1603.45 s]
/proc/loadavg: 1.24 1.57 1.75 2/88 14659
/proc/meminfo: memFree=1482512/2055920 swapFree=4192812/4192956
[pid=13012] ppid=13010 vsize=915872 CPUtime=1599.79
/proc/13012/stat : 13012 (java) R 13010 13012 12945 0 -1 0 35345 0 1 0 159805 174 0 0 25 0 8 0 156289603 937852928 34986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073848140 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13012/statm: 228968 34986 2537 14 0 215438 0
[pid=13012/tid=13014] ppid=13010 vsize=915872 CPUtime=0.91
/proc/13012/task/13014/stat : 13014 (java) S 13010 13012 12945 0 -1 64 18133 0 0 0 82 9 0 0 16 0 8 0 156289607 937852928 34986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13015] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13015/stat : 13015 (java) S 13010 13012 12945 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156289608 937852928 34986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13016] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13016/stat : 13016 (java) S 13010 13012 12945 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156289608 937852928 34986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13017] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13017/stat : 13017 (java) S 13010 13012 12945 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156289619 937852928 34986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13018] ppid=13010 vsize=915872 CPUtime=0.42
/proc/13012/task/13018/stat : 13018 (java) S 13010 13012 12945 0 -1 64 552 0 0 0 40 2 0 0 17 0 8 0 156289619 937852928 34986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13012/tid=13019] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13019/stat : 13019 (java) S 13010 13012 12945 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156289619 937852928 34986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13020] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13020/stat : 13020 (java) S 13010 13012 12945 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156289619 937852928 34986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1599.79
Current children cumulated vsize (KiB) 915872

[startup+1663.5 s]
/proc/loadavg: 1.23 1.49 1.71 2/88 14760
/proc/meminfo: memFree=1476240/2055920 swapFree=4192812/4192956
[pid=13012] ppid=13010 vsize=915872 CPUtime=1659.76
/proc/13012/stat : 13012 (java) R 13010 13012 12945 0 -1 0 35345 0 1 0 165800 176 0 0 25 0 8 0 156289603 937852928 34986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073845045 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13012/statm: 228968 34986 2537 14 0 215438 0
[pid=13012/tid=13014] ppid=13010 vsize=915872 CPUtime=0.91
/proc/13012/task/13014/stat : 13014 (java) S 13010 13012 12945 0 -1 64 18133 0 0 0 82 9 0 0 16 0 8 0 156289607 937852928 34986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13015] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13015/stat : 13015 (java) S 13010 13012 12945 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156289608 937852928 34986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13016] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13016/stat : 13016 (java) S 13010 13012 12945 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156289608 937852928 34986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13017] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13017/stat : 13017 (java) S 13010 13012 12945 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156289619 937852928 34986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13018] ppid=13010 vsize=915872 CPUtime=0.42
/proc/13012/task/13018/stat : 13018 (java) S 13010 13012 12945 0 -1 64 552 0 0 0 40 2 0 0 17 0 8 0 156289619 937852928 34986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13012/tid=13019] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13019/stat : 13019 (java) S 13010 13012 12945 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156289619 937852928 34986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13020] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13020/stat : 13020 (java) S 13010 13012 12945 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156289619 937852928 34986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1659.76
Current children cumulated vsize (KiB) 915872

[startup+1723.55 s]
/proc/loadavg: 1.08 1.40 1.67 2/88 14850
/proc/meminfo: memFree=1474384/2055920 swapFree=4192812/4192956
[pid=13012] ppid=13010 vsize=915872 CPUtime=1719.76
/proc/13012/stat : 13012 (java) R 13010 13012 12945 0 -1 0 35345 0 1 0 171797 179 0 0 25 0 8 0 156289603 937852928 34986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073847008 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13012/statm: 228968 34986 2537 14 0 215438 0
[pid=13012/tid=13014] ppid=13010 vsize=915872 CPUtime=0.91
/proc/13012/task/13014/stat : 13014 (java) S 13010 13012 12945 0 -1 64 18133 0 0 0 82 9 0 0 16 0 8 0 156289607 937852928 34986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13015] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13015/stat : 13015 (java) S 13010 13012 12945 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156289608 937852928 34986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13016] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13016/stat : 13016 (java) S 13010 13012 12945 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156289608 937852928 34986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13017] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13017/stat : 13017 (java) S 13010 13012 12945 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156289619 937852928 34986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13018] ppid=13010 vsize=915872 CPUtime=0.42
/proc/13012/task/13018/stat : 13018 (java) S 13010 13012 12945 0 -1 64 552 0 0 0 40 2 0 0 17 0 8 0 156289619 937852928 34986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13012/tid=13019] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13019/stat : 13019 (java) S 13010 13012 12945 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156289619 937852928 34986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13020] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13020/stat : 13020 (java) S 13010 13012 12945 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156289619 937852928 34986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1719.76
Current children cumulated vsize (KiB) 915872

[startup+1783.59 s]
/proc/loadavg: 1.10 1.35 1.63 2/88 14894
/proc/meminfo: memFree=1475600/2055920 swapFree=4192812/4192956
[pid=13012] ppid=13010 vsize=915872 CPUtime=1779.75
/proc/13012/stat : 13012 (java) R 13010 13012 12945 0 -1 0 35345 0 1 0 177795 180 0 0 25 0 8 0 156289603 937852928 34986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073847655 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13012/statm: 228968 34986 2537 14 0 215438 0
[pid=13012/tid=13014] ppid=13010 vsize=915872 CPUtime=0.91
/proc/13012/task/13014/stat : 13014 (java) S 13010 13012 12945 0 -1 64 18133 0 0 0 82 9 0 0 16 0 8 0 156289607 937852928 34986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13015] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13015/stat : 13015 (java) S 13010 13012 12945 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156289608 937852928 34986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13016] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13016/stat : 13016 (java) S 13010 13012 12945 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156289608 937852928 34986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13017] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13017/stat : 13017 (java) S 13010 13012 12945 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156289619 937852928 34986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13018] ppid=13010 vsize=915872 CPUtime=0.42
/proc/13012/task/13018/stat : 13018 (java) S 13010 13012 12945 0 -1 64 552 0 0 0 40 2 0 0 17 0 8 0 156289619 937852928 34986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13012/tid=13019] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13019/stat : 13019 (java) S 13010 13012 12945 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156289619 937852928 34986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13020] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13020/stat : 13020 (java) S 13010 13012 12945 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156289619 937852928 34986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1779.75
Current children cumulated vsize (KiB) 915872



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1803.93 s]
/proc/loadavg: 1.14 1.35 1.62 2/88 14914
/proc/meminfo: memFree=1475472/2055920 swapFree=4192812/4192956
[pid=13012] ppid=13010 vsize=915872 CPUtime=1800.09
/proc/13012/stat : 13012 (java) R 13010 13012 12945 0 -1 0 35345 0 1 0 179829 180 0 0 25 0 8 0 156289603 937852928 34986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073847008 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13012/statm: 228968 34986 2537 14 0 215438 0
[pid=13012/tid=13014] ppid=13010 vsize=915872 CPUtime=0.91
/proc/13012/task/13014/stat : 13014 (java) S 13010 13012 12945 0 -1 64 18133 0 0 0 82 9 0 0 16 0 8 0 156289607 937852928 34986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13015] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13015/stat : 13015 (java) S 13010 13012 12945 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156289608 937852928 34986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13016] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13016/stat : 13016 (java) S 13010 13012 12945 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156289608 937852928 34986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13017] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13017/stat : 13017 (java) S 13010 13012 12945 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156289619 937852928 34986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13018] ppid=13010 vsize=915872 CPUtime=0.42
/proc/13012/task/13018/stat : 13018 (java) S 13010 13012 12945 0 -1 64 552 0 0 0 40 2 0 0 17 0 8 0 156289619 937852928 34986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13012/tid=13019] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13019/stat : 13019 (java) S 13010 13012 12945 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156289619 937852928 34986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13012/tid=13020] ppid=13010 vsize=915872 CPUtime=0
/proc/13012/task/13020/stat : 13020 (java) S 13010 13012 12945 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156289619 937852928 34986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 915872

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

Child status: 143
Real time (s): 1803.98
CPU time (s): 1800.15
CPU user time (s): 1798.31
CPU system time (s): 1.83072
CPU usage (%): 99.7873
Max. virtual memory (cumulated for all children) (KiB): 915984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.31
system time used= 1.83072
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35361
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= 38266
involuntary context switches= 60966

runsolver used 2.06968 s user time and 5.61115 s system time

The end

Launcher Data (download as text)

Begin job on node17 on Sat Jan  6 10:22:28 UTC 2007


IDJOB= 216254
IDBENCH= 5064
FILE ID= node17/216254-1168078948

PBS_JOBID= 3475828

Free space on /tmp= 66313 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  ae758250d0e2faa1c8e5e6e4d17f9606

RANDOM SEED= 45174014

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.236
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.236
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:       1546368 kB
Buffers:         46696 kB
Cached:         243936 kB
SwapCached:          0 kB
Active:         211808 kB
Inactive:       208112 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1546368 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            6452 kB
Writeback:           0 kB
Mapped:         158276 kB
Slab:            74144 kB
Committed_AS:  4568536 kB
PageTables:       2432 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= 66316 MiB



End job on node17 on Sat Jan  6 10:52:38 UTC 2007