Trace number 2116539

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
Choco2.1.1b 2009-07-16SAT 987.317 987.812

DiagnosticValue
CHECKS0
NODES58482

General information on the benchmark

Namecsp/js-taillard-15/
normalized-js-taillard-15-100-4.xml
MD5SUM0f2f3ada50c67a34ccbabc19d4e4fa5d
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 benchmark24.6083
Satisfiable
(Un)Satisfiability was proved
Number of variables225
Number of constraints1785
Maximum constraint arity2
Maximum domain size1236
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1785
Global constraints used (with number of constraints)

Solver Data 

987.25/987.75	s SATISFIABLE
987.25/987.75	v 51 127 223 282 377 624 699 722 804 876 892 963 1015 1099 1198 0 2 90 189 241 377 474 512 558 627 680 784 869 971 1065 288 382 428 442 529 559 638 754 894 948 949 1046 1062 1076 1127 0 19 34 76 84 156 353 447 472 550 637 937 1007 1088 1104 110 178 249 252 320 411 448 521 542 629 948 999 1065 1124 1154 22 36 81 110 182 188 249 347 428 511 529 615 707 794 942 19 40 375 474 544 664 747 798 899 955 1044 1097 1107 1199 1201 0 40 181 278 288 318 356 397 453 529 648 738 811 985 1049 90 127 178 231 283 347 445 484 504 588 629 700 795 803 1001 21 158 231 278 324 356 394 664 748 787 811 890 969 1044 1093 0 29 188 221 429 453 456 618 686 707 773 848 942 985 1046 0 91 137 158 181 282 309 373 425 454 504 515 588 738 796 0 21 101 254 320 595 699 784 876 890 903 971 1031 1107 1139 22 342 437 499 562 595 607 708 822 897 909 1031 1034 1127 1229 37 131 182 241 283 353 390 512 562 637 707 747 795 1088 1199 
987.25/987.75	d AC 32
987.25/987.75	d RUNTIME 987.614
987.25/987.75	d NODES 58482
987.25/987.75	d NODES/s 59
987.25/987.75	d BACKTRACKS 86381
987.25/987.75	d BACKTRACKS/s 87
987.25/987.75	d CHECKS 0
987.25/987.75	d CHECKS/s 0
987.25/987.75	c SAT 987.614 TIME      58482 NDS    623 PARSTIME      286 BUILDPB       629 CONFIG        986076 RES       true RESTART       1 HEURISTIC       true RANDVAL

Verifier Data 

OK

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2116539-1248031242/watcher-2116539-1248031242 -o /tmp/evaluation-result-2116539-1248031242/solver-2116539-1248031242 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2116539-1248031242.xml -randval true -h 1 -ac 32 -saclim 60 -s true -verb 0 -seed 11041979 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 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


[startup+0 s]
/proc/loadavg: 1.99 2.00 1.95 3/80 29985
/proc/meminfo: memFree=462056/2055920 swapFree=4192812/4192956
[pid=29985] ppid=29983 vsize=1616 CPUtime=0
/proc/29985/stat : 29985 (java) D 29983 29985 28985 0 -1 0 194 0 0 0 0 0 0 0 18 0 1 0 90191191 1654784 161 996147200 134512640 134550932 4294956064 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/29985/statm: 404 161 124 9 0 46 0

[startup+0.0450301 s]
/proc/loadavg: 1.99 2.00 1.95 3/80 29985
/proc/meminfo: memFree=462056/2055920 swapFree=4192812/4192956
[pid=29985] ppid=29983 vsize=859892 CPUtime=0.03
/proc/29985/stat : 29985 (java) S 29983 29985 28985 0 -1 0 2359 0 1 0 2 1 0 0 18 0 5 0 90191191 880529408 1924 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0
/proc/29985/statm: 214973 1924 896 9 0 209888 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 859892

[startup+0.10204 s]
/proc/loadavg: 1.99 2.00 1.95 3/80 29985
/proc/meminfo: memFree=462056/2055920 swapFree=4192812/4192956
[pid=29985] ppid=29983 vsize=864104 CPUtime=0.08
/proc/29985/stat : 29985 (java) S 29983 29985 28985 0 -1 0 3822 0 1 0 7 1 0 0 18 0 9 0 90191191 884842496 3283 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29985/statm: 216026 3283 1727 9 0 210495 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 864104

[startup+0.302074 s]
/proc/loadavg: 1.99 2.00 1.95 3/80 29985
/proc/meminfo: memFree=462056/2055920 swapFree=4192812/4192956
[pid=29985] ppid=29983 vsize=864396 CPUtime=0.28
/proc/29985/stat : 29985 (java) S 29983 29985 28985 0 -1 0 4577 0 1 0 26 2 0 0 18 0 9 0 90191191 885141504 4002 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29985/statm: 216099 4002 1855 9 0 210568 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 864396

[startup+0.702143 s]
/proc/loadavg: 1.99 2.00 1.95 3/80 29985
/proc/meminfo: memFree=462056/2055920 swapFree=4192812/4192956
[pid=29985] ppid=29983 vsize=865000 CPUtime=0.68
/proc/29985/stat : 29985 (java) S 29983 29985 28985 0 -1 0 7459 0 1 0 64 4 0 0 18 0 9 0 90191191 885760000 6873 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29985/statm: 216250 6874 1902 9 0 210719 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 865000

[startup+1.50128 s]
/proc/loadavg: 1.99 2.00 1.95 3/89 29994
/proc/meminfo: memFree=432864/2055920 swapFree=4192812/4192956
[pid=29985] ppid=29983 vsize=865272 CPUtime=1.48
/proc/29985/stat : 29985 (java) S 29983 29985 28985 0 -1 0 13568 0 1 0 140 8 0 0 18 0 9 0 90191191 886038528 12946 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29985/statm: 216318 12948 1976 9 0 210787 0
[pid=29985/tid=29987] ppid=29983 vsize=865272 CPUtime=1.15
/proc/29985/task/29987/stat : 29987 (java) R 29983 29985 28985 0 -1 64 12167 0 1 0 108 7 0 0 25 0 9 0 90191193 886038528 12949 996147200 134512640 134550932 4294955888 18446744073709551615 4127118811 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29988] ppid=29983 vsize=865272 CPUtime=0
/proc/29985/task/29988/stat : 29988 (java) S 29983 29985 28985 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 90191194 886038528 12950 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29989] ppid=29983 vsize=865272 CPUtime=0
/proc/29985/task/29989/stat : 29989 (java) S 29983 29985 28985 0 -1 64 10 0 0 0 0 0 0 0 22 0 9 0 90191194 886038528 12952 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29990] ppid=29983 vsize=865272 CPUtime=0
/proc/29985/task/29990/stat : 29990 (java) S 29983 29985 28985 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 90191194 886038528 12953 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29991] ppid=29983 vsize=865272 CPUtime=0
/proc/29985/task/29991/stat : 29991 (java) S 29983 29985 28985 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90191196 886038528 12955 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29992] ppid=29983 vsize=865272 CPUtime=0.31
/proc/29985/task/29992/stat : 29992 (java) S 29983 29985 28985 0 -1 64 673 0 0 0 31 0 0 0 16 0 9 0 90191196 886038528 12956 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29993] ppid=29983 vsize=865272 CPUtime=0
/proc/29985/task/29993/stat : 29993 (java) S 29983 29985 28985 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 90191196 886038528 12957 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29994] ppid=29983 vsize=865272 CPUtime=0
/proc/29985/task/29994/stat : 29994 (java) S 29983 29985 28985 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 90191196 886038528 12958 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 865272

[startup+3.10156 s]
/proc/loadavg: 1.99 2.00 1.95 3/89 29994
/proc/meminfo: memFree=410336/2055920 swapFree=4192812/4192956
[pid=29985] ppid=29983 vsize=865404 CPUtime=3.07
/proc/29985/stat : 29985 (java) S 29983 29985 28985 0 -1 0 19015 0 1 0 296 11 0 0 18 0 9 0 90191191 886173696 18387 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29985/statm: 216351 18387 1999 9 0 210820 0
[pid=29985/tid=29987] ppid=29983 vsize=865404 CPUtime=2.54
/proc/29985/task/29987/stat : 29987 (java) R 29983 29985 28985 0 -1 64 14914 0 1 0 245 9 0 0 25 0 9 0 90191193 886173696 18387 996147200 134512640 134550932 4294955888 18446744073709551615 4127427668 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29988] ppid=29983 vsize=865404 CPUtime=0.05
/proc/29985/task/29988/stat : 29988 (java) S 29983 29985 28985 0 -1 64 2600 0 0 0 5 0 0 0 16 0 9 0 90191194 886173696 18387 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29989] ppid=29983 vsize=865404 CPUtime=0
/proc/29985/task/29989/stat : 29989 (java) S 29983 29985 28985 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 90191194 886173696 18387 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29990] ppid=29983 vsize=865404 CPUtime=0
/proc/29985/task/29990/stat : 29990 (java) S 29983 29985 28985 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90191194 886173696 18387 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29991] ppid=29983 vsize=865404 CPUtime=0
/proc/29985/task/29991/stat : 29991 (java) S 29983 29985 28985 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90191196 886173696 18387 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29992] ppid=29983 vsize=865404 CPUtime=0.45
/proc/29985/task/29992/stat : 29992 (java) S 29983 29985 28985 0 -1 64 769 0 0 0 45 0 0 0 15 0 9 0 90191196 886173696 18387 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29993] ppid=29983 vsize=865404 CPUtime=0
/proc/29985/task/29993/stat : 29993 (java) S 29983 29985 28985 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 90191196 886173696 18387 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29994] ppid=29983 vsize=865404 CPUtime=0
/proc/29985/task/29994/stat : 29994 (java) S 29983 29985 28985 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90191196 886173696 18387 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 865404

[startup+6.30111 s]
/proc/loadavg: 1.99 2.00 1.95 3/89 29994
/proc/meminfo: memFree=395808/2055920 swapFree=4192812/4192956
[pid=29985] ppid=29983 vsize=865404 CPUtime=6.27
/proc/29985/stat : 29985 (java) S 29983 29985 28985 0 -1 0 20410 0 1 0 615 12 0 0 18 0 9 0 90191191 886173696 19779 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29985/statm: 216351 19779 1999 9 0 210820 0
[pid=29985/tid=29987] ppid=29983 vsize=865404 CPUtime=5.7
/proc/29985/task/29987/stat : 29987 (java) R 29983 29985 28985 0 -1 64 14919 0 1 0 561 9 0 0 25 0 9 0 90191193 886173696 19779 996147200 134512640 134550932 4294955888 18446744073709551615 4127423402 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29988] ppid=29983 vsize=865404 CPUtime=0.09
/proc/29985/task/29988/stat : 29988 (java) S 29983 29985 28985 0 -1 64 3989 0 0 0 8 1 0 0 16 0 9 0 90191194 886173696 19779 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29989] ppid=29983 vsize=865404 CPUtime=0
/proc/29985/task/29989/stat : 29989 (java) S 29983 29985 28985 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 90191194 886173696 19779 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29990] ppid=29983 vsize=865404 CPUtime=0
/proc/29985/task/29990/stat : 29990 (java) S 29983 29985 28985 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90191194 886173696 19779 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29991] ppid=29983 vsize=865404 CPUtime=0
/proc/29985/task/29991/stat : 29991 (java) S 29983 29985 28985 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90191196 886173696 19779 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29992] ppid=29983 vsize=865404 CPUtime=0.45
/proc/29985/task/29992/stat : 29992 (java) S 29983 29985 28985 0 -1 64 770 0 0 0 45 0 0 0 15 0 9 0 90191196 886173696 19779 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29993] ppid=29983 vsize=865404 CPUtime=0
/proc/29985/task/29993/stat : 29993 (java) S 29983 29985 28985 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 90191196 886173696 19779 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29994] ppid=29983 vsize=865404 CPUtime=0
/proc/29985/task/29994/stat : 29994 (java) S 29983 29985 28985 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90191196 886173696 19779 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 865404

[startup+12.7012 s]
/proc/loadavg: 1.99 2.00 1.95 3/89 29994
/proc/meminfo: memFree=390112/2055920 swapFree=4192812/4192956
[pid=29985] ppid=29983 vsize=865404 CPUtime=12.67
/proc/29985/stat : 29985 (java) S 29983 29985 28985 0 -1 0 20447 0 1 0 1254 13 0 0 18 0 9 0 90191191 886173696 19812 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29985/statm: 216351 19812 2001 9 0 210820 0
[pid=29985/tid=29987] ppid=29983 vsize=865404 CPUtime=12.07
/proc/29985/task/29987/stat : 29987 (java) R 29983 29985 28985 0 -1 64 14930 0 1 0 1197 10 0 0 25 0 9 0 90191193 886173696 19812 996147200 134512640 134550932 4294955888 18446744073709551615 102523992 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29988] ppid=29983 vsize=865404 CPUtime=0.1
/proc/29985/task/29988/stat : 29988 (java) S 29983 29985 28985 0 -1 64 4008 0 0 0 9 1 0 0 16 0 9 0 90191194 886173696 19812 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29989] ppid=29983 vsize=865404 CPUtime=0
/proc/29985/task/29989/stat : 29989 (java) S 29983 29985 28985 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 90191194 886173696 19812 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29990] ppid=29983 vsize=865404 CPUtime=0
/proc/29985/task/29990/stat : 29990 (java) S 29983 29985 28985 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90191194 886173696 19812 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29991] ppid=29983 vsize=865404 CPUtime=0
/proc/29985/task/29991/stat : 29991 (java) S 29983 29985 28985 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90191196 886173696 19812 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29992] ppid=29983 vsize=865404 CPUtime=0.46
/proc/29985/task/29992/stat : 29992 (java) S 29983 29985 28985 0 -1 64 777 0 0 0 46 0 0 0 15 0 9 0 90191196 886173696 19812 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29993] ppid=29983 vsize=865404 CPUtime=0
/proc/29985/task/29993/stat : 29993 (java) S 29983 29985 28985 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 90191196 886173696 19812 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29994] ppid=29983 vsize=865404 CPUtime=0
/proc/29985/task/29994/stat : 29994 (java) S 29983 29985 28985 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90191196 886173696 19812 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 865404

[startup+25.5024 s]
/proc/loadavg: 1.99 2.00 1.95 3/89 29994
/proc/meminfo: memFree=382624/2055920 swapFree=4192812/4192956
[pid=29985] ppid=29983 vsize=865404 CPUtime=25.47
/proc/29985/stat : 29985 (java) S 29983 29985 28985 0 -1 0 20457 0 1 0 2533 14 0 0 18 0 9 0 90191191 886173696 19813 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29985/statm: 216351 19813 2001 9 0 210820 0
[pid=29985/tid=29987] ppid=29983 vsize=865404 CPUtime=24.85
/proc/29985/task/29987/stat : 29987 (java) R 29983 29985 28985 0 -1 64 14939 0 1 0 2474 11 0 0 25 0 9 0 90191193 886173696 19813 996147200 134512640 134550932 4294955888 18446744073709551615 4127372633 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29988] ppid=29983 vsize=865404 CPUtime=0.12
/proc/29985/task/29988/stat : 29988 (java) S 29983 29985 28985 0 -1 64 4008 0 0 0 11 1 0 0 16 0 9 0 90191194 886173696 19813 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29989] ppid=29983 vsize=865404 CPUtime=0
/proc/29985/task/29989/stat : 29989 (java) S 29983 29985 28985 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 90191194 886173696 19813 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29990] ppid=29983 vsize=865404 CPUtime=0
/proc/29985/task/29990/stat : 29990 (java) S 29983 29985 28985 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90191194 886173696 19813 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29991] ppid=29983 vsize=865404 CPUtime=0
/proc/29985/task/29991/stat : 29991 (java) S 29983 29985 28985 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90191196 886173696 19813 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29992] ppid=29983 vsize=865404 CPUtime=0.47
/proc/29985/task/29992/stat : 29992 (java) S 29983 29985 28985 0 -1 64 778 0 0 0 47 0 0 0 16 0 9 0 90191196 886173696 19813 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29993] ppid=29983 vsize=865404 CPUtime=0
/proc/29985/task/29993/stat : 29993 (java) S 29983 29985 28985 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 90191196 886173696 19813 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29994] ppid=29983 vsize=865404 CPUtime=0
/proc/29985/task/29994/stat : 29994 (java) S 29983 29985 28985 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90191196 886173696 19813 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 865404

[startup+51.1028 s]
/proc/loadavg: 1.99 2.00 1.95 3/89 29994
/proc/meminfo: memFree=382624/2055920 swapFree=4192812/4192956
[pid=29985] ppid=29983 vsize=865404 CPUtime=51.05
/proc/29985/stat : 29985 (java) S 29983 29985 28985 0 -1 0 20475 0 1 0 5090 15 0 0 18 0 9 0 90191191 886173696 19820 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29985/statm: 216351 19820 2004 9 0 210820 0
[pid=29985/tid=29987] ppid=29983 vsize=865404 CPUtime=50.4
/proc/29985/task/29987/stat : 29987 (java) R 29983 29985 28985 0 -1 64 14952 0 1 0 5028 12 0 0 25 0 9 0 90191193 886173696 19820 996147200 134512640 134550932 4294955888 18446744073709551615 4127372586 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29988] ppid=29983 vsize=865404 CPUtime=0.14
/proc/29985/task/29988/stat : 29988 (java) S 29983 29985 28985 0 -1 64 4009 0 0 0 13 1 0 0 16 0 9 0 90191194 886173696 19820 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29989] ppid=29983 vsize=865404 CPUtime=0
/proc/29985/task/29989/stat : 29989 (java) S 29983 29985 28985 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 90191194 886173696 19820 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29990] ppid=29983 vsize=865404 CPUtime=0
/proc/29985/task/29990/stat : 29990 (java) S 29983 29985 28985 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90191194 886173696 19820 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29991] ppid=29983 vsize=865404 CPUtime=0
/proc/29985/task/29991/stat : 29991 (java) S 29983 29985 28985 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90191196 886173696 19820 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29992] ppid=29983 vsize=865404 CPUtime=0.48
/proc/29985/task/29992/stat : 29992 (java) S 29983 29985 28985 0 -1 64 782 0 0 0 48 0 0 0 16 0 9 0 90191196 886173696 19820 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29993] ppid=29983 vsize=865404 CPUtime=0
/proc/29985/task/29993/stat : 29993 (java) S 29983 29985 28985 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 90191196 886173696 19820 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0

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

/proc/29985/task/29990/stat : 29990 (java) S 29983 29985 28985 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90191194 886173696 19856 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29991] ppid=29983 vsize=865404 CPUtime=0
/proc/29985/task/29991/stat : 29991 (java) S 29983 29985 28985 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90191196 886173696 19856 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29992] ppid=29983 vsize=865404 CPUtime=0.49
/proc/29985/task/29992/stat : 29992 (java) S 29983 29985 28985 0 -1 64 784 0 0 0 49 0 0 0 16 0 9 0 90191196 886173696 19856 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29993] ppid=29983 vsize=865404 CPUtime=0
/proc/29985/task/29993/stat : 29993 (java) S 29983 29985 28985 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 90191196 886173696 19856 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29994] ppid=29983 vsize=865404 CPUtime=0
/proc/29985/task/29994/stat : 29994 (java) S 29983 29985 28985 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90191196 886173696 19856 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 972.25
Current children cumulated vsize (KiB) 865404

[startup+979.103 s]
/proc/loadavg: 1.99 2.00 1.95 3/89 29994
/proc/meminfo: memFree=376416/2055920 swapFree=4192812/4192956
[pid=29985] ppid=29983 vsize=865404 CPUtime=978.65
/proc/29985/stat : 29985 (java) S 29983 29985 28985 0 -1 0 20737 0 1 0 97822 43 0 0 18 0 9 0 90191191 886173696 19856 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29985/statm: 216351 19856 2004 9 0 210820 0
[pid=29985/tid=29987] ppid=29983 vsize=865404 CPUtime=977.75
/proc/29985/task/29987/stat : 29987 (java) R 29983 29985 28985 0 -1 64 15178 0 1 0 97737 38 0 0 25 0 9 0 90191193 886173696 19856 996147200 134512640 134550932 4294955888 18446744073709551615 4125903024 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29988] ppid=29983 vsize=865404 CPUtime=0.38
/proc/29985/task/29988/stat : 29988 (java) S 29983 29985 28985 0 -1 64 4043 0 0 0 35 3 0 0 16 0 9 0 90191194 886173696 19856 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29989] ppid=29983 vsize=865404 CPUtime=0
/proc/29985/task/29989/stat : 29989 (java) S 29983 29985 28985 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 90191194 886173696 19856 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29990] ppid=29983 vsize=865404 CPUtime=0
/proc/29985/task/29990/stat : 29990 (java) S 29983 29985 28985 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90191194 886173696 19856 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29991] ppid=29983 vsize=865404 CPUtime=0
/proc/29985/task/29991/stat : 29991 (java) S 29983 29985 28985 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90191196 886173696 19856 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29992] ppid=29983 vsize=865404 CPUtime=0.49
/proc/29985/task/29992/stat : 29992 (java) S 29983 29985 28985 0 -1 64 784 0 0 0 49 0 0 0 16 0 9 0 90191196 886173696 19856 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29993] ppid=29983 vsize=865404 CPUtime=0
/proc/29985/task/29993/stat : 29993 (java) S 29983 29985 28985 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 90191196 886173696 19856 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29994] ppid=29983 vsize=865404 CPUtime=0
/proc/29985/task/29994/stat : 29994 (java) S 29983 29985 28985 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90191196 886173696 19856 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 978.65
Current children cumulated vsize (KiB) 865404

[startup+982.307 s]
/proc/loadavg: 1.99 2.00 1.95 3/89 29994
/proc/meminfo: memFree=376416/2055920 swapFree=4192812/4192956
[pid=29985] ppid=29983 vsize=865404 CPUtime=981.85
/proc/29985/stat : 29985 (java) S 29983 29985 28985 0 -1 0 20738 0 1 0 98142 43 0 0 18 0 9 0 90191191 886173696 19856 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29985/statm: 216351 19856 2004 9 0 210820 0
[pid=29985/tid=29987] ppid=29983 vsize=865404 CPUtime=980.95
/proc/29985/task/29987/stat : 29987 (java) R 29983 29985 28985 0 -1 64 15179 0 1 0 98057 38 0 0 25 0 9 0 90191193 886173696 19856 996147200 134512640 134550932 4294955888 18446744073709551615 4127441252 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29988] ppid=29983 vsize=865404 CPUtime=0.38
/proc/29985/task/29988/stat : 29988 (java) S 29983 29985 28985 0 -1 64 4043 0 0 0 35 3 0 0 17 0 9 0 90191194 886173696 19856 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29989] ppid=29983 vsize=865404 CPUtime=0
/proc/29985/task/29989/stat : 29989 (java) S 29983 29985 28985 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 90191194 886173696 19856 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29990] ppid=29983 vsize=865404 CPUtime=0
/proc/29985/task/29990/stat : 29990 (java) S 29983 29985 28985 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90191194 886173696 19856 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29991] ppid=29983 vsize=865404 CPUtime=0
/proc/29985/task/29991/stat : 29991 (java) S 29983 29985 28985 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90191196 886173696 19856 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29992] ppid=29983 vsize=865404 CPUtime=0.49
/proc/29985/task/29992/stat : 29992 (java) S 29983 29985 28985 0 -1 64 784 0 0 0 49 0 0 0 16 0 9 0 90191196 886173696 19856 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29993] ppid=29983 vsize=865404 CPUtime=0
/proc/29985/task/29993/stat : 29993 (java) S 29983 29985 28985 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 90191196 886173696 19856 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29994] ppid=29983 vsize=865404 CPUtime=0
/proc/29985/task/29994/stat : 29994 (java) S 29983 29985 28985 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90191196 886173696 19856 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 981.85
Current children cumulated vsize (KiB) 865404

[startup+985.502 s]
/proc/loadavg: 1.99 2.00 1.95 3/89 29994
/proc/meminfo: memFree=376416/2055920 swapFree=4192812/4192956
[pid=29985] ppid=29983 vsize=865404 CPUtime=985.05
/proc/29985/stat : 29985 (java) S 29983 29985 28985 0 -1 0 20738 0 1 0 98462 43 0 0 18 0 9 0 90191191 886173696 19856 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29985/statm: 216351 19856 2004 9 0 210820 0
[pid=29985/tid=29987] ppid=29983 vsize=865404 CPUtime=984.16
/proc/29985/task/29987/stat : 29987 (java) R 29983 29985 28985 0 -1 64 15179 0 1 0 98377 39 0 0 25 0 9 0 90191193 886173696 19856 996147200 134512640 134550932 4294955888 18446744073709551615 4127594148 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29988] ppid=29983 vsize=865404 CPUtime=0.38
/proc/29985/task/29988/stat : 29988 (java) S 29983 29985 28985 0 -1 64 4043 0 0 0 35 3 0 0 16 0 9 0 90191194 886173696 19856 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29989] ppid=29983 vsize=865404 CPUtime=0
/proc/29985/task/29989/stat : 29989 (java) S 29983 29985 28985 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 90191194 886173696 19856 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29990] ppid=29983 vsize=865404 CPUtime=0
/proc/29985/task/29990/stat : 29990 (java) S 29983 29985 28985 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90191194 886173696 19856 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29991] ppid=29983 vsize=865404 CPUtime=0
/proc/29985/task/29991/stat : 29991 (java) S 29983 29985 28985 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90191196 886173696 19856 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29992] ppid=29983 vsize=865404 CPUtime=0.49
/proc/29985/task/29992/stat : 29992 (java) S 29983 29985 28985 0 -1 64 784 0 0 0 49 0 0 0 16 0 9 0 90191196 886173696 19856 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29993] ppid=29983 vsize=865404 CPUtime=0
/proc/29985/task/29993/stat : 29993 (java) S 29983 29985 28985 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 90191196 886173696 19856 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29994] ppid=29983 vsize=865404 CPUtime=0
/proc/29985/task/29994/stat : 29994 (java) S 29983 29985 28985 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90191196 886173696 19856 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 985.05
Current children cumulated vsize (KiB) 865404

[startup+987.101 s]
/proc/loadavg: 1.99 2.00 1.95 3/89 29994
/proc/meminfo: memFree=376416/2055920 swapFree=4192812/4192956
[pid=29985] ppid=29983 vsize=865404 CPUtime=986.64
/proc/29985/stat : 29985 (java) S 29983 29985 28985 0 -1 0 20739 0 1 0 98621 43 0 0 18 0 9 0 90191191 886173696 19856 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29985/statm: 216351 19856 2004 9 0 210820 0
[pid=29985/tid=29987] ppid=29983 vsize=865404 CPUtime=985.75
/proc/29985/task/29987/stat : 29987 (java) R 29983 29985 28985 0 -1 64 15180 0 1 0 98536 39 0 0 25 0 9 0 90191193 886173696 19856 996147200 134512640 134550932 4294955888 18446744073709551615 4127477575 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29988] ppid=29983 vsize=865404 CPUtime=0.38
/proc/29985/task/29988/stat : 29988 (java) S 29983 29985 28985 0 -1 64 4043 0 0 0 35 3 0 0 16 0 9 0 90191194 886173696 19856 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29989] ppid=29983 vsize=865404 CPUtime=0
/proc/29985/task/29989/stat : 29989 (java) S 29983 29985 28985 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 90191194 886173696 19856 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29990] ppid=29983 vsize=865404 CPUtime=0
/proc/29985/task/29990/stat : 29990 (java) S 29983 29985 28985 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90191194 886173696 19856 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29991] ppid=29983 vsize=865404 CPUtime=0
/proc/29985/task/29991/stat : 29991 (java) S 29983 29985 28985 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90191196 886173696 19856 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29992] ppid=29983 vsize=865404 CPUtime=0.49
/proc/29985/task/29992/stat : 29992 (java) S 29983 29985 28985 0 -1 64 784 0 0 0 49 0 0 0 16 0 9 0 90191196 886173696 19856 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29993] ppid=29983 vsize=865404 CPUtime=0
/proc/29985/task/29993/stat : 29993 (java) S 29983 29985 28985 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 90191196 886173696 19856 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29994] ppid=29983 vsize=865404 CPUtime=0
/proc/29985/task/29994/stat : 29994 (java) S 29983 29985 28985 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90191196 886173696 19856 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 986.64
Current children cumulated vsize (KiB) 865404

[startup+987.501 s]
/proc/loadavg: 1.99 2.00 1.95 3/89 29994
/proc/meminfo: memFree=376416/2055920 swapFree=4192812/4192956
[pid=29985] ppid=29983 vsize=865404 CPUtime=987.04
/proc/29985/stat : 29985 (java) S 29983 29985 28985 0 -1 0 20739 0 1 0 98661 43 0 0 18 0 9 0 90191191 886173696 19856 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29985/statm: 216351 19856 2004 9 0 210820 0
[pid=29985/tid=29987] ppid=29983 vsize=865404 CPUtime=986.15
/proc/29985/task/29987/stat : 29987 (java) R 29983 29985 28985 0 -1 64 15180 0 1 0 98576 39 0 0 25 0 9 0 90191193 886173696 19856 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29988] ppid=29983 vsize=865404 CPUtime=0.38
/proc/29985/task/29988/stat : 29988 (java) S 29983 29985 28985 0 -1 64 4043 0 0 0 35 3 0 0 16 0 9 0 90191194 886173696 19856 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29989] ppid=29983 vsize=865404 CPUtime=0
/proc/29985/task/29989/stat : 29989 (java) S 29983 29985 28985 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 90191194 886173696 19856 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29990] ppid=29983 vsize=865404 CPUtime=0
/proc/29985/task/29990/stat : 29990 (java) S 29983 29985 28985 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90191194 886173696 19856 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29991] ppid=29983 vsize=865404 CPUtime=0
/proc/29985/task/29991/stat : 29991 (java) S 29983 29985 28985 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90191196 886173696 19856 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29992] ppid=29983 vsize=865404 CPUtime=0.49
/proc/29985/task/29992/stat : 29992 (java) S 29983 29985 28985 0 -1 64 784 0 0 0 49 0 0 0 16 0 9 0 90191196 886173696 19856 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29993] ppid=29983 vsize=865404 CPUtime=0
/proc/29985/task/29993/stat : 29993 (java) S 29983 29985 28985 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 90191196 886173696 19856 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29994] ppid=29983 vsize=865404 CPUtime=0
/proc/29985/task/29994/stat : 29994 (java) S 29983 29985 28985 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90191196 886173696 19856 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 987.04
Current children cumulated vsize (KiB) 865404

[startup+987.701 s]
/proc/loadavg: 1.99 2.00 1.95 3/89 29994
/proc/meminfo: memFree=376416/2055920 swapFree=4192812/4192956
[pid=29985] ppid=29983 vsize=865404 CPUtime=987.25
/proc/29985/stat : 29985 (java) S 29983 29985 28985 0 -1 0 20739 0 1 0 98682 43 0 0 18 0 9 0 90191191 886173696 19856 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29985/statm: 216351 19856 2004 9 0 210820 0
[pid=29985/tid=29987] ppid=29983 vsize=865404 CPUtime=986.36
/proc/29985/task/29987/stat : 29987 (java) R 29983 29985 28985 0 -1 64 15180 0 1 0 98597 39 0 0 25 0 9 0 90191193 886173696 19856 996147200 134512640 134550932 4294955888 18446744073709551615 4127428860 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29988] ppid=29983 vsize=865404 CPUtime=0.38
/proc/29985/task/29988/stat : 29988 (java) S 29983 29985 28985 0 -1 64 4043 0 0 0 35 3 0 0 16 0 9 0 90191194 886173696 19856 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29989] ppid=29983 vsize=865404 CPUtime=0
/proc/29985/task/29989/stat : 29989 (java) S 29983 29985 28985 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 90191194 886173696 19856 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29990] ppid=29983 vsize=865404 CPUtime=0
/proc/29985/task/29990/stat : 29990 (java) S 29983 29985 28985 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90191194 886173696 19856 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29991] ppid=29983 vsize=865404 CPUtime=0
/proc/29985/task/29991/stat : 29991 (java) S 29983 29985 28985 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90191196 886173696 19856 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29992] ppid=29983 vsize=865404 CPUtime=0.49
/proc/29985/task/29992/stat : 29992 (java) S 29983 29985 28985 0 -1 64 784 0 0 0 49 0 0 0 16 0 9 0 90191196 886173696 19856 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29993] ppid=29983 vsize=865404 CPUtime=0
/proc/29985/task/29993/stat : 29993 (java) S 29983 29985 28985 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 90191196 886173696 19856 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29985/tid=29994] ppid=29983 vsize=865404 CPUtime=0
/proc/29985/task/29994/stat : 29994 (java) S 29983 29985 28985 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90191196 886173696 19856 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 987.25
Current children cumulated vsize (KiB) 865404

[startup+987.807 s]
/proc/loadavg: 1.99 2.00 1.95 3/89 29994
/proc/meminfo: memFree=376416/2055920 swapFree=4192812/4192956
[pid=29985] ppid=29983 vsize=0 CPUtime=987.3
/proc/29985/stat : 29985 (java) Z 29983 29985 28985 0 -1 12 20778 0 1 0 98686 44 0 0 16 0 2 0 90191191 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29985/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 987.3
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 987.812
CPU time (s): 987.317
CPU user time (s): 986.869
CPU system time (s): 0.447931
CPU usage (%): 99.9499
Max. virtual memory (cumulated for all children) (KiB): 865404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 986.869
system time used= 0.447931
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20778
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= 24940
involuntary context switches= 31934

runsolver used 1.3478 second user time and 3.15152 second system time

The end

Launcher Data 

Begin job on node14 at 2009-07-19 21:20:42
IDJOB=2116539
IDBENCH=57058
IDSOLVER=780
FILE ID=node14/2116539-1248031242
PBS_JOBID= 9529017
Free space on /tmp= 66344 MiB

SOLVER NAME= Choco2.1.1b 2009-07-16
BENCH NAME= CPAI08/csp/js-taillard-15/normalized-js-taillard-15-100-4.xml
COMMAND LINE= java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file BENCHNAME -randval true -h 1 -ac 32 -saclim 60 -s true -verb 0 -seed 11041979
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2116539-1248031242/watcher-2116539-1248031242 -o /tmp/evaluation-result-2116539-1248031242/solver-2116539-1248031242 -C 1800 -W 2000 -M 900  java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2116539-1248031242.xml -randval true -h 1 -ac 32 -saclim 60 -s true -verb 0 -seed 11041979

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 0f2f3ada50c67a34ccbabc19d4e4fa5d
RANDOM SEED=360385657

node14.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.265
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.265
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:        462536 kB
Buffers:         60816 kB
Cached:         895876 kB
SwapCached:          0 kB
Active:         689896 kB
Inactive:       824596 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        462536 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            5240 kB
Writeback:           0 kB
Mapped:         575660 kB
Slab:            62984 kB
Committed_AS:  1329356 kB
PageTables:       2916 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= 66340 MiB
End job on node14 at 2009-07-19 21:37:10