Trace number 233741

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 ACSAT 571.415 575.819

DiagnosticValue
CHECKS2527934700
NODES159718

General information on the benchmark

Nametaillard/os-taillard-7/
os-taillard-7-100-9.xml
MD5SUMc8447009f795ef7e4fc3e22f2417f8c2
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.637902
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables49
Number of constraints294
Maximum constraint arity2
Maximum domain size398
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.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=mac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/233741-1168081392/unknown.xml
0.36	   
0.36	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.41	     nbVariables=49  nbDomainTypes=49  minDomainSize=304  maxDomainSize=398
0.41	       =>  wckTime=0.108  cpuTime=0.08  mem=7M879
0.41	   
0.41	   predicates being loaded...
0.41	   
0.41	   constraints being loaded...
4.35	   
4.35	   INFO : Stopping converting binary constraints (cpu=4.01, mem = 19M591)
4.40	     nbConstraints=294  nbConvertedConstraints=118  nbConvertConstraintsChecks=14123359  nbExtensionStructures=118
4.40	     nbSharedExtensionStructures=0  nbConflictsStructures=118  nbSharedConflictsStructures=0
4.40	     nbSharedBinaryRepresentations=24382  nbEvaluationManagers=176  nbSharedEvaluationManagers=0  maxDegree=12
4.40	     maxArity=2
4.40	       =>  wckTime=4.1  cpuTime=3.98  mem=21M542
4.46	   
4.46	   solver IterativeSystematicSolver being built... 
4.62	       =>  wckTime=4.322  cpuTime=4.1  mem=20M761
5.14	   
5.14	   preprocessing
5.14	     nbConstraintChecks=1410367  nbValidityChecks=11737  nbPropagations=49  nbRevisions=352  nbUselessRevisions=352
5.14	     nbRemovedValues=0  detectedInconsistency=no
5.14	       =>  wckTime=0.519  cpuTime=0.51  mem=20M761
6.83	   
6.83	   search
6.83	     run=0  nbConstraintChecks=6021050  nbValidityChecks=1535081  nbPropagations=2219  nbRevisions=18008
6.83	     nbUselessRevisions=12360  nbAssignments=251  nbFailedAssignments=225  nbBacktracks=11  nbVisitedNodes=488
6.83	     nbRestartNogoods=0  mapSize=11  nbInferences=0  nbTooLargeKeys=0
6.83	       =>  wckTime=2.208  cpuTime=2.16  mem=20M761
19.98	   
19.98	   search
19.98	     run=1  nbConstraintChecks=48873784  nbValidityChecks=6833783  nbPropagations=9389  nbRevisions=73417
19.98	     nbUselessRevisions=45539  nbAssignments=1452  nbFailedAssignments=1404  nbBacktracks=26  nbVisitedNodes=2882
19.98	     nbRestartNogoods=6  mapSize=25  nbInferences=0  nbTooLargeKeys=0
19.98	       =>  wckTime=15.354  cpuTime=15.18  mem=20M761
22.11	   
22.11	   search
22.11	     run=2  nbConstraintChecks=57666964  nbValidityChecks=8403020  nbPropagations=20151  nbRevisions=158985
22.11	     nbUselessRevisions=97479  nbAssignments=1848  nbFailedAssignments=1760  nbBacktracks=48  nbVisitedNodes=3655
22.11	     nbRestartNogoods=15  mapSize=47  nbInferences=0  nbTooLargeKeys=0
22.11	       =>  wckTime=17.488  cpuTime=17.28  mem=20M761
23.32	   
23.32	   search
23.32	     run=3  nbConstraintChecks=62745650  nbValidityChecks=10957862  nbPropagations=34860  nbRevisions=275790
23.32	     nbUselessRevisions=171868  nbAssignments=2113  nbFailedAssignments=1978  nbBacktracks=81  nbVisitedNodes=4169
23.32	     nbRestartNogoods=34  mapSize=80  nbInferences=0  nbTooLargeKeys=0
23.32	       =>  wckTime=18.699  cpuTime=18.48  mem=21M736
26.10	   
26.10	   search
26.10	     run=4  nbConstraintChecks=78557833  nbValidityChecks=14219510  nbPropagations=55650  nbRevisions=442909
26.10	     nbUselessRevisions=274139  nbAssignments=3347  nbFailedAssignments=3149  nbBacktracks=131  nbVisitedNodes=6621
26.10	     nbRestartNogoods=61  mapSize=129  nbInferences=0  nbTooLargeKeys=0
26.10	       =>  wckTime=21.475  cpuTime=21.21  mem=21M736
30.92	   
30.92	   search
30.92	     run=5  nbConstraintChecks=100898719  nbValidityChecks=18819089  nbPropagations=86539  nbRevisions=690247
30.92	     nbUselessRevisions=427491  nbAssignments=4884  nbFailedAssignments=4593  nbBacktracks=206  nbVisitedNodes=9671
30.92	     nbRestartNogoods=191  mapSize=201  nbInferences=0  nbTooLargeKeys=0
30.92	       =>  wckTime=26.295  cpuTime=26.0  mem=21M736
35.97	   
35.97	   search
35.97	     run=6  nbConstraintChecks=124514885  nbValidityChecks=24827307  nbPropagations=127775  nbRevisions=1022561
35.97	     nbUselessRevisions=632665  nbAssignments=6177  nbFailedAssignments=5761  nbBacktracks=319  nbVisitedNodes=12197
35.97	     nbRestartNogoods=243  mapSize=273  nbInferences=0  nbTooLargeKeys=0
35.97	       =>  wckTime=31.343  cpuTime=31.01  mem=21M736
45.39	   
45.39	   search
45.39	     run=7  nbConstraintChecks=169539888  nbValidityChecks=37016499  nbPropagations=188323  nbRevisions=1522903
45.39	     nbUselessRevisions=943475  nbAssignments=8632  nbFailedAssignments=8032  nbBacktracks=490  nbVisitedNodes=17038
45.39	     nbRestartNogoods=301  mapSize=426  nbInferences=0  nbTooLargeKeys=0
45.39	       =>  wckTime=40.762  cpuTime=40.34  mem=21M736
94.14	   
94.14	   search
94.14	     run=8  nbConstraintChecks=364543772  nbValidityChecks=95612925  nbPropagations=302490  nbRevisions=2449510
94.14	     nbUselessRevisions=1519212  nbAssignments=18233  nbFailedAssignments=17359  nbBacktracks=746  nbVisitedNodes=36180
94.14	     nbRestartNogoods=320  mapSize=663  nbInferences=0  nbTooLargeKeys=0
94.14	       =>  wckTime=89.514  cpuTime=88.68  mem=22M711
106.80	   
106.80	   search
106.80	     run=9  nbConstraintChecks=421310278  nbValidityChecks=110319537  nbPropagations=443313  nbRevisions=3616542
106.80	     nbUselessRevisions=2256834  nbAssignments=20406  nbFailedAssignments=19095  nbBacktracks=1132  nbVisitedNodes=40441
106.80	     nbRestartNogoods=407  mapSize=1027  nbInferences=38  nbTooLargeKeys=0
106.80	       =>  wckTime=102.171  cpuTime=101.21  mem=23M687
122.32	   
122.32	   search
122.32	     run=10  nbConstraintChecks=508852550  nbValidityChecks=128091009  nbPropagations=642938  nbRevisions=5323227
122.32	     nbUselessRevisions=3365193  nbAssignments=26469  nbFailedAssignments=24564  nbBacktracks=1708  nbVisitedNodes=52517
122.32	     nbRestartNogoods=453  mapSize=1592  nbInferences=38  nbTooLargeKeys=0
122.32	       =>  wckTime=117.692  cpuTime=116.59  mem=24M662
142.60	   
142.60	   search
142.60	     run=11  nbConstraintChecks=589858206  nbValidityChecks=168738453  nbPropagations=909677  nbRevisions=7534761
142.60	     nbUselessRevisions=4827629  nbAssignments=35371  nbFailedAssignments=32568  nbBacktracks=2572  nbVisitedNodes=70159
142.60	     nbRestartNogoods=492  mapSize=2404  nbInferences=59  nbTooLargeKeys=0
142.60	       =>  wckTime=137.979  cpuTime=136.71  mem=25M637
240.37	   
240.37	   search
240.37	     run=12  nbConstraintChecks=1083479921  nbValidityChecks=319705103  nbPropagations=1446813  nbRevisions=12110434
240.37	     nbUselessRevisions=7871374  nbAssignments=65555  nbFailedAssignments=61437  nbBacktracks=3869
240.37	     nbVisitedNodes=130411  nbRestartNogoods=509  mapSize=3693  nbInferences=59  nbTooLargeKeys=0
240.37	       =>  wckTime=235.748  cpuTime=233.63  mem=27M587
408.31	   
408.31	   search
408.31	     run=13  nbConstraintChecks=1722692167  nbValidityChecks=495474736  nbPropagations=2258856  nbRevisions=19116818
408.31	     nbUselessRevisions=12424884  nbAssignments=99007  nbFailedAssignments=92933  nbBacktracks=5815
408.31	     nbVisitedNodes=197158  nbRestartNogoods=789  mapSize=5602  nbInferences=59  nbTooLargeKeys=0
408.31	       =>  wckTime=403.687  cpuTime=400.12  mem=30M513
495.03	   
495.03	   search
495.03	     run=14  nbConstraintChecks=2165431939  nbValidityChecks=644822954  nbPropagations=3434339  nbRevisions=29016436
495.03	     nbUselessRevisions=18900162  nbAssignments=144293  nbFailedAssignments=135219  nbBacktracks=8734
495.03	     nbVisitedNodes=287503  nbRestartNogoods=819  mapSize=8478  nbInferences=125  nbTooLargeKeys=0
495.03	       =>  wckTime=490.408  cpuTime=486.35  mem=35M389
575.79	   
575.79	   search
575.79	     run=15  nbConstraintChecks=2526524333  nbValidityChecks=729320284  nbPropagations=4774454  nbRevisions=40461206
575.79	     nbUselessRevisions=26410622  nbAssignments=159718  nbFailedAssignments=148604  nbBacktracks=10725
575.79	     nbVisitedNodes=317773  nbRestartNogoods=879  mapSize=10121  nbInferences=125  nbTooLargeKeys=0
575.79	       =>  wckTime=571.167  cpuTime=566.74  mem=38M314
575.79	   
575.79	   global
575.79	     nbConstraintChecks=2527934700  nbValidityChecks=729332021  nbPropagations=4774503  nbRevisions=40461558
575.79	     nbUselessRevisions=26410974  nbRestartNogoods=879  solvingWckTime=571.168  solvingCpuTime=566.74  expiredTime=no
575.79	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=570.91
575.79	       =>  wckTime=575.494  cpuTime=570.85  mem=38M314
575.79	   
575.79	s SATISFIABLE
575.79	v 231 0 114 270 94 356 169 141 0 64 337 100 150 247 323 0 363 242 231 70 145 97 341 235 0 121 340 173 95 144 337 0 154 215 273 104 285 0 315 166 70 227 320 222 84 173 250 341 0 
575.79	d NODES 159718
575.79	d CHECKS 2527934700
575.79	   
575.79	   totalWckTime=575.57  totalCpuTime=570.91

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node51/watcher-233741-1168081392 -o ROOT/results/node51/solver-233741-1168081392 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/233741-1168081392/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.02 1.01 1.00 2/80 1299
/proc/meminfo: memFree=1423280/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=18540 CPUtime=0
/proc/1298/stat : 1298 (runsolver) R 1296 1298 862 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 156538438 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 235371293991 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/1298/statm: 4635 279 244 17 0 2626 0

[startup+0.10213 s]
/proc/loadavg: 1.02 1.01 1.00 2/80 1299
/proc/meminfo: memFree=1423280/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=914988 CPUtime=0.08
/proc/1298/stat : 1298 (java) R 1296 1298 862 0 -1 0 2995 0 1 0 6 2 0 0 24 0 8 0 156538438 936947712 2741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154020548 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1298/statm: 228747 2741 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.510201 s]
/proc/loadavg: 1.02 1.01 1.00 2/80 1299
/proc/meminfo: memFree=1423280/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=915460 CPUtime=0.49
/proc/1298/stat : 1298 (java) R 1296 1298 862 0 -1 0 6850 0 1 0 44 5 0 0 25 0 8 0 156538438 937431040 6589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155770034 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1298/statm: 228865 6589 2160 14 0 215335 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915460

[startup+1.33134 s]
/proc/loadavg: 1.02 1.01 1.00 3/87 1306
/proc/meminfo: memFree=1403640/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=915460 CPUtime=1.29
/proc/1298/stat : 1298 (java) R 1296 1298 862 0 -1 0 7415 0 1 0 124 5 0 0 25 0 8 0 156538438 937431040 7153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073642554 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1298/statm: 228865 7153 2167 14 0 215335 0
[pid=1298/tid=1300] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1300/stat : 1300 (java) S 1296 1298 862 0 -1 64 8 0 0 0 0 0 0 0 17 0 8 0 156538442 937431040 7153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1301] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1301/stat : 1301 (java) S 1296 1298 862 0 -1 64 10 0 0 0 0 0 0 0 22 0 8 0 156538443 937431040 7153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1302] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1302/stat : 1302 (java) S 1296 1298 862 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 156538443 937431040 7153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1303] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1303/stat : 1303 (java) S 1296 1298 862 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156538446 937431040 7153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1304] ppid=1296 vsize=915460 CPUtime=0.09
/proc/1298/task/1304/stat : 1304 (java) S 1296 1298 862 0 -1 64 323 0 0 0 9 0 0 0 16 0 8 0 156538446 937431040 7153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1305] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1305/stat : 1305 (java) S 1296 1298 862 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156538446 937431040 7153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1306] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1306/stat : 1306 (java) S 1296 1298 862 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156538446 937431040 7153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915460

[startup+2.98062 s]
/proc/loadavg: 1.02 1.01 1.00 3/87 1306
/proc/meminfo: memFree=1400632/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=915460 CPUtime=2.94
/proc/1298/stat : 1298 (java) R 1296 1298 862 0 -1 0 8461 0 1 0 288 6 0 0 25 0 8 0 156538438 937431040 8199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1298/statm: 228865 8199 2167 14 0 215335 0
[pid=1298/tid=1300] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1300/stat : 1300 (java) S 1296 1298 862 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 156538442 937431040 8199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1301] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1301/stat : 1301 (java) S 1296 1298 862 0 -1 64 10 0 0 0 0 0 0 0 22 0 8 0 156538443 937431040 8199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1302] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1302/stat : 1302 (java) S 1296 1298 862 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 156538443 937431040 8199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1303] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1303/stat : 1303 (java) S 1296 1298 862 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156538446 937431040 8199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1304] ppid=1296 vsize=915460 CPUtime=0.1
/proc/1298/task/1304/stat : 1304 (java) S 1296 1298 862 0 -1 64 326 0 0 0 10 0 0 0 16 0 8 0 156538446 937431040 8199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1305] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1305/stat : 1305 (java) S 1296 1298 862 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156538446 937431040 8199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1306] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1306/stat : 1306 (java) S 1296 1298 862 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156538446 937431040 8199 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) 915460

[startup+6.26417 s]
/proc/loadavg: 1.10 1.03 1.01 3/87 1306
/proc/meminfo: memFree=1387640/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=915460 CPUtime=6.19
/proc/1298/stat : 1298 (java) R 1296 1298 862 0 -1 0 11627 0 1 0 612 7 0 0 25 0 8 0 156538438 937431040 11363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073642530 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1298/statm: 228865 11363 2531 14 0 215335 0
[pid=1298/tid=1300] ppid=1296 vsize=915460 CPUtime=0.04
/proc/1298/task/1300/stat : 1300 (java) S 1296 1298 862 0 -1 64 1461 0 0 0 4 0 0 0 17 0 8 0 156538442 937431040 11363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1301] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1301/stat : 1301 (java) S 1296 1298 862 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156538443 937431040 11363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1302] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1302/stat : 1302 (java) S 1296 1298 862 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156538443 937431040 11363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1303] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1303/stat : 1303 (java) S 1296 1298 862 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156538446 937431040 11363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1304] ppid=1296 vsize=915460 CPUtime=0.19
/proc/1298/task/1304/stat : 1304 (java) S 1296 1298 862 0 -1 64 380 0 0 0 18 1 0 0 15 0 8 0 156538446 937431040 11363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1305] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1305/stat : 1305 (java) S 1296 1298 862 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156538446 937431040 11363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1306] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1306/stat : 1306 (java) S 1296 1298 862 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156538446 937431040 11363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915460

[startup+12.7423 s]
/proc/loadavg: 1.17 1.04 1.01 3/87 1306
/proc/meminfo: memFree=1387640/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=915460 CPUtime=12.63
/proc/1298/stat : 1298 (java) R 1296 1298 862 0 -1 0 11640 0 1 0 1255 8 0 0 25 0 8 0 156538438 937431040 11373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815974 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1298/statm: 228865 11373 2534 14 0 215335 0
[pid=1298/tid=1300] ppid=1296 vsize=915460 CPUtime=0.04
/proc/1298/task/1300/stat : 1300 (java) S 1296 1298 862 0 -1 64 1462 0 0 0 4 0 0 0 16 0 8 0 156538442 937431040 11373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1301] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1301/stat : 1301 (java) S 1296 1298 862 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156538443 937431040 11373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1302] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1302/stat : 1302 (java) S 1296 1298 862 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156538443 937431040 11373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1303] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1303/stat : 1303 (java) S 1296 1298 862 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156538446 937431040 11373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1304] ppid=1296 vsize=915460 CPUtime=0.2
/proc/1298/task/1304/stat : 1304 (java) S 1296 1298 862 0 -1 64 387 0 0 0 19 1 0 0 16 0 8 0 156538446 937431040 11373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1305] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1305/stat : 1305 (java) S 1296 1298 862 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156538446 937431040 11373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1306] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1306/stat : 1306 (java) S 1296 1298 862 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156538446 937431040 11373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915460

[startup+25.5865 s]
/proc/loadavg: 1.36 1.09 1.02 3/87 1306
/proc/meminfo: memFree=1387640/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=915460 CPUtime=25.34
/proc/1298/stat : 1298 (java) R 1296 1298 862 0 -1 0 11659 0 1 0 2526 8 0 0 25 0 8 0 156538438 937431040 11387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073647700 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1298/statm: 228865 11387 2534 14 0 215335 0
[pid=1298/tid=1300] ppid=1296 vsize=915460 CPUtime=0.04
/proc/1298/task/1300/stat : 1300 (java) S 1296 1298 862 0 -1 64 1462 0 0 0 4 0 0 0 16 0 8 0 156538442 937431040 11387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1301] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1301/stat : 1301 (java) S 1296 1298 862 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156538443 937431040 11387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1302] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1302/stat : 1302 (java) S 1296 1298 862 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156538443 937431040 11387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1303] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1303/stat : 1303 (java) S 1296 1298 862 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156538446 937431040 11387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1304] ppid=1296 vsize=915460 CPUtime=0.23
/proc/1298/task/1304/stat : 1304 (java) S 1296 1298 862 0 -1 64 404 0 0 0 22 1 0 0 16 0 8 0 156538446 937431040 11387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1305] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1305/stat : 1305 (java) S 1296 1298 862 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156538446 937431040 11387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1306] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1306/stat : 1306 (java) S 1296 1298 862 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156538446 937431040 11387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915460

[startup+51.2838 s]
/proc/loadavg: 1.57 1.16 1.05 3/87 1306
/proc/meminfo: memFree=1387640/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=915460 CPUtime=50.83
/proc/1298/stat : 1298 (java) R 1296 1298 862 0 -1 0 11662 0 1 0 5075 8 0 0 25 0 8 0 156538438 937431040 11389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073817470 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1298/statm: 228865 11389 2534 14 0 215335 0
[pid=1298/tid=1300] ppid=1296 vsize=915460 CPUtime=0.04
/proc/1298/task/1300/stat : 1300 (java) S 1296 1298 862 0 -1 64 1462 0 0 0 4 0 0 0 16 0 8 0 156538442 937431040 11389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1301] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1301/stat : 1301 (java) S 1296 1298 862 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156538443 937431040 11389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1302] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1302/stat : 1302 (java) S 1296 1298 862 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156538443 937431040 11389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1303] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1303/stat : 1303 (java) S 1296 1298 862 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156538446 937431040 11389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1304] ppid=1296 vsize=915460 CPUtime=0.23
/proc/1298/task/1304/stat : 1304 (java) S 1296 1298 862 0 -1 64 406 0 0 0 22 1 0 0 16 0 8 0 156538446 937431040 11389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1305] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1305/stat : 1305 (java) S 1296 1298 862 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156538446 937431040 11389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1306] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1306/stat : 1306 (java) S 1296 1298 862 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156538446 937431040 11389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 915460

[startup+102.566 s]
/proc/loadavg: 1.85 1.30 1.10 3/87 1306
/proc/meminfo: memFree=1387640/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=915460 CPUtime=101.68
/proc/1298/stat : 1298 (java) R 1296 1298 862 0 -1 0 11662 0 1 0 10160 8 0 0 25 0 8 0 156538438 937431040 11389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073871207 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1298/statm: 228865 11389 2534 14 0 215335 0
[pid=1298/tid=1300] ppid=1296 vsize=915460 CPUtime=0.04
/proc/1298/task/1300/stat : 1300 (java) S 1296 1298 862 0 -1 64 1462 0 0 0 4 0 0 0 16 0 8 0 156538442 937431040 11389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1301] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1301/stat : 1301 (java) S 1296 1298 862 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156538443 937431040 11389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1302] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1302/stat : 1302 (java) S 1296 1298 862 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156538443 937431040 11389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1303] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1303/stat : 1303 (java) S 1296 1298 862 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156538446 937431040 11389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1304] ppid=1296 vsize=915460 CPUtime=0.23
/proc/1298/task/1304/stat : 1304 (java) S 1296 1298 862 0 -1 64 406 0 0 0 22 1 0 0 16 0 8 0 156538446 937431040 11389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1305] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1305/stat : 1305 (java) S 1296 1298 862 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156538446 937431040 11389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1306] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1306/stat : 1306 (java) S 1296 1298 862 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156538446 937431040 11389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.68
Current children cumulated vsize (KiB) 915460

[startup+162.597 s]
/proc/loadavg: 1.94 1.43 1.16 3/87 1306
/proc/meminfo: memFree=1387768/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=915460 CPUtime=161.17
/proc/1298/stat : 1298 (java) R 1296 1298 862 0 -1 0 11667 0 1 0 16109 8 0 0 25 0 8 0 156538438 937431040 11393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073818470 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1298/statm: 228865 11393 2534 14 0 215335 0
[pid=1298/tid=1300] ppid=1296 vsize=915460 CPUtime=0.04
/proc/1298/task/1300/stat : 1300 (java) S 1296 1298 862 0 -1 64 1462 0 0 0 4 0 0 0 16 0 8 0 156538442 937431040 11393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1301] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1301/stat : 1301 (java) S 1296 1298 862 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156538443 937431040 11393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1302] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1302/stat : 1302 (java) S 1296 1298 862 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156538443 937431040 11393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1303] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1303/stat : 1303 (java) S 1296 1298 862 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156538446 937431040 11393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1304] ppid=1296 vsize=915460 CPUtime=0.24
/proc/1298/task/1304/stat : 1304 (java) S 1296 1298 862 0 -1 64 410 0 0 0 23 1 0 0 16 0 8 0 156538446 937431040 11393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1305] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1305/stat : 1305 (java) S 1296 1298 862 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156538446 937431040 11393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1306] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1306/stat : 1306 (java) S 1296 1298 862 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156538446 937431040 11393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.17
Current children cumulated vsize (KiB) 915460

[startup+222.618 s]
/proc/loadavg: 1.98 1.53 1.21 3/87 1306
/proc/meminfo: memFree=1387768/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=915460 CPUtime=220.68
/proc/1298/stat : 1298 (java) R 1296 1298 862 0 -1 0 11688 0 1 0 22060 8 0 0 25 0 8 0 156538438 937431040 11414 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073642516 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1298/statm: 228865 11414 2534 14 0 215335 0
[pid=1298/tid=1300] ppid=1296 vsize=915460 CPUtime=0.04
/proc/1298/task/1300/stat : 1300 (java) S 1296 1298 862 0 -1 64 1462 0 0 0 4 0 0 0 16 0 8 0 156538442 937431040 11414 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1301] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1301/stat : 1301 (java) S 1296 1298 862 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156538443 937431040 11414 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1302] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1302/stat : 1302 (java) S 1296 1298 862 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156538443 937431040 11414 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1303] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1303/stat : 1303 (java) S 1296 1298 862 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156538446 937431040 11414 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1304] ppid=1296 vsize=915460 CPUtime=0.24
/proc/1298/task/1304/stat : 1304 (java) S 1296 1298 862 0 -1 64 410 0 0 0 23 1 0 0 16 0 8 0 156538446 937431040 11414 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1305] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1305/stat : 1305 (java) S 1296 1298 862 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156538446 937431040 11414 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1306] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1306/stat : 1306 (java) S 1296 1298 862 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156538446 937431040 11414 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 220.68
Current children cumulated vsize (KiB) 915460

[startup+282.643 s]
/proc/loadavg: 1.99 1.61 1.25 3/87 1306
/proc/meminfo: memFree=1387200/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=915460 CPUtime=280.19
/proc/1298/stat : 1298 (java) R 1296 1298 862 0 -1 0 11843 0 1 0 28011 8 0 0 25 0 8 0 156538438 937431040 11569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073818455 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1298/statm: 228865 11569 2534 14 0 215335 0
[pid=1298/tid=1300] ppid=1296 vsize=915460 CPUtime=0.04
/proc/1298/task/1300/stat : 1300 (java) S 1296 1298 862 0 -1 64 1462 0 0 0 4 0 0 0 16 0 8 0 156538442 937431040 11569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1301] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1301/stat : 1301 (java) S 1296 1298 862 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156538443 937431040 11569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1302] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1302/stat : 1302 (java) S 1296 1298 862 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156538443 937431040 11569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1303] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1303/stat : 1303 (java) S 1296 1298 862 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156538446 937431040 11569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1304] ppid=1296 vsize=915460 CPUtime=0.24
/proc/1298/task/1304/stat : 1304 (java) S 1296 1298 862 0 -1 64 410 0 0 0 23 1 0 0 16 0 8 0 156538446 937431040 11569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1305] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1305/stat : 1305 (java) S 1296 1298 862 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156538446 937431040 11569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1306] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1306/stat : 1306 (java) S 1296 1298 862 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156538446 937431040 11569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 280.19
Current children cumulated vsize (KiB) 915460

[startup+342.664 s]
/proc/loadavg: 1.99 1.68 1.30 3/87 1306
/proc/meminfo: memFree=1386688/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=915460 CPUtime=339.68
/proc/1298/stat : 1298 (java) R 1296 1298 862 0 -1 0 11967 0 1 0 33960 8 0 0 25 0 8 0 156538438 937431040 11693 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073643616 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1298/statm: 228865 11693 2534 14 0 215335 0
[pid=1298/tid=1300] ppid=1296 vsize=915460 CPUtime=0.04
/proc/1298/task/1300/stat : 1300 (java) S 1296 1298 862 0 -1 64 1462 0 0 0 4 0 0 0 16 0 8 0 156538442 937431040 11693 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1301] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1301/stat : 1301 (java) S 1296 1298 862 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156538443 937431040 11693 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1302] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1302/stat : 1302 (java) S 1296 1298 862 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156538443 937431040 11693 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1303] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1303/stat : 1303 (java) S 1296 1298 862 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156538446 937431040 11693 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1304] ppid=1296 vsize=915460 CPUtime=0.24
/proc/1298/task/1304/stat : 1304 (java) S 1296 1298 862 0 -1 64 410 0 0 0 23 1 0 0 16 0 8 0 156538446 937431040 11693 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1305] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1305/stat : 1305 (java) S 1296 1298 862 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156538446 937431040 11693 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1306] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1306/stat : 1306 (java) S 1296 1298 862 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156538446 937431040 11693 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 339.68
Current children cumulated vsize (KiB) 915460

[startup+402.682 s]
/proc/loadavg: 2.07 1.75 1.34 3/87 1306
/proc/meminfo: memFree=1384448/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=915460 CPUtime=399.19
/proc/1298/stat : 1298 (java) R 1296 1298 862 0 -1 0 12522 0 1 0 39910 9 0 0 25 0 8 0 156538438 937431040 12248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073641381 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1298/statm: 228865 12248 2534 14 0 215335 0
[pid=1298/tid=1300] ppid=1296 vsize=915460 CPUtime=0.04
/proc/1298/task/1300/stat : 1300 (java) S 1296 1298 862 0 -1 64 1462 0 0 0 4 0 0 0 16 0 8 0 156538442 937431040 12248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1301] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1301/stat : 1301 (java) S 1296 1298 862 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156538443 937431040 12248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1302] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1302/stat : 1302 (java) S 1296 1298 862 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156538443 937431040 12248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1303] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1303/stat : 1303 (java) S 1296 1298 862 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156538446 937431040 12248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1304] ppid=1296 vsize=915460 CPUtime=0.24
/proc/1298/task/1304/stat : 1304 (java) S 1296 1298 862 0 -1 64 410 0 0 0 23 1 0 0 16 0 8 0 156538446 937431040 12248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1305] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1305/stat : 1305 (java) S 1296 1298 862 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156538446 937431040 12248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1306] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1306/stat : 1306 (java) S 1296 1298 862 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156538446 937431040 12248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 399.19
Current children cumulated vsize (KiB) 915460

[startup+462.708 s]
/proc/loadavg: 1.97 1.78 1.38 3/87 1364
/proc/meminfo: memFree=1298032/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=915460 CPUtime=458.81
/proc/1298/stat : 1298 (java) R 1296 1298 862 0 -1 0 13313 0 1 0 45870 11 0 0 25 0 8 0 156538438 937431040 13039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073642480 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1298/statm: 228865 13039 2534 14 0 215335 0
[pid=1298/tid=1300] ppid=1296 vsize=915460 CPUtime=0.04
/proc/1298/task/1300/stat : 1300 (java) S 1296 1298 862 0 -1 64 1462 0 0 0 4 0 0 0 16 0 8 0 156538442 937431040 13039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1301] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1301/stat : 1301 (java) S 1296 1298 862 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156538443 937431040 13039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1302] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1302/stat : 1302 (java) S 1296 1298 862 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156538443 937431040 13039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1303] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1303/stat : 1303 (java) S 1296 1298 862 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156538446 937431040 13039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1304] ppid=1296 vsize=915460 CPUtime=0.24
/proc/1298/task/1304/stat : 1304 (java) S 1296 1298 862 0 -1 64 410 0 0 0 23 1 0 0 16 0 8 0 156538446 937431040 13039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1305] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1305/stat : 1305 (java) S 1296 1298 862 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156538446 937431040 13039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1306] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1306/stat : 1306 (java) S 1296 1298 862 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156538446 937431040 13039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 458.81
Current children cumulated vsize (KiB) 915460

[startup+522.734 s]
/proc/loadavg: 1.99 1.82 1.41 3/87 1364
/proc/meminfo: memFree=1295408/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=915460 CPUtime=518.57
/proc/1298/stat : 1298 (java) R 1296 1298 862 0 -1 0 13979 0 1 0 51846 11 0 0 25 0 8 0 156538438 937431040 13705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073643229 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1298/statm: 228865 13705 2534 14 0 215335 0
[pid=1298/tid=1300] ppid=1296 vsize=915460 CPUtime=0.04
/proc/1298/task/1300/stat : 1300 (java) S 1296 1298 862 0 -1 64 1462 0 0 0 4 0 0 0 16 0 8 0 156538442 937431040 13705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1301] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1301/stat : 1301 (java) S 1296 1298 862 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156538443 937431040 13705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1302] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1302/stat : 1302 (java) S 1296 1298 862 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156538443 937431040 13705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1303] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1303/stat : 1303 (java) S 1296 1298 862 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156538446 937431040 13705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1304] ppid=1296 vsize=915460 CPUtime=0.24
/proc/1298/task/1304/stat : 1304 (java) S 1296 1298 862 0 -1 64 410 0 0 0 23 1 0 0 16 0 8 0 156538446 937431040 13705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1305] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1305/stat : 1305 (java) S 1296 1298 862 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156538446 937431040 13705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1298/tid=1306] ppid=1296 vsize=915460 CPUtime=0
/proc/1298/task/1306/stat : 1306 (java) S 1296 1298 862 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156538446 937431040 13705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 518.57
Current children cumulated vsize (KiB) 915460

Child status: 0
Real time (s): 575.819
CPU time (s): 571.415
CPU user time (s): 571.281
CPU system time (s): 0.133979
CPU usage (%): 99.2351
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 571.281
system time used= 0.133979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14496
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= 12963
involuntary context switches= 24943

runsolver used 0.633903 s user time and 1.63175 s system time

The end

Launcher Data (download as text)

Begin job on node51 on Sat Jan  6 11:03:16 UTC 2007


IDJOB= 233741
IDBENCH= 6630
FILE ID= node51/233741-1168081392

PBS_JOBID= 3476194

Free space on /tmp= 66545 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  c8447009f795ef7e4fc3e22f2417f8c2

RANDOM SEED= 264991947

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.277
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.277
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:       1424016 kB
Buffers:         33148 kB
Cached:         475016 kB
SwapCached:          0 kB
Active:          99928 kB
Inactive:       462120 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1424016 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1744 kB
Writeback:           0 kB
Mapped:          74072 kB
Slab:            55184 kB
Committed_AS:  3885732 kB
PageTables:       1896 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= 66545 MiB



End job on node51 on Sat Jan  6 11:12:55 UTC 2007