Trace number 233162

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 ESACSAT 436.184 440.034

DiagnosticValue
CHECKS528223750
NODES400

General information on the benchmark

Nametaillard/os-taillard-20/
os-taillard-20-105-7.xml
MD5SUM374810fca23912defb7b4a24b5ed2d7b
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.635903
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1332
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.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=esac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/233162-1168324890/unknown.xml
0.38	   
0.38	   domains being loaded...
0.44	   
0.44	   variables being loaded...
0.56	     nbVariables=400  nbDomainTypes=400  minDomainSize=1234  maxDomainSize=1332
0.56	       =>  wckTime=0.239  cpuTime=0.17  mem=20M631
0.56	   
0.56	   predicates being loaded...
0.56	   
0.56	   constraints being loaded...
204.43	   
204.43	   INFO : Stopping converting binary constraints (cpu=200.27, mem = 260M706)
205.56	     nbConstraints=7600  nbConvertedConstraints=480  nbConvertConstraintsChecks=792799047  nbExtensionStructures=480
205.57	     nbSharedExtensionStructures=0  nbConflictsStructures=480  nbSharedConflictsStructures=0
205.57	     nbSharedBinaryRepresentations=241998  nbEvaluationManagers=7120  nbSharedEvaluationManagers=0  maxDegree=38
205.57	     maxArity=2
205.57	       =>  wckTime=205.246  cpuTime=201.08  mem=287M587
206.18	   
206.18	   solver IterativeSystematicSolver being built... 
206.65	       =>  wckTime=206.334  cpuTime=201.39  mem=352M785
378.69	   
378.69	   INFO : Stopping ESAC
378.70	   
378.70	   preprocessing
378.70	     nbConstraintChecks=399621494  nbValidityChecks=262576560  nbPropagations=11868  nbRevisions=323903
378.70	     nbUselessRevisions=312883  nbSingletonTests=563  nbEffectiveSingletonTests=0  nbESACBranches=2  nbRemovedValues=0
378.70	     detectedInconsistency=no
378.70	       =>  wckTime=172.017  cpuTime=170.48  mem=352M785
439.92	   
439.92	   search
439.92	     run=0  nbConstraintChecks=128602256  nbValidityChecks=125886486  nbPropagations=18236  nbRevisions=483553
439.92	     nbUselessRevisions=466562  nbAssignments=400  nbFailedAssignments=0  nbBacktracks=0  nbVisitedNodes=401
439.92	     nbRestartNogoods=0  mapSize=0  nbInferences=0  nbTooLargeKeys=77
439.92	       =>  wckTime=233.239  cpuTime=231.14  mem=363M638
439.92	   
439.92	   global
439.92	     nbConstraintChecks=528223750  nbValidityChecks=388463046  nbPropagations=30104  nbRevisions=807456
439.92	     nbUselessRevisions=779445  nbRestartNogoods=0  solvingWckTime=233.24  solvingCpuTime=231.14  expiredTime=no
439.92	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=432.6
439.92	       =>  wckTime=439.599  cpuTime=432.55  mem=363M638
439.92	   
439.92	s SATISFIABLE
439.92	v 1002 1144 1066 596 237 278 713 80 678 338 424 498 785 747 169 609 929 87 1295 0 265 345 1013 1113 724 86 0 539 914 822 440 987 769 1128 707 865 405 609 1058 173 610 251 855 415 461 1068 1013 90 190 975 641 799 1146 903 1158 265 693 0 540 357 935 527 375 784 1014 455 182 596 663 1070 0 975 889 280 1284 1043 90 724 1274 838 684 352 1150 1092 0 1129 244 924 838 493 814 457 857 438 598 747 716 1024 186 90 374 1255 780 613 283 693 674 461 371 734 0 163 1000 870 888 188 1013 522 67 1085 716 744 1083 794 1129 522 586 256 1205 1002 355 173 572 663 1192 924 440 90 866 0 1129 285 1043 1183 724 1307 669 935 819 424 539 156 251 0 90 1083 459 314 874 344 686 0 528 90 1081 864 842 223 895 770 437 610 1023 305 780 967 711 377 328 1124 455 1015 864 985 724 90 909 1113 597 392 276 262 830 1204 186 539 949 0 643 1073 773 0 1039 1129 188 352 921 89 355 684 579 274 997 436 908 1192 627 831 1288 513 459 669 89 63 1108 890 247 678 517 0 747 935 1183 305 364 831 598 1075 1024 170 1286 820 1085 1165 1269 693 278 498 428 931 0 528 638 858 196 597 747 375 99 888 175 1209 99 266 443 814 874 1003 1114 518 1142 643 1070 1186 663 572 723 345 0 979 1158 819 356 527 434 63 262 237 90 997 585 447 858 773 0 181 750 981 1024 285 0 1053 918 782 301 456 369 99 586 1202 967 841 275 549 178 680 613 523 819 1119 635 166 0 1146 364 890 594 451 540 82 1121 1027 945 764 820 975 723 1058 283 184 280 267 895 443 986 0 1236 825 764 87 693 182 498 170 377 918 877 586 166 638 874 175 275 952 371 451 756 657 0 447 857 1015 87 266 525 779 1047 516 73 586 456 0 1027 871 1091 247 952 833 160 909 90 577 1192 518 1053 707 539 491 663 344 
439.92	d NODES 400
439.92	d CHECKS 528223750
439.92	   
439.92	   totalWckTime=439.68  totalCpuTime=432.6

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

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

/proc/loadavg: 2.24 2.01 1.58 2/73 19282
/proc/meminfo: memFree=1450560/2055920 swapFree=4184048/4192956
[pid=19281] ppid=19279 vsize=18540 CPUtime=0
/proc/19281/stat : 19281 (runsolver) R 19279 19281 19145 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 180888082 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 258939088167 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/19281/statm: 4635 279 244 17 0 2626 0

[startup+0.101972 s]
/proc/loadavg: 2.24 2.01 1.58 2/73 19282
/proc/meminfo: memFree=1450560/2055920 swapFree=4184048/4192956
[pid=19281] ppid=19279 vsize=913228 CPUtime=0.08
/proc/19281/stat : 19281 (java) R 19279 19281 19145 0 -1 0 2918 0 1 0 7 1 0 0 17 0 8 0 180888082 935145472 2664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19281/statm: 228307 2664 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913228

[startup+0.510044 s]
/proc/loadavg: 2.24 2.01 1.58 2/73 19282
/proc/meminfo: memFree=1450560/2055920 swapFree=4184048/4192956
[pid=19281] ppid=19279 vsize=915328 CPUtime=0.49
/proc/19281/stat : 19281 (java) R 19279 19281 19145 0 -1 0 7636 0 1 0 45 4 0 0 18 0 8 0 180888082 937295872 7375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19281/statm: 228832 7375 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33118 s]
/proc/loadavg: 2.24 2.01 1.58 3/80 19289
/proc/meminfo: memFree=1379272/2055920 swapFree=4184048/4192956
[pid=19281] ppid=19279 vsize=915632 CPUtime=1.29
/proc/19281/stat : 19281 (java) R 19279 19281 19145 0 -1 0 20157 0 1 0 120 9 0 0 24 0 8 0 180888082 937607168 19895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794598 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19281/statm: 228908 19895 2178 14 0 215378 0
[pid=19281/tid=19283] ppid=19279 vsize=915632 CPUtime=0.04
/proc/19281/task/19283/stat : 19283 (java) S 19279 19281 19145 0 -1 64 3564 0 0 0 3 1 0 0 16 0 8 0 180888086 937607168 19895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19284] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19284/stat : 19284 (java) S 19279 19281 19145 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 180888087 937607168 19895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19285] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19285/stat : 19285 (java) S 19279 19281 19145 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180888087 937607168 19895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19286] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19286/stat : 19286 (java) S 19279 19281 19145 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 180888090 937607168 19895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19287] ppid=19279 vsize=915632 CPUtime=0.16
/proc/19281/task/19287/stat : 19287 (java) S 19279 19281 19145 0 -1 64 402 0 0 0 16 0 0 0 16 0 8 0 180888090 937607168 19895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19288] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19288/stat : 19288 (java) S 19279 19281 19145 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180888090 937607168 19895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19289] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19289/stat : 19289 (java) S 19279 19281 19145 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180888090 937607168 19895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915632

[startup+2.97048 s]
/proc/loadavg: 2.22 2.01 1.59 3/80 19289
/proc/meminfo: memFree=1379208/2055920 swapFree=4184048/4192956
[pid=19281] ppid=19279 vsize=915632 CPUtime=2.92
/proc/19281/stat : 19281 (java) R 19279 19281 19145 0 -1 0 20162 0 1 0 283 9 0 0 25 0 8 0 180888082 937607168 19899 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073789856 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19281/statm: 228908 19899 2178 14 0 215378 0
[pid=19281/tid=19283] ppid=19279 vsize=915632 CPUtime=0.04
/proc/19281/task/19283/stat : 19283 (java) S 19279 19281 19145 0 -1 64 3564 0 0 0 3 1 0 0 16 0 8 0 180888086 937607168 19899 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19284] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19284/stat : 19284 (java) S 19279 19281 19145 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 180888087 937607168 19899 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19285] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19285/stat : 19285 (java) S 19279 19281 19145 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180888087 937607168 19899 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19286] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19286/stat : 19286 (java) S 19279 19281 19145 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 180888090 937607168 19899 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19287] ppid=19279 vsize=915632 CPUtime=0.16
/proc/19281/task/19287/stat : 19287 (java) S 19279 19281 19145 0 -1 64 405 0 0 0 16 0 0 0 16 0 8 0 180888090 937607168 19899 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19288] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19288/stat : 19288 (java) S 19279 19281 19145 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180888090 937607168 19899 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19289] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19289/stat : 19289 (java) S 19279 19281 19145 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180888090 937607168 19899 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915632

[startup+6.26508 s]
/proc/loadavg: 2.22 2.01 1.59 3/80 19289
/proc/meminfo: memFree=1379208/2055920 swapFree=4184048/4192956
[pid=19281] ppid=19279 vsize=915632 CPUtime=6.18
/proc/19281/stat : 19281 (java) R 19279 19281 19145 0 -1 0 20163 0 1 0 609 9 0 0 25 0 8 0 180888082 937607168 19899 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788672 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19281/statm: 228908 19899 2178 14 0 215378 0
[pid=19281/tid=19283] ppid=19279 vsize=915632 CPUtime=0.04
/proc/19281/task/19283/stat : 19283 (java) S 19279 19281 19145 0 -1 64 3564 0 0 0 3 1 0 0 16 0 8 0 180888086 937607168 19899 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19284] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19284/stat : 19284 (java) S 19279 19281 19145 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 180888087 937607168 19899 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19285] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19285/stat : 19285 (java) S 19279 19281 19145 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180888087 937607168 19899 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19286] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19286/stat : 19286 (java) S 19279 19281 19145 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 180888090 937607168 19899 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19287] ppid=19279 vsize=915632 CPUtime=0.16
/proc/19281/task/19287/stat : 19287 (java) S 19279 19281 19145 0 -1 64 405 0 0 0 16 0 0 0 16 0 8 0 180888090 937607168 19899 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19288] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19288/stat : 19288 (java) S 19279 19281 19145 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180888090 937607168 19899 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19289] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19289/stat : 19289 (java) S 19279 19281 19145 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180888090 937607168 19899 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915632

[startup+12.7413 s]
/proc/loadavg: 2.19 2.01 1.59 3/80 19289
/proc/meminfo: memFree=1379272/2055920 swapFree=4184048/4192956
[pid=19281] ppid=19279 vsize=915632 CPUtime=12.62
/proc/19281/stat : 19281 (java) R 19279 19281 19145 0 -1 0 20163 0 1 0 1252 10 0 0 25 0 8 0 180888082 937607168 19899 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788700 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19281/statm: 228908 19899 2178 14 0 215378 0
[pid=19281/tid=19283] ppid=19279 vsize=915632 CPUtime=0.04
/proc/19281/task/19283/stat : 19283 (java) S 19279 19281 19145 0 -1 64 3564 0 0 0 3 1 0 0 16 0 8 0 180888086 937607168 19899 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19284] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19284/stat : 19284 (java) S 19279 19281 19145 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 180888087 937607168 19899 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19285] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19285/stat : 19285 (java) S 19279 19281 19145 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180888087 937607168 19899 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19286] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19286/stat : 19286 (java) S 19279 19281 19145 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 180888090 937607168 19899 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19287] ppid=19279 vsize=915632 CPUtime=0.17
/proc/19281/task/19287/stat : 19287 (java) S 19279 19281 19145 0 -1 64 405 0 0 0 17 0 0 0 16 0 8 0 180888090 937607168 19899 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19288] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19288/stat : 19288 (java) S 19279 19281 19145 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180888090 937607168 19899 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19289] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19289/stat : 19289 (java) S 19279 19281 19145 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180888090 937607168 19899 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915632

[startup+25.6086 s]
/proc/loadavg: 2.16 2.01 1.59 3/80 19289
/proc/meminfo: memFree=1347400/2055920 swapFree=4184048/4192956
[pid=19281] ppid=19279 vsize=915632 CPUtime=25.36
/proc/19281/stat : 19281 (java) R 19279 19281 19145 0 -1 0 28146 0 1 0 2524 12 0 0 25 0 8 0 180888082 937607168 27881 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073789897 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19281/statm: 228908 27881 2178 14 0 215378 0
[pid=19281/tid=19283] ppid=19279 vsize=915632 CPUtime=0.24
/proc/19281/task/19283/stat : 19283 (java) S 19279 19281 19145 0 -1 64 11545 0 0 0 21 3 0 0 16 0 8 0 180888086 937607168 27881 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19284] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19284/stat : 19284 (java) S 19279 19281 19145 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 180888087 937607168 27881 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19285] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19285/stat : 19285 (java) S 19279 19281 19145 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180888087 937607168 27881 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19286] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19286/stat : 19286 (java) S 19279 19281 19145 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 180888090 937607168 27881 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19287] ppid=19279 vsize=915632 CPUtime=0.17
/proc/19281/task/19287/stat : 19287 (java) S 19279 19281 19145 0 -1 64 406 0 0 0 17 0 0 0 16 0 8 0 180888090 937607168 27881 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19288] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19288/stat : 19288 (java) S 19279 19281 19145 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180888090 937607168 27881 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19289] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19289/stat : 19289 (java) S 19279 19281 19145 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180888090 937607168 27881 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915632

[startup+51.2192 s]
/proc/loadavg: 2.10 2.01 1.60 3/80 19289
/proc/meminfo: memFree=1347400/2055920 swapFree=4184048/4192956
[pid=19281] ppid=19279 vsize=915632 CPUtime=50.76
/proc/19281/stat : 19281 (java) R 19279 19281 19145 0 -1 0 28157 0 1 0 5063 13 0 0 25 0 8 0 180888082 937607168 27892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073804691 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19281/statm: 228908 27892 2178 14 0 215378 0
[pid=19281/tid=19283] ppid=19279 vsize=915632 CPUtime=0.24
/proc/19281/task/19283/stat : 19283 (java) S 19279 19281 19145 0 -1 64 11545 0 0 0 21 3 0 0 16 0 8 0 180888086 937607168 27892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19284] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19284/stat : 19284 (java) S 19279 19281 19145 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 180888087 937607168 27892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19285] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19285/stat : 19285 (java) S 19279 19281 19145 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180888087 937607168 27892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19286] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19286/stat : 19286 (java) S 19279 19281 19145 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 180888090 937607168 27892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19287] ppid=19279 vsize=915632 CPUtime=0.17
/proc/19281/task/19287/stat : 19287 (java) S 19279 19281 19145 0 -1 64 417 0 0 0 17 0 0 0 16 0 8 0 180888090 937607168 27892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19288] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19288/stat : 19288 (java) S 19279 19281 19145 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180888090 937607168 27892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19289] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19289/stat : 19289 (java) S 19279 19281 19145 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180888090 937607168 27892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 915632

[startup+102.439 s]
/proc/loadavg: 2.04 2.00 1.63 4/80 19289
/proc/meminfo: memFree=1272456/2055920 swapFree=4184048/4192956
[pid=19281] ppid=19279 vsize=915632 CPUtime=101.54
/proc/19281/stat : 19281 (java) R 19279 19281 19145 0 -1 0 46854 0 1 0 10133 21 0 0 25 0 8 0 180888082 937607168 46586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788773 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19281/statm: 228908 46586 2179 14 0 215378 0
[pid=19281/tid=19283] ppid=19279 vsize=915632 CPUtime=0.88
/proc/19281/task/19283/stat : 19283 (java) S 19279 19281 19145 0 -1 64 30232 0 0 0 78 10 0 0 16 0 8 0 180888086 937607168 46586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19284] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19284/stat : 19284 (java) S 19279 19281 19145 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 180888087 937607168 46586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19285] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19285/stat : 19285 (java) S 19279 19281 19145 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180888087 937607168 46586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19286] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19286/stat : 19286 (java) S 19279 19281 19145 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 180888090 937607168 46586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19287] ppid=19279 vsize=915632 CPUtime=0.19
/proc/19281/task/19287/stat : 19287 (java) S 19279 19281 19145 0 -1 64 423 0 0 0 19 0 0 0 17 0 8 0 180888090 937607168 46586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19288] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19288/stat : 19288 (java) S 19279 19281 19145 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180888090 937607168 46586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19289] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19289/stat : 19289 (java) S 19279 19281 19145 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180888090 937607168 46586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.54
Current children cumulated vsize (KiB) 915632

[startup+162.503 s]
/proc/loadavg: 2.01 2.00 1.65 3/80 19289
/proc/meminfo: memFree=1194632/2055920 swapFree=4184048/4192956
[pid=19281] ppid=19279 vsize=915632 CPUtime=161.1
/proc/19281/stat : 19281 (java) R 19279 19281 19145 0 -1 0 66292 0 1 0 16080 30 0 0 25 0 8 0 180888082 937607168 66022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788688 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19281/statm: 228908 66022 2179 14 0 215378 0
[pid=19281/tid=19283] ppid=19279 vsize=915632 CPUtime=1.57
/proc/19281/task/19283/stat : 19283 (java) S 19279 19281 19145 0 -1 64 49668 0 0 0 139 18 0 0 16 0 8 0 180888086 937607168 66022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19284] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19284/stat : 19284 (java) S 19279 19281 19145 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 180888087 937607168 66022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19285] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19285/stat : 19285 (java) S 19279 19281 19145 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180888087 937607168 66022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19286] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19286/stat : 19286 (java) S 19279 19281 19145 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 180888090 937607168 66022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19287] ppid=19279 vsize=915632 CPUtime=0.19
/proc/19281/task/19287/stat : 19287 (java) S 19279 19281 19145 0 -1 64 423 0 0 0 19 0 0 0 17 0 8 0 180888090 937607168 66022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19288] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19288/stat : 19288 (java) S 19279 19281 19145 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180888090 937607168 66022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19289] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19289/stat : 19289 (java) S 19279 19281 19145 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180888090 937607168 66022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.1
Current children cumulated vsize (KiB) 915632

[startup+222.58 s]
/proc/loadavg: 2.07 2.02 1.67 3/80 19289
/proc/meminfo: memFree=1068616/2055920 swapFree=4184048/4192956
[pid=19281] ppid=19279 vsize=915632 CPUtime=220.68
/proc/19281/stat : 19281 (java) R 19279 19281 19145 0 -1 0 98083 0 1 0 22023 45 0 0 25 0 8 0 180888082 937607168 97801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074029558 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19281/statm: 228908 97801 2545 14 0 215378 0
[pid=19281/tid=19283] ppid=19279 vsize=915632 CPUtime=2.97
/proc/19281/task/19283/stat : 19283 (java) S 19279 19281 19145 0 -1 64 80958 0 0 0 266 31 0 0 16 0 8 0 180888086 937607168 97801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19284] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19284/stat : 19284 (java) S 19279 19281 19145 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 180888087 937607168 97801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19285] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19285/stat : 19285 (java) S 19279 19281 19145 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180888087 937607168 97801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19286] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19286/stat : 19286 (java) S 19279 19281 19145 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 180888090 937607168 97801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19287] ppid=19279 vsize=915632 CPUtime=0.28
/proc/19281/task/19287/stat : 19287 (java) S 19279 19281 19145 0 -1 64 481 0 0 0 27 1 0 0 16 0 8 0 180888090 937607168 97801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19288] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19288/stat : 19288 (java) S 19279 19281 19145 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180888090 937607168 97801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19289] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19289/stat : 19289 (java) S 19279 19281 19145 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180888090 937607168 97801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.68
Current children cumulated vsize (KiB) 915632

[startup+282.643 s]
/proc/loadavg: 2.02 2.01 1.69 3/80 19289
/proc/meminfo: memFree=1068680/2055920 swapFree=4184048/4192956
[pid=19281] ppid=19279 vsize=915632 CPUtime=280.22
/proc/19281/stat : 19281 (java) R 19279 19281 19145 0 -1 0 98095 0 1 0 27977 45 0 0 25 0 8 0 180888082 937607168 97806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788773 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19281/statm: 228908 97806 2545 14 0 215378 0
[pid=19281/tid=19283] ppid=19279 vsize=915632 CPUtime=2.97
/proc/19281/task/19283/stat : 19283 (java) S 19279 19281 19145 0 -1 64 80958 0 0 0 266 31 0 0 16 0 8 0 180888086 937607168 97806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19284] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19284/stat : 19284 (java) S 19279 19281 19145 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 180888087 937607168 97806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19285] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19285/stat : 19285 (java) S 19279 19281 19145 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180888087 937607168 97806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19286] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19286/stat : 19286 (java) S 19279 19281 19145 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 180888090 937607168 97806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19287] ppid=19279 vsize=915632 CPUtime=0.3
/proc/19281/task/19287/stat : 19287 (java) S 19279 19281 19145 0 -1 64 490 0 0 0 29 1 0 0 15 0 8 0 180888090 937607168 97806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19288] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19288/stat : 19288 (java) S 19279 19281 19145 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180888090 937607168 97806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19289] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19289/stat : 19289 (java) S 19279 19281 19145 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180888090 937607168 97806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.22
Current children cumulated vsize (KiB) 915632

[startup+342.72 s]
/proc/loadavg: 2.01 2.00 1.70 3/80 19289
/proc/meminfo: memFree=1068680/2055920 swapFree=4184048/4192956
[pid=19281] ppid=19279 vsize=915632 CPUtime=339.77
/proc/19281/stat : 19281 (java) R 19279 19281 19145 0 -1 0 98102 0 1 0 33932 45 0 0 25 0 8 0 180888082 937607168 97812 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788722 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19281/statm: 228908 97812 2547 14 0 215378 0
[pid=19281/tid=19283] ppid=19279 vsize=915632 CPUtime=2.97
/proc/19281/task/19283/stat : 19283 (java) S 19279 19281 19145 0 -1 64 80958 0 0 0 266 31 0 0 16 0 8 0 180888086 937607168 97812 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19284] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19284/stat : 19284 (java) S 19279 19281 19145 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 180888087 937607168 97812 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19285] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19285/stat : 19285 (java) S 19279 19281 19145 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180888087 937607168 97812 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19286] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19286/stat : 19286 (java) S 19279 19281 19145 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 180888090 937607168 97812 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19287] ppid=19279 vsize=915632 CPUtime=0.3
/proc/19281/task/19287/stat : 19287 (java) S 19279 19281 19145 0 -1 64 494 0 0 0 29 1 0 0 17 0 8 0 180888090 937607168 97812 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19288] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19288/stat : 19288 (java) S 19279 19281 19145 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180888090 937607168 97812 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19289] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19289/stat : 19289 (java) S 19279 19281 19145 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180888090 937607168 97812 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.77
Current children cumulated vsize (KiB) 915632

[startup+402.809 s]
/proc/loadavg: 2.00 2.00 1.72 3/80 19289
/proc/meminfo: memFree=1068552/2055920 swapFree=4184048/4192956
[pid=19281] ppid=19279 vsize=915632 CPUtime=399.31
/proc/19281/stat : 19281 (java) R 19279 19281 19145 0 -1 0 98113 0 1 0 39886 45 0 0 25 0 8 0 180888082 937607168 97820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073792201 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19281/statm: 228908 97820 2547 14 0 215378 0
[pid=19281/tid=19283] ppid=19279 vsize=915632 CPUtime=2.97
/proc/19281/task/19283/stat : 19283 (java) S 19279 19281 19145 0 -1 64 80958 0 0 0 266 31 0 0 16 0 8 0 180888086 937607168 97820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19284] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19284/stat : 19284 (java) S 19279 19281 19145 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 180888087 937607168 97820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19285] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19285/stat : 19285 (java) S 19279 19281 19145 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180888087 937607168 97820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19286] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19286/stat : 19286 (java) S 19279 19281 19145 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 180888090 937607168 97820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19287] ppid=19279 vsize=915632 CPUtime=0.32
/proc/19281/task/19287/stat : 19287 (java) S 19279 19281 19145 0 -1 64 503 0 0 0 31 1 0 0 15 0 8 0 180888090 937607168 97820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19288] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19288/stat : 19288 (java) S 19279 19281 19145 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180888090 937607168 97820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19281/tid=19289] ppid=19279 vsize=915632 CPUtime=0
/proc/19281/task/19289/stat : 19289 (java) S 19279 19281 19145 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180888090 937607168 97820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 399.31
Current children cumulated vsize (KiB) 915632

Child status: 0
Real time (s): 440.034
CPU time (s): 436.184
CPU user time (s): 435.661
CPU system time (s): 0.52292
CPU usage (%): 99.125
Max. virtual memory (cumulated for all children) (KiB): 915632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 435.661
system time used= 0.52292
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98122
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= 10352
involuntary context switches= 17947

runsolver used 0.514921 s user time and 1.43478 s system time

The end

Launcher Data (download as text)

Begin job on node45 on Tue Jan  9 06:41:31 UTC 2007


IDJOB= 233162
IDBENCH= 6585
FILE ID= node45/233162-1168324890

PBS_JOBID= 3502971

Free space on /tmp= 66549 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  374810fca23912defb7b4a24b5ed2d7b

RANDOM SEED= 496898025

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.259
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.259
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:       1450976 kB
Buffers:         68920 kB
Cached:         431656 kB
SwapCached:       3168 kB
Active:         201064 kB
Inactive:       344888 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1450976 kB
SwapTotal:     4192956 kB
SwapFree:      4184048 kB
Dirty:            3060 kB
Writeback:           0 kB
Mapped:          54352 kB
Slab:            44356 kB
Committed_AS:  3764296 kB
PageTables:       1768 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66549 MiB



End job on node45 on Tue Jan  9 06:48:52 UTC 2007