Trace number 2076481

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 70.0104 70.0728

DiagnosticValue
CHECKS0
NODES6246

General information on the benchmark

Namecsp/os-taillard-20/
normalized-os-taillard-20-100-6.xml
MD5SUM822c8f0751f873c488a8bb0f5ccf69cd
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 benchmark2.16667
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1352
Number of constraints which are defined in extension0
Number of constraints which are defined in intension7600
Global constraints used (with number of constraints)

Solver Data 

69.96/70.02	s SATISFIABLE
69.96/70.02	v 1065 743 381 943 1258 45 513 99 1178 685 567 884 328 1294 424 284 981 505 830 634 334 346 728 775 742 596 1217 602 657 117 819 983 87 304 1106 0 1249 221 1169 958 1244 926 505 178 1239 417 1062 127 735 1327 625 286 952 664 805 85 1153 1270 978 589 767 456 999 40 1024 1241 1278 136 249 1038 0 1132 89 361 626 852 531 916 1196 668 357 109 40 406 753 960 654 0 1151 156 935 57 350 556 322 227 501 838 1148 725 368 753 1258 1006 936 0 604 496 327 675 798 89 775 408 1072 139 236 1159 57 881 952 1053 1217 884 87 38 774 480 287 143 982 838 246 1156 685 528 1116 619 385 155 790 1131 372 1128 1259 1243 828 286 545 131 1081 1160 912 208 705 509 626 973 1301 22 305 869 1158 441 99 531 1066 819 616 351 2 726 900 186 1257 852 668 604 995 280 1008 765 675 439 166 400 88 456 1273 1142 315 550 1180 881 935 208 0 1058 831 629 715 424 1060 753 990 1196 350 1241 1239 74 155 0 522 690 435 1333 27 734 1180 609 1238 1000 7 61 1323 1219 723 912 1275 109 0 954 246 1159 742 1072 1139 1024 1351 1194 439 1062 334 371 1006 569 1141 139 68 1244 926 305 821 10 835 232 973 658 492 194 9 838 57 457 749 154 982 232 371 946 1233 519 1081 304 658 567 935 381 1169 1301 654 159 908 416 1086 57 18 447 227 0 341 156 27 1020 1024 569 752 630 1168 284 2 767 1132 158 1203 556 653 1141 390 1008 927 457 836 0 757 735 58 1039 1246 10 841 298 328 944 227 1106 705 0 55 972 762 1015 1246 999 249 990 447 1262 881 629 1060 178 1327 1128 104 998 1225 286 522 1278 274 690 1293 0 322 1351 646 434 357 152 372 953 722 1055 496 194 272 38 456 614 136 900 0 550 927 762 1006 347 1145 1080 609 936 87 1156 985 275 199 1152 236 229 513 1246 155 790 1230 846 0 1057 1270 153 
69.96/70.02	d AC 32
69.96/70.02	d RUNTIME 69.914
69.96/70.02	d NODES 6246
69.96/70.02	d NODES/s 89
69.96/70.02	d BACKTRACKS 1577
69.96/70.02	d BACKTRACKS/s 23
69.96/70.02	d CHECKS 0
69.96/70.02	d CHECKS/s 0
69.96/70.02	c SAT 69.914 TIME      6246 NDS    935 PARSTIME      2686 BUILDPB       66293 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-2076481-1247362881/watcher-2076481-1247362881 -o /tmp/evaluation-result-2076481-1247362881/solver-2076481-1247362881 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco-2.1.1.jar -file HOME/instance-2076481-1247362881.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.06 2.20 2.14 4/80 20165
/proc/meminfo: memFree=1745880/2055920 swapFree=4192812/4192956
[pid=20165] ppid=20163 vsize=152 CPUtime=0
/proc/20165/stat : 20165 (java) R 20163 20165 16990 0 -1 0 222 0 0 0 0 0 0 0 18 0 1 0 23352164 155648 26 996147200 134512640 134550932 4294955840 18446744073709551615 8605995 0 0 4096 0 0 0 0 17 0 0 0
/proc/20165/statm: 38 26 19 9 0 4 0

[startup+0.107271 s]
/proc/loadavg: 2.06 2.20 2.14 4/80 20165
/proc/meminfo: memFree=1745880/2055920 swapFree=4192812/4192956
[pid=20165] ppid=20163 vsize=864096 CPUtime=0.1
/proc/20165/stat : 20165 (java) S 20163 20165 16990 0 -1 0 3977 0 1 0 8 2 0 0 18 0 9 0 23352164 884834304 3424 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20165/statm: 216024 3424 1775 9 0 210492 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 864096

[startup+0.202279 s]
/proc/loadavg: 2.06 2.20 2.14 4/80 20165
/proc/meminfo: memFree=1745880/2055920 swapFree=4192812/4192956
[pid=20165] ppid=20163 vsize=864360 CPUtime=0.19
/proc/20165/stat : 20165 (java) S 20163 20165 16990 0 -1 0 4491 0 1 0 16 3 0 0 18 0 9 0 23352164 885104640 3916 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20165/statm: 216090 3916 1852 9 0 210558 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 864360

[startup+0.302292 s]
/proc/loadavg: 2.06 2.20 2.14 4/80 20165
/proc/meminfo: memFree=1745880/2055920 swapFree=4192812/4192956
[pid=20165] ppid=20163 vsize=864960 CPUtime=0.29
/proc/20165/stat : 20165 (java) S 20163 20165 16990 0 -1 0 5066 0 1 0 26 3 0 0 18 0 9 0 23352164 885719040 4491 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20165/statm: 216240 4492 1856 9 0 210708 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 864960

[startup+0.702338 s]
/proc/loadavg: 2.06 2.20 2.14 4/80 20165
/proc/meminfo: memFree=1745880/2055920 swapFree=4192812/4192956
[pid=20165] ppid=20163 vsize=864960 CPUtime=0.69
/proc/20165/stat : 20165 (java) S 20163 20165 16990 0 -1 0 9295 0 1 0 64 5 0 0 18 0 9 0 23352164 885719040 8709 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20165/statm: 216240 8710 1898 9 0 210708 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 864960

[startup+1.50243 s]
/proc/loadavg: 2.06 2.20 2.14 3/89 20174
/proc/meminfo: memFree=1692752/2055920 swapFree=4192812/4192956
[pid=20165] ppid=20163 vsize=865152 CPUtime=1.49
/proc/20165/stat : 20165 (java) S 20163 20165 16990 0 -1 0 19501 0 1 0 139 10 0 0 18 0 9 0 23352164 885915648 18893 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20165/statm: 216288 18893 1959 9 0 210756 0
[pid=20165/tid=20167] ppid=20163 vsize=865152 CPUtime=1.13
/proc/20165/task/20167/stat : 20167 (java) R 20163 20165 16990 0 -1 64 14534 0 1 0 107 6 0 0 25 0 9 0 23352165 885915648 18893 996147200 134512640 134550932 4294955840 18446744073709551615 103822527 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20168] ppid=20163 vsize=865152 CPUtime=0.09
/proc/20165/task/20168/stat : 20168 (java) S 20163 20165 16990 0 -1 64 3618 0 0 0 7 2 0 0 16 0 9 0 23352166 885915648 18893 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20169] ppid=20163 vsize=865152 CPUtime=0
/proc/20165/task/20169/stat : 20169 (java) S 20163 20165 16990 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 23352167 885915648 18893 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20170] ppid=20163 vsize=865152 CPUtime=0
/proc/20165/task/20170/stat : 20170 (java) S 20163 20165 16990 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 23352167 885915648 18893 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20171] ppid=20163 vsize=865152 CPUtime=0
/proc/20165/task/20171/stat : 20171 (java) S 20163 20165 16990 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 23352169 885915648 18893 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20172] ppid=20163 vsize=865152 CPUtime=0.24
/proc/20165/task/20172/stat : 20172 (java) S 20163 20165 16990 0 -1 64 617 0 0 0 24 0 0 0 16 0 9 0 23352169 885915648 18893 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20173] ppid=20163 vsize=865152 CPUtime=0
/proc/20165/task/20173/stat : 20173 (java) S 20163 20165 16990 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 23352169 885915648 18893 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20174] ppid=20163 vsize=865152 CPUtime=0
/proc/20165/task/20174/stat : 20174 (java) S 20163 20165 16990 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 23352169 885915648 18893 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 865152

[startup+3.10161 s]
/proc/loadavg: 2.06 2.20 2.14 3/89 20174
/proc/meminfo: memFree=1650000/2055920 swapFree=4192812/4192956
[pid=20165] ppid=20163 vsize=865152 CPUtime=3.09
/proc/20165/stat : 20165 (java) S 20163 20165 16990 0 -1 0 28453 0 1 0 295 14 0 0 18 0 9 0 23352164 885915648 27829 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20165/statm: 216288 27829 1981 9 0 210756 0
[pid=20165/tid=20167] ppid=20163 vsize=865152 CPUtime=2.4
/proc/20165/task/20167/stat : 20167 (java) R 20163 20165 16990 0 -1 64 14783 0 1 0 233 7 0 0 25 0 9 0 23352165 885915648 27829 996147200 134512640 134550932 4294955840 18446744073709551615 4127238995 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20168] ppid=20163 vsize=865152 CPUtime=0.35
/proc/20165/task/20168/stat : 20168 (java) S 20163 20165 16990 0 -1 64 12274 0 0 0 30 5 0 0 17 0 9 0 23352166 885915648 27829 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20169] ppid=20163 vsize=865152 CPUtime=0
/proc/20165/task/20169/stat : 20169 (java) S 20163 20165 16990 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 23352167 885915648 27829 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20170] ppid=20163 vsize=865152 CPUtime=0
/proc/20165/task/20170/stat : 20170 (java) S 20163 20165 16990 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 23352167 885915648 27829 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20171] ppid=20163 vsize=865152 CPUtime=0
/proc/20165/task/20171/stat : 20171 (java) S 20163 20165 16990 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 23352169 885915648 27829 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20172] ppid=20163 vsize=865152 CPUtime=0.31
/proc/20165/task/20172/stat : 20172 (java) S 20163 20165 16990 0 -1 64 664 0 0 0 31 0 0 0 16 0 9 0 23352169 885915648 27829 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20173] ppid=20163 vsize=865152 CPUtime=0
/proc/20165/task/20173/stat : 20173 (java) S 20163 20165 16990 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 23352169 885915648 27829 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20174] ppid=20163 vsize=865152 CPUtime=0
/proc/20165/task/20174/stat : 20174 (java) S 20163 20165 16990 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 23352169 885915648 27829 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 865152

[startup+6.30297 s]
/proc/loadavg: 2.06 2.20 2.14 3/89 20174
/proc/meminfo: memFree=1618896/2055920 swapFree=4192812/4192956
[pid=20165] ppid=20163 vsize=865268 CPUtime=6.29
/proc/20165/stat : 20165 (java) S 20163 20165 16990 0 -1 0 34197 0 1 0 610 19 0 0 18 0 9 0 23352164 886034432 33565 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20165/statm: 216317 33565 1998 9 0 210785 0
[pid=20165/tid=20167] ppid=20163 vsize=865268 CPUtime=5.29
/proc/20165/task/20167/stat : 20167 (java) R 20163 20165 16990 0 -1 64 14897 0 1 0 521 8 0 0 25 0 9 0 23352165 886034432 33565 996147200 134512640 134550932 4294955840 18446744073709551615 4126627004 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20168] ppid=20163 vsize=865268 CPUtime=0.51
/proc/20165/task/20168/stat : 20168 (java) S 20163 20165 16990 0 -1 64 17799 0 0 0 43 8 0 0 17 0 9 0 23352166 886034432 33565 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20169] ppid=20163 vsize=865268 CPUtime=0
/proc/20165/task/20169/stat : 20169 (java) S 20163 20165 16990 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 23352167 886034432 33565 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20170] ppid=20163 vsize=865268 CPUtime=0
/proc/20165/task/20170/stat : 20170 (java) S 20163 20165 16990 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 23352167 886034432 33565 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20171] ppid=20163 vsize=865268 CPUtime=0
/proc/20165/task/20171/stat : 20171 (java) S 20163 20165 16990 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 23352169 886034432 33565 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20172] ppid=20163 vsize=865268 CPUtime=0.46
/proc/20165/task/20172/stat : 20172 (java) S 20163 20165 16990 0 -1 64 769 0 0 0 45 1 0 0 16 0 9 0 23352169 886034432 33565 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20173] ppid=20163 vsize=865268 CPUtime=0
/proc/20165/task/20173/stat : 20173 (java) S 20163 20165 16990 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 23352169 886034432 33565 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20174] ppid=20163 vsize=865268 CPUtime=0
/proc/20165/task/20174/stat : 20174 (java) S 20163 20165 16990 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 23352169 886034432 33565 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 865268

[startup+12.7017 s]
/proc/loadavg: 2.20 2.23 2.15 3/89 20174
/proc/meminfo: memFree=1613264/2055920 swapFree=4192812/4192956
[pid=20165] ppid=20163 vsize=865268 CPUtime=12.68
/proc/20165/stat : 20165 (java) S 20163 20165 16990 0 -1 0 35544 0 1 0 1248 20 0 0 18 0 9 0 23352164 886034432 34909 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20165/statm: 216317 34909 1998 9 0 210785 0
[pid=20165/tid=20167] ppid=20163 vsize=865268 CPUtime=11.6
/proc/20165/task/20167/stat : 20167 (java) R 20163 20165 16990 0 -1 64 14900 0 1 0 1151 9 0 0 25 0 9 0 23352165 886034432 34909 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20168] ppid=20163 vsize=865268 CPUtime=0.58
/proc/20165/task/20168/stat : 20168 (java) S 20163 20165 16990 0 -1 64 19141 0 0 0 50 8 0 0 16 0 9 0 23352166 886034432 34909 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20169] ppid=20163 vsize=865268 CPUtime=0
/proc/20165/task/20169/stat : 20169 (java) S 20163 20165 16990 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 23352167 886034432 34909 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20170] ppid=20163 vsize=865268 CPUtime=0
/proc/20165/task/20170/stat : 20170 (java) S 20163 20165 16990 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 23352167 886034432 34909 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20171] ppid=20163 vsize=865268 CPUtime=0
/proc/20165/task/20171/stat : 20171 (java) S 20163 20165 16990 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 23352169 886034432 34909 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20172] ppid=20163 vsize=865268 CPUtime=0.46
/proc/20165/task/20172/stat : 20172 (java) S 20163 20165 16990 0 -1 64 771 0 0 0 45 1 0 0 16 0 9 0 23352169 886034432 34909 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20173] ppid=20163 vsize=865268 CPUtime=0
/proc/20165/task/20173/stat : 20173 (java) S 20163 20165 16990 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 23352169 886034432 34909 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20174] ppid=20163 vsize=865268 CPUtime=0
/proc/20165/task/20174/stat : 20174 (java) S 20163 20165 16990 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 23352169 886034432 34909 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 865268

[startup+25.5021 s]
/proc/loadavg: 2.16 2.22 2.14 3/89 20174
/proc/meminfo: memFree=1613136/2055920 swapFree=4192812/4192956
[pid=20165] ppid=20163 vsize=865268 CPUtime=25.48
/proc/20165/stat : 20165 (java) S 20163 20165 16990 0 -1 0 35565 0 1 0 2525 23 0 0 18 0 9 0 23352164 886034432 34922 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20165/statm: 216317 34922 2000 9 0 210785 0
[pid=20165/tid=20167] ppid=20163 vsize=865268 CPUtime=24.31
/proc/20165/task/20167/stat : 20167 (java) R 20163 20165 16990 0 -1 64 14917 0 1 0 2420 11 0 0 25 0 9 0 23352165 886034432 34922 996147200 134512640 134550932 4294955840 18446744073709551615 4127594304 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20168] ppid=20163 vsize=865268 CPUtime=0.66
/proc/20165/task/20168/stat : 20168 (java) S 20163 20165 16990 0 -1 64 19141 0 0 0 58 8 0 0 16 0 9 0 23352166 886034432 34922 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20169] ppid=20163 vsize=865268 CPUtime=0
/proc/20165/task/20169/stat : 20169 (java) S 20163 20165 16990 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 23352167 886034432 34922 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20170] ppid=20163 vsize=865268 CPUtime=0
/proc/20165/task/20170/stat : 20170 (java) S 20163 20165 16990 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 23352167 886034432 34922 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20171] ppid=20163 vsize=865268 CPUtime=0
/proc/20165/task/20171/stat : 20171 (java) S 20163 20165 16990 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 23352169 886034432 34922 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20172] ppid=20163 vsize=865268 CPUtime=0.47
/proc/20165/task/20172/stat : 20172 (java) S 20163 20165 16990 0 -1 64 775 0 0 0 46 1 0 0 15 0 9 0 23352169 886034432 34922 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20173] ppid=20163 vsize=865268 CPUtime=0
/proc/20165/task/20173/stat : 20173 (java) S 20163 20165 16990 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 23352169 886034432 34922 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20174] ppid=20163 vsize=865268 CPUtime=0
/proc/20165/task/20174/stat : 20174 (java) S 20163 20165 16990 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 23352169 886034432 34922 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 865268

[startup+51.103 s]
/proc/loadavg: 2.24 2.23 2.15 3/89 20174
/proc/meminfo: memFree=1609168/2055920 swapFree=4192812/4192956
[pid=20165] ppid=20163 vsize=865268 CPUtime=51.07
/proc/20165/stat : 20165 (java) S 20163 20165 16990 0 -1 0 36099 0 1 0 5083 24 0 0 18 0 9 0 23352164 886034432 35437 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20165/statm: 216317 35437 2003 9 0 210785 0
[pid=20165/tid=20167] ppid=20163 vsize=865268 CPUtime=49.73
/proc/20165/task/20167/stat : 20167 (java) R 20163 20165 16990 0 -1 64 14936 0 1 0 4961 12 0 0 25 0 9 0 23352165 886034432 35437 996147200 134512640 134550932 4294955840 18446744073709551615 4127688925 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20168] ppid=20163 vsize=865268 CPUtime=0.82
/proc/20165/task/20168/stat : 20168 (java) S 20163 20165 16990 0 -1 64 19646 0 0 0 73 9 0 0 16 0 9 0 23352166 886034432 35437 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20169] ppid=20163 vsize=865268 CPUtime=0
/proc/20165/task/20169/stat : 20169 (java) S 20163 20165 16990 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 23352167 886034432 35437 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20170] ppid=20163 vsize=865268 CPUtime=0
/proc/20165/task/20170/stat : 20170 (java) S 20163 20165 16990 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 23352167 886034432 35437 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20171] ppid=20163 vsize=865268 CPUtime=0
/proc/20165/task/20171/stat : 20171 (java) S 20163 20165 16990 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 23352169 886034432 35437 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20172] ppid=20163 vsize=865268 CPUtime=0.48
/proc/20165/task/20172/stat : 20172 (java) S 20163 20165 16990 0 -1 64 785 0 0 0 47 1 0 0 16 0 9 0 23352169 886034432 35437 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20173] ppid=20163 vsize=865268 CPUtime=0
/proc/20165/task/20173/stat : 20173 (java) S 20163 20165 16990 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 23352169 886034432 35437 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0

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

/proc/20165/stat : 20165 (java) S 20163 20165 16990 0 -1 0 36099 0 1 0 5093 24 0 0 18 0 9 0 23352164 886034432 35437 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20165/statm: 216317 35437 2003 9 0 210785 0
[pid=20165/tid=20167] ppid=20163 vsize=865268 CPUtime=49.83
/proc/20165/task/20167/stat : 20167 (java) R 20163 20165 16990 0 -1 64 14936 0 1 0 4971 12 0 0 25 0 9 0 23352165 886034432 35437 996147200 134512640 134550932 4294955840 18446744073709551615 4127684607 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20168] ppid=20163 vsize=865268 CPUtime=0.82
/proc/20165/task/20168/stat : 20168 (java) S 20163 20165 16990 0 -1 64 19646 0 0 0 73 9 0 0 16 0 9 0 23352166 886034432 35437 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20169] ppid=20163 vsize=865268 CPUtime=0
/proc/20165/task/20169/stat : 20169 (java) S 20163 20165 16990 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 23352167 886034432 35437 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20170] ppid=20163 vsize=865268 CPUtime=0
/proc/20165/task/20170/stat : 20170 (java) S 20163 20165 16990 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 23352167 886034432 35437 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20171] ppid=20163 vsize=865268 CPUtime=0
/proc/20165/task/20171/stat : 20171 (java) S 20163 20165 16990 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 23352169 886034432 35437 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20172] ppid=20163 vsize=865268 CPUtime=0.48
/proc/20165/task/20172/stat : 20172 (java) S 20163 20165 16990 0 -1 64 785 0 0 0 47 1 0 0 16 0 9 0 23352169 886034432 35437 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20173] ppid=20163 vsize=865268 CPUtime=0
/proc/20165/task/20173/stat : 20173 (java) S 20163 20165 16990 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 23352169 886034432 35437 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20174] ppid=20163 vsize=865268 CPUtime=0
/proc/20165/task/20174/stat : 20174 (java) S 20163 20165 16990 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 23352169 886034432 35437 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.17
Current children cumulated vsize (KiB) 865268

[startup+57.6027 s]
/proc/loadavg: 2.20 2.22 2.15 3/89 20174
/proc/meminfo: memFree=1609168/2055920 swapFree=4192812/4192956
[pid=20165] ppid=20163 vsize=865268 CPUtime=57.56
/proc/20165/stat : 20165 (java) S 20163 20165 16990 0 -1 0 36104 0 1 0 5732 24 0 0 18 0 9 0 23352164 886034432 35439 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20165/statm: 216317 35439 2003 9 0 210785 0
[pid=20165/tid=20167] ppid=20163 vsize=865268 CPUtime=56.22
/proc/20165/task/20167/stat : 20167 (java) R 20163 20165 16990 0 -1 64 14939 0 1 0 5610 12 0 0 25 0 9 0 23352165 886034432 35439 996147200 134512640 134550932 4294955840 18446744073709551615 4127445024 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20168] ppid=20163 vsize=865268 CPUtime=0.83
/proc/20165/task/20168/stat : 20168 (java) S 20163 20165 16990 0 -1 64 19648 0 0 0 74 9 0 0 16 0 9 0 23352166 886034432 35439 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20169] ppid=20163 vsize=865268 CPUtime=0
/proc/20165/task/20169/stat : 20169 (java) S 20163 20165 16990 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 23352167 886034432 35439 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20170] ppid=20163 vsize=865268 CPUtime=0
/proc/20165/task/20170/stat : 20170 (java) S 20163 20165 16990 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 23352167 886034432 35439 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20171] ppid=20163 vsize=865268 CPUtime=0
/proc/20165/task/20171/stat : 20171 (java) S 20163 20165 16990 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 23352169 886034432 35439 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20172] ppid=20163 vsize=865268 CPUtime=0.48
/proc/20165/task/20172/stat : 20172 (java) S 20163 20165 16990 0 -1 64 785 0 0 0 47 1 0 0 16 0 9 0 23352169 886034432 35439 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20173] ppid=20163 vsize=865268 CPUtime=0
/proc/20165/task/20173/stat : 20173 (java) S 20163 20165 16990 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 23352169 886034432 35439 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20174] ppid=20163 vsize=865268 CPUtime=0
/proc/20165/task/20174/stat : 20174 (java) S 20163 20165 16990 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 23352169 886034432 35439 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 57.56
Current children cumulated vsize (KiB) 865268

[startup+64.0014 s]
/proc/loadavg: 2.18 2.22 2.15 3/89 20174
/proc/meminfo: memFree=1609104/2055920 swapFree=4192812/4192956
[pid=20165] ppid=20163 vsize=865268 CPUtime=63.97
/proc/20165/stat : 20165 (java) S 20163 20165 16990 0 -1 0 36110 0 1 0 6372 25 0 0 18 0 9 0 23352164 886034432 35441 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20165/statm: 216317 35441 2003 9 0 210785 0
[pid=20165/tid=20167] ppid=20163 vsize=865268 CPUtime=62.61
/proc/20165/task/20167/stat : 20167 (java) R 20163 20165 16990 0 -1 64 14943 0 1 0 6248 13 0 0 25 0 9 0 23352165 886034432 35441 996147200 134512640 134550932 4294955840 18446744073709551615 4127456590 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20168] ppid=20163 vsize=865268 CPUtime=0.84
/proc/20165/task/20168/stat : 20168 (java) S 20163 20165 16990 0 -1 64 19650 0 0 0 75 9 0 0 16 0 9 0 23352166 886034432 35441 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20169] ppid=20163 vsize=865268 CPUtime=0
/proc/20165/task/20169/stat : 20169 (java) S 20163 20165 16990 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 23352167 886034432 35441 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20170] ppid=20163 vsize=865268 CPUtime=0
/proc/20165/task/20170/stat : 20170 (java) S 20163 20165 16990 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 23352167 886034432 35441 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20171] ppid=20163 vsize=865268 CPUtime=0
/proc/20165/task/20171/stat : 20171 (java) S 20163 20165 16990 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 23352169 886034432 35441 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20172] ppid=20163 vsize=865268 CPUtime=0.48
/proc/20165/task/20172/stat : 20172 (java) S 20163 20165 16990 0 -1 64 785 0 0 0 47 1 0 0 16 0 9 0 23352169 886034432 35441 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20173] ppid=20163 vsize=865268 CPUtime=0
/proc/20165/task/20173/stat : 20173 (java) S 20163 20165 16990 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 23352169 886034432 35441 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20174] ppid=20163 vsize=865268 CPUtime=0
/proc/20165/task/20174/stat : 20174 (java) S 20163 20165 16990 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 23352169 886034432 35441 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 63.97
Current children cumulated vsize (KiB) 865268

[startup+67.2078 s]
/proc/loadavg: 2.17 2.22 2.15 3/89 20174
/proc/meminfo: memFree=1608976/2055920 swapFree=4192812/4192956
[pid=20165] ppid=20163 vsize=865268 CPUtime=67.17
/proc/20165/stat : 20165 (java) S 20163 20165 16990 0 -1 0 36115 0 1 0 6692 25 0 0 18 0 9 0 23352164 886034432 35444 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20165/statm: 216317 35444 2003 9 0 210785 0
[pid=20165/tid=20167] ppid=20163 vsize=865268 CPUtime=65.81
/proc/20165/task/20167/stat : 20167 (java) R 20163 20165 16990 0 -1 64 14945 0 1 0 6568 13 0 0 25 0 9 0 23352165 886034432 35444 996147200 134512640 134550932 4294955840 18446744073709551615 4127684688 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20168] ppid=20163 vsize=865268 CPUtime=0.85
/proc/20165/task/20168/stat : 20168 (java) S 20163 20165 16990 0 -1 64 19652 0 0 0 76 9 0 0 16 0 9 0 23352166 886034432 35444 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20169] ppid=20163 vsize=865268 CPUtime=0
/proc/20165/task/20169/stat : 20169 (java) S 20163 20165 16990 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 23352167 886034432 35444 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20170] ppid=20163 vsize=865268 CPUtime=0
/proc/20165/task/20170/stat : 20170 (java) S 20163 20165 16990 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 23352167 886034432 35444 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20171] ppid=20163 vsize=865268 CPUtime=0
/proc/20165/task/20171/stat : 20171 (java) S 20163 20165 16990 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 23352169 886034432 35444 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20172] ppid=20163 vsize=865268 CPUtime=0.49
/proc/20165/task/20172/stat : 20172 (java) S 20163 20165 16990 0 -1 64 786 0 0 0 48 1 0 0 15 0 9 0 23352169 886034432 35444 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20173] ppid=20163 vsize=865268 CPUtime=0
/proc/20165/task/20173/stat : 20173 (java) S 20163 20165 16990 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 23352169 886034432 35444 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20174] ppid=20163 vsize=865268 CPUtime=0
/proc/20165/task/20174/stat : 20174 (java) S 20163 20165 16990 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 23352169 886034432 35444 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 67.17
Current children cumulated vsize (KiB) 865268

[startup+68.803 s]
/proc/loadavg: 2.17 2.22 2.15 3/89 20174
/proc/meminfo: memFree=1608976/2055920 swapFree=4192812/4192956
[pid=20165] ppid=20163 vsize=865268 CPUtime=68.77
/proc/20165/stat : 20165 (java) S 20163 20165 16990 0 -1 0 36117 0 1 0 6852 25 0 0 18 0 9 0 23352164 886034432 35446 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20165/statm: 216317 35446 2003 9 0 210785 0
[pid=20165/tid=20167] ppid=20163 vsize=865268 CPUtime=67.4
/proc/20165/task/20167/stat : 20167 (java) R 20163 20165 16990 0 -1 64 14945 0 1 0 6727 13 0 0 25 0 9 0 23352165 886034432 35446 996147200 134512640 134550932 4294955840 18446744073709551615 4127469796 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20168] ppid=20163 vsize=865268 CPUtime=0.85
/proc/20165/task/20168/stat : 20168 (java) S 20163 20165 16990 0 -1 64 19652 0 0 0 76 9 0 0 16 0 9 0 23352166 886034432 35446 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20169] ppid=20163 vsize=865268 CPUtime=0
/proc/20165/task/20169/stat : 20169 (java) S 20163 20165 16990 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 23352167 886034432 35446 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20170] ppid=20163 vsize=865268 CPUtime=0
/proc/20165/task/20170/stat : 20170 (java) S 20163 20165 16990 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 23352167 886034432 35446 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20171] ppid=20163 vsize=865268 CPUtime=0
/proc/20165/task/20171/stat : 20171 (java) S 20163 20165 16990 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 23352169 886034432 35446 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20172] ppid=20163 vsize=865268 CPUtime=0.49
/proc/20165/task/20172/stat : 20172 (java) S 20163 20165 16990 0 -1 64 788 0 0 0 48 1 0 0 15 0 9 0 23352169 886034432 35446 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20173] ppid=20163 vsize=865268 CPUtime=0
/proc/20165/task/20173/stat : 20173 (java) S 20163 20165 16990 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 23352169 886034432 35446 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20174] ppid=20163 vsize=865268 CPUtime=0
/proc/20165/task/20174/stat : 20174 (java) S 20163 20165 16990 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 23352169 886034432 35446 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 68.77
Current children cumulated vsize (KiB) 865268

[startup+69.6021 s]
/proc/loadavg: 2.17 2.22 2.15 3/89 20174
/proc/meminfo: memFree=1608976/2055920 swapFree=4192812/4192956
[pid=20165] ppid=20163 vsize=865268 CPUtime=69.56
/proc/20165/stat : 20165 (java) S 20163 20165 16990 0 -1 0 36118 0 1 0 6931 25 0 0 18 0 9 0 23352164 886034432 35447 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20165/statm: 216317 35447 2003 9 0 210785 0
[pid=20165/tid=20167] ppid=20163 vsize=865268 CPUtime=68.19
/proc/20165/task/20167/stat : 20167 (java) R 20163 20165 16990 0 -1 64 14945 0 1 0 6806 13 0 0 25 0 9 0 23352165 886034432 35447 996147200 134512640 134550932 4294955840 18446744073709551615 4125903052 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20168] ppid=20163 vsize=865268 CPUtime=0.85
/proc/20165/task/20168/stat : 20168 (java) S 20163 20165 16990 0 -1 64 19652 0 0 0 76 9 0 0 16 0 9 0 23352166 886034432 35447 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20169] ppid=20163 vsize=865268 CPUtime=0
/proc/20165/task/20169/stat : 20169 (java) S 20163 20165 16990 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 23352167 886034432 35447 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20170] ppid=20163 vsize=865268 CPUtime=0
/proc/20165/task/20170/stat : 20170 (java) S 20163 20165 16990 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 23352167 886034432 35447 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20171] ppid=20163 vsize=865268 CPUtime=0
/proc/20165/task/20171/stat : 20171 (java) S 20163 20165 16990 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 23352169 886034432 35447 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20172] ppid=20163 vsize=865268 CPUtime=0.49
/proc/20165/task/20172/stat : 20172 (java) S 20163 20165 16990 0 -1 64 789 0 0 0 48 1 0 0 15 0 9 0 23352169 886034432 35447 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20173] ppid=20163 vsize=865268 CPUtime=0
/proc/20165/task/20173/stat : 20173 (java) S 20163 20165 16990 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 23352169 886034432 35447 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20174] ppid=20163 vsize=865268 CPUtime=0
/proc/20165/task/20174/stat : 20174 (java) S 20163 20165 16990 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 23352169 886034432 35447 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 69.56
Current children cumulated vsize (KiB) 865268

[startup+70.0011 s]
/proc/loadavg: 2.17 2.22 2.15 3/89 20174
/proc/meminfo: memFree=1608976/2055920 swapFree=4192812/4192956
[pid=20165] ppid=20163 vsize=865268 CPUtime=69.96
/proc/20165/stat : 20165 (java) S 20163 20165 16990 0 -1 0 36118 0 1 0 6971 25 0 0 18 0 9 0 23352164 886034432 35447 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20165/statm: 216317 35447 2003 9 0 210785 0
[pid=20165/tid=20167] ppid=20163 vsize=865268 CPUtime=68.59
/proc/20165/task/20167/stat : 20167 (java) R 20163 20165 16990 0 -1 64 14945 0 1 0 6846 13 0 0 25 0 9 0 23352165 886034432 35447 996147200 134512640 134550932 4294955840 18446744073709551615 4125903142 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20168] ppid=20163 vsize=865268 CPUtime=0.85
/proc/20165/task/20168/stat : 20168 (java) S 20163 20165 16990 0 -1 64 19652 0 0 0 76 9 0 0 16 0 9 0 23352166 886034432 35447 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20169] ppid=20163 vsize=865268 CPUtime=0
/proc/20165/task/20169/stat : 20169 (java) S 20163 20165 16990 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 23352167 886034432 35447 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20170] ppid=20163 vsize=865268 CPUtime=0
/proc/20165/task/20170/stat : 20170 (java) S 20163 20165 16990 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 23352167 886034432 35447 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20171] ppid=20163 vsize=865268 CPUtime=0
/proc/20165/task/20171/stat : 20171 (java) S 20163 20165 16990 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 23352169 886034432 35447 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20172] ppid=20163 vsize=865268 CPUtime=0.49
/proc/20165/task/20172/stat : 20172 (java) S 20163 20165 16990 0 -1 64 789 0 0 0 48 1 0 0 15 0 9 0 23352169 886034432 35447 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20173] ppid=20163 vsize=865268 CPUtime=0
/proc/20165/task/20173/stat : 20173 (java) S 20163 20165 16990 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 23352169 886034432 35447 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20165/tid=20174] ppid=20163 vsize=865268 CPUtime=0
/proc/20165/task/20174/stat : 20174 (java) S 20163 20165 16990 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 23352169 886034432 35447 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 69.96
Current children cumulated vsize (KiB) 865268

Child status: 0
Real time (s): 70.0728
CPU time (s): 70.0104
CPU user time (s): 69.7374
CPU system time (s): 0.272958
CPU usage (%): 99.9109
Max. virtual memory (cumulated for all children) (KiB): 865268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 69.7374
system time used= 0.272958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36140
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= 4726
involuntary context switches= 4953

runsolver used 0.100984 second user time and 0.224965 second system time

The end

Launcher Data 

Begin job on node38 at 2009-07-12 03:41:21
IDJOB=2076481
IDBENCH=56435
IDSOLVER=737
FILE ID=node38/2076481-1247362881
PBS_JOBID= 9506861
Free space on /tmp= 66396 MiB

SOLVER NAME= Choco2.1.1 2009-06-10
BENCH NAME= CPAI08/csp/os-taillard-20/normalized-os-taillard-20-100-6.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-2076481-1247362881/watcher-2076481-1247362881 -o /tmp/evaluation-result-2076481-1247362881/solver-2076481-1247362881 -C 1800 -W 2000 -M 900  java -Xms700M -Xmx700M -jar HOME/choco-2.1.1.jar -file HOME/instance-2076481-1247362881.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= 822c8f0751f873c488a8bb0f5ccf69cd
RANDOM SEED=1943366930

node38.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.229
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.229
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:       1746360 kB
Buffers:         19980 kB
Cached:          92696 kB
SwapCached:          0 kB
Active:         206892 kB
Inactive:        53936 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1746360 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            7372 kB
Writeback:           0 kB
Mapped:         166028 kB
Slab:            33636 kB
Committed_AS:   926064 kB
PageTables:       2132 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= 66392 MiB
End job on node38 at 2009-07-12 03:42:31