Trace number 233788

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 500.029 502.144

DiagnosticValue
CHECKS21106506373
NODES1107684

General information on the benchmark

Nametaillard/
os-taillard-7/os-taillard-7-95-9.xml
MD5SUMe3748dadd57349951a4947e30cc63ebe
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.177972
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables49
Number of constraints294
Maximum constraint arity2
Maximum domain size378
Number of constraints which are defined in extension0
Number of constraints which are defined in intension294
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.32	   configuration
0.32	     name=esac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/233788-1168328130/unknown.xml
0.38	   
0.38	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.43	     nbVariables=49  nbDomainTypes=49  minDomainSize=284  maxDomainSize=378
0.43	       =>  wckTime=0.114  cpuTime=0.09  mem=7M880
0.43	   
0.43	   predicates being loaded...
0.44	   
0.44	   constraints being loaded...
9.45	     nbConstraints=294  nbConvertedConstraints=294  nbConvertConstraintsChecks=31817234  nbExtensionStructures=294
9.45	     nbSharedExtensionStructures=0  nbConflictsStructures=294  nbSharedConflictsStructures=0
9.45	     nbSharedBinaryRepresentations=71810  maxDegree=12  maxArity=2
9.45	       =>  wckTime=9.131  cpuTime=8.98  mem=31M902
9.53	   
9.53	   solver IterativeSystematicSolver being built... 
9.69	       =>  wckTime=9.376  cpuTime=9.13  mem=24M789
9.76	   
9.76	   preprocessing
9.76	     nbConstraintChecks=828515  nbPropagations=684  nbRevisions=1410  nbUselessRevisions=654  nbSingletonTests=55
9.76	     nbEffectiveSingletonTests=0  nbESACBranches=6  nbRemovedValues=0  detectedInconsistency=no
9.76	       =>  wckTime=0.065  cpuTime=0.04  mem=24M789
9.98	   
9.98	   search
9.98	     run=0  nbConstraintChecks=5227385  nbPropagations=2294  nbRevisions=9597  nbUselessRevisions=4257
9.98	     nbAssignments=375  nbFailedAssignments=363  nbBacktracks=10  nbVisitedNodes=749  nbRestartNogoods=0  mapSize=10
9.98	     nbInferences=0  nbTooLargeKeys=0
9.98	       =>  wckTime=0.281  cpuTime=0.24  mem=24M789
10.42	   
10.42	   search
10.42	     run=1  nbConstraintChecks=20787246  nbPropagations=9414  nbRevisions=41436  nbUselessRevisions=18379
10.42	     nbAssignments=1373  nbFailedAssignments=1344  nbBacktracks=25  nbVisitedNodes=2743  nbRestartNogoods=10  mapSize=25
10.42	     nbInferences=0  nbTooLargeKeys=0
10.42	       =>  wckTime=0.719  cpuTime=0.67  mem=24M789
10.69	   
10.69	   search
10.69	     run=2  nbConstraintChecks=29117978  nbPropagations=21674  nbRevisions=88055  nbUselessRevisions=37812
10.69	     nbAssignments=1925  nbFailedAssignments=1872  nbBacktracks=47  nbVisitedNodes=3845  nbRestartNogoods=25  mapSize=47
10.69	     nbInferences=0  nbTooLargeKeys=0
10.69	       =>  wckTime=0.99  cpuTime=0.91  mem=24M789
10.92	   
10.92	   search
10.92	     run=3  nbConstraintChecks=38712509  nbPropagations=38085  nbRevisions=151497  nbUselessRevisions=64995
10.92	     nbAssignments=2515  nbFailedAssignments=2427  nbBacktracks=80  nbVisitedNodes=5023  nbRestartNogoods=47  mapSize=80
10.92	     nbInferences=0  nbTooLargeKeys=0
10.92	       =>  wckTime=1.219  cpuTime=1.14  mem=25M738
13.14	   
13.14	   search
13.14	     run=4  nbConstraintChecks=135352294  nbPropagations=92006  nbRevisions=337585  nbUselessRevisions=144786
13.14	     nbAssignments=7210  nbFailedAssignments=6970  nbBacktracks=130  nbVisitedNodes=14211  nbRestartNogoods=105
13.14	     mapSize=130  nbInferences=0  nbTooLargeKeys=0
13.14	       =>  wckTime=3.444  cpuTime=3.35  mem=25M738
13.63	   
13.63	   search
13.63	     run=5  nbConstraintChecks=155363714  nbPropagations=152527  nbRevisions=554934  nbUselessRevisions=238356
13.63	     nbAssignments=8440  nbFailedAssignments=8123  nbBacktracks=205  nbVisitedNodes=16669  nbRestartNogoods=155
13.63	     mapSize=205  nbInferences=0  nbTooLargeKeys=0
13.63	       =>  wckTime=3.936  cpuTime=3.83  mem=25M738
14.39	   
14.39	   search
14.39	     run=6  nbConstraintChecks=186006299  nbPropagations=223835  nbRevisions=822527  nbUselessRevisions=353994
14.39	     nbAssignments=10430  nbFailedAssignments=9978  nbBacktracks=318  nbVisitedNodes=20607  nbRestartNogoods=163
14.39	     mapSize=318  nbInferences=0  nbTooLargeKeys=0
14.39	       =>  wckTime=4.693  cpuTime=4.59  mem=25M738
16.47	   
16.47	   search
16.47	     run=7  nbConstraintChecks=274978996  nbPropagations=329240  nbRevisions=1213742  nbUselessRevisions=521594
16.47	     nbAssignments=14951  nbFailedAssignments=14327  nbBacktracks=488  nbVisitedNodes=29647  nbRestartNogoods=176
16.47	     mapSize=488  nbInferences=0  nbTooLargeKeys=0
16.47	       =>  wckTime=6.769  cpuTime=6.65  mem=25M738
18.29	   
18.29	   search
18.29	     run=8  nbConstraintChecks=348279723  nbPropagations=458437  nbRevisions=1721270  nbUselessRevisions=740041
18.29	     nbAssignments=19718  nbFailedAssignments=18836  nbBacktracks=744  nbVisitedNodes=39179  nbRestartNogoods=202
18.29	     mapSize=744  nbInferences=0  nbTooLargeKeys=0
18.29	       =>  wckTime=8.588  cpuTime=8.46  mem=26M688
23.11	   
23.11	   INFO : Stopping hyperNogood (mapSize=1049, nbTooLargekeys=0, mem=26M688)
23.63	   
23.63	   search
23.63	     run=9  nbConstraintChecks=551324109  nbPropagations=688088  nbRevisions=2553580  nbUselessRevisions=1092415
23.63	     nbAssignments=31793  nbFailedAssignments=30413  nbBacktracks=1128  nbVisitedNodes=63103  nbRestartNogoods=256
23.63	       =>  wckTime=13.935  cpuTime=13.78  mem=26M688
27.56	   
27.56	   search
27.56	     run=10  nbConstraintChecks=737173255  nbPropagations=978432  nbRevisions=3646700  nbUselessRevisions=1559807
27.56	     nbAssignments=41249  nbFailedAssignments=39252  nbBacktracks=1704  nbVisitedNodes=81914  nbRestartNogoods=296
27.56	       =>  wckTime=17.858  cpuTime=17.67  mem=26M688
35.46	   
35.46	   search
35.46	     run=11  nbConstraintChecks=1065990692  nbPropagations=1408623  nbRevisions=5219086  nbUselessRevisions=2225085
35.46	     nbAssignments=57760  nbFailedAssignments=54891  nbBacktracks=2568  nbVisitedNodes=114922  nbRestartNogoods=442
35.46	       =>  wckTime=25.764  cpuTime=25.54  mem=26M688
54.19	   
54.19	   search
54.19	     run=12  nbConstraintChecks=1797095131  nbPropagations=2165592  nbRevisions=8001172  nbUselessRevisions=3431409
54.19	     nbAssignments=102563  nbFailedAssignments=98383  nbBacktracks=3865  nbVisitedNodes=204498  nbRestartNogoods=500
54.19	       =>  wckTime=44.492  cpuTime=44.18  mem=26M688
69.24	   
69.24	   search
69.24	     run=13  nbConstraintChecks=2481986944  nbPropagations=3157484  nbRevisions=11692828  nbUselessRevisions=5031856
69.24	     nbAssignments=134307  nbFailedAssignments=127891  nbBacktracks=5811  nbVisitedNodes=267361  nbRestartNogoods=669
69.24	       =>  wckTime=59.546  cpuTime=59.16  mem=26M688
87.21	   
87.21	   search
87.21	     run=14  nbConstraintChecks=3196568767  nbPropagations=4489774  nbRevisions=16648023  nbUselessRevisions=7174807
87.21	     nbAssignments=177105  nbFailedAssignments=167764  nbBacktracks=8730  nbVisitedNodes=352882  nbRestartNogoods=772
87.21	       =>  wckTime=77.511  cpuTime=77.03  mem=26M688
130.21	   
130.21	   search
130.22	     run=15  nbConstraintChecks=4903060816  nbPropagations=6531586  nbRevisions=24326043  nbUselessRevisions=10517420
130.22	     nbAssignments=277374  nbFailedAssignments=263654  nbBacktracks=13108  nbVisitedNodes=553389  nbRestartNogoods=830
130.22	       =>  wckTime=120.517  cpuTime=119.84  mem=26M688
178.53	   
178.53	   search
178.53	     run=16  nbConstraintChecks=6906892909  nbPropagations=9384968  nbRevisions=35139737  nbUselessRevisions=15226434
178.53	     nbAssignments=386938  nbFailedAssignments=366649  nbBacktracks=19676  nbVisitedNodes=772361  nbRestartNogoods=930
178.53	       =>  wckTime=168.836  cpuTime=167.93  mem=26M688
251.70	   
251.70	   search
251.70	     run=17  nbConstraintChecks=10007584437  nbPropagations=13455938  nbRevisions=50628526  nbUselessRevisions=21973479
251.70	     nbAssignments=545366  nbFailedAssignments=515210  nbBacktracks=29528  nbVisitedNodes=1088928  nbRestartNogoods=1056
251.70	       =>  wckTime=241.999  cpuTime=240.74  mem=26M688
367.14	   
367.15	   search
367.15	     run=18  nbConstraintChecks=14833573439  nbPropagations=19399966  nbRevisions=73500715  nbUselessRevisions=31970913
367.15	     nbAssignments=799411  nbFailedAssignments=754471  nbBacktracks=44306  nbVisitedNodes=1596491  nbRestartNogoods=1283
367.15	       =>  wckTime=357.448  cpuTime=355.64  mem=26M688
502.11	   
502.11	   search
502.11	     run=19  nbConstraintChecks=21105677858  nbPropagations=27554677  nbRevisions=105787902  nbUselessRevisions=46363169
502.11	     nbAssignments=1107684  nbFailedAssignments=1049519  nbBacktracks=57524  nbVisitedNodes=2212670
502.11	     nbRestartNogoods=1346
502.11	       =>  wckTime=492.416  cpuTime=490.28  mem=26M688
502.11	   
502.11	   global
502.11	     nbConstraintChecks=21106506373  nbPropagations=27555361  nbRevisions=105789312  nbUselessRevisions=46363823
502.11	     nbRestartNogoods=1346  solvingWckTime=492.417  solvingCpuTime=490.28  expiredTime=no  totalExploration=yes
502.11	     nbFoundSolutions=0  globalCpuTime=499.46
502.12	       =>  wckTime=501.797  cpuTime=499.41  mem=26M688
502.12	   
502.12	s UNSATISFIABLE
502.12	d NODES 1107684
502.12	d CHECKS 21106506373
502.12	   
502.12	   totalWckTime=501.878  totalCpuTime=499.46

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/node19/watcher-233788-1168328130 -o ROOT/results/node19/solver-233788-1168328130 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/233788-1168328130/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: 2.00 2.00 2.00 4/89 7959
/proc/meminfo: memFree=1455560/2055920 swapFree=4171244/4192956
[pid=7958] ppid=7956 vsize=18540 CPUtime=0
/proc/7958/stat : 7958 (runsolver) R 7956 7958 5611 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 181207658 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 255236566311 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/7958/statm: 4635 279 244 17 0 2626 0

[startup+0.108672 s]
/proc/loadavg: 2.00 2.00 2.00 4/89 7959
/proc/meminfo: memFree=1455560/2055920 swapFree=4171244/4192956
[pid=7958] ppid=7956 vsize=914988 CPUtime=0.08
/proc/7958/stat : 7958 (java) R 7956 7958 5611 0 -1 0 2996 0 1 0 7 1 0 0 18 0 8 0 181207658 936947712 2742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072925648 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7958/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.518749 s]
/proc/loadavg: 2.00 2.00 2.00 4/89 7959
/proc/meminfo: memFree=1455560/2055920 swapFree=4171244/4192956
[pid=7958] ppid=7956 vsize=915328 CPUtime=0.49
/proc/7958/stat : 7958 (java) R 7956 7958 5611 0 -1 0 6618 0 1 0 46 3 0 0 18 0 8 0 181207658 937295872 6357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7958/statm: 228832 6357 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.3399 s]
/proc/loadavg: 2.00 2.00 2.00 3/96 7966
/proc/meminfo: memFree=1435984/2055920 swapFree=4171244/4192956
[pid=7958] ppid=7956 vsize=915460 CPUtime=1.31
/proc/7958/stat : 7958 (java) R 7956 7958 5611 0 -1 0 7398 0 1 0 127 4 0 0 25 0 8 0 181207658 937431040 7136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073643175 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7958/statm: 228865 7136 2167 14 0 215335 0
[pid=7958/tid=7960] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7960/stat : 7960 (java) S 7956 7958 5611 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 181207662 937431040 7136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7961] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7961/stat : 7961 (java) S 7956 7958 5611 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181207663 937431040 7136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7962] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7962/stat : 7962 (java) S 7956 7958 5611 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181207663 937431040 7136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7963] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7963/stat : 7963 (java) S 7956 7958 5611 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181207666 937431040 7136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7964] ppid=7956 vsize=915460 CPUtime=0.1
/proc/7958/task/7964/stat : 7964 (java) S 7956 7958 5611 0 -1 64 323 0 0 0 10 0 0 0 16 0 8 0 181207666 937431040 7136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7965] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7965/stat : 7965 (java) S 7956 7958 5611 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181207666 937431040 7136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7966] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7966/stat : 7966 (java) S 7956 7958 5611 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181207666 937431040 7136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915460

[startup+2.97721 s]
/proc/loadavg: 2.00 2.00 2.00 3/96 7966
/proc/meminfo: memFree=1432848/2055920 swapFree=4171244/4192956
[pid=7958] ppid=7956 vsize=915460 CPUtime=2.93
/proc/7958/stat : 7958 (java) R 7956 7958 5611 0 -1 0 8404 0 1 0 289 4 0 0 25 0 8 0 181207658 937431040 8142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073645466 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7958/statm: 228865 8142 2167 14 0 215335 0
[pid=7958/tid=7960] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7960/stat : 7960 (java) S 7956 7958 5611 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 181207662 937431040 8142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7961] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7961/stat : 7961 (java) S 7956 7958 5611 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181207663 937431040 8142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7962] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7962/stat : 7962 (java) S 7956 7958 5611 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181207663 937431040 8142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7963] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7963/stat : 7963 (java) S 7956 7958 5611 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181207666 937431040 8142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7964] ppid=7956 vsize=915460 CPUtime=0.11
/proc/7958/task/7964/stat : 7964 (java) S 7956 7958 5611 0 -1 64 326 0 0 0 11 0 0 0 16 0 8 0 181207666 937431040 8142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7965] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7965/stat : 7965 (java) S 7956 7958 5611 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181207666 937431040 8142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7966] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7966/stat : 7966 (java) S 7956 7958 5611 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181207666 937431040 8142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915460

[startup+6.27683 s]
/proc/loadavg: 2.00 2.00 2.00 3/96 7966
/proc/meminfo: memFree=1424464/2055920 swapFree=4171244/4192956
[pid=7958] ppid=7956 vsize=915460 CPUtime=6.22
/proc/7958/stat : 7958 (java) R 7956 7958 5611 0 -1 0 10390 0 1 0 616 6 0 0 25 0 8 0 181207658 937431040 10128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073641318 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7958/statm: 228865 10128 2168 14 0 215335 0
[pid=7958/tid=7960] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7960/stat : 7960 (java) S 7956 7958 5611 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 181207662 937431040 10128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7961] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7961/stat : 7961 (java) S 7956 7958 5611 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181207663 937431040 10128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7962] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7962/stat : 7962 (java) S 7956 7958 5611 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181207663 937431040 10128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7963] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7963/stat : 7963 (java) S 7956 7958 5611 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181207666 937431040 10128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7964] ppid=7956 vsize=915460 CPUtime=0.13
/proc/7958/task/7964/stat : 7964 (java) S 7956 7958 5611 0 -1 64 337 0 0 0 13 0 0 0 16 0 8 0 181207666 937431040 10128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7965] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7965/stat : 7965 (java) S 7956 7958 5611 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181207666 937431040 10128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7966] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7966/stat : 7966 (java) S 7956 7958 5611 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181207666 937431040 10128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915460

[startup+12.754 s]
/proc/loadavg: 2.00 2.00 2.00 3/96 7966
/proc/meminfo: memFree=1403920/2055920 swapFree=4171244/4192956
[pid=7958] ppid=7956 vsize=915460 CPUtime=12.67
/proc/7958/stat : 7958 (java) R 7956 7958 5611 0 -1 0 15621 0 1 0 1256 11 0 0 25 0 8 0 181207658 937431040 15355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819758 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7958/statm: 228865 15355 2542 14 0 215335 0
[pid=7958/tid=7960] ppid=7956 vsize=915460 CPUtime=0.07
/proc/7958/task/7960/stat : 7960 (java) S 7956 7958 5611 0 -1 64 2727 0 0 0 6 1 0 0 16 0 8 0 181207662 937431040 15355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7961] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7961/stat : 7961 (java) S 7956 7958 5611 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181207663 937431040 15355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7962] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7962/stat : 7962 (java) S 7956 7958 5611 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181207663 937431040 15355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7963] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7963/stat : 7963 (java) S 7956 7958 5611 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181207666 937431040 15355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7964] ppid=7956 vsize=915460 CPUtime=0.24
/proc/7958/task/7964/stat : 7964 (java) S 7956 7958 5611 0 -1 64 395 0 0 0 23 1 0 0 15 0 8 0 181207666 937431040 15355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7965] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7965/stat : 7965 (java) S 7956 7958 5611 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181207666 937431040 15355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7966] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7966/stat : 7966 (java) S 7956 7958 5611 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181207666 937431040 15355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915460

[startup+25.6225 s]
/proc/loadavg: 2.00 2.00 2.00 3/96 7966
/proc/meminfo: memFree=1403984/2055920 swapFree=4171244/4192956
[pid=7958] ppid=7956 vsize=915460 CPUtime=25.47
/proc/7958/stat : 7958 (java) R 7956 7958 5611 0 -1 0 15624 0 1 0 2536 11 0 0 25 0 8 0 181207658 937431040 15357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819646 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7958/statm: 228865 15357 2542 14 0 215335 0
[pid=7958/tid=7960] ppid=7956 vsize=915460 CPUtime=0.07
/proc/7958/task/7960/stat : 7960 (java) S 7956 7958 5611 0 -1 64 2727 0 0 0 6 1 0 0 16 0 8 0 181207662 937431040 15357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7961] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7961/stat : 7961 (java) S 7956 7958 5611 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181207663 937431040 15357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7962] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7962/stat : 7962 (java) S 7956 7958 5611 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181207663 937431040 15357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7963] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7963/stat : 7963 (java) S 7956 7958 5611 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181207666 937431040 15357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7964] ppid=7956 vsize=915460 CPUtime=0.25
/proc/7958/task/7964/stat : 7964 (java) S 7956 7958 5611 0 -1 64 397 0 0 0 24 1 0 0 16 0 8 0 181207666 937431040 15357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7965] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7965/stat : 7965 (java) S 7956 7958 5611 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181207666 937431040 15357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7966] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7966/stat : 7966 (java) S 7956 7958 5611 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181207666 937431040 15357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915460

[startup+51.2293 s]
/proc/loadavg: 2.00 2.00 2.00 3/96 7966
/proc/meminfo: memFree=1404048/2055920 swapFree=4171244/4192956
[pid=7958] ppid=7956 vsize=915460 CPUtime=50.95
/proc/7958/stat : 7958 (java) R 7956 7958 5611 0 -1 0 15627 0 1 0 5084 11 0 0 25 0 8 0 181207658 937431040 15360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819795 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7958/statm: 228865 15360 2542 14 0 215335 0
[pid=7958/tid=7960] ppid=7956 vsize=915460 CPUtime=0.07
/proc/7958/task/7960/stat : 7960 (java) S 7956 7958 5611 0 -1 64 2727 0 0 0 6 1 0 0 16 0 8 0 181207662 937431040 15360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7961] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7961/stat : 7961 (java) S 7956 7958 5611 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181207663 937431040 15360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7962] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7962/stat : 7962 (java) S 7956 7958 5611 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181207663 937431040 15360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7963] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7963/stat : 7963 (java) S 7956 7958 5611 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181207666 937431040 15360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7964] ppid=7956 vsize=915460 CPUtime=0.25
/proc/7958/task/7964/stat : 7964 (java) S 7956 7958 5611 0 -1 64 400 0 0 0 24 1 0 0 16 0 8 0 181207666 937431040 15360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7965] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7965/stat : 7965 (java) S 7956 7958 5611 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181207666 937431040 15360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7966] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7966/stat : 7966 (java) S 7956 7958 5611 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181207666 937431040 15360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 915460

[startup+102.446 s]
/proc/loadavg: 2.00 2.00 2.00 3/96 7966
/proc/meminfo: memFree=1404112/2055920 swapFree=4171244/4192956
[pid=7958] ppid=7956 vsize=915460 CPUtime=101.93
/proc/7958/stat : 7958 (java) R 7956 7958 5611 0 -1 0 15628 0 1 0 10181 12 0 0 25 0 8 0 181207658 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073832057 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7958/statm: 228865 15361 2542 14 0 215335 0
[pid=7958/tid=7960] ppid=7956 vsize=915460 CPUtime=0.07
/proc/7958/task/7960/stat : 7960 (java) S 7956 7958 5611 0 -1 64 2727 0 0 0 6 1 0 0 16 0 8 0 181207662 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7961] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7961/stat : 7961 (java) S 7956 7958 5611 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181207663 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7962] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7962/stat : 7962 (java) S 7956 7958 5611 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181207663 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7963] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7963/stat : 7963 (java) S 7956 7958 5611 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181207666 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7964] ppid=7956 vsize=915460 CPUtime=0.26
/proc/7958/task/7964/stat : 7964 (java) S 7956 7958 5611 0 -1 64 401 0 0 0 25 1 0 0 16 0 8 0 181207666 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7965] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7965/stat : 7965 (java) S 7956 7958 5611 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181207666 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7966] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7966/stat : 7966 (java) S 7956 7958 5611 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181207666 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.93
Current children cumulated vsize (KiB) 915460

[startup+162.508 s]
/proc/loadavg: 2.00 2.00 2.00 3/96 7966
/proc/meminfo: memFree=1404112/2055920 swapFree=4171244/4192956
[pid=7958] ppid=7956 vsize=915460 CPUtime=161.7
/proc/7958/stat : 7958 (java) R 7956 7958 5611 0 -1 0 15628 0 1 0 16158 12 0 0 25 0 8 0 181207658 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073880522 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7958/statm: 228865 15361 2542 14 0 215335 0
[pid=7958/tid=7960] ppid=7956 vsize=915460 CPUtime=0.07
/proc/7958/task/7960/stat : 7960 (java) S 7956 7958 5611 0 -1 64 2727 0 0 0 6 1 0 0 16 0 8 0 181207662 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7961] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7961/stat : 7961 (java) S 7956 7958 5611 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181207663 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7962] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7962/stat : 7962 (java) S 7956 7958 5611 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181207663 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7963] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7963/stat : 7963 (java) S 7956 7958 5611 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181207666 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7964] ppid=7956 vsize=915460 CPUtime=0.26
/proc/7958/task/7964/stat : 7964 (java) S 7956 7958 5611 0 -1 64 401 0 0 0 25 1 0 0 16 0 8 0 181207666 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7965] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7965/stat : 7965 (java) S 7956 7958 5611 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181207666 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7966] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7966/stat : 7966 (java) S 7956 7958 5611 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181207666 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.7
Current children cumulated vsize (KiB) 915460

[startup+222.576 s]
/proc/loadavg: 2.00 2.00 2.00 3/96 7966
/proc/meminfo: memFree=1402896/2055920 swapFree=4171244/4192956
[pid=7958] ppid=7956 vsize=915460 CPUtime=221.49
/proc/7958/stat : 7958 (java) R 7956 7958 5611 0 -1 0 15628 0 1 0 22136 13 0 0 25 0 8 0 181207658 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073815594 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7958/statm: 228865 15361 2542 14 0 215335 0
[pid=7958/tid=7960] ppid=7956 vsize=915460 CPUtime=0.07
/proc/7958/task/7960/stat : 7960 (java) S 7956 7958 5611 0 -1 64 2727 0 0 0 6 1 0 0 16 0 8 0 181207662 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7961] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7961/stat : 7961 (java) S 7956 7958 5611 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181207663 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7962] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7962/stat : 7962 (java) S 7956 7958 5611 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181207663 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7963] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7963/stat : 7963 (java) S 7956 7958 5611 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181207666 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7964] ppid=7956 vsize=915460 CPUtime=0.26
/proc/7958/task/7964/stat : 7964 (java) S 7956 7958 5611 0 -1 64 401 0 0 0 25 1 0 0 16 0 8 0 181207666 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7965] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7965/stat : 7965 (java) S 7956 7958 5611 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181207666 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7966] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7966/stat : 7966 (java) S 7956 7958 5611 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181207666 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.49
Current children cumulated vsize (KiB) 915460

[startup+282.642 s]
/proc/loadavg: 2.00 2.00 2.00 3/96 7966
/proc/meminfo: memFree=1402896/2055920 swapFree=4171244/4192956
[pid=7958] ppid=7956 vsize=915460 CPUtime=281.26
/proc/7958/stat : 7958 (java) R 7956 7958 5611 0 -1 0 15628 0 1 0 28113 13 0 0 25 0 8 0 181207658 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819738 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7958/statm: 228865 15361 2542 14 0 215335 0
[pid=7958/tid=7960] ppid=7956 vsize=915460 CPUtime=0.07
/proc/7958/task/7960/stat : 7960 (java) S 7956 7958 5611 0 -1 64 2727 0 0 0 6 1 0 0 16 0 8 0 181207662 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7961] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7961/stat : 7961 (java) S 7956 7958 5611 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181207663 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7962] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7962/stat : 7962 (java) S 7956 7958 5611 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181207663 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7963] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7963/stat : 7963 (java) S 7956 7958 5611 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181207666 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7964] ppid=7956 vsize=915460 CPUtime=0.26
/proc/7958/task/7964/stat : 7964 (java) S 7956 7958 5611 0 -1 64 401 0 0 0 25 1 0 0 16 0 8 0 181207666 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7965] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7965/stat : 7965 (java) S 7956 7958 5611 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181207666 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7966] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7966/stat : 7966 (java) S 7956 7958 5611 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181207666 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.26
Current children cumulated vsize (KiB) 915460

[startup+342.712 s]
/proc/loadavg: 2.00 2.00 2.00 3/96 7966
/proc/meminfo: memFree=1402896/2055920 swapFree=4171244/4192956
[pid=7958] ppid=7956 vsize=915460 CPUtime=341.05
/proc/7958/stat : 7958 (java) R 7956 7958 5611 0 -1 0 15628 0 1 0 34091 14 0 0 25 0 8 0 181207658 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073840374 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7958/statm: 228865 15361 2542 14 0 215335 0
[pid=7958/tid=7960] ppid=7956 vsize=915460 CPUtime=0.07
/proc/7958/task/7960/stat : 7960 (java) S 7956 7958 5611 0 -1 64 2727 0 0 0 6 1 0 0 16 0 8 0 181207662 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7961] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7961/stat : 7961 (java) S 7956 7958 5611 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181207663 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7962] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7962/stat : 7962 (java) S 7956 7958 5611 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181207663 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7963] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7963/stat : 7963 (java) S 7956 7958 5611 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181207666 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7964] ppid=7956 vsize=915460 CPUtime=0.26
/proc/7958/task/7964/stat : 7964 (java) S 7956 7958 5611 0 -1 64 401 0 0 0 25 1 0 0 16 0 8 0 181207666 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7965] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7965/stat : 7965 (java) S 7956 7958 5611 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181207666 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7966] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7966/stat : 7966 (java) S 7956 7958 5611 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181207666 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 341.05
Current children cumulated vsize (KiB) 915460

[startup+402.782 s]
/proc/loadavg: 2.00 2.00 2.00 3/96 7966
/proc/meminfo: memFree=1402896/2055920 swapFree=4171244/4192956
[pid=7958] ppid=7956 vsize=915460 CPUtime=400.83
/proc/7958/stat : 7958 (java) R 7956 7958 5611 0 -1 0 15628 0 1 0 40069 14 0 0 25 0 8 0 181207658 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073832063 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7958/statm: 228865 15361 2542 14 0 215335 0
[pid=7958/tid=7960] ppid=7956 vsize=915460 CPUtime=0.07
/proc/7958/task/7960/stat : 7960 (java) S 7956 7958 5611 0 -1 64 2727 0 0 0 6 1 0 0 16 0 8 0 181207662 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7961] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7961/stat : 7961 (java) S 7956 7958 5611 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181207663 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7962] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7962/stat : 7962 (java) S 7956 7958 5611 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181207663 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7963] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7963/stat : 7963 (java) S 7956 7958 5611 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181207666 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7964] ppid=7956 vsize=915460 CPUtime=0.26
/proc/7958/task/7964/stat : 7964 (java) S 7956 7958 5611 0 -1 64 401 0 0 0 25 1 0 0 16 0 8 0 181207666 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7965] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7965/stat : 7965 (java) S 7956 7958 5611 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181207666 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7966] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7966/stat : 7966 (java) S 7956 7958 5611 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181207666 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 400.83
Current children cumulated vsize (KiB) 915460

[startup+462.847 s]
/proc/loadavg: 1.96 1.98 1.99 3/94 8650
/proc/meminfo: memFree=1400480/2055920 swapFree=4171244/4192956
[pid=7958] ppid=7956 vsize=915460 CPUtime=460.78
/proc/7958/stat : 7958 (java) R 7956 7958 5611 0 -1 0 15628 0 1 0 46060 18 0 0 25 0 8 0 181207658 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819769 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7958/statm: 228865 15361 2542 14 0 215335 0
[pid=7958/tid=7960] ppid=7956 vsize=915460 CPUtime=0.07
/proc/7958/task/7960/stat : 7960 (java) S 7956 7958 5611 0 -1 64 2727 0 0 0 6 1 0 0 16 0 8 0 181207662 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7961] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7961/stat : 7961 (java) S 7956 7958 5611 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181207663 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7962] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7962/stat : 7962 (java) S 7956 7958 5611 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181207663 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7963] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7963/stat : 7963 (java) S 7956 7958 5611 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181207666 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7964] ppid=7956 vsize=915460 CPUtime=0.26
/proc/7958/task/7964/stat : 7964 (java) S 7956 7958 5611 0 -1 64 401 0 0 0 25 1 0 0 16 0 8 0 181207666 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7965] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7965/stat : 7965 (java) S 7956 7958 5611 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181207666 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7958/tid=7966] ppid=7956 vsize=915460 CPUtime=0
/proc/7958/task/7966/stat : 7966 (java) S 7956 7958 5611 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181207666 937431040 15361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 460.78
Current children cumulated vsize (KiB) 915460

Child status: 0
Real time (s): 502.144
CPU time (s): 500.029
CPU user time (s): 499.832
CPU system time (s): 0.19697
CPU usage (%): 99.5789
Max. virtual memory (cumulated for all children) (KiB): 915464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 499.832
system time used= 0.19697
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15637
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= 11366
involuntary context switches= 20075

runsolver used 0.602908 s user time and 1.63275 s system time

The end

Launcher Data (download as text)

Begin job on node19 on Tue Jan  9 07:35:30 UTC 2007


IDJOB= 233788
IDBENCH= 6637
FILE ID= node19/233788-1168328130

PBS_JOBID= 3502698

Free space on /tmp= 66558 MiB

BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-7/os-taillard-7-95-9.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/233788-1168328130/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node19/watcher-233788-1168328130 -o ROOT/results/node19/solver-233788-1168328130 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/233788-1168328130/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  e3748dadd57349951a4947e30cc63ebe

RANDOM SEED= 130836676

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.260
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.260
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:       1455976 kB
Buffers:         74972 kB
Cached:         418336 kB
SwapCached:      10164 kB
Active:         139052 kB
Inactive:       398840 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1455976 kB
SwapTotal:     4192956 kB
SwapFree:      4171244 kB
Dirty:            1728 kB
Writeback:           0 kB
Mapped:          54928 kB
Slab:            46568 kB
Committed_AS:  4974092 kB
PageTables:       2372 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= 66549 MiB



End job on node19 on Tue Jan  9 07:43:53 UTC 2007