Trace number 202534

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 ESACUNSAT 411.682 411.993

DiagnosticValue
CHECKS2728993272
NODES2086270

General information on the benchmark

Namerandom/rand-2-40-19/
rand-2-40-19-443-230-33_ext.xml
MD5SUM5fb8f6a93a09012584dbcbec6c1ad546
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark148.225
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables40
Number of constraints333
Maximum constraint arity2
Maximum domain size19
Number of constraints which are defined in extension333
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=esac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/202534-1168152292/unknown.xml
0.36	   
0.36	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.40	     nbVariables=40  nbDomainTypes=1  minDomainSize=19  maxDomainSize=19
0.40	       =>  wckTime=0.096  cpuTime=0.08  mem=6M951
0.40	   
0.40	   relations being loaded...
0.49	   
0.49	   constraints being loaded...
0.61	     nbConstraints=333  nbRelationTypes=333  nbExtensionStructures=333  nbSharedExtensionStructures=0
0.61	     nbConflictsStructures=333  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=2773  maxDegree=21
0.61	     maxArity=2
0.61	       =>  wckTime=0.304  cpuTime=0.24  mem=12M803
0.65	   
0.65	   solver IterativeSystematicSolver being built... 
0.80	       =>  wckTime=0.497  cpuTime=0.37  mem=15M8
0.85	   
0.85	   preprocessing
0.85	     nbConstraintChecks=63164  nbPropagations=866  nbRevisions=6397  nbUselessRevisions=5179  nbSingletonTests=49
0.85	     nbEffectiveSingletonTests=0  nbESACBranches=6  nbRemovedValues=1  detectedInconsistency=no
0.85	       =>  wckTime=0.046  cpuTime=0.02  mem=15M8
0.87	   
0.87	   search
0.87	     run=0  nbConstraintChecks=33780  nbPropagations=1370  nbRevisions=12350  nbUselessRevisions=9978  nbAssignments=27
0.87	     nbFailedAssignments=9  nbBacktracks=11  nbVisitedNodes=44  nbRestartNogoods=0  mapSize=9  nbInferences=0
0.87	     nbTooLargeKeys=0
0.87	       =>  wckTime=0.068  cpuTime=0.04  mem=15M8
0.89	   
0.89	   search
0.89	     run=1  nbConstraintChecks=79714  nbPropagations=3396  nbRevisions=32922  nbUselessRevisions=26606  nbAssignments=66
0.89	     nbFailedAssignments=22  nbBacktracks=28  nbVisitedNodes=105  nbRestartNogoods=2  mapSize=23  nbInferences=0
0.89	     nbTooLargeKeys=0
0.89	       =>  wckTime=0.088  cpuTime=0.05  mem=15M8
0.91	   
0.91	   search
0.91	     run=2  nbConstraintChecks=148601  nbPropagations=6420  nbRevisions=64505  nbUselessRevisions=52260
0.91	     nbAssignments=130  nbFailedAssignments=37  nbBacktracks=51  nbVisitedNodes=177  nbRestartNogoods=7  mapSize=40
0.91	     nbInferences=0  nbTooLargeKeys=0
0.91	       =>  wckTime=0.105  cpuTime=0.07  mem=15M8
0.92	   
0.92	   search
0.92	     run=3  nbConstraintChecks=227296  nbPropagations=10572  nbRevisions=110368  nbUselessRevisions=89580
0.92	     nbAssignments=189  nbFailedAssignments=56  nbBacktracks=84  nbVisitedNodes=274  nbRestartNogoods=10  mapSize=68
0.92	     nbInferences=0  nbTooLargeKeys=0
0.92	       =>  wckTime=0.122  cpuTime=0.08  mem=15M8
0.95	   
0.95	   search
0.95	     run=4  nbConstraintChecks=334341  nbPropagations=16221  nbRevisions=174747  nbUselessRevisions=141649
0.95	     nbAssignments=280  nbFailedAssignments=87  nbBacktracks=135  nbVisitedNodes=417  nbRestartNogoods=12  mapSize=107
0.95	     nbInferences=0  nbTooLargeKeys=0
0.95	       =>  wckTime=0.145  cpuTime=0.11  mem=15M8
0.99	   
0.99	   search
0.99	     run=5  nbConstraintChecks=528066  nbPropagations=24610  nbRevisions=274778  nbUselessRevisions=222673
0.99	     nbAssignments=429  nbFailedAssignments=139  nbBacktracks=211  nbVisitedNodes=642  nbRestartNogoods=16  mapSize=171
0.99	     nbInferences=0  nbTooLargeKeys=0
0.99	       =>  wckTime=0.186  cpuTime=0.14  mem=15M8
1.04	   
1.04	   search
1.04	     run=6  nbConstraintChecks=822524  nbPropagations=37133  nbRevisions=433178  nbUselessRevisions=351055
1.04	     nbAssignments=645  nbFailedAssignments=236  nbBacktracks=324  nbVisitedNodes=1019  nbRestartNogoods=18  mapSize=275
1.04	     nbInferences=0  nbTooLargeKeys=0
1.04	       =>  wckTime=0.242  cpuTime=0.2  mem=15M8
1.11	   
1.11	   search
1.11	     run=7  nbConstraintChecks=1167170  nbPropagations=54549  nbRevisions=658339  nbUselessRevisions=533097
1.11	     nbAssignments=933  nbFailedAssignments=345  nbBacktracks=494  nbVisitedNodes=1503  nbRestartNogoods=22  mapSize=410
1.11	     nbInferences=0  nbTooLargeKeys=0
1.11	       =>  wckTime=0.309  cpuTime=0.26  mem=15M8
1.22	   
1.22	   search
1.22	     run=8  nbConstraintChecks=1705345  nbPropagations=79732  nbRevisions=990547  nbUselessRevisions=802142
1.22	     nbAssignments=1368  nbFailedAssignments=514  nbBacktracks=751  nbVisitedNodes=2244  nbRestartNogoods=27
1.22	     mapSize=617  nbInferences=0  nbTooLargeKeys=0
1.22	       =>  wckTime=0.418  cpuTime=0.37  mem=15M8
1.39	   
1.39	   search
1.39	     run=9  nbConstraintChecks=2569293  nbPropagations=117020  nbRevisions=1491108  nbUselessRevisions=1207202
1.39	     nbAssignments=2016  nbFailedAssignments=769  nbBacktracks=1136  nbVisitedNodes=3367  nbRestartNogoods=31
1.39	     mapSize=939  nbInferences=0  nbTooLargeKeys=0
1.39	       =>  wckTime=0.584  cpuTime=0.52  mem=15M8
1.43	   
1.43	   INFO : Stopping hyperNogood (mapSize=1038, nbTooLargekeys=0, mem=15M8)
1.59	   
1.59	   search
1.59	     run=10  nbConstraintChecks=3685150  nbPropagations=170548  nbRevisions=2213385  nbUselessRevisions=1791666
1.59	     nbAssignments=2947  nbFailedAssignments=1115  nbBacktracks=1712  nbVisitedNodes=4952  nbRestartNogoods=37
1.59	       =>  wckTime=0.789  cpuTime=0.71  mem=15M8
1.88	   
1.88	   search
1.88	     run=11  nbConstraintChecks=5472617  nbPropagations=248490  nbRevisions=3269710  nbUselessRevisions=2645418
1.88	     nbAssignments=4318  nbFailedAssignments=1613  nbBacktracks=2577  nbVisitedNodes=7295  nbRestartNogoods=43
1.88	       =>  wckTime=1.081  cpuTime=1.0  mem=15M8
2.31	   
2.31	   search
2.31	     run=12  nbConstraintChecks=8003198  nbPropagations=363632  nbRevisions=4842891  nbUselessRevisions=3919610
2.31	     nbAssignments=6447  nbFailedAssignments=2437  nbBacktracks=3875  nbVisitedNodes=10954  nbRestartNogoods=51
2.31	       =>  wckTime=1.509  cpuTime=1.42  mem=15M8
2.93	   
2.93	   search
2.93	     run=13  nbConstraintChecks=12143194  nbPropagations=536710  nbRevisions=7232602  nbUselessRevisions=5859063
2.93	     nbAssignments=9630  nbFailedAssignments=3666  nbBacktracks=5822  nbVisitedNodes=16477  nbRestartNogoods=59
2.93	       =>  wckTime=2.133  cpuTime=2.05  mem=15M8
3.92	   
3.92	   search
3.92	     run=14  nbConstraintChecks=18690116  nbPropagations=801353  nbRevisions=10900532  nbUselessRevisions=8831795
3.92	     nbAssignments=14677  nbFailedAssignments=5784  nbBacktracks=8741  nbVisitedNodes=25328  nbRestartNogoods=65
3.92	       =>  wckTime=3.116  cpuTime=3.03  mem=15M8
5.39	   
5.39	   search
5.39	     run=15  nbConstraintChecks=28451375  nbPropagations=1203431  nbRevisions=16507753  nbUselessRevisions=13381123
5.39	     nbAssignments=22118  nbFailedAssignments=8838  nbBacktracks=13122  nbVisitedNodes=38343  nbRestartNogoods=79
5.39	       =>  wckTime=4.586  cpuTime=4.5  mem=15M8
7.48	   
7.48	   search
7.48	     run=16  nbConstraintChecks=42267736  nbPropagations=1800556  nbRevisions=24852004  nbUselessRevisions=20151547
7.48	     nbAssignments=33136  nbFailedAssignments=13281  nbBacktracks=19690  nbVisitedNodes=57518  nbRestartNogoods=85
7.48	       =>  wckTime=6.678  cpuTime=6.59  mem=15M8
10.63	   
10.63	   search
10.63	     run=17  nbConstraintChecks=62926566  nbPropagations=2691797  nbRevisions=37333182  nbUselessRevisions=30285797
10.63	     nbAssignments=49425  nbFailedAssignments=19710  nbBacktracks=29542  nbVisitedNodes=85782  nbRestartNogoods=98
10.63	       =>  wckTime=9.827  cpuTime=9.74  mem=15M983
15.44	   
15.44	   search
15.44	     run=18  nbConstraintChecks=94785120  nbPropagations=4026368  nbRevisions=55974598  nbUselessRevisions=45398251
15.44	     nbAssignments=73931  nbFailedAssignments=29430  nbBacktracks=44322  nbVisitedNodes=128445  nbRestartNogoods=113
15.44	       =>  wckTime=14.643  cpuTime=14.56  mem=15M983
22.88	   
22.88	   search
22.88	     run=19  nbConstraintChecks=143494511  nbPropagations=6053467  nbRevisions=84392466  nbUselessRevisions=68473511
22.88	     nbAssignments=111353  nbFailedAssignments=44676  nbBacktracks=66490  nbVisitedNodes=193993  nbRestartNogoods=124
22.88	       =>  wckTime=22.083  cpuTime=21.99  mem=15M983
33.60	   
33.60	   search
33.60	     run=20  nbConstraintChecks=212990725  nbPropagations=9075091  nbRevisions=126635403  nbUselessRevisions=102773541
33.60	     nbAssignments=167001  nbFailedAssignments=67049  nbBacktracks=99742  nbVisitedNodes=290714  nbRestartNogoods=132
33.60	       =>  wckTime=32.795  cpuTime=32.69  mem=15M983
49.31	   
49.31	   search
49.31	     run=21  nbConstraintChecks=316332592  nbPropagations=13559470  nbRevisions=189345927  nbUselessRevisions=153712472
49.31	     nbAssignments=248639  nbFailedAssignments=98802  nbBacktracks=149620  nbVisitedNodes=432349  nbRestartNogoods=144
49.31	       =>  wckTime=48.509  cpuTime=48.4  mem=15M983
73.42	   
73.42	   search
73.42	     run=22  nbConstraintChecks=474705664  nbPropagations=20285849  nbRevisions=283606362  nbUselessRevisions=230308976
73.42	     nbAssignments=372503  nbFailedAssignments=147840  nbBacktracks=224439  nbVisitedNodes=647778  nbRestartNogoods=158
73.42	       =>  wckTime=72.623  cpuTime=72.5  mem=15M983
108.59	   
108.59	   search
108.59	     run=23  nbConstraintChecks=706320645  nbPropagations=30282828  nbRevisions=423643867  nbUselessRevisions=344144307
108.59	     nbAssignments=555335  nbFailedAssignments=218435  nbBacktracks=336667  nbVisitedNodes=963417  nbRestartNogoods=167
108.59	       =>  wckTime=107.787  cpuTime=107.65  mem=15M983
163.89	   
163.89	   search
163.89	     run=24  nbConstraintChecks=1073890050  nbPropagations=45384484  nbRevisions=635302998  nbUselessRevisions=516114047
163.89	     nbAssignments=835111  nbFailedAssignments=329860  nbBacktracks=505012  nbVisitedNodes=1450120  nbRestartNogoods=187
163.89	       =>  wckTime=163.085  cpuTime=162.91  mem=15M983
244.82	   
244.82	   search
244.82	     run=25  nbConstraintChecks=1610306261  nbPropagations=67966387  nbRevisions=951818838  nbUselessRevisions=773250763
244.82	     nbAssignments=1249421  nbFailedAssignments=491653  nbBacktracks=757523  nbVisitedNodes=2167750
244.82	     nbRestartNogoods=201
244.82	       =>  wckTime=244.023  cpuTime=243.81  mem=15M983
368.39	   
368.39	   search
368.39	     run=26  nbConstraintChecks=2436371317  nbPropagations=101892662  nbRevisions=1427858607
368.39	     nbUselessRevisions=1159827370  nbAssignments=1869320  nbFailedAssignments=732779  nbBacktracks=1136292
368.39	     nbVisitedNodes=3240465  nbRestartNogoods=216
368.39	       =>  wckTime=367.588  cpuTime=367.29  mem=15M983
411.93	   
411.93	   search
411.93	     run=27  nbConstraintChecks=2728930108  nbPropagations=139821704  nbRevisions=1960523066
411.93	     nbUselessRevisions=1592442780  nbAssignments=2086270  nbFailedAssignments=817338  nbBacktracks=1268684
411.93	     nbVisitedNodes=3616144  nbRestartNogoods=234
411.93	       =>  wckTime=411.125  cpuTime=410.8  mem=15M983
411.93	   
411.93	   global
411.93	     nbConstraintChecks=2728993272  nbPropagations=139822570  nbRevisions=1960529463  nbUselessRevisions=1592447959
411.93	     nbRestartNogoods=234  solvingWckTime=411.127  solvingCpuTime=410.81  expiredTime=no  totalExploration=yes
411.93	     nbFoundSolutions=0  globalCpuTime=411.22
411.93	       =>  wckTime=411.627  cpuTime=411.18  mem=15M983
411.93	   
411.93	s UNSATISFIABLE
411.93	d NODES 2086270
411.93	d CHECKS 2728993272
411.93	   
411.93	   totalWckTime=411.705  totalCpuTime=411.22

Verifier Data (download as text)

No possible verification on an UNSAT instance

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node72/watcher-202534-1168152292 -o ROOT/results/node72/solver-202534-1168152292 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202534-1168152292/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.00 1.00 1.06 4/78 23734
/proc/meminfo: memFree=1358880/2055920 swapFree=4191880/4192956
[pid=23733] ppid=23731 vsize=1784 CPUtime=0
/proc/23733/stat : 23733 (java) R 23731 23733 22522 0 -1 0 165 0 0 0 0 0 0 0 20 0 1 0 163638086 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/23733/statm: 446 136 102 14 0 91 0

[startup+0.107597 s]
/proc/loadavg: 1.00 1.00 1.06 4/78 23734
/proc/meminfo: memFree=1358880/2055920 swapFree=4191880/4192956
[pid=23733] ppid=23731 vsize=915876 CPUtime=0.09
/proc/23733/stat : 23733 (java) R 23731 23733 22522 0 -1 0 3057 0 1 0 7 2 0 0 18 0 8 0 163638086 937857024 2803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155839970 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23733/statm: 228969 2803 1449 14 0 215464 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 915876

[startup+0.519644 s]
/proc/loadavg: 1.00 1.00 1.06 4/78 23734
/proc/meminfo: memFree=1358880/2055920 swapFree=4191880/4192956
[pid=23733] ppid=23731 vsize=916108 CPUtime=0.49
/proc/23733/stat : 23733 (java) R 23731 23733 22522 0 -1 0 6964 0 1 0 44 5 0 0 16 0 8 0 163638086 938094592 6703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154015721 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23733/statm: 229027 6703 2138 14 0 215497 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 916108

[startup+1.3417 s]
/proc/loadavg: 1.00 1.00 1.06 2/85 23741
/proc/meminfo: memFree=1335080/2055920 swapFree=4191880/4192956
[pid=23733] ppid=23731 vsize=916236 CPUtime=1.31
/proc/23733/stat : 23733 (java) R 23731 23733 22522 0 -1 0 8757 0 1 0 124 7 0 0 17 0 8 0 163638086 938225664 8495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073860367 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23733/statm: 229059 8495 2524 14 0 215529 0
[pid=23733/tid=23735] ppid=23731 vsize=916236 CPUtime=0.03
/proc/23733/task/23735/stat : 23735 (java) S 23731 23733 22522 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 163638090 938225664 8495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23733/tid=23736] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23736/stat : 23736 (java) S 23731 23733 22522 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 163638091 938225664 8495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23737] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23737/stat : 23737 (java) S 23731 23733 22522 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163638091 938225664 8495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23738] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23738/stat : 23738 (java) S 23731 23733 22522 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 163638094 938225664 8495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23739] ppid=23731 vsize=916236 CPUtime=0.19
/proc/23733/task/23739/stat : 23739 (java) S 23731 23733 22522 0 -1 64 385 0 0 0 18 1 0 0 16 0 8 0 163638094 938225664 8495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23740] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23740/stat : 23740 (java) S 23731 23733 22522 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 163638094 938225664 8495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23741] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23741/stat : 23741 (java) S 23731 23733 22522 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163638094 938225664 8495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 916236

[startup+2.97885 s]
/proc/loadavg: 1.00 1.00 1.06 2/85 23741
/proc/meminfo: memFree=1334696/2055920 swapFree=4191880/4192956
[pid=23733] ppid=23731 vsize=916236 CPUtime=2.94
/proc/23733/stat : 23733 (java) R 23731 23733 22522 0 -1 0 8790 0 1 0 287 7 0 0 17 0 8 0 163638086 938225664 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073799934 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23733/statm: 229059 8526 2524 14 0 215529 0
[pid=23733/tid=23735] ppid=23731 vsize=916236 CPUtime=0.03
/proc/23733/task/23735/stat : 23735 (java) S 23731 23733 22522 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 163638090 938225664 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23733/tid=23736] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23736/stat : 23736 (java) S 23731 23733 22522 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 163638091 938225664 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23737] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23737/stat : 23737 (java) S 23731 23733 22522 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163638091 938225664 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23738] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23738/stat : 23738 (java) S 23731 23733 22522 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 163638094 938225664 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23739] ppid=23731 vsize=916236 CPUtime=0.21
/proc/23733/task/23739/stat : 23739 (java) S 23731 23733 22522 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 163638094 938225664 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23740] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23740/stat : 23740 (java) S 23731 23733 22522 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 163638094 938225664 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23741] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23741/stat : 23741 (java) S 23731 23733 22522 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163638094 938225664 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 916236

[startup+6.26115 s]
/proc/loadavg: 1.00 1.00 1.06 2/85 23741
/proc/meminfo: memFree=1334632/2055920 swapFree=4191880/4192956
[pid=23733] ppid=23731 vsize=916236 CPUtime=6.22
/proc/23733/stat : 23733 (java) R 23731 23733 22522 0 -1 0 8795 0 1 0 615 7 0 0 24 0 8 0 163638086 938225664 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794441 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23733/statm: 229059 8531 2524 14 0 215529 0
[pid=23733/tid=23735] ppid=23731 vsize=916236 CPUtime=0.03
/proc/23733/task/23735/stat : 23735 (java) S 23731 23733 22522 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 163638090 938225664 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23733/tid=23736] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23736/stat : 23736 (java) S 23731 23733 22522 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 163638091 938225664 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23737] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23737/stat : 23737 (java) S 23731 23733 22522 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163638091 938225664 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23738] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23738/stat : 23738 (java) S 23731 23733 22522 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 163638094 938225664 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23739] ppid=23731 vsize=916236 CPUtime=0.21
/proc/23733/task/23739/stat : 23739 (java) S 23731 23733 22522 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 163638094 938225664 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23740] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23740/stat : 23740 (java) S 23731 23733 22522 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 163638094 938225664 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23741] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23741/stat : 23741 (java) S 23731 23733 22522 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163638094 938225664 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 916236

[startup+12.7407 s]
/proc/loadavg: 1.00 1.00 1.06 2/85 23741
/proc/meminfo: memFree=1334632/2055920 swapFree=4191880/4192956
[pid=23733] ppid=23731 vsize=916236 CPUtime=12.7
/proc/23733/stat : 23733 (java) R 23731 23733 22522 0 -1 0 8801 0 1 0 1263 7 0 0 17 0 8 0 163638086 938225664 8537 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073876216 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23733/statm: 229059 8537 2524 14 0 215529 0
[pid=23733/tid=23735] ppid=23731 vsize=916236 CPUtime=0.03
/proc/23733/task/23735/stat : 23735 (java) S 23731 23733 22522 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 163638090 938225664 8537 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23733/tid=23736] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23736/stat : 23736 (java) S 23731 23733 22522 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 163638091 938225664 8537 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23737] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23737/stat : 23737 (java) S 23731 23733 22522 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163638091 938225664 8537 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23738] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23738/stat : 23738 (java) S 23731 23733 22522 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 163638094 938225664 8537 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23739] ppid=23731 vsize=916236 CPUtime=0.21
/proc/23733/task/23739/stat : 23739 (java) S 23731 23733 22522 0 -1 64 394 0 0 0 20 1 0 0 16 0 8 0 163638094 938225664 8537 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23740] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23740/stat : 23740 (java) S 23731 23733 22522 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 163638094 938225664 8537 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23741] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23741/stat : 23741 (java) S 23731 23733 22522 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163638094 938225664 8537 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 916236

[startup+25.5959 s]
/proc/loadavg: 1.00 1.00 1.06 2/85 23741
/proc/meminfo: memFree=1334696/2055920 swapFree=4191880/4192956
[pid=23733] ppid=23731 vsize=916236 CPUtime=25.54
/proc/23733/stat : 23733 (java) R 23731 23733 22522 0 -1 0 8807 0 1 0 2547 7 0 0 25 0 8 0 163638086 938225664 8542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073814114 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23733/statm: 229059 8542 2524 14 0 215529 0
[pid=23733/tid=23735] ppid=23731 vsize=916236 CPUtime=0.03
/proc/23733/task/23735/stat : 23735 (java) S 23731 23733 22522 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 163638090 938225664 8542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23733/tid=23736] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23736/stat : 23736 (java) S 23731 23733 22522 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 163638091 938225664 8542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23737] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23737/stat : 23737 (java) S 23731 23733 22522 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163638091 938225664 8542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23738] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23738/stat : 23738 (java) S 23731 23733 22522 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 163638094 938225664 8542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23739] ppid=23731 vsize=916236 CPUtime=0.21
/proc/23733/task/23739/stat : 23739 (java) S 23731 23733 22522 0 -1 64 394 0 0 0 20 1 0 0 16 0 8 0 163638094 938225664 8542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23740] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23740/stat : 23740 (java) S 23731 23733 22522 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 163638094 938225664 8542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23741] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23741/stat : 23741 (java) S 23731 23733 22522 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163638094 938225664 8542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 916236

[startup+51.2893 s]
/proc/loadavg: 1.00 1.00 1.05 2/85 23741
/proc/meminfo: memFree=1334696/2055920 swapFree=4191880/4192956
[pid=23733] ppid=23731 vsize=916236 CPUtime=51.22
/proc/23733/stat : 23733 (java) R 23731 23733 22522 0 -1 0 8812 0 1 0 5115 7 0 0 25 0 8 0 163638086 938225664 8547 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073800077 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23733/statm: 229059 8547 2524 14 0 215529 0
[pid=23733/tid=23735] ppid=23731 vsize=916236 CPUtime=0.03
/proc/23733/task/23735/stat : 23735 (java) S 23731 23733 22522 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 163638090 938225664 8547 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23733/tid=23736] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23736/stat : 23736 (java) S 23731 23733 22522 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 163638091 938225664 8547 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23737] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23737/stat : 23737 (java) S 23731 23733 22522 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163638091 938225664 8547 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23738] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23738/stat : 23738 (java) S 23731 23733 22522 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 163638094 938225664 8547 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23739] ppid=23731 vsize=916236 CPUtime=0.21
/proc/23733/task/23739/stat : 23739 (java) S 23731 23733 22522 0 -1 64 394 0 0 0 20 1 0 0 16 0 8 0 163638094 938225664 8547 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23740] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23740/stat : 23740 (java) S 23731 23733 22522 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 163638094 938225664 8547 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23741] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23741/stat : 23741 (java) S 23731 23733 22522 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163638094 938225664 8547 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.22
Current children cumulated vsize (KiB) 916236

[startup+102.574 s]
/proc/loadavg: 1.00 1.00 1.05 2/85 23741
/proc/meminfo: memFree=1334696/2055920 swapFree=4191880/4192956
[pid=23733] ppid=23731 vsize=916236 CPUtime=102.48
/proc/23733/stat : 23733 (java) R 23731 23733 22522 0 -1 0 8814 0 1 0 10241 7 0 0 25 0 8 0 163638086 938225664 8549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073806668 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23733/statm: 229059 8549 2524 14 0 215529 0
[pid=23733/tid=23735] ppid=23731 vsize=916236 CPUtime=0.03
/proc/23733/task/23735/stat : 23735 (java) S 23731 23733 22522 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 163638090 938225664 8549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23733/tid=23736] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23736/stat : 23736 (java) S 23731 23733 22522 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 163638091 938225664 8549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23737] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23737/stat : 23737 (java) S 23731 23733 22522 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163638091 938225664 8549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23738] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23738/stat : 23738 (java) S 23731 23733 22522 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 163638094 938225664 8549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23739] ppid=23731 vsize=916236 CPUtime=0.21
/proc/23733/task/23739/stat : 23739 (java) S 23731 23733 22522 0 -1 64 394 0 0 0 20 1 0 0 16 0 8 0 163638094 938225664 8549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23740] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23740/stat : 23740 (java) S 23731 23733 22522 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 163638094 938225664 8549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23741] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23741/stat : 23741 (java) S 23731 23733 22522 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163638094 938225664 8549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.48
Current children cumulated vsize (KiB) 916236

[startup+162.594 s]
/proc/loadavg: 1.00 1.00 1.04 2/85 23741
/proc/meminfo: memFree=1334696/2055920 swapFree=4191880/4192956
[pid=23733] ppid=23731 vsize=916236 CPUtime=162.46
/proc/23733/stat : 23733 (java) R 23731 23733 22522 0 -1 0 8817 0 1 0 16239 7 0 0 25 0 8 0 163638086 938225664 8552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918529 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23733/statm: 229059 8552 2524 14 0 215529 0
[pid=23733/tid=23735] ppid=23731 vsize=916236 CPUtime=0.03
/proc/23733/task/23735/stat : 23735 (java) S 23731 23733 22522 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 163638090 938225664 8552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23733/tid=23736] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23736/stat : 23736 (java) S 23731 23733 22522 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 163638091 938225664 8552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23737] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23737/stat : 23737 (java) S 23731 23733 22522 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163638091 938225664 8552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23738] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23738/stat : 23738 (java) S 23731 23733 22522 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 163638094 938225664 8552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23739] ppid=23731 vsize=916236 CPUtime=0.21
/proc/23733/task/23739/stat : 23739 (java) S 23731 23733 22522 0 -1 64 394 0 0 0 20 1 0 0 16 0 8 0 163638094 938225664 8552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23740] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23740/stat : 23740 (java) S 23731 23733 22522 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 163638094 938225664 8552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23741] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23741/stat : 23741 (java) S 23731 23733 22522 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163638094 938225664 8552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.46
Current children cumulated vsize (KiB) 916236

[startup+222.617 s]
/proc/loadavg: 1.00 1.00 1.04 2/85 23741
/proc/meminfo: memFree=1334760/2055920 swapFree=4191880/4192956
[pid=23733] ppid=23731 vsize=916236 CPUtime=222.45
/proc/23733/stat : 23733 (java) R 23731 23733 22522 0 -1 0 8819 0 1 0 22238 7 0 0 25 0 8 0 163638086 938225664 8554 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918484 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23733/statm: 229059 8554 2524 14 0 215529 0
[pid=23733/tid=23735] ppid=23731 vsize=916236 CPUtime=0.03
/proc/23733/task/23735/stat : 23735 (java) S 23731 23733 22522 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 163638090 938225664 8554 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23733/tid=23736] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23736/stat : 23736 (java) S 23731 23733 22522 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 163638091 938225664 8554 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23737] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23737/stat : 23737 (java) S 23731 23733 22522 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163638091 938225664 8554 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23738] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23738/stat : 23738 (java) S 23731 23733 22522 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 163638094 938225664 8554 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23739] ppid=23731 vsize=916236 CPUtime=0.21
/proc/23733/task/23739/stat : 23739 (java) S 23731 23733 22522 0 -1 64 394 0 0 0 20 1 0 0 16 0 8 0 163638094 938225664 8554 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23740] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23740/stat : 23740 (java) S 23731 23733 22522 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 163638094 938225664 8554 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23741] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23741/stat : 23741 (java) S 23731 23733 22522 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163638094 938225664 8554 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.45
Current children cumulated vsize (KiB) 916236

[startup+282.639 s]
/proc/loadavg: 1.00 1.00 1.03 2/85 23741
/proc/meminfo: memFree=1334696/2055920 swapFree=4191880/4192956
[pid=23733] ppid=23731 vsize=916236 CPUtime=282.44
/proc/23733/stat : 23733 (java) R 23731 23733 22522 0 -1 0 8822 0 1 0 28237 7 0 0 25 0 8 0 163638086 938225664 8557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797932 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23733/statm: 229059 8557 2524 14 0 215529 0
[pid=23733/tid=23735] ppid=23731 vsize=916236 CPUtime=0.03
/proc/23733/task/23735/stat : 23735 (java) S 23731 23733 22522 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 163638090 938225664 8557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23733/tid=23736] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23736/stat : 23736 (java) S 23731 23733 22522 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 163638091 938225664 8557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23737] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23737/stat : 23737 (java) S 23731 23733 22522 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163638091 938225664 8557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23738] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23738/stat : 23738 (java) S 23731 23733 22522 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 163638094 938225664 8557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23739] ppid=23731 vsize=916236 CPUtime=0.21
/proc/23733/task/23739/stat : 23739 (java) S 23731 23733 22522 0 -1 64 394 0 0 0 20 1 0 0 16 0 8 0 163638094 938225664 8557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23740] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23740/stat : 23740 (java) S 23731 23733 22522 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 163638094 938225664 8557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23741] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23741/stat : 23741 (java) S 23731 23733 22522 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163638094 938225664 8557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.44
Current children cumulated vsize (KiB) 916236

[startup+342.667 s]
/proc/loadavg: 1.00 1.00 1.02 2/85 23741
/proc/meminfo: memFree=1334696/2055920 swapFree=4191880/4192956
[pid=23733] ppid=23731 vsize=916236 CPUtime=342.43
/proc/23733/stat : 23733 (java) R 23731 23733 22522 0 -1 0 8822 0 1 0 34236 7 0 0 25 0 8 0 163638086 938225664 8557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073811048 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23733/statm: 229059 8557 2524 14 0 215529 0
[pid=23733/tid=23735] ppid=23731 vsize=916236 CPUtime=0.03
/proc/23733/task/23735/stat : 23735 (java) S 23731 23733 22522 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 163638090 938225664 8557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23733/tid=23736] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23736/stat : 23736 (java) S 23731 23733 22522 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 163638091 938225664 8557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23737] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23737/stat : 23737 (java) S 23731 23733 22522 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163638091 938225664 8557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23738] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23738/stat : 23738 (java) S 23731 23733 22522 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 163638094 938225664 8557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23739] ppid=23731 vsize=916236 CPUtime=0.21
/proc/23733/task/23739/stat : 23739 (java) S 23731 23733 22522 0 -1 64 394 0 0 0 20 1 0 0 16 0 8 0 163638094 938225664 8557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23740] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23740/stat : 23740 (java) S 23731 23733 22522 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 163638094 938225664 8557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23741] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23741/stat : 23741 (java) S 23731 23733 22522 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163638094 938225664 8557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342.43
Current children cumulated vsize (KiB) 916236

[startup+402.684 s]
/proc/loadavg: 1.00 1.00 1.02 2/85 23741
/proc/meminfo: memFree=1334632/2055920 swapFree=4191880/4192956
[pid=23733] ppid=23731 vsize=916236 CPUtime=402.41
/proc/23733/stat : 23733 (java) R 23731 23733 22522 0 -1 0 8825 0 1 0 40234 7 0 0 25 0 8 0 163638086 938225664 8560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073806668 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23733/statm: 229059 8560 2524 14 0 215529 0
[pid=23733/tid=23735] ppid=23731 vsize=916236 CPUtime=0.03
/proc/23733/task/23735/stat : 23735 (java) S 23731 23733 22522 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 163638090 938225664 8560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23733/tid=23736] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23736/stat : 23736 (java) S 23731 23733 22522 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 163638091 938225664 8560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23737] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23737/stat : 23737 (java) S 23731 23733 22522 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163638091 938225664 8560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23738] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23738/stat : 23738 (java) S 23731 23733 22522 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 163638094 938225664 8560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23739] ppid=23731 vsize=916236 CPUtime=0.21
/proc/23733/task/23739/stat : 23739 (java) S 23731 23733 22522 0 -1 64 394 0 0 0 20 1 0 0 16 0 8 0 163638094 938225664 8560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23740] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23740/stat : 23740 (java) S 23731 23733 22522 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 163638094 938225664 8560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23741] ppid=23731 vsize=916236 CPUtime=0
/proc/23733/task/23741/stat : 23741 (java) S 23731 23733 22522 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163638094 938225664 8560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 402.41
Current children cumulated vsize (KiB) 916236

Child status: 0
Real time (s): 411.993
CPU time (s): 411.682
CPU user time (s): 411.594
CPU system time (s): 0.087986
CPU usage (%): 99.9247
Max. virtual memory (cumulated for all children) (KiB): 916236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 411.594
system time used= 0.087986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8916
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= 9194
involuntary context switches= 13569

runsolver used 0.432934 s user time and 1.03784 s system time

The end

Launcher Data (download as text)

Begin job on node72 on Sun Jan  7 06:44:53 UTC 2007


IDJOB= 202534
IDBENCH= 3864
FILE ID= node72/202534-1168152292

PBS_JOBID= 3478391

Free space on /tmp= 66555 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-33_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202534-1168152292/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node72/watcher-202534-1168152292 -o ROOT/results/node72/solver-202534-1168152292 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202534-1168152292/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  5fb8f6a93a09012584dbcbec6c1ad546

RANDOM SEED= 584341034

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:       1359488 kB
Buffers:         44004 kB
Cached:         535696 kB
SwapCached:        408 kB
Active:         179240 kB
Inactive:       443676 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1359488 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            1960 kB
Writeback:           0 kB
Mapped:          60476 kB
Slab:            58916 kB
Committed_AS:  2897584 kB
PageTables:       1920 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66555 MiB



End job on node72 on Sun Jan  7 06:51:45 UTC 2007