Trace number 232984

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 426.173 427.387

DiagnosticValue
CHECKS931075783
NODES4502

General information on the benchmark

Nametaillard/os-taillard-20/
os-taillard-20-100-3.xml
MD5SUMa952f77e6486671336c6f7fb8be515ed
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 benchmark4.08338
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1310
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.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=mac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/232984-1168081324/unknown.xml
0.36	   
0.36	   domains being loaded...
0.42	   
0.42	   variables being loaded...
0.53	     nbVariables=400  nbDomainTypes=400  minDomainSize=1212  maxDomainSize=1310
0.53	       =>  wckTime=0.224  cpuTime=0.16  mem=20M630
0.53	   
0.53	   predicates being loaded...
0.53	   
0.53	   constraints being loaded...
4.80	   
4.80	   INFO : Stopping converting binary constraints (cpu=4.32, mem = 38M158)
5.91	     nbConstraints=7600  nbConvertedConstraints=10  nbConvertConstraintsChecks=15924190  nbExtensionStructures=10
5.91	     nbSharedExtensionStructures=0  nbConflictsStructures=10  nbSharedConflictsStructures=0
5.91	     nbSharedBinaryRepresentations=2511  nbEvaluationManagers=7590  nbSharedEvaluationManagers=0  maxDegree=38
5.91	     maxArity=2
5.91	       =>  wckTime=5.609  cpuTime=5.25  mem=55M971
6.05	   
6.05	   solver IterativeSystematicSolver being built... 
6.50	       =>  wckTime=6.193  cpuTime=5.54  mem=127M620
38.39	   
38.39	   preprocessing
38.39	     nbConstraintChecks=84256575  nbValidityChecks=527095  nbPropagations=400  nbRevisions=15180
38.39	     nbUselessRevisions=15180  nbRemovedValues=0  detectedInconsistency=no
38.39	       =>  wckTime=31.866  cpuTime=31.52  mem=127M620
119.51	   
119.51	   search
119.51	     run=0  nbConstraintChecks=176986748  nbValidityChecks=191505519  nbPropagations=10936  nbRevisions=303273
119.51	     nbUselessRevisions=284925  nbAssignments=622  nbFailedAssignments=452  nbBacktracks=10  nbVisitedNodes=1085
119.51	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=70
119.51	       =>  wckTime=112.993  cpuTime=111.95  mem=133M570
198.44	   
198.44	   search
198.44	     run=1  nbConstraintChecks=352798987  nbValidityChecks=379641758  nbPropagations=37523  nbRevisions=967687
198.44	     nbUselessRevisions=902625  nbAssignments=1677  nbFailedAssignments=1258  nbBacktracks=25  nbVisitedNodes=2961
198.44	     nbRestartNogoods=10  mapSize=25  nbInferences=0  nbTooLargeKeys=140
198.44	       =>  wckTime=191.918  cpuTime=190.83  mem=140M434
259.21	   
259.21	   search
259.21	     run=2  nbConstraintChecks=491318298  nbValidityChecks=514600187  nbPropagations=72085  nbRevisions=1831922
259.21	     nbUselessRevisions=1707392  nbAssignments=2200  nbFailedAssignments=1468  nbBacktracks=47  nbVisitedNodes=3726
259.21	     nbRestartNogoods=25  mapSize=47  nbInferences=12  nbTooLargeKeys=211
259.21	       =>  wckTime=252.694  cpuTime=251.5  mem=126M11
313.45	   
313.45	   search
313.45	     run=3  nbConstraintChecks=607500832  nbValidityChecks=679842933  nbPropagations=116707  nbRevisions=2954135
313.45	     nbUselessRevisions=2751798  nbAssignments=2804  nbFailedAssignments=1819  nbBacktracks=80  nbVisitedNodes=4714
313.45	     nbRestartNogoods=68  mapSize=80  nbInferences=12  nbTooLargeKeys=278
313.45	       =>  wckTime=306.93  cpuTime=305.72  mem=133M380
369.84	   
369.84	   search
369.84	     run=4  nbConstraintChecks=723048057  nbValidityChecks=858504827  nbPropagations=178801  nbRevisions=4450983
369.84	     nbUselessRevisions=4137952  nbAssignments=3939  nbFailedAssignments=2634  nbBacktracks=130  nbVisitedNodes=6712
369.84	     nbRestartNogoods=72  mapSize=128  nbInferences=12  nbTooLargeKeys=343
369.84	       =>  wckTime=363.315  cpuTime=362.09  mem=141M161
427.30	   
427.30	   search
427.30	     run=5  nbConstraintChecks=846819208  nbValidityChecks=1004472360  nbPropagations=249550  nbRevisions=6171719
427.30	     nbUselessRevisions=5733741  nbAssignments=4502  nbFailedAssignments=2793  nbBacktracks=134  nbVisitedNodes=7438
427.30	     nbRestartNogoods=142  mapSize=132  nbInferences=12  nbTooLargeKeys=412
427.30	       =>  wckTime=420.778  cpuTime=419.52  mem=150M477
427.30	   
427.30	   global
427.30	     nbConstraintChecks=931075783  nbValidityChecks=1004999455  nbPropagations=249950  nbRevisions=6186899
427.30	     nbUselessRevisions=5748921  nbRestartNogoods=142  solvingWckTime=420.779  solvingCpuTime=419.52  expiredTime=no
427.30	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=425.12
427.30	       =>  wckTime=426.996  cpuTime=425.08  mem=150M477
427.30	   
427.30	s SATISFIABLE
427.30	v 1030 646 716 437 159 145 92 180 548 1217 923 1082 974 574 1150 500 1180 347 267 832 836 0 335 266 1244 470 624 461 517 528 430 1061 177 154 86 155 1150 669 784 916 585 251 60 716 284 1023 1172 854 745 1090 553 595 399 922 1149 0 356 140 465 156 1082 109 843 509 1290 9 11 0 267 676 363 333 170 451 176 608 766 346 918 978 1164 96 696 205 101 979 874 731 356 655 129 902 515 587 1097 432 285 1047 0 764 891 576 92 0 282 669 1217 60 1067 346 188 746 1168 809 436 978 1018 843 513 806 1210 863 356 255 1258 1164 995 155 170 60 1018 666 568 736 240 525 0 954 429 836 403 432 152 202 84 676 659 266 790 764 11 1021 860 1149 1061 364 1266 594 918 526 1238 1067 0 507 1164 745 260 57 543 808 1248 1032 962 666 174 600 71 154 863 366 283 600 568 186 1061 108 1023 1258 1202 965 754 402 666 347 478 1094 881 810 0 93 736 888 976 840 1230 61 1164 264 696 290 1123 434 0 155 1038 197 586 597 499 335 282 748 1205 71 277 999 176 0 1112 881 343 364 94 478 683 1190 567 333 1061 600 754 696 978 941 1060 623 892 170 91 60 1160 1037 237 0 314 79 808 550 486 388 1094 996 822 644 177 1282 401 0 290 878 473 356 731 470 108 941 60 194 11 548 663 922 129 0 748 838 528 60 600 363 224 885 285 41 862 874 810 446 264 784 1228 1173 916 646 145 806 683 567 845 976 282 1036 746 1161 1113 486 0 202 417 333 1221 86 977 270 1094 9 430 1059 205 838 0 938 517 366 1130 159 55 84 371 687 240 0 878 90 465 500 687 356 420 810 1168 1037 93 608 156 515 965 764 1113 345 1001 1287 284 0 451 347 586 1164 331 784 1038 822 99 912 1213 680 188 754 860 526 429 891 517 33 79 806 1221 0 346 663 696 270 978 1094 766 96 830 194 585 707 
427.30	d NODES 4502
427.30	d CHECKS 931075783
427.30	   
427.30	   totalWckTime=427.074  totalCpuTime=425.12

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/node21/watcher-232984-1168081324 -o ROOT/results/node21/solver-232984-1168081324 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/232984-1168081324/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.25 0.22 0.65 4/99 22340
/proc/meminfo: memFree=1528488/2055920 swapFree=4192812/4192956
[pid=22339] ppid=22337 vsize=18540 CPUtime=0
/proc/22339/stat : 22339 (runsolver) R 22337 22339 21837 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 156528141 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 221236489511 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/22339/statm: 4635 279 244 17 0 2626 0

[startup+0.107584 s]
/proc/loadavg: 0.25 0.22 0.65 4/99 22340
/proc/meminfo: memFree=1528488/2055920 swapFree=4192812/4192956
[pid=22339] ppid=22337 vsize=914988 CPUtime=0.09
/proc/22339/stat : 22339 (java) R 22337 22339 21837 0 -1 0 3050 0 1 0 7 2 0 0 22 0 8 0 156528141 936947712 2796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 8898348 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22339/statm: 228747 2796 1446 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.515662 s]
/proc/loadavg: 0.25 0.22 0.65 4/99 22340
/proc/meminfo: memFree=1528488/2055920 swapFree=4192812/4192956
[pid=22339] ppid=22337 vsize=915328 CPUtime=0.49
/proc/22339/stat : 22339 (java) R 22337 22339 21837 0 -1 0 8753 0 1 0 44 5 0 0 25 0 8 0 156528141 937295872 8492 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072896995 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22339/statm: 228832 8492 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33681 s]
/proc/loadavg: 0.55 0.28 0.67 3/106 22349
/proc/meminfo: memFree=1457392/2055920 swapFree=4192812/4192956
[pid=22339] ppid=22337 vsize=915632 CPUtime=1.3
/proc/22339/stat : 22339 (java) R 22337 22339 21837 0 -1 0 20104 0 1 0 119 11 0 0 25 0 8 0 156528141 937607168 19842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073796541 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22339/statm: 228908 19842 2178 14 0 215378 0
[pid=22339/tid=22341] ppid=22337 vsize=915632 CPUtime=0.03
/proc/22339/task/22341/stat : 22341 (java) S 22337 22339 21837 0 -1 64 3510 0 0 0 2 1 0 0 16 0 8 0 156528145 937607168 19842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22342] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22342/stat : 22342 (java) S 22337 22339 21837 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156528145 937607168 19842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22343] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22343/stat : 22343 (java) S 22337 22339 21837 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156528145 937607168 19842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22344] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22344/stat : 22344 (java) S 22337 22339 21837 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156528148 937607168 19842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22345] ppid=22337 vsize=915632 CPUtime=0.15
/proc/22339/task/22345/stat : 22345 (java) S 22337 22339 21837 0 -1 64 402 0 0 0 15 0 0 0 16 0 8 0 156528148 937607168 19842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22346] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22346/stat : 22346 (java) S 22337 22339 21837 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156528148 937607168 19842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22347] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22347/stat : 22347 (java) S 22337 22339 21837 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156528148 937607168 19842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915632

[startup+2.98212 s]
/proc/loadavg: 0.55 0.28 0.67 3/106 22349
/proc/meminfo: memFree=1457328/2055920 swapFree=4192812/4192956
[pid=22339] ppid=22337 vsize=915632 CPUtime=2.93
/proc/22339/stat : 22339 (java) R 22337 22339 21837 0 -1 0 20109 0 1 0 282 11 0 0 25 0 8 0 156528141 937607168 19846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073792066 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22339/statm: 228908 19846 2178 14 0 215378 0
[pid=22339/tid=22341] ppid=22337 vsize=915632 CPUtime=0.03
/proc/22339/task/22341/stat : 22341 (java) S 22337 22339 21837 0 -1 64 3510 0 0 0 2 1 0 0 16 0 8 0 156528145 937607168 19846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22342] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22342/stat : 22342 (java) S 22337 22339 21837 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156528145 937607168 19846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22343] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22343/stat : 22343 (java) S 22337 22339 21837 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156528145 937607168 19846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22344] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22344/stat : 22344 (java) S 22337 22339 21837 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156528148 937607168 19846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22345] ppid=22337 vsize=915632 CPUtime=0.15
/proc/22339/task/22345/stat : 22345 (java) S 22337 22339 21837 0 -1 64 405 0 0 0 15 0 0 0 16 0 8 0 156528148 937607168 19846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22346] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22346/stat : 22346 (java) S 22337 22339 21837 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156528148 937607168 19846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22347] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22347/stat : 22347 (java) S 22337 22339 21837 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156528148 937607168 19846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915632

[startup+6.27275 s]
/proc/loadavg: 0.55 0.28 0.67 3/106 22351
/proc/meminfo: memFree=1441648/2055920 swapFree=4192812/4192956
[pid=22339] ppid=22337 vsize=915632 CPUtime=6.18
/proc/22339/stat : 22339 (java) R 22337 22339 21837 0 -1 0 33343 0 1 0 602 16 0 0 25 0 8 0 156528141 937607168 33077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073544994 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22339/statm: 228908 33077 2498 14 0 215378 0
[pid=22339/tid=22341] ppid=22337 vsize=915632 CPUtime=0.32
/proc/22339/task/22341/stat : 22341 (java) S 22337 22339 21837 0 -1 64 16340 0 0 0 26 6 0 0 16 0 8 0 156528145 937607168 33077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22342] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22342/stat : 22342 (java) S 22337 22339 21837 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156528145 937607168 33077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22343] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22343/stat : 22343 (java) S 22337 22339 21837 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156528145 937607168 33077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22344] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22344/stat : 22344 (java) S 22337 22339 21837 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156528148 937607168 33077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22345] ppid=22337 vsize=915632 CPUtime=0.22
/proc/22339/task/22345/stat : 22345 (java) S 22337 22339 21837 0 -1 64 451 0 0 0 21 1 0 0 15 0 8 0 156528148 937607168 33077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22346] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22346/stat : 22346 (java) S 22337 22339 21837 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156528148 937607168 33077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22347] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22347/stat : 22347 (java) S 22337 22339 21837 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156528148 937607168 33077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915632

[startup+12.754 s]
/proc/loadavg: 0.77 0.34 0.68 3/106 22355
/proc/meminfo: memFree=1369584/2055920 swapFree=4192812/4192956
[pid=22339] ppid=22337 vsize=915632 CPUtime=12.61
/proc/22339/stat : 22339 (java) R 22337 22339 21837 0 -1 0 42370 0 1 0 1240 21 0 0 25 0 8 0 156528141 937607168 42099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074032311 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22339/statm: 228908 42099 2533 14 0 215378 0
[pid=22339/tid=22341] ppid=22337 vsize=915632 CPUtime=0.39
/proc/22339/task/22341/stat : 22341 (java) S 22337 22339 21837 0 -1 64 25277 0 0 0 30 9 0 0 17 0 8 0 156528145 937607168 42099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22342] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22342/stat : 22342 (java) S 22337 22339 21837 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156528145 937607168 42099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22343] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22343/stat : 22343 (java) S 22337 22339 21837 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156528145 937607168 42099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22344] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22344/stat : 22344 (java) S 22337 22339 21837 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156528148 937607168 42099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22345] ppid=22337 vsize=915632 CPUtime=0.26
/proc/22339/task/22345/stat : 22345 (java) S 22337 22339 21837 0 -1 64 479 0 0 0 25 1 0 0 16 0 8 0 156528148 937607168 42099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22346] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22346/stat : 22346 (java) S 22337 22339 21837 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156528148 937607168 42099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22347] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22347/stat : 22347 (java) S 22337 22339 21837 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156528148 937607168 42099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915632

[startup+25.6104 s]
/proc/loadavg: 0.96 0.39 0.69 3/100 22379
/proc/meminfo: memFree=1370656/2055920 swapFree=4192812/4192956
[pid=22339] ppid=22337 vsize=915632 CPUtime=25.33
/proc/22339/stat : 22339 (java) R 22337 22339 21837 0 -1 0 42372 0 1 0 2511 22 0 0 25 0 8 0 156528141 937607168 42100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479187 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22339/statm: 228908 42100 2533 14 0 215378 0
[pid=22339/tid=22341] ppid=22337 vsize=915632 CPUtime=0.39
/proc/22339/task/22341/stat : 22341 (java) S 22337 22339 21837 0 -1 64 25277 0 0 0 30 9 0 0 16 0 8 0 156528145 937607168 42100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22342] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22342/stat : 22342 (java) S 22337 22339 21837 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156528145 937607168 42100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22343] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22343/stat : 22343 (java) S 22337 22339 21837 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156528145 937607168 42100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22344] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22344/stat : 22344 (java) S 22337 22339 21837 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156528148 937607168 42100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22345] ppid=22337 vsize=915632 CPUtime=0.26
/proc/22339/task/22345/stat : 22345 (java) S 22337 22339 21837 0 -1 64 481 0 0 0 25 1 0 0 15 0 8 0 156528148 937607168 42100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22346] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22346/stat : 22346 (java) S 22337 22339 21837 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156528148 937607168 42100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22347] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22347/stat : 22347 (java) S 22337 22339 21837 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156528148 937607168 42100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 915632

[startup+51.2152 s]
/proc/loadavg: 1.37 0.55 0.73 3/100 22379
/proc/meminfo: memFree=1370656/2055920 swapFree=4192812/4192956
[pid=22339] ppid=22337 vsize=915632 CPUtime=50.7
/proc/22339/stat : 22339 (java) R 22337 22339 21837 0 -1 0 42385 0 1 0 5048 22 0 0 25 0 8 0 156528141 937607168 42108 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073792263 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22339/statm: 228908 42108 2534 14 0 215378 0
[pid=22339/tid=22341] ppid=22337 vsize=915632 CPUtime=0.39
/proc/22339/task/22341/stat : 22341 (java) S 22337 22339 21837 0 -1 64 25277 0 0 0 30 9 0 0 16 0 8 0 156528145 937607168 42108 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22342] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22342/stat : 22342 (java) S 22337 22339 21837 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156528145 937607168 42108 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22343] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22343/stat : 22343 (java) S 22337 22339 21837 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156528145 937607168 42108 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22344] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22344/stat : 22344 (java) S 22337 22339 21837 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156528148 937607168 42108 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22345] ppid=22337 vsize=915632 CPUtime=0.27
/proc/22339/task/22345/stat : 22345 (java) S 22337 22339 21837 0 -1 64 487 0 0 0 26 1 0 0 17 0 8 0 156528148 937607168 42108 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22346] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22346/stat : 22346 (java) S 22337 22339 21837 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156528148 937607168 42108 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22347] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22347/stat : 22347 (java) S 22337 22339 21837 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156528148 937607168 42108 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 915632

[startup+102.431 s]
/proc/loadavg: 1.72 0.77 0.80 3/100 22379
/proc/meminfo: memFree=1370656/2055920 swapFree=4192812/4192956
[pid=22339] ppid=22337 vsize=915632 CPUtime=101.42
/proc/22339/stat : 22339 (java) R 22337 22339 21837 0 -1 0 42394 0 1 0 10120 22 0 0 25 0 8 0 156528141 937607168 42112 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788700 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22339/statm: 228908 42112 2534 14 0 215378 0
[pid=22339/tid=22341] ppid=22337 vsize=915632 CPUtime=0.39
/proc/22339/task/22341/stat : 22341 (java) S 22337 22339 21837 0 -1 64 25277 0 0 0 30 9 0 0 16 0 8 0 156528145 937607168 42112 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22342] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22342/stat : 22342 (java) S 22337 22339 21837 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156528145 937607168 42112 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22343] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22343/stat : 22343 (java) S 22337 22339 21837 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156528145 937607168 42112 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22344] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22344/stat : 22344 (java) S 22337 22339 21837 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156528148 937607168 42112 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22345] ppid=22337 vsize=915632 CPUtime=0.28
/proc/22339/task/22345/stat : 22345 (java) S 22337 22339 21837 0 -1 64 495 0 0 0 27 1 0 0 15 0 8 0 156528148 937607168 42112 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22346] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22346/stat : 22346 (java) S 22337 22339 21837 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156528148 937607168 42112 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22347] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22347/stat : 22347 (java) S 22337 22339 21837 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156528148 937607168 42112 18446744073709551615 134512640 134570532 4294956480 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.47 s]
/proc/loadavg: 1.93 1.00 0.87 3/100 22435
/proc/meminfo: memFree=1464352/2055920 swapFree=4192812/4192956
[pid=22339] ppid=22337 vsize=915632 CPUtime=161.38
/proc/22339/stat : 22339 (java) R 22337 22339 21837 0 -1 0 42412 0 1 0 16115 23 0 0 25 0 8 0 156528141 937607168 42124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788726 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22339/statm: 228908 42124 2538 14 0 215378 0
[pid=22339/tid=22341] ppid=22337 vsize=915632 CPUtime=0.39
/proc/22339/task/22341/stat : 22341 (java) S 22337 22339 21837 0 -1 64 25278 0 0 0 30 9 0 0 16 0 8 0 156528145 937607168 42124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22339/tid=22342] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22342/stat : 22342 (java) S 22337 22339 21837 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156528145 937607168 42124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22343] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22343/stat : 22343 (java) S 22337 22339 21837 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156528145 937607168 42124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22344] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22344/stat : 22344 (java) S 22337 22339 21837 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156528148 937607168 42124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22345] ppid=22337 vsize=915632 CPUtime=0.29
/proc/22339/task/22345/stat : 22345 (java) S 22337 22339 21837 0 -1 64 501 0 0 0 28 1 0 0 16 0 8 0 156528148 937607168 42124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22339/tid=22346] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22346/stat : 22346 (java) S 22337 22339 21837 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156528148 937607168 42124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22347] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22347/stat : 22347 (java) S 22337 22339 21837 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156528148 937607168 42124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.38
Current children cumulated vsize (KiB) 915632

[startup+222.545 s]
/proc/loadavg: 1.97 1.18 0.94 3/100 22435
/proc/meminfo: memFree=1463520/2055920 swapFree=4192812/4192956
[pid=22339] ppid=22337 vsize=915632 CPUtime=221.43
/proc/22339/stat : 22339 (java) R 22337 22339 21837 0 -1 0 42428 0 1 0 22119 24 0 0 25 0 8 0 156528141 937607168 42133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074043180 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22339/statm: 228908 42133 2538 14 0 215378 0
[pid=22339/tid=22341] ppid=22337 vsize=915632 CPUtime=0.39
/proc/22339/task/22341/stat : 22341 (java) S 22337 22339 21837 0 -1 64 25278 0 0 0 30 9 0 0 16 0 8 0 156528145 937607168 42133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22339/tid=22342] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22342/stat : 22342 (java) S 22337 22339 21837 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156528145 937607168 42133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22343] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22343/stat : 22343 (java) S 22337 22339 21837 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156528145 937607168 42133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22344] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22344/stat : 22344 (java) S 22337 22339 21837 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156528148 937607168 42133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22345] ppid=22337 vsize=915632 CPUtime=0.31
/proc/22339/task/22345/stat : 22345 (java) S 22337 22339 21837 0 -1 64 515 0 0 0 30 1 0 0 16 0 8 0 156528148 937607168 42133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22339/tid=22346] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22346/stat : 22346 (java) S 22337 22339 21837 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156528148 937607168 42133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22347] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22347/stat : 22347 (java) S 22337 22339 21837 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156528148 937607168 42133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 221.43
Current children cumulated vsize (KiB) 915632

[startup+282.613 s]
/proc/loadavg: 1.99 1.33 1.01 3/100 22435
/proc/meminfo: memFree=1434080/2055920 swapFree=4192812/4192956
[pid=22339] ppid=22337 vsize=915632 CPUtime=281.48
/proc/22339/stat : 22339 (java) R 22337 22339 21837 0 -1 0 49038 0 1 0 28121 27 0 0 25 0 8 0 156528141 937607168 48741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073791416 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22339/statm: 228908 48741 2538 14 0 215378 0
[pid=22339/tid=22341] ppid=22337 vsize=915632 CPUtime=0.45
/proc/22339/task/22341/stat : 22341 (java) S 22337 22339 21837 0 -1 64 31882 0 0 0 33 12 0 0 16 0 8 0 156528145 937607168 48741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22339/tid=22342] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22342/stat : 22342 (java) S 22337 22339 21837 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156528145 937607168 48741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22339/tid=22343] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22343/stat : 22343 (java) S 22337 22339 21837 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156528145 937607168 48741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22339/tid=22344] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22344/stat : 22344 (java) S 22337 22339 21837 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156528148 937607168 48741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22345] ppid=22337 vsize=915632 CPUtime=0.32
/proc/22339/task/22345/stat : 22345 (java) S 22337 22339 21837 0 -1 64 520 0 0 0 31 1 0 0 15 0 8 0 156528148 937607168 48741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22339/tid=22346] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22346/stat : 22346 (java) S 22337 22339 21837 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156528148 937607168 48741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22347] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22347/stat : 22347 (java) S 22337 22339 21837 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156528148 937607168 48741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 281.48
Current children cumulated vsize (KiB) 915632

[startup+342.678 s]
/proc/loadavg: 1.99 1.45 1.06 3/100 22435
/proc/meminfo: memFree=1406944/2055920 swapFree=4192812/4192956
[pid=22339] ppid=22337 vsize=915632 CPUtime=341.53
/proc/22339/stat : 22339 (java) R 22337 22339 21837 0 -1 0 49041 0 1 0 34125 28 0 0 25 0 8 0 156528141 937607168 48742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073792208 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22339/statm: 228908 48742 2538 14 0 215378 0
[pid=22339/tid=22341] ppid=22337 vsize=915632 CPUtime=0.45
/proc/22339/task/22341/stat : 22341 (java) S 22337 22339 21837 0 -1 64 31882 0 0 0 33 12 0 0 16 0 8 0 156528145 937607168 48742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22339/tid=22342] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22342/stat : 22342 (java) S 22337 22339 21837 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156528145 937607168 48742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22339/tid=22343] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22343/stat : 22343 (java) S 22337 22339 21837 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156528145 937607168 48742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22339/tid=22344] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22344/stat : 22344 (java) S 22337 22339 21837 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156528148 937607168 48742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22345] ppid=22337 vsize=915632 CPUtime=0.33
/proc/22339/task/22345/stat : 22345 (java) S 22337 22339 21837 0 -1 64 521 0 0 0 32 1 0 0 16 0 8 0 156528148 937607168 48742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22339/tid=22346] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22346/stat : 22346 (java) S 22337 22339 21837 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156528148 937607168 48742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22347] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22347/stat : 22347 (java) S 22337 22339 21837 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156528148 937607168 48742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 341.53
Current children cumulated vsize (KiB) 915632

[startup+402.751 s]
/proc/loadavg: 1.99 1.55 1.12 3/100 22435
/proc/meminfo: memFree=1406880/2055920 swapFree=4192812/4192956
[pid=22339] ppid=22337 vsize=915632 CPUtime=401.59
/proc/22339/stat : 22339 (java) R 22337 22339 21837 0 -1 0 49043 0 1 0 40130 29 0 0 25 0 8 0 156528141 937607168 48743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073790944 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22339/statm: 228908 48743 2538 14 0 215378 0
[pid=22339/tid=22341] ppid=22337 vsize=915632 CPUtime=0.45
/proc/22339/task/22341/stat : 22341 (java) S 22337 22339 21837 0 -1 64 31882 0 0 0 33 12 0 0 16 0 8 0 156528145 937607168 48743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22339/tid=22342] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22342/stat : 22342 (java) S 22337 22339 21837 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156528145 937607168 48743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22339/tid=22343] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22343/stat : 22343 (java) S 22337 22339 21837 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156528145 937607168 48743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22339/tid=22344] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22344/stat : 22344 (java) S 22337 22339 21837 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156528148 937607168 48743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22345] ppid=22337 vsize=915632 CPUtime=0.33
/proc/22339/task/22345/stat : 22345 (java) S 22337 22339 21837 0 -1 64 522 0 0 0 32 1 0 0 16 0 8 0 156528148 937607168 48743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22339/tid=22346] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22346/stat : 22346 (java) S 22337 22339 21837 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156528148 937607168 48743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22347] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22347/stat : 22347 (java) S 22337 22339 21837 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156528148 937607168 48743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 401.59
Current children cumulated vsize (KiB) 915632

Child status: 0
Real time (s): 427.387
CPU time (s): 426.173
CPU user time (s): 425.847
CPU system time (s): 0.32595
CPU usage (%): 99.716
Max. virtual memory (cumulated for all children) (KiB): 915632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 425.847
system time used= 0.32595
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49052
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= 10275
involuntary context switches= 15607

runsolver used 0.565913 s user time and 1.25581 s system time

The end

Launcher Data (download as text)

Begin job on node21 on Sat Jan  6 11:02:09 UTC 2007


IDJOB= 232984
IDBENCH= 6573
FILE ID= node21/232984-1168081324

PBS_JOBID= 3476202

Free space on /tmp= 66543 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  a952f77e6486671336c6f7fb8be515ed

RANDOM SEED= 715966994

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.261
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.261
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:       1616392 kB
Buffers:         34948 kB
Cached:         197748 kB
SwapCached:          0 kB
Active:         255916 kB
Inactive:       111620 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1616392 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            5520 kB
Writeback:           0 kB
Mapped:         163436 kB
Slab:            56388 kB
Committed_AS:  3779168 kB
PageTables:       2564 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= 66543 MiB



End job on node21 on Sat Jan  6 11:09:25 UTC 2007