Trace number 2080232

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.1 2009-06-10SAT 193.495 194.473

DiagnosticValue
CHECKS0
NODES7935

General information on the benchmark

Namecsp/js-taillard-20-15/
normalized-js-taillard-20-15-105-2.xml
MD5SUM889428b741c69397c034d6ea53d00acd
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 benchmark17.5893
Satisfiable
(Un)Satisfiability was proved
Number of variables300
Number of constraints3130
Maximum constraint arity2
Maximum domain size1436
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3130
Global constraints used (with number of constraints)

Solver Data 

193.44/194.42	s SATISFIABLE
193.44/194.42	v 0 124 141 164 227 294 374 524 701 796 874 891 913 930 1015 99 224 301 310 389 415 423 487 536 548 1135 1206 1282 1377 1386 85 177 180 227 322 380 461 560 664 671 751 935 1075 1157 1180 0 29 74 139 163 193 259 595 627 705 1056 1085 1133 1142 1230 285 496 557 604 670 849 909 1006 1091 1152 1178 1191 1267 1308 1332 0 85 140 142 207 281 413 494 514 536 653 865 917 1196 1260 0 180 274 278 291 389 415 536 556 1002 1092 1155 1157 1182 1254 91 425 523 579 630 648 749 811 852 989 1105 1204 1273 1349 1430 161 398 496 560 650 751 847 935 948 1020 1048 1105 1213 1224 1310 0 214 285 365 417 522 606 650 664 749 751 811 883 910 973 17 66 165 695 736 847 895 991 1039 1059 1095 1105 1134 1224 1336 0 66 157 177 228 327 417 433 522 776 1048 1191 1260 1316 1349 0 99 139 161 523 569 663 707 751 776 832 842 925 950 989 366 410 472 579 663 693 695 745 815 891 965 1010 1062 1199 1294 557 630 823 874 917 1006 1016 1083 1085 1133 1155 1217 1283 1295 1325 74 163 281 302 393 441 504 597 744 823 874 925 1129 1199 1264 11 60 65 124 207 308 447 883 930 1006 1142 1217 1243 1300 1332 0 11 29 64 124 310 560 705 739 796 879 909 973 1110 1199 145 228 270 302 366 446 561 604 672 748 815 1020 1091 1264 1401 0 19 72 152 301 322 369 425 556 631 659 674 749 847 1016 
193.44/194.42	d AC 32
193.44/194.42	d RUNTIME 194.309
193.44/194.42	d NODES 7935
193.44/194.42	d NODES/s 41
193.44/194.42	d BACKTRACKS 10360
193.44/194.42	d BACKTRACKS/s 53
193.44/194.42	d CHECKS 0
193.44/194.42	d CHECKS/s 0
193.44/194.42	c SAT 194.309 TIME      7935 NDS    870 PARSTIME      1364 BUILDPB       192075 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-2080232-1247369392/watcher-2080232-1247369392 -o /tmp/evaluation-result-2080232-1247369392/solver-2080232-1247369392 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco-2.1.1.jar -file HOME/instance-2080232-1247369392.xml -h 1 -randval true -ac 32 -rest true -rb 10 -rg 1.3 -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: 2.28 2.10 2.03 4/75 21565
/proc/meminfo: memFree=1859272/2055920 swapFree=4192812/4192956
[pid=21565] ppid=21563 vsize=18576 CPUtime=0
/proc/21565/stat : 21565 (runsolver) R 21563 21565 20971 0 -1 4194368 16 0 0 0 0 0 0 0 21 0 1 0 24004051 19021824 284 996147200 4194304 4302564 548682068192 18446744073709551615 234211568935 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/21565/statm: 4644 284 249 26 0 2626 0

[startup+0.074936 s]
/proc/loadavg: 2.28 2.10 2.03 4/75 21565
/proc/meminfo: memFree=1859272/2055920 swapFree=4192812/4192956
[pid=21565] ppid=21563 vsize=862208 CPUtime=0.06
/proc/21565/stat : 21565 (java) S 21563 21565 20971 0 -1 0 2906 0 1 0 4 2 0 0 18 0 9 0 24004051 882900992 2413 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21565/statm: 215552 2413 1164 9 0 210421 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 862208

[startup+0.102941 s]
/proc/loadavg: 2.28 2.10 2.03 4/75 21565
/proc/meminfo: memFree=1859272/2055920 swapFree=4192812/4192956
[pid=21565] ppid=21563 vsize=864064 CPUtime=0.08
/proc/21565/stat : 21565 (java) S 21563 21565 20971 0 -1 0 3789 0 1 0 6 2 0 0 18 0 9 0 24004051 884801536 3252 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21565/statm: 216016 3252 1716 9 0 210484 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 864064

[startup+0.302961 s]
/proc/loadavg: 2.28 2.10 2.03 4/75 21565
/proc/meminfo: memFree=1859272/2055920 swapFree=4192812/4192956
[pid=21565] ppid=21563 vsize=864196 CPUtime=0.28
/proc/21565/stat : 21565 (java) S 21563 21565 20971 0 -1 0 4474 0 1 0 25 3 0 0 18 0 9 0 24004051 884936704 3899 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21565/statm: 216049 3899 1852 9 0 210517 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 864196

[startup+0.703015 s]
/proc/loadavg: 2.28 2.10 2.03 4/75 21565
/proc/meminfo: memFree=1859272/2055920 swapFree=4192812/4192956
[pid=21565] ppid=21563 vsize=865040 CPUtime=0.68
/proc/21565/stat : 21565 (java) S 21563 21565 20971 0 -1 0 6604 0 1 0 64 4 0 0 18 0 9 0 24004051 885800960 6020 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21565/statm: 216260 6020 1886 9 0 210728 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 865040

[startup+1.50112 s]
/proc/loadavg: 2.28 2.10 2.03 3/84 21574
/proc/meminfo: memFree=1830208/2055920 swapFree=4192812/4192956
[pid=21565] ppid=21563 vsize=865152 CPUtime=1.48
/proc/21565/stat : 21565 (java) S 21563 21565 20971 0 -1 0 15555 0 1 0 139 9 0 0 18 0 9 0 24004051 885915648 14946 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21565/statm: 216288 14946 1964 9 0 210756 0
[pid=21565/tid=21567] ppid=21563 vsize=865152 CPUtime=1.2
/proc/21565/task/21567/stat : 21567 (java) R 21563 21565 20971 0 -1 64 14195 0 1 0 113 7 0 0 25 0 9 0 24004052 885915648 14946 996147200 134512640 134550932 4294955840 18446744073709551615 103796139 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21568] ppid=21563 vsize=865152 CPUtime=0
/proc/21565/task/21568/stat : 21568 (java) S 21563 21565 20971 0 -1 64 3 0 0 0 0 0 0 0 17 0 9 0 24004054 885915648 14946 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21569] ppid=21563 vsize=865152 CPUtime=0
/proc/21565/task/21569/stat : 21569 (java) S 21563 21565 20971 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 24004054 885915648 14946 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21570] ppid=21563 vsize=865152 CPUtime=0
/proc/21565/task/21570/stat : 21570 (java) S 21563 21565 20971 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 24004054 885915648 14946 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21571] ppid=21563 vsize=865152 CPUtime=0
/proc/21565/task/21571/stat : 21571 (java) S 21563 21565 20971 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 24004056 885915648 14946 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21572] ppid=21563 vsize=865152 CPUtime=0.25
/proc/21565/task/21572/stat : 21572 (java) S 21563 21565 20971 0 -1 64 630 0 0 0 25 0 0 0 16 0 9 0 24004056 885915648 14946 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21573] ppid=21563 vsize=865152 CPUtime=0
/proc/21565/task/21573/stat : 21573 (java) S 21563 21565 20971 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 24004056 885915648 14946 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21574] ppid=21563 vsize=865152 CPUtime=0
/proc/21565/task/21574/stat : 21574 (java) S 21563 21565 20971 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24004056 885915648 14946 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 865152

[startup+3.10132 s]
/proc/loadavg: 2.33 2.12 2.04 3/84 21574
/proc/meminfo: memFree=1786560/2055920 swapFree=4192812/4192956
[pid=21565] ppid=21563 vsize=865272 CPUtime=3.07
/proc/21565/stat : 21565 (java) S 21563 21565 20971 0 -1 0 20804 0 1 0 294 13 0 0 18 0 9 0 24004051 886038528 20178 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21565/statm: 216318 20178 1998 9 0 210786 0
[pid=21565/tid=21567] ppid=21563 vsize=865272 CPUtime=2.45
/proc/21565/task/21567/stat : 21567 (java) R 21563 21565 20971 0 -1 64 14892 0 1 0 237 8 0 0 25 0 9 0 24004052 886038528 20178 996147200 134512640 134550932 4294955840 18446744073709551615 4126046811 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21568] ppid=21563 vsize=865272 CPUtime=0.11
/proc/21565/task/21568/stat : 21568 (java) S 21563 21565 20971 0 -1 64 4417 0 0 0 10 1 0 0 16 0 9 0 24004054 886038528 20178 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21569] ppid=21563 vsize=865272 CPUtime=0
/proc/21565/task/21569/stat : 21569 (java) S 21563 21565 20971 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24004054 886038528 20178 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21570] ppid=21563 vsize=865272 CPUtime=0
/proc/21565/task/21570/stat : 21570 (java) S 21563 21565 20971 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 24004054 886038528 20178 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21571] ppid=21563 vsize=865272 CPUtime=0
/proc/21565/task/21571/stat : 21571 (java) S 21563 21565 20971 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 24004056 886038528 20178 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21572] ppid=21563 vsize=865272 CPUtime=0.48
/proc/21565/task/21572/stat : 21572 (java) S 21563 21565 20971 0 -1 64 763 0 0 0 46 2 0 0 16 0 9 0 24004056 886038528 20178 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21573] ppid=21563 vsize=865272 CPUtime=0
/proc/21565/task/21573/stat : 21573 (java) S 21563 21565 20971 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 24004056 886038528 20178 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21574] ppid=21563 vsize=865272 CPUtime=0
/proc/21565/task/21574/stat : 21574 (java) S 21563 21565 20971 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24004056 886038528 20178 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 865272

[startup+6.30273 s]
/proc/loadavg: 2.33 2.12 2.04 3/84 21574
/proc/meminfo: memFree=1769792/2055920 swapFree=4192812/4192956
[pid=21565] ppid=21563 vsize=865272 CPUtime=6.25
/proc/21565/stat : 21565 (java) S 21563 21565 20971 0 -1 0 24776 0 1 0 610 15 0 0 18 0 9 0 24004051 886038528 24145 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21565/statm: 216318 24145 1998 9 0 210786 0
[pid=21565/tid=21567] ppid=21563 vsize=865272 CPUtime=5.52
/proc/21565/task/21567/stat : 21567 (java) R 21563 21565 20971 0 -1 64 14897 0 1 0 544 8 0 0 25 0 9 0 24004052 886038528 24145 996147200 134512640 134550932 4294955840 18446744073709551615 4125903070 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21568] ppid=21563 vsize=865272 CPUtime=0.21
/proc/21565/task/21568/stat : 21568 (java) S 21563 21565 20971 0 -1 64 8379 0 0 0 18 3 0 0 17 0 9 0 24004054 886038528 24145 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21569] ppid=21563 vsize=865272 CPUtime=0
/proc/21565/task/21569/stat : 21569 (java) S 21563 21565 20971 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24004054 886038528 24145 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21570] ppid=21563 vsize=865272 CPUtime=0
/proc/21565/task/21570/stat : 21570 (java) S 21563 21565 20971 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 24004054 886038528 24145 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21571] ppid=21563 vsize=865272 CPUtime=0
/proc/21565/task/21571/stat : 21571 (java) S 21563 21565 20971 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 24004056 886038528 24145 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21572] ppid=21563 vsize=865272 CPUtime=0.49
/proc/21565/task/21572/stat : 21572 (java) S 21563 21565 20971 0 -1 64 768 0 0 0 47 2 0 0 15 0 9 0 24004056 886038528 24145 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21573] ppid=21563 vsize=865272 CPUtime=0
/proc/21565/task/21573/stat : 21573 (java) S 21563 21565 20971 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 24004056 886038528 24145 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21574] ppid=21563 vsize=865272 CPUtime=0
/proc/21565/task/21574/stat : 21574 (java) S 21563 21565 20971 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24004056 886038528 24145 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 865272

[startup+12.7015 s]
/proc/loadavg: 2.28 2.12 2.04 3/84 21574
/proc/meminfo: memFree=1764160/2055920 swapFree=4192812/4192956
[pid=21565] ppid=21563 vsize=865272 CPUtime=12.62
/proc/21565/stat : 21565 (java) S 21563 21565 20971 0 -1 0 26156 0 1 0 1247 15 0 0 18 0 9 0 24004051 886038528 25522 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21565/statm: 216318 25522 1998 9 0 210786 0
[pid=21565/tid=21567] ppid=21563 vsize=865272 CPUtime=11.84
/proc/21565/task/21567/stat : 21567 (java) R 21563 21565 20971 0 -1 64 14900 0 1 0 1176 8 0 0 25 0 9 0 24004052 886038528 25522 996147200 134512640 134550932 4294955840 18446744073709551615 4127463742 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21568] ppid=21563 vsize=865272 CPUtime=0.25
/proc/21565/task/21568/stat : 21568 (java) S 21563 21565 20971 0 -1 64 9751 0 0 0 22 3 0 0 16 0 9 0 24004054 886038528 25522 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21569] ppid=21563 vsize=865272 CPUtime=0
/proc/21565/task/21569/stat : 21569 (java) S 21563 21565 20971 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24004054 886038528 25522 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21570] ppid=21563 vsize=865272 CPUtime=0
/proc/21565/task/21570/stat : 21570 (java) S 21563 21565 20971 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 24004054 886038528 25522 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21571] ppid=21563 vsize=865272 CPUtime=0
/proc/21565/task/21571/stat : 21571 (java) S 21563 21565 20971 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 24004056 886038528 25522 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21572] ppid=21563 vsize=865272 CPUtime=0.5
/proc/21565/task/21572/stat : 21572 (java) S 21563 21565 20971 0 -1 64 773 0 0 0 48 2 0 0 15 0 9 0 24004056 886038528 25522 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21573] ppid=21563 vsize=865272 CPUtime=0
/proc/21565/task/21573/stat : 21573 (java) S 21563 21565 20971 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 24004056 886038528 25522 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21574] ppid=21563 vsize=865272 CPUtime=0
/proc/21565/task/21574/stat : 21574 (java) S 21563 21565 20971 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24004056 886038528 25522 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 865272

[startup+25.5022 s]
/proc/loadavg: 2.24 2.11 2.04 3/84 21574
/proc/meminfo: memFree=1764224/2055920 swapFree=4192812/4192956
[pid=21565] ppid=21563 vsize=865272 CPUtime=25.36
/proc/21565/stat : 21565 (java) S 21563 21565 20971 0 -1 0 26174 0 1 0 2520 16 0 0 18 0 9 0 24004051 886038528 25534 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21565/statm: 216318 25534 2000 9 0 210786 0
[pid=21565/tid=21567] ppid=21563 vsize=865272 CPUtime=24.57
/proc/21565/task/21567/stat : 21567 (java) R 21563 21565 20971 0 -1 64 14915 0 1 0 2448 9 0 0 25 0 9 0 24004052 886038528 25534 996147200 134512640 134550932 4294955840 18446744073709551615 4127557004 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21568] ppid=21563 vsize=865272 CPUtime=0.26
/proc/21565/task/21568/stat : 21568 (java) S 21563 21565 20971 0 -1 64 9751 0 0 0 23 3 0 0 17 0 9 0 24004054 886038528 25534 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21569] ppid=21563 vsize=865272 CPUtime=0
/proc/21565/task/21569/stat : 21569 (java) S 21563 21565 20971 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24004054 886038528 25534 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21570] ppid=21563 vsize=865272 CPUtime=0
/proc/21565/task/21570/stat : 21570 (java) S 21563 21565 20971 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 24004054 886038528 25534 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21571] ppid=21563 vsize=865272 CPUtime=0
/proc/21565/task/21571/stat : 21571 (java) S 21563 21565 20971 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 24004056 886038528 25534 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21572] ppid=21563 vsize=865272 CPUtime=0.5
/proc/21565/task/21572/stat : 21572 (java) S 21563 21565 20971 0 -1 64 776 0 0 0 48 2 0 0 15 0 9 0 24004056 886038528 25534 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21573] ppid=21563 vsize=865272 CPUtime=0
/proc/21565/task/21573/stat : 21573 (java) S 21563 21565 20971 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 24004056 886038528 25534 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21574] ppid=21563 vsize=865272 CPUtime=0
/proc/21565/task/21574/stat : 21574 (java) S 21563 21565 20971 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24004056 886038528 25534 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 865272

[startup+51.1024 s]
/proc/loadavg: 2.16 2.10 2.03 3/84 21574
/proc/meminfo: memFree=1764288/2055920 swapFree=4192812/4192956
[pid=21565] ppid=21563 vsize=865272 CPUtime=50.84
/proc/21565/stat : 21565 (java) S 21563 21565 20971 0 -1 0 26193 0 1 0 5067 17 0 0 18 0 9 0 24004051 886038528 25539 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21565/statm: 216318 25539 2000 9 0 210786 0
[pid=21565/tid=21567] ppid=21563 vsize=865272 CPUtime=50.02
/proc/21565/task/21567/stat : 21567 (java) R 21563 21565 20971 0 -1 64 14929 0 1 0 4992 10 0 0 25 0 9 0 24004052 886038528 25539 996147200 134512640 134550932 4294955840 18446744073709551615 4127442526 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21568] ppid=21563 vsize=865272 CPUtime=0.27
/proc/21565/task/21568/stat : 21568 (java) S 21563 21565 20971 0 -1 64 9751 0 0 0 24 3 0 0 16 0 9 0 24004054 886038528 25539 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21569] ppid=21563 vsize=865272 CPUtime=0
/proc/21565/task/21569/stat : 21569 (java) S 21563 21565 20971 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24004054 886038528 25539 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21570] ppid=21563 vsize=865272 CPUtime=0
/proc/21565/task/21570/stat : 21570 (java) S 21563 21565 20971 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 24004054 886038528 25539 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21571] ppid=21563 vsize=865272 CPUtime=0
/proc/21565/task/21571/stat : 21571 (java) S 21563 21565 20971 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 24004056 886038528 25539 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21572] ppid=21563 vsize=865272 CPUtime=0.51
/proc/21565/task/21572/stat : 21572 (java) S 21563 21565 20971 0 -1 64 781 0 0 0 49 2 0 0 16 0 9 0 24004056 886038528 25539 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21573] ppid=21563 vsize=865272 CPUtime=0
/proc/21565/task/21573/stat : 21573 (java) S 21563 21565 20971 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 24004056 886038528 25539 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0

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

/proc/21565/stat : 21565 (java) S 21563 21565 20971 0 -1 0 26299 0 1 0 18438 20 0 0 18 0 9 0 24004051 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21565/statm: 216318 25605 2003 9 0 210786 0
[pid=21565/tid=21567] ppid=21563 vsize=865272 CPUtime=183.7
/proc/21565/task/21567/stat : 21567 (java) R 21563 21565 20971 0 -1 64 14970 0 1 0 18357 13 0 0 25 0 9 0 24004052 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4127446812 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21568] ppid=21563 vsize=865272 CPUtime=0.33
/proc/21565/task/21568/stat : 21568 (java) S 21563 21565 20971 0 -1 64 9806 0 0 0 29 4 0 0 16 0 9 0 24004054 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21569] ppid=21563 vsize=865272 CPUtime=0
/proc/21565/task/21569/stat : 21569 (java) S 21563 21565 20971 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24004054 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21570] ppid=21563 vsize=865272 CPUtime=0
/proc/21565/task/21570/stat : 21570 (java) S 21563 21565 20971 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 24004054 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21571] ppid=21563 vsize=865272 CPUtime=0
/proc/21565/task/21571/stat : 21571 (java) S 21563 21565 20971 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 24004056 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21572] ppid=21563 vsize=865272 CPUtime=0.53
/proc/21565/task/21572/stat : 21572 (java) S 21563 21565 20971 0 -1 64 791 0 0 0 51 2 0 0 16 0 9 0 24004056 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21573] ppid=21563 vsize=865272 CPUtime=0
/proc/21565/task/21573/stat : 21573 (java) S 21563 21565 20971 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 24004056 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21574] ppid=21563 vsize=865272 CPUtime=0
/proc/21565/task/21574/stat : 21574 (java) S 21563 21565 20971 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24004056 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 184.58
Current children cumulated vsize (KiB) 865272

[startup+188.703 s]
/proc/loadavg: 2.09 2.07 2.02 3/84 21574
/proc/meminfo: memFree=1763776/2055920 swapFree=4192812/4192956
[pid=21565] ppid=21563 vsize=865272 CPUtime=187.77
/proc/21565/stat : 21565 (java) S 21563 21565 20971 0 -1 0 26300 0 1 0 18756 21 0 0 18 0 9 0 24004051 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21565/statm: 216318 25605 2003 9 0 210786 0
[pid=21565/tid=21567] ppid=21563 vsize=865272 CPUtime=186.88
/proc/21565/task/21567/stat : 21567 (java) R 21563 21565 20971 0 -1 64 14971 0 1 0 18675 13 0 0 25 0 9 0 24004052 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4126046733 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21568] ppid=21563 vsize=865272 CPUtime=0.33
/proc/21565/task/21568/stat : 21568 (java) S 21563 21565 20971 0 -1 64 9806 0 0 0 29 4 0 0 16 0 9 0 24004054 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21569] ppid=21563 vsize=865272 CPUtime=0
/proc/21565/task/21569/stat : 21569 (java) S 21563 21565 20971 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24004054 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21570] ppid=21563 vsize=865272 CPUtime=0
/proc/21565/task/21570/stat : 21570 (java) S 21563 21565 20971 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 24004054 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21571] ppid=21563 vsize=865272 CPUtime=0
/proc/21565/task/21571/stat : 21571 (java) S 21563 21565 20971 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 24004056 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21572] ppid=21563 vsize=865272 CPUtime=0.53
/proc/21565/task/21572/stat : 21572 (java) S 21563 21565 20971 0 -1 64 791 0 0 0 51 2 0 0 16 0 9 0 24004056 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21573] ppid=21563 vsize=865272 CPUtime=0
/proc/21565/task/21573/stat : 21573 (java) S 21563 21565 20971 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 24004056 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21574] ppid=21563 vsize=865272 CPUtime=0
/proc/21565/task/21574/stat : 21574 (java) S 21563 21565 20971 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24004056 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 187.77
Current children cumulated vsize (KiB) 865272

[startup+191.901 s]
/proc/loadavg: 2.09 2.07 2.02 3/84 21574
/proc/meminfo: memFree=1763776/2055920 swapFree=4192812/4192956
[pid=21565] ppid=21563 vsize=865272 CPUtime=190.95
/proc/21565/stat : 21565 (java) S 21563 21565 20971 0 -1 0 26300 0 1 0 19074 21 0 0 18 0 9 0 24004051 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21565/statm: 216318 25605 2003 9 0 210786 0
[pid=21565/tid=21567] ppid=21563 vsize=865272 CPUtime=190.06
/proc/21565/task/21567/stat : 21567 (java) R 21563 21565 20971 0 -1 64 14971 0 1 0 18993 13 0 0 25 0 9 0 24004052 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4127509395 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21568] ppid=21563 vsize=865272 CPUtime=0.33
/proc/21565/task/21568/stat : 21568 (java) S 21563 21565 20971 0 -1 64 9806 0 0 0 29 4 0 0 16 0 9 0 24004054 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21569] ppid=21563 vsize=865272 CPUtime=0
/proc/21565/task/21569/stat : 21569 (java) S 21563 21565 20971 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24004054 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21570] ppid=21563 vsize=865272 CPUtime=0
/proc/21565/task/21570/stat : 21570 (java) S 21563 21565 20971 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 24004054 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21571] ppid=21563 vsize=865272 CPUtime=0
/proc/21565/task/21571/stat : 21571 (java) S 21563 21565 20971 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 24004056 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21572] ppid=21563 vsize=865272 CPUtime=0.53
/proc/21565/task/21572/stat : 21572 (java) S 21563 21565 20971 0 -1 64 791 0 0 0 51 2 0 0 16 0 9 0 24004056 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21573] ppid=21563 vsize=865272 CPUtime=0
/proc/21565/task/21573/stat : 21573 (java) S 21563 21565 20971 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 24004056 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21574] ppid=21563 vsize=865272 CPUtime=0
/proc/21565/task/21574/stat : 21574 (java) S 21563 21565 20971 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24004056 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 190.95
Current children cumulated vsize (KiB) 865272

[startup+193.502 s]
/proc/loadavg: 2.08 2.07 2.02 3/84 21574
/proc/meminfo: memFree=1763776/2055920 swapFree=4192812/4192956
[pid=21565] ppid=21563 vsize=865272 CPUtime=192.55
/proc/21565/stat : 21565 (java) S 21563 21565 20971 0 -1 0 26301 0 1 0 19234 21 0 0 18 0 9 0 24004051 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21565/statm: 216318 25605 2003 9 0 210786 0
[pid=21565/tid=21567] ppid=21563 vsize=865272 CPUtime=191.66
/proc/21565/task/21567/stat : 21567 (java) R 21563 21565 20971 0 -1 64 14972 0 1 0 19153 13 0 0 25 0 9 0 24004052 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4127455052 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21568] ppid=21563 vsize=865272 CPUtime=0.33
/proc/21565/task/21568/stat : 21568 (java) S 21563 21565 20971 0 -1 64 9806 0 0 0 29 4 0 0 16 0 9 0 24004054 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21569] ppid=21563 vsize=865272 CPUtime=0
/proc/21565/task/21569/stat : 21569 (java) S 21563 21565 20971 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24004054 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21570] ppid=21563 vsize=865272 CPUtime=0
/proc/21565/task/21570/stat : 21570 (java) S 21563 21565 20971 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 24004054 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21571] ppid=21563 vsize=865272 CPUtime=0
/proc/21565/task/21571/stat : 21571 (java) S 21563 21565 20971 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 24004056 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21572] ppid=21563 vsize=865272 CPUtime=0.53
/proc/21565/task/21572/stat : 21572 (java) S 21563 21565 20971 0 -1 64 791 0 0 0 51 2 0 0 16 0 9 0 24004056 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21573] ppid=21563 vsize=865272 CPUtime=0
/proc/21565/task/21573/stat : 21573 (java) S 21563 21565 20971 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 24004056 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21574] ppid=21563 vsize=865272 CPUtime=0
/proc/21565/task/21574/stat : 21574 (java) S 21563 21565 20971 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24004056 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 192.55
Current children cumulated vsize (KiB) 865272

[startup+193.903 s]
/proc/loadavg: 2.08 2.07 2.02 3/84 21574
/proc/meminfo: memFree=1763776/2055920 swapFree=4192812/4192956
[pid=21565] ppid=21563 vsize=865272 CPUtime=192.94
/proc/21565/stat : 21565 (java) S 21563 21565 20971 0 -1 0 26301 0 1 0 19273 21 0 0 18 0 9 0 24004051 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21565/statm: 216318 25605 2003 9 0 210786 0
[pid=21565/tid=21567] ppid=21563 vsize=865272 CPUtime=192.05
/proc/21565/task/21567/stat : 21567 (java) R 21563 21565 20971 0 -1 64 14972 0 1 0 19192 13 0 0 25 0 9 0 24004052 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4127411178 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21568] ppid=21563 vsize=865272 CPUtime=0.33
/proc/21565/task/21568/stat : 21568 (java) S 21563 21565 20971 0 -1 64 9806 0 0 0 29 4 0 0 16 0 9 0 24004054 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21569] ppid=21563 vsize=865272 CPUtime=0
/proc/21565/task/21569/stat : 21569 (java) S 21563 21565 20971 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24004054 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21570] ppid=21563 vsize=865272 CPUtime=0
/proc/21565/task/21570/stat : 21570 (java) S 21563 21565 20971 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 24004054 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21571] ppid=21563 vsize=865272 CPUtime=0
/proc/21565/task/21571/stat : 21571 (java) S 21563 21565 20971 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 24004056 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21572] ppid=21563 vsize=865272 CPUtime=0.53
/proc/21565/task/21572/stat : 21572 (java) S 21563 21565 20971 0 -1 64 791 0 0 0 51 2 0 0 16 0 9 0 24004056 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21573] ppid=21563 vsize=865272 CPUtime=0
/proc/21565/task/21573/stat : 21573 (java) S 21563 21565 20971 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 24004056 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21574] ppid=21563 vsize=865272 CPUtime=0
/proc/21565/task/21574/stat : 21574 (java) S 21563 21565 20971 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24004056 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 192.94
Current children cumulated vsize (KiB) 865272

[startup+194.303 s]
/proc/loadavg: 2.08 2.07 2.02 3/84 21574
/proc/meminfo: memFree=1763776/2055920 swapFree=4192812/4192956
[pid=21565] ppid=21563 vsize=865272 CPUtime=193.34
/proc/21565/stat : 21565 (java) S 21563 21565 20971 0 -1 0 26301 0 1 0 19313 21 0 0 18 0 9 0 24004051 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21565/statm: 216318 25605 2003 9 0 210786 0
[pid=21565/tid=21567] ppid=21563 vsize=865272 CPUtime=192.45
/proc/21565/task/21567/stat : 21567 (java) R 21563 21565 20971 0 -1 64 14972 0 1 0 19232 13 0 0 25 0 9 0 24004052 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4126046805 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21568] ppid=21563 vsize=865272 CPUtime=0.33
/proc/21565/task/21568/stat : 21568 (java) S 21563 21565 20971 0 -1 64 9806 0 0 0 29 4 0 0 16 0 9 0 24004054 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21569] ppid=21563 vsize=865272 CPUtime=0
/proc/21565/task/21569/stat : 21569 (java) S 21563 21565 20971 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24004054 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21570] ppid=21563 vsize=865272 CPUtime=0
/proc/21565/task/21570/stat : 21570 (java) S 21563 21565 20971 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 24004054 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21571] ppid=21563 vsize=865272 CPUtime=0
/proc/21565/task/21571/stat : 21571 (java) S 21563 21565 20971 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 24004056 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21572] ppid=21563 vsize=865272 CPUtime=0.53
/proc/21565/task/21572/stat : 21572 (java) S 21563 21565 20971 0 -1 64 791 0 0 0 51 2 0 0 16 0 9 0 24004056 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21573] ppid=21563 vsize=865272 CPUtime=0
/proc/21565/task/21573/stat : 21573 (java) S 21563 21565 20971 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 24004056 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21574] ppid=21563 vsize=865272 CPUtime=0
/proc/21565/task/21574/stat : 21574 (java) S 21563 21565 20971 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24004056 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 193.34
Current children cumulated vsize (KiB) 865272

[startup+194.403 s]
/proc/loadavg: 2.08 2.07 2.02 3/84 21574
/proc/meminfo: memFree=1763776/2055920 swapFree=4192812/4192956
[pid=21565] ppid=21563 vsize=865272 CPUtime=193.44
/proc/21565/stat : 21565 (java) S 21563 21565 20971 0 -1 0 26301 0 1 0 19323 21 0 0 18 0 9 0 24004051 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21565/statm: 216318 25605 2003 9 0 210786 0
[pid=21565/tid=21567] ppid=21563 vsize=865272 CPUtime=192.55
/proc/21565/task/21567/stat : 21567 (java) R 21563 21565 20971 0 -1 64 14972 0 1 0 19242 13 0 0 25 0 9 0 24004052 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4127480866 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21568] ppid=21563 vsize=865272 CPUtime=0.33
/proc/21565/task/21568/stat : 21568 (java) S 21563 21565 20971 0 -1 64 9806 0 0 0 29 4 0 0 16 0 9 0 24004054 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21569] ppid=21563 vsize=865272 CPUtime=0
/proc/21565/task/21569/stat : 21569 (java) S 21563 21565 20971 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24004054 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21570] ppid=21563 vsize=865272 CPUtime=0
/proc/21565/task/21570/stat : 21570 (java) S 21563 21565 20971 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 24004054 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21571] ppid=21563 vsize=865272 CPUtime=0
/proc/21565/task/21571/stat : 21571 (java) S 21563 21565 20971 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 24004056 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21572] ppid=21563 vsize=865272 CPUtime=0.53
/proc/21565/task/21572/stat : 21572 (java) S 21563 21565 20971 0 -1 64 791 0 0 0 51 2 0 0 16 0 9 0 24004056 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21573] ppid=21563 vsize=865272 CPUtime=0
/proc/21565/task/21573/stat : 21573 (java) S 21563 21565 20971 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 24004056 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21565/tid=21574] ppid=21563 vsize=865272 CPUtime=0
/proc/21565/task/21574/stat : 21574 (java) S 21563 21565 20971 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24004056 886038528 25605 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 193.44
Current children cumulated vsize (KiB) 865272

Child status: 0
Real time (s): 194.473
CPU time (s): 193.495
CPU user time (s): 193.265
CPU system time (s): 0.229965
CPU usage (%): 99.497
Max. virtual memory (cumulated for all children) (KiB): 865272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 193.265
system time used= 0.229965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26323
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= 7172
involuntary context switches= 9304

runsolver used 0.25996 second user time and 0.633903 second system time

The end

Launcher Data 

Begin job on node54 at 2009-07-12 05:29:53
IDJOB=2080232
IDBENCH=57043
IDSOLVER=737
FILE ID=node54/2080232-1247369392
PBS_JOBID= 9507114
Free space on /tmp= 66408 MiB

SOLVER NAME= Choco2.1.1 2009-06-10
BENCH NAME= CPAI08/csp/js-taillard-20-15/normalized-js-taillard-20-15-105-2.xml
COMMAND LINE= java -Xms700M -Xmx700M -jar HOME/choco-2.1.1.jar -file BENCHNAME -h 1 -randval true -ac 32 -rest true -rb 10 -rg 1.3 -saclim 60 -s true -verb 0 -seed 11041979
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2080232-1247369392/watcher-2080232-1247369392 -o /tmp/evaluation-result-2080232-1247369392/solver-2080232-1247369392 -C 1800 -W 2000 -M 900  java -Xms700M -Xmx700M -jar HOME/choco-2.1.1.jar -file HOME/instance-2080232-1247369392.xml -h 1 -randval true -ac 32 -rest true -rb 10 -rg 1.3 -saclim 60 -s true -verb 0 -seed 11041979

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

MD5SUM BENCH= 889428b741c69397c034d6ea53d00acd
RANDOM SEED=326665401

node54.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.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1859752 kB
Buffers:          8836 kB
Cached:          88064 kB
SwapCached:          0 kB
Active:         106232 kB
Inactive:        43536 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1859752 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2960 kB
Writeback:           0 kB
Mapped:          63540 kB
Slab:            31740 kB
Committed_AS:   257004 kB
PageTables:       1788 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66408 MiB
End job on node54 at 2009-07-12 05:33:07