Trace number 2116187

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 78.923 79.3691

DiagnosticValue
CHECKS0
NODES6524

General information on the benchmark

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

Solver Data 

78.89/79.30	s SATISFIABLE
78.89/79.30	v 1172 310 916 1080 443 802 246 391 47 132 622 588 989 653 141 728 581 1039 242 381 1232 713 1062 196 461 846 694 1138 805 161 0 211 451 94 423 900 348 969 288 553 682 445 119 97 246 0 987 1251 771 640 509 1062 324 371 1221 203 32 1281 1170 11 11 738 573 103 47 501 766 1269 813 212 136 891 644 414 988 238 1080 1170 334 0 114 425 550 1223 141 325 239 41 852 0 427 1136 756 624 473 1080 414 988 1017 844 585 56 701 1121 111 852 128 334 292 1010 916 682 0 215 528 90 1210 428 764 501 856 1017 96 1139 1118 732 411 913 310 824 369 1251 133 1219 1016 23 682 523 223 622 331 722 72 838 735 645 737 950 535 49 1144 0 211 1054 18 1237 45 476 864 127 73 1208 253 885 185 289 488 1160 101 959 390 0 756 701 146 1014 622 813 566 223 188 56 863 1039 686 539 361 278 0 242 1216 449 2 1259 598 23 767 112 939 1081 517 0 428 606 595 150 1040 1133 476 1069 97 331 833 922 1190 950 993 239 371 702 289 99 112 518 254 682 361 161 369 180 0 931 241 570 605 734 1104 803 1253 1089 1221 367 667 527 1108 446 816 882 1139 806 1016 1223 567 920 723 302 877 1282 161 21 961 202 120 885 687 114 1064 293 1160 1190 586 771 137 613 852 21 764 488 1054 0 913 720 922 920 763 427 606 446 1014 1219 216 1272 348 521 359 261 0 1054 852 1147 824 463 1086 987 28 1134 427 582 528 961 535 0 730 445 1081 910 292 1191 1160 100 681 910 317 766 1179 390 254 1043 606 829 1026 0 90 367 1064 1031 1251 492 124 203 1069 1227 846 0 401 894 947 443 512 815 1160 1265 161 99 722 844 329 877 1043 254 330 557 833 1006 720 1223 353 913 137 816 77 1137 1040 196 738 242 0 539 624 442 763 694 947 518 90 1137 322 738 668 1045 343 959 461 77 852 605 396 625 803 1198 
78.89/79.30	d AC 32
78.89/79.30	d RUNTIME 79.139
78.89/79.30	d NODES 6524
78.89/79.30	d NODES/s 82
78.89/79.30	d BACKTRACKS 1568
78.89/79.30	d BACKTRACKS/s 20
78.89/79.30	d CHECKS 0
78.89/79.30	d CHECKS/s 0
78.89/79.30	c SAT 79.139 TIME      6524 NDS    998 PARSTIME      708 BUILDPB       1958 CONFIG        75475 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-2116187-1248030788/watcher-2116187-1248030788 -o /tmp/evaluation-result-2116187-1248030788/solver-2116187-1248030788 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2116187-1248030788.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.09 2.06 1.97 4/80 24442
/proc/meminfo: memFree=571032/2055920 swapFree=4192812/4192956
[pid=24442] ppid=24440 vsize=10676 CPUtime=0
/proc/24442/stat : 24442 (java) S 24440 24442 23615 0 -1 0 710 0 0 0 0 0 0 0 18 0 2 0 90145343 10932224 488 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24442/statm: 2669 488 211 9 0 1184 0
[pid=24442/tid=24443] ppid=24440 vsize=10676 CPUtime=0
/proc/24442/task/24443/stat : 24443 (java) R 24440 24442 23615 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 90145344 10932224 488 996147200 134512640 134550932 4294955888 18446744073709551615 5525464 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0446321 s]
/proc/loadavg: 2.09 2.06 1.97 4/80 24442
/proc/meminfo: memFree=571032/2055920 swapFree=4192812/4192956
[pid=24442] ppid=24440 vsize=860732 CPUtime=0.03
/proc/24442/stat : 24442 (java) S 24440 24442 23615 0 -1 0 2394 0 1 0 2 1 0 0 18 0 7 0 90145343 881389568 1953 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24442/statm: 215183 1953 907 9 0 210098 0
[pid=24442/tid=24443] ppid=24440 vsize=860732 CPUtime=0.02
/proc/24442/task/24443/stat : 24443 (java) S 24440 24442 23615 0 -1 64 1669 0 1 0 2 0 0 0 18 0 7 0 90145344 881389568 1953 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 860732

[startup+0.107648 s]
/proc/loadavg: 2.09 2.06 1.97 4/80 24442
/proc/meminfo: memFree=571032/2055920 swapFree=4192812/4192956
[pid=24442] ppid=24440 vsize=864072 CPUtime=0.09
/proc/24442/stat : 24442 (java) S 24440 24442 23615 0 -1 0 3883 0 1 0 7 2 0 0 18 0 9 0 90145343 884809728 3333 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24442/statm: 216018 3333 1748 9 0 210487 0
[pid=24442/tid=24443] ppid=24440 vsize=864072 CPUtime=0.07
/proc/24442/task/24443/stat : 24443 (java) R 24440 24442 23615 0 -1 64 2934 0 1 0 6 1 0 0 20 0 9 0 90145344 884809728 3333 996147200 134512640 134550932 4294955888 18446744073709551615 4125928235 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 864072

[startup+0.301675 s]
/proc/loadavg: 2.09 2.06 1.97 4/80 24442
/proc/meminfo: memFree=571032/2055920 swapFree=4192812/4192956
[pid=24442] ppid=24440 vsize=864984 CPUtime=0.28
/proc/24442/stat : 24442 (java) S 24440 24442 23615 0 -1 0 4785 0 1 0 25 3 0 0 18 0 9 0 90145343 885743616 4210 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24442/statm: 216246 4210 1858 9 0 210715 0
[pid=24442/tid=24443] ppid=24440 vsize=864984 CPUtime=0.18
/proc/24442/task/24443/stat : 24443 (java) R 24440 24442 23615 0 -1 64 3566 0 1 0 16 2 0 0 20 0 9 0 90145344 885743616 4210 996147200 134512640 134550932 4294955888 18446744073709551615 4126048133 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 864984

[startup+0.701734 s]
/proc/loadavg: 2.09 2.06 1.97 4/80 24442
/proc/meminfo: memFree=571032/2055920 swapFree=4192812/4192956
[pid=24442] ppid=24440 vsize=864984 CPUtime=0.68
/proc/24442/stat : 24442 (java) S 24440 24442 23615 0 -1 0 8827 0 1 0 62 6 0 0 18 0 9 0 90145343 885743616 8241 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24442/statm: 216246 8241 1899 9 0 210715 0
[pid=24442/tid=24443] ppid=24440 vsize=864984 CPUtime=0.51
/proc/24442/task/24443/stat : 24443 (java) R 24440 24442 23615 0 -1 64 7552 0 1 0 46 5 0 0 23 0 9 0 90145344 885743616 8241 996147200 134512640 134550932 4294955888 18446744073709551615 101450369 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 864984

[startup+1.50289 s]
/proc/loadavg: 2.09 2.06 1.97 3/89 24451
/proc/meminfo: memFree=526992/2055920 swapFree=4192812/4192956
[pid=24442] ppid=24440 vsize=865136 CPUtime=1.48
/proc/24442/stat : 24442 (java) S 24440 24442 23615 0 -1 0 19500 0 1 0 136 12 0 0 18 0 9 0 90145343 885899264 18891 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24442/statm: 216284 18891 1956 9 0 210753 0
[pid=24442/tid=24443] ppid=24440 vsize=865136 CPUtime=1.1
/proc/24442/task/24443/stat : 24443 (java) R 24440 24442 23615 0 -1 64 14527 0 1 0 102 8 0 0 25 0 9 0 90145344 885899264 18891 996147200 134512640 134550932 4294955888 18446744073709551615 4126996459 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24445] ppid=24440 vsize=865136 CPUtime=0.09
/proc/24442/task/24445/stat : 24445 (java) S 24440 24442 23615 0 -1 64 3621 0 0 0 8 1 0 0 16 0 9 0 90145346 885899264 18891 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24446] ppid=24440 vsize=865136 CPUtime=0
/proc/24442/task/24446/stat : 24446 (java) S 24440 24442 23615 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90145346 885899264 18891 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24447] ppid=24440 vsize=865136 CPUtime=0
/proc/24442/task/24447/stat : 24447 (java) S 24440 24442 23615 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90145346 885899264 18891 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24448] ppid=24440 vsize=865136 CPUtime=0
/proc/24442/task/24448/stat : 24448 (java) S 24440 24442 23615 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90145348 885899264 18891 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24449] ppid=24440 vsize=865136 CPUtime=0.25
/proc/24442/task/24449/stat : 24449 (java) S 24440 24442 23615 0 -1 64 620 0 0 0 25 0 0 0 16 0 9 0 90145348 885899264 18891 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24450] ppid=24440 vsize=865136 CPUtime=0
/proc/24442/task/24450/stat : 24450 (java) S 24440 24442 23615 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90145348 885899264 18891 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24451] ppid=24440 vsize=865136 CPUtime=0
/proc/24442/task/24451/stat : 24451 (java) S 24440 24442 23615 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90145348 885899264 18891 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 865136

[startup+3.10108 s]
/proc/loadavg: 2.09 2.06 1.97 3/89 24451
/proc/meminfo: memFree=501712/2055920 swapFree=4192812/4192956
[pid=24442] ppid=24440 vsize=865136 CPUtime=3.07
/proc/24442/stat : 24442 (java) S 24440 24442 23615 0 -1 0 23866 0 1 0 293 14 0 0 18 0 9 0 90145343 885899264 23241 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24442/statm: 216284 23241 1979 9 0 210753 0
[pid=24442/tid=24443] ppid=24440 vsize=865136 CPUtime=2.48
/proc/24442/task/24443/stat : 24443 (java) R 24440 24442 23615 0 -1 64 14779 0 1 0 239 9 0 0 25 0 9 0 90145344 885899264 23241 996147200 134512640 134550932 4294955888 18446744073709551615 4127238892 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24445] ppid=24440 vsize=865136 CPUtime=0.22
/proc/24442/task/24445/stat : 24445 (java) S 24440 24442 23615 0 -1 64 7675 0 0 0 19 3 0 0 16 0 9 0 90145346 885899264 23241 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24446] ppid=24440 vsize=865136 CPUtime=0
/proc/24442/task/24446/stat : 24446 (java) S 24440 24442 23615 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90145346 885899264 23241 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24447] ppid=24440 vsize=865136 CPUtime=0
/proc/24442/task/24447/stat : 24447 (java) S 24440 24442 23615 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90145346 885899264 23241 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24448] ppid=24440 vsize=865136 CPUtime=0
/proc/24442/task/24448/stat : 24448 (java) S 24440 24442 23615 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90145348 885899264 23241 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24449] ppid=24440 vsize=865136 CPUtime=0.35
/proc/24442/task/24449/stat : 24449 (java) S 24440 24442 23615 0 -1 64 680 0 0 0 34 1 0 0 16 0 9 0 90145348 885899264 23241 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24450] ppid=24440 vsize=865136 CPUtime=0
/proc/24442/task/24450/stat : 24450 (java) S 24440 24442 23615 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90145348 885899264 23241 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24451] ppid=24440 vsize=865136 CPUtime=0
/proc/24442/task/24451/stat : 24451 (java) S 24440 24442 23615 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90145348 885899264 23241 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 865136

[startup+6.30254 s]
/proc/loadavg: 2.08 2.06 1.97 3/89 24451
/proc/meminfo: memFree=471376/2055920 swapFree=4192812/4192956
[pid=24442] ppid=24440 vsize=865252 CPUtime=6.26
/proc/24442/stat : 24442 (java) S 24440 24442 23615 0 -1 0 30560 0 1 0 606 20 0 0 18 0 9 0 90145343 886018048 29927 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24442/statm: 216313 29927 1998 9 0 210782 0
[pid=24442/tid=24443] ppid=24440 vsize=865252 CPUtime=5.29
/proc/24442/task/24443/stat : 24443 (java) R 24440 24442 23615 0 -1 64 14899 0 1 0 519 10 0 0 25 0 9 0 90145344 886018048 29927 996147200 134512640 134550932 4294955888 18446744073709551615 4127450496 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24445] ppid=24440 vsize=865252 CPUtime=0.42
/proc/24442/task/24445/stat : 24445 (java) S 24440 24442 23615 0 -1 64 14149 0 0 0 36 6 0 0 16 0 9 0 90145346 886018048 29927 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24446] ppid=24440 vsize=865252 CPUtime=0
/proc/24442/task/24446/stat : 24446 (java) S 24440 24442 23615 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90145346 886018048 29927 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24447] ppid=24440 vsize=865252 CPUtime=0
/proc/24442/task/24447/stat : 24447 (java) S 24440 24442 23615 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90145346 886018048 29927 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24448] ppid=24440 vsize=865252 CPUtime=0
/proc/24442/task/24448/stat : 24448 (java) S 24440 24442 23615 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90145348 886018048 29927 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24449] ppid=24440 vsize=865252 CPUtime=0.51
/proc/24442/task/24449/stat : 24449 (java) S 24440 24442 23615 0 -1 64 780 0 0 0 49 2 0 0 16 0 9 0 90145348 886018048 29927 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24450] ppid=24440 vsize=865252 CPUtime=0
/proc/24442/task/24450/stat : 24450 (java) S 24440 24442 23615 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90145348 886018048 29927 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24451] ppid=24440 vsize=865252 CPUtime=0
/proc/24442/task/24451/stat : 24451 (java) S 24440 24442 23615 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90145348 886018048 29927 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 865252

[startup+12.7015 s]
/proc/loadavg: 2.08 2.06 1.97 3/89 24451
/proc/meminfo: memFree=452816/2055920 swapFree=4192812/4192956
[pid=24442] ppid=24440 vsize=865252 CPUtime=12.62
/proc/24442/stat : 24442 (java) S 24440 24442 23615 0 -1 0 31945 0 1 0 1241 21 0 0 18 0 9 0 90145343 886018048 31308 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24442/statm: 216313 31308 1998 9 0 210782 0
[pid=24442/tid=24443] ppid=24440 vsize=865252 CPUtime=11.6
/proc/24442/task/24443/stat : 24443 (java) R 24440 24442 23615 0 -1 64 14903 0 1 0 1149 11 0 0 25 0 9 0 90145344 886018048 31308 996147200 134512640 134550932 4294955888 18446744073709551615 4127493234 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24445] ppid=24440 vsize=865252 CPUtime=0.47
/proc/24442/task/24445/stat : 24445 (java) S 24440 24442 23615 0 -1 64 15526 0 0 0 40 7 0 0 16 0 9 0 90145346 886018048 31308 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24446] ppid=24440 vsize=865252 CPUtime=0
/proc/24442/task/24446/stat : 24446 (java) S 24440 24442 23615 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90145346 886018048 31308 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24447] ppid=24440 vsize=865252 CPUtime=0
/proc/24442/task/24447/stat : 24447 (java) S 24440 24442 23615 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90145346 886018048 31308 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24448] ppid=24440 vsize=865252 CPUtime=0
/proc/24442/task/24448/stat : 24448 (java) S 24440 24442 23615 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90145348 886018048 31308 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24449] ppid=24440 vsize=865252 CPUtime=0.52
/proc/24442/task/24449/stat : 24449 (java) S 24440 24442 23615 0 -1 64 784 0 0 0 50 2 0 0 16 0 9 0 90145348 886018048 31308 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24450] ppid=24440 vsize=865252 CPUtime=0
/proc/24442/task/24450/stat : 24450 (java) S 24440 24442 23615 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90145348 886018048 31308 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24451] ppid=24440 vsize=865252 CPUtime=0
/proc/24442/task/24451/stat : 24451 (java) S 24440 24442 23615 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90145348 886018048 31308 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 865252

[startup+25.5023 s]
/proc/loadavg: 2.06 2.05 1.97 3/89 24451
/proc/meminfo: memFree=452880/2055920 swapFree=4192812/4192956
[pid=24442] ppid=24440 vsize=865252 CPUtime=25.36
/proc/24442/stat : 24442 (java) S 24440 24442 23615 0 -1 0 31959 0 1 0 2512 24 0 0 18 0 9 0 90145343 886018048 31317 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24442/statm: 216313 31317 2000 9 0 210782 0
[pid=24442/tid=24443] ppid=24440 vsize=865252 CPUtime=24.3
/proc/24442/task/24443/stat : 24443 (java) R 24440 24442 23615 0 -1 64 14916 0 1 0 2417 13 0 0 25 0 9 0 90145344 886018048 31317 996147200 134512640 134550932 4294955888 18446744073709551615 4126919103 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24445] ppid=24440 vsize=865252 CPUtime=0.5
/proc/24442/task/24445/stat : 24445 (java) S 24440 24442 23615 0 -1 64 15526 0 0 0 43 7 0 0 16 0 9 0 90145346 886018048 31317 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24446] ppid=24440 vsize=865252 CPUtime=0
/proc/24442/task/24446/stat : 24446 (java) S 24440 24442 23615 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90145346 886018048 31317 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24447] ppid=24440 vsize=865252 CPUtime=0
/proc/24442/task/24447/stat : 24447 (java) S 24440 24442 23615 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90145346 886018048 31317 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24448] ppid=24440 vsize=865252 CPUtime=0
/proc/24442/task/24448/stat : 24448 (java) S 24440 24442 23615 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90145348 886018048 31317 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24449] ppid=24440 vsize=865252 CPUtime=0.53
/proc/24442/task/24449/stat : 24449 (java) S 24440 24442 23615 0 -1 64 785 0 0 0 51 2 0 0 16 0 9 0 90145348 886018048 31317 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24450] ppid=24440 vsize=865252 CPUtime=0
/proc/24442/task/24450/stat : 24450 (java) S 24440 24442 23615 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90145348 886018048 31317 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24451] ppid=24440 vsize=865252 CPUtime=0
/proc/24442/task/24451/stat : 24451 (java) S 24440 24442 23615 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90145348 886018048 31317 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 865252

[startup+51.103 s]
/proc/loadavg: 2.04 2.05 1.97 3/89 24451
/proc/meminfo: memFree=452944/2055920 swapFree=4192812/4192956
[pid=24442] ppid=24440 vsize=865252 CPUtime=50.83
/proc/24442/stat : 24442 (java) S 24440 24442 23615 0 -1 0 31975 0 1 0 5059 24 0 0 18 0 9 0 90145343 886018048 31323 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24442/statm: 216313 31323 2003 9 0 210782 0
[pid=24442/tid=24443] ppid=24440 vsize=865252 CPUtime=49.74
/proc/24442/task/24443/stat : 24443 (java) R 24440 24442 23615 0 -1 64 14926 0 1 0 4960 14 0 0 25 0 9 0 90145344 886018048 31323 996147200 134512640 134550932 4294955888 18446744073709551615 4127489002 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24445] ppid=24440 vsize=865252 CPUtime=0.53
/proc/24442/task/24445/stat : 24445 (java) S 24440 24442 23615 0 -1 64 15526 0 0 0 46 7 0 0 16 0 9 0 90145346 886018048 31323 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0

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

/proc/24442/stat : 24442 (java) S 24440 24442 23615 0 -1 0 31977 0 1 0 6332 24 0 0 18 0 9 0 90145343 886018048 31323 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24442/statm: 216313 31323 2003 9 0 210782 0
[pid=24442/tid=24443] ppid=24440 vsize=865252 CPUtime=62.46
/proc/24442/task/24443/stat : 24443 (java) R 24440 24442 23615 0 -1 64 14928 0 1 0 6232 14 0 0 25 0 9 0 90145344 886018048 31323 996147200 134512640 134550932 4294955888 18446744073709551615 4127234882 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24445] ppid=24440 vsize=865252 CPUtime=0.54
/proc/24442/task/24445/stat : 24445 (java) S 24440 24442 23615 0 -1 64 15526 0 0 0 47 7 0 0 17 0 9 0 90145346 886018048 31323 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24446] ppid=24440 vsize=865252 CPUtime=0
/proc/24442/task/24446/stat : 24446 (java) S 24440 24442 23615 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90145346 886018048 31323 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24447] ppid=24440 vsize=865252 CPUtime=0
/proc/24442/task/24447/stat : 24447 (java) S 24440 24442 23615 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90145346 886018048 31323 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24448] ppid=24440 vsize=865252 CPUtime=0
/proc/24442/task/24448/stat : 24448 (java) S 24440 24442 23615 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90145348 886018048 31323 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24449] ppid=24440 vsize=865252 CPUtime=0.54
/proc/24442/task/24449/stat : 24449 (java) S 24440 24442 23615 0 -1 64 791 0 0 0 52 2 0 0 16 0 9 0 90145348 886018048 31323 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24450] ppid=24440 vsize=865252 CPUtime=0
/proc/24442/task/24450/stat : 24450 (java) S 24440 24442 23615 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90145348 886018048 31323 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24451] ppid=24440 vsize=865252 CPUtime=0
/proc/24442/task/24451/stat : 24451 (java) S 24440 24442 23615 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90145348 886018048 31323 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 63.56
Current children cumulated vsize (KiB) 865252

[startup+70.3018 s]
/proc/loadavg: 2.03 2.04 1.97 3/89 24451
/proc/meminfo: memFree=452880/2055920 swapFree=4192812/4192956
[pid=24442] ppid=24440 vsize=865252 CPUtime=69.93
/proc/24442/stat : 24442 (java) S 24440 24442 23615 0 -1 0 31977 0 1 0 6969 24 0 0 18 0 9 0 90145343 886018048 31323 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24442/statm: 216313 31323 2003 9 0 210782 0
[pid=24442/tid=24443] ppid=24440 vsize=865252 CPUtime=68.83
/proc/24442/task/24443/stat : 24443 (java) R 24440 24442 23615 0 -1 64 14928 0 1 0 6869 14 0 0 25 0 9 0 90145344 886018048 31323 996147200 134512640 134550932 4294955888 18446744073709551615 4127525120 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24445] ppid=24440 vsize=865252 CPUtime=0.54
/proc/24442/task/24445/stat : 24445 (java) S 24440 24442 23615 0 -1 64 15526 0 0 0 47 7 0 0 16 0 9 0 90145346 886018048 31323 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24446] ppid=24440 vsize=865252 CPUtime=0
/proc/24442/task/24446/stat : 24446 (java) S 24440 24442 23615 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90145346 886018048 31323 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24447] ppid=24440 vsize=865252 CPUtime=0
/proc/24442/task/24447/stat : 24447 (java) S 24440 24442 23615 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90145346 886018048 31323 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24448] ppid=24440 vsize=865252 CPUtime=0
/proc/24442/task/24448/stat : 24448 (java) S 24440 24442 23615 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90145348 886018048 31323 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24449] ppid=24440 vsize=865252 CPUtime=0.54
/proc/24442/task/24449/stat : 24449 (java) S 24440 24442 23615 0 -1 64 791 0 0 0 52 2 0 0 16 0 9 0 90145348 886018048 31323 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24450] ppid=24440 vsize=865252 CPUtime=0
/proc/24442/task/24450/stat : 24450 (java) S 24440 24442 23615 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90145348 886018048 31323 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24451] ppid=24440 vsize=865252 CPUtime=0
/proc/24442/task/24451/stat : 24451 (java) S 24440 24442 23615 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90145348 886018048 31323 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 69.93
Current children cumulated vsize (KiB) 865252

[startup+73.5012 s]
/proc/loadavg: 2.03 2.04 1.97 3/89 24451
/proc/meminfo: memFree=452880/2055920 swapFree=4192812/4192956
[pid=24442] ppid=24440 vsize=865252 CPUtime=73.12
/proc/24442/stat : 24442 (java) S 24440 24442 23615 0 -1 0 31978 0 1 0 7288 24 0 0 18 0 9 0 90145343 886018048 31324 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24442/statm: 216313 31324 2003 9 0 210782 0
[pid=24442/tid=24443] ppid=24440 vsize=865252 CPUtime=72.01
/proc/24442/task/24443/stat : 24443 (java) R 24440 24442 23615 0 -1 64 14928 0 1 0 7187 14 0 0 25 0 9 0 90145344 886018048 31324 996147200 134512640 134550932 4294955888 18446744073709551615 4127489027 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24445] ppid=24440 vsize=865252 CPUtime=0.54
/proc/24442/task/24445/stat : 24445 (java) S 24440 24442 23615 0 -1 64 15526 0 0 0 47 7 0 0 16 0 9 0 90145346 886018048 31324 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24446] ppid=24440 vsize=865252 CPUtime=0
/proc/24442/task/24446/stat : 24446 (java) S 24440 24442 23615 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90145346 886018048 31324 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24447] ppid=24440 vsize=865252 CPUtime=0
/proc/24442/task/24447/stat : 24447 (java) S 24440 24442 23615 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90145346 886018048 31324 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24448] ppid=24440 vsize=865252 CPUtime=0
/proc/24442/task/24448/stat : 24448 (java) S 24440 24442 23615 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90145348 886018048 31324 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24449] ppid=24440 vsize=865252 CPUtime=0.54
/proc/24442/task/24449/stat : 24449 (java) S 24440 24442 23615 0 -1 64 792 0 0 0 52 2 0 0 16 0 9 0 90145348 886018048 31324 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24450] ppid=24440 vsize=865252 CPUtime=0
/proc/24442/task/24450/stat : 24450 (java) S 24440 24442 23615 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90145348 886018048 31324 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24451] ppid=24440 vsize=865252 CPUtime=0
/proc/24442/task/24451/stat : 24451 (java) S 24440 24442 23615 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90145348 886018048 31324 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 73.12
Current children cumulated vsize (KiB) 865252

[startup+76.7027 s]
/proc/loadavg: 2.02 2.04 1.97 3/89 24451
/proc/meminfo: memFree=452880/2055920 swapFree=4192812/4192956
[pid=24442] ppid=24440 vsize=865252 CPUtime=76.3
/proc/24442/stat : 24442 (java) S 24440 24442 23615 0 -1 0 31979 0 1 0 7606 24 0 0 18 0 9 0 90145343 886018048 31324 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24442/statm: 216313 31324 2003 9 0 210782 0
[pid=24442/tid=24443] ppid=24440 vsize=865252 CPUtime=75.19
/proc/24442/task/24443/stat : 24443 (java) R 24440 24442 23615 0 -1 64 14929 0 1 0 7505 14 0 0 25 0 9 0 90145344 886018048 31324 996147200 134512640 134550932 4294955888 18446744073709551615 4127618933 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24445] ppid=24440 vsize=865252 CPUtime=0.55
/proc/24442/task/24445/stat : 24445 (java) S 24440 24442 23615 0 -1 64 15526 0 0 0 48 7 0 0 16 0 9 0 90145346 886018048 31324 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24446] ppid=24440 vsize=865252 CPUtime=0
/proc/24442/task/24446/stat : 24446 (java) S 24440 24442 23615 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90145346 886018048 31324 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24447] ppid=24440 vsize=865252 CPUtime=0
/proc/24442/task/24447/stat : 24447 (java) S 24440 24442 23615 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90145346 886018048 31324 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24448] ppid=24440 vsize=865252 CPUtime=0
/proc/24442/task/24448/stat : 24448 (java) S 24440 24442 23615 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90145348 886018048 31324 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24449] ppid=24440 vsize=865252 CPUtime=0.54
/proc/24442/task/24449/stat : 24449 (java) S 24440 24442 23615 0 -1 64 792 0 0 0 52 2 0 0 16 0 9 0 90145348 886018048 31324 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24450] ppid=24440 vsize=865252 CPUtime=0
/proc/24442/task/24450/stat : 24450 (java) S 24440 24442 23615 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90145348 886018048 31324 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24451] ppid=24440 vsize=865252 CPUtime=0
/proc/24442/task/24451/stat : 24451 (java) S 24440 24442 23615 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90145348 886018048 31324 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 76.3
Current children cumulated vsize (KiB) 865252

[startup+78.3019 s]
/proc/loadavg: 2.02 2.04 1.97 3/89 24451
/proc/meminfo: memFree=452880/2055920 swapFree=4192812/4192956
[pid=24442] ppid=24440 vsize=865252 CPUtime=77.9
/proc/24442/stat : 24442 (java) S 24440 24442 23615 0 -1 0 31983 0 1 0 7765 25 0 0 18 0 9 0 90145343 886018048 31327 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24442/statm: 216313 31327 2003 9 0 210782 0
[pid=24442/tid=24443] ppid=24440 vsize=865252 CPUtime=76.77
/proc/24442/task/24443/stat : 24443 (java) R 24440 24442 23615 0 -1 64 14930 0 1 0 7663 14 0 0 25 0 9 0 90145344 886018048 31327 996147200 134512640 134550932 4294955888 18446744073709551615 4127489027 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24445] ppid=24440 vsize=865252 CPUtime=0.55
/proc/24442/task/24445/stat : 24445 (java) S 24440 24442 23615 0 -1 64 15526 0 0 0 48 7 0 0 17 0 9 0 90145346 886018048 31327 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24446] ppid=24440 vsize=865252 CPUtime=0
/proc/24442/task/24446/stat : 24446 (java) S 24440 24442 23615 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90145346 886018048 31327 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24447] ppid=24440 vsize=865252 CPUtime=0
/proc/24442/task/24447/stat : 24447 (java) S 24440 24442 23615 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90145346 886018048 31327 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24448] ppid=24440 vsize=865252 CPUtime=0
/proc/24442/task/24448/stat : 24448 (java) S 24440 24442 23615 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90145348 886018048 31327 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24449] ppid=24440 vsize=865252 CPUtime=0.54
/proc/24442/task/24449/stat : 24449 (java) S 24440 24442 23615 0 -1 64 795 0 0 0 52 2 0 0 16 0 9 0 90145348 886018048 31327 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24450] ppid=24440 vsize=865252 CPUtime=0
/proc/24442/task/24450/stat : 24450 (java) S 24440 24442 23615 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90145348 886018048 31327 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24451] ppid=24440 vsize=865252 CPUtime=0
/proc/24442/task/24451/stat : 24451 (java) S 24440 24442 23615 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90145348 886018048 31327 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 77.9
Current children cumulated vsize (KiB) 865252

[startup+79.101 s]
/proc/loadavg: 2.02 2.04 1.97 3/89 24451
/proc/meminfo: memFree=452880/2055920 swapFree=4192812/4192956
[pid=24442] ppid=24440 vsize=865252 CPUtime=78.7
/proc/24442/stat : 24442 (java) S 24440 24442 23615 0 -1 0 31985 0 1 0 7845 25 0 0 18 0 9 0 90145343 886018048 31328 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24442/statm: 216313 31328 2003 9 0 210782 0
[pid=24442/tid=24443] ppid=24440 vsize=865252 CPUtime=77.57
/proc/24442/task/24443/stat : 24443 (java) R 24440 24442 23615 0 -1 64 14931 0 1 0 7742 15 0 0 25 0 9 0 90145344 886018048 31328 996147200 134512640 134550932 4294955888 18446744073709551615 4127495058 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24445] ppid=24440 vsize=865252 CPUtime=0.55
/proc/24442/task/24445/stat : 24445 (java) S 24440 24442 23615 0 -1 64 15526 0 0 0 48 7 0 0 17 0 9 0 90145346 886018048 31328 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24446] ppid=24440 vsize=865252 CPUtime=0
/proc/24442/task/24446/stat : 24446 (java) S 24440 24442 23615 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90145346 886018048 31328 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24447] ppid=24440 vsize=865252 CPUtime=0
/proc/24442/task/24447/stat : 24447 (java) S 24440 24442 23615 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90145346 886018048 31328 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24448] ppid=24440 vsize=865252 CPUtime=0
/proc/24442/task/24448/stat : 24448 (java) S 24440 24442 23615 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90145348 886018048 31328 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24449] ppid=24440 vsize=865252 CPUtime=0.55
/proc/24442/task/24449/stat : 24449 (java) S 24440 24442 23615 0 -1 64 796 0 0 0 53 2 0 0 15 0 9 0 90145348 886018048 31328 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24450] ppid=24440 vsize=865252 CPUtime=0
/proc/24442/task/24450/stat : 24450 (java) S 24440 24442 23615 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90145348 886018048 31328 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24451] ppid=24440 vsize=865252 CPUtime=0
/proc/24442/task/24451/stat : 24451 (java) S 24440 24442 23615 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90145348 886018048 31328 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 78.7
Current children cumulated vsize (KiB) 865252

[startup+79.3011 s]
/proc/loadavg: 2.02 2.04 1.97 3/89 24451
/proc/meminfo: memFree=452880/2055920 swapFree=4192812/4192956
[pid=24442] ppid=24440 vsize=865252 CPUtime=78.89
/proc/24442/stat : 24442 (java) S 24440 24442 23615 0 -1 0 32008 0 1 0 7864 25 0 0 18 0 9 0 90145343 886018048 31350 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24442/statm: 216313 31350 2011 9 0 210782 0
[pid=24442/tid=24443] ppid=24440 vsize=865252 CPUtime=77.76
/proc/24442/task/24443/stat : 24443 (java) R 24440 24442 23615 0 -1 64 14951 0 1 0 7761 15 0 0 25 0 9 0 90145344 886018048 31350 996147200 134512640 134550932 4294955888 18446744073709551615 4126785401 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24445] ppid=24440 vsize=865252 CPUtime=0.55
/proc/24442/task/24445/stat : 24445 (java) S 24440 24442 23615 0 -1 64 15526 0 0 0 48 7 0 0 17 0 9 0 90145346 886018048 31350 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24446] ppid=24440 vsize=865252 CPUtime=0
/proc/24442/task/24446/stat : 24446 (java) S 24440 24442 23615 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90145346 886018048 31350 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24447] ppid=24440 vsize=865252 CPUtime=0
/proc/24442/task/24447/stat : 24447 (java) S 24440 24442 23615 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90145346 886018048 31350 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24448] ppid=24440 vsize=865252 CPUtime=0
/proc/24442/task/24448/stat : 24448 (java) S 24440 24442 23615 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90145348 886018048 31350 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24449] ppid=24440 vsize=865252 CPUtime=0.55
/proc/24442/task/24449/stat : 24449 (java) S 24440 24442 23615 0 -1 64 799 0 0 0 53 2 0 0 15 0 9 0 90145348 886018048 31350 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24450] ppid=24440 vsize=865252 CPUtime=0
/proc/24442/task/24450/stat : 24450 (java) S 24440 24442 23615 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90145348 886018048 31350 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24442/tid=24451] ppid=24440 vsize=865252 CPUtime=0
/proc/24442/task/24451/stat : 24451 (java) S 24440 24442 23615 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90145348 886018048 31350 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 78.89
Current children cumulated vsize (KiB) 865252

Child status: 0
Real time (s): 79.3691
CPU time (s): 78.923
CPU user time (s): 78.649
CPU system time (s): 0.273958
CPU usage (%): 99.4379
Max. virtual memory (cumulated for all children) (KiB): 865252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 78.649
system time used= 0.273958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32025
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= 4841
involuntary context switches= 5811

runsolver used 0.111982 second user time and 0.263959 second system time

The end

Launcher Data 

Begin job on node22 at 2009-07-19 21:13:08
IDJOB=2116187
IDBENCH=56425
IDSOLVER=780
FILE ID=node22/2116187-1248030788
PBS_JOBID= 9529002
Free space on /tmp= 66384 MiB

SOLVER NAME= Choco2.1.1b 2009-07-16
BENCH NAME= CPAI08/csp/os-taillard-20/normalized-os-taillard-20-100-9.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-2116187-1248030788/watcher-2116187-1248030788 -o /tmp/evaluation-result-2116187-1248030788/solver-2116187-1248030788 -C 1800 -W 2000 -M 900  java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2116187-1248030788.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= fc7340650ecf26f83251f4e28365151f
RANDOM SEED=1993383290

node22.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.278
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.278
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	: 5636.09
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:        571512 kB
Buffers:        103704 kB
Cached:         881480 kB
SwapCached:          0 kB
Active:         527184 kB
Inactive:       857452 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        571512 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            6252 kB
Writeback:           0 kB
Mapped:         417272 kB
Slab:            84384 kB
Committed_AS:  1330696 kB
PageTables:       2496 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= 66376 MiB
End job on node22 at 2009-07-19 21:14:28