Trace number 239003

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.13 1801.9

General information on the benchmark

Nameqcp-qwh/QCP-25/
qcp-25-264-2_ext.xml
MD5SUMf8d2fc979bd99a32a7a551181d053817
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark10.8084
SatisfiableYES
(Un)Satisfiability was proved
Number of variables625
Number of constraints15000
Maximum constraint arity2
Maximum domain size25
Number of constraints which are defined in extension15000
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=esac.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/239003-1168362791/unknown.xml
0.35	   
0.35	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.46	     nbVariables=625  nbDomainTypes=26  minDomainSize=1  maxDomainSize=25
0.46	       =>  wckTime=0.168  cpuTime=0.14  mem=8M869
0.46	   
0.46	   relations being loaded...
0.47	   
0.47	   constraints being loaded...
0.93	     nbConstraints=10142  nbRelationTypes=27  nbSingletonDomainVariables=361  nbExtensionStructures=51
0.93	     nbSharedExtensionStructures=10091  nbConflictsStructures=51  nbSharedConflictsStructures=10091
0.93	     nbSharedBinaryRepresentations=1323  maxDegree=48  maxArity=2
0.93	       =>  wckTime=0.636  cpuTime=0.51  mem=39M133
1.04	   
1.04	   solver IterativeSystematicSolver being built... 
1.23	       =>  wckTime=0.934  cpuTime=0.66  mem=22M89
1.56	   
1.57	   preprocessing
1.57	     nbConstraintChecks=187429  nbPropagations=3948  nbRevisions=42317  nbUselessRevisions=33726  nbSingletonTests=710
1.57	     nbEffectiveSingletonTests=0  nbESACBranches=15  nbRemovedValues=5431  detectedInconsistency=no
1.57	       =>  wckTime=0.328  cpuTime=0.29  mem=22M89
1.63	   
1.63	   search
1.63	     run=0  nbConstraintChecks=12238  nbPropagations=4556  nbRevisions=49156  nbUselessRevisions=39701
1.63	     nbAssignments=107  nbFailedAssignments=6  nbBacktracks=33  nbVisitedNodes=121  nbRestartNogoods=0  mapSize=10
1.63	     nbInferences=0  nbTooLargeKeys=0
1.63	       =>  wckTime=0.402  cpuTime=0.35  mem=23M96
1.70	   
1.71	   search
1.71	     run=1  nbConstraintChecks=39145  nbPropagations=10482  nbRevisions=113211  nbUselessRevisions=92532
1.71	     nbAssignments=330  nbFailedAssignments=17  nbBacktracks=48  nbVisitedNodes=258  nbRestartNogoods=3  mapSize=25
1.71	     nbInferences=0  nbTooLargeKeys=0
1.71	       =>  wckTime=0.472  cpuTime=0.42  mem=23M96
1.80	   
1.81	   search
1.81	     run=2  nbConstraintChecks=78783  nbPropagations=18418  nbRevisions=199242  nbUselessRevisions=164965
1.81	     nbAssignments=656  nbFailedAssignments=26  nbBacktracks=83  nbVisitedNodes=382  nbRestartNogoods=9  mapSize=38
1.81	     nbInferences=0  nbTooLargeKeys=0
1.81	       =>  wckTime=0.567  cpuTime=0.51  mem=23M96
1.84	   
1.84	   search
1.84	     run=3  nbConstraintChecks=92002  nbPropagations=26935  nbRevisions=292794  nbUselessRevisions=244018
1.84	     nbAssignments=746  nbFailedAssignments=33  nbBacktracks=119  nbVisitedNodes=487  nbRestartNogoods=10  mapSize=51
1.84	     nbInferences=0  nbTooLargeKeys=0
1.84	       =>  wckTime=0.606  cpuTime=0.55  mem=23M96
1.90	   
1.90	   search
1.90	     run=4  nbConstraintChecks=111152  nbPropagations=36288  nbRevisions=397524  nbUselessRevisions=333014
1.90	     nbAssignments=883  nbFailedAssignments=43  nbBacktracks=169  nbVisitedNodes=633  nbRestartNogoods=12  mapSize=65
1.90	     nbInferences=0  nbTooLargeKeys=0
1.90	       =>  wckTime=0.663  cpuTime=0.6  mem=23M96
1.97	   
1.98	   search
1.98	     run=5  nbConstraintChecks=144045  nbPropagations=47056  nbRevisions=521000  nbUselessRevisions=438539
1.98	     nbAssignments=1102  nbFailedAssignments=56  nbBacktracks=249  nbVisitedNodes=810  nbRestartNogoods=16  mapSize=92
1.98	     nbInferences=0  nbTooLargeKeys=0
1.98	       =>  wckTime=0.737  cpuTime=0.67  mem=24M69
2.04	   
2.05	   search
2.05	     run=6  nbConstraintChecks=172646  nbPropagations=59024  nbRevisions=661297  nbUselessRevisions=558716
2.05	     nbAssignments=1298  nbFailedAssignments=88  nbBacktracks=362  nbVisitedNodes=1068  nbRestartNogoods=18  mapSize=151
2.05	     nbInferences=0  nbTooLargeKeys=0
2.05	       =>  wckTime=0.81  cpuTime=0.75  mem=24M69
2.13	   
2.14	   search
2.14	     run=7  nbConstraintChecks=205725  nbPropagations=72261  nbRevisions=821340  nbUselessRevisions=696287
2.14	     nbAssignments=1551  nbFailedAssignments=125  nbBacktracks=538  nbVisitedNodes=1384  nbRestartNogoods=21
2.14	     mapSize=212  nbInferences=0  nbTooLargeKeys=0
2.14	       =>  wckTime=0.9  cpuTime=0.83  mem=24M69
2.28	   
2.28	   search
2.28	     run=8  nbConstraintChecks=270480  nbPropagations=87579  nbRevisions=1022628  nbUselessRevisions=870795
2.28	     nbAssignments=1945  nbFailedAssignments=165  nbBacktracks=825  nbVisitedNodes=1849  nbRestartNogoods=22
2.28	     mapSize=279  nbInferences=0  nbTooLargeKeys=0
2.28	       =>  wckTime=1.049  cpuTime=0.98  mem=24M69
2.54	   
2.54	   search
2.54	     run=9  nbConstraintChecks=435321  nbPropagations=107966  nbRevisions=1324559  nbUselessRevisions=1134713
2.54	     nbAssignments=2652  nbFailedAssignments=221  nbBacktracks=1222  nbVisitedNodes=2484  nbRestartNogoods=26
2.54	     mapSize=404  nbInferences=0  nbTooLargeKeys=0
2.54	       =>  wckTime=1.311  cpuTime=1.24  mem=25M43
2.79	   
2.79	   search
2.79	     run=10  nbConstraintChecks=548606  nbPropagations=132280  nbRevisions=1695686  nbUselessRevisions=1460214
2.79	     nbAssignments=3399  nbFailedAssignments=299  nbBacktracks=1799  nbVisitedNodes=3353  nbRestartNogoods=30
2.79	     mapSize=551  nbInferences=0  nbTooLargeKeys=0
2.79	       =>  wckTime=1.559  cpuTime=1.48  mem=26M17
3.15	   
3.15	   search
3.15	     run=11  nbConstraintChecks=709405  nbPropagations=162789  nbRevisions=2159823  nbUselessRevisions=1867394
3.15	     nbAssignments=4533  nbFailedAssignments=492  nbBacktracks=2675  nbVisitedNodes=4852  nbRestartNogoods=33
3.15	     mapSize=893  nbInferences=0  nbTooLargeKeys=0
3.15	       =>  wckTime=1.917  cpuTime=1.83  mem=26M990
3.29	   
3.29	   INFO : Stopping hyperNogood (mapSize=1002, nbTooLargekeys=0, mem=26M990)
3.63	   
3.63	   search
3.63	     run=12  nbConstraintChecks=1004646  nbPropagations=203727  nbRevisions=2801583  nbUselessRevisions=2431467
3.63	     nbAssignments=6269  nbFailedAssignments=778  nbBacktracks=3973  nbVisitedNodes=7094  nbRestartNogoods=39
3.63	       =>  wckTime=2.397  cpuTime=2.31  mem=26M990
4.34	   
4.34	   search
4.34	     run=13  nbConstraintChecks=1489278  nbPropagations=259952  nbRevisions=3743455  nbUselessRevisions=3263211
4.34	     nbAssignments=8652  nbFailedAssignments=1054  nbBacktracks=5920  nbVisitedNodes=9900  nbRestartNogoods=46
4.34	       =>  wckTime=3.106  cpuTime=3.01  mem=26M990
5.44	   
5.44	   search
5.44	     run=14  nbConstraintChecks=2354829  nbPropagations=341618  nbRevisions=5219138  nbUselessRevisions=4570165
5.44	     nbAssignments=12133  nbFailedAssignments=1554  nbBacktracks=8840  nbVisitedNodes=14337  nbRestartNogoods=54
5.44	       =>  wckTime=4.205  cpuTime=4.11  mem=26M990
6.89	   
6.89	   search
6.89	     run=15  nbConstraintChecks=3369941  nbPropagations=454394  nbRevisions=7358741  nbUselessRevisions=6478649
6.89	     nbAssignments=17353  nbFailedAssignments=2160  nbBacktracks=13219  nbVisitedNodes=20600  nbRestartNogoods=62
6.89	       =>  wckTime=5.663  cpuTime=5.56  mem=26M990
9.51	   
9.51	   search
9.51	     run=16  nbConstraintChecks=5546373  nbPropagations=625707  nbRevisions=10977688  nbUselessRevisions=9735358
9.51	     nbAssignments=25341  nbFailedAssignments=3195  nbBacktracks=19791  nbVisitedNodes=30280  nbRestartNogoods=69
9.51	       =>  wckTime=8.281  cpuTime=8.18  mem=26M990
13.71	   
13.71	   search
13.71	     run=17  nbConstraintChecks=8796070  nbPropagations=899942  nbRevisions=16643866  nbUselessRevisions=14824687
13.71	     nbAssignments=38342  nbFailedAssignments=5981  nbBacktracks=29647  nbVisitedNodes=48041  nbRestartNogoods=81
13.71	       =>  wckTime=12.474  cpuTime=12.36  mem=26M990
21.18	   
21.18	   search
21.18	     run=18  nbConstraintChecks=15207609  nbPropagations=1364322  nbRevisions=26152337  nbUselessRevisions=23325543
21.18	     nbAssignments=57568  nbFailedAssignments=10366  nbBacktracks=44427  nbVisitedNodes=75431  nbRestartNogoods=92
21.18	       =>  wckTime=19.953  cpuTime=19.84  mem=26M990
31.21	   
31.21	   search
31.21	     run=19  nbConstraintChecks=23809479  nbPropagations=2070082  nbRevisions=41558058  nbUselessRevisions=37203574
31.21	     nbAssignments=84099  nbFailedAssignments=14664  nbBacktracks=66595  nbVisitedNodes=110138  nbRestartNogoods=102
31.21	       =>  wckTime=29.981  cpuTime=29.86  mem=26M990
48.67	   
48.67	   search
48.67	     run=20  nbConstraintChecks=39690348  nbPropagations=3218855  nbRevisions=67813129  nbUselessRevisions=60962314
48.67	     nbAssignments=126004  nbFailedAssignments=23199  nbBacktracks=99853  nbVisitedNodes=168364  nbRestartNogoods=114
48.67	       =>  wckTime=47.442  cpuTime=47.29  mem=27M964
75.56	   
75.56	   search
75.56	     run=21  nbConstraintChecks=64499710  nbPropagations=5052649  nbRevisions=110305939  nbUselessRevisions=99401782
75.56	     nbAssignments=190001  nbFailedAssignments=37157  nbBacktracks=149735  nbVisitedNodes=258972  nbRestartNogoods=129
75.56	       =>  wckTime=74.328  cpuTime=74.16  mem=27M964
114.32	   
114.32	   search
114.32	     run=22  nbConstraintChecks=100928524  nbPropagations=7857126  nbRevisions=177273665  nbUselessRevisions=160086344
114.32	     nbAssignments=284581  nbFailedAssignments=56881  nbBacktracks=224566  nbVisitedNodes=390786  nbRestartNogoods=135
114.32	       =>  wckTime=113.086  cpuTime=112.88  mem=27M964
172.59	   
172.59	   search
172.59	     run=23  nbConstraintChecks=154190347  nbPropagations=12127902  nbRevisions=279198900  nbUselessRevisions=252432501
172.59	     nbAssignments=427818  nbFailedAssignments=87830  nbBacktracks=336799  nbVisitedNodes=593691  nbRestartNogoods=140
172.59	       =>  wckTime=171.359  cpuTime=171.1  mem=27M964
259.47	   
259.47	   search
259.47	     run=24  nbConstraintChecks=233272693  nbPropagations=18595286  nbRevisions=433483123  nbUselessRevisions=392185896
259.47	     nbAssignments=639261  nbFailedAssignments=130798  nbBacktracks=505142  nbVisitedNodes=889270  nbRestartNogoods=157
259.47	       =>  wckTime=258.241  cpuTime=257.9  mem=27M964
400.64	   
400.71	   search
400.71	     run=25  nbConstraintChecks=366736292  nbPropagations=28659291  nbRevisions=674413832  nbUselessRevisions=610240344
400.71	     nbAssignments=960231  nbFailedAssignments=199195  nbBacktracks=757654  nbVisitedNodes=1345339  nbRestartNogoods=169
400.71	       =>  wckTime=399.409  cpuTime=398.93  mem=27M964
596.62	   
596.62	   search
596.62	     run=26  nbConstraintChecks=539887582  nbPropagations=43714299  nbRevisions=1029087037  nbUselessRevisions=931151886
596.62	     nbAssignments=1450102  nbFailedAssignments=310136  nbBacktracks=1136426  nbVisitedNodes=2042248
596.62	     nbRestartNogoods=184
596.62	       =>  wckTime=595.387  cpuTime=594.71  mem=27M964
891.00	   
891.01	   search
891.01	     run=27  nbConstraintChecks=805708104  nbPropagations=66152861  nbRevisions=1561360227
891.01	     nbUselessRevisions=1413564597  nbAssignments=2162368  nbFailedAssignments=454153  nbBacktracks=1704592
891.01	     nbVisitedNodes=3033689  nbRestartNogoods=200
891.01	       =>  wckTime=889.773  cpuTime=888.81  mem=27M964
1355.77	   
1355.77	   search
1355.77	     run=28  nbConstraintChecks=1229098916  nbPropagations=100310833  nbRevisions=2371387988
1355.77	     nbUselessRevisions=2147321561  nbAssignments=3242927  nbFailedAssignments=682435  nbBacktracks=2556823
1355.77	     nbVisitedNodes=4556891  nbRestartNogoods=213
1355.77	       =>  wckTime=1354.541  cpuTime=1353.12  mem=27M964

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-239003-1168362791 -o ROOT/results/node58/solver-239003-1168362791 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/239003-1168362791/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 1.95 2.00 1.84 3/68 853
/proc/meminfo: memFree=1822448/2055920 swapFree=4192812/4192956
[pid=852] ppid=850 vsize=1784 CPUtime=0
/proc/852/stat : 852 (java) R 850 852 340 0 -1 0 325 0 0 0 0 0 0 0 18 0 1 0 184677109 1826816 120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 134549483 0 0 4096 0 0 0 0 17 0 0 0
/proc/852/statm: 446 124 91 14 0 91 0

[startup+0.103435 s]
/proc/loadavg: 1.95 2.00 1.84 3/68 853
/proc/meminfo: memFree=1822448/2055920 swapFree=4192812/4192956
[pid=852] ppid=850 vsize=914988 CPUtime=0.09
/proc/852/stat : 852 (java) R 850 852 340 0 -1 0 3076 0 1 0 7 2 0 0 16 0 8 0 184677109 936947712 2822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155839970 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/852/statm: 228747 2822 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.511468 s]
/proc/loadavg: 1.95 2.00 1.84 3/68 853
/proc/meminfo: memFree=1822448/2055920 swapFree=4192812/4192956
[pid=852] ppid=850 vsize=915328 CPUtime=0.49
/proc/852/stat : 852 (java) R 850 852 340 0 -1 0 6650 0 1 0 45 4 0 0 16 0 8 0 184677109 937295872 6389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073645985 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/852/statm: 228832 6389 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33554 s]
/proc/loadavg: 1.95 2.00 1.84 4/88 919
/proc/meminfo: memFree=1759568/2055920 swapFree=4192812/4192956
[pid=852] ppid=850 vsize=915676 CPUtime=1.32
/proc/852/stat : 852 (java) R 850 852 340 0 -1 0 16167 0 1 0 122 10 0 0 16 0 8 0 184677109 937652224 15905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073985351 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/852/statm: 228919 15905 2521 14 0 215389 0
[pid=852/tid=854] ppid=850 vsize=915676 CPUtime=0.09
/proc/852/task/854/stat : 854 (java) R 850 852 340 0 -1 64 1532 0 0 0 9 0 0 0 17 0 8 0 184677113 937652224 15905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=855] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/855/stat : 855 (java) S 850 852 340 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184677113 937652224 15905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=856] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/856/stat : 856 (java) S 850 852 340 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 184677113 937652224 15905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=857] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/857/stat : 857 (java) S 850 852 340 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 184677116 937652224 15905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=858] ppid=850 vsize=915676 CPUtime=0.22
/proc/852/task/858/stat : 858 (java) S 850 852 340 0 -1 64 456 0 0 0 21 1 0 0 15 0 8 0 184677116 937652224 15905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=859] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/859/stat : 859 (java) S 850 852 340 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 184677116 937652224 15905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=860] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/860/stat : 860 (java) S 850 852 340 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184677116 937652224 15905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915676

[startup+2.98568 s]
/proc/loadavg: 1.95 2.00 1.84 5/88 919
/proc/meminfo: memFree=1754832/2055920 swapFree=4192812/4192956
[pid=852] ppid=850 vsize=915676 CPUtime=2.97
/proc/852/stat : 852 (java) R 850 852 340 0 -1 0 16201 0 1 0 286 11 0 0 17 0 8 0 184677109 937652224 15938 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072926602 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/852/statm: 228919 15938 2524 14 0 215389 0
[pid=852/tid=854] ppid=850 vsize=915676 CPUtime=0.09
/proc/852/task/854/stat : 854 (java) R 850 852 340 0 -1 64 1532 0 0 0 9 0 0 0 18 0 8 0 184677113 937652224 15938 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=855] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/855/stat : 855 (java) S 850 852 340 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184677113 937652224 15938 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=856] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/856/stat : 856 (java) S 850 852 340 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 184677113 937652224 15938 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=857] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/857/stat : 857 (java) S 850 852 340 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 184677116 937652224 15938 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=858] ppid=850 vsize=915676 CPUtime=0.28
/proc/852/task/858/stat : 858 (java) S 850 852 340 0 -1 64 483 0 0 0 27 1 0 0 15 0 8 0 184677116 937652224 15938 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=859] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/859/stat : 859 (java) S 850 852 340 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 184677116 937652224 15938 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=860] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/860/stat : 860 (java) S 850 852 340 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184677116 937652224 15938 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 915676

[startup+6.26497 s]
/proc/loadavg: 2.03 2.02 1.85 3/88 919
/proc/meminfo: memFree=1750480/2055920 swapFree=4192812/4192956
[pid=852] ppid=850 vsize=915676 CPUtime=6.25
/proc/852/stat : 852 (java) R 850 852 340 0 -1 0 16205 0 1 0 613 12 0 0 25 0 8 0 184677109 937652224 15941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073970241 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/852/statm: 228919 15941 2524 14 0 215389 0
[pid=852/tid=854] ppid=850 vsize=915676 CPUtime=0.09
/proc/852/task/854/stat : 854 (java) S 850 852 340 0 -1 64 1532 0 0 0 9 0 0 0 16 0 8 0 184677113 937652224 15941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=855] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/855/stat : 855 (java) S 850 852 340 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184677113 937652224 15941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=856] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/856/stat : 856 (java) S 850 852 340 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 184677113 937652224 15941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=857] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/857/stat : 857 (java) S 850 852 340 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 184677116 937652224 15941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=858] ppid=850 vsize=915676 CPUtime=0.29
/proc/852/task/858/stat : 858 (java) S 850 852 340 0 -1 64 485 0 0 0 27 2 0 0 16 0 8 0 184677116 937652224 15941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=859] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/859/stat : 859 (java) S 850 852 340 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 184677116 937652224 15941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=860] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/860/stat : 860 (java) S 850 852 340 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184677116 937652224 15941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915676

[startup+12.7625 s]
/proc/loadavg: 2.03 2.02 1.85 3/88 919
/proc/meminfo: memFree=1746704/2055920 swapFree=4192812/4192956
[pid=852] ppid=850 vsize=915676 CPUtime=12.73
/proc/852/stat : 852 (java) R 850 852 340 0 -1 0 16207 0 1 0 1261 12 0 0 25 0 8 0 184677109 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074011090 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/852/statm: 228919 15943 2524 14 0 215389 0
[pid=852/tid=854] ppid=850 vsize=915676 CPUtime=0.09
/proc/852/task/854/stat : 854 (java) S 850 852 340 0 -1 64 1532 0 0 0 9 0 0 0 16 0 8 0 184677113 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=855] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/855/stat : 855 (java) S 850 852 340 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184677113 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=856] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/856/stat : 856 (java) S 850 852 340 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 184677113 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=857] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/857/stat : 857 (java) S 850 852 340 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 184677116 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=858] ppid=850 vsize=915676 CPUtime=0.3
/proc/852/task/858/stat : 858 (java) S 850 852 340 0 -1 64 487 0 0 0 28 2 0 0 16 0 8 0 184677116 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=859] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/859/stat : 859 (java) S 850 852 340 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 184677116 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=860] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/860/stat : 860 (java) S 850 852 340 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184677116 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 915676

[startup+25.6187 s]
/proc/loadavg: 2.02 2.01 1.85 3/88 919
/proc/meminfo: memFree=1742416/2055920 swapFree=4192812/4192956
[pid=852] ppid=850 vsize=915676 CPUtime=25.59
/proc/852/stat : 852 (java) R 850 852 340 0 -1 0 16207 0 1 0 2546 13 0 0 25 0 8 0 184677109 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073966009 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/852/statm: 228919 15943 2524 14 0 215389 0
[pid=852/tid=854] ppid=850 vsize=915676 CPUtime=0.09
/proc/852/task/854/stat : 854 (java) S 850 852 340 0 -1 64 1532 0 0 0 9 0 0 0 16 0 8 0 184677113 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=855] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/855/stat : 855 (java) S 850 852 340 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184677113 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=856] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/856/stat : 856 (java) S 850 852 340 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 184677113 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=857] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/857/stat : 857 (java) S 850 852 340 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 184677116 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=858] ppid=850 vsize=915676 CPUtime=0.3
/proc/852/task/858/stat : 858 (java) S 850 852 340 0 -1 64 487 0 0 0 28 2 0 0 16 0 8 0 184677116 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=859] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/859/stat : 859 (java) S 850 852 340 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 184677116 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=860] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/860/stat : 860 (java) S 850 852 340 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184677116 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 915676

[startup+51.2469 s]
/proc/loadavg: 2.01 2.01 1.85 3/88 919
/proc/meminfo: memFree=1735760/2055920 swapFree=4192812/4192956
[pid=852] ppid=850 vsize=915676 CPUtime=51.18
/proc/852/stat : 852 (java) R 850 852 340 0 -1 0 16208 0 1 0 5105 13 0 0 25 0 8 0 184677109 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073965957 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/852/statm: 228919 15943 2524 14 0 215389 0
[pid=852/tid=854] ppid=850 vsize=915676 CPUtime=0.09
/proc/852/task/854/stat : 854 (java) S 850 852 340 0 -1 64 1532 0 0 0 9 0 0 0 16 0 8 0 184677113 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=855] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/855/stat : 855 (java) S 850 852 340 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184677113 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=856] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/856/stat : 856 (java) S 850 852 340 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 184677113 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=857] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/857/stat : 857 (java) S 850 852 340 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 184677116 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=858] ppid=850 vsize=915676 CPUtime=0.3
/proc/852/task/858/stat : 858 (java) S 850 852 340 0 -1 64 487 0 0 0 28 2 0 0 16 0 8 0 184677116 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=859] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/859/stat : 859 (java) S 850 852 340 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 184677116 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=860] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/860/stat : 860 (java) S 850 852 340 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184677116 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 915676

[startup+102.499 s]
/proc/loadavg: 2.00 2.01 1.86 3/88 919
/proc/meminfo: memFree=1735824/2055920 swapFree=4192812/4192956
[pid=852] ppid=850 vsize=915676 CPUtime=102.38
/proc/852/stat : 852 (java) R 850 852 340 0 -1 0 16208 0 1 0 10225 13 0 0 25 0 8 0 184677109 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073955313 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/852/statm: 228919 15943 2524 14 0 215389 0
[pid=852/tid=854] ppid=850 vsize=915676 CPUtime=0.09
/proc/852/task/854/stat : 854 (java) S 850 852 340 0 -1 64 1532 0 0 0 9 0 0 0 16 0 8 0 184677113 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=855] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/855/stat : 855 (java) S 850 852 340 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184677113 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=856] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/856/stat : 856 (java) S 850 852 340 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 184677113 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=857] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/857/stat : 857 (java) S 850 852 340 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 184677116 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=858] ppid=850 vsize=915676 CPUtime=0.3
/proc/852/task/858/stat : 858 (java) S 850 852 340 0 -1 64 487 0 0 0 28 2 0 0 16 0 8 0 184677116 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=859] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/859/stat : 859 (java) S 850 852 340 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 184677116 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=860] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/860/stat : 860 (java) S 850 852 340 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184677116 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.38
Current children cumulated vsize (KiB) 915676

[startup+162.518 s]
/proc/loadavg: 2.07 2.02 1.87 3/88 919
/proc/meminfo: memFree=1735824/2055920 swapFree=4192812/4192956
[pid=852] ppid=850 vsize=915676 CPUtime=162.34
/proc/852/stat : 852 (java) R 850 852 340 0 -1 0 16208 0 1 0 16221 13 0 0 25 0 8 0 184677109 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074013320 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 915676

[startup+1483.44 s]
/proc/loadavg: 2.00 2.00 1.93 3/88 921
/proc/meminfo: memFree=1735248/2055920 swapFree=4192812/4192956
[pid=852] ppid=850 vsize=915676 CPUtime=1481.99
/proc/852/stat : 852 (java) R 850 852 340 0 -1 0 16208 0 1 0 148182 17 0 0 25 0 8 0 184677109 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073961227 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/852/statm: 228919 15943 2524 14 0 215389 0
[pid=852/tid=854] ppid=850 vsize=915676 CPUtime=0.09
/proc/852/task/854/stat : 854 (java) S 850 852 340 0 -1 64 1532 0 0 0 9 0 0 0 16 0 8 0 184677113 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=855] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/855/stat : 855 (java) S 850 852 340 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184677113 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=856] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/856/stat : 856 (java) S 850 852 340 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 184677113 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=857] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/857/stat : 857 (java) S 850 852 340 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 184677116 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=858] ppid=850 vsize=915676 CPUtime=0.3
/proc/852/task/858/stat : 858 (java) S 850 852 340 0 -1 64 487 0 0 0 28 2 0 0 16 0 8 0 184677116 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=859] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/859/stat : 859 (java) S 850 852 340 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 184677116 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=860] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/860/stat : 860 (java) S 850 852 340 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184677116 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 915676

[startup+1543.48 s]
/proc/loadavg: 2.00 2.00 1.93 4/88 921
/proc/meminfo: memFree=1735184/2055920 swapFree=4192812/4192956
[pid=852] ppid=850 vsize=915676 CPUtime=1541.96
/proc/852/stat : 852 (java) R 850 852 340 0 -1 0 16208 0 1 0 154179 17 0 0 25 0 8 0 184677109 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074012667 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/852/statm: 228919 15943 2524 14 0 215389 0
[pid=852/tid=854] ppid=850 vsize=915676 CPUtime=0.09
/proc/852/task/854/stat : 854 (java) S 850 852 340 0 -1 64 1532 0 0 0 9 0 0 0 16 0 8 0 184677113 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=855] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/855/stat : 855 (java) S 850 852 340 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184677113 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=856] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/856/stat : 856 (java) S 850 852 340 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 184677113 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=857] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/857/stat : 857 (java) S 850 852 340 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 184677116 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=858] ppid=850 vsize=915676 CPUtime=0.3
/proc/852/task/858/stat : 858 (java) S 850 852 340 0 -1 64 487 0 0 0 28 2 0 0 16 0 8 0 184677116 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=859] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/859/stat : 859 (java) S 850 852 340 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 184677116 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=860] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/860/stat : 860 (java) S 850 852 340 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184677116 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 915676

[startup+1603.52 s]
/proc/loadavg: 2.00 2.00 1.93 3/88 921
/proc/meminfo: memFree=1735184/2055920 swapFree=4192812/4192956
[pid=852] ppid=850 vsize=915676 CPUtime=1601.95
/proc/852/stat : 852 (java) R 850 852 340 0 -1 0 16208 0 1 0 160178 17 0 0 25 0 8 0 184677109 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073969164 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/852/statm: 228919 15943 2524 14 0 215389 0
[pid=852/tid=854] ppid=850 vsize=915676 CPUtime=0.09
/proc/852/task/854/stat : 854 (java) S 850 852 340 0 -1 64 1532 0 0 0 9 0 0 0 16 0 8 0 184677113 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=855] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/855/stat : 855 (java) S 850 852 340 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184677113 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=856] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/856/stat : 856 (java) S 850 852 340 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 184677113 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=857] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/857/stat : 857 (java) S 850 852 340 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 184677116 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=858] ppid=850 vsize=915676 CPUtime=0.3
/proc/852/task/858/stat : 858 (java) S 850 852 340 0 -1 64 487 0 0 0 28 2 0 0 16 0 8 0 184677116 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=859] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/859/stat : 859 (java) S 850 852 340 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 184677116 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=860] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/860/stat : 860 (java) S 850 852 340 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184677116 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 915676

[startup+1663.56 s]
/proc/loadavg: 2.00 2.00 1.93 3/88 921
/proc/meminfo: memFree=1735120/2055920 swapFree=4192812/4192956
[pid=852] ppid=850 vsize=915676 CPUtime=1661.94
/proc/852/stat : 852 (java) R 850 852 340 0 -1 0 16208 0 1 0 166177 17 0 0 25 0 8 0 184677109 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073961633 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/852/statm: 228919 15943 2524 14 0 215389 0
[pid=852/tid=854] ppid=850 vsize=915676 CPUtime=0.09
/proc/852/task/854/stat : 854 (java) S 850 852 340 0 -1 64 1532 0 0 0 9 0 0 0 16 0 8 0 184677113 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=855] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/855/stat : 855 (java) S 850 852 340 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184677113 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=856] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/856/stat : 856 (java) S 850 852 340 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 184677113 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=857] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/857/stat : 857 (java) S 850 852 340 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 184677116 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=858] ppid=850 vsize=915676 CPUtime=0.3
/proc/852/task/858/stat : 858 (java) S 850 852 340 0 -1 64 487 0 0 0 28 2 0 0 16 0 8 0 184677116 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=859] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/859/stat : 859 (java) S 850 852 340 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 184677116 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=860] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/860/stat : 860 (java) S 850 852 340 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184677116 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 915676

[startup+1723.59 s]
/proc/loadavg: 2.00 2.00 1.93 3/88 921
/proc/meminfo: memFree=1735120/2055920 swapFree=4192812/4192956
[pid=852] ppid=850 vsize=915676 CPUtime=1721.9
/proc/852/stat : 852 (java) R 850 852 340 0 -1 0 16208 0 1 0 172172 18 0 0 25 0 8 0 184677109 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073987990 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/852/statm: 228919 15943 2524 14 0 215389 0
[pid=852/tid=854] ppid=850 vsize=915676 CPUtime=0.09
/proc/852/task/854/stat : 854 (java) S 850 852 340 0 -1 64 1532 0 0 0 9 0 0 0 16 0 8 0 184677113 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=855] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/855/stat : 855 (java) S 850 852 340 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184677113 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=856] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/856/stat : 856 (java) S 850 852 340 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 184677113 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=857] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/857/stat : 857 (java) S 850 852 340 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 184677116 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=858] ppid=850 vsize=915676 CPUtime=0.3
/proc/852/task/858/stat : 858 (java) S 850 852 340 0 -1 64 487 0 0 0 28 2 0 0 16 0 8 0 184677116 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=859] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/859/stat : 859 (java) S 850 852 340 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 184677116 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=860] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/860/stat : 860 (java) S 850 852 340 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184677116 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 915676

[startup+1783.63 s]
/proc/loadavg: 2.00 2.00 1.93 3/88 921
/proc/meminfo: memFree=1735056/2055920 swapFree=4192812/4192956
[pid=852] ppid=850 vsize=915676 CPUtime=1781.89
/proc/852/stat : 852 (java) R 850 852 340 0 -1 0 16208 0 1 0 178171 18 0 0 25 0 8 0 184677109 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073983214 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/852/statm: 228919 15943 2524 14 0 215389 0
[pid=852/tid=854] ppid=850 vsize=915676 CPUtime=0.09
/proc/852/task/854/stat : 854 (java) S 850 852 340 0 -1 64 1532 0 0 0 9 0 0 0 16 0 8 0 184677113 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=855] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/855/stat : 855 (java) S 850 852 340 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184677113 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=856] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/856/stat : 856 (java) S 850 852 340 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 184677113 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=857] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/857/stat : 857 (java) S 850 852 340 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 184677116 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=858] ppid=850 vsize=915676 CPUtime=0.3
/proc/852/task/858/stat : 858 (java) S 850 852 340 0 -1 64 487 0 0 0 28 2 0 0 16 0 8 0 184677116 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=859] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/859/stat : 859 (java) S 850 852 340 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 184677116 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=860] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/860/stat : 860 (java) S 850 852 340 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184677116 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 915676



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.85 s]
/proc/loadavg: 2.00 2.00 1.93 3/88 921
/proc/meminfo: memFree=1735056/2055920 swapFree=4192812/4192956
[pid=852] ppid=850 vsize=915676 CPUtime=1800.08
/proc/852/stat : 852 (java) R 850 852 340 0 -1 0 16208 0 1 0 179990 18 0 0 25 0 8 0 184677109 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073967078 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/852/statm: 228919 15943 2524 14 0 215389 0
[pid=852/tid=854] ppid=850 vsize=915676 CPUtime=0.09
/proc/852/task/854/stat : 854 (java) S 850 852 340 0 -1 64 1532 0 0 0 9 0 0 0 16 0 8 0 184677113 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=855] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/855/stat : 855 (java) S 850 852 340 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184677113 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=856] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/856/stat : 856 (java) S 850 852 340 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 184677113 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=857] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/857/stat : 857 (java) S 850 852 340 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 184677116 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=858] ppid=850 vsize=915676 CPUtime=0.3
/proc/852/task/858/stat : 858 (java) S 850 852 340 0 -1 64 487 0 0 0 28 2 0 0 16 0 8 0 184677116 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=859] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/859/stat : 859 (java) S 850 852 340 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 184677116 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=852/tid=860] ppid=850 vsize=915676 CPUtime=0
/proc/852/task/860/stat : 860 (java) S 850 852 340 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184677116 937652224 15943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 915676

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

Child status: 143
Real time (s): 1801.9
CPU time (s): 1800.13
CPU user time (s): 1799.93
CPU system time (s): 0.19597
CPU usage (%): 99.9018
Max. virtual memory (cumulated for all children) (KiB): 915780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.93
system time used= 0.19597
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16225
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37592
involuntary context switches= 41390

runsolver used 2.51562 s user time and 5.74813 s system time

The end

Launcher Data (download as text)

Begin job on node58 on Tue Jan  9 17:13:11 UTC 2007


IDJOB= 239003
IDBENCH= 7032
FILE ID= node58/239003-1168362791

PBS_JOBID= 3503999

Free space on /tmp= 66555 MiB

BENCH NAME= HOME/pub/bench/CPAI06/qcp-qwh/QCP-25/qcp-25-264-2_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/239003-1168362791/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node58/watcher-239003-1168362791 -o ROOT/results/node58/solver-239003-1168362791 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/239003-1168362791/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  f8d2fc979bd99a32a7a551181d053817

RANDOM SEED= 814184933

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:       1822928 kB
Buffers:         44448 kB
Cached:         113380 kB
SwapCached:          0 kB
Active:          95804 kB
Inactive:        83180 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1822928 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2920 kB
Writeback:           0 kB
Mapped:          31328 kB
Slab:            39876 kB
Committed_AS:  3415736 kB
PageTables:       1572 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= 66554 MiB



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