Trace number 233224

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 434.42 435.87

DiagnosticValue
CHECKS573004383
NODES400

General information on the benchmark

Nametaillard/os-taillard-20/
os-taillard-20-105-3.xml
MD5SUMaf76b8d5f9d1f307c434b42c9d393cf0
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.804877
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1375
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/233224-1168325057/unknown.xml
0.35	   
0.35	   domains being loaded...
0.41	   
0.41	   variables being loaded...
0.52	     nbVariables=400  nbDomainTypes=400  minDomainSize=1277  maxDomainSize=1375
0.52	       =>  wckTime=0.225  cpuTime=0.17  mem=20M639
0.52	   
0.52	   predicates being loaded...
0.52	   
0.52	   constraints being loaded...
203.66	   
203.66	   INFO : Stopping converting binary constraints (cpu=200.33, mem = 258M964)
204.82	     nbConstraints=7600  nbConvertedConstraints=485  nbConvertConstraintsChecks=858725330  nbExtensionStructures=485
204.82	     nbSharedExtensionStructures=0  nbConflictsStructures=485  nbSharedConflictsStructures=0
204.82	     nbSharedBinaryRepresentations=356860  nbEvaluationManagers=7115  nbSharedEvaluationManagers=0  maxDegree=38
204.82	     maxArity=2
204.82	       =>  wckTime=204.528  cpuTime=201.11  mem=293M359
205.47	   
205.47	   solver IterativeSystematicSolver being built... 
205.92	       =>  wckTime=205.623  cpuTime=201.41  mem=349M103
375.09	   
375.09	   INFO : Stopping ESAC
375.09	   
375.09	   preprocessing
375.09	     nbConstraintChecks=436067997  nbValidityChecks=273711748  nbPropagations=12874  nbRevisions=332894
375.09	     nbUselessRevisions=320921  nbSingletonTests=659  nbEffectiveSingletonTests=0  nbESACBranches=2  nbRemovedValues=0
375.09	     detectedInconsistency=no
375.09	       =>  wckTime=169.146  cpuTime=168.91  mem=349M103
435.76	   
435.76	   search
435.76	     run=0  nbConstraintChecks=136936386  nbValidityChecks=132178981  nbPropagations=19253  nbRevisions=493966
435.76	     nbUselessRevisions=475995  nbAssignments=400  nbFailedAssignments=0  nbBacktracks=0  nbVisitedNodes=401
435.76	     nbRestartNogoods=0  mapSize=0  nbInferences=0  nbTooLargeKeys=86
435.76	       =>  wckTime=229.816  cpuTime=229.51  mem=359M373
435.76	   
435.76	   global
435.76	     nbConstraintChecks=573004383  nbValidityChecks=405890729  nbPropagations=32127  nbRevisions=826860
435.76	     nbUselessRevisions=796916  nbRestartNogoods=0  solvingWckTime=229.817  solvingCpuTime=229.51  expiredTime=no
435.76	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=430.98
435.76	       =>  wckTime=435.465  cpuTime=430.94  mem=359M373
435.76	   
435.76	s SATISFIABLE
435.76	v 1197 780 174 703 896 90 900 248 64 1007 953 439 505 0 330 559 1042 591 94 359 188 724 326 810 1106 1001 1335 1277 894 0 1254 629 923 252 258 879 421 96 515 568 426 920 96 595 1125 359 963 1010 496 437 863 274 194 0 900 803 1078 941 695 612 1249 642 848 253 936 90 139 1040 448 0 514 1148 932 1070 352 780 703 602 956 96 1188 613 327 403 138 191 657 164 682 528 1013 1286 929 259 484 846 775 353 0 1089 916 256 1029 77 1125 0 846 752 1276 539 935 658 1228 643 176 784 152 489 426 1327 1327 1270 539 448 780 742 867 829 806 167 0 612 69 262 856 876 682 1286 356 844 845 257 1167 1299 191 617 586 0 705 847 434 500 599 98 1001 1078 543 780 351 863 742 0 707 753 1242 916 515 689 806 188 351 1207 979 1089 900 413 151 157 260 595 610 333 1167 519 1127 0 174 399 79 1069 1013 98 431 855 923 1194 696 780 234 215 87 327 497 458 783 183 997 974 931 658 267 1250 0 1061 705 414 920 559 863 1179 592 397 78 662 137 691 494 262 0 1047 1128 159 818 352 1188 1290 259 643 1248 901 447 194 98 1069 258 267 505 991 1106 439 1246 575 598 1168 775 246 695 351 896 0 414 0 353 575 991 974 707 403 870 194 500 662 262 257 801 936 1327 1190 752 98 312 397 1232 1126 606 806 471 0 543 69 997 734 234 780 693 750 642 152 674 708 826 1128 437 1079 953 1167 870 617 497 1270 568 260 718 696 778 356 0 94 1016 174 98 496 935 359 1242 994 848 1153 763 274 693 1071 0 1330 183 646 455 89 684 569 253 79 327 803 1351 594 810 543 618 443 896 763 979 174 624 0 855 1289 708 414 434 139 1248 856 1289 1078 630 724 311 519 327 960 1167 0 537 1004 150 562 87 758 956 1024 243 98 149 66 630 455 358 327 836 167 1153 471 806 708 569 0 844 1116 
435.76	d NODES 400
435.76	d CHECKS 573004383
435.76	   
435.76	   totalWckTime=435.541  totalCpuTime=430.98

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node15/watcher-233224-1168325057 -o ROOT/results/node15/solver-233224-1168325057 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/233224-1168325057/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.02 2.10 2.02 4/93 31504
/proc/meminfo: memFree=1413840/2055920 swapFree=4174172/4192956
[pid=31503] ppid=31501 vsize=172 CPUtime=0
/proc/31503/stat : 31503 (java) R 31501 31503 30559 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 180900607 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7512363 0 0 4096 0 0 0 0 17 0 0 0
/proc/31503/statm: 43 24 18 14 0 3 0

[startup+0.107312 s]
/proc/loadavg: 2.02 2.10 2.02 4/93 31504
/proc/meminfo: memFree=1413840/2055920 swapFree=4174172/4192956
[pid=31503] ppid=31501 vsize=914988 CPUtime=0.09
/proc/31503/stat : 31503 (java) R 31501 31503 30559 0 -1 0 3065 0 1 0 8 1 0 0 24 0 8 0 180900607 936947712 2811 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31503/statm: 228747 2812 1451 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.515384 s]
/proc/loadavg: 2.02 2.10 2.02 4/93 31504
/proc/meminfo: memFree=1413840/2055920 swapFree=4174172/4192956
[pid=31503] ppid=31501 vsize=915328 CPUtime=0.49
/proc/31503/stat : 31503 (java) R 31501 31503 30559 0 -1 0 9091 0 1 0 45 4 0 0 25 0 8 0 180900607 937295872 8830 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31503/statm: 228832 8830 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33852 s]
/proc/loadavg: 2.02 2.10 2.02 3/100 31511
/proc/meminfo: memFree=1342232/2055920 swapFree=4174172/4192956
[pid=31503] ppid=31501 vsize=915632 CPUtime=1.31
/proc/31503/stat : 31503 (java) R 31501 31503 30559 0 -1 0 20249 0 1 0 121 10 0 0 25 0 8 0 180900607 937607168 19987 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073792864 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31503/statm: 228908 19987 2178 14 0 215378 0
[pid=31503/tid=31505] ppid=31501 vsize=915632 CPUtime=0.04
/proc/31503/task/31505/stat : 31505 (java) S 31501 31503 30559 0 -1 64 3656 0 0 0 3 1 0 0 16 0 8 0 180900611 937607168 19987 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31506/stat : 31506 (java) S 31501 31503 30559 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180900612 937607168 19987 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31507] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31507/stat : 31507 (java) S 31501 31503 30559 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180900612 937607168 19987 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31508] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31508/stat : 31508 (java) S 31501 31503 30559 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180900615 937607168 19987 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31509] ppid=31501 vsize=915632 CPUtime=0.15
/proc/31503/task/31509/stat : 31509 (java) S 31501 31503 30559 0 -1 64 402 0 0 0 14 1 0 0 16 0 8 0 180900615 937607168 19987 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31510] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31510/stat : 31510 (java) S 31501 31503 30559 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180900615 937607168 19987 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31511] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31511/stat : 31511 (java) S 31501 31503 30559 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180900615 937607168 19987 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915632

[startup+2.98781 s]
/proc/loadavg: 2.02 2.10 2.02 3/100 31511
/proc/meminfo: memFree=1342104/2055920 swapFree=4174172/4192956
[pid=31503] ppid=31501 vsize=915632 CPUtime=2.95
/proc/31503/stat : 31503 (java) R 31501 31503 30559 0 -1 0 20254 0 1 0 285 10 0 0 25 0 8 0 180900607 937607168 19991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073788656 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31503/statm: 228908 19991 2178 14 0 215378 0
[pid=31503/tid=31505] ppid=31501 vsize=915632 CPUtime=0.04
/proc/31503/task/31505/stat : 31505 (java) S 31501 31503 30559 0 -1 64 3656 0 0 0 3 1 0 0 16 0 8 0 180900611 937607168 19991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31506/stat : 31506 (java) S 31501 31503 30559 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180900612 937607168 19991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31507] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31507/stat : 31507 (java) S 31501 31503 30559 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180900612 937607168 19991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31508] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31508/stat : 31508 (java) S 31501 31503 30559 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180900615 937607168 19991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31509] ppid=31501 vsize=915632 CPUtime=0.16
/proc/31503/task/31509/stat : 31509 (java) S 31501 31503 30559 0 -1 64 405 0 0 0 15 1 0 0 16 0 8 0 180900615 937607168 19991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31510] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31510/stat : 31510 (java) S 31501 31503 30559 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180900615 937607168 19991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31511] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31511/stat : 31511 (java) S 31501 31503 30559 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180900615 937607168 19991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915632

[startup+6.27438 s]
/proc/loadavg: 2.01 2.09 2.02 3/100 31511
/proc/meminfo: memFree=1342104/2055920 swapFree=4174172/4192956
[pid=31503] ppid=31501 vsize=915632 CPUtime=6.21
/proc/31503/stat : 31503 (java) R 31501 31503 30559 0 -1 0 20254 0 1 0 611 10 0 0 25 0 8 0 180900607 937607168 19991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073789888 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31503/statm: 228908 19991 2178 14 0 215378 0
[pid=31503/tid=31505] ppid=31501 vsize=915632 CPUtime=0.04
/proc/31503/task/31505/stat : 31505 (java) S 31501 31503 30559 0 -1 64 3656 0 0 0 3 1 0 0 16 0 8 0 180900611 937607168 19991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31506/stat : 31506 (java) S 31501 31503 30559 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180900612 937607168 19991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31507] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31507/stat : 31507 (java) S 31501 31503 30559 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180900612 937607168 19991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31508] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31508/stat : 31508 (java) S 31501 31503 30559 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180900615 937607168 19991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31509] ppid=31501 vsize=915632 CPUtime=0.16
/proc/31503/task/31509/stat : 31509 (java) S 31501 31503 30559 0 -1 64 405 0 0 0 15 1 0 0 16 0 8 0 180900615 937607168 19991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31510] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31510/stat : 31510 (java) S 31501 31503 30559 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180900615 937607168 19991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31511] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31511/stat : 31511 (java) S 31501 31503 30559 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180900615 937607168 19991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915632

[startup+12.7685 s]
/proc/loadavg: 2.01 2.09 2.02 3/100 31511
/proc/meminfo: memFree=1342104/2055920 swapFree=4174172/4192956
[pid=31503] ppid=31501 vsize=915632 CPUtime=12.65
/proc/31503/stat : 31503 (java) R 31501 31503 30559 0 -1 0 20254 0 1 0 1255 10 0 0 25 0 8 0 180900607 937607168 19991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073789954 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31503/statm: 228908 19991 2178 14 0 215378 0
[pid=31503/tid=31505] ppid=31501 vsize=915632 CPUtime=0.04
/proc/31503/task/31505/stat : 31505 (java) S 31501 31503 30559 0 -1 64 3656 0 0 0 3 1 0 0 16 0 8 0 180900611 937607168 19991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31506/stat : 31506 (java) S 31501 31503 30559 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180900612 937607168 19991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31507] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31507/stat : 31507 (java) S 31501 31503 30559 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180900612 937607168 19991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31508] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31508/stat : 31508 (java) S 31501 31503 30559 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180900615 937607168 19991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31509] ppid=31501 vsize=915632 CPUtime=0.16
/proc/31503/task/31509/stat : 31509 (java) S 31501 31503 30559 0 -1 64 405 0 0 0 15 1 0 0 17 0 8 0 180900615 937607168 19991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31510] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31510/stat : 31510 (java) S 31501 31503 30559 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180900615 937607168 19991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31511] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31511/stat : 31511 (java) S 31501 31503 30559 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180900615 937607168 19991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 915632

[startup+25.6137 s]
/proc/loadavg: 2.01 2.09 2.02 3/100 31511
/proc/meminfo: memFree=1317144/2055920 swapFree=4174172/4192956
[pid=31503] ppid=31501 vsize=915632 CPUtime=25.44
/proc/31503/stat : 31503 (java) R 31501 31503 30559 0 -1 0 26538 0 1 0 2532 12 0 0 25 0 8 0 180900607 937607168 26274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073788514 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31503/statm: 228908 26274 2178 14 0 215378 0
[pid=31503/tid=31505] ppid=31501 vsize=915632 CPUtime=0.19
/proc/31503/task/31505/stat : 31505 (java) S 31501 31503 30559 0 -1 64 9938 0 0 0 16 3 0 0 16 0 8 0 180900611 937607168 26274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31506/stat : 31506 (java) S 31501 31503 30559 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180900612 937607168 26274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31507] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31507/stat : 31507 (java) S 31501 31503 30559 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180900612 937607168 26274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31508] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31508/stat : 31508 (java) S 31501 31503 30559 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180900615 937607168 26274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31509] ppid=31501 vsize=915632 CPUtime=0.16
/proc/31503/task/31509/stat : 31509 (java) S 31501 31503 30559 0 -1 64 406 0 0 0 15 1 0 0 17 0 8 0 180900615 937607168 26274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31510] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31510/stat : 31510 (java) S 31501 31503 30559 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180900615 937607168 26274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31511] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31511/stat : 31511 (java) S 31501 31503 30559 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180900615 937607168 26274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 915632

[startup+51.2401 s]
/proc/loadavg: 2.00 2.08 2.01 3/100 31511
/proc/meminfo: memFree=1317144/2055920 swapFree=4174172/4192956
[pid=31503] ppid=31501 vsize=915632 CPUtime=50.94
/proc/31503/stat : 31503 (java) R 31501 31503 30559 0 -1 0 26549 0 1 0 5081 13 0 0 25 0 8 0 180900607 937607168 26285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073788677 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31503/statm: 228908 26285 2178 14 0 215378 0
[pid=31503/tid=31505] ppid=31501 vsize=915632 CPUtime=0.19
/proc/31503/task/31505/stat : 31505 (java) S 31501 31503 30559 0 -1 64 9938 0 0 0 16 3 0 0 16 0 8 0 180900611 937607168 26285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31506/stat : 31506 (java) S 31501 31503 30559 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180900612 937607168 26285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31507] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31507/stat : 31507 (java) S 31501 31503 30559 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180900612 937607168 26285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31508] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31508/stat : 31508 (java) S 31501 31503 30559 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180900615 937607168 26285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31509] ppid=31501 vsize=915632 CPUtime=0.17
/proc/31503/task/31509/stat : 31509 (java) S 31501 31503 30559 0 -1 64 417 0 0 0 16 1 0 0 17 0 8 0 180900615 937607168 26285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31510] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31510/stat : 31510 (java) S 31501 31503 30559 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180900615 937607168 26285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31511] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31511/stat : 31511 (java) S 31501 31503 30559 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180900615 937607168 26285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 915632

[startup+102.486 s]
/proc/loadavg: 2.20 2.11 2.03 3/100 31511
/proc/meminfo: memFree=1237848/2055920 swapFree=4174172/4192956
[pid=31503] ppid=31501 vsize=915632 CPUtime=101.88
/proc/31503/stat : 31503 (java) R 31501 31503 30559 0 -1 0 46320 0 1 0 10167 21 0 0 25 0 8 0 180900607 937607168 46053 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073790960 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31503/statm: 228908 46053 2179 14 0 215378 0
[pid=31503/tid=31505] ppid=31501 vsize=915632 CPUtime=0.86
/proc/31503/task/31505/stat : 31505 (java) S 31501 31503 30559 0 -1 64 29699 0 0 0 77 9 0 0 16 0 8 0 180900611 937607168 46053 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31506/stat : 31506 (java) S 31501 31503 30559 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180900612 937607168 46053 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31507] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31507/stat : 31507 (java) S 31501 31503 30559 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180900612 937607168 46053 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31508] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31508/stat : 31508 (java) S 31501 31503 30559 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180900615 937607168 46053 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31509] ppid=31501 vsize=915632 CPUtime=0.18
/proc/31503/task/31509/stat : 31509 (java) S 31501 31503 30559 0 -1 64 423 0 0 0 17 1 0 0 16 0 8 0 180900615 937607168 46053 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31510] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31510/stat : 31510 (java) S 31501 31503 30559 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180900615 937607168 46053 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31511] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31511/stat : 31511 (java) S 31501 31503 30559 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180900615 937607168 46053 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.88
Current children cumulated vsize (KiB) 915632

[startup+162.577 s]
/proc/loadavg: 2.07 2.09 2.02 3/100 31511
/proc/meminfo: memFree=1165016/2055920 swapFree=4174172/4192956
[pid=31503] ppid=31501 vsize=915632 CPUtime=161.65
/proc/31503/stat : 31503 (java) R 31501 31503 30559 0 -1 0 64490 0 1 0 16137 28 0 0 25 0 8 0 180900607 937607168 64221 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073791540 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31503/statm: 228908 64221 2179 14 0 215378 0
[pid=31503/tid=31505] ppid=31501 vsize=915632 CPUtime=1.45
/proc/31503/task/31505/stat : 31505 (java) S 31501 31503 30559 0 -1 64 47867 0 0 0 130 15 0 0 16 0 8 0 180900611 937607168 64221 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31506/stat : 31506 (java) S 31501 31503 30559 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180900612 937607168 64221 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31507] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31507/stat : 31507 (java) S 31501 31503 30559 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180900612 937607168 64221 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31508] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31508/stat : 31508 (java) S 31501 31503 30559 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180900615 937607168 64221 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31509] ppid=31501 vsize=915632 CPUtime=0.18
/proc/31503/task/31509/stat : 31509 (java) S 31501 31503 30559 0 -1 64 423 0 0 0 17 1 0 0 16 0 8 0 180900615 937607168 64221 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31510] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31510/stat : 31510 (java) S 31501 31503 30559 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180900615 937607168 64221 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31511] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31511/stat : 31511 (java) S 31501 31503 30559 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180900615 937607168 64221 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.65
Current children cumulated vsize (KiB) 915632

[startup+222.675 s]
/proc/loadavg: 2.02 2.07 2.01 3/94 32193
/proc/meminfo: memFree=1220104/2055920 swapFree=4174172/4192956
[pid=31503] ppid=31501 vsize=915632 CPUtime=221.5
/proc/31503/stat : 31503 (java) R 31501 31503 30559 0 -1 0 96393 0 1 0 22104 46 0 0 25 0 8 0 180900607 937607168 96113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074033079 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31503/statm: 228908 96113 2545 14 0 215378 0
[pid=31503/tid=31505] ppid=31501 vsize=915632 CPUtime=2.85
/proc/31503/task/31505/stat : 31505 (java) S 31501 31503 30559 0 -1 64 79269 0 0 0 256 29 0 0 16 0 8 0 180900611 937607168 96113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31506/stat : 31506 (java) S 31501 31503 30559 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 180900612 937607168 96113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31503/tid=31507] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31507/stat : 31507 (java) S 31501 31503 30559 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180900612 937607168 96113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31503/tid=31508] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31508/stat : 31508 (java) S 31501 31503 30559 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180900615 937607168 96113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31509] ppid=31501 vsize=915632 CPUtime=0.27
/proc/31503/task/31509/stat : 31509 (java) S 31501 31503 30559 0 -1 64 482 0 0 0 26 1 0 0 16 0 8 0 180900615 937607168 96113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31510] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31510/stat : 31510 (java) S 31501 31503 30559 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180900615 937607168 96113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31511] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31511/stat : 31511 (java) S 31501 31503 30559 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180900615 937607168 96113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.5
Current children cumulated vsize (KiB) 915632

[startup+282.727 s]
/proc/loadavg: 2.08 2.07 2.01 3/94 32193
/proc/meminfo: memFree=1220360/2055920 swapFree=4174172/4192956
[pid=31503] ppid=31501 vsize=915632 CPUtime=281.46
/proc/31503/stat : 31503 (java) R 31501 31503 30559 0 -1 0 96405 0 1 0 28100 46 0 0 25 0 8 0 180900607 937607168 96118 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073479193 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31503/statm: 228908 96118 2545 14 0 215378 0
[pid=31503/tid=31505] ppid=31501 vsize=915632 CPUtime=2.85
/proc/31503/task/31505/stat : 31505 (java) S 31501 31503 30559 0 -1 64 79269 0 0 0 256 29 0 0 16 0 8 0 180900611 937607168 96118 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31506/stat : 31506 (java) S 31501 31503 30559 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 180900612 937607168 96118 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31503/tid=31507] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31507/stat : 31507 (java) S 31501 31503 30559 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180900612 937607168 96118 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31503/tid=31508] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31508/stat : 31508 (java) S 31501 31503 30559 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180900615 937607168 96118 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31509] ppid=31501 vsize=915632 CPUtime=0.28
/proc/31503/task/31509/stat : 31509 (java) S 31501 31503 30559 0 -1 64 491 0 0 0 27 1 0 0 15 0 8 0 180900615 937607168 96118 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31510] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31510/stat : 31510 (java) S 31501 31503 30559 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180900615 937607168 96118 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31511] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31511/stat : 31511 (java) S 31501 31503 30559 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180900615 937607168 96118 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.46
Current children cumulated vsize (KiB) 915632

[startup+342.773 s]
/proc/loadavg: 2.03 2.05 2.01 3/94 32193
/proc/meminfo: memFree=1220424/2055920 swapFree=4174172/4192956
[pid=31503] ppid=31501 vsize=915632 CPUtime=341.45
/proc/31503/stat : 31503 (java) R 31501 31503 30559 0 -1 0 96413 0 1 0 34099 46 0 0 25 0 8 0 180900607 937607168 96124 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073789863 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31503/statm: 228908 96124 2547 14 0 215378 0
[pid=31503/tid=31505] ppid=31501 vsize=915632 CPUtime=2.85
/proc/31503/task/31505/stat : 31505 (java) S 31501 31503 30559 0 -1 64 79269 0 0 0 256 29 0 0 16 0 8 0 180900611 937607168 96124 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31506/stat : 31506 (java) S 31501 31503 30559 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 180900612 937607168 96124 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31503/tid=31507] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31507/stat : 31507 (java) S 31501 31503 30559 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180900612 937607168 96124 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31503/tid=31508] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31508/stat : 31508 (java) S 31501 31503 30559 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180900615 937607168 96124 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31509] ppid=31501 vsize=915632 CPUtime=0.29
/proc/31503/task/31509/stat : 31509 (java) S 31501 31503 30559 0 -1 64 495 0 0 0 28 1 0 0 17 0 8 0 180900615 937607168 96124 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31510] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31510/stat : 31510 (java) S 31501 31503 30559 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180900615 937607168 96124 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31511] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31511/stat : 31511 (java) S 31501 31503 30559 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180900615 937607168 96124 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 341.45
Current children cumulated vsize (KiB) 915632

[startup+402.81 s]
/proc/loadavg: 2.01 2.04 2.00 3/94 32193
/proc/meminfo: memFree=1220424/2055920 swapFree=4174172/4192956
[pid=31503] ppid=31501 vsize=915632 CPUtime=401.44
/proc/31503/stat : 31503 (java) R 31501 31503 30559 0 -1 0 96424 0 1 0 40097 47 0 0 25 0 8 0 180900607 937607168 96131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794567 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31503/statm: 228908 96131 2547 14 0 215378 0
[pid=31503/tid=31505] ppid=31501 vsize=915632 CPUtime=2.85
/proc/31503/task/31505/stat : 31505 (java) S 31501 31503 30559 0 -1 64 79269 0 0 0 256 29 0 0 16 0 8 0 180900611 937607168 96131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31506/stat : 31506 (java) S 31501 31503 30559 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 180900612 937607168 96131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31503/tid=31507] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31507/stat : 31507 (java) S 31501 31503 30559 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180900612 937607168 96131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31503/tid=31508] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31508/stat : 31508 (java) S 31501 31503 30559 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180900615 937607168 96131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31509] ppid=31501 vsize=915632 CPUtime=0.3
/proc/31503/task/31509/stat : 31509 (java) S 31501 31503 30559 0 -1 64 502 0 0 0 29 1 0 0 15 0 8 0 180900615 937607168 96131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31510] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31510/stat : 31510 (java) S 31501 31503 30559 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180900615 937607168 96131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31503/tid=31511] ppid=31501 vsize=915632 CPUtime=0
/proc/31503/task/31511/stat : 31511 (java) S 31501 31503 30559 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180900615 937607168 96131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 401.44
Current children cumulated vsize (KiB) 915632

Child status: 0
Real time (s): 435.87
CPU time (s): 434.42
CPU user time (s): 433.881
CPU system time (s): 0.538918
CPU usage (%): 99.6674
Max. virtual memory (cumulated for all children) (KiB): 915636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 433.881
system time used= 0.538918
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96434
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= 10345
involuntary context switches= 14620

runsolver used 0.644901 s user time and 1.2948 s system time

The end

Launcher Data (download as text)

Begin job on node15 on Tue Jan  9 06:44:18 UTC 2007


IDJOB= 233224
IDBENCH= 6588
FILE ID= node15/233224-1168325057

PBS_JOBID= 3502744

Free space on /tmp= 66560 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  af76b8d5f9d1f307c434b42c9d393cf0

RANDOM SEED= 530893775

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.276
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.276
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:       1414320 kB
Buffers:         45796 kB
Cached:         182732 kB
SwapCached:       6072 kB
Active:         453712 kB
Inactive:       132904 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1414320 kB
SwapTotal:     4192956 kB
SwapFree:      4174172 kB
Dirty:            2772 kB
Writeback:           0 kB
Mapped:         377840 kB
Slab:            38980 kB
Committed_AS:  6416180 kB
PageTables:       3064 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= 66534 MiB



End job on node15 on Tue Jan  9 06:51:34 UTC 2007