Trace number 194928

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

General information on the benchmark

Namerandom/rand-2-50-23/
rand-2-50-23-587-230-31_ext.xml
MD5SUM11837e61d3857250de15237ade492712
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 variables50
Number of constraints473
Maximum constraint arity2
Maximum domain size23
Number of constraints which are defined in extension473
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.62	   
0.62	Abscon 109 (November, 2006)
0.62	   
0.62	   configuration
0.62	     name=mac.xml
0.66	   
0.66	   instance
0.66	     name=/tmp/evaluation/194928-1168069577/unknown.xml
0.69	   
0.69	   domains being loaded...
0.69	   
0.69	   variables being loaded...
0.73	     nbVariables=50  nbDomainTypes=1  minDomainSize=23  maxDomainSize=23
0.73	       =>  wckTime=0.103  cpuTime=0.08  mem=6M951
0.73	   
0.73	   relations being loaded...
0.87	   
0.87	   constraints being loaded...
1.01	     nbConstraints=473  nbRelationTypes=473  nbExtensionStructures=473  nbSharedExtensionStructures=0
1.01	     nbConflictsStructures=473  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=2522  maxDegree=25
1.01	     maxArity=2
1.01	       =>  wckTime=0.388  cpuTime=0.29  mem=17M695
1.06	   
1.06	   solver IterativeSystematicSolver being built... 
1.21	       =>  wckTime=0.58  cpuTime=0.42  mem=15M379
1.22	   
1.22	   preprocessing
1.22	     nbConstraintChecks=0  nbPropagations=50  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
1.22	     detectedInconsistency=no
1.22	       =>  wckTime=0.0080  cpuTime=0.0  mem=15M379
1.26	   
1.26	   search
1.26	     run=0  nbConstraintChecks=53194  nbPropagations=657  nbRevisions=7475  nbUselessRevisions=6146  nbAssignments=31
1.26	     nbFailedAssignments=9  nbBacktracks=12  nbVisitedNodes=48  nbRestartNogoods=0  mapSize=10  nbInferences=0
1.26	     nbTooLargeKeys=0
1.26	       =>  wckTime=0.055  cpuTime=0.03  mem=15M379
1.29	   
1.29	   search
1.29	     run=1  nbConstraintChecks=123938  nbPropagations=2124  nbRevisions=26128  nbUselessRevisions=21386
1.29	     nbAssignments=75  nbFailedAssignments=25  nbBacktracks=32  nbVisitedNodes=114  nbRestartNogoods=2  mapSize=25
1.29	     nbInferences=0  nbTooLargeKeys=0
1.29	       =>  wckTime=0.085  cpuTime=0.05  mem=15M379
1.31	   
1.31	   search
1.31	     run=2  nbConstraintChecks=215837  nbPropagations=4659  nbRevisions=59239  nbUselessRevisions=48463
1.31	     nbAssignments=128  nbFailedAssignments=42  nbBacktracks=59  nbVisitedNodes=197  nbRestartNogoods=3  mapSize=45
1.31	     nbInferences=0  nbTooLargeKeys=0
1.31	       =>  wckTime=0.105  cpuTime=0.07  mem=15M379
1.33	   
1.33	   search
1.33	     run=3  nbConstraintChecks=326921  nbPropagations=8521  nbRevisions=110965  nbUselessRevisions=90944
1.33	     nbAssignments=193  nbFailedAssignments=59  nbBacktracks=95  nbVisitedNodes=301  nbRestartNogoods=5  mapSize=74
1.33	     nbInferences=0  nbTooLargeKeys=0
1.33	       =>  wckTime=0.127  cpuTime=0.09  mem=15M379
1.36	   
1.36	   search
1.36	     run=4  nbConstraintChecks=490713  nbPropagations=14128  nbRevisions=187753  nbUselessRevisions=153675
1.36	     nbAssignments=284  nbFailedAssignments=93  nbBacktracks=145  nbVisitedNodes=452  nbRestartNogoods=7  mapSize=118
1.36	     nbInferences=0  nbTooLargeKeys=0
1.36	       =>  wckTime=0.156  cpuTime=0.12  mem=15M379
1.41	   
1.41	   search
1.41	     run=5  nbConstraintChecks=721780  nbPropagations=22394  nbRevisions=305824  nbUselessRevisions=250084
1.41	     nbAssignments=419  nbFailedAssignments=142  nbBacktracks=223  nbVisitedNodes=677  nbRestartNogoods=9  mapSize=188
1.41	     nbInferences=0  nbTooLargeKeys=0
1.41	       =>  wckTime=0.202  cpuTime=0.16  mem=15M379
1.47	   
1.47	   search
1.47	     run=6  nbConstraintChecks=1052756  nbPropagations=34496  nbRevisions=483104  nbUselessRevisions=395583
1.47	     nbAssignments=613  nbFailedAssignments=212  nbBacktracks=337  nbVisitedNodes=1005  nbRestartNogoods=11  mapSize=285
1.47	     nbInferences=0  nbTooLargeKeys=0
1.47	       =>  wckTime=0.263  cpuTime=0.22  mem=15M379
1.56	   
1.56	   search
1.56	     run=7  nbConstraintChecks=1552878  nbPropagations=52386  nbRevisions=748101  nbUselessRevisions=612671
1.56	     nbAssignments=899  nbFailedAssignments=317  nbBacktracks=509  nbVisitedNodes=1489  nbRestartNogoods=17  mapSize=424
1.56	     nbInferences=0  nbTooLargeKeys=0
1.56	       =>  wckTime=0.352  cpuTime=0.31  mem=15M379
1.69	   
1.69	   search
1.69	     run=8  nbConstraintChecks=2313484  nbPropagations=78687  nbRevisions=1152694  nbUselessRevisions=945953
1.69	     nbAssignments=1337  nbFailedAssignments=486  nbBacktracks=767  nbVisitedNodes=2237  nbRestartNogoods=21
1.69	     mapSize=640  nbInferences=0  nbTooLargeKeys=0
1.69	       =>  wckTime=0.485  cpuTime=0.44  mem=15M379
1.87	   
1.87	   search
1.87	     run=9  nbConstraintChecks=3285857  nbPropagations=116687  nbRevisions=1737822  nbUselessRevisions=1427688
1.87	     nbAssignments=1967  nbFailedAssignments=723  nbBacktracks=1151  nbVisitedNodes=3301  nbRestartNogoods=24
1.87	     mapSize=946  nbInferences=0  nbTooLargeKeys=0
1.87	       =>  wckTime=0.664  cpuTime=0.6  mem=15M379
1.93	   
1.93	   INFO : Stopping hyperNogood (mapSize=1036, nbTooLargekeys=0, mem=15M379)
2.16	   
2.16	   search
2.16	     run=10  nbConstraintChecks=5172102  nbPropagations=175217  nbRevisions=2638414  nbUselessRevisions=2165080
2.16	     nbAssignments=2980  nbFailedAssignments=1149  nbBacktracks=1728  nbVisitedNodes=5076  nbRestartNogoods=28
2.16	       =>  wckTime=0.951  cpuTime=0.88  mem=15M379
2.52	   
2.52	   search
2.52	     run=11  nbConstraintChecks=7629104  nbPropagations=261674  nbRevisions=3972422  nbUselessRevisions=3257704
2.52	     nbAssignments=4399  nbFailedAssignments=1692  nbBacktracks=2594  nbVisitedNodes=7521  nbRestartNogoods=32
2.52	       =>  wckTime=1.314  cpuTime=1.24  mem=15M379
3.06	   
3.06	   search
3.06	     run=12  nbConstraintChecks=11294486  nbPropagations=389649  nbRevisions=5954155  nbUselessRevisions=4879786
3.06	     nbAssignments=6528  nbFailedAssignments=2514  nbBacktracks=3892  nbVisitedNodes=11151  nbRestartNogoods=38
3.06	       =>  wckTime=1.856  cpuTime=1.78  mem=15M379
3.77	   
3.77	   search
3.77	     run=13  nbConstraintChecks=15992716  nbPropagations=572692  nbRevisions=8783000  nbUselessRevisions=7196165
3.77	     nbAssignments=9518  nbFailedAssignments=3549  nbBacktracks=5838  nbVisitedNodes=16130  nbRestartNogoods=46
3.77	       =>  wckTime=2.564  cpuTime=2.49  mem=15M379
5.01	   
5.01	   search
5.01	     run=14  nbConstraintChecks=24167566  nbPropagations=851846  nbRevisions=13125832  nbUselessRevisions=10757683
5.01	     nbAssignments=14498  nbFailedAssignments=5601  nbBacktracks=8759  nbVisitedNodes=24777  nbRestartNogoods=56
5.01	       =>  wckTime=3.798  cpuTime=3.72  mem=15M379
6.82	   
6.82	   search
6.82	     run=15  nbConstraintChecks=36578168  nbPropagations=1269121  nbRevisions=19680294  nbUselessRevisions=16136934
6.82	     nbAssignments=21653  nbFailedAssignments=8369  nbBacktracks=13138  nbVisitedNodes=37093  nbRestartNogoods=60
6.82	       =>  wckTime=5.61  cpuTime=5.53  mem=15M379
9.22	   
9.22	   search
9.22	     run=16  nbConstraintChecks=52316407  nbPropagations=1876578  nbRevisions=29153092  nbUselessRevisions=23906168
9.22	     nbAssignments=32041  nbFailedAssignments=12181  nbBacktracks=19706  nbVisitedNodes=54584  nbRestartNogoods=71
9.22	       =>  wckTime=8.014  cpuTime=7.93  mem=15M379
13.13	   
13.13	   search
13.13	     run=17  nbConstraintChecks=78913172  nbPropagations=2788217  nbRevisions=43380465  nbUselessRevisions=35573235
13.13	     nbAssignments=47965  nbFailedAssignments=18242  nbBacktracks=29559  nbVisitedNodes=81862  nbRestartNogoods=79
13.13	       =>  wckTime=11.922  cpuTime=11.84  mem=15M379
18.62	   
18.62	   search
18.62	     run=18  nbConstraintChecks=115216920  nbPropagations=4132255  nbRevisions=64310865  nbUselessRevisions=52748066
18.62	     nbAssignments=71140  nbFailedAssignments=26628  nbBacktracks=44339  nbVisitedNodes=120749  nbRestartNogoods=89
18.62	       =>  wckTime=17.416  cpuTime=17.33  mem=15M379
27.79	   
27.79	   search
27.79	     run=19  nbConstraintChecks=177252871  nbPropagations=6182259  nbRevisions=96459344  nbUselessRevisions=79153368
27.79	     nbAssignments=107737  nbFailedAssignments=41050  nbBacktracks=66507  nbVisitedNodes=183816  nbRestartNogoods=103
27.79	       =>  wckTime=26.582  cpuTime=26.49  mem=15M379
40.05	   
40.05	   search
40.05	     run=20  nbConstraintChecks=256095075  nbPropagations=9212584  nbRevisions=143820008  nbUselessRevisions=118090682
40.05	     nbAssignments=160864  nbFailedAssignments=60914  nbBacktracks=99759  nbVisitedNodes=274205  nbRestartNogoods=112
40.05	       =>  wckTime=38.843  cpuTime=38.75  mem=15M379
58.81	   
58.81	   search
58.81	     run=21  nbConstraintChecks=381252031  nbPropagations=13722040  nbRevisions=213940728  nbUselessRevisions=175670928
58.81	     nbAssignments=239707  nbFailedAssignments=89870  nbBacktracks=149638  nbVisitedNodes=407961  nbRestartNogoods=124
58.81	       =>  wckTime=57.598  cpuTime=57.5  mem=15M379
87.92	   
87.92	   search
87.92	     run=22  nbConstraintChecks=575177592  nbPropagations=20496806  nbRevisions=319648164  nbUselessRevisions=262514273
87.92	     nbAssignments=358690  nbFailedAssignments=134025  nbBacktracks=224456  nbVisitedNodes=610598  nbRestartNogoods=128
87.92	       =>  wckTime=86.71  cpuTime=86.6  mem=15M379
133.49	   
133.49	   search
133.49	     run=23  nbConstraintChecks=886392496  nbPropagations=30804160  nbRevisions=480290500  nbUselessRevisions=394317819
133.49	     nbAssignments=540258  nbFailedAssignments=203358  nbBacktracks=336683  nbVisitedNodes=921973  nbRestartNogoods=148
133.49	       =>  wckTime=132.278  cpuTime=132.16  mem=15M379
200.76	   
200.76	   search
200.76	     run=24  nbConstraintChecks=1340042156  nbPropagations=46299306  nbRevisions=723704019  nbUselessRevisions=594293107
200.76	     nbAssignments=810510  nbFailedAssignments=305258  nbBacktracks=505025  nbVisitedNodes=1383720  nbRestartNogoods=163
200.76	       =>  wckTime=199.55  cpuTime=199.4  mem=15M379
297.28	   
297.29	   search
297.29	     run=25  nbConstraintChecks=1991836346  nbPropagations=69355010  nbRevisions=1083168095
297.29	     nbUselessRevisions=889198523  nbAssignments=1209652  nbFailedAssignments=451880  nbBacktracks=757537
297.29	     nbVisitedNodes=2060258  nbRestartNogoods=175
297.29	       =>  wckTime=296.077  cpuTime=295.9  mem=15M379
449.71	   
449.71	   search
449.71	     run=26  nbConstraintChecks=3026321155  nbPropagations=104106348  nbRevisions=1629598541
449.71	     nbUselessRevisions=1338124794  nbAssignments=1819169  nbFailedAssignments=682616  nbBacktracks=1136304
449.71	     nbVisitedNodes=3100005  nbRestartNogoods=194
449.71	       =>  wckTime=448.499  cpuTime=448.26  mem=15M379
677.26	   
677.36	   search
677.36	     run=27  nbConstraintChecks=4566908137  nbPropagations=156604472  nbRevisions=2450728105
677.36	     nbUselessRevisions=2011926712  nbAssignments=2733863  nbFailedAssignments=1029148  nbBacktracks=1704456
677.36	     nbVisitedNodes=4660033  nbRestartNogoods=211
677.36	       =>  wckTime=676.057  cpuTime=675.74  mem=15M379
1013.50	   
1013.50	   search
1013.50	     run=28  nbConstraintChecks=6825693704  nbPropagations=235223320  nbRevisions=3681227220
1013.50	     nbUselessRevisions=3021949891  nbAssignments=4096357  nbFailedAssignments=1539405  nbBacktracks=2556684
1013.50	     nbVisitedNodes=6980697  nbRestartNogoods=223
1013.50	       =>  wckTime=1012.291  cpuTime=1011.77  mem=15M379
1525.54	   
1525.54	   search
1525.54	     run=29  nbConstraintChecks=10291014198  nbPropagations=353532586  nbRevisions=5536717996
1525.54	     nbUselessRevisions=4545755702  nbAssignments=6159712  nbFailedAssignments=2324408  nbBacktracks=3835024
1525.54	     nbVisitedNodes=10505258  nbRestartNogoods=239
1525.54	       =>  wckTime=1524.331  cpuTime=1523.63  mem=15M379

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/node62/watcher-194928-1168069577 -o ROOT/results/node62/solver-194928-1168069577 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/194928-1168069577/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.91 0.97 0.99 4/65 884
/proc/meminfo: memFree=1173912/2055920 swapFree=4192812/4192956
[pid=883] ppid=881 vsize=292 CPUtime=0
/proc/883/stat : 883 (java) D 881 883 32753 0 -1 0 54 0 0 0 0 0 0 0 20 0 1 0 155355650 299008 37 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 8106916 0 0 4096 0 18446744071563479169 0 0 17 1 0 0
/proc/883/statm: 73 37 29 14 0 5 0

[startup+0.104298 s]
/proc/loadavg: 0.91 0.97 0.99 4/65 884
/proc/meminfo: memFree=1173912/2055920 swapFree=4192812/4192956
[pid=883] ppid=881 vsize=47416 CPUtime=0.01
/proc/883/stat : 883 (java) R 881 883 32753 0 -1 0 867 0 20 0 0 1 0 0 18 0 1 0 155355650 48553984 635 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 8573916 0 4 0 7368 0 0 0 17 0 0 0
/proc/883/statm: 11854 635 519 14 0 1707 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47416

[startup+0.513324 s]
/proc/loadavg: 0.91 0.97 0.99 4/65 884
/proc/meminfo: memFree=1173912/2055920 swapFree=4192812/4192956
[pid=883] ppid=881 vsize=915724 CPUtime=0.24
/proc/883/stat : 883 (java) D 881 883 32753 0 -1 0 3989 0 62 0 17 7 0 0 17 0 8 0 155355650 937701376 3796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4151974723 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/883/statm: 228931 3796 1836 14 0 215426 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 915724

[startup+1.33548 s]
/proc/loadavg: 0.91 0.97 0.99 2/72 891
/proc/meminfo: memFree=1124888/2055920 swapFree=4192812/4192956
[pid=883] ppid=881 vsize=916188 CPUtime=1.04
/proc/883/stat : 883 (java) R 881 883 32753 0 -1 0 9567 0 69 0 91 13 0 0 16 0 8 0 155355650 938176512 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918484 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/883/statm: 229047 9373 2513 14 0 215517 0
[pid=883/tid=885] ppid=881 vsize=916188 CPUtime=0.03
/proc/883/task/885/stat : 885 (java) S 881 883 32753 0 -1 64 411 0 0 0 3 0 0 0 17 0 8 0 155355664 938176512 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=886] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/886/stat : 886 (java) S 881 883 32753 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155355664 938176512 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=887] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/887/stat : 887 (java) S 881 883 32753 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155355665 938176512 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=888] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/888/stat : 888 (java) S 881 883 32753 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155355672 938176512 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=889] ppid=881 vsize=916188 CPUtime=0.18
/proc/883/task/889/stat : 889 (java) S 881 883 32753 0 -1 64 380 0 0 0 17 1 0 0 16 0 8 0 155355672 938176512 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=890] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/890/stat : 890 (java) S 881 883 32753 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155355672 938176512 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=891] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/891/stat : 891 (java) S 881 883 32753 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155355672 938176512 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 916188

[startup+2.9858 s]
/proc/loadavg: 0.91 0.97 0.99 2/72 891
/proc/meminfo: memFree=1124440/2055920 swapFree=4192812/4192956
[pid=883] ppid=881 vsize=916188 CPUtime=2.68
/proc/883/stat : 883 (java) R 881 883 32753 0 -1 0 9587 0 69 0 255 13 0 0 17 0 8 0 155355650 938176512 9392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073825318 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/883/statm: 229047 9392 2513 14 0 215517 0
[pid=883/tid=885] ppid=881 vsize=916188 CPUtime=0.03
/proc/883/task/885/stat : 885 (java) S 881 883 32753 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 155355664 938176512 9392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=886] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/886/stat : 886 (java) S 881 883 32753 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155355664 938176512 9392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=887] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/887/stat : 887 (java) S 881 883 32753 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155355665 938176512 9392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=888] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/888/stat : 888 (java) S 881 883 32753 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155355672 938176512 9392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=889] ppid=881 vsize=916188 CPUtime=0.22
/proc/883/task/889/stat : 889 (java) S 881 883 32753 0 -1 64 399 0 0 0 21 1 0 0 15 0 8 0 155355672 938176512 9392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=890] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/890/stat : 890 (java) S 881 883 32753 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155355672 938176512 9392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=891] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/891/stat : 891 (java) S 881 883 32753 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155355672 938176512 9392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.68
Current children cumulated vsize (KiB) 916188

[startup+6.26445 s]
/proc/loadavg: 0.92 0.97 0.99 2/72 891
/proc/meminfo: memFree=1124440/2055920 swapFree=4192812/4192956
[pid=883] ppid=881 vsize=916188 CPUtime=5.96
/proc/883/stat : 883 (java) R 881 883 32753 0 -1 0 9588 0 69 0 583 13 0 0 20 0 8 0 155355650 938176512 9392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073852448 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/883/statm: 229047 9392 2513 14 0 215517 0
[pid=883/tid=885] ppid=881 vsize=916188 CPUtime=0.03
/proc/883/task/885/stat : 885 (java) S 881 883 32753 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 155355664 938176512 9392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=886] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/886/stat : 886 (java) S 881 883 32753 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155355664 938176512 9392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=887] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/887/stat : 887 (java) S 881 883 32753 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155355665 938176512 9392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=888] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/888/stat : 888 (java) S 881 883 32753 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155355672 938176512 9392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=889] ppid=881 vsize=916188 CPUtime=0.22
/proc/883/task/889/stat : 889 (java) S 881 883 32753 0 -1 64 399 0 0 0 21 1 0 0 16 0 8 0 155355672 938176512 9392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=890] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/890/stat : 890 (java) S 881 883 32753 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155355672 938176512 9392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=891] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/891/stat : 891 (java) S 881 883 32753 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155355672 938176512 9392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 916188

[startup+12.7447 s]
/proc/loadavg: 0.93 0.97 0.99 2/72 891
/proc/meminfo: memFree=1124448/2055920 swapFree=4192812/4192956
[pid=883] ppid=881 vsize=916188 CPUtime=12.44
/proc/883/stat : 883 (java) R 881 883 32753 0 -1 0 9589 0 69 0 1231 13 0 0 25 0 8 0 155355650 938176512 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812425 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/883/statm: 229047 9393 2513 14 0 215517 0
[pid=883/tid=885] ppid=881 vsize=916188 CPUtime=0.03
/proc/883/task/885/stat : 885 (java) S 881 883 32753 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 155355664 938176512 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=886] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/886/stat : 886 (java) S 881 883 32753 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155355664 938176512 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=887] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/887/stat : 887 (java) S 881 883 32753 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155355665 938176512 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=888] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/888/stat : 888 (java) S 881 883 32753 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155355672 938176512 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=889] ppid=881 vsize=916188 CPUtime=0.22
/proc/883/task/889/stat : 889 (java) S 881 883 32753 0 -1 64 400 0 0 0 21 1 0 0 16 0 8 0 155355672 938176512 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=890] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/890/stat : 890 (java) S 881 883 32753 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155355672 938176512 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=891] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/891/stat : 891 (java) S 881 883 32753 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155355672 938176512 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 916188

[startup+25.5733 s]
/proc/loadavg: 0.94 0.97 0.99 2/72 891
/proc/meminfo: memFree=1124640/2055920 swapFree=4192812/4192956
[pid=883] ppid=881 vsize=916188 CPUtime=25.26
/proc/883/stat : 883 (java) R 881 883 32753 0 -1 0 9589 0 69 0 2513 13 0 0 25 0 8 0 155355650 938176512 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813419 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/883/statm: 229047 9393 2513 14 0 215517 0
[pid=883/tid=885] ppid=881 vsize=916188 CPUtime=0.03
/proc/883/task/885/stat : 885 (java) S 881 883 32753 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 155355664 938176512 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=886] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/886/stat : 886 (java) S 881 883 32753 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155355664 938176512 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=887] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/887/stat : 887 (java) S 881 883 32753 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155355665 938176512 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=888] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/888/stat : 888 (java) S 881 883 32753 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155355672 938176512 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=889] ppid=881 vsize=916188 CPUtime=0.22
/proc/883/task/889/stat : 889 (java) S 881 883 32753 0 -1 64 400 0 0 0 21 1 0 0 16 0 8 0 155355672 938176512 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=890] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/890/stat : 890 (java) S 881 883 32753 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155355672 938176512 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=891] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/891/stat : 891 (java) S 881 883 32753 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155355672 938176512 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 916188

[startup+51.2513 s]
/proc/loadavg: 0.96 0.97 0.99 2/72 891
/proc/meminfo: memFree=1124704/2055920 swapFree=4192812/4192956
[pid=883] ppid=881 vsize=916188 CPUtime=50.94
/proc/883/stat : 883 (java) R 881 883 32753 0 -1 0 9590 0 69 0 5080 14 0 0 25 0 8 0 155355650 938176512 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812396 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/883/statm: 229047 9393 2513 14 0 215517 0
[pid=883/tid=885] ppid=881 vsize=916188 CPUtime=0.03
/proc/883/task/885/stat : 885 (java) S 881 883 32753 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 155355664 938176512 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=886] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/886/stat : 886 (java) S 881 883 32753 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155355664 938176512 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=887] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/887/stat : 887 (java) S 881 883 32753 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155355665 938176512 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=888] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/888/stat : 888 (java) S 881 883 32753 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155355672 938176512 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=889] ppid=881 vsize=916188 CPUtime=0.22
/proc/883/task/889/stat : 889 (java) S 881 883 32753 0 -1 64 400 0 0 0 21 1 0 0 16 0 8 0 155355672 938176512 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=890] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/890/stat : 890 (java) S 881 883 32753 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155355672 938176512 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=891] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/891/stat : 891 (java) S 881 883 32753 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155355672 938176512 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 916188

[startup+102.499 s]
/proc/loadavg: 0.98 0.97 0.99 2/72 891
/proc/meminfo: memFree=1124768/2055920 swapFree=4192812/4192956
[pid=883] ppid=881 vsize=916188 CPUtime=102.17
/proc/883/stat : 883 (java) R 881 883 32753 0 -1 0 9590 0 69 0 10203 14 0 0 25 0 8 0 155355650 938176512 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073880144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/883/statm: 229047 9393 2513 14 0 215517 0
[pid=883/tid=885] ppid=881 vsize=916188 CPUtime=0.03
/proc/883/task/885/stat : 885 (java) S 881 883 32753 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 155355664 938176512 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=886] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/886/stat : 886 (java) S 881 883 32753 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155355664 938176512 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=887] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/887/stat : 887 (java) S 881 883 32753 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155355665 938176512 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=888] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/888/stat : 888 (java) S 881 883 32753 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155355672 938176512 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=889] ppid=881 vsize=916188 CPUtime=0.22
/proc/883/task/889/stat : 889 (java) S 881 883 32753 0 -1 64 400 0 0 0 21 1 0 0 16 0 8 0 155355672 938176512 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=890] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/890/stat : 890 (java) S 881 883 32753 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155355672 938176512 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=891] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/891/stat : 891 (java) S 881 883 32753 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155355672 938176512 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 916188

[startup+162.584 s]
/proc/loadavg: 0.99 0.97 0.99 2/72 891
/proc/meminfo: memFree=1124768/2055920 swapFree=4192812/4192956
[pid=883] ppid=881 vsize=916188 CPUtime=162.23
/proc/883/stat : 883 (java) R 881 883 32753 0 -1 0 9590 0 69 0 16209 14 0 0 25 0 8 0 155355650 938176512 9393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073824615 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1423.38
Current children cumulated vsize (KiB) 916188

[startup+1484.34 s]
/proc/loadavg: 1.07 1.02 1.00 2/72 1089
/proc/meminfo: memFree=1124640/2055920 swapFree=4192812/4192956
[pid=883] ppid=881 vsize=916188 CPUtime=1483.43
/proc/883/stat : 883 (java) R 881 883 32753 0 -1 0 9592 0 69 0 148327 16 0 0 25 0 8 0 155355650 938176512 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073838776 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/883/statm: 229047 9395 2513 14 0 215517 0
[pid=883/tid=885] ppid=881 vsize=916188 CPUtime=0.03
/proc/883/task/885/stat : 885 (java) S 881 883 32753 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 155355664 938176512 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=886] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/886/stat : 886 (java) S 881 883 32753 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155355664 938176512 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=887] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/887/stat : 887 (java) S 881 883 32753 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155355665 938176512 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=888] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/888/stat : 888 (java) S 881 883 32753 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155355672 938176512 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=889] ppid=881 vsize=916188 CPUtime=0.22
/proc/883/task/889/stat : 889 (java) S 881 883 32753 0 -1 64 401 0 0 0 21 1 0 0 16 0 8 0 155355672 938176512 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=890] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/890/stat : 890 (java) S 881 883 32753 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155355672 938176512 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=891] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/891/stat : 891 (java) S 881 883 32753 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155355672 938176512 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1483.43
Current children cumulated vsize (KiB) 916188

[startup+1544.43 s]
/proc/loadavg: 1.02 1.01 1.00 2/72 1089
/proc/meminfo: memFree=1124576/2055920 swapFree=4192812/4192956
[pid=883] ppid=881 vsize=916188 CPUtime=1543.5
/proc/883/stat : 883 (java) R 881 883 32753 0 -1 0 9594 0 69 0 154334 16 0 0 25 0 8 0 155355650 938176512 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073840897 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/883/statm: 229047 9397 2513 14 0 215517 0
[pid=883/tid=885] ppid=881 vsize=916188 CPUtime=0.03
/proc/883/task/885/stat : 885 (java) S 881 883 32753 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 155355664 938176512 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=886] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/886/stat : 886 (java) S 881 883 32753 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155355664 938176512 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=887] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/887/stat : 887 (java) S 881 883 32753 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155355665 938176512 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=888] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/888/stat : 888 (java) S 881 883 32753 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155355672 938176512 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=889] ppid=881 vsize=916188 CPUtime=0.22
/proc/883/task/889/stat : 889 (java) S 881 883 32753 0 -1 64 402 0 0 0 21 1 0 0 16 0 8 0 155355672 938176512 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=890] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/890/stat : 890 (java) S 881 883 32753 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155355672 938176512 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=891] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/891/stat : 891 (java) S 881 883 32753 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155355672 938176512 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1543.5
Current children cumulated vsize (KiB) 916188

[startup+1604.51 s]
/proc/loadavg: 1.01 1.00 1.00 2/72 1089
/proc/meminfo: memFree=1124576/2055920 swapFree=4192812/4192956
[pid=883] ppid=881 vsize=916188 CPUtime=1603.56
/proc/883/stat : 883 (java) R 881 883 32753 0 -1 0 9594 0 69 0 160340 16 0 0 25 0 8 0 155355650 938176512 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816232 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/883/statm: 229047 9397 2513 14 0 215517 0
[pid=883/tid=885] ppid=881 vsize=916188 CPUtime=0.03
/proc/883/task/885/stat : 885 (java) S 881 883 32753 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 155355664 938176512 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=886] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/886/stat : 886 (java) S 881 883 32753 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155355664 938176512 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=887] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/887/stat : 887 (java) S 881 883 32753 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155355665 938176512 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=888] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/888/stat : 888 (java) S 881 883 32753 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155355672 938176512 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=889] ppid=881 vsize=916188 CPUtime=0.22
/proc/883/task/889/stat : 889 (java) S 881 883 32753 0 -1 64 402 0 0 0 21 1 0 0 16 0 8 0 155355672 938176512 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=890] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/890/stat : 890 (java) S 881 883 32753 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155355672 938176512 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=891] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/891/stat : 891 (java) S 881 883 32753 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155355672 938176512 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1603.56
Current children cumulated vsize (KiB) 916188

[startup+1664.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 1089
/proc/meminfo: memFree=1124576/2055920 swapFree=4192812/4192956
[pid=883] ppid=881 vsize=916188 CPUtime=1663.63
/proc/883/stat : 883 (java) R 881 883 32753 0 -1 0 9594 0 69 0 166347 16 0 0 25 0 8 0 155355650 938176512 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073825398 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/883/statm: 229047 9397 2513 14 0 215517 0
[pid=883/tid=885] ppid=881 vsize=916188 CPUtime=0.03
/proc/883/task/885/stat : 885 (java) S 881 883 32753 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 155355664 938176512 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=886] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/886/stat : 886 (java) S 881 883 32753 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155355664 938176512 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=887] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/887/stat : 887 (java) S 881 883 32753 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155355665 938176512 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=888] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/888/stat : 888 (java) S 881 883 32753 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155355672 938176512 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=889] ppid=881 vsize=916188 CPUtime=0.22
/proc/883/task/889/stat : 889 (java) S 881 883 32753 0 -1 64 402 0 0 0 21 1 0 0 16 0 8 0 155355672 938176512 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=890] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/890/stat : 890 (java) S 881 883 32753 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155355672 938176512 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=891] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/891/stat : 891 (java) S 881 883 32753 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155355672 938176512 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1663.63
Current children cumulated vsize (KiB) 916188

[startup+1724.69 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 1089
/proc/meminfo: memFree=1124640/2055920 swapFree=4192812/4192956
[pid=883] ppid=881 vsize=916188 CPUtime=1723.69
/proc/883/stat : 883 (java) R 881 883 32753 0 -1 0 9594 0 69 0 172353 16 0 0 25 0 8 0 155355650 938176512 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813441 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/883/statm: 229047 9397 2513 14 0 215517 0
[pid=883/tid=885] ppid=881 vsize=916188 CPUtime=0.03
/proc/883/task/885/stat : 885 (java) S 881 883 32753 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 155355664 938176512 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=886] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/886/stat : 886 (java) S 881 883 32753 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155355664 938176512 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=887] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/887/stat : 887 (java) S 881 883 32753 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155355665 938176512 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=888] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/888/stat : 888 (java) S 881 883 32753 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155355672 938176512 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=889] ppid=881 vsize=916188 CPUtime=0.22
/proc/883/task/889/stat : 889 (java) S 881 883 32753 0 -1 64 402 0 0 0 21 1 0 0 16 0 8 0 155355672 938176512 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=890] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/890/stat : 890 (java) S 881 883 32753 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155355672 938176512 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=891] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/891/stat : 891 (java) S 881 883 32753 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155355672 938176512 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1723.69
Current children cumulated vsize (KiB) 916188

[startup+1784.76 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 1089
/proc/meminfo: memFree=1124640/2055920 swapFree=4192812/4192956
[pid=883] ppid=881 vsize=916188 CPUtime=1783.75
/proc/883/stat : 883 (java) R 881 883 32753 0 -1 0 9594 0 69 0 178359 16 0 0 25 0 8 0 155355650 938176512 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336163 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/883/statm: 229047 9397 2513 14 0 215517 0
[pid=883/tid=885] ppid=881 vsize=916188 CPUtime=0.03
/proc/883/task/885/stat : 885 (java) S 881 883 32753 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 155355664 938176512 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=886] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/886/stat : 886 (java) S 881 883 32753 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155355664 938176512 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=887] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/887/stat : 887 (java) S 881 883 32753 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155355665 938176512 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=888] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/888/stat : 888 (java) S 881 883 32753 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155355672 938176512 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=889] ppid=881 vsize=916188 CPUtime=0.22
/proc/883/task/889/stat : 889 (java) S 881 883 32753 0 -1 64 402 0 0 0 21 1 0 0 16 0 8 0 155355672 938176512 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=890] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/890/stat : 890 (java) S 881 883 32753 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155355672 938176512 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=891] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/891/stat : 891 (java) S 881 883 32753 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155355672 938176512 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1783.75
Current children cumulated vsize (KiB) 916188



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 1089
/proc/meminfo: memFree=1124640/2055920 swapFree=4192812/4192956
[pid=883] ppid=881 vsize=916188 CPUtime=1800.09
/proc/883/stat : 883 (java) R 881 883 32753 0 -1 0 9594 0 69 0 179993 16 0 0 25 0 8 0 155355650 938176512 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336163 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/883/statm: 229047 9397 2513 14 0 215517 0
[pid=883/tid=885] ppid=881 vsize=916188 CPUtime=0.03
/proc/883/task/885/stat : 885 (java) S 881 883 32753 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 155355664 938176512 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=886] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/886/stat : 886 (java) S 881 883 32753 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155355664 938176512 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=887] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/887/stat : 887 (java) S 881 883 32753 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155355665 938176512 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=888] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/888/stat : 888 (java) S 881 883 32753 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155355672 938176512 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=889] ppid=881 vsize=916188 CPUtime=0.22
/proc/883/task/889/stat : 889 (java) S 881 883 32753 0 -1 64 402 0 0 0 21 1 0 0 16 0 8 0 155355672 938176512 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=890] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/890/stat : 890 (java) S 881 883 32753 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155355672 938176512 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=883/tid=891] ppid=881 vsize=916188 CPUtime=0
/proc/883/task/891/stat : 891 (java) S 881 883 32753 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155355672 938176512 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 916188

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

Child status: 143
Real time (s): 1801.16
CPU time (s): 1800.16
CPU user time (s): 1799.98
CPU system time (s): 0.172973
CPU usage (%): 99.944
Max. virtual memory (cumulated for all children) (KiB): 916188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.98
system time used= 0.172973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9612
page faults= 69
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37413
involuntary context switches= 25767

runsolver used 1.66975 s user time and 4.72228 s system time

The end

Launcher Data (download as text)

Begin job on node62 on Sat Jan  6 07:46:19 UTC 2007


IDJOB= 194928
IDBENCH= 3240
FILE ID= node62/194928-1168069577

PBS_JOBID= 3475884

Free space on /tmp= 66550 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-31_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/194928-1168069577/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node62/watcher-194928-1168069577 -o ROOT/results/node62/solver-194928-1168069577 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/194928-1168069577/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  11837e61d3857250de15237ade492712

RANDOM SEED= 917990886

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.259
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.259
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:       1174392 kB
Buffers:         58664 kB
Cached:         730000 kB
SwapCached:          0 kB
Active:         100736 kB
Inactive:       703236 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1174392 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2124 kB
Writeback:           0 kB
Mapped:          25484 kB
Slab:            63556 kB
Committed_AS:  2783920 kB
PageTables:       1464 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= 66550 MiB



End job on node62 on Sat Jan  6 08:16:21 UTC 2007