Trace number 2116190

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Choco2.1.1b 2009-07-16SAT 85.0351 85.1257

DiagnosticValue
CHECKS0
NODES7735

General information on the benchmark

Namecsp/os-taillard-20/
normalized-os-taillard-20-100-3.xml
MD5SUMb03ce6bb41b3c7eeec8edd1190e4268e
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 benchmark7.06092
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1310
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 

84.92/85.08	s SATISFIABLE
84.92/85.08	v 668 856 303 509 4 1059 983 771 956 574 720 157 607 91 1036 926 1173 400 223 11 166 959 1192 490 729 30 633 660 856 230 864 77 1045 725 328 705 762 401 572 1131 525 671 1149 376 1059 1238 727 32 194 900 355 440 289 575 0 117 396 548 772 959 720 402 1198 1039 463 870 4 1184 508 615 166 761 0 880 774 334 257 1026 936 114 232 0 1284 1154 996 649 475 822 76 864 746 224 152 306 544 879 5 1234 1053 559 312 576 1192 32 971 363 157 0 1034 710 1078 448 1288 856 227 508 304 671 894 957 616 1052 737 525 1234 819 724 478 1260 379 72 152 887 1068 1167 733 664 985 236 1190 664 865 1107 348 692 419 1293 1009 794 412 959 76 276 181 1199 298 532 116 577 1154 1279 600 83 363 716 537 196 1289 306 0 794 410 979 1047 1208 1229 792 1136 445 879 0 726 669 880 442 974 1058 410 64 181 354 272 792 1167 487 99 577 1096 1210 348 784 1042 1169 401 556 661 973 1276 1129 1242 476 167 355 281 597 436 340 0 518 100 345 962 531 1149 207 283 1063 864 396 774 1169 108 1184 241 935 1273 1299 655 59 665 1119 1045 177 20 1288 77 1068 239 772 1280 930 521 377 985 1242 1293 650 1169 312 423 451 729 923 973 1060 0 876 221 155 666 280 17 64 1126 1129 1223 232 537 827 355 518 167 666 399 1202 960 0 1129 603 1005 72 1287 440 1088 241 984 1251 810 112 131 207 556 257 351 1143 317 616 926 388 157 108 669 0 245 60 819 459 1063 1007 1200 655 340 766 1153 306 716 887 615 822 1034 607 283 519 650 192 1263 490 1151 762 413 534 833 451 56 1279 1181 11 1063 5 959 1143 608 388 1200 196 288 155 59 97 1303 289 894 64 819 1260 930 725 648 1174 1039 1060 30 451 105 905 1177 192 0 674 1114 900 575 766 622 1261 1113 968 245 1178 478 173 324 1059 834 1029 668 112 509 400 1136 
84.92/85.08	d AC 32
84.92/85.08	d RUNTIME 84.912
84.92/85.08	d NODES 7735
84.92/85.08	d NODES/s 91
84.92/85.08	d BACKTRACKS 2166
84.92/85.08	d BACKTRACKS/s 26
84.92/85.08	d CHECKS 0
84.92/85.08	d CHECKS/s 0
84.92/85.08	c SAT 84.912 TIME      7735 NDS    929 PARSTIME      656 BUILDPB       1805 CONFIG        81522 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-2116190-1248030789/watcher-2116190-1248030789 -o /tmp/evaluation-result-2116190-1248030789/solver-2116190-1248030789 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2116190-1248030789.xml -randval true -h 1 -ac 32 -saclim 60 -s true -verb 0 -seed 11041979 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 1.98 1.91 4/80 30614
/proc/meminfo: memFree=917936/2055924 swapFree=4192812/4192956
[pid=30614] ppid=30612 vsize=152 CPUtime=0
/proc/30614/stat : 30614 (java) R 30612 30614 29319 0 -1 0 222 0 0 0 0 0 0 0 18 0 1 0 90146339 155648 26 996147200 134512640 134550932 4294955888 18446744073709551615 2188068 0 0 4096 0 0 0 0 17 0 0 0
/proc/30614/statm: 38 26 19 9 0 4 0

[startup+0.0843211 s]
/proc/loadavg: 2.00 1.98 1.91 4/80 30614
/proc/meminfo: memFree=917936/2055924 swapFree=4192812/4192956
[pid=30614] ppid=30612 vsize=862184 CPUtime=0.05
/proc/30614/stat : 30614 (java) S 30612 30614 29319 0 -1 0 2958 0 1 0 4 1 0 0 18 0 9 0 90146339 882876416 2453 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30614/statm: 215546 2455 1183 9 0 210416 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 862184

[startup+0.101317 s]
/proc/loadavg: 2.00 1.98 1.91 4/80 30614
/proc/meminfo: memFree=917936/2055924 swapFree=4192812/4192956
[pid=30614] ppid=30612 vsize=862296 CPUtime=0.06
/proc/30614/stat : 30614 (java) S 30612 30614 29319 0 -1 0 3274 0 1 0 5 1 0 0 18 0 9 0 90146339 882991104 2742 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30614/statm: 215574 2742 1299 9 0 210444 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 862296

[startup+0.301958 s]
/proc/loadavg: 2.00 1.98 1.91 4/80 30614
/proc/meminfo: memFree=917936/2055924 swapFree=4192812/4192956
[pid=30614] ppid=30612 vsize=864884 CPUtime=0.27
/proc/30614/stat : 30614 (java) S 30612 30614 29319 0 -1 0 4815 0 1 0 25 2 0 0 18 0 9 0 90146339 885641216 4240 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30614/statm: 216221 4240 1858 9 0 210690 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 864884

[startup+0.702439 s]
/proc/loadavg: 2.00 1.98 1.91 4/80 30614
/proc/meminfo: memFree=917936/2055924 swapFree=4192812/4192956
[pid=30614] ppid=30612 vsize=865012 CPUtime=0.66
/proc/30614/stat : 30614 (java) S 30612 30614 29319 0 -1 0 9129 0 1 0 62 4 0 0 18 0 9 0 90146339 885772288 8544 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30614/statm: 216253 8545 1901 9 0 210722 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 865012

[startup+1.50259 s]
/proc/loadavg: 2.00 1.98 1.91 3/89 30623
/proc/meminfo: memFree=870568/2055924 swapFree=4192812/4192956
[pid=30614] ppid=30612 vsize=865136 CPUtime=1.46
/proc/30614/stat : 30614 (java) S 30612 30614 29319 0 -1 0 19507 0 1 0 135 11 0 0 18 0 9 0 90146339 885899264 18898 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30614/statm: 216284 18898 1956 9 0 210753 0
[pid=30614/tid=30616] ppid=30612 vsize=865136 CPUtime=1.11
/proc/30614/task/30616/stat : 30616 (java) R 30612 30614 29319 0 -1 64 14531 0 1 0 103 8 0 0 25 0 9 0 90146340 885899264 18898 996147200 134512640 134550932 4294955888 18446744073709551615 102883130 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30617] ppid=30612 vsize=865136 CPUtime=0.09
/proc/30614/task/30617/stat : 30617 (java) S 30612 30614 29319 0 -1 64 3629 0 0 0 8 1 0 0 16 0 9 0 90146343 885899264 18898 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30618] ppid=30612 vsize=865136 CPUtime=0
/proc/30614/task/30618/stat : 30618 (java) S 30612 30614 29319 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90146343 885899264 18898 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30619] ppid=30612 vsize=865136 CPUtime=0
/proc/30614/task/30619/stat : 30619 (java) S 30612 30614 29319 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90146343 885899264 18898 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30620] ppid=30612 vsize=865136 CPUtime=0
/proc/30614/task/30620/stat : 30620 (java) S 30612 30614 29319 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 90146345 885899264 18898 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30621] ppid=30612 vsize=865136 CPUtime=0.23
/proc/30614/task/30621/stat : 30621 (java) S 30612 30614 29319 0 -1 64 616 0 0 0 23 0 0 0 16 0 9 0 90146345 885899264 18898 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30622] ppid=30612 vsize=865136 CPUtime=0
/proc/30614/task/30622/stat : 30622 (java) S 30612 30614 29319 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 90146345 885899264 18898 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30623] ppid=30612 vsize=865136 CPUtime=0
/proc/30614/task/30623/stat : 30623 (java) S 30612 30614 29319 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90146345 885899264 18898 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 865136

[startup+3.10291 s]
/proc/loadavg: 2.00 1.98 1.91 4/89 30623
/proc/meminfo: memFree=841640/2055924 swapFree=4192812/4192956
[pid=30614] ppid=30612 vsize=865136 CPUtime=3.07
/proc/30614/stat : 30614 (java) S 30612 30614 29319 0 -1 0 23879 0 1 0 293 14 0 0 18 0 9 0 90146339 885899264 23253 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30614/statm: 216284 23253 1980 9 0 210753 0
[pid=30614/tid=30616] ppid=30612 vsize=865136 CPUtime=2.52
/proc/30614/task/30616/stat : 30616 (java) R 30612 30614 29319 0 -1 64 14785 0 1 0 243 9 0 0 25 0 9 0 90146340 885899264 23253 996147200 134512640 134550932 4294955888 18446744073709551615 4127309301 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30617] ppid=30612 vsize=865136 CPUtime=0.21
/proc/30614/task/30617/stat : 30617 (java) S 30612 30614 29319 0 -1 64 7686 0 0 0 18 3 0 0 16 0 9 0 90146343 885899264 23253 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30618] ppid=30612 vsize=865136 CPUtime=0
/proc/30614/task/30618/stat : 30618 (java) S 30612 30614 29319 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90146343 885899264 23253 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30619] ppid=30612 vsize=865136 CPUtime=0
/proc/30614/task/30619/stat : 30619 (java) S 30612 30614 29319 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90146343 885899264 23253 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30620] ppid=30612 vsize=865136 CPUtime=0
/proc/30614/task/30620/stat : 30620 (java) S 30612 30614 29319 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 90146345 885899264 23253 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30621] ppid=30612 vsize=865136 CPUtime=0.31
/proc/30614/task/30621/stat : 30621 (java) S 30612 30614 29319 0 -1 64 677 0 0 0 31 0 0 0 15 0 9 0 90146345 885899264 23253 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30622] ppid=30612 vsize=865136 CPUtime=0
/proc/30614/task/30622/stat : 30622 (java) S 30612 30614 29319 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 90146345 885899264 23253 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30623] ppid=30612 vsize=865136 CPUtime=0
/proc/30614/task/30623/stat : 30623 (java) S 30612 30614 29319 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90146345 885899264 23253 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 865136

[startup+6.30253 s]
/proc/loadavg: 2.00 1.98 1.91 3/89 30623
/proc/meminfo: memFree=805672/2055924 swapFree=4192812/4192956
[pid=30614] ppid=30612 vsize=865264 CPUtime=6.26
/proc/30614/stat : 30614 (java) S 30612 30614 29319 0 -1 0 30552 0 1 0 608 18 0 0 18 0 9 0 90146339 886030336 29919 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30614/statm: 216316 29919 1998 9 0 210785 0
[pid=30614/tid=30616] ppid=30612 vsize=865264 CPUtime=5.36
/proc/30614/task/30616/stat : 30616 (java) R 30612 30614 29319 0 -1 64 14901 0 1 0 527 9 0 0 25 0 9 0 90146340 886030336 29919 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30617] ppid=30612 vsize=865264 CPUtime=0.4
/proc/30614/task/30617/stat : 30617 (java) S 30612 30614 29319 0 -1 64 14142 0 0 0 34 6 0 0 17 0 9 0 90146343 886030336 29919 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30618] ppid=30612 vsize=865264 CPUtime=0
/proc/30614/task/30618/stat : 30618 (java) S 30612 30614 29319 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90146343 886030336 29919 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30619] ppid=30612 vsize=865264 CPUtime=0
/proc/30614/task/30619/stat : 30619 (java) S 30612 30614 29319 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90146343 886030336 29919 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30620] ppid=30612 vsize=865264 CPUtime=0
/proc/30614/task/30620/stat : 30620 (java) S 30612 30614 29319 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 90146345 886030336 29919 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30621] ppid=30612 vsize=865264 CPUtime=0.46
/proc/30614/task/30621/stat : 30621 (java) S 30612 30614 29319 0 -1 64 778 0 0 0 45 1 0 0 15 0 9 0 90146345 886030336 29919 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30622] ppid=30612 vsize=865264 CPUtime=0
/proc/30614/task/30622/stat : 30622 (java) S 30612 30614 29319 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 90146345 886030336 29919 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30623] ppid=30612 vsize=865264 CPUtime=0
/proc/30614/task/30623/stat : 30623 (java) S 30612 30614 29319 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90146345 886030336 29919 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 865264

[startup+12.7063 s]
/proc/loadavg: 2.00 1.98 1.91 3/89 30623
/proc/meminfo: memFree=799976/2055924 swapFree=4192812/4192956
[pid=30614] ppid=30612 vsize=865264 CPUtime=12.67
/proc/30614/stat : 30614 (java) S 30612 30614 29319 0 -1 0 31935 0 1 0 1247 20 0 0 18 0 9 0 90146339 886030336 31300 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30614/statm: 216316 31300 1998 9 0 210785 0
[pid=30614/tid=30616] ppid=30612 vsize=865264 CPUtime=11.71
/proc/30614/task/30616/stat : 30616 (java) R 30612 30614 29319 0 -1 64 14903 0 1 0 1161 10 0 0 25 0 9 0 90146340 886030336 31300 996147200 134512640 134550932 4294955888 18446744073709551615 4126046720 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30617] ppid=30612 vsize=865264 CPUtime=0.44
/proc/30614/task/30617/stat : 30617 (java) S 30612 30614 29319 0 -1 64 15520 0 0 0 38 6 0 0 16 0 9 0 90146343 886030336 31300 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30618] ppid=30612 vsize=865264 CPUtime=0
/proc/30614/task/30618/stat : 30618 (java) S 30612 30614 29319 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90146343 886030336 31300 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30619] ppid=30612 vsize=865264 CPUtime=0
/proc/30614/task/30619/stat : 30619 (java) S 30612 30614 29319 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90146343 886030336 31300 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30620] ppid=30612 vsize=865264 CPUtime=0
/proc/30614/task/30620/stat : 30620 (java) S 30612 30614 29319 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 90146345 886030336 31300 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30621] ppid=30612 vsize=865264 CPUtime=0.47
/proc/30614/task/30621/stat : 30621 (java) S 30612 30614 29319 0 -1 64 781 0 0 0 46 1 0 0 16 0 9 0 90146345 886030336 31300 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30622] ppid=30612 vsize=865264 CPUtime=0
/proc/30614/task/30622/stat : 30622 (java) S 30612 30614 29319 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 90146345 886030336 31300 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30623] ppid=30612 vsize=865264 CPUtime=0
/proc/30614/task/30623/stat : 30623 (java) S 30612 30614 29319 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90146345 886030336 31300 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 865264

[startup+25.5023 s]
/proc/loadavg: 2.00 1.98 1.91 3/89 30623
/proc/meminfo: memFree=799912/2055924 swapFree=4192812/4192956
[pid=30614] ppid=30612 vsize=865264 CPUtime=25.45
/proc/30614/stat : 30614 (java) S 30612 30614 29319 0 -1 0 31952 0 1 0 2524 21 0 0 18 0 9 0 90146339 886030336 31311 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30614/statm: 216316 31311 2000 9 0 210785 0
[pid=30614/tid=30616] ppid=30612 vsize=865264 CPUtime=24.47
/proc/30614/task/30616/stat : 30616 (java) R 30612 30614 29319 0 -1 64 14917 0 1 0 2435 12 0 0 25 0 9 0 90146340 886030336 31311 996147200 134512640 134550932 4294955888 18446744073709551615 4127618096 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30617] ppid=30612 vsize=865264 CPUtime=0.47
/proc/30614/task/30617/stat : 30617 (java) S 30612 30614 29319 0 -1 64 15520 0 0 0 41 6 0 0 16 0 9 0 90146343 886030336 31311 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30618] ppid=30612 vsize=865264 CPUtime=0
/proc/30614/task/30618/stat : 30618 (java) S 30612 30614 29319 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90146343 886030336 31311 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30619] ppid=30612 vsize=865264 CPUtime=0
/proc/30614/task/30619/stat : 30619 (java) S 30612 30614 29319 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90146343 886030336 31311 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30620] ppid=30612 vsize=865264 CPUtime=0
/proc/30614/task/30620/stat : 30620 (java) S 30612 30614 29319 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 90146345 886030336 31311 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30621] ppid=30612 vsize=865264 CPUtime=0.47
/proc/30614/task/30621/stat : 30621 (java) S 30612 30614 29319 0 -1 64 784 0 0 0 46 1 0 0 16 0 9 0 90146345 886030336 31311 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30622] ppid=30612 vsize=865264 CPUtime=0
/proc/30614/task/30622/stat : 30622 (java) S 30612 30614 29319 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 90146345 886030336 31311 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30623] ppid=30612 vsize=865264 CPUtime=0
/proc/30614/task/30623/stat : 30623 (java) S 30612 30614 29319 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90146345 886030336 31311 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 865264

[startup+51.1019 s]
/proc/loadavg: 2.00 1.98 1.91 3/89 30623
/proc/meminfo: memFree=799976/2055924 swapFree=4192812/4192956
[pid=30614] ppid=30612 vsize=865264 CPUtime=51.04
/proc/30614/stat : 30614 (java) S 30612 30614 29319 0 -1 0 31966 0 1 0 5082 22 0 0 18 0 9 0 90146339 886030336 31315 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30614/statm: 216316 31315 2003 9 0 210785 0
[pid=30614/tid=30616] ppid=30612 vsize=865264 CPUtime=50.02
/proc/30614/task/30616/stat : 30616 (java) R 30612 30614 29319 0 -1 64 14927 0 1 0 4989 13 0 0 25 0 9 0 90146340 886030336 31315 996147200 134512640 134550932 4294955888 18446744073709551615 4127450474 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30617] ppid=30612 vsize=865264 CPUtime=0.51
/proc/30614/task/30617/stat : 30617 (java) S 30612 30614 29319 0 -1 64 15520 0 0 0 44 7 0 0 16 0 9 0 90146343 886030336 31315 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30618] ppid=30612 vsize=865264 CPUtime=0
/proc/30614/task/30618/stat : 30618 (java) S 30612 30614 29319 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90146343 886030336 31315 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30619] ppid=30612 vsize=865264 CPUtime=0
/proc/30614/task/30619/stat : 30619 (java) S 30612 30614 29319 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90146343 886030336 31315 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30620] ppid=30612 vsize=865264 CPUtime=0
/proc/30614/task/30620/stat : 30620 (java) S 30612 30614 29319 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 90146345 886030336 31315 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30621] ppid=30612 vsize=865264 CPUtime=0.49
/proc/30614/task/30621/stat : 30621 (java) S 30612 30614 29319 0 -1 64 788 0 0 0 48 1 0 0 15 0 9 0 90146345 886030336 31315 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30622] ppid=30612 vsize=865264 CPUtime=0
/proc/30614/task/30622/stat : 30622 (java) S 30612 30614 29319 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 90146345 886030336 31315 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0

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

/proc/30614/stat : 30614 (java) S 30612 30614 29319 0 -1 0 31968 0 1 0 6361 22 0 0 18 0 9 0 90146339 886030336 31315 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30614/statm: 216316 31315 2003 9 0 210785 0
[pid=30614/tid=30616] ppid=30612 vsize=865264 CPUtime=62.8
/proc/30614/task/30616/stat : 30616 (java) R 30612 30614 29319 0 -1 64 14929 0 1 0 6267 13 0 0 25 0 9 0 90146340 886030336 31315 996147200 134512640 134550932 4294955888 18446744073709551615 4127618933 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30617] ppid=30612 vsize=865264 CPUtime=0.52
/proc/30614/task/30617/stat : 30617 (java) S 30612 30614 29319 0 -1 64 15520 0 0 0 45 7 0 0 16 0 9 0 90146343 886030336 31315 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30618] ppid=30612 vsize=865264 CPUtime=0
/proc/30614/task/30618/stat : 30618 (java) S 30612 30614 29319 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90146343 886030336 31315 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30619] ppid=30612 vsize=865264 CPUtime=0
/proc/30614/task/30619/stat : 30619 (java) S 30612 30614 29319 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90146343 886030336 31315 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30620] ppid=30612 vsize=865264 CPUtime=0
/proc/30614/task/30620/stat : 30620 (java) S 30612 30614 29319 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 90146345 886030336 31315 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30621] ppid=30612 vsize=865264 CPUtime=0.49
/proc/30614/task/30621/stat : 30621 (java) S 30612 30614 29319 0 -1 64 788 0 0 0 48 1 0 0 16 0 9 0 90146345 886030336 31315 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30622] ppid=30612 vsize=865264 CPUtime=0
/proc/30614/task/30622/stat : 30622 (java) S 30612 30614 29319 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 90146345 886030336 31315 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30623] ppid=30612 vsize=865264 CPUtime=0
/proc/30614/task/30623/stat : 30623 (java) S 30612 30614 29319 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90146345 886030336 31315 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 63.83
Current children cumulated vsize (KiB) 865264

[startup+76.7023 s]
/proc/loadavg: 2.00 1.98 1.91 3/89 30623
/proc/meminfo: memFree=799976/2055924 swapFree=4192812/4192956
[pid=30614] ppid=30612 vsize=865264 CPUtime=76.63
/proc/30614/stat : 30614 (java) S 30612 30614 29319 0 -1 0 31975 0 1 0 7640 23 0 0 18 0 9 0 90146339 886030336 31319 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30614/statm: 216316 31319 2003 9 0 210785 0
[pid=30614/tid=30616] ppid=30612 vsize=865264 CPUtime=75.57
/proc/30614/task/30616/stat : 30616 (java) R 30612 30614 29319 0 -1 64 14932 0 1 0 7544 13 0 0 25 0 9 0 90146340 886030336 31319 996147200 134512640 134550932 4294955888 18446744073709551615 4127489027 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30617] ppid=30612 vsize=865264 CPUtime=0.53
/proc/30614/task/30617/stat : 30617 (java) S 30612 30614 29319 0 -1 64 15520 0 0 0 46 7 0 0 16 0 9 0 90146343 886030336 31319 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30618] ppid=30612 vsize=865264 CPUtime=0
/proc/30614/task/30618/stat : 30618 (java) S 30612 30614 29319 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90146343 886030336 31319 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30619] ppid=30612 vsize=865264 CPUtime=0
/proc/30614/task/30619/stat : 30619 (java) S 30612 30614 29319 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90146343 886030336 31319 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30620] ppid=30612 vsize=865264 CPUtime=0
/proc/30614/task/30620/stat : 30620 (java) S 30612 30614 29319 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 90146345 886030336 31319 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30621] ppid=30612 vsize=865264 CPUtime=0.5
/proc/30614/task/30621/stat : 30621 (java) S 30612 30614 29319 0 -1 64 792 0 0 0 49 1 0 0 16 0 9 0 90146345 886030336 31319 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30622] ppid=30612 vsize=865264 CPUtime=0
/proc/30614/task/30622/stat : 30622 (java) S 30612 30614 29319 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 90146345 886030336 31319 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30623] ppid=30612 vsize=865264 CPUtime=0
/proc/30614/task/30623/stat : 30623 (java) S 30612 30614 29319 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90146345 886030336 31319 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 76.63
Current children cumulated vsize (KiB) 865264

[startup+79.902 s]
/proc/loadavg: 2.00 1.98 1.91 3/89 30623
/proc/meminfo: memFree=799976/2055924 swapFree=4192812/4192956
[pid=30614] ppid=30612 vsize=865264 CPUtime=79.83
/proc/30614/stat : 30614 (java) S 30612 30614 29319 0 -1 0 31977 0 1 0 7960 23 0 0 18 0 9 0 90146339 886030336 31319 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30614/statm: 216316 31319 2003 9 0 210785 0
[pid=30614/tid=30616] ppid=30612 vsize=865264 CPUtime=78.76
/proc/30614/task/30616/stat : 30616 (java) R 30612 30614 29319 0 -1 64 14934 0 1 0 7863 13 0 0 25 0 9 0 90146340 886030336 31319 996147200 134512640 134550932 4294955888 18446744073709551615 102093557 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30617] ppid=30612 vsize=865264 CPUtime=0.54
/proc/30614/task/30617/stat : 30617 (java) S 30612 30614 29319 0 -1 64 15520 0 0 0 47 7 0 0 17 0 9 0 90146343 886030336 31319 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30618] ppid=30612 vsize=865264 CPUtime=0
/proc/30614/task/30618/stat : 30618 (java) S 30612 30614 29319 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90146343 886030336 31319 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30619] ppid=30612 vsize=865264 CPUtime=0
/proc/30614/task/30619/stat : 30619 (java) S 30612 30614 29319 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90146343 886030336 31319 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30620] ppid=30612 vsize=865264 CPUtime=0
/proc/30614/task/30620/stat : 30620 (java) S 30612 30614 29319 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 90146345 886030336 31319 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30621] ppid=30612 vsize=865264 CPUtime=0.5
/proc/30614/task/30621/stat : 30621 (java) S 30612 30614 29319 0 -1 64 792 0 0 0 49 1 0 0 16 0 9 0 90146345 886030336 31319 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30622] ppid=30612 vsize=865264 CPUtime=0
/proc/30614/task/30622/stat : 30622 (java) S 30612 30614 29319 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 90146345 886030336 31319 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30623] ppid=30612 vsize=865264 CPUtime=0
/proc/30614/task/30623/stat : 30623 (java) S 30612 30614 29319 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90146345 886030336 31319 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 79.83
Current children cumulated vsize (KiB) 865264

[startup+83.1062 s]
/proc/loadavg: 2.00 1.98 1.91 3/89 30623
/proc/meminfo: memFree=799912/2055924 swapFree=4192812/4192956
[pid=30614] ppid=30612 vsize=865264 CPUtime=83.03
/proc/30614/stat : 30614 (java) S 30612 30614 29319 0 -1 0 31977 0 1 0 8280 23 0 0 18 0 9 0 90146339 886030336 31319 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30614/statm: 216316 31319 2003 9 0 210785 0
[pid=30614/tid=30616] ppid=30612 vsize=865264 CPUtime=81.96
/proc/30614/task/30616/stat : 30616 (java) R 30612 30614 29319 0 -1 64 14934 0 1 0 8183 13 0 0 25 0 9 0 90146340 886030336 31319 996147200 134512640 134550932 4294955888 18446744073709551615 4127451306 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30617] ppid=30612 vsize=865264 CPUtime=0.54
/proc/30614/task/30617/stat : 30617 (java) S 30612 30614 29319 0 -1 64 15520 0 0 0 47 7 0 0 16 0 9 0 90146343 886030336 31319 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30618] ppid=30612 vsize=865264 CPUtime=0
/proc/30614/task/30618/stat : 30618 (java) S 30612 30614 29319 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90146343 886030336 31319 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30619] ppid=30612 vsize=865264 CPUtime=0
/proc/30614/task/30619/stat : 30619 (java) S 30612 30614 29319 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90146343 886030336 31319 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30620] ppid=30612 vsize=865264 CPUtime=0
/proc/30614/task/30620/stat : 30620 (java) S 30612 30614 29319 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 90146345 886030336 31319 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30621] ppid=30612 vsize=865264 CPUtime=0.5
/proc/30614/task/30621/stat : 30621 (java) S 30612 30614 29319 0 -1 64 792 0 0 0 49 1 0 0 16 0 9 0 90146345 886030336 31319 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30622] ppid=30612 vsize=865264 CPUtime=0
/proc/30614/task/30622/stat : 30622 (java) S 30612 30614 29319 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 90146345 886030336 31319 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30623] ppid=30612 vsize=865264 CPUtime=0
/proc/30614/task/30623/stat : 30623 (java) S 30612 30614 29319 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90146345 886030336 31319 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 83.03
Current children cumulated vsize (KiB) 865264

[startup+83.9028 s]
/proc/loadavg: 2.00 1.98 1.91 3/89 30623
/proc/meminfo: memFree=799912/2055924 swapFree=4192812/4192956
[pid=30614] ppid=30612 vsize=865264 CPUtime=83.82
/proc/30614/stat : 30614 (java) S 30612 30614 29319 0 -1 0 31979 0 1 0 8359 23 0 0 18 0 9 0 90146339 886030336 31320 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30614/statm: 216316 31320 2003 9 0 210785 0
[pid=30614/tid=30616] ppid=30612 vsize=865264 CPUtime=82.74
/proc/30614/task/30616/stat : 30616 (java) R 30612 30614 29319 0 -1 64 14935 0 1 0 8261 13 0 0 25 0 9 0 90146340 886030336 31320 996147200 134512640 134550932 4294955888 18446744073709551615 4127460840 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30617] ppid=30612 vsize=865264 CPUtime=0.55
/proc/30614/task/30617/stat : 30617 (java) S 30612 30614 29319 0 -1 64 15520 0 0 0 48 7 0 0 17 0 9 0 90146343 886030336 31320 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30618] ppid=30612 vsize=865264 CPUtime=0
/proc/30614/task/30618/stat : 30618 (java) S 30612 30614 29319 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90146343 886030336 31320 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30619] ppid=30612 vsize=865264 CPUtime=0
/proc/30614/task/30619/stat : 30619 (java) S 30612 30614 29319 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90146343 886030336 31320 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30620] ppid=30612 vsize=865264 CPUtime=0
/proc/30614/task/30620/stat : 30620 (java) S 30612 30614 29319 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 90146345 886030336 31320 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30621] ppid=30612 vsize=865264 CPUtime=0.5
/proc/30614/task/30621/stat : 30621 (java) S 30612 30614 29319 0 -1 64 793 0 0 0 49 1 0 0 15 0 9 0 90146345 886030336 31320 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30622] ppid=30612 vsize=865264 CPUtime=0
/proc/30614/task/30622/stat : 30622 (java) S 30612 30614 29319 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 90146345 886030336 31320 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30623] ppid=30612 vsize=865264 CPUtime=0
/proc/30614/task/30623/stat : 30623 (java) S 30612 30614 29319 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90146345 886030336 31320 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 83.82
Current children cumulated vsize (KiB) 865264

[startup+84.7069 s]
/proc/loadavg: 2.00 1.98 1.91 3/89 30623
/proc/meminfo: memFree=799912/2055924 swapFree=4192812/4192956
[pid=30614] ppid=30612 vsize=865264 CPUtime=84.63
/proc/30614/stat : 30614 (java) S 30612 30614 29319 0 -1 0 31980 0 1 0 8440 23 0 0 18 0 9 0 90146339 886030336 31320 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30614/statm: 216316 31320 2003 9 0 210785 0
[pid=30614/tid=30616] ppid=30612 vsize=865264 CPUtime=83.55
/proc/30614/task/30616/stat : 30616 (java) R 30612 30614 29319 0 -1 64 14936 0 1 0 8342 13 0 0 25 0 9 0 90146340 886030336 31320 996147200 134512640 134550932 4294955888 18446744073709551615 4127455368 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30617] ppid=30612 vsize=865264 CPUtime=0.55
/proc/30614/task/30617/stat : 30617 (java) S 30612 30614 29319 0 -1 64 15520 0 0 0 48 7 0 0 17 0 9 0 90146343 886030336 31320 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30618] ppid=30612 vsize=865264 CPUtime=0
/proc/30614/task/30618/stat : 30618 (java) S 30612 30614 29319 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90146343 886030336 31320 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30619] ppid=30612 vsize=865264 CPUtime=0
/proc/30614/task/30619/stat : 30619 (java) S 30612 30614 29319 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90146343 886030336 31320 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30620] ppid=30612 vsize=865264 CPUtime=0
/proc/30614/task/30620/stat : 30620 (java) S 30612 30614 29319 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 90146345 886030336 31320 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30621] ppid=30612 vsize=865264 CPUtime=0.5
/proc/30614/task/30621/stat : 30621 (java) S 30612 30614 29319 0 -1 64 793 0 0 0 49 1 0 0 15 0 9 0 90146345 886030336 31320 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30622] ppid=30612 vsize=865264 CPUtime=0
/proc/30614/task/30622/stat : 30622 (java) S 30612 30614 29319 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 90146345 886030336 31320 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30623] ppid=30612 vsize=865264 CPUtime=0
/proc/30614/task/30623/stat : 30623 (java) S 30612 30614 29319 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90146345 886030336 31320 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 84.63
Current children cumulated vsize (KiB) 865264

[startup+85.102 s]
/proc/loadavg: 2.00 1.98 1.91 3/89 30623
/proc/meminfo: memFree=799912/2055924 swapFree=4192812/4192956
[pid=30614] ppid=30612 vsize=865588 CPUtime=85.01
/proc/30614/stat : 30614 (java) S 30612 30614 29319 0 -1 0 32017 0 1 0 8478 23 0 0 18 0 9 0 90146339 886362112 31353 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30614/statm: 216397 31353 2013 9 0 210866 0
[pid=30614/tid=30616] ppid=30612 vsize=865588 CPUtime=83.92
/proc/30614/task/30616/stat : 30616 (java) S 30612 30614 29319 0 -1 64 14964 0 1 0 8379 13 0 0 25 0 9 0 90146340 886362112 31353 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30617] ppid=30612 vsize=865588 CPUtime=0.55
/proc/30614/task/30617/stat : 30617 (java) S 30612 30614 29319 0 -1 64 15520 0 0 0 48 7 0 0 16 0 9 0 90146343 886362112 31353 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30618] ppid=30612 vsize=865588 CPUtime=0
/proc/30614/task/30618/stat : 30618 (java) S 30612 30614 29319 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90146343 886362112 31353 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30619] ppid=30612 vsize=865588 CPUtime=0
/proc/30614/task/30619/stat : 30619 (java) S 30612 30614 29319 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90146343 886362112 31353 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30620] ppid=30612 vsize=865588 CPUtime=0
/proc/30614/task/30620/stat : 30620 (java) S 30612 30614 29319 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 90146345 886362112 31353 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30621] ppid=30612 vsize=865588 CPUtime=0.51
/proc/30614/task/30621/stat : 30621 (java) S 30612 30614 29319 0 -1 64 797 0 0 0 50 1 0 0 15 0 9 0 90146345 886362112 31353 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30622] ppid=30612 vsize=865588 CPUtime=0
/proc/30614/task/30622/stat : 30622 (java) S 30612 30614 29319 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 90146345 886362112 31353 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30614/tid=30623] ppid=30612 vsize=865588 CPUtime=0
/proc/30614/task/30623/stat : 30623 (java) S 30612 30614 29319 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90146345 886362112 31353 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 85.01
Current children cumulated vsize (KiB) 865588

Child status: 0
Real time (s): 85.1257
CPU time (s): 85.0351
CPU user time (s): 84.7801
CPU system time (s): 0.254961
CPU usage (%): 99.8935
Max. virtual memory (cumulated for all children) (KiB): 865588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 84.7801
system time used= 0.254961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32020
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= 4991
involuntary context switches= 5242

runsolver used 0.141978 second user time and 0.354946 second system time

The end

Launcher Data 

Begin job on node6 at 2009-07-19 21:13:09
IDJOB=2116190
IDBENCH=56436
IDSOLVER=780
FILE ID=node6/2116190-1248030789
PBS_JOBID= 9529034
Free space on /tmp= 66400 MiB

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

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

MD5SUM BENCH= b03ce6bb41b3c7eeec8edd1190e4268e
RANDOM SEED=1621122152

node6.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.263
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.263
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:      2055924 kB
MemFree:        918416 kB
Buffers:        112744 kB
Cached:         816544 kB
SwapCached:          0 kB
Active:         370456 kB
Inactive:       660348 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:        918416 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            6244 kB
Writeback:           0 kB
Mapped:         119392 kB
Slab:            91700 kB
Committed_AS:  1255036 kB
PageTables:       2052 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= 66396 MiB
End job on node6 at 2009-07-19 21:14:34