Trace number 232951

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 410.408 411.82

DiagnosticValue
CHECKS500110223
NODES400

General information on the benchmark

Nametaillard/os-taillard-20/
os-taillard-20-105-5.xml
MD5SUMa0a6c2f8c0e385dbc465e671c789fc14
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.950854
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1315
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.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=esac.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/232951-1168324238/unknown.xml
0.35	   
0.35	   domains being loaded...
0.41	   
0.41	   variables being loaded...
0.52	     nbVariables=400  nbDomainTypes=400  minDomainSize=1217  maxDomainSize=1315
0.52	       =>  wckTime=0.227  cpuTime=0.16  mem=20M625
0.52	   
0.52	   predicates being loaded...
0.53	   
0.53	   constraints being loaded...
203.98	   
203.98	   INFO : Stopping converting binary constraints (cpu=200.33, mem = 264M327)
205.10	     nbConstraints=7600  nbConvertedConstraints=516  nbConvertConstraintsChecks=823259515  nbExtensionStructures=516
205.10	     nbSharedExtensionStructures=0  nbConflictsStructures=516  nbSharedConflictsStructures=0
205.10	     nbSharedBinaryRepresentations=298133  nbEvaluationManagers=7084  nbSharedEvaluationManagers=0  maxDegree=38
205.10	     maxArity=2
205.10	       =>  wckTime=204.804  cpuTime=201.1  mem=296M650
205.71	   
205.71	   solver IterativeSystematicSolver being built... 
206.16	       =>  wckTime=205.868  cpuTime=201.4  mem=351M505
357.58	   
357.58	   INFO : Stopping ESAC
357.59	   
357.59	   preprocessing
357.59	     nbConstraintChecks=377984252  nbValidityChecks=254034858  nbPropagations=11198  nbRevisions=310459
357.59	     nbUselessRevisions=300067  nbSingletonTests=523  nbEffectiveSingletonTests=0  nbESACBranches=2  nbRemovedValues=0
357.59	     detectedInconsistency=no
357.59	       =>  wckTime=151.397  cpuTime=151.29  mem=351M505
411.75	   
411.75	   search
411.75	     run=0  nbConstraintChecks=122125971  nbValidityChecks=126006698  nbPropagations=17558  nbRevisions=472848
411.75	     nbUselessRevisions=456495  nbAssignments=400  nbFailedAssignments=0  nbBacktracks=0  nbVisitedNodes=401
411.75	     nbRestartNogoods=0  mapSize=0  nbInferences=0  nbTooLargeKeys=71
411.75	       =>  wckTime=205.562  cpuTime=205.42  mem=362M16
411.75	   
411.75	   global
411.75	     nbConstraintChecks=500110223  nbValidityChecks=380041556  nbPropagations=28756  nbRevisions=783307
411.75	     nbUselessRevisions=756562  nbRestartNogoods=0  solvingWckTime=205.564  solvingCpuTime=205.42  expiredTime=no
411.75	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=406.89
411.75	       =>  wckTime=411.456  cpuTime=406.84  mem=362M16
411.75	   
411.75	s SATISFIABLE
411.75	v 1228 679 0 371 652 850 570 904 160 98 270 966 810 318 257 1119 624 461 303 1049 1119 483 1040 127 817 0 953 753 983 450 740 384 594 642 272 289 897 193 536 83 1190 174 0 929 615 669 852 444 897 91 504 358 594 948 264 94 88 795 96 719 0 782 1162 498 576 176 409 1122 1079 706 1006 986 378 835 280 888 947 624 98 192 629 940 703 1265 348 1103 400 526 94 888 757 854 0 1149 765 181 589 276 928 479 788 1032 981 273 890 652 89 1006 1147 491 1256 182 581 427 1019 722 0 937 845 349 457 1265 1234 914 274 89 765 182 1051 697 542 828 1021 0 990 953 371 1203 872 626 249 400 889 321 461 817 178 1049 1137 96 990 0 520 599 276 652 126 926 542 731 186 399 511 928 387 94 263 949 87 0 1093 607 413 685 350 1037 788 149 848 483 1015 357 96 176 890 618 537 662 702 0 857 409 794 249 1079 264 274 444 1111 598 273 872 328 626 0 841 915 776 88 598 513 397 184 818 469 583 1042 156 712 981 400 603 300 1053 0 373 164 761 95 692 992 524 428 790 899 826 948 347 246 1266 990 192 186 303 358 652 503 1184 738 436 948 400 206 87 1015 238 0 324 592 810 498 1100 791 91 581 915 300 965 264 504 174 611 0 1162 829 399 1028 703 1110 384 417 542 828 757 377 91 899 491 350 138 69 1063 159 669 246 615 647 280 951 0 0 537 662 794 854 350 1058 973 160 513 437 264 1002 929 1180 234 88 951 731 589 1235 1080 321 761 857 240 1002 0 450 457 503 948 69 603 790 154 552 428 95 190 770 94 384 679 850 879 272 234 1155 1080 583 0 795 1180 479 206 180 348 738 166 642 1019 795 1162 350 0 154 312 712 87 1075 383 852 436 238 68 570 950 95 489 719 981 892 0 96 1075 378 692 702 1147 387 417 469 633 289 876 437 556 193 811 
411.75	d NODES 400
411.75	d CHECKS 500110223
411.75	   
411.75	   totalWckTime=411.532  totalCpuTime=406.89

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/node52/watcher-232951-1168324238 -o ROOT/results/node52/solver-232951-1168324238 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/232951-1168324238/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.69 0.99 1.43 5/81 691
/proc/meminfo: memFree=1410512/2055920 swapFree=4192812/4192956
[pid=690] ppid=688 vsize=18540 CPUtime=0
/proc/690/stat : 690 (runsolver) R 688 690 30464 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 180822713 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 273653755175 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/690/statm: 4635 279 244 17 0 2626 0

[startup+0.107547 s]
/proc/loadavg: 0.69 0.99 1.43 5/81 691
/proc/meminfo: memFree=1410512/2055920 swapFree=4192812/4192956
[pid=690] ppid=688 vsize=914988 CPUtime=0.08
/proc/690/stat : 690 (java) R 688 690 30464 0 -1 0 3058 0 1 0 7 1 0 0 22 0 8 0 180822713 936947712 2804 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154015731 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/690/statm: 228747 2804 1449 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.515577 s]
/proc/loadavg: 0.69 0.99 1.43 5/81 691
/proc/meminfo: memFree=1410512/2055920 swapFree=4192812/4192956
[pid=690] ppid=688 vsize=915328 CPUtime=0.49
/proc/690/stat : 690 (java) R 688 690 30464 0 -1 0 8969 0 1 0 44 5 0 0 25 0 8 0 180822713 937295872 8708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/690/statm: 228832 8708 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33762 s]
/proc/loadavg: 0.69 0.99 1.43 3/88 698
/proc/meminfo: memFree=1324632/2055920 swapFree=4192812/4192956
[pid=690] ppid=688 vsize=915632 CPUtime=1.3
/proc/690/stat : 690 (java) R 688 690 30464 0 -1 0 20122 0 1 0 119 11 0 0 25 0 8 0 180822713 937607168 19860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/690/statm: 228908 19860 2178 14 0 215378 0
[pid=690/tid=692] ppid=688 vsize=915632 CPUtime=0.04
/proc/690/task/692/stat : 692 (java) S 688 690 30464 0 -1 64 3528 0 0 0 3 1 0 0 16 0 8 0 180822717 937607168 19860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=693] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/693/stat : 693 (java) S 688 690 30464 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180822718 937607168 19860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=694] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/694/stat : 694 (java) S 688 690 30464 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180822718 937607168 19860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=695] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/695/stat : 695 (java) S 688 690 30464 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 180822721 937607168 19860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=696] ppid=688 vsize=915632 CPUtime=0.16
/proc/690/task/696/stat : 696 (java) S 688 690 30464 0 -1 64 402 0 0 0 15 1 0 0 16 0 8 0 180822721 937607168 19860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=697] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/697/stat : 697 (java) S 688 690 30464 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180822721 937607168 19860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=698] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/698/stat : 698 (java) S 688 690 30464 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180822721 937607168 19860 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.98974 s]
/proc/loadavg: 0.69 0.99 1.43 4/88 698
/proc/meminfo: memFree=1321240/2055920 swapFree=4192812/4192956
[pid=690] ppid=688 vsize=915632 CPUtime=2.94
/proc/690/stat : 690 (java) R 688 690 30464 0 -1 0 20128 0 1 0 283 11 0 0 25 0 8 0 180822713 937607168 19864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073790944 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/690/statm: 228908 19864 2178 14 0 215378 0
[pid=690/tid=692] ppid=688 vsize=915632 CPUtime=0.04
/proc/690/task/692/stat : 692 (java) S 688 690 30464 0 -1 64 3528 0 0 0 3 1 0 0 17 0 8 0 180822717 937607168 19864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=693] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/693/stat : 693 (java) S 688 690 30464 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180822718 937607168 19864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=694] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/694/stat : 694 (java) S 688 690 30464 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180822718 937607168 19864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=695] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/695/stat : 695 (java) S 688 690 30464 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 180822721 937607168 19864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=696] ppid=688 vsize=915632 CPUtime=0.16
/proc/690/task/696/stat : 696 (java) S 688 690 30464 0 -1 64 405 0 0 0 15 1 0 0 16 0 8 0 180822721 937607168 19864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=697] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/697/stat : 697 (java) S 688 690 30464 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180822721 937607168 19864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=698] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/698/stat : 698 (java) S 688 690 30464 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180822721 937607168 19864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915632

[startup+6.27596 s]
/proc/loadavg: 0.88 1.03 1.44 3/88 698
/proc/meminfo: memFree=1292056/2055920 swapFree=4192812/4192956
[pid=690] ppid=688 vsize=915632 CPUtime=6.2
/proc/690/stat : 690 (java) R 688 690 30464 0 -1 0 20128 0 1 0 609 11 0 0 25 0 8 0 180822713 937607168 19864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073792232 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/690/statm: 228908 19864 2178 14 0 215378 0
[pid=690/tid=692] ppid=688 vsize=915632 CPUtime=0.04
/proc/690/task/692/stat : 692 (java) S 688 690 30464 0 -1 64 3528 0 0 0 3 1 0 0 16 0 8 0 180822717 937607168 19864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=693] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/693/stat : 693 (java) S 688 690 30464 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180822718 937607168 19864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=694] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/694/stat : 694 (java) S 688 690 30464 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180822718 937607168 19864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=695] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/695/stat : 695 (java) S 688 690 30464 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 180822721 937607168 19864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=696] ppid=688 vsize=915632 CPUtime=0.16
/proc/690/task/696/stat : 696 (java) S 688 690 30464 0 -1 64 405 0 0 0 15 1 0 0 16 0 8 0 180822721 937607168 19864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=697] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/697/stat : 697 (java) S 688 690 30464 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180822721 937607168 19864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=698] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/698/stat : 698 (java) R 688 690 30464 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180822721 937607168 19864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915632

[startup+12.7664 s]
/proc/loadavg: 1.05 1.06 1.45 4/88 698
/proc/meminfo: memFree=1243928/2055920 swapFree=4192812/4192956
[pid=690] ppid=688 vsize=915632 CPUtime=12.63
/proc/690/stat : 690 (java) R 688 690 30464 0 -1 0 20128 0 1 0 1251 12 0 0 25 0 8 0 180822713 937607168 19864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788653 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/690/statm: 228908 19864 2178 14 0 215378 0
[pid=690/tid=692] ppid=688 vsize=915632 CPUtime=0.04
/proc/690/task/692/stat : 692 (java) S 688 690 30464 0 -1 64 3528 0 0 0 3 1 0 0 16 0 8 0 180822717 937607168 19864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=693] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/693/stat : 693 (java) S 688 690 30464 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180822718 937607168 19864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=694] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/694/stat : 694 (java) S 688 690 30464 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180822718 937607168 19864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=695] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/695/stat : 695 (java) S 688 690 30464 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 180822721 937607168 19864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=696] ppid=688 vsize=915632 CPUtime=0.16
/proc/690/task/696/stat : 696 (java) S 688 690 30464 0 -1 64 405 0 0 0 15 1 0 0 17 0 8 0 180822721 937607168 19864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=697] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/697/stat : 697 (java) S 688 690 30464 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180822721 937607168 19864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=698] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/698/stat : 698 (java) S 688 690 30464 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180822721 937607168 19864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915632

[startup+25.6133 s]
/proc/loadavg: 1.33 1.12 1.46 3/88 698
/proc/meminfo: memFree=1126936/2055920 swapFree=4192812/4192956
[pid=690] ppid=688 vsize=915632 CPUtime=25.36
/proc/690/stat : 690 (java) R 688 690 30464 0 -1 0 28223 0 1 0 2522 14 0 0 25 0 8 0 180822713 937607168 27958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073789954 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/690/statm: 228908 27958 2178 14 0 215378 0
[pid=690/tid=692] ppid=688 vsize=915632 CPUtime=0.24
/proc/690/task/692/stat : 692 (java) S 688 690 30464 0 -1 64 11621 0 0 0 21 3 0 0 16 0 8 0 180822717 937607168 27958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=693] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/693/stat : 693 (java) S 688 690 30464 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180822718 937607168 27958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=694] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/694/stat : 694 (java) S 688 690 30464 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180822718 937607168 27958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=695] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/695/stat : 695 (java) S 688 690 30464 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 180822721 937607168 27958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=696] ppid=688 vsize=915632 CPUtime=0.16
/proc/690/task/696/stat : 696 (java) S 688 690 30464 0 -1 64 406 0 0 0 15 1 0 0 16 0 8 0 180822721 937607168 27958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=697] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/697/stat : 697 (java) S 688 690 30464 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180822721 937607168 27958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=698] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/698/stat : 698 (java) S 688 690 30464 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180822721 937607168 27958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915632

[startup+51.255 s]
/proc/loadavg: 1.68 1.22 1.49 4/88 698
/proc/meminfo: memFree=938584/2055920 swapFree=4192812/4192956
[pid=690] ppid=688 vsize=915632 CPUtime=50.77
/proc/690/stat : 690 (java) R 688 690 30464 0 -1 0 28231 0 1 0 5062 15 0 0 25 0 8 0 180822713 937607168 27966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073804697 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/690/statm: 228908 27966 2178 14 0 215378 0
[pid=690/tid=692] ppid=688 vsize=915632 CPUtime=0.24
/proc/690/task/692/stat : 692 (java) S 688 690 30464 0 -1 64 11621 0 0 0 21 3 0 0 16 0 8 0 180822717 937607168 27966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=693] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/693/stat : 693 (java) S 688 690 30464 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180822718 937607168 27966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=694] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/694/stat : 694 (java) S 688 690 30464 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180822718 937607168 27966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=695] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/695/stat : 695 (java) S 688 690 30464 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 180822721 937607168 27966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=696] ppid=688 vsize=915632 CPUtime=0.18
/proc/690/task/696/stat : 696 (java) S 688 690 30464 0 -1 64 414 0 0 0 17 1 0 0 16 0 8 0 180822721 937607168 27966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=697] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/697/stat : 697 (java) S 688 690 30464 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180822721 937607168 27966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=698] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/698/stat : 698 (java) S 688 690 30464 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180822721 937607168 27966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 915632

[startup+102.482 s]
/proc/loadavg: 1.93 1.36 1.52 4/88 698
/proc/meminfo: memFree=681496/2055920 swapFree=4192812/4192956
[pid=690] ppid=688 vsize=915632 CPUtime=101.54
/proc/690/stat : 690 (java) R 688 690 30464 0 -1 0 46797 0 1 0 10130 24 0 0 25 0 8 0 180822713 937607168 46529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073789856 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/690/statm: 228908 46529 2179 14 0 215378 0
[pid=690/tid=692] ppid=688 vsize=915632 CPUtime=0.91
/proc/690/task/692/stat : 692 (java) S 688 690 30464 0 -1 64 30174 0 0 0 80 11 0 0 16 0 8 0 180822717 937607168 46529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=693] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/693/stat : 693 (java) S 688 690 30464 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180822718 937607168 46529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=694] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/694/stat : 694 (java) S 688 690 30464 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180822718 937607168 46529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=695] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/695/stat : 695 (java) S 688 690 30464 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 180822721 937607168 46529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=696] ppid=688 vsize=915632 CPUtime=0.19
/proc/690/task/696/stat : 696 (java) S 688 690 30464 0 -1 64 423 0 0 0 18 1 0 0 16 0 8 0 180822721 937607168 46529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=697] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/697/stat : 697 (java) S 688 690 30464 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180822721 937607168 46529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=698] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/698/stat : 698 (java) S 688 690 30464 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180822721 937607168 46529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.54
Current children cumulated vsize (KiB) 915632

[startup+162.512 s]
/proc/loadavg: 1.80 1.44 1.54 2/72 712
/proc/meminfo: memFree=1230888/2055920 swapFree=4192812/4192956
[pid=690] ppid=688 vsize=915632 CPUtime=161.19
/proc/690/stat : 690 (java) R 688 690 30464 0 -1 0 64925 0 1 0 16087 32 0 0 25 0 8 0 180822713 937607168 64655 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073790944 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/690/statm: 228908 64655 2179 14 0 215378 0
[pid=690/tid=692] ppid=688 vsize=915632 CPUtime=1.54
/proc/690/task/692/stat : 692 (java) S 688 690 30464 0 -1 64 48300 0 0 0 137 17 0 0 16 0 8 0 180822717 937607168 64655 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=693] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/693/stat : 693 (java) S 688 690 30464 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180822718 937607168 64655 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=694] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/694/stat : 694 (java) S 688 690 30464 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180822718 937607168 64655 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=695] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/695/stat : 695 (java) S 688 690 30464 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 180822721 937607168 64655 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=696] ppid=688 vsize=915632 CPUtime=0.19
/proc/690/task/696/stat : 696 (java) S 688 690 30464 0 -1 64 423 0 0 0 18 1 0 0 16 0 8 0 180822721 937607168 64655 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=697] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/697/stat : 697 (java) S 688 690 30464 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180822721 937607168 64655 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=698] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/698/stat : 698 (java) S 688 690 30464 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180822721 937607168 64655 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.19
Current children cumulated vsize (KiB) 915632

[startup+222.513 s]
/proc/loadavg: 1.29 1.35 1.50 2/72 712
/proc/meminfo: memFree=1100072/2055920 swapFree=4192812/4192956
[pid=690] ppid=688 vsize=915632 CPUtime=221.16
/proc/690/stat : 690 (java) R 688 690 30464 0 -1 0 98008 0 1 0 22069 47 0 0 25 0 8 0 180822713 937607168 97725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788722 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/690/statm: 228908 97725 2545 14 0 215378 0
[pid=690/tid=692] ppid=688 vsize=915632 CPUtime=2.93
/proc/690/task/692/stat : 692 (java) S 688 690 30464 0 -1 64 80879 0 0 0 264 29 0 0 16 0 8 0 180822717 937607168 97725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=693] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/693/stat : 693 (java) S 688 690 30464 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 180822718 937607168 97725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=694] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/694/stat : 694 (java) S 688 690 30464 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180822718 937607168 97725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=695] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/695/stat : 695 (java) S 688 690 30464 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 180822721 937607168 97725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=696] ppid=688 vsize=915632 CPUtime=0.27
/proc/690/task/696/stat : 696 (java) S 688 690 30464 0 -1 64 482 0 0 0 26 1 0 0 16 0 8 0 180822721 937607168 97725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=697] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/697/stat : 697 (java) S 688 690 30464 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180822721 937607168 97725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=698] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/698/stat : 698 (java) S 688 690 30464 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180822721 937607168 97725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.16
Current children cumulated vsize (KiB) 915632

[startup+282.524 s]
/proc/loadavg: 1.11 1.29 1.46 2/72 712
/proc/meminfo: memFree=1100072/2055920 swapFree=4192812/4192956
[pid=690] ppid=688 vsize=915632 CPUtime=281.15
/proc/690/stat : 690 (java) R 688 690 30464 0 -1 0 98022 0 1 0 28068 47 0 0 25 0 8 0 180822713 937607168 97729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788659 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/690/statm: 228908 97729 2545 14 0 215378 0
[pid=690/tid=692] ppid=688 vsize=915632 CPUtime=2.93
/proc/690/task/692/stat : 692 (java) S 688 690 30464 0 -1 64 80879 0 0 0 264 29 0 0 16 0 8 0 180822717 937607168 97729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=693] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/693/stat : 693 (java) S 688 690 30464 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 180822718 937607168 97729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=694] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/694/stat : 694 (java) S 688 690 30464 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180822718 937607168 97729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=695] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/695/stat : 695 (java) S 688 690 30464 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 180822721 937607168 97729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=696] ppid=688 vsize=915632 CPUtime=0.28
/proc/690/task/696/stat : 696 (java) S 688 690 30464 0 -1 64 492 0 0 0 27 1 0 0 15 0 8 0 180822721 937607168 97729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=697] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/697/stat : 697 (java) S 688 690 30464 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180822721 937607168 97729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=698] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/698/stat : 698 (java) S 688 690 30464 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180822721 937607168 97729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.15
Current children cumulated vsize (KiB) 915632

[startup+342.53 s]
/proc/loadavg: 1.04 1.23 1.43 2/72 712
/proc/meminfo: memFree=1100008/2055920 swapFree=4192812/4192956
[pid=690] ppid=688 vsize=915632 CPUtime=341.14
/proc/690/stat : 690 (java) R 688 690 30464 0 -1 0 98030 0 1 0 34066 48 0 0 25 0 8 0 180822713 937607168 97736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074049446 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/690/statm: 228908 97736 2547 14 0 215378 0
[pid=690/tid=692] ppid=688 vsize=915632 CPUtime=2.93
/proc/690/task/692/stat : 692 (java) S 688 690 30464 0 -1 64 80879 0 0 0 264 29 0 0 16 0 8 0 180822717 937607168 97736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=693] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/693/stat : 693 (java) S 688 690 30464 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 180822718 937607168 97736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=694] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/694/stat : 694 (java) S 688 690 30464 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180822718 937607168 97736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=695] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/695/stat : 695 (java) S 688 690 30464 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 180822721 937607168 97736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=696] ppid=688 vsize=915632 CPUtime=0.29
/proc/690/task/696/stat : 696 (java) S 688 690 30464 0 -1 64 497 0 0 0 28 1 0 0 17 0 8 0 180822721 937607168 97736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=697] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/697/stat : 697 (java) S 688 690 30464 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180822721 937607168 97736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=698] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/698/stat : 698 (java) S 688 690 30464 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180822721 937607168 97736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 341.14
Current children cumulated vsize (KiB) 915632

[startup+402.538 s]
/proc/loadavg: 1.01 1.19 1.40 2/72 712
/proc/meminfo: memFree=1100008/2055920 swapFree=4192812/4192956
[pid=690] ppid=688 vsize=915632 CPUtime=401.12
/proc/690/stat : 690 (java) R 688 690 30464 0 -1 0 98039 0 1 0 40064 48 0 0 25 0 8 0 180822713 937607168 97742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074047027 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/690/statm: 228908 97742 2547 14 0 215378 0
[pid=690/tid=692] ppid=688 vsize=915632 CPUtime=2.94
/proc/690/task/692/stat : 692 (java) S 688 690 30464 0 -1 64 80879 0 0 0 264 30 0 0 16 0 8 0 180822717 937607168 97742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=693] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/693/stat : 693 (java) S 688 690 30464 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 180822718 937607168 97742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=694] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/694/stat : 694 (java) S 688 690 30464 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180822718 937607168 97742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=695] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/695/stat : 695 (java) S 688 690 30464 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 180822721 937607168 97742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=696] ppid=688 vsize=915632 CPUtime=0.3
/proc/690/task/696/stat : 696 (java) S 688 690 30464 0 -1 64 503 0 0 0 29 1 0 0 15 0 8 0 180822721 937607168 97742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=697] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/697/stat : 697 (java) S 688 690 30464 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180822721 937607168 97742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=690/tid=698] ppid=688 vsize=915632 CPUtime=0
/proc/690/task/698/stat : 698 (java) S 688 690 30464 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180822721 937607168 97742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 401.12
Current children cumulated vsize (KiB) 915632

Child status: 0
Real time (s): 411.82
CPU time (s): 410.408
CPU user time (s): 409.863
CPU system time (s): 0.544917
CPU usage (%): 99.657
Max. virtual memory (cumulated for all children) (KiB): 915632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 409.863
system time used= 0.544917
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98049
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= 9661
involuntary context switches= 8285

runsolver used 0.463929 s user time and 1.07284 s system time

The end

Launcher Data (download as text)

Begin job on node52 on Tue Jan  9 06:30:40 UTC 2007


IDJOB= 232951
IDBENCH= 6569
FILE ID= node52/232951-1168324238

PBS_JOBID= 3502929

Free space on /tmp= 66552 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  a0a6c2f8c0e385dbc465e671c789fc14

RANDOM SEED= 76896893

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.232
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.232
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:       1467744 kB
Buffers:         75816 kB
Cached:         426772 kB
SwapCached:          0 kB
Active:         222060 kB
Inactive:       304760 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1467744 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            7540 kB
Writeback:           0 kB
Mapped:          39472 kB
Slab:            46664 kB
Committed_AS:  5030924 kB
PageTables:       1932 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= 66556 MiB



End job on node52 on Tue Jan  9 06:37:34 UTC 2007