Trace number 233108

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 636.088 642.068

DiagnosticValue
CHECKS1462371805
NODES12662

General information on the benchmark

Nametaillard/
os-taillard-20/os-taillard-20-95-7.xml
MD5SUMcc8957f8a15d4415fcf3976e1a5630c5
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 benchmark1.76473
SatisfiableYES
(Un)Satisfiability was proved
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1206
Number of constraints which are defined in extension0
Number of constraints which are defined in intension7600
Global constraints used (with number of constraints)

Solver Data (download as text)

0.34	   
0.34	Abscon 109 (November, 2006)
0.34	   
0.34	   configuration
0.34	     name=mac.xml
0.37	   
0.37	   instance
0.37	     name=/tmp/evaluation/233108-1168081329/unknown.xml
0.40	   
0.40	   domains being loaded...
0.46	   
0.46	   variables being loaded...
0.57	     nbVariables=400  nbDomainTypes=400  minDomainSize=1108  maxDomainSize=1206
0.57	       =>  wckTime=0.228  cpuTime=0.18  mem=19M633
0.57	   
0.57	   predicates being loaded...
0.57	   
0.57	   constraints being loaded...
4.52	   
4.52	   INFO : Stopping converting binary constraints (cpu=4.02, mem = 36M258)
5.63	     nbConstraints=7600  nbConvertedConstraints=11  nbConvertConstraintsChecks=14389875  nbExtensionStructures=11
5.63	     nbSharedExtensionStructures=0  nbConflictsStructures=11  nbSharedConflictsStructures=0
5.63	     nbSharedBinaryRepresentations=3972  nbEvaluationManagers=7589  nbSharedEvaluationManagers=0  maxDegree=38
5.63	     maxArity=2
5.63	       =>  wckTime=5.291  cpuTime=4.94  mem=53M748
5.78	   
5.78	   solver IterativeSystematicSolver being built... 
6.23	       =>  wckTime=5.885  cpuTime=5.22  mem=117M33
35.12	   
35.12	   preprocessing
35.12	     nbConstraintChecks=78524577  nbValidityChecks=508652  nbPropagations=400  nbRevisions=15178
35.12	     nbUselessRevisions=15178  nbRemovedValues=0  detectedInconsistency=no
35.12	       =>  wckTime=28.869  cpuTime=28.55  mem=117M33
105.64	   
105.64	   search
105.64	     run=0  nbConstraintChecks=163660242  nbValidityChecks=136719931  nbPropagations=7265  nbRevisions=215577
105.64	     nbUselessRevisions=199048  nbAssignments=452  nbFailedAssignments=263  nbBacktracks=11  nbVisitedNodes=726
105.64	     nbRestartNogoods=0  mapSize=11  nbInferences=0  nbTooLargeKeys=42
105.64	       =>  wckTime=99.395  cpuTime=98.42  mem=124M769
158.83	   
158.83	   search
158.83	     run=1  nbConstraintChecks=288120372  nbValidityChecks=279909938  nbPropagations=23154  nbRevisions=665578
158.83	     nbUselessRevisions=616329  nbAssignments=971  nbFailedAssignments=570  nbBacktracks=26  nbVisitedNodes=1567
158.83	     nbRestartNogoods=3  mapSize=26  nbInferences=0  nbTooLargeKeys=83
158.83	       =>  wckTime=152.583  cpuTime=151.08  mem=131M291
215.92	   
215.92	   search
215.92	     run=2  nbConstraintChecks=423667392  nbValidityChecks=418365814  nbPropagations=48150  nbRevisions=1354250
215.92	     nbUselessRevisions=1242160  nbAssignments=1794  nbFailedAssignments=1153  nbBacktracks=48  nbVisitedNodes=2992
215.92	     nbRestartNogoods=55  mapSize=46  nbInferences=0  nbTooLargeKeys=123
215.92	       =>  wckTime=209.672  cpuTime=207.64  mem=138M640
272.99	   
272.99	   search
272.99	     run=3  nbConstraintChecks=561090320  nbValidityChecks=560735595  nbPropagations=84131  nbRevisions=2317440
272.99	     nbUselessRevisions=2109652  nbAssignments=2844  nbFailedAssignments=1891  nbBacktracks=83  nbVisitedNodes=4802
272.99	     nbRestartNogoods=84  mapSize=70  nbInferences=0  nbTooLargeKeys=165
272.99	       =>  wckTime=266.746  cpuTime=264.12  mem=120M851
325.23	   
325.23	   search
325.23	     run=4  nbConstraintChecks=682496197  nbValidityChecks=695007938  nbPropagations=131287  nbRevisions=3539433
325.23	     nbUselessRevisions=3202830  nbAssignments=3994  nbFailedAssignments=2714  nbBacktracks=133  nbVisitedNodes=6826
325.23	     nbRestartNogoods=151  mapSize=120  nbInferences=2  nbTooLargeKeys=197
325.23	       =>  wckTime=318.976  cpuTime=315.89  mem=131M79
432.15	   
432.15	   search
432.15	     run=5  nbConstraintChecks=911035821  nbValidityChecks=1106374642  nbPropagations=212145  nbRevisions=5694745
432.15	     nbUselessRevisions=5098049  nbAssignments=6489  nbFailedAssignments=4939  nbBacktracks=208  nbVisitedNodes=11620
432.15	     nbRestartNogoods=176  mapSize=195  nbInferences=2  nbTooLargeKeys=223
432.15	       =>  wckTime=425.898  cpuTime=421.81  mem=139M241
486.76	   
486.76	   search
486.76	     run=6  nbConstraintChecks=1029682912  nbValidityChecks=1294350136  nbPropagations=304226  nbRevisions=8143832
486.76	     nbUselessRevisions=7228459  nbAssignments=7937  nbFailedAssignments=6159  nbBacktracks=321  nbVisitedNodes=14401
486.76	     nbRestartNogoods=264  mapSize=308  nbInferences=2  nbTooLargeKeys=252
486.76	       =>  wckTime=480.517  cpuTime=475.93  mem=147M702
597.45	   
597.45	   search
597.45	     run=7  nbConstraintChecks=1280355690  nbValidityChecks=1577552434  nbPropagations=449954  nbRevisions=11810347
597.45	     nbUselessRevisions=10342218  nbAssignments=12258  nbFailedAssignments=10047  nbBacktracks=491  nbVisitedNodes=22760
597.45	     nbRestartNogoods=275  mapSize=473  nbInferences=2  nbTooLargeKeys=282
597.45	       =>  wckTime=591.2  cpuTime=585.62  mem=159M895
641.97	   
641.97	   search
641.97	     run=8  nbConstraintChecks=1383847228  nbValidityChecks=1695561923  nbPropagations=602440  nbRevisions=15656303
641.97	     nbUselessRevisions=13628435  nbAssignments=12662  nbFailedAssignments=10051  nbBacktracks=491  nbVisitedNodes=23168
641.97	     nbRestartNogoods=409  mapSize=473  nbInferences=2  nbTooLargeKeys=308
641.97	       =>  wckTime=635.724  cpuTime=629.69  mem=141M324
641.97	   
641.97	   global
641.97	     nbConstraintChecks=1462371805  nbValidityChecks=1696070575  nbPropagations=602840  nbRevisions=15671481
641.97	     nbUselessRevisions=13643613  nbRestartNogoods=409  solvingWckTime=635.726  solvingCpuTime=629.69  expiredTime=no
641.97	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=634.98
641.97	       =>  wckTime=641.633  cpuTime=634.93  mem=141M324
641.98	   
641.98	s SATISFIABLE
641.98	v 286 1146 452 203 686 866 1123 607 189 135 211 365 0 995 67 617 729 1040 543 802 270 210 412 1108 727 0 850 103 683 366 948 1123 772 1089 349 441 173 490 1034 588 875 193 135 607 366 907 1126 275 60 993 738 490 1084 1096 1153 795 0 649 557 205 907 421 948 1044 1098 835 491 138 205 1127 656 0 41 326 589 1152 743 266 637 87 953 326 880 412 786 694 28 573 1008 91 912 835 506 449 240 173 155 1089 1031 711 778 976 1008 608 361 0 655 868 42 918 303 1061 1093 1157 137 441 536 46 210 717 1097 926 491 218 1034 0 124 310 1125 802 700 617 46 873 785 67 409 60 976 527 953 143 103 268 354 843 562 693 1025 542 171 1061 415 452 778 0 873 990 46 613 328 0 647 240 514 786 1072 1003 563 1098 415 1108 958 90 804 147 352 875 203 932 383 1086 189 850 229 0 757 467 1167 798 96 223 885 588 314 1011 1104 667 919 536 885 275 1148 212 807 570 0 630 66 474 578 729 1017 147 980 1037 361 918 563 408 0 757 869 273 1001 138 303 686 54 469 1122 585 361 674 171 810 1022 762 950 532 83 39 865 1143 223 1089 562 837 641 328 711 124 266 193 383 0 982 926 465 110 787 936 445 51 527 467 953 857 0 602 229 463 1008 28 727 656 290 360 130 912 30 1031 410 53 762 693 602 0 452 185 270 173 365 635 1054 720 146 1001 930 797 57 294 146 958 469 663 189 0 743 1132 326 402 530 875 755 542 1055 372 276 644 488 294 204 573 53 639 912 421 866 785 1123 1092 143 708 0 1179 947 1072 321 980 778 425 402 875 1031 630 218 0 717 54 507 133 314 432 441 948 930 578 965 976 589 66 852 667 228 425 787 326 155 361 1027 800 1044 304 538 0 384 57 555 574 54 674 488 314 0 1108 137 354 992 613 519 764 969 837 51 212 402 90 644 857 
641.98	d NODES 12662
641.98	d CHECKS 1462371805
641.98	   
641.98	   totalWckTime=641.718  totalCpuTime=634.98

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

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

/proc/loadavg: 0.10 0.38 1.12 4/99 8477
/proc/meminfo: memFree=1360328/2055920 swapFree=4192812/4192956
[pid=8476] ppid=8474 vsize=168 CPUtime=0
/proc/8476/stat : 8476 (java) R 8474 8476 7712 0 -1 0 39 0 0 0 0 0 0 0 18 0 1 0 136748461 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 7893796 0 0 4096 0 0 0 0 17 1 0 0
/proc/8476/statm: 42 23 18 14 0 2 0

[startup+0.107043 s]
/proc/loadavg: 0.10 0.38 1.12 4/99 8477
/proc/meminfo: memFree=1360328/2055920 swapFree=4192812/4192956
[pid=8476] ppid=8474 vsize=913228 CPUtime=0.07
/proc/8476/stat : 8476 (java) D 8474 8476 7712 0 -1 0 2918 0 1 0 6 1 0 0 24 0 8 0 136748461 935145472 2664 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8476/statm: 228307 2664 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 913228

[startup+0.515092 s]
/proc/loadavg: 0.10 0.38 1.12 4/99 8477
/proc/meminfo: memFree=1360328/2055920 swapFree=4192812/4192956
[pid=8476] ppid=8474 vsize=915328 CPUtime=0.46
/proc/8476/stat : 8476 (java) R 8474 8476 7712 0 -1 0 6997 0 1 0 41 5 0 0 23 0 8 0 136748461 937295872 6736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8476/statm: 228832 6736 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915328

[startup+1.33618 s]
/proc/loadavg: 0.10 0.38 1.12 3/106 8484
/proc/meminfo: memFree=1274576/2055920 swapFree=4192812/4192956
[pid=8476] ppid=8474 vsize=915632 CPUtime=1.27
/proc/8476/stat : 8476 (java) R 8474 8476 7712 0 -1 0 19872 0 1 0 117 10 0 0 25 0 8 0 136748461 937607168 19610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073788504 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8476/statm: 228908 19610 2178 14 0 215378 0
[pid=8476/tid=8478] ppid=8474 vsize=915632 CPUtime=0.05
/proc/8476/task/8478/stat : 8478 (java) S 8474 8476 7712 0 -1 64 3281 0 0 0 4 1 0 0 17 0 8 0 136748465 937607168 19610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8479] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8479/stat : 8479 (java) S 8474 8476 7712 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 136748465 937607168 19610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8480] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8480/stat : 8480 (java) S 8474 8476 7712 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 136748465 937607168 19610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8481] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8481/stat : 8481 (java) S 8474 8476 7712 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 136748469 937607168 19610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8482] ppid=8474 vsize=915632 CPUtime=0.14
/proc/8476/task/8482/stat : 8482 (java) S 8474 8476 7712 0 -1 64 401 0 0 0 14 0 0 0 16 0 8 0 136748469 937607168 19610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8483] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8483/stat : 8483 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 136748469 937607168 19610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8484] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8484/stat : 8484 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 136748469 937607168 19610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 915632

[startup+2.97336 s]
/proc/loadavg: 0.10 0.38 1.12 3/106 8486
/proc/meminfo: memFree=1203920/2055920 swapFree=4192812/4192956
[pid=8476] ppid=8474 vsize=915632 CPUtime=2.89
/proc/8476/stat : 8476 (java) R 8474 8476 7712 0 -1 0 19878 0 1 0 279 10 0 0 25 0 8 0 136748461 937607168 19614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794598 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8476/statm: 228908 19614 2178 14 0 215378 0
[pid=8476/tid=8478] ppid=8474 vsize=915632 CPUtime=0.05
/proc/8476/task/8478/stat : 8478 (java) S 8474 8476 7712 0 -1 64 3281 0 0 0 4 1 0 0 17 0 8 0 136748465 937607168 19614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8479] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8479/stat : 8479 (java) S 8474 8476 7712 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 136748465 937607168 19614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8480] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8480/stat : 8480 (java) S 8474 8476 7712 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 136748465 937607168 19614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8481] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8481/stat : 8481 (java) S 8474 8476 7712 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 136748469 937607168 19614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8482] ppid=8474 vsize=915632 CPUtime=0.15
/proc/8476/task/8482/stat : 8482 (java) S 8474 8476 7712 0 -1 64 404 0 0 0 15 0 0 0 16 0 8 0 136748469 937607168 19614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8483] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8483/stat : 8483 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 136748469 937607168 19614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8484] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8484/stat : 8484 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 136748469 937607168 19614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 915632

[startup+6.26374 s]
/proc/loadavg: 0.26 0.40 1.13 4/106 8488
/proc/meminfo: memFree=1188624/2055920 swapFree=4192812/4192956
[pid=8476] ppid=8474 vsize=915632 CPUtime=6.15
/proc/8476/stat : 8476 (java) R 8474 8476 7712 0 -1 0 41617 0 1 0 596 19 0 0 25 0 8 0 136748461 937607168 41348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074030213 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8476/statm: 228908 41348 2533 14 0 215378 0
[pid=8476/tid=8478] ppid=8474 vsize=915632 CPUtime=0.4
/proc/8476/task/8478/stat : 8478 (java) S 8474 8476 7712 0 -1 64 24539 0 0 0 31 9 0 0 16 0 8 0 136748465 937607168 41348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8479] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8479/stat : 8479 (java) S 8474 8476 7712 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 136748465 937607168 41348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8480] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8480/stat : 8480 (java) S 8474 8476 7712 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 136748465 937607168 41348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8481] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8481/stat : 8481 (java) S 8474 8476 7712 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 136748469 937607168 41348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8482] ppid=8474 vsize=915632 CPUtime=0.25
/proc/8476/task/8482/stat : 8482 (java) S 8474 8476 7712 0 -1 64 464 0 0 0 24 1 0 0 15 0 8 0 136748469 937607168 41348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8483] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8483/stat : 8483 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 136748469 937607168 41348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8484] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8484/stat : 8484 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 136748469 937607168 41348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 915632

[startup+12.7425 s]
/proc/loadavg: 0.40 0.43 1.13 4/106 8492
/proc/meminfo: memFree=1118224/2055920 swapFree=4192812/4192956
[pid=8476] ppid=8474 vsize=915632 CPUtime=12.56
/proc/8476/stat : 8476 (java) R 8474 8476 7712 0 -1 0 41632 0 1 0 1236 20 0 0 25 0 8 0 136748461 937607168 41358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074040217 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8476/statm: 228908 41358 2533 14 0 215378 0
[pid=8476/tid=8478] ppid=8474 vsize=915632 CPUtime=0.4
/proc/8476/task/8478/stat : 8478 (java) S 8474 8476 7712 0 -1 64 24539 0 0 0 31 9 0 0 17 0 8 0 136748465 937607168 41358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8479] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8479/stat : 8479 (java) S 8474 8476 7712 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 136748465 937607168 41358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8480] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8480/stat : 8480 (java) S 8474 8476 7712 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 136748465 937607168 41358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8481] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8481/stat : 8481 (java) S 8474 8476 7712 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 136748469 937607168 41358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8482] ppid=8474 vsize=915632 CPUtime=0.27
/proc/8476/task/8482/stat : 8482 (java) S 8474 8476 7712 0 -1 64 479 0 0 0 26 1 0 0 16 0 8 0 136748469 937607168 41358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8483] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8483/stat : 8483 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 136748469 937607168 41358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8484] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8484/stat : 8484 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 136748469 937607168 41358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 915632

[startup+25.6039 s]
/proc/loadavg: 0.64 0.48 1.14 3/100 8512
/proc/meminfo: memFree=1119232/2055920 swapFree=4192812/4192956
[pid=8476] ppid=8474 vsize=915632 CPUtime=25.29
/proc/8476/stat : 8476 (java) R 8474 8476 7712 0 -1 0 41635 0 1 0 2509 20 0 0 25 0 8 0 136748461 937607168 41359 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073795019 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8476/statm: 228908 41359 2533 14 0 215378 0
[pid=8476/tid=8478] ppid=8474 vsize=915632 CPUtime=0.4
/proc/8476/task/8478/stat : 8478 (java) S 8474 8476 7712 0 -1 64 24539 0 0 0 31 9 0 0 16 0 8 0 136748465 937607168 41359 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8479] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8479/stat : 8479 (java) S 8474 8476 7712 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 136748465 937607168 41359 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8480] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8480/stat : 8480 (java) S 8474 8476 7712 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 136748465 937607168 41359 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8481] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8481/stat : 8481 (java) S 8474 8476 7712 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 136748469 937607168 41359 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8482] ppid=8474 vsize=915632 CPUtime=0.27
/proc/8476/task/8482/stat : 8482 (java) S 8474 8476 7712 0 -1 64 481 0 0 0 26 1 0 0 15 0 8 0 136748469 937607168 41359 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8483] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8483/stat : 8483 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 136748469 937607168 41359 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8484] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8484/stat : 8484 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 136748469 937607168 41359 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 915632

[startup+51.2048 s]
/proc/loadavg: 1.18 0.63 1.17 3/100 8512
/proc/meminfo: memFree=1119296/2055920 swapFree=4192812/4192956
[pid=8476] ppid=8474 vsize=915632 CPUtime=50.67
/proc/8476/stat : 8476 (java) R 8474 8476 7712 0 -1 0 41652 0 1 0 5046 21 0 0 25 0 8 0 136748461 937607168 41369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073479193 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8476/statm: 228908 41369 2534 14 0 215378 0
[pid=8476/tid=8478] ppid=8474 vsize=915632 CPUtime=0.4
/proc/8476/task/8478/stat : 8478 (java) S 8474 8476 7712 0 -1 64 24539 0 0 0 31 9 0 0 16 0 8 0 136748465 937607168 41369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8479] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8479/stat : 8479 (java) S 8474 8476 7712 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 136748465 937607168 41369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8480] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8480/stat : 8480 (java) S 8474 8476 7712 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 136748465 937607168 41369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8481] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8481/stat : 8481 (java) S 8474 8476 7712 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 136748469 937607168 41369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8482] ppid=8474 vsize=915632 CPUtime=0.28
/proc/8476/task/8482/stat : 8482 (java) S 8474 8476 7712 0 -1 64 491 0 0 0 27 1 0 0 16 0 8 0 136748469 937607168 41369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8483] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8483/stat : 8483 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 136748469 937607168 41369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8484] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8484/stat : 8484 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 136748469 937607168 41369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 915632

[startup+102.411 s]
/proc/loadavg: 1.64 0.84 1.21 3/100 8512
/proc/meminfo: memFree=1119360/2055920 swapFree=4192812/4192956
[pid=8476] ppid=8474 vsize=915632 CPUtime=101.42
/proc/8476/stat : 8476 (java) R 8474 8476 7712 0 -1 0 41663 0 1 0 10120 22 0 0 25 0 8 0 136748461 937607168 41375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074035704 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8476/statm: 228908 41375 2535 14 0 215378 0
[pid=8476/tid=8478] ppid=8474 vsize=915632 CPUtime=0.4
/proc/8476/task/8478/stat : 8478 (java) S 8474 8476 7712 0 -1 64 24539 0 0 0 31 9 0 0 16 0 8 0 136748465 937607168 41375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8479] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8479/stat : 8479 (java) S 8474 8476 7712 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 136748465 937607168 41375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8480] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8480/stat : 8480 (java) S 8474 8476 7712 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 136748465 937607168 41375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8481] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8481/stat : 8481 (java) S 8474 8476 7712 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 136748469 937607168 41375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8482] ppid=8474 vsize=915632 CPUtime=0.3
/proc/8476/task/8482/stat : 8482 (java) S 8474 8476 7712 0 -1 64 499 0 0 0 29 1 0 0 16 0 8 0 136748469 937607168 41375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8483] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8483/stat : 8483 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 136748469 937607168 41375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8484] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8484/stat : 8484 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 136748469 937607168 41375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.42
Current children cumulated vsize (KiB) 915632

[startup+162.465 s]
/proc/loadavg: 1.87 1.04 1.25 3/100 8512
/proc/meminfo: memFree=1119296/2055920 swapFree=4192812/4192956
[pid=8476] ppid=8474 vsize=915632 CPUtime=160.9
/proc/8476/stat : 8476 (java) R 8474 8476 7712 0 -1 0 41678 0 1 0 16067 23 0 0 25 0 8 0 136748461 937607168 41384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074038380 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

/proc/8476/task/8481/stat : 8481 (java) S 8474 8476 7712 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 136748469 937607168 41384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8482] ppid=8474 vsize=915632 CPUtime=0.3
/proc/8476/task/8482/stat : 8482 (java) S 8474 8476 7712 0 -1 64 506 0 0 0 29 1 0 0 15 0 8 0 136748469 937607168 41384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8483] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8483/stat : 8483 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 136748469 937607168 41384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8484] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8484/stat : 8484 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 136748469 937607168 41384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 160.9
Current children cumulated vsize (KiB) 915632

[startup+222.519 s]
/proc/loadavg: 1.95 1.22 1.30 3/100 8512
/proc/meminfo: memFree=1119296/2055920 swapFree=4192812/4192956
[pid=8476] ppid=8474 vsize=915632 CPUtime=220.4
/proc/8476/stat : 8476 (java) R 8474 8476 7712 0 -1 0 41691 0 1 0 22017 23 0 0 25 0 8 0 136748461 937607168 41393 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074032728 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8476/statm: 228908 41393 2538 14 0 215378 0
[pid=8476/tid=8478] ppid=8474 vsize=915632 CPUtime=0.4
/proc/8476/task/8478/stat : 8478 (java) S 8474 8476 7712 0 -1 64 24540 0 0 0 31 9 0 0 16 0 8 0 136748465 937607168 41393 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8479] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8479/stat : 8479 (java) S 8474 8476 7712 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 136748465 937607168 41393 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8480] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8480/stat : 8480 (java) S 8474 8476 7712 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 136748465 937607168 41393 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8481] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8481/stat : 8481 (java) S 8474 8476 7712 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 136748469 937607168 41393 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8482] ppid=8474 vsize=915632 CPUtime=0.33
/proc/8476/task/8482/stat : 8482 (java) S 8474 8476 7712 0 -1 64 518 0 0 0 31 2 0 0 16 0 8 0 136748469 937607168 41393 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8483] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8483/stat : 8483 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 136748469 937607168 41393 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8484] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8484/stat : 8484 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 136748469 937607168 41393 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 220.4
Current children cumulated vsize (KiB) 915632

[startup+282.581 s]
/proc/loadavg: 1.98 1.36 1.34 3/100 8512
/proc/meminfo: memFree=1097472/2055920 swapFree=4192812/4192956
[pid=8476] ppid=8474 vsize=915632 CPUtime=279.93
/proc/8476/stat : 8476 (java) R 8474 8476 7712 0 -1 0 47153 0 1 0 27967 26 0 0 25 0 8 0 136748461 937607168 46851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073791488 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8476/statm: 228908 46851 2538 14 0 215378 0
[pid=8476/tid=8478] ppid=8474 vsize=915632 CPUtime=0.45
/proc/8476/task/8478/stat : 8478 (java) S 8474 8476 7712 0 -1 64 29994 0 0 0 34 11 0 0 16 0 8 0 136748465 937607168 46851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8479] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8479/stat : 8479 (java) S 8474 8476 7712 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 136748465 937607168 46851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8480] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8480/stat : 8480 (java) S 8474 8476 7712 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 136748465 937607168 46851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8481] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8481/stat : 8481 (java) S 8474 8476 7712 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 136748469 937607168 46851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8482] ppid=8474 vsize=915632 CPUtime=0.34
/proc/8476/task/8482/stat : 8482 (java) S 8474 8476 7712 0 -1 64 524 0 0 0 32 2 0 0 16 0 8 0 136748469 937607168 46851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8483] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8483/stat : 8483 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 136748469 937607168 46851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8484] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8484/stat : 8484 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 136748469 937607168 46851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 279.93
Current children cumulated vsize (KiB) 915632

[startup+342.64 s]
/proc/loadavg: 2.09 1.50 1.39 3/100 8512
/proc/meminfo: memFree=1097408/2055920 swapFree=4192812/4192956
[pid=8476] ppid=8474 vsize=915632 CPUtime=339.43
/proc/8476/stat : 8476 (java) R 8474 8476 7712 0 -1 0 47155 0 1 0 33916 27 0 0 25 0 8 0 136748461 937607168 46852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073788668 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8476/statm: 228908 46852 2538 14 0 215378 0
[pid=8476/tid=8478] ppid=8474 vsize=915632 CPUtime=0.45
/proc/8476/task/8478/stat : 8478 (java) S 8474 8476 7712 0 -1 64 29994 0 0 0 34 11 0 0 16 0 8 0 136748465 937607168 46852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8479] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8479/stat : 8479 (java) S 8474 8476 7712 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 136748465 937607168 46852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8480] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8480/stat : 8480 (java) S 8474 8476 7712 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 136748465 937607168 46852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8481] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8481/stat : 8481 (java) S 8474 8476 7712 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 136748469 937607168 46852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8482] ppid=8474 vsize=915632 CPUtime=0.34
/proc/8476/task/8482/stat : 8482 (java) S 8474 8476 7712 0 -1 64 525 0 0 0 32 2 0 0 16 0 8 0 136748469 937607168 46852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8483] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8483/stat : 8483 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 136748469 937607168 46852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8484] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8484/stat : 8484 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 136748469 937607168 46852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 339.43
Current children cumulated vsize (KiB) 915632

[startup+402.708 s]
/proc/loadavg: 2.03 1.59 1.42 3/100 8512
/proc/meminfo: memFree=1073152/2055920 swapFree=4192812/4192956
[pid=8476] ppid=8474 vsize=915632 CPUtime=398.95
/proc/8476/stat : 8476 (java) R 8474 8476 7712 0 -1 0 47155 0 1 0 39868 27 0 0 25 0 8 0 136748461 937607168 46852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074038312 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8476/statm: 228908 46852 2538 14 0 215378 0
[pid=8476/tid=8478] ppid=8474 vsize=915632 CPUtime=0.45
/proc/8476/task/8478/stat : 8478 (java) S 8474 8476 7712 0 -1 64 29994 0 0 0 34 11 0 0 16 0 8 0 136748465 937607168 46852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8479] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8479/stat : 8479 (java) S 8474 8476 7712 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 136748465 937607168 46852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8480] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8480/stat : 8480 (java) S 8474 8476 7712 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 136748465 937607168 46852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8481] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8481/stat : 8481 (java) S 8474 8476 7712 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 136748469 937607168 46852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8482] ppid=8474 vsize=915632 CPUtime=0.34
/proc/8476/task/8482/stat : 8482 (java) S 8474 8476 7712 0 -1 64 525 0 0 0 32 2 0 0 16 0 8 0 136748469 937607168 46852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8483] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8483/stat : 8483 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 136748469 937607168 46852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8484] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8484/stat : 8484 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 136748469 937607168 46852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 398.95
Current children cumulated vsize (KiB) 915632

[startup+462.78 s]
/proc/loadavg: 2.01 1.66 1.46 3/100 8512
/proc/meminfo: memFree=1073088/2055920 swapFree=4192812/4192956
[pid=8476] ppid=8474 vsize=915632 CPUtime=458.48
/proc/8476/stat : 8476 (java) R 8474 8476 7712 0 -1 0 47156 0 1 0 45821 27 0 0 25 0 8 0 136748461 937607168 46853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074038361 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8476/statm: 228908 46853 2538 14 0 215378 0
[pid=8476/tid=8478] ppid=8474 vsize=915632 CPUtime=0.45
/proc/8476/task/8478/stat : 8478 (java) S 8474 8476 7712 0 -1 64 29994 0 0 0 34 11 0 0 16 0 8 0 136748465 937607168 46853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8479] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8479/stat : 8479 (java) S 8474 8476 7712 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 136748465 937607168 46853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8480] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8480/stat : 8480 (java) S 8474 8476 7712 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 136748465 937607168 46853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8481] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8481/stat : 8481 (java) S 8474 8476 7712 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 136748469 937607168 46853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8482] ppid=8474 vsize=915632 CPUtime=0.35
/proc/8476/task/8482/stat : 8482 (java) S 8474 8476 7712 0 -1 64 526 0 0 0 33 2 0 0 16 0 8 0 136748469 937607168 46853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8483] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8483/stat : 8483 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 136748469 937607168 46853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8484] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8484/stat : 8484 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 136748469 937607168 46853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 458.48
Current children cumulated vsize (KiB) 915632

[startup+522.841 s]
/proc/loadavg: 2.03 1.73 1.49 3/100 8512
/proc/meminfo: memFree=1073152/2055920 swapFree=4192812/4192956
[pid=8476] ppid=8474 vsize=915632 CPUtime=517.96
/proc/8476/stat : 8476 (java) R 8474 8476 7712 0 -1 0 47156 0 1 0 51769 27 0 0 25 0 8 0 136748461 937607168 46853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074040242 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8476/statm: 228908 46853 2538 14 0 215378 0
[pid=8476/tid=8478] ppid=8474 vsize=915632 CPUtime=0.45
/proc/8476/task/8478/stat : 8478 (java) S 8474 8476 7712 0 -1 64 29994 0 0 0 34 11 0 0 16 0 8 0 136748465 937607168 46853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8479] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8479/stat : 8479 (java) S 8474 8476 7712 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 136748465 937607168 46853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8480] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8480/stat : 8480 (java) S 8474 8476 7712 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 136748465 937607168 46853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8481] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8481/stat : 8481 (java) S 8474 8476 7712 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 136748469 937607168 46853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8482] ppid=8474 vsize=915632 CPUtime=0.35
/proc/8476/task/8482/stat : 8482 (java) S 8474 8476 7712 0 -1 64 526 0 0 0 33 2 0 0 16 0 8 0 136748469 937607168 46853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8483] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8483/stat : 8483 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 136748469 937607168 46853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8484] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8484/stat : 8484 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 136748469 937607168 46853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 517.96
Current children cumulated vsize (KiB) 915632

[startup+582.901 s]
/proc/loadavg: 2.01 1.78 1.52 3/100 8512
/proc/meminfo: memFree=1073152/2055920 swapFree=4192812/4192956
[pid=8476] ppid=8474 vsize=915632 CPUtime=577.5
/proc/8476/stat : 8476 (java) R 8474 8476 7712 0 -1 0 47156 0 1 0 57722 28 0 0 25 0 8 0 136748461 937607168 46853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074051819 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8476/statm: 228908 46853 2538 14 0 215378 0
[pid=8476/tid=8478] ppid=8474 vsize=915632 CPUtime=0.45
/proc/8476/task/8478/stat : 8478 (java) S 8474 8476 7712 0 -1 64 29994 0 0 0 34 11 0 0 16 0 8 0 136748465 937607168 46853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8479] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8479/stat : 8479 (java) S 8474 8476 7712 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 136748465 937607168 46853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8480] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8480/stat : 8480 (java) S 8474 8476 7712 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 136748465 937607168 46853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8481] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8481/stat : 8481 (java) S 8474 8476 7712 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 136748469 937607168 46853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8482] ppid=8474 vsize=915632 CPUtime=0.35
/proc/8476/task/8482/stat : 8482 (java) S 8474 8476 7712 0 -1 64 526 0 0 0 33 2 0 0 16 0 8 0 136748469 937607168 46853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8483] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8483/stat : 8483 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 136748469 937607168 46853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8484] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8484/stat : 8484 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 136748469 937607168 46853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 577.5
Current children cumulated vsize (KiB) 915632

Child status: 0
Real time (s): 642.068
CPU time (s): 636.088
CPU user time (s): 635.746
CPU system time (s): 0.341948
CPU usage (%): 99.0686
Max. virtual memory (cumulated for all children) (KiB): 915632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 635.746
system time used= 0.341948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52200
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= 14647
involuntary context switches= 34020

runsolver used 0.728889 s user time and 1.89371 s system time

The end

Launcher Data (download as text)

Begin job on node5 on Sat Jan  6 11:02:16 UTC 2007


IDJOB= 233108
IDBENCH= 6582
FILE ID= node5/233108-1168081329

PBS_JOBID= 3475879

Free space on /tmp= 66330 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  cc8957f8a15d4415fcf3976e1a5630c5

RANDOM SEED= 639018033

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.240
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.240
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:       1425256 kB
Buffers:         49444 kB
Cached:         439068 kB
SwapCached:          0 kB
Active:         100396 kB
Inactive:       442596 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1425256 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            5484 kB
Writeback:           0 kB
Mapped:          80368 kB
Slab:            72132 kB
Committed_AS:  4029140 kB
PageTables:       2424 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= 66330 MiB



End job on node5 on Sat Jan  6 11:13:02 UTC 2007