Trace number 2086744

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 1162.54 1163.2

DiagnosticValue
CHECKS0
NODES37736

General information on the benchmark

Namecsp/js-taillard-20/
normalized-js-taillard-20-105-9.xml
MD5SUM501f6fc5db626afa3267b44860e8f65f
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 benchmark46.7539
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints4180
Maximum constraint arity2
Maximum domain size1697
Number of constraints which are defined in extension0
Number of constraints which are defined in intension4180
Global constraints used (with number of constraints)

Solver Data 

1162.44/1163.17	s SATISFIABLE
1162.44/1163.17	v 172 256 265 313 389 400 494 558 662 739 776 791 834 842 847 883 939 1024 1142 1228 19 93 149 209 287 537 642 650 666 678 741 772 907 1009 1066 1067 1099 1198 1263 1663 0 86 139 242 400 584 624 639 913 1067 1090 1171 1248 1433 1510 1525 1545 1577 1619 1636 0 52 102 169 194 265 353 458 611 632 718 733 824 842 898 990 1048 1354 1408 1542 5 61 135 287 305 382 457 475 528 666 745 769 776 849 866 900 947 1009 1230 1290 0 34 149 239 322 389 480 550 577 603 676 689 767 842 1062 1151 1334 1433 1506 1597 15 502 565 584 655 668 736 806 839 913 989 1168 1284 1293 1353 1444 1494 1542 1573 1618 0 19 83 200 204 460 499 571 601 603 619 657 750 803 824 885 990 1498 1523 1540 0 128 228 312 400 480 560 666 716 813 1040 1112 1209 1283 1378 1419 1433 1479 1519 1597 139 256 348 408 494 509 528 590 741 827 898 990 1079 1161 1228 1333 1366 1394 1439 1523 0 7 93 172 293 571 639 733 823 870 919 969 1024 1186 1255 1334 1366 1409 1506 1559 86 106 156 228 481 560 633 820 839 881 943 1004 1081 1090 1271 1290 1369 1378 1439 1444 0 65 138 188 343 437 527 624 695 731 870 969 1002 1112 1204 1293 1409 1545 1630 1656 83 257 303 360 400 481 655 678 680 749 767 784 866 960 1008 1036 1066 1359 1465 1598 112 128 190 378 408 459 576 739 885 971 1075 1161 1260 1353 1368 1398 1444 1499 1586 1595 0 5 182 236 346 421 542 577 633 791 822 824 847 947 990 1148 1198 1368 1433 1519 0 3 138 219 437 806 834 848 849 881 917 947 1078 1251 1271 1369 1378 1444 1519 1629 0 52 128 207 270 322 345 380 484 601 614 668 736 822 943 1202 1230 1314 1560 1646 219 305 353 421 458 509 590 619 656 750 848 939 1036 1161 1303 1365 1438 1479 1595 1684 0 150 242 285 348 435 502 579 680 749 847 935 1034 1161 1263 1354 1573 1625 1651 1684 
1162.44/1163.17	d AC 32
1162.44/1163.17	d RUNTIME 1163.056
1162.44/1163.17	d NODES 37736
1162.44/1163.17	d NODES/s 32
1162.44/1163.17	d BACKTRACKS 53937
1162.44/1163.17	d BACKTRACKS/s 46
1162.44/1163.17	d CHECKS 0
1162.44/1163.17	d CHECKS/s 0
1162.44/1163.17	c SAT 1163.056 TIME      37736 NDS    774 PARSTIME      1616 BUILDPB       1160666 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-2086744-1247383983/watcher-2086744-1247383983 -o /tmp/evaluation-result-2086744-1247383983/solver-2086744-1247383983 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco-2.1.1.jar -file HOME/instance-2086744-1247383983.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.05 2.01 2.00 4/81 25019
/proc/meminfo: memFree=1892880/2055920 swapFree=4192812/4192956
[pid=25019] ppid=25017 vsize=1616 CPUtime=0
/proc/25019/stat : 25019 (java) R 25017 25019 24738 0 -1 0 197 0 0 0 0 0 0 0 18 0 1 0 25465358 1654784 164 996147200 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/25019/statm: 404 164 127 9 0 46 0

[startup+0.067404 s]
/proc/loadavg: 2.05 2.01 2.00 4/81 25019
/proc/meminfo: memFree=1892880/2055920 swapFree=4192812/4192956
[pid=25019] ppid=25017 vsize=862188 CPUtime=0.05
/proc/25019/stat : 25019 (java) S 25017 25019 24738 0 -1 0 2926 0 1 0 3 2 0 0 18 0 9 0 25465358 882880512 2428 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25019/statm: 215547 2428 1170 9 0 210416 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 862188

[startup+0.101411 s]
/proc/loadavg: 2.05 2.01 2.00 4/81 25019
/proc/meminfo: memFree=1892880/2055920 swapFree=4192812/4192956
[pid=25019] ppid=25017 vsize=864108 CPUtime=0.09
/proc/25019/stat : 25019 (java) S 25017 25019 24738 0 -1 0 3838 0 1 0 7 2 0 0 18 0 9 0 25465358 884846592 3292 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25019/statm: 216027 3292 1729 9 0 210495 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 864108

[startup+0.301451 s]
/proc/loadavg: 2.05 2.01 2.00 4/81 25019
/proc/meminfo: memFree=1892880/2055920 swapFree=4192812/4192956
[pid=25019] ppid=25017 vsize=864548 CPUtime=0.28
/proc/25019/stat : 25019 (java) S 25017 25019 24738 0 -1 0 4594 0 1 0 26 2 0 0 18 0 9 0 25465358 885297152 4019 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25019/statm: 216137 4019 1852 9 0 210605 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 864548

[startup+0.701529 s]
/proc/loadavg: 2.05 2.01 2.00 4/81 25019
/proc/meminfo: memFree=1892880/2055920 swapFree=4192812/4192956
[pid=25019] ppid=25017 vsize=865000 CPUtime=0.68
/proc/25019/stat : 25019 (java) S 25017 25019 24738 0 -1 0 8148 0 1 0 64 4 0 0 18 0 9 0 25465358 885760000 7562 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25019/statm: 216250 7563 1898 9 0 210718 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 865000

[startup+1.50269 s]
/proc/loadavg: 2.05 2.01 2.00 4/90 25028
/proc/meminfo: memFree=1855368/2055920 swapFree=4192812/4192956
[pid=25019] ppid=25017 vsize=865116 CPUtime=1.49
/proc/25019/stat : 25019 (java) S 25017 25019 24738 0 -1 0 20469 0 1 0 139 10 0 0 18 0 9 0 25465358 885878784 19859 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25019/statm: 216279 19859 1967 9 0 210747 0
[pid=25019/tid=25021] ppid=25017 vsize=865116 CPUtime=1.11
/proc/25019/task/25021/stat : 25021 (java) R 25017 25019 24738 0 -1 64 14613 0 1 0 104 7 0 0 25 0 9 0 25465359 885878784 19859 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25022] ppid=25017 vsize=865116 CPUtime=0.1
/proc/25019/task/25022/stat : 25022 (java) S 25017 25019 24738 0 -1 64 4502 0 0 0 9 1 0 0 17 0 9 0 25465361 885878784 19859 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25023] ppid=25017 vsize=865116 CPUtime=0
/proc/25019/task/25023/stat : 25023 (java) S 25017 25019 24738 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 25465361 885878784 19859 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25024] ppid=25017 vsize=865116 CPUtime=0
/proc/25019/task/25024/stat : 25024 (java) S 25017 25019 24738 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 25465361 885878784 19859 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25025] ppid=25017 vsize=865116 CPUtime=0
/proc/25019/task/25025/stat : 25025 (java) S 25017 25019 24738 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 25465363 885878784 19859 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25026] ppid=25017 vsize=865116 CPUtime=0.24
/proc/25019/task/25026/stat : 25026 (java) S 25017 25019 24738 0 -1 64 622 0 0 0 24 0 0 0 15 0 9 0 25465363 885878784 19859 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25027] ppid=25017 vsize=865116 CPUtime=0
/proc/25019/task/25027/stat : 25027 (java) S 25017 25019 24738 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 25465363 885878784 19860 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25028] ppid=25017 vsize=865116 CPUtime=0
/proc/25019/task/25028/stat : 25028 (java) S 25017 25019 24738 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 25465363 885878784 19860 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) 865116

[startup+3.102 s]
/proc/loadavg: 2.04 2.01 2.00 3/90 25028
/proc/meminfo: memFree=1820168/2055920 swapFree=4192812/4192956
[pid=25019] ppid=25017 vsize=865236 CPUtime=3.08
/proc/25019/stat : 25019 (java) S 25017 25019 24738 0 -1 0 26511 0 1 0 294 14 0 0 18 0 9 0 25465358 886001664 25884 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25019/statm: 216309 25884 1998 9 0 210777 0
[pid=25019/tid=25021] ppid=25017 vsize=865236 CPUtime=2.37
/proc/25019/task/25021/stat : 25021 (java) R 25017 25019 24738 0 -1 64 14883 0 1 0 230 7 0 0 25 0 9 0 25465359 886001664 25884 996147200 134512640 134550932 4294955840 18446744073709551615 4127457315 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25022] ppid=25017 vsize=865236 CPUtime=0.24
/proc/25019/task/25022/stat : 25022 (java) S 25017 25019 24738 0 -1 64 10142 0 0 0 21 3 0 0 17 0 9 0 25465361 886001664 25884 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25023] ppid=25017 vsize=865236 CPUtime=0
/proc/25019/task/25023/stat : 25023 (java) S 25017 25019 24738 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 25465361 886001664 25884 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25024] ppid=25017 vsize=865236 CPUtime=0
/proc/25019/task/25024/stat : 25024 (java) S 25017 25019 24738 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 25465361 886001664 25884 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25025] ppid=25017 vsize=865236 CPUtime=0
/proc/25019/task/25025/stat : 25025 (java) S 25017 25019 24738 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 25465363 886001664 25884 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25026] ppid=25017 vsize=865236 CPUtime=0.43
/proc/25019/task/25026/stat : 25026 (java) S 25017 25019 24738 0 -1 64 754 0 0 0 42 1 0 0 16 0 9 0 25465363 886001664 25884 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25027] ppid=25017 vsize=865236 CPUtime=0
/proc/25019/task/25027/stat : 25027 (java) S 25017 25019 24738 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 25465363 886001664 25884 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25028] ppid=25017 vsize=865236 CPUtime=0
/proc/25019/task/25028/stat : 25028 (java) S 25017 25019 24738 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 25465363 886001664 25884 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 865236

[startup+6.30263 s]
/proc/loadavg: 2.04 2.01 2.00 3/90 25028
/proc/meminfo: memFree=1796488/2055920 swapFree=4192812/4192956
[pid=25019] ppid=25017 vsize=865236 CPUtime=6.27
/proc/25019/stat : 25019 (java) S 25017 25019 24738 0 -1 0 27897 0 1 0 613 14 0 0 18 0 9 0 25465358 886001664 27266 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25019/statm: 216309 27266 1998 9 0 210777 0
[pid=25019/tid=25021] ppid=25017 vsize=865236 CPUtime=5.5
/proc/25019/task/25021/stat : 25021 (java) R 25017 25019 24738 0 -1 64 14901 0 1 0 542 8 0 0 25 0 9 0 25465359 886001664 27266 996147200 134512640 134550932 4294955840 18446744073709551615 4127337072 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25022] ppid=25017 vsize=865236 CPUtime=0.28
/proc/25019/task/25022/stat : 25022 (java) S 25017 25019 24738 0 -1 64 11498 0 0 0 25 3 0 0 16 0 9 0 25465361 886001664 27266 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25023] ppid=25017 vsize=865236 CPUtime=0
/proc/25019/task/25023/stat : 25023 (java) S 25017 25019 24738 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 25465361 886001664 27266 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25024] ppid=25017 vsize=865236 CPUtime=0
/proc/25019/task/25024/stat : 25024 (java) S 25017 25019 24738 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 25465361 886001664 27266 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25025] ppid=25017 vsize=865236 CPUtime=0
/proc/25019/task/25025/stat : 25025 (java) S 25017 25019 24738 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 25465363 886001664 27266 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25026] ppid=25017 vsize=865236 CPUtime=0.46
/proc/25019/task/25026/stat : 25026 (java) S 25017 25019 24738 0 -1 64 766 0 0 0 45 1 0 0 15 0 9 0 25465363 886001664 27266 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25027] ppid=25017 vsize=865236 CPUtime=0
/proc/25019/task/25027/stat : 25027 (java) S 25017 25019 24738 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 25465363 886001664 27266 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25028] ppid=25017 vsize=865236 CPUtime=0
/proc/25019/task/25028/stat : 25028 (java) S 25017 25019 24738 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 25465363 886001664 27266 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 865236

[startup+12.7019 s]
/proc/loadavg: 2.04 2.01 2.00 3/90 25028
/proc/meminfo: memFree=1790856/2055920 swapFree=4192812/4192956
[pid=25019] ppid=25017 vsize=865236 CPUtime=12.67
/proc/25019/stat : 25019 (java) S 25017 25019 24738 0 -1 0 27906 0 1 0 1252 15 0 0 18 0 9 0 25465358 886001664 27271 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25019/statm: 216309 27271 1998 9 0 210777 0
[pid=25019/tid=25021] ppid=25017 vsize=865236 CPUtime=11.85
/proc/25019/task/25021/stat : 25021 (java) R 25017 25019 24738 0 -1 64 14905 0 1 0 1177 8 0 0 25 0 9 0 25465359 886001664 27271 996147200 134512640 134550932 4294955840 18446744073709551615 102524023 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25022] ppid=25017 vsize=865236 CPUtime=0.32
/proc/25019/task/25022/stat : 25022 (java) S 25017 25019 24738 0 -1 64 11498 0 0 0 28 4 0 0 16 0 9 0 25465361 886001664 27271 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25023] ppid=25017 vsize=865236 CPUtime=0
/proc/25019/task/25023/stat : 25023 (java) S 25017 25019 24738 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 25465361 886001664 27271 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25024] ppid=25017 vsize=865236 CPUtime=0
/proc/25019/task/25024/stat : 25024 (java) S 25017 25019 24738 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 25465361 886001664 27271 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25025] ppid=25017 vsize=865236 CPUtime=0
/proc/25019/task/25025/stat : 25025 (java) S 25017 25019 24738 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 25465363 886001664 27271 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25026] ppid=25017 vsize=865236 CPUtime=0.47
/proc/25019/task/25026/stat : 25026 (java) S 25017 25019 24738 0 -1 64 771 0 0 0 46 1 0 0 16 0 9 0 25465363 886001664 27271 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25027] ppid=25017 vsize=865236 CPUtime=0
/proc/25019/task/25027/stat : 25027 (java) S 25017 25019 24738 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 25465363 886001664 27271 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25028] ppid=25017 vsize=865236 CPUtime=0
/proc/25019/task/25028/stat : 25028 (java) S 25017 25019 24738 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 25465363 886001664 27271 996147200 134512640 134550932 4294955840 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) 865236

[startup+25.5024 s]
/proc/loadavg: 2.03 2.01 2.00 3/90 25028
/proc/meminfo: memFree=1790920/2055920 swapFree=4192812/4192956
[pid=25019] ppid=25017 vsize=865236 CPUtime=25.47
/proc/25019/stat : 25019 (java) S 25017 25019 24738 0 -1 0 27913 0 1 0 2531 16 0 0 18 0 9 0 25465358 886001664 27272 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25019/statm: 216309 27272 1998 9 0 210777 0
[pid=25019/tid=25021] ppid=25017 vsize=865236 CPUtime=24.6
/proc/25019/task/25021/stat : 25021 (java) R 25017 25019 24738 0 -1 64 14911 0 1 0 2451 9 0 0 25 0 9 0 25465359 886001664 27272 996147200 134512640 134550932 4294955840 18446744073709551615 4127450480 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25022] ppid=25017 vsize=865236 CPUtime=0.37
/proc/25019/task/25022/stat : 25022 (java) S 25017 25019 24738 0 -1 64 11498 0 0 0 33 4 0 0 16 0 9 0 25465361 886001664 27272 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25023] ppid=25017 vsize=865236 CPUtime=0
/proc/25019/task/25023/stat : 25023 (java) S 25017 25019 24738 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 25465361 886001664 27272 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25024] ppid=25017 vsize=865236 CPUtime=0
/proc/25019/task/25024/stat : 25024 (java) S 25017 25019 24738 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 25465361 886001664 27272 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25025] ppid=25017 vsize=865236 CPUtime=0
/proc/25019/task/25025/stat : 25025 (java) S 25017 25019 24738 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 25465363 886001664 27272 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25026] ppid=25017 vsize=865236 CPUtime=0.47
/proc/25019/task/25026/stat : 25026 (java) S 25017 25019 24738 0 -1 64 772 0 0 0 46 1 0 0 17 0 9 0 25465363 886001664 27272 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25027] ppid=25017 vsize=865236 CPUtime=0
/proc/25019/task/25027/stat : 25027 (java) S 25017 25019 24738 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 25465363 886001664 27272 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25028] ppid=25017 vsize=865236 CPUtime=0
/proc/25019/task/25028/stat : 25028 (java) S 25017 25019 24738 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 25465363 886001664 27272 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 865236

[startup+51.1025 s]
/proc/loadavg: 2.02 2.01 2.00 3/90 25028
/proc/meminfo: memFree=1790856/2055920 swapFree=4192812/4192956
[pid=25019] ppid=25017 vsize=865236 CPUtime=51.05
/proc/25019/stat : 25019 (java) S 25017 25019 24738 0 -1 0 27937 0 1 0 5089 16 0 0 18 0 9 0 25465358 886001664 27284 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25019/statm: 216309 27284 2000 9 0 210777 0
[pid=25019/tid=25021] ppid=25017 vsize=865236 CPUtime=50.08
/proc/25019/task/25021/stat : 25021 (java) R 25017 25019 24738 0 -1 64 14932 0 1 0 4999 9 0 0 25 0 9 0 25465359 886001664 27284 996147200 134512640 134550932 4294955840 18446744073709551615 4127427425 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25022] ppid=25017 vsize=865236 CPUtime=0.46
/proc/25019/task/25022/stat : 25022 (java) S 25017 25019 24738 0 -1 64 11498 0 0 0 42 4 0 0 16 0 9 0 25465361 886001664 27284 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25023] ppid=25017 vsize=865236 CPUtime=0
/proc/25019/task/25023/stat : 25023 (java) S 25017 25019 24738 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 25465361 886001664 27284 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25024] ppid=25017 vsize=865236 CPUtime=0
/proc/25019/task/25024/stat : 25024 (java) S 25017 25019 24738 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 25465361 886001664 27284 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25025] ppid=25017 vsize=865236 CPUtime=0
/proc/25019/task/25025/stat : 25025 (java) S 25017 25019 24738 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 25465363 886001664 27284 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25026] ppid=25017 vsize=865236 CPUtime=0.48
/proc/25019/task/25026/stat : 25026 (java) S 25017 25019 24738 0 -1 64 775 0 0 0 47 1 0 0 16 0 9 0 25465363 886001664 27284 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25027] ppid=25017 vsize=865236 CPUtime=0
/proc/25019/task/25027/stat : 25027 (java) S 25017 25019 24738 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 25465363 886001664 27284 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0

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

/proc/25019/stat : 25019 (java) S 25017 25019 24738 0 -1 0 28865 0 1 0 113803 43 0 0 18 0 9 0 25465358 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25019/statm: 216309 27964 2003 9 0 210777 0
[pid=25019/tid=25021] ppid=25017 vsize=865236 CPUtime=1137.15
/proc/25019/task/25021/stat : 25021 (java) R 25017 25019 24738 0 -1 64 15180 0 1 0 113681 34 0 0 25 0 9 0 25465359 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4126757836 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25022] ppid=25017 vsize=865236 CPUtime=0.77
/proc/25019/task/25022/stat : 25022 (java) S 25017 25019 24738 0 -1 64 12163 0 0 0 72 5 0 0 16 0 9 0 25465361 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25023] ppid=25017 vsize=865236 CPUtime=0
/proc/25019/task/25023/stat : 25023 (java) S 25017 25019 24738 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 25465361 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25024] ppid=25017 vsize=865236 CPUtime=0
/proc/25019/task/25024/stat : 25024 (java) S 25017 25019 24738 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 25465361 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25025] ppid=25017 vsize=865236 CPUtime=0
/proc/25019/task/25025/stat : 25025 (java) S 25017 25019 24738 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 25465363 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25026] ppid=25017 vsize=865236 CPUtime=0.5
/proc/25019/task/25026/stat : 25026 (java) S 25017 25019 24738 0 -1 64 790 0 0 0 49 1 0 0 16 0 9 0 25465363 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25027] ppid=25017 vsize=865236 CPUtime=0
/proc/25019/task/25027/stat : 25027 (java) S 25017 25019 24738 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 25465363 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25028] ppid=25017 vsize=865236 CPUtime=0
/proc/25019/task/25028/stat : 25028 (java) S 25017 25019 24738 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 25465363 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1138.46
Current children cumulated vsize (KiB) 865236

[startup+1151.9 s]
/proc/loadavg: 1.99 1.98 1.99 3/83 25115
/proc/meminfo: memFree=1611056/2055920 swapFree=4192812/4192956
[pid=25019] ppid=25017 vsize=865236 CPUtime=1151.25
/proc/25019/stat : 25019 (java) S 25017 25019 24738 0 -1 0 28868 0 1 0 115082 43 0 0 18 0 9 0 25465358 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25019/statm: 216309 27964 2003 9 0 210777 0
[pid=25019/tid=25021] ppid=25017 vsize=865236 CPUtime=1149.94
/proc/25019/task/25021/stat : 25021 (java) R 25017 25019 24738 0 -1 64 15183 0 1 0 114960 34 0 0 25 0 9 0 25465359 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4127566402 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25022] ppid=25017 vsize=865236 CPUtime=0.77
/proc/25019/task/25022/stat : 25022 (java) S 25017 25019 24738 0 -1 64 12163 0 0 0 72 5 0 0 17 0 9 0 25465361 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25023] ppid=25017 vsize=865236 CPUtime=0
/proc/25019/task/25023/stat : 25023 (java) S 25017 25019 24738 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 25465361 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25024] ppid=25017 vsize=865236 CPUtime=0
/proc/25019/task/25024/stat : 25024 (java) S 25017 25019 24738 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 25465361 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25025] ppid=25017 vsize=865236 CPUtime=0
/proc/25019/task/25025/stat : 25025 (java) S 25017 25019 24738 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 25465363 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25026] ppid=25017 vsize=865236 CPUtime=0.5
/proc/25019/task/25026/stat : 25026 (java) S 25017 25019 24738 0 -1 64 790 0 0 0 49 1 0 0 16 0 9 0 25465363 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25027] ppid=25017 vsize=865236 CPUtime=0
/proc/25019/task/25027/stat : 25027 (java) S 25017 25019 24738 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 25465363 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25028] ppid=25017 vsize=865236 CPUtime=0
/proc/25019/task/25028/stat : 25028 (java) S 25017 25019 24738 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 25465363 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1151.25
Current children cumulated vsize (KiB) 865236

[startup+1158.31 s]
/proc/loadavg: 1.99 1.98 1.99 4/83 25115
/proc/meminfo: memFree=1611056/2055920 swapFree=4192812/4192956
[pid=25019] ppid=25017 vsize=865236 CPUtime=1157.65
/proc/25019/stat : 25019 (java) S 25017 25019 24738 0 -1 0 28869 0 1 0 115722 43 0 0 18 0 9 0 25465358 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25019/statm: 216309 27964 2003 9 0 210777 0
[pid=25019/tid=25021] ppid=25017 vsize=865236 CPUtime=1156.34
/proc/25019/task/25021/stat : 25021 (java) R 25017 25019 24738 0 -1 64 15184 0 1 0 115600 34 0 0 25 0 9 0 25465359 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4127441183 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25022] ppid=25017 vsize=865236 CPUtime=0.78
/proc/25019/task/25022/stat : 25022 (java) S 25017 25019 24738 0 -1 64 12163 0 0 0 72 6 0 0 16 0 9 0 25465361 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25023] ppid=25017 vsize=865236 CPUtime=0
/proc/25019/task/25023/stat : 25023 (java) S 25017 25019 24738 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 25465361 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25024] ppid=25017 vsize=865236 CPUtime=0
/proc/25019/task/25024/stat : 25024 (java) S 25017 25019 24738 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 25465361 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25025] ppid=25017 vsize=865236 CPUtime=0
/proc/25019/task/25025/stat : 25025 (java) S 25017 25019 24738 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 25465363 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25026] ppid=25017 vsize=865236 CPUtime=0.5
/proc/25019/task/25026/stat : 25026 (java) S 25017 25019 24738 0 -1 64 790 0 0 0 49 1 0 0 16 0 9 0 25465363 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25027] ppid=25017 vsize=865236 CPUtime=0
/proc/25019/task/25027/stat : 25027 (java) S 25017 25019 24738 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 25465363 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25028] ppid=25017 vsize=865236 CPUtime=0
/proc/25019/task/25028/stat : 25028 (java) S 25017 25019 24738 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 25465363 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1157.65
Current children cumulated vsize (KiB) 865236

[startup+1161.5 s]
/proc/loadavg: 1.99 1.98 1.99 3/83 25115
/proc/meminfo: memFree=1610992/2055920 swapFree=4192812/4192956
[pid=25019] ppid=25017 vsize=865236 CPUtime=1160.85
/proc/25019/stat : 25019 (java) S 25017 25019 24738 0 -1 0 28870 0 1 0 116042 43 0 0 18 0 9 0 25465358 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25019/statm: 216309 27964 2003 9 0 210777 0
[pid=25019/tid=25021] ppid=25017 vsize=865236 CPUtime=1159.54
/proc/25019/task/25021/stat : 25021 (java) R 25017 25019 24738 0 -1 64 15185 0 1 0 115920 34 0 0 25 0 9 0 25465359 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4127438366 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25022] ppid=25017 vsize=865236 CPUtime=0.78
/proc/25019/task/25022/stat : 25022 (java) S 25017 25019 24738 0 -1 64 12163 0 0 0 72 6 0 0 17 0 9 0 25465361 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25023] ppid=25017 vsize=865236 CPUtime=0
/proc/25019/task/25023/stat : 25023 (java) S 25017 25019 24738 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 25465361 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25024] ppid=25017 vsize=865236 CPUtime=0
/proc/25019/task/25024/stat : 25024 (java) S 25017 25019 24738 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 25465361 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25025] ppid=25017 vsize=865236 CPUtime=0
/proc/25019/task/25025/stat : 25025 (java) S 25017 25019 24738 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 25465363 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25026] ppid=25017 vsize=865236 CPUtime=0.5
/proc/25019/task/25026/stat : 25026 (java) S 25017 25019 24738 0 -1 64 790 0 0 0 49 1 0 0 16 0 9 0 25465363 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25027] ppid=25017 vsize=865236 CPUtime=0
/proc/25019/task/25027/stat : 25027 (java) S 25017 25019 24738 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 25465363 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25028] ppid=25017 vsize=865236 CPUtime=0
/proc/25019/task/25028/stat : 25028 (java) S 25017 25019 24738 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 25465363 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1160.85
Current children cumulated vsize (KiB) 865236

[startup+1162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/83 25115
/proc/meminfo: memFree=1610992/2055920 swapFree=4192812/4192956
[pid=25019] ppid=25017 vsize=865236 CPUtime=1161.64
/proc/25019/stat : 25019 (java) S 25017 25019 24738 0 -1 0 28870 0 1 0 116121 43 0 0 18 0 9 0 25465358 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25019/statm: 216309 27964 2003 9 0 210777 0
[pid=25019/tid=25021] ppid=25017 vsize=865236 CPUtime=1160.33
/proc/25019/task/25021/stat : 25021 (java) R 25017 25019 24738 0 -1 64 15185 0 1 0 115999 34 0 0 25 0 9 0 25465359 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4127595218 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25022] ppid=25017 vsize=865236 CPUtime=0.78
/proc/25019/task/25022/stat : 25022 (java) S 25017 25019 24738 0 -1 64 12163 0 0 0 72 6 0 0 16 0 9 0 25465361 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25023] ppid=25017 vsize=865236 CPUtime=0
/proc/25019/task/25023/stat : 25023 (java) S 25017 25019 24738 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 25465361 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25024] ppid=25017 vsize=865236 CPUtime=0
/proc/25019/task/25024/stat : 25024 (java) S 25017 25019 24738 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 25465361 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25025] ppid=25017 vsize=865236 CPUtime=0
/proc/25019/task/25025/stat : 25025 (java) S 25017 25019 24738 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 25465363 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25026] ppid=25017 vsize=865236 CPUtime=0.5
/proc/25019/task/25026/stat : 25026 (java) S 25017 25019 24738 0 -1 64 790 0 0 0 49 1 0 0 16 0 9 0 25465363 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25027] ppid=25017 vsize=865236 CPUtime=0
/proc/25019/task/25027/stat : 25027 (java) S 25017 25019 24738 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 25465363 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25028] ppid=25017 vsize=865236 CPUtime=0
/proc/25019/task/25028/stat : 25028 (java) S 25017 25019 24738 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 25465363 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.64
Current children cumulated vsize (KiB) 865236

[startup+1162.71 s]
/proc/loadavg: 1.99 1.98 1.99 4/83 25115
/proc/meminfo: memFree=1610992/2055920 swapFree=4192812/4192956
[pid=25019] ppid=25017 vsize=865236 CPUtime=1162.05
/proc/25019/stat : 25019 (java) S 25017 25019 24738 0 -1 0 28870 0 1 0 116162 43 0 0 18 0 9 0 25465358 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25019/statm: 216309 27964 2003 9 0 210777 0
[pid=25019/tid=25021] ppid=25017 vsize=865236 CPUtime=1160.74
/proc/25019/task/25021/stat : 25021 (java) R 25017 25019 24738 0 -1 64 15185 0 1 0 116040 34 0 0 25 0 9 0 25465359 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4127437426 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25022] ppid=25017 vsize=865236 CPUtime=0.78
/proc/25019/task/25022/stat : 25022 (java) S 25017 25019 24738 0 -1 64 12163 0 0 0 72 6 0 0 16 0 9 0 25465361 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25023] ppid=25017 vsize=865236 CPUtime=0
/proc/25019/task/25023/stat : 25023 (java) S 25017 25019 24738 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 25465361 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25024] ppid=25017 vsize=865236 CPUtime=0
/proc/25019/task/25024/stat : 25024 (java) S 25017 25019 24738 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 25465361 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25025] ppid=25017 vsize=865236 CPUtime=0
/proc/25019/task/25025/stat : 25025 (java) S 25017 25019 24738 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 25465363 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25026] ppid=25017 vsize=865236 CPUtime=0.5
/proc/25019/task/25026/stat : 25026 (java) S 25017 25019 24738 0 -1 64 790 0 0 0 49 1 0 0 16 0 9 0 25465363 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25027] ppid=25017 vsize=865236 CPUtime=0
/proc/25019/task/25027/stat : 25027 (java) S 25017 25019 24738 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 25465363 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25028] ppid=25017 vsize=865236 CPUtime=0
/proc/25019/task/25028/stat : 25028 (java) S 25017 25019 24738 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 25465363 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1162.05
Current children cumulated vsize (KiB) 865236

[startup+1163.1 s]
/proc/loadavg: 1.99 1.98 1.99 4/83 25115
/proc/meminfo: memFree=1610992/2055920 swapFree=4192812/4192956
[pid=25019] ppid=25017 vsize=865236 CPUtime=1162.44
/proc/25019/stat : 25019 (java) S 25017 25019 24738 0 -1 0 28871 0 1 0 116201 43 0 0 18 0 9 0 25465358 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25019/statm: 216309 27964 2003 9 0 210777 0
[pid=25019/tid=25021] ppid=25017 vsize=865236 CPUtime=1161.13
/proc/25019/task/25021/stat : 25021 (java) R 25017 25019 24738 0 -1 64 15186 0 1 0 116079 34 0 0 25 0 9 0 25465359 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4127481784 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25022] ppid=25017 vsize=865236 CPUtime=0.78
/proc/25019/task/25022/stat : 25022 (java) S 25017 25019 24738 0 -1 64 12163 0 0 0 72 6 0 0 17 0 9 0 25465361 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25023] ppid=25017 vsize=865236 CPUtime=0
/proc/25019/task/25023/stat : 25023 (java) S 25017 25019 24738 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 25465361 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25024] ppid=25017 vsize=865236 CPUtime=0
/proc/25019/task/25024/stat : 25024 (java) S 25017 25019 24738 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 25465361 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25025] ppid=25017 vsize=865236 CPUtime=0
/proc/25019/task/25025/stat : 25025 (java) S 25017 25019 24738 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 25465363 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25026] ppid=25017 vsize=865236 CPUtime=0.5
/proc/25019/task/25026/stat : 25026 (java) S 25017 25019 24738 0 -1 64 790 0 0 0 49 1 0 0 16 0 9 0 25465363 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25027] ppid=25017 vsize=865236 CPUtime=0
/proc/25019/task/25027/stat : 25027 (java) S 25017 25019 24738 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 25465363 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25019/tid=25028] ppid=25017 vsize=865236 CPUtime=0
/proc/25019/task/25028/stat : 25028 (java) S 25017 25019 24738 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 25465363 886001664 27964 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1162.44
Current children cumulated vsize (KiB) 865236

Child status: 0
Real time (s): 1163.2
CPU time (s): 1162.54
CPU user time (s): 1162.08
CPU system time (s): 0.45593
CPU usage (%): 99.9432
Max. virtual memory (cumulated for all children) (KiB): 865236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1162.08
system time used= 0.45593
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28893
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= 28656
involuntary context switches= 32711

runsolver used 1.45978 second user time and 3.84241 second system time

The end

Launcher Data 

Begin job on node11 at 2009-07-12 09:33:03
IDJOB=2086744
IDBENCH=58624
IDSOLVER=737
FILE ID=node11/2086744-1247383983
PBS_JOBID= 9507256
Free space on /tmp= 66448 MiB

SOLVER NAME= Choco2.1.1 2009-06-10
BENCH NAME= CPAI08/csp/js-taillard-20/normalized-js-taillard-20-105-9.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-2086744-1247383983/watcher-2086744-1247383983 -o /tmp/evaluation-result-2086744-1247383983/solver-2086744-1247383983 -C 1800 -W 2000 -M 900  java -Xms700M -Xmx700M -jar HOME/choco-2.1.1.jar -file HOME/instance-2086744-1247383983.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= 501f6fc5db626afa3267b44860e8f65f
RANDOM SEED=1019105296

node11.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.274
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.274
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:       1893360 kB
Buffers:         15348 kB
Cached:          59520 kB
SwapCached:          0 kB
Active:          77572 kB
Inactive:        30632 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1893360 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3128 kB
Writeback:           0 kB
Mapped:          53740 kB
Slab:            39356 kB
Committed_AS:   207748 kB
PageTables:       1956 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= 66380 MiB
End job on node11 at 2009-07-12 09:52:27