Trace number 238870

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.16 1817.04

General information on the benchmark

NameblackHole/BH-4-13/
BlackHole-4-13-e-1_ext.xml
MD5SUMde93c5d317c976395f6ee058e260e016
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables208
Number of constraints4218
Maximum constraint arity2
Maximum domain size52
Number of constraints which are defined in extension4218
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.34	   
0.34	Abscon 109 (November, 2006)
0.34	   
0.34	   configuration
0.34	     name=esac.xml
0.39	   
0.39	   instance
0.39	     name=/tmp/evaluation/238870-1168360973/unknown.xml
0.43	   
0.43	   domains being loaded...
0.43	   
0.43	   variables being loaded...
0.50	     nbVariables=208  nbDomainTypes=4  minDomainSize=1  maxDomainSize=52
0.50	       =>  wckTime=0.158  cpuTime=0.09  mem=7M927
0.50	   
0.50	   relations being loaded...
0.52	   
0.52	   constraints being loaded...
0.82	     nbConstraints=4217  nbRelationTypes=9  nbSingletonDomainVariables=3  nbDisconnectedVariables=1
0.82	     nbExtensionStructures=9  nbSharedExtensionStructures=4208  nbConflictsStructures=9
0.82	     nbSharedConflictsStructures=4208  nbSharedBinaryRepresentations=372  maxDegree=104  maxArity=2
0.82	       =>  wckTime=0.484  cpuTime=0.31  mem=19M678
0.89	   
0.89	   solver IterativeSystematicSolver being built... 
1.07	       =>  wckTime=0.728  cpuTime=0.45  mem=17M676
1.43	   
1.43	   preprocessing
1.43	     nbConstraintChecks=6006479  nbPropagations=5900  nbRevisions=132549  nbUselessRevisions=126337
1.43	     nbSingletonTests=238  nbEffectiveSingletonTests=0  nbESACBranches=3  nbRemovedValues=793  detectedInconsistency=no
1.43	       =>  wckTime=0.356  cpuTime=0.31  mem=17M676
1.65	   
1.65	   search
1.65	     run=0  nbConstraintChecks=4169799  nbPropagations=9259  nbRevisions=224463  nbUselessRevisions=213815
1.65	     nbAssignments=55  nbFailedAssignments=6  nbBacktracks=10  nbVisitedNodes=69  nbRestartNogoods=0  mapSize=10
1.65	     nbInferences=1  nbTooLargeKeys=0
1.65	       =>  wckTime=0.574  cpuTime=0.52  mem=17M676
1.82	   
1.82	   search
1.82	     run=1  nbConstraintChecks=8248581  nbPropagations=21745  nbRevisions=538724  nbUselessRevisions=513352
1.82	     nbAssignments=117  nbFailedAssignments=14  nbBacktracks=25  nbVisitedNodes=148  nbRestartNogoods=2  mapSize=25
1.82	     nbInferences=2  nbTooLargeKeys=0
1.82	       =>  wckTime=0.749  cpuTime=0.68  mem=17M676
2.00	   
2.00	   search
2.00	     run=2  nbConstraintChecks=12702699  nbPropagations=37925  nbRevisions=951392  nbUselessRevisions=906379
2.00	     nbAssignments=188  nbFailedAssignments=21  nbBacktracks=48  nbVisitedNodes=237  nbRestartNogoods=4  mapSize=38
2.00	     nbInferences=6  nbTooLargeKeys=0
2.00	       =>  wckTime=0.931  cpuTime=0.87  mem=17M676
2.18	   
2.18	   search
2.18	     run=3  nbConstraintChecks=16802395  nbPropagations=57288  nbRevisions=1454328  nbUselessRevisions=1385664
2.18	     nbAssignments=282  nbFailedAssignments=36  nbBacktracks=91  nbVisitedNodes=360  nbRestartNogoods=7  mapSize=65
2.18	     nbInferences=7  nbTooLargeKeys=0
2.18	       =>  wckTime=1.107  cpuTime=1.04  mem=17M676
2.48	   
2.48	   search
2.48	     run=4  nbConstraintChecks=23755202  nbPropagations=83323  nbRevisions=2114259  nbUselessRevisions=2012280
2.48	     nbAssignments=406  nbFailedAssignments=57  nbBacktracks=142  nbVisitedNodes=541  nbRestartNogoods=8  mapSize=109
2.48	     nbInferences=20  nbTooLargeKeys=0
2.48	       =>  wckTime=1.402  cpuTime=1.33  mem=17M676
2.71	   
2.71	   search
2.71	     run=5  nbConstraintChecks=29413828  nbPropagations=114099  nbRevisions=2900633  nbUselessRevisions=2759242
2.71	     nbAssignments=565  nbFailedAssignments=91  nbBacktracks=226  nbVisitedNodes=775  nbRestartNogoods=11  mapSize=175
2.71	     nbInferences=27  nbTooLargeKeys=0
2.71	       =>  wckTime=1.64  cpuTime=1.56  mem=17M676
3.14	   
3.14	   search
3.14	     run=6  nbConstraintChecks=39973543  nbPropagations=155360  nbRevisions=3927803  nbUselessRevisions=3731138
3.14	     nbAssignments=791  nbFailedAssignments=141  nbBacktracks=343  nbVisitedNodes=1125  nbRestartNogoods=12  mapSize=275
3.14	     nbInferences=49  nbTooLargeKeys=0
3.14	       =>  wckTime=2.064  cpuTime=1.98  mem=18M651
3.67	   
3.67	   search
3.67	     run=7  nbConstraintChecks=52873078  nbPropagations=210164  nbRevisions=5251743  nbUselessRevisions=4979543
3.67	     nbAssignments=1129  nbFailedAssignments=238  nbBacktracks=514  nbVisitedNodes=1677  nbRestartNogoods=14
3.67	     mapSize=430  nbInferences=83  nbTooLargeKeys=0
3.67	       =>  wckTime=2.6  cpuTime=2.51  mem=18M651
4.29	   
4.29	   search
4.29	     run=8  nbConstraintChecks=67373283  nbPropagations=278113  nbRevisions=6903310  nbUselessRevisions=6538946
4.29	     nbAssignments=1653  nbFailedAssignments=373  nbBacktracks=773  nbVisitedNodes=2481  nbRestartNogoods=19
4.29	     mapSize=659  nbInferences=140  nbTooLargeKeys=0
4.29	       =>  wckTime=3.216  cpuTime=3.1  mem=18M651
5.38	   
5.38	   search
5.38	     run=9  nbConstraintChecks=93761607  nbPropagations=375860  nbRevisions=9168210  nbUselessRevisions=8667736
5.38	     nbAssignments=2433  nbFailedAssignments=494  nbBacktracks=1158  nbVisitedNodes=3729  nbRestartNogoods=23
5.38	     mapSize=963  nbInferences=375  nbTooLargeKeys=0
5.38	       =>  wckTime=4.308  cpuTime=4.18  mem=18M651
6.74	   
6.74	   search
6.74	     run=10  nbConstraintChecks=127470112  nbPropagations=509618  nbRevisions=12215142  nbUselessRevisions=11532518
6.74	     nbAssignments=3763  nbFailedAssignments=998  nbBacktracks=1736  nbVisitedNodes=5950  nbRestartNogoods=29
6.74	     mapSize=1466  nbInferences=528  nbTooLargeKeys=0
6.74	       =>  wckTime=5.667  cpuTime=5.52  mem=19M627
8.77	   
8.77	   search
8.77	     run=11  nbConstraintChecks=178258830  nbPropagations=703068  nbRevisions=16460059  nbUselessRevisions=15505379
8.77	     nbAssignments=5294  nbFailedAssignments=1398  nbBacktracks=2601  nbVisitedNodes=8419  nbRestartNogoods=31
8.77	     mapSize=2047  nbInferences=756  nbTooLargeKeys=0
8.77	       =>  wckTime=7.694  cpuTime=7.52  mem=20M602
11.19	   
11.19	   search
11.19	     run=12  nbConstraintChecks=239593261  nbPropagations=955259  nbRevisions=22117858  nbUselessRevisions=20818214
11.19	     nbAssignments=8063  nbFailedAssignments=2275  nbBacktracks=3898  nbVisitedNodes=13040  nbRestartNogoods=45
11.19	     mapSize=3303  nbInferences=1197  nbTooLargeKeys=0
11.19	       =>  wckTime=10.119  cpuTime=9.93  mem=21M577
14.75	   
14.75	   search
14.75	     run=13  nbConstraintChecks=329463270  nbPropagations=1304006  nbRevisions=29862984  nbUselessRevisions=28102673
14.75	     nbAssignments=12264  nbFailedAssignments=3386  nbBacktracks=5845  nbVisitedNodes=20073  nbRestartNogoods=53
14.75	     mapSize=5063  nbInferences=2218  nbTooLargeKeys=0
14.75	       =>  wckTime=13.679  cpuTime=13.45  mem=23M527
18.95	   
18.95	   search
18.95	     run=14  nbConstraintChecks=430875762  nbPropagations=1761611  nbRevisions=39999501  nbUselessRevisions=37624464
18.95	     nbAssignments=17312  nbFailedAssignments=4769  nbBacktracks=8764  nbVisitedNodes=28137  nbRestartNogoods=57
18.95	     mapSize=6946  nbInferences=2922  nbTooLargeKeys=0
18.95	       =>  wckTime=17.876  cpuTime=17.6  mem=25M543
22.93	   
22.93	   search
22.93	     run=15  nbConstraintChecks=520920159  nbPropagations=2304965  nbRevisions=52306814  nbUselessRevisions=49220801
22.93	     nbAssignments=25607  nbFailedAssignments=5957  nbBacktracks=13143  nbVisitedNodes=41094  nbRestartNogoods=65
22.93	     mapSize=9971  nbInferences=5608  nbTooLargeKeys=0
22.93	       =>  wckTime=21.855  cpuTime=21.55  mem=30M419
33.18	   
33.18	   search
33.18	     run=16  nbConstraintChecks=769225366  nbPropagations=3123965  nbRevisions=70574561  nbUselessRevisions=66383735
33.18	     nbAssignments=37069  nbFailedAssignments=9291  nbBacktracks=19721  nbVisitedNodes=59486  nbRestartNogoods=72
33.18	     mapSize=14228  nbInferences=7065  nbTooLargeKeys=0
33.18	       =>  wckTime=32.107  cpuTime=31.7  mem=35M295
58.29	   
58.29	   search
58.29	     run=17  nbConstraintChecks=1399728465  nbPropagations=4692725  nbRevisions=103692175  nbUselessRevisions=97452617
58.29	     nbAssignments=58103  nbFailedAssignments=15411  nbBacktracks=29573  nbVisitedNodes=95784  nbRestartNogoods=81
58.29	     mapSize=22875  nbInferences=12078  nbTooLargeKeys=0
58.29	       =>  wckTime=57.219  cpuTime=56.59  mem=46M997
76.58	   
76.58	   search
76.58	     run=18  nbConstraintChecks=1836632948  nbPropagations=6770249  nbRevisions=147340304  nbUselessRevisions=138423382
76.58	     nbAssignments=84325  nbFailedAssignments=21051  nbBacktracks=44353  nbVisitedNodes=136694  nbRestartNogoods=96
76.58	     mapSize=31805  nbInferences=17679  nbTooLargeKeys=0
76.58	       =>  wckTime=75.51  cpuTime=74.65  mem=32M175
99.40	   
99.40	   search
99.40	     run=19  nbConstraintChecks=2376220702  nbPropagations=9432562  nbRevisions=204098365  nbUselessRevisions=191791147
99.40	     nbAssignments=122751  nbFailedAssignments=28377  nbBacktracks=66524  nbVisitedNodes=196362  nbRestartNogoods=113
99.40	     mapSize=45856  nbInferences=26440  nbTooLargeKeys=0
99.40	       =>  wckTime=98.329  cpuTime=97.26  mem=54M58
138.57	   
138.57	   search
138.57	     run=20  nbConstraintChecks=3305640412  nbPropagations=12991764  nbRevisions=283238865  nbUselessRevisions=266479648
138.57	     nbAssignments=183436  nbFailedAssignments=41250  nbBacktracks=99780  nbVisitedNodes=294783  nbRestartNogoods=121
138.57	     mapSize=70435  nbInferences=40886  nbTooLargeKeys=0
138.57	       =>  wckTime=137.498  cpuTime=135.96  mem=61M379
214.87	   
214.87	   search
214.87	     run=21  nbConstraintChecks=5170864848  nbPropagations=18337724  nbRevisions=406134322  nbUselessRevisions=382901163
214.87	     nbAssignments=286774  nbFailedAssignments=61957  nbBacktracks=149659  nbVisitedNodes=467727  nbRestartNogoods=133
214.87	     mapSize=110350  nbInferences=73593  nbTooLargeKeys=0
214.87	       =>  wckTime=213.801  cpuTime=211.46  mem=97M662
282.27	   
282.27	   search
282.27	     run=22  nbConstraintChecks=6792079517  nbPropagations=25096671  nbRevisions=567171550  nbUselessRevisions=535835293
282.27	     nbAssignments=415366  nbFailedAssignments=84527  nbBacktracks=224478  nbVisitedNodes=668506  nbRestartNogoods=145
282.27	     mapSize=159555  nbInferences=104711  nbTooLargeKeys=0
282.27	       =>  wckTime=281.197  cpuTime=278.13  mem=138M978
403.31	   
403.31	   search
403.31	     run=23  nbConstraintChecks=9621187000  nbPropagations=34933141  nbRevisions=797270816  nbUselessRevisions=753989873
403.31	     nbAssignments=609463  nbFailedAssignments=124154  nbBacktracks=336705  nbVisitedNodes=972098  nbRestartNogoods=155
403.31	     mapSize=234066  nbInferences=146900  nbTooLargeKeys=0
403.31	       =>  wckTime=402.235  cpuTime=397.72  mem=173M715
977.64	   
977.64	   search
977.64	     run=24  nbConstraintChecks=23929537056  nbPropagations=61470308  nbRevisions=1360555687
977.64	     nbUselessRevisions=1285062880  nbAssignments=1020368  nbFailedAssignments=194954  nbBacktracks=505047
977.64	     nbVisitedNodes=1676110  nbRestartNogoods=179  mapSize=380371  nbInferences=318146  nbTooLargeKeys=0
977.64	       =>  wckTime=976.569  cpuTime=966.36  mem=301M443
1282.25	   
1282.25	   search
1282.25	     run=25  nbConstraintChecks=31107364538  nbPropagations=96517809  nbRevisions=2097895466
1282.25	     nbUselessRevisions=1979065892  nbAssignments=1448973  nbFailedAssignments=271317  nbBacktracks=757559
1282.25	     nbVisitedNodes=2339065  nbRestartNogoods=193  mapSize=537308  nbInferences=417827  nbTooLargeKeys=0
1282.25	       =>  wckTime=1281.18  cpuTime=1267.33  mem=410M160

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/node58/watcher-238870-1168360973 -o ROOT/results/node58/solver-238870-1168360973 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/238870-1168360973/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: 0.92 0.98 0.99 3/70 465
/proc/meminfo: memFree=1824040/2055920 swapFree=4192812/4192956
[pid=464] ppid=454 vsize=172 CPUtime=0
/proc/464/stat : 464 (java) R 454 464 367 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 184495304 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4870948 0 0 4096 0 0 0 0 17 0 0 0
/proc/464/statm: 43 24 18 14 0 3 0

[startup+0.10684 s]
/proc/loadavg: 0.92 0.98 0.99 3/70 465
/proc/meminfo: memFree=1824040/2055920 swapFree=4192812/4192956
[pid=464] ppid=454 vsize=914988 CPUtime=0.08
/proc/464/stat : 464 (java) R 454 464 367 0 -1 0 3030 0 1 0 6 2 0 0 22 0 8 0 184495304 936947712 2776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153799154 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/464/statm: 228747 2776 1439 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.51487 s]
/proc/loadavg: 0.92 0.98 0.99 3/70 465
/proc/meminfo: memFree=1824040/2055920 swapFree=4192812/4192956
[pid=464] ppid=454 vsize=915328 CPUtime=0.43
/proc/464/stat : 464 (java) R 454 464 367 0 -1 0 6293 0 10 0 37 6 0 0 21 0 8 0 184495304 937295872 6041 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/464/statm: 228832 6041 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 915328

[startup+1.33595 s]
/proc/loadavg: 0.92 0.98 0.99 4/88 508
/proc/meminfo: memFree=1756880/2055920 swapFree=4192812/4192956
[pid=464] ppid=454 vsize=915572 CPUtime=1.24
/proc/464/stat : 464 (java) R 454 464 367 0 -1 0 10548 0 10 0 115 9 0 0 25 0 8 0 184495304 937545728 10295 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073928420 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/464/statm: 228893 10295 2523 14 0 215363 0
[pid=464/tid=475] ppid=454 vsize=915572 CPUtime=0.05
/proc/464/task/475/stat : 475 (java) S 454 464 367 0 -1 64 719 0 0 0 5 0 0 0 16 0 8 0 184495308 937545728 10295 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=464/tid=478] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/478/stat : 478 (java) S 454 464 367 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184495308 937545728 10295 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=464/tid=479] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/479/stat : 479 (java) S 454 464 367 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 184495308 937545728 10295 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=464/tid=488] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/488/stat : 488 (java) S 454 464 367 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 184495312 937545728 10295 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=464/tid=489] ppid=454 vsize=915572 CPUtime=0.25
/proc/464/task/489/stat : 489 (java) S 454 464 367 0 -1 64 406 0 0 0 24 1 0 0 16 0 8 0 184495312 937545728 10295 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=464/tid=490] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/490/stat : 490 (java) S 454 464 367 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 184495312 937545728 10295 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=464/tid=491] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/491/stat : 491 (java) S 454 464 367 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184495312 937545728 10295 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 915572

[startup+2.97508 s]
/proc/loadavg: 1.01 1.00 1.00 4/88 508
/proc/meminfo: memFree=1690256/2055920 swapFree=4192812/4192956
[pid=464] ppid=454 vsize=915572 CPUtime=2.86
/proc/464/stat : 464 (java) R 454 464 367 0 -1 0 10563 0 10 0 277 9 0 0 25 0 8 0 184495304 937545728 10308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073945708 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/464/statm: 228893 10308 2524 14 0 215363 0
[pid=464/tid=475] ppid=454 vsize=915572 CPUtime=0.05
/proc/464/task/475/stat : 475 (java) S 454 464 367 0 -1 64 719 0 0 0 5 0 0 0 17 0 8 0 184495308 937545728 10308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=464/tid=478] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/478/stat : 478 (java) S 454 464 367 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184495308 937545728 10308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=464/tid=479] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/479/stat : 479 (java) S 454 464 367 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 184495308 937545728 10308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=464/tid=488] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/488/stat : 488 (java) S 454 464 367 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 184495312 937545728 10308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=464/tid=489] ppid=454 vsize=915572 CPUtime=0.28
/proc/464/task/489/stat : 489 (java) S 454 464 367 0 -1 64 417 0 0 0 27 1 0 0 15 0 8 0 184495312 937545728 10308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=464/tid=490] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/490/stat : 490 (java) S 454 464 367 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 184495312 937545728 10308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=464/tid=491] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/491/stat : 491 (java) S 454 464 367 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184495312 937545728 10308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 915572

[startup+6.18036 s]
/proc/loadavg: 1.01 1.00 1.00 3/89 509
/proc/meminfo: memFree=1684488/2055920 swapFree=4192812/4192956
[pid=464] ppid=454 vsize=915572 CPUtime=6.03
/proc/464/stat : 464 (java) R 454 464 367 0 -1 0 10579 0 10 0 593 10 0 0 25 0 8 0 184495304 937545728 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073938003 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/464/statm: 228893 10321 2524 14 0 215363 0
[pid=464/tid=475] ppid=454 vsize=915572 CPUtime=0.05
/proc/464/task/475/stat : 475 (java) S 454 464 367 0 -1 64 719 0 0 0 5 0 0 0 17 0 8 0 184495308 937545728 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=464/tid=478] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/478/stat : 478 (java) S 454 464 367 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184495308 937545728 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=464/tid=479] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/479/stat : 479 (java) S 454 464 367 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 184495308 937545728 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=464/tid=488] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/488/stat : 488 (java) S 454 464 367 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 184495312 937545728 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=464/tid=489] ppid=454 vsize=915572 CPUtime=0.32
/proc/464/task/489/stat : 489 (java) S 454 464 367 0 -1 64 431 0 0 0 30 2 0 0 15 0 8 0 184495312 937545728 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=464/tid=490] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/490/stat : 490 (java) S 454 464 367 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 184495312 937545728 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=464/tid=491] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/491/stat : 491 (java) S 454 464 367 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184495312 937545728 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.03
Current children cumulated vsize (KiB) 915572

[startup+12.6489 s]
/proc/loadavg: 1.16 1.03 1.01 3/89 509
/proc/meminfo: memFree=1684488/2055920 swapFree=4192812/4192956
[pid=464] ppid=454 vsize=915572 CPUtime=12.44
/proc/464/stat : 464 (java) R 454 464 367 0 -1 0 10584 0 10 0 1234 10 0 0 25 0 8 0 184495304 937545728 10325 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073967313 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/464/statm: 228893 10325 2524 14 0 215363 0
[pid=464/tid=475] ppid=454 vsize=915572 CPUtime=0.05
/proc/464/task/475/stat : 475 (java) S 454 464 367 0 -1 64 719 0 0 0 5 0 0 0 16 0 8 0 184495308 937545728 10325 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=464/tid=478] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/478/stat : 478 (java) S 454 464 367 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184495308 937545728 10325 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=464/tid=479] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/479/stat : 479 (java) S 454 464 367 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 184495308 937545728 10325 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=464/tid=488] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/488/stat : 488 (java) S 454 464 367 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 184495312 937545728 10325 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=464/tid=489] ppid=454 vsize=915572 CPUtime=0.33
/proc/464/task/489/stat : 489 (java) S 454 464 367 0 -1 64 435 0 0 0 31 2 0 0 16 0 8 0 184495312 937545728 10325 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=464/tid=490] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/490/stat : 490 (java) S 454 464 367 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 184495312 937545728 10325 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=464/tid=491] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/491/stat : 491 (java) S 454 464 367 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184495312 937545728 10325 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 915572

[startup+25.5141 s]
/proc/loadavg: 1.29 1.06 1.02 3/89 509
/proc/meminfo: memFree=1676360/2055920 swapFree=4192812/4192956
[pid=464] ppid=454 vsize=915572 CPUtime=25.18
/proc/464/stat : 464 (java) R 454 464 367 0 -1 0 12744 0 10 0 2507 11 0 0 25 0 8 0 184495304 937545728 12485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073928389 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/464/statm: 228893 12485 2524 14 0 215363 0
[pid=464/tid=475] ppid=454 vsize=915572 CPUtime=0.05
/proc/464/task/475/stat : 475 (java) S 454 464 367 0 -1 64 719 0 0 0 5 0 0 0 16 0 8 0 184495308 937545728 12485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=464/tid=478] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/478/stat : 478 (java) S 454 464 367 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184495308 937545728 12485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=464/tid=479] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/479/stat : 479 (java) S 454 464 367 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 184495308 937545728 12485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=464/tid=488] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/488/stat : 488 (java) S 454 464 367 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 184495312 937545728 12485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=464/tid=489] ppid=454 vsize=915572 CPUtime=0.33
/proc/464/task/489/stat : 489 (java) S 454 464 367 0 -1 64 435 0 0 0 31 2 0 0 16 0 8 0 184495312 937545728 12485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=464/tid=490] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/490/stat : 490 (java) S 454 464 367 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 184495312 937545728 12485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=464/tid=491] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/491/stat : 491 (java) S 454 464 367 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184495312 937545728 12485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.18
Current children cumulated vsize (KiB) 915572

[startup+51.1423 s]
/proc/loadavg: 1.53 1.14 1.04 3/89 509
/proc/meminfo: memFree=1624584/2055920 swapFree=4192812/4192956
[pid=464] ppid=454 vsize=915572 CPUtime=50.58
/proc/464/stat : 464 (java) R 454 464 367 0 -1 0 15685 0 10 0 5045 13 0 0 25 0 8 0 184495304 937545728 15426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073941000 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/464/statm: 228893 15426 2524 14 0 215363 0
[pid=464/tid=475] ppid=454 vsize=915572 CPUtime=0.05
/proc/464/task/475/stat : 475 (java) S 454 464 367 0 -1 64 719 0 0 0 5 0 0 0 16 0 8 0 184495308 937545728 15426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=464/tid=478] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/478/stat : 478 (java) S 454 464 367 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184495308 937545728 15426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=464/tid=479] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/479/stat : 479 (java) S 454 464 367 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 184495308 937545728 15426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=464/tid=488] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/488/stat : 488 (java) S 454 464 367 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 184495312 937545728 15426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=464/tid=489] ppid=454 vsize=915572 CPUtime=0.33
/proc/464/task/489/stat : 489 (java) S 454 464 367 0 -1 64 435 0 0 0 31 2 0 0 16 0 8 0 184495312 937545728 15426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=464/tid=490] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/490/stat : 490 (java) S 454 464 367 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 184495312 937545728 15426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=464/tid=491] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/491/stat : 491 (java) S 454 464 367 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184495312 937545728 15426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.58
Current children cumulated vsize (KiB) 915572

[startup+102.423 s]
/proc/loadavg: 1.81 1.28 1.10 3/89 509
/proc/meminfo: memFree=1597192/2055920 swapFree=4192812/4192956
[pid=464] ppid=454 vsize=915572 CPUtime=101.39
/proc/464/stat : 464 (java) R 454 464 367 0 -1 0 22503 0 10 0 10123 16 0 0 25 0 8 0 184495304 937545728 22243 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073944806 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/464/statm: 228893 22243 2528 14 0 215363 0
[pid=464/tid=475] ppid=454 vsize=915572 CPUtime=0.11
/proc/464/task/475/stat : 475 (java) S 454 464 367 0 -1 64 5465 0 0 0 9 2 0 0 16 0 8 0 184495308 937545728 22243 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=464/tid=478] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/478/stat : 478 (java) S 454 464 367 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184495308 937545728 22243 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=464/tid=479] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/479/stat : 479 (java) S 454 464 367 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 184495308 937545728 22243 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=464/tid=488] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/488/stat : 488 (java) S 454 464 367 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 184495312 937545728 22243 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=464/tid=489] ppid=454 vsize=915572 CPUtime=0.33
/proc/464/task/489/stat : 489 (java) S 454 464 367 0 -1 64 435 0 0 0 31 2 0 0 16 0 8 0 184495312 937545728 22243 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=464/tid=490] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/490/stat : 490 (java) S 454 464 367 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 184495312 937545728 22243 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=464/tid=491] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/491/stat : 491 (java) S 454 464 367 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184495312 937545728 22243 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.39
Current children cumulated vsize (KiB) 915572

[startup+162.448 s]
/proc/loadavg: 1.93 1.41 1.15 3/89 509
/proc/meminfo: memFree=1527304/2055920 swapFree=4192812/4192956
[pid=464] ppid=454 vsize=915572 CPUtime=160.88
/proc/464/stat : 464 (java) R 454 464 367 0 -1 0 29673 0 10 0 16069 19 0 0 25 0 8 0 184495304 937545728 29411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073941451 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1409.96
Current children cumulated vsize (KiB) 915572

[startup+1483.33 s]
/proc/loadavg: 2.00 2.04 1.80 3/89 707
/proc/meminfo: memFree=709256/2055920 swapFree=4192812/4192956
[pid=464] ppid=454 vsize=915572 CPUtime=1469.45
/proc/464/stat : 464 (java) R 454 464 367 0 -1 0 127913 0 10 0 146886 59 0 0 25 0 8 0 184495304 937545728 127634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073928513 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/464/statm: 228893 127634 2528 14 0 215363 0
[pid=464/tid=475] ppid=454 vsize=915572 CPUtime=2.05
/proc/464/task/475/stat : 475 (java) S 454 464 367 0 -1 64 110853 0 0 0 163 42 0 0 16 0 8 0 184495308 937545728 127634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=464/tid=478] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/478/stat : 478 (java) S 454 464 367 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184495308 937545728 127634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=464/tid=479] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/479/stat : 479 (java) S 454 464 367 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 184495308 937545728 127634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=464/tid=488] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/488/stat : 488 (java) S 454 464 367 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 184495312 937545728 127634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=464/tid=489] ppid=454 vsize=915572 CPUtime=0.33
/proc/464/task/489/stat : 489 (java) S 454 464 367 0 -1 64 438 0 0 0 31 2 0 0 16 0 8 0 184495312 937545728 127634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=464/tid=490] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/490/stat : 490 (java) S 454 464 367 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 184495312 937545728 127634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=464/tid=491] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/491/stat : 491 (java) S 454 464 367 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184495312 937545728 127634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1469.45
Current children cumulated vsize (KiB) 915572

[startup+1543.37 s]
/proc/loadavg: 2.00 2.03 1.81 3/89 707
/proc/meminfo: memFree=687752/2055920 swapFree=4192812/4192956
[pid=464] ppid=454 vsize=915572 CPUtime=1528.94
/proc/464/stat : 464 (java) R 454 464 367 0 -1 0 133280 0 10 0 152833 61 0 0 25 0 8 0 184495304 937545728 133000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073948777 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/464/statm: 228893 133000 2528 14 0 215363 0
[pid=464/tid=475] ppid=454 vsize=915572 CPUtime=2.15
/proc/464/task/475/stat : 475 (java) S 454 464 367 0 -1 64 116219 0 0 0 171 44 0 0 16 0 8 0 184495308 937545728 133000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=464/tid=478] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/478/stat : 478 (java) S 454 464 367 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184495308 937545728 133000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=464/tid=479] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/479/stat : 479 (java) S 454 464 367 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 184495308 937545728 133000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=464/tid=488] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/488/stat : 488 (java) S 454 464 367 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 184495312 937545728 133000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=464/tid=489] ppid=454 vsize=915572 CPUtime=0.33
/proc/464/task/489/stat : 489 (java) S 454 464 367 0 -1 64 438 0 0 0 31 2 0 0 16 0 8 0 184495312 937545728 133000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=464/tid=490] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/490/stat : 490 (java) S 454 464 367 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 184495312 937545728 133000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=464/tid=491] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/491/stat : 491 (java) S 454 464 367 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184495312 937545728 133000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1528.94
Current children cumulated vsize (KiB) 915572

[startup+1603.41 s]
/proc/loadavg: 2.00 2.02 1.82 3/89 707
/proc/meminfo: memFree=687688/2055920 swapFree=4192812/4192956
[pid=464] ppid=454 vsize=915572 CPUtime=1588.44
/proc/464/stat : 464 (java) R 454 464 367 0 -1 0 133280 0 10 0 158783 61 0 0 25 0 8 0 184495304 937545728 133000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073928428 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/464/statm: 228893 133000 2528 14 0 215363 0
[pid=464/tid=475] ppid=454 vsize=915572 CPUtime=2.15
/proc/464/task/475/stat : 475 (java) S 454 464 367 0 -1 64 116219 0 0 0 171 44 0 0 16 0 8 0 184495308 937545728 133000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=464/tid=478] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/478/stat : 478 (java) S 454 464 367 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184495308 937545728 133000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=464/tid=479] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/479/stat : 479 (java) S 454 464 367 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 184495308 937545728 133000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=464/tid=488] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/488/stat : 488 (java) S 454 464 367 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 184495312 937545728 133000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=464/tid=489] ppid=454 vsize=915572 CPUtime=0.33
/proc/464/task/489/stat : 489 (java) S 454 464 367 0 -1 64 438 0 0 0 31 2 0 0 16 0 8 0 184495312 937545728 133000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=464/tid=490] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/490/stat : 490 (java) S 454 464 367 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 184495312 937545728 133000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=464/tid=491] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/491/stat : 491 (java) S 454 464 367 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184495312 937545728 133000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1588.44
Current children cumulated vsize (KiB) 915572

[startup+1663.45 s]
/proc/loadavg: 2.00 2.01 1.83 3/89 707
/proc/meminfo: memFree=665608/2055920 swapFree=4192812/4192956
[pid=464] ppid=454 vsize=915572 CPUtime=1647.94
/proc/464/stat : 464 (java) R 454 464 367 0 -1 0 138786 0 10 0 164730 64 0 0 25 0 8 0 184495304 937545728 138505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073923440 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/464/statm: 228893 138505 2528 14 0 215363 0
[pid=464/tid=475] ppid=454 vsize=915572 CPUtime=2.25
/proc/464/task/475/stat : 475 (java) S 454 464 367 0 -1 64 121724 0 0 0 180 45 0 0 16 0 8 0 184495308 937545728 138505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=464/tid=478] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/478/stat : 478 (java) S 454 464 367 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184495308 937545728 138505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=464/tid=479] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/479/stat : 479 (java) S 454 464 367 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 184495308 937545728 138505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=464/tid=488] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/488/stat : 488 (java) S 454 464 367 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 184495312 937545728 138505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=464/tid=489] ppid=454 vsize=915572 CPUtime=0.33
/proc/464/task/489/stat : 489 (java) S 454 464 367 0 -1 64 438 0 0 0 31 2 0 0 16 0 8 0 184495312 937545728 138505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=464/tid=490] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/490/stat : 490 (java) S 454 464 367 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 184495312 937545728 138505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=464/tid=491] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/491/stat : 491 (java) S 454 464 367 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184495312 937545728 138505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1647.94
Current children cumulated vsize (KiB) 915572

[startup+1723.5 s]
/proc/loadavg: 2.00 2.01 1.83 3/89 707
/proc/meminfo: memFree=643848/2055920 swapFree=4192812/4192956
[pid=464] ppid=454 vsize=915572 CPUtime=1707.44
/proc/464/stat : 464 (java) R 454 464 367 0 -1 0 144215 0 10 0 170678 66 0 0 25 0 8 0 184495304 937545728 143933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073967258 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/464/statm: 228893 143933 2528 14 0 215363 0
[pid=464/tid=475] ppid=454 vsize=915572 CPUtime=2.35
/proc/464/task/475/stat : 475 (java) S 454 464 367 0 -1 64 127152 0 0 0 188 47 0 0 16 0 8 0 184495308 937545728 143933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=464/tid=478] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/478/stat : 478 (java) S 454 464 367 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184495308 937545728 143933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=464/tid=479] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/479/stat : 479 (java) S 454 464 367 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 184495308 937545728 143933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=464/tid=488] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/488/stat : 488 (java) S 454 464 367 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 184495312 937545728 143933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=464/tid=489] ppid=454 vsize=915572 CPUtime=0.33
/proc/464/task/489/stat : 489 (java) S 454 464 367 0 -1 64 438 0 0 0 31 2 0 0 16 0 8 0 184495312 937545728 143933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=464/tid=490] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/490/stat : 490 (java) S 454 464 367 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 184495312 937545728 143933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=464/tid=491] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/491/stat : 491 (java) S 454 464 367 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184495312 937545728 143933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1707.44
Current children cumulated vsize (KiB) 915572

[startup+1783.54 s]
/proc/loadavg: 2.06 2.02 1.85 3/89 707
/proc/meminfo: memFree=601096/2055920 swapFree=4192812/4192956
[pid=464] ppid=454 vsize=915572 CPUtime=1766.92
/proc/464/stat : 464 (java) R 454 464 367 0 -1 0 144215 0 10 0 176626 66 0 0 25 0 8 0 184495304 937545728 143933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073923431 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/464/statm: 228893 143933 2528 14 0 215363 0
[pid=464/tid=475] ppid=454 vsize=915572 CPUtime=2.35
/proc/464/task/475/stat : 475 (java) S 454 464 367 0 -1 64 127152 0 0 0 188 47 0 0 16 0 8 0 184495308 937545728 143933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=464/tid=478] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/478/stat : 478 (java) S 454 464 367 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184495308 937545728 143933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=464/tid=479] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/479/stat : 479 (java) S 454 464 367 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 184495308 937545728 143933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=464/tid=488] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/488/stat : 488 (java) S 454 464 367 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 184495312 937545728 143933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=464/tid=489] ppid=454 vsize=915572 CPUtime=0.33
/proc/464/task/489/stat : 489 (java) S 454 464 367 0 -1 64 438 0 0 0 31 2 0 0 16 0 8 0 184495312 937545728 143933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=464/tid=490] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/490/stat : 490 (java) S 454 464 367 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 184495312 937545728 143933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=464/tid=491] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/491/stat : 491 (java) S 454 464 367 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184495312 937545728 143933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1766.92
Current children cumulated vsize (KiB) 915572



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1816.89 s]
/proc/loadavg: 1.95 2.00 1.84 2/75 802
/proc/meminfo: memFree=1235320/2055920 swapFree=4192812/4192956
[pid=464] ppid=454 vsize=915572 CPUtime=1800
/proc/464/stat : 464 (java) R 454 464 367 0 -1 0 149470 0 10 0 179929 71 0 0 25 0 8 0 184495304 937545728 149187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073928400 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/464/statm: 228893 149187 2528 14 0 215363 0
[pid=464/tid=475] ppid=454 vsize=915572 CPUtime=2.45
/proc/464/task/475/stat : 475 (java) S 454 464 367 0 -1 64 132406 0 0 0 195 50 0 0 16 0 8 0 184495308 937545728 149187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=464/tid=478] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/478/stat : 478 (java) S 454 464 367 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184495308 937545728 149187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=464/tid=479] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/479/stat : 479 (java) S 454 464 367 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 184495308 937545728 149187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=464/tid=488] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/488/stat : 488 (java) S 454 464 367 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 184495312 937545728 149187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=464/tid=489] ppid=454 vsize=915572 CPUtime=0.33
/proc/464/task/489/stat : 489 (java) S 454 464 367 0 -1 64 438 0 0 0 31 2 0 0 16 0 8 0 184495312 937545728 149187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=464/tid=490] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/490/stat : 490 (java) S 454 464 367 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 184495312 937545728 149187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=464/tid=491] ppid=454 vsize=915572 CPUtime=0
/proc/464/task/491/stat : 491 (java) S 454 464 367 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184495312 937545728 149187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 915572

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

Child status: 143
Real time (s): 1817.04
CPU time (s): 1800.16
CPU user time (s): 1799.35
CPU system time (s): 0.807877
CPU usage (%): 99.0707
Max. virtual memory (cumulated for all children) (KiB): 915572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.35
system time used= 0.807877
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 149487
page faults= 10
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38325
involuntary context switches= 37759

runsolver used 2.24166 s user time and 5.9071 s system time

The end

Launcher Data (download as text)

Begin job on node58 on Tue Jan  9 16:42:53 UTC 2007


IDJOB= 238870
IDBENCH= 7025
FILE ID= node58/238870-1168360973

PBS_JOBID= 3504000

Free space on /tmp= 66552 MiB

BENCH NAME= HOME/pub/bench/CPAI06/blackHole/BH-4-13/BlackHole-4-13-e-1_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/238870-1168360973/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node58/watcher-238870-1168360973 -o ROOT/results/node58/solver-238870-1168360973 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/238870-1168360973/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  de93c5d317c976395f6ee058e260e016

RANDOM SEED= 913545676

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1824384 kB
Buffers:         43648 kB
Cached:         113228 kB
SwapCached:          0 kB
Active:          91732 kB
Inactive:        85508 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1824384 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            5820 kB
Writeback:           0 kB
Mapped:          30692 kB
Slab:            39884 kB
Committed_AS:  3406928 kB
PageTables:       1668 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= 66555 MiB



End job on node58 on Tue Jan  9 17:13:10 UTC 2007