Trace number 2117129

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 634.619 640.676

DiagnosticValue
CHECKS0
NODES18461

General information on the benchmark

Namecsp/js-taillard-20/
normalized-js-taillard-20-105-8.xml
MD5SUM0d097f8ff67533661f8e19e6cea7f246
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 benchmark12.1841
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints4180
Maximum constraint arity2
Maximum domain size1717
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

634.55/640.64	s SATISFIABLE
634.55/640.64	v 0 84 129 182 230 245 270 345 944 1027 1077 1101 1150 1231 1236 1318 1413 1561 1586 1673 116 191 239 245 277 529 552 596 617 659 727 801 879 1002 1093 1158 1340 1366 1504 1601 116 165 215 250 314 417 514 616 699 758 781 876 955 1019 1101 1216 1298 1368 1443 1638 0 58 116 153 185 244 309 374 698 748 1112 1150 1224 1351 1377 1553 1583 1632 1640 1662 0 223 291 358 574 612 705 800 879 969 1139 1204 1215 1313 1351 1446 1539 1548 1569 1613 0 64 71 239 458 619 727 802 880 937 966 1036 1129 1203 1302 1419 1445 1474 1561 1630 309 358 417 508 567 596 640 690 748 781 873 952 1020 1093 1306 1369 1456 1471 1493 1560 231 250 293 316 369 440 484 541 561 709 774 792 1038 1149 1327 1385 1478 1539 1557 1692 0 91 116 150 347 401 490 502 553 627 705 709 787 943 1369 1438 1521 1603 1638 1648 0 33 117 350 416 466 567 654 698 735 802 835 937 1013 1057 1140 1232 1430 1560 1583 216 239 265 319 344 508 543 604 684 708 800 875 943 1040 1122 1206 1300 1382 1478 1512 0 165 268 342 424 496 524 574 654 701 786 832 876 952 1206 1267 1366 1377 1478 1626 90 156 251 490 562 731 821 879 970 1057 1158 1171 1220 1302 1418 1471 1512 1601 1624 1673 0 82 191 231 264 372 405 431 496 654 727 804 910 949 1074 1407 1418 1476 1478 1548 0 84 182 254 280 347 372 466 555 586 875 1027 1163 1220 1264 1265 1301 1385 1476 1518 0 319 417 458 640 777 786 866 941 1020 1093 1109 1135 1232 1245 1264 1277 1327 1471 1666 0 202 243 397 458 562 593 685 768 835 933 999 1028 1110 1135 1177 1368 1430 1586 1603 133 202 327 388 459 576 647 701 786 880 917 1101 1204 1236 1273 1345 1366 1478 1559 1578 0 235 259 327 409 552 762 804 856 970 1040 1112 1190 1200 1261 1301 1332 1490 1559 1652 0 116 133 208 215 277 287 319 397 406 484 529 776 949 999 1099 1101 1185 1247 1408 
634.55/640.64	d AC 32
634.55/640.64	d RUNTIME 640.485
634.55/640.64	d NODES 18461
634.55/640.64	d NODES/s 29
634.55/640.64	d BACKTRACKS 25664
634.55/640.64	d BACKTRACKS/s 40
634.55/640.64	d CHECKS 0
634.55/640.64	d CHECKS/s 0
634.55/640.64	c SAT 640.485 TIME      18461 NDS    915 PARSTIME      436 BUILDPB       1106 CONFIG        638028 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-2117129-1248033214/watcher-2117129-1248033214 -o /tmp/evaluation-result-2117129-1248033214/solver-2117129-1248033214 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2117129-1248033214.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.18 2.08 2.02 4/80 26908
/proc/meminfo: memFree=872400/2055920 swapFree=4192812/4192956
[pid=26908] ppid=26906 vsize=18576 CPUtime=0
/proc/26908/stat : 26908 (runsolver) R 26906 26908 25436 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 90387447 19021824 284 996147200 4194304 4302564 548682068272 18446744073709551615 210824129831 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/26908/statm: 4644 284 249 26 0 2626 0

[startup+0.033328 s]
/proc/loadavg: 2.18 2.08 2.02 4/80 26908
/proc/meminfo: memFree=872400/2055920 swapFree=4192812/4192956
[pid=26908] ppid=26906 vsize=859568 CPUtime=0.01
/proc/26908/stat : 26908 (java) S 26906 26908 25436 0 -1 0 1858 0 1 0 0 1 0 0 18 0 4 0 90387447 880197632 1525 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/26908/statm: 214892 1525 684 9 0 209807 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 859568

[startup+0.101852 s]
/proc/loadavg: 2.18 2.08 2.02 4/80 26908
/proc/meminfo: memFree=872400/2055920 swapFree=4192812/4192956
[pid=26908] ppid=26906 vsize=864060 CPUtime=0.08
/proc/26908/stat : 26908 (java) S 26906 26908 25436 0 -1 0 3656 0 1 0 7 1 0 0 18 0 9 0 90387447 884797440 3121 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26908/statm: 216015 3121 1604 9 0 210484 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 864060

[startup+0.302874 s]
/proc/loadavg: 2.18 2.08 2.02 4/80 26908
/proc/meminfo: memFree=872400/2055920 swapFree=4192812/4192956
[pid=26908] ppid=26906 vsize=864192 CPUtime=0.28
/proc/26908/stat : 26908 (java) S 26906 26908 25436 0 -1 0 4485 0 1 0 26 2 0 0 18 0 9 0 90387447 884932608 3910 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26908/statm: 216048 3910 1855 9 0 210517 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 864192

[startup+0.702933 s]
/proc/loadavg: 2.18 2.08 2.02 4/80 26908
/proc/meminfo: memFree=872400/2055920 swapFree=4192812/4192956
[pid=26908] ppid=26906 vsize=865060 CPUtime=0.67
/proc/26908/stat : 26908 (java) S 26906 26908 25436 0 -1 0 7251 0 1 0 64 3 0 0 18 0 9 0 90387447 885821440 6667 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26908/statm: 216265 6667 1889 9 0 210734 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 865060

[startup+1.50202 s]
/proc/loadavg: 2.18 2.08 2.02 3/89 26917
/proc/meminfo: memFree=839496/2055920 swapFree=4192812/4192956
[pid=26908] ppid=26906 vsize=865148 CPUtime=1.47
/proc/26908/stat : 26908 (java) S 26906 26908 25436 0 -1 0 15989 0 1 0 139 8 0 0 18 0 9 0 90387447 885911552 15382 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26908/statm: 216287 15382 1960 9 0 210756 0
[pid=26908/tid=26910] ppid=26906 vsize=865148 CPUtime=1.2
/proc/26908/task/26910/stat : 26910 (java) R 26906 26908 25436 0 -1 64 14583 0 1 0 113 7 0 0 25 0 9 0 90387449 885911552 15382 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26911] ppid=26906 vsize=865148 CPUtime=0
/proc/26908/task/26911/stat : 26911 (java) R 26906 26908 25436 0 -1 64 63 0 0 0 0 0 0 0 16 0 9 0 90387450 885911552 15382 996147200 134512640 134550932 4294955888 18446744073709551615 102546970 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26912] ppid=26906 vsize=865148 CPUtime=0
/proc/26908/task/26912/stat : 26912 (java) S 26906 26908 25436 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 90387451 885911552 15382 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26913] ppid=26906 vsize=865148 CPUtime=0
/proc/26908/task/26913/stat : 26913 (java) S 26906 26908 25436 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 90387451 885911552 15382 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26914] ppid=26906 vsize=865148 CPUtime=0
/proc/26908/task/26914/stat : 26914 (java) S 26906 26908 25436 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90387453 885911552 15382 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26915] ppid=26906 vsize=865148 CPUtime=0.25
/proc/26908/task/26915/stat : 26915 (java) S 26906 26908 25436 0 -1 64 617 0 0 0 25 0 0 0 16 0 9 0 90387453 885911552 15382 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26916] ppid=26906 vsize=865148 CPUtime=0
/proc/26908/task/26916/stat : 26916 (java) S 26906 26908 25436 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90387453 885911552 15382 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26917] ppid=26906 vsize=865148 CPUtime=0
/proc/26908/task/26917/stat : 26917 (java) S 26906 26908 25436 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90387453 885911552 15382 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 865148

[startup+3.10122 s]
/proc/loadavg: 2.18 2.08 2.02 3/89 26917
/proc/meminfo: memFree=802760/2055920 swapFree=4192812/4192956
[pid=26908] ppid=26906 vsize=865272 CPUtime=3.06
/proc/26908/stat : 26908 (java) S 26906 26908 25436 0 -1 0 20064 0 1 0 294 12 0 0 18 0 9 0 90387447 886038528 19436 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26908/statm: 216318 19436 1999 9 0 210787 0
[pid=26908/tid=26910] ppid=26906 vsize=865272 CPUtime=2.46
/proc/26908/task/26910/stat : 26910 (java) R 26906 26908 25436 0 -1 64 14889 0 1 0 238 8 0 0 25 0 9 0 90387449 886038528 19436 996147200 134512640 134550932 4294955888 18446744073709551615 4127524368 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26911] ppid=26906 vsize=865272 CPUtime=0.1
/proc/26908/task/26911/stat : 26911 (java) S 26906 26908 25436 0 -1 64 3681 0 0 0 9 1 0 0 16 0 9 0 90387450 886038528 19436 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26912] ppid=26906 vsize=865272 CPUtime=0
/proc/26908/task/26912/stat : 26912 (java) S 26906 26908 25436 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90387451 886038528 19436 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26913] ppid=26906 vsize=865272 CPUtime=0
/proc/26908/task/26913/stat : 26913 (java) S 26906 26908 25436 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90387451 886038528 19436 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26914] ppid=26906 vsize=865272 CPUtime=0
/proc/26908/task/26914/stat : 26914 (java) S 26906 26908 25436 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90387453 886038528 19436 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26915] ppid=26906 vsize=865272 CPUtime=0.46
/proc/26908/task/26915/stat : 26915 (java) S 26906 26908 25436 0 -1 64 763 0 0 0 45 1 0 0 16 0 9 0 90387453 886038528 19436 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26916] ppid=26906 vsize=865272 CPUtime=0
/proc/26908/task/26916/stat : 26916 (java) S 26906 26908 25436 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90387453 886038528 19436 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26917] ppid=26906 vsize=865272 CPUtime=0
/proc/26908/task/26917/stat : 26917 (java) R 26906 26908 25436 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90387453 886038528 19436 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 865272

[startup+6.3026 s]
/proc/loadavg: 2.16 2.08 2.02 3/89 26917
/proc/meminfo: memFree=784008/2055920 swapFree=4192812/4192956
[pid=26908] ppid=26906 vsize=865272 CPUtime=6.22
/proc/26908/stat : 26908 (java) S 26906 26908 25436 0 -1 0 24514 0 1 0 608 14 0 0 18 0 9 0 90387447 886038528 23883 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26908/statm: 216318 23883 1999 9 0 210787 0
[pid=26908/tid=26910] ppid=26906 vsize=865272 CPUtime=5.49
/proc/26908/task/26910/stat : 26910 (java) R 26906 26908 25436 0 -1 64 14912 0 1 0 540 9 0 0 25 0 9 0 90387449 886038528 23883 996147200 134512640 134550932 4294955888 18446744073709551615 4127602318 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26911] ppid=26906 vsize=865272 CPUtime=0.21
/proc/26908/task/26911/stat : 26911 (java) S 26906 26908 25436 0 -1 64 8094 0 0 0 18 3 0 0 16 0 9 0 90387450 886038528 23883 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26912] ppid=26906 vsize=865272 CPUtime=0
/proc/26908/task/26912/stat : 26912 (java) S 26906 26908 25436 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90387451 886038528 23883 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26913] ppid=26906 vsize=865272 CPUtime=0
/proc/26908/task/26913/stat : 26913 (java) S 26906 26908 25436 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90387451 886038528 23883 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26914] ppid=26906 vsize=865272 CPUtime=0
/proc/26908/task/26914/stat : 26914 (java) S 26906 26908 25436 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90387453 886038528 23883 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26915] ppid=26906 vsize=865272 CPUtime=0.49
/proc/26908/task/26915/stat : 26915 (java) S 26906 26908 25436 0 -1 64 777 0 0 0 48 1 0 0 15 0 9 0 90387453 886038528 23883 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26916] ppid=26906 vsize=865272 CPUtime=0
/proc/26908/task/26916/stat : 26916 (java) S 26906 26908 25436 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90387453 886038528 23883 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26917] ppid=26906 vsize=865272 CPUtime=0
/proc/26908/task/26917/stat : 26917 (java) S 26906 26908 25436 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90387453 886038528 23883 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 865272

[startup+12.7014 s]
/proc/loadavg: 2.15 2.08 2.02 3/89 26917
/proc/meminfo: memFree=778504/2055920 swapFree=4192812/4192956
[pid=26908] ppid=26906 vsize=865272 CPUtime=12.56
/proc/26908/stat : 26908 (java) S 26906 26908 25436 0 -1 0 25897 0 1 0 1241 15 0 0 18 0 9 0 90387447 886038528 25263 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26908/statm: 216318 25263 1999 9 0 210787 0
[pid=26908/tid=26910] ppid=26906 vsize=865272 CPUtime=11.78
/proc/26908/task/26910/stat : 26910 (java) R 26906 26908 25436 0 -1 64 14915 0 1 0 1169 9 0 0 25 0 9 0 90387449 886038528 25263 996147200 134512640 134550932 4294955888 18446744073709551615 4126728444 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26911] ppid=26906 vsize=865272 CPUtime=0.26
/proc/26908/task/26911/stat : 26911 (java) S 26906 26908 25436 0 -1 64 9473 0 0 0 23 3 0 0 16 0 9 0 90387450 886038528 25263 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26912] ppid=26906 vsize=865272 CPUtime=0
/proc/26908/task/26912/stat : 26912 (java) S 26906 26908 25436 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90387451 886038528 25263 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26913] ppid=26906 vsize=865272 CPUtime=0
/proc/26908/task/26913/stat : 26913 (java) S 26906 26908 25436 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90387451 886038528 25263 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26914] ppid=26906 vsize=865272 CPUtime=0
/proc/26908/task/26914/stat : 26914 (java) S 26906 26908 25436 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90387453 886038528 25263 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26915] ppid=26906 vsize=865272 CPUtime=0.49
/proc/26908/task/26915/stat : 26915 (java) S 26906 26908 25436 0 -1 64 778 0 0 0 48 1 0 0 16 0 9 0 90387453 886038528 25263 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26916] ppid=26906 vsize=865272 CPUtime=0
/proc/26908/task/26916/stat : 26916 (java) S 26906 26908 25436 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90387453 886038528 25263 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26917] ppid=26906 vsize=865272 CPUtime=0
/proc/26908/task/26917/stat : 26917 (java) S 26906 26908 25436 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90387453 886038528 25263 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 865272

[startup+25.5029 s]
/proc/loadavg: 2.11 2.08 2.02 3/89 26917
/proc/meminfo: memFree=778632/2055920 swapFree=4192812/4192956
[pid=26908] ppid=26906 vsize=865272 CPUtime=25.24
/proc/26908/stat : 26908 (java) S 26906 26908 25436 0 -1 0 25908 0 1 0 2509 15 0 0 18 0 9 0 90387447 886038528 25270 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26908/statm: 216318 25270 1999 9 0 210787 0
[pid=26908/tid=26910] ppid=26906 vsize=865272 CPUtime=24.42
/proc/26908/task/26910/stat : 26910 (java) R 26906 26908 25436 0 -1 64 14919 0 1 0 2433 9 0 0 25 0 9 0 90387449 886038528 25270 996147200 134512640 134550932 4294955888 18446744073709551615 4127665774 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26911] ppid=26906 vsize=865272 CPUtime=0.28
/proc/26908/task/26911/stat : 26911 (java) S 26906 26908 25436 0 -1 64 9473 0 0 0 25 3 0 0 16 0 9 0 90387450 886038528 25270 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26912] ppid=26906 vsize=865272 CPUtime=0
/proc/26908/task/26912/stat : 26912 (java) S 26906 26908 25436 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90387451 886038528 25270 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26913] ppid=26906 vsize=865272 CPUtime=0
/proc/26908/task/26913/stat : 26913 (java) S 26906 26908 25436 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90387451 886038528 25270 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26914] ppid=26906 vsize=865272 CPUtime=0
/proc/26908/task/26914/stat : 26914 (java) S 26906 26908 25436 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90387453 886038528 25270 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26915] ppid=26906 vsize=865272 CPUtime=0.5
/proc/26908/task/26915/stat : 26915 (java) S 26906 26908 25436 0 -1 64 785 0 0 0 49 1 0 0 16 0 9 0 90387453 886038528 25270 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26916] ppid=26906 vsize=865272 CPUtime=0
/proc/26908/task/26916/stat : 26916 (java) S 26906 26908 25436 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90387453 886038528 25270 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26917] ppid=26906 vsize=865272 CPUtime=0
/proc/26908/task/26917/stat : 26917 (java) S 26906 26908 25436 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90387453 886038528 25270 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 865272

[startup+51.102 s]
/proc/loadavg: 2.07 2.07 2.01 3/89 26917
/proc/meminfo: memFree=778504/2055920 swapFree=4192812/4192956
[pid=26908] ppid=26906 vsize=865272 CPUtime=50.6
/proc/26908/stat : 26908 (java) S 26906 26908 25436 0 -1 0 25924 0 1 0 5044 16 0 0 18 0 9 0 90387447 886038528 25277 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26908/statm: 216318 25277 2001 9 0 210787 0
[pid=26908/tid=26910] ppid=26906 vsize=865272 CPUtime=49.73
/proc/26908/task/26910/stat : 26910 (java) R 26906 26908 25436 0 -1 64 14935 0 1 0 4963 10 0 0 25 0 9 0 90387449 886038528 25277 996147200 134512640 134550932 4294955888 18446744073709551615 4127387776 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26911] ppid=26906 vsize=865272 CPUtime=0.33
/proc/26908/task/26911/stat : 26911 (java) S 26906 26908 25436 0 -1 64 9473 0 0 0 30 3 0 0 16 0 9 0 90387450 886038528 25277 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26912] ppid=26906 vsize=865272 CPUtime=0
/proc/26908/task/26912/stat : 26912 (java) S 26906 26908 25436 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90387451 886038528 25277 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26913] ppid=26906 vsize=865272 CPUtime=0
/proc/26908/task/26913/stat : 26913 (java) S 26906 26908 25436 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90387451 886038528 25277 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26914] ppid=26906 vsize=865272 CPUtime=0
/proc/26908/task/26914/stat : 26914 (java) S 26906 26908 25436 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90387453 886038528 25277 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26915] ppid=26906 vsize=865272 CPUtime=0.51
/proc/26908/task/26915/stat : 26915 (java) S 26906 26908 25436 0 -1 64 785 0 0 0 50 1 0 0 16 0 9 0 90387453 886038528 25277 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26916] ppid=26906 vsize=865272 CPUtime=0
/proc/26908/task/26916/stat : 26916 (java) S 26906 26908 25436 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90387453 886038528 25277 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0

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

/proc/26908/stat : 26908 (java) S 26906 26908 25436 0 -1 0 26162 0 1 0 62725 26 0 0 18 0 9 0 90387447 886038528 25414 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26908/statm: 216318 25414 2004 9 0 210787 0
[pid=26908/tid=26910] ppid=26906 vsize=865272 CPUtime=626.43
/proc/26908/task/26910/stat : 26910 (java) R 26906 26908 25436 0 -1 64 15036 0 1 0 62624 19 0 0 25 0 9 0 90387449 886038528 25414 996147200 134512640 134550932 4294955888 18446744073709551615 4127515988 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26911] ppid=26906 vsize=865272 CPUtime=0.52
/proc/26908/task/26911/stat : 26911 (java) S 26906 26908 25436 0 -1 64 9601 0 0 0 48 4 0 0 16 0 9 0 90387450 886038528 25414 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26912] ppid=26906 vsize=865272 CPUtime=0
/proc/26908/task/26912/stat : 26912 (java) S 26906 26908 25436 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90387451 886038528 25414 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26913] ppid=26906 vsize=865272 CPUtime=0
/proc/26908/task/26913/stat : 26913 (java) S 26906 26908 25436 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90387451 886038528 25414 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26914] ppid=26906 vsize=865272 CPUtime=0
/proc/26908/task/26914/stat : 26914 (java) S 26906 26908 25436 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90387453 886038528 25414 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26915] ppid=26906 vsize=865272 CPUtime=0.53
/proc/26908/task/26915/stat : 26915 (java) S 26906 26908 25436 0 -1 64 794 0 0 0 52 1 0 0 16 0 9 0 90387453 886038528 25414 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26916] ppid=26906 vsize=865272 CPUtime=0
/proc/26908/task/26916/stat : 26916 (java) S 26906 26908 25436 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90387453 886038528 25414 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26917] ppid=26906 vsize=865272 CPUtime=0
/proc/26908/task/26917/stat : 26917 (java) S 26906 26908 25436 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90387453 886038528 25414 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 627.51
Current children cumulated vsize (KiB) 865272

[startup+636.702 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 26923
/proc/meminfo: memFree=777792/2055920 swapFree=4192812/4192956
[pid=26908] ppid=26906 vsize=865272 CPUtime=630.68
/proc/26908/stat : 26908 (java) S 26906 26908 25436 0 -1 0 26163 0 1 0 63042 26 0 0 18 0 9 0 90387447 886038528 25414 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26908/statm: 216318 25414 2004 9 0 210787 0
[pid=26908/tid=26910] ppid=26906 vsize=865272 CPUtime=629.6
/proc/26908/task/26910/stat : 26910 (java) R 26906 26908 25436 0 -1 64 15037 0 1 0 62941 19 0 0 25 0 9 0 90387449 886038528 25414 996147200 134512640 134550932 4294955888 18446744073709551615 4127495156 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26911] ppid=26906 vsize=865272 CPUtime=0.52
/proc/26908/task/26911/stat : 26911 (java) S 26906 26908 25436 0 -1 64 9601 0 0 0 48 4 0 0 16 0 9 0 90387450 886038528 25414 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26912] ppid=26906 vsize=865272 CPUtime=0
/proc/26908/task/26912/stat : 26912 (java) S 26906 26908 25436 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90387451 886038528 25414 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26913] ppid=26906 vsize=865272 CPUtime=0
/proc/26908/task/26913/stat : 26913 (java) S 26906 26908 25436 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90387451 886038528 25414 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26914] ppid=26906 vsize=865272 CPUtime=0
/proc/26908/task/26914/stat : 26914 (java) S 26906 26908 25436 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90387453 886038528 25414 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26915] ppid=26906 vsize=865272 CPUtime=0.53
/proc/26908/task/26915/stat : 26915 (java) S 26906 26908 25436 0 -1 64 794 0 0 0 52 1 0 0 16 0 9 0 90387453 886038528 25414 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26916] ppid=26906 vsize=865272 CPUtime=0
/proc/26908/task/26916/stat : 26916 (java) S 26906 26908 25436 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90387453 886038528 25414 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26917] ppid=26906 vsize=865272 CPUtime=0
/proc/26908/task/26917/stat : 26917 (java) R 26906 26908 25436 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90387453 886038528 25414 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 630.68
Current children cumulated vsize (KiB) 865272

[startup+638.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 26923
/proc/meminfo: memFree=777792/2055920 swapFree=4192812/4192956
[pid=26908] ppid=26906 vsize=865272 CPUtime=632.27
/proc/26908/stat : 26908 (java) S 26906 26908 25436 0 -1 0 26163 0 1 0 63201 26 0 0 18 0 9 0 90387447 886038528 25414 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26908/statm: 216318 25414 2004 9 0 210787 0
[pid=26908/tid=26910] ppid=26906 vsize=865272 CPUtime=631.18
/proc/26908/task/26910/stat : 26910 (java) R 26906 26908 25436 0 -1 64 15037 0 1 0 63099 19 0 0 25 0 9 0 90387449 886038528 25414 996147200 134512640 134550932 4294955888 18446744073709551615 4126759314 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26911] ppid=26906 vsize=865272 CPUtime=0.52
/proc/26908/task/26911/stat : 26911 (java) S 26906 26908 25436 0 -1 64 9601 0 0 0 48 4 0 0 16 0 9 0 90387450 886038528 25414 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26912] ppid=26906 vsize=865272 CPUtime=0
/proc/26908/task/26912/stat : 26912 (java) S 26906 26908 25436 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90387451 886038528 25414 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26913] ppid=26906 vsize=865272 CPUtime=0
/proc/26908/task/26913/stat : 26913 (java) S 26906 26908 25436 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90387451 886038528 25414 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26914] ppid=26906 vsize=865272 CPUtime=0
/proc/26908/task/26914/stat : 26914 (java) S 26906 26908 25436 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90387453 886038528 25414 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26915] ppid=26906 vsize=865272 CPUtime=0.53
/proc/26908/task/26915/stat : 26915 (java) S 26906 26908 25436 0 -1 64 794 0 0 0 52 1 0 0 16 0 9 0 90387453 886038528 25414 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26916] ppid=26906 vsize=865272 CPUtime=0
/proc/26908/task/26916/stat : 26916 (java) S 26906 26908 25436 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90387453 886038528 25414 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26917] ppid=26906 vsize=865272 CPUtime=0
/proc/26908/task/26917/stat : 26917 (java) S 26906 26908 25436 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90387453 886038528 25414 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 632.27
Current children cumulated vsize (KiB) 865272

[startup+639.902 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 26923
/proc/meminfo: memFree=777792/2055920 swapFree=4192812/4192956
[pid=26908] ppid=26906 vsize=865272 CPUtime=633.85
/proc/26908/stat : 26908 (java) S 26906 26908 25436 0 -1 0 26163 0 1 0 63359 26 0 0 18 0 9 0 90387447 886038528 25414 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26908/statm: 216318 25414 2004 9 0 210787 0
[pid=26908/tid=26910] ppid=26906 vsize=865272 CPUtime=632.77
/proc/26908/task/26910/stat : 26910 (java) R 26906 26908 25436 0 -1 64 15037 0 1 0 63258 19 0 0 25 0 9 0 90387449 886038528 25414 996147200 134512640 134550932 4294955888 18446744073709551615 4126046805 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26911] ppid=26906 vsize=865272 CPUtime=0.52
/proc/26908/task/26911/stat : 26911 (java) S 26906 26908 25436 0 -1 64 9601 0 0 0 48 4 0 0 16 0 9 0 90387450 886038528 25414 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26912] ppid=26906 vsize=865272 CPUtime=0
/proc/26908/task/26912/stat : 26912 (java) S 26906 26908 25436 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90387451 886038528 25414 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26913] ppid=26906 vsize=865272 CPUtime=0
/proc/26908/task/26913/stat : 26913 (java) S 26906 26908 25436 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90387451 886038528 25414 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26914] ppid=26906 vsize=865272 CPUtime=0
/proc/26908/task/26914/stat : 26914 (java) S 26906 26908 25436 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90387453 886038528 25414 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26915] ppid=26906 vsize=865272 CPUtime=0.53
/proc/26908/task/26915/stat : 26915 (java) S 26906 26908 25436 0 -1 64 794 0 0 0 52 1 0 0 16 0 9 0 90387453 886038528 25414 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26916] ppid=26906 vsize=865272 CPUtime=0
/proc/26908/task/26916/stat : 26916 (java) S 26906 26908 25436 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90387453 886038528 25414 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26917] ppid=26906 vsize=865272 CPUtime=0
/proc/26908/task/26917/stat : 26917 (java) S 26906 26908 25436 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90387453 886038528 25414 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 633.85
Current children cumulated vsize (KiB) 865272

[startup+640.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 26923
/proc/meminfo: memFree=777792/2055920 swapFree=4192812/4192956
[pid=26908] ppid=26906 vsize=865272 CPUtime=634.25
/proc/26908/stat : 26908 (java) S 26906 26908 25436 0 -1 0 26164 0 1 0 63399 26 0 0 18 0 9 0 90387447 886038528 25415 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26908/statm: 216318 25415 2004 9 0 210787 0
[pid=26908/tid=26910] ppid=26906 vsize=865272 CPUtime=633.16
/proc/26908/task/26910/stat : 26910 (java) R 26906 26908 25436 0 -1 64 15037 0 1 0 63297 19 0 0 25 0 9 0 90387449 886038528 25415 996147200 134512640 134550932 4294955888 18446744073709551615 4127630742 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26911] ppid=26906 vsize=865272 CPUtime=0.52
/proc/26908/task/26911/stat : 26911 (java) S 26906 26908 25436 0 -1 64 9601 0 0 0 48 4 0 0 16 0 9 0 90387450 886038528 25415 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26912] ppid=26906 vsize=865272 CPUtime=0
/proc/26908/task/26912/stat : 26912 (java) S 26906 26908 25436 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90387451 886038528 25415 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26913] ppid=26906 vsize=865272 CPUtime=0
/proc/26908/task/26913/stat : 26913 (java) S 26906 26908 25436 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90387451 886038528 25415 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26914] ppid=26906 vsize=865272 CPUtime=0
/proc/26908/task/26914/stat : 26914 (java) S 26906 26908 25436 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90387453 886038528 25415 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26915] ppid=26906 vsize=865272 CPUtime=0.53
/proc/26908/task/26915/stat : 26915 (java) S 26906 26908 25436 0 -1 64 795 0 0 0 52 1 0 0 16 0 9 0 90387453 886038528 25415 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26916] ppid=26906 vsize=865272 CPUtime=0
/proc/26908/task/26916/stat : 26916 (java) S 26906 26908 25436 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90387453 886038528 25415 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26917] ppid=26906 vsize=865272 CPUtime=0
/proc/26908/task/26917/stat : 26917 (java) S 26906 26908 25436 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90387453 886038528 25415 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 634.25
Current children cumulated vsize (KiB) 865272

[startup+640.502 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 26923
/proc/meminfo: memFree=777792/2055920 swapFree=4192812/4192956
[pid=26908] ppid=26906 vsize=865272 CPUtime=634.45
/proc/26908/stat : 26908 (java) S 26906 26908 25436 0 -1 0 26165 0 1 0 63419 26 0 0 18 0 9 0 90387447 886038528 25415 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26908/statm: 216318 25415 2004 9 0 210787 0
[pid=26908/tid=26910] ppid=26906 vsize=865272 CPUtime=633.36
/proc/26908/task/26910/stat : 26910 (java) R 26906 26908 25436 0 -1 64 15038 0 1 0 63317 19 0 0 25 0 9 0 90387449 886038528 25415 996147200 134512640 134550932 4294955888 18446744073709551615 4127450284 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26911] ppid=26906 vsize=865272 CPUtime=0.52
/proc/26908/task/26911/stat : 26911 (java) S 26906 26908 25436 0 -1 64 9601 0 0 0 48 4 0 0 16 0 9 0 90387450 886038528 25415 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26912] ppid=26906 vsize=865272 CPUtime=0
/proc/26908/task/26912/stat : 26912 (java) S 26906 26908 25436 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90387451 886038528 25415 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26913] ppid=26906 vsize=865272 CPUtime=0
/proc/26908/task/26913/stat : 26913 (java) S 26906 26908 25436 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90387451 886038528 25415 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26914] ppid=26906 vsize=865272 CPUtime=0
/proc/26908/task/26914/stat : 26914 (java) S 26906 26908 25436 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90387453 886038528 25415 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26915] ppid=26906 vsize=865272 CPUtime=0.53
/proc/26908/task/26915/stat : 26915 (java) S 26906 26908 25436 0 -1 64 795 0 0 0 52 1 0 0 16 0 9 0 90387453 886038528 25415 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26916] ppid=26906 vsize=865272 CPUtime=0
/proc/26908/task/26916/stat : 26916 (java) S 26906 26908 25436 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90387453 886038528 25415 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26917] ppid=26906 vsize=865272 CPUtime=0
/proc/26908/task/26917/stat : 26917 (java) R 26906 26908 25436 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90387453 886038528 25415 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 634.45
Current children cumulated vsize (KiB) 865272

[startup+640.602 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 26923
/proc/meminfo: memFree=777792/2055920 swapFree=4192812/4192956
[pid=26908] ppid=26906 vsize=865272 CPUtime=634.55
/proc/26908/stat : 26908 (java) S 26906 26908 25436 0 -1 0 26174 0 1 0 63429 26 0 0 18 0 9 0 90387447 886038528 25423 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26908/statm: 216318 25423 2007 9 0 210787 0
[pid=26908/tid=26910] ppid=26906 vsize=865272 CPUtime=633.46
/proc/26908/task/26910/stat : 26910 (java) R 26906 26908 25436 0 -1 64 15047 0 1 0 63327 19 0 0 25 0 9 0 90387449 886038528 25423 996147200 134512640 134550932 4294955888 18446744073709551615 4126758370 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26911] ppid=26906 vsize=865272 CPUtime=0.52
/proc/26908/task/26911/stat : 26911 (java) S 26906 26908 25436 0 -1 64 9601 0 0 0 48 4 0 0 16 0 9 0 90387450 886038528 25423 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26912] ppid=26906 vsize=865272 CPUtime=0
/proc/26908/task/26912/stat : 26912 (java) S 26906 26908 25436 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90387451 886038528 25423 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26913] ppid=26906 vsize=865272 CPUtime=0
/proc/26908/task/26913/stat : 26913 (java) S 26906 26908 25436 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90387451 886038528 25423 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26914] ppid=26906 vsize=865272 CPUtime=0
/proc/26908/task/26914/stat : 26914 (java) S 26906 26908 25436 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90387453 886038528 25423 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26915] ppid=26906 vsize=865272 CPUtime=0.53
/proc/26908/task/26915/stat : 26915 (java) S 26906 26908 25436 0 -1 64 795 0 0 0 52 1 0 0 15 0 9 0 90387453 886038528 25423 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26916] ppid=26906 vsize=865272 CPUtime=0
/proc/26908/task/26916/stat : 26916 (java) S 26906 26908 25436 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90387453 886038528 25423 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26908/tid=26917] ppid=26906 vsize=865272 CPUtime=0
/proc/26908/task/26917/stat : 26917 (java) S 26906 26908 25436 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90387453 886038528 25423 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 634.55
Current children cumulated vsize (KiB) 865272

Child status: 0
Real time (s): 640.676
CPU time (s): 634.619
CPU user time (s): 634.338
CPU system time (s): 0.280957
CPU usage (%): 99.0546
Max. virtual memory (cumulated for all children) (KiB): 865272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 634.338
system time used= 0.280957
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26206
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= 16776
involuntary context switches= 42032

runsolver used 0.859869 second user time and 2.06369 second system time

The end

Launcher Data

Begin job on node33 at 2009-07-19 21:53:34
IDJOB=2117129
IDBENCH=58640
IDSOLVER=780
FILE ID=node33/2117129-1248033214
PBS_JOBID= 9528981
Free space on /tmp= 66404 MiB

SOLVER NAME= Choco2.1.1b 2009-07-16
BENCH NAME= CPAI08/csp/js-taillard-20/normalized-js-taillard-20-105-8.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-2117129-1248033214/watcher-2117129-1248033214 -o /tmp/evaluation-result-2117129-1248033214/solver-2117129-1248033214 -C 1800 -W 2000 -M 900  java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2117129-1248033214.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= 0d097f8ff67533661f8e19e6cea7f246
RANDOM SEED=1017878375

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:        872880 kB
Buffers:        100480 kB
Cached:         906668 kB
SwapCached:          0 kB
Active:         272888 kB
Inactive:       813136 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        872880 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            5572 kB
Writeback:           0 kB
Mapped:          96752 kB
Slab:            82096 kB
Committed_AS:  1323992 kB
PageTables:       1916 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= 66400 MiB
End job on node33 at 2009-07-19 22:04:15