Trace number 1074810

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_dwdeg 2008-06-26SAT 18.3492 18.5644

DiagnosticValue
ASSIGNMENTS866

General information on the benchmark

Namecsp/os-taillard-20/
normalized-os-taillard-20-105-8.xml
MD5SUM86b24a9ba558d9e8e32f84b5d3fc0678
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark2.41663
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1388
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 (download as text)

18.30/18.52	s SATISFIABLE
18.30/18.52	v 519 727 872 397 187 175 1043 366 418 1216 898 1300 592 1135 343 856 985 463 635 783 766 1019 523 284 579 463 627 389 369 361 1291 1194 927 843 326 265 680 642 1099 612 1158 765 812 363 754 627 563 752 1071 708 789 399 884 1109 314 994 734 947 1293 1204 1315 578 1198 457 741 408 205 924 328 1327 812 1099 422 1101 1296 670 620 530 1001 377 734 1386 783 314 1322 1251 1111 680 1013 947 1191 478 557 159 352 848 73 395 631 234 437 700 595 926 820 1293 801 945 90 166 764 1200 507 343 978 1105 110 902 369 1036 1172 730 872 764 1327 1173 1376 1087 1030 693 706 204 161 1261 902 272 562 1134 623 984 927 993 661 1100 856 1385 1244 620 1087 0 1295 228 1170 715 519 592 1184 1211 809 1006 1255 366 789 1314 290 1165 1029 922 1103 836 208 182 831 1105 151 80 691 589 462 19 1216 139 40 1290 526 978 581 1134 437 0 507 1105 1007 882 721 563 375 106 623 817 1205 1359 366 1290 1112 326 928 827 159 284 1007 494 105 731 0 19 567 632 401 1072 1112 944 327 840 567 177 158 1200 1036 240 401 105 71 40 457 777 1343 655 123 0 1155 1295 240 884 533 110 1031 706 160 731 372 622 36 1213 299 422 0 450 1255 946 1166 689 1071 375 436 314 916 1336 578 177 139 994 1270 4 222 827 478 1223 731 76 832 981 643 554 94 298 1009 456 1200 938 1241 744 213 151 1376 361 284 0 1337 731 848 1046 751 661 1261 160 589 642 397 1213 91 343 222 944 1172 4 280 462 0 526 1165 1036 1241 1280 1361 851 1343 981 1337 93 659 1113 754 416 946 562 327 471 187 0 471 875 1000 832 1131 920 553 754 663 939 819 372 280 272 187 1109 91 1046 615 0 450 998 545 830 1315 926 1197 280 187 1266 628 1251 691 94 984 0 851 361 765 1103 708 973 553 442 526 545 1293 1030 851 1194 1111 781 343 77 265 166 0 635 1135 91 
18.30/18.52	d ASSIGNMENTS 866
18.30/18.52	c SAT 18419 TIME      866 NDS    1014 PARSTIME      3396 BUILDPB       14009 RES       true RESTART       1 HEURISTIC

Verifier Data (download as text)

OK

Watcher Data (download as text)

runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1074810-1215179859/watcher-1074810-1215179859 -o /tmp/evaluation-result-1074810-1215179859/solver-1074810-1215179859 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar choco2dwdeg.jar HOME/instance-1074810-1215179859.xml 

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): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.93 1.40 1.22 4/81 11171
/proc/meminfo: memFree=1581568/2055920 swapFree=4180540/4192956
[pid=11171] ppid=11169 vsize=18572 CPUtime=0
/proc/11171/stat : 11171 (runsolver) R 11169 11171 11002 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 1996960284 19017728 292 996147200 4194304 4296836 548682068400 18446744073709551615 227848809767 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/11171/statm: 4643 292 257 25 0 2626 0

[startup+0.0231441 s]
/proc/loadavg: 1.93 1.40 1.22 4/81 11171
/proc/meminfo: memFree=1581568/2055920 swapFree=4180540/4192956
[pid=11171] ppid=11169 vsize=44664 CPUtime=0
/proc/11171/stat : 11171 (java) S 11169 11171 11002 0 -1 0 942 0 1 0 0 0 0 0 18 0 2 0 1996960284 45735936 674 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/11171/statm: 11166 674 365 9 0 9564 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 44664

[startup+0.112158 s]
/proc/loadavg: 1.93 1.40 1.22 4/81 11171
/proc/meminfo: memFree=1581568/2055920 swapFree=4180540/4192956
[pid=11171] ppid=11169 vsize=866544 CPUtime=0.09
/proc/11171/stat : 11171 (java) S 11169 11171 11002 0 -1 0 3851 0 1 0 7 2 0 0 18 0 9 0 1996960284 887341056 3313 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11171/statm: 216636 3313 1771 9 0 211108 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 866544

[startup+0.301191 s]
/proc/loadavg: 1.93 1.40 1.22 4/81 11171
/proc/meminfo: memFree=1581568/2055920 swapFree=4180540/4192956
[pid=11171] ppid=11169 vsize=867304 CPUtime=0.27
/proc/11171/stat : 11171 (java) S 11169 11171 11002 0 -1 0 4631 0 1 0 25 2 0 0 18 0 9 0 1996960284 888119296 4084 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11171/statm: 216826 4084 1854 9 0 211298 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 867304

[startup+0.701262 s]
/proc/loadavg: 1.93 1.40 1.22 4/81 11171
/proc/meminfo: memFree=1581568/2055920 swapFree=4180540/4192956
[pid=11171] ppid=11169 vsize=867432 CPUtime=0.67
/proc/11171/stat : 11171 (java) S 11169 11171 11002 0 -1 0 8485 0 1 0 62 5 0 0 18 0 9 0 1996960284 888250368 7924 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11171/statm: 216858 7924 1903 9 0 211330 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867432

[startup+1.5024 s]
/proc/loadavg: 1.93 1.40 1.22 3/90 11180
/proc/meminfo: memFree=1538936/2055920 swapFree=4180540/4192956
[pid=11171] ppid=11169 vsize=867488 CPUtime=1.47
/proc/11171/stat : 11171 (java) S 11169 11171 11002 0 -1 0 20380 0 1 0 135 12 0 0 18 0 9 0 1996960284 888307712 19784 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11171/statm: 216872 19784 1981 9 0 211344 0
[pid=11171/tid=11173] ppid=11169 vsize=867488 CPUtime=1.1
/proc/11171/task/11173/stat : 11173 (java) R 11169 11171 11002 0 -1 64 15452 0 1 0 101 9 0 0 25 0 9 0 1996960285 888307712 19784 996147200 134512640 134550740 4294956016 18446744073709551615 4126928080 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11174] ppid=11169 vsize=867488 CPUtime=0.11
/proc/11171/task/11174/stat : 11174 (java) S 11169 11171 11002 0 -1 64 3621 0 0 0 10 1 0 0 17 0 9 0 1996960287 888307712 19784 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11175] ppid=11169 vsize=867488 CPUtime=0
/proc/11171/task/11175/stat : 11175 (java) S 11169 11171 11002 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1996960287 888307712 19784 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11176] ppid=11169 vsize=867488 CPUtime=0
/proc/11171/task/11176/stat : 11176 (java) S 11169 11171 11002 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1996960287 888307712 19784 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11177] ppid=11169 vsize=867488 CPUtime=0
/proc/11171/task/11177/stat : 11177 (java) S 11169 11171 11002 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1996960289 888307712 19784 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11178] ppid=11169 vsize=867488 CPUtime=0.23
/proc/11171/task/11178/stat : 11178 (java) S 11169 11171 11002 0 -1 64 579 0 0 0 23 0 0 0 15 0 9 0 1996960289 888307712 19784 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11179] ppid=11169 vsize=867488 CPUtime=0
/proc/11171/task/11179/stat : 11179 (java) S 11169 11171 11002 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1996960289 888307712 19784 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11180] ppid=11169 vsize=867488 CPUtime=0
/proc/11171/task/11180/stat : 11180 (java) S 11169 11171 11002 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1996960289 888307712 19784 996147200 134512640 134550740 4294956016 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) 867488

[startup+3.10169 s]
/proc/loadavg: 2.01 1.43 1.23 3/90 11180
/proc/meminfo: memFree=1503480/2055920 swapFree=4180540/4192956
[pid=11171] ppid=11169 vsize=867488 CPUtime=3.05
/proc/11171/stat : 11171 (java) S 11169 11171 11002 0 -1 0 21917 0 1 0 292 13 0 0 18 0 9 0 1996960284 888307712 21315 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11171/statm: 216872 21315 1982 9 0 211344 0
[pid=11171/tid=11173] ppid=11169 vsize=867488 CPUtime=2.58
/proc/11171/task/11173/stat : 11173 (java) R 11169 11171 11002 0 -1 64 15458 0 1 0 249 9 0 0 25 0 9 0 1996960285 888307712 21315 996147200 134512640 134550740 4294956016 18446744073709551615 4126928127 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11174] ppid=11169 vsize=867488 CPUtime=0.15
/proc/11171/task/11174/stat : 11174 (java) S 11169 11171 11002 0 -1 64 5113 0 0 0 13 2 0 0 16 0 9 0 1996960287 888307712 21315 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11175] ppid=11169 vsize=867488 CPUtime=0
/proc/11171/task/11175/stat : 11175 (java) S 11169 11171 11002 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1996960287 888307712 21315 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11176] ppid=11169 vsize=867488 CPUtime=0
/proc/11171/task/11176/stat : 11176 (java) S 11169 11171 11002 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1996960287 888307712 21315 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11177] ppid=11169 vsize=867488 CPUtime=0
/proc/11171/task/11177/stat : 11177 (java) S 11169 11171 11002 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1996960289 888307712 21315 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11178] ppid=11169 vsize=867488 CPUtime=0.29
/proc/11171/task/11178/stat : 11178 (java) S 11169 11171 11002 0 -1 64 618 0 0 0 28 1 0 0 16 0 9 0 1996960289 888307712 21315 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11179] ppid=11169 vsize=867488 CPUtime=0
/proc/11171/task/11179/stat : 11179 (java) S 11169 11171 11002 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1996960289 888307712 21315 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11180] ppid=11169 vsize=867488 CPUtime=0
/proc/11171/task/11180/stat : 11180 (java) S 11169 11171 11002 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1996960289 888307712 21315 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867488

[startup+6.30225 s]
/proc/loadavg: 2.01 1.43 1.23 3/90 11180
/proc/meminfo: memFree=1487736/2055920 swapFree=4180540/4192956
[pid=11171] ppid=11169 vsize=867740 CPUtime=6.21
/proc/11171/stat : 11171 (java) S 11169 11171 11002 0 -1 0 25863 0 1 0 606 15 0 0 18 0 9 0 1996960284 888565760 25245 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11171/statm: 216935 25245 1997 9 0 211407 0
[pid=11171/tid=11173] ppid=11169 vsize=867740 CPUtime=5.41
/proc/11171/task/11173/stat : 11173 (java) R 11169 11171 11002 0 -1 64 15620 0 1 0 531 10 0 0 25 0 9 0 1996960285 888565760 25245 996147200 134512640 134550740 4294956016 18446744073709551615 4127426715 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11174] ppid=11169 vsize=867740 CPUtime=0.32
/proc/11171/task/11174/stat : 11174 (java) S 11169 11171 11002 0 -1 64 8775 0 0 0 29 3 0 0 17 0 9 0 1996960287 888565760 25245 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11175] ppid=11169 vsize=867740 CPUtime=0
/proc/11171/task/11175/stat : 11175 (java) S 11169 11171 11002 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1996960287 888565760 25245 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11176] ppid=11169 vsize=867740 CPUtime=0
/proc/11171/task/11176/stat : 11176 (java) S 11169 11171 11002 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1996960287 888565760 25245 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11177] ppid=11169 vsize=867740 CPUtime=0
/proc/11171/task/11177/stat : 11177 (java) S 11169 11171 11002 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1996960289 888565760 25245 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11178] ppid=11169 vsize=867740 CPUtime=0.46
/proc/11171/task/11178/stat : 11178 (java) S 11169 11171 11002 0 -1 64 740 0 0 0 45 1 0 0 15 0 9 0 1996960289 888565760 25245 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11179] ppid=11169 vsize=867740 CPUtime=0
/proc/11171/task/11179/stat : 11179 (java) S 11169 11171 11002 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1996960289 888565760 25245 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11180] ppid=11169 vsize=867740 CPUtime=0
/proc/11171/task/11180/stat : 11180 (java) S 11169 11171 11002 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1996960289 888565760 25245 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 867740

[startup+12.7014 s]
/proc/loadavg: 2.01 1.44 1.23 3/90 11180
/proc/meminfo: memFree=1481528/2055920 swapFree=4180540/4192956
[pid=11171] ppid=11169 vsize=867740 CPUtime=12.55
/proc/11171/stat : 11171 (java) S 11169 11171 11002 0 -1 0 27360 0 1 0 1237 18 0 0 18 0 9 0 1996960284 888565760 26739 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11171/statm: 216935 26739 1997 9 0 211407 0
[pid=11171/tid=11173] ppid=11169 vsize=867740 CPUtime=11.68
/proc/11171/task/11173/stat : 11173 (java) R 11169 11171 11002 0 -1 64 15623 0 1 0 1157 11 0 0 25 0 9 0 1996960285 888565760 26739 996147200 134512640 134550740 4294956016 18446744073709551615 4127344995 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11174] ppid=11169 vsize=867740 CPUtime=0.37
/proc/11171/task/11174/stat : 11174 (java) S 11169 11171 11002 0 -1 64 10266 0 0 0 33 4 0 0 16 0 9 0 1996960287 888565760 26739 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11175] ppid=11169 vsize=867740 CPUtime=0
/proc/11171/task/11175/stat : 11175 (java) S 11169 11171 11002 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1996960287 888565760 26739 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11176] ppid=11169 vsize=867740 CPUtime=0
/proc/11171/task/11176/stat : 11176 (java) S 11169 11171 11002 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1996960287 888565760 26739 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11177] ppid=11169 vsize=867740 CPUtime=0
/proc/11171/task/11177/stat : 11177 (java) S 11169 11171 11002 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1996960289 888565760 26739 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11178] ppid=11169 vsize=867740 CPUtime=0.47
/proc/11171/task/11178/stat : 11178 (java) S 11169 11171 11002 0 -1 64 743 0 0 0 46 1 0 0 16 0 9 0 1996960289 888565760 26739 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11179] ppid=11169 vsize=867740 CPUtime=0
/proc/11171/task/11179/stat : 11179 (java) S 11169 11171 11002 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1996960289 888565760 26739 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11180] ppid=11169 vsize=867740 CPUtime=0
/proc/11171/task/11180/stat : 11180 (java) S 11169 11171 11002 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1996960289 888565760 26739 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 867740

Solver just ended. Dumping a history of the last processes samples

[startup+15.9029 s]
/proc/loadavg: 2.01 1.45 1.24 3/90 11180
/proc/meminfo: memFree=1481592/2055920 swapFree=4180540/4192956
[pid=11171] ppid=11169 vsize=867740 CPUtime=15.72
/proc/11171/stat : 11171 (java) S 11169 11171 11002 0 -1 0 27365 0 1 0 1554 18 0 0 18 0 9 0 1996960284 888565760 26742 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11171/statm: 216935 26742 1997 9 0 211407 0
[pid=11171/tid=11173] ppid=11169 vsize=867740 CPUtime=14.84
/proc/11171/task/11173/stat : 11173 (java) R 11169 11171 11002 0 -1 64 15626 0 1 0 1472 12 0 0 25 0 9 0 1996960285 888565760 26742 996147200 134512640 134550740 4294956016 18446744073709551615 4127600434 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11174] ppid=11169 vsize=867740 CPUtime=0.38
/proc/11171/task/11174/stat : 11174 (java) S 11169 11171 11002 0 -1 64 10266 0 0 0 34 4 0 0 17 0 9 0 1996960287 888565760 26742 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11175] ppid=11169 vsize=867740 CPUtime=0
/proc/11171/task/11175/stat : 11175 (java) S 11169 11171 11002 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1996960287 888565760 26742 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11176] ppid=11169 vsize=867740 CPUtime=0
/proc/11171/task/11176/stat : 11176 (java) S 11169 11171 11002 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1996960287 888565760 26742 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11177] ppid=11169 vsize=867740 CPUtime=0
/proc/11171/task/11177/stat : 11177 (java) S 11169 11171 11002 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1996960289 888565760 26742 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11178] ppid=11169 vsize=867740 CPUtime=0.47
/proc/11171/task/11178/stat : 11178 (java) S 11169 11171 11002 0 -1 64 745 0 0 0 46 1 0 0 15 0 9 0 1996960289 888565760 26742 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11179] ppid=11169 vsize=867740 CPUtime=0
/proc/11171/task/11179/stat : 11179 (java) S 11169 11171 11002 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1996960289 888565760 26742 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11180] ppid=11169 vsize=867740 CPUtime=0
/proc/11171/task/11180/stat : 11180 (java) S 11169 11171 11002 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1996960289 888565760 26742 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 15.72
Current children cumulated vsize (KiB) 867740

[startup+17.5022 s]
/proc/loadavg: 2.01 1.45 1.24 3/90 11180
/proc/meminfo: memFree=1481592/2055920 swapFree=4180540/4192956
[pid=11171] ppid=11169 vsize=867740 CPUtime=17.31
/proc/11171/stat : 11171 (java) S 11169 11171 11002 0 -1 0 27368 0 1 0 1713 18 0 0 18 0 9 0 1996960284 888565760 26743 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11171/statm: 216935 26743 1997 9 0 211407 0
[pid=11171/tid=11173] ppid=11169 vsize=867740 CPUtime=16.42
/proc/11171/task/11173/stat : 11173 (java) R 11169 11171 11002 0 -1 64 15628 0 1 0 1630 12 0 0 25 0 9 0 1996960285 888565760 26743 996147200 134512640 134550740 4294956016 18446744073709551615 4127365491 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11174] ppid=11169 vsize=867740 CPUtime=0.39
/proc/11171/task/11174/stat : 11174 (java) S 11169 11171 11002 0 -1 64 10266 0 0 0 35 4 0 0 16 0 9 0 1996960287 888565760 26743 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11175] ppid=11169 vsize=867740 CPUtime=0
/proc/11171/task/11175/stat : 11175 (java) S 11169 11171 11002 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1996960287 888565760 26743 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11176] ppid=11169 vsize=867740 CPUtime=0
/proc/11171/task/11176/stat : 11176 (java) S 11169 11171 11002 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1996960287 888565760 26743 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11177] ppid=11169 vsize=867740 CPUtime=0
/proc/11171/task/11177/stat : 11177 (java) S 11169 11171 11002 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1996960289 888565760 26743 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11178] ppid=11169 vsize=867740 CPUtime=0.47
/proc/11171/task/11178/stat : 11178 (java) S 11169 11171 11002 0 -1 64 746 0 0 0 46 1 0 0 16 0 9 0 1996960289 888565760 26743 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11179] ppid=11169 vsize=867740 CPUtime=0
/proc/11171/task/11179/stat : 11179 (java) S 11169 11171 11002 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1996960289 888565760 26743 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11180] ppid=11169 vsize=867740 CPUtime=0
/proc/11171/task/11180/stat : 11180 (java) S 11169 11171 11002 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1996960289 888565760 26743 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 17.31
Current children cumulated vsize (KiB) 867740

[startup+18.3014 s]
/proc/loadavg: 2.01 1.45 1.24 3/90 11180
/proc/meminfo: memFree=1481592/2055920 swapFree=4180540/4192956
[pid=11171] ppid=11169 vsize=867740 CPUtime=18.1
/proc/11171/stat : 11171 (java) S 11169 11171 11002 0 -1 0 27370 0 1 0 1792 18 0 0 18 0 9 0 1996960284 888565760 26744 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11171/statm: 216935 26744 1997 9 0 211407 0
[pid=11171/tid=11173] ppid=11169 vsize=867740 CPUtime=17.21
/proc/11171/task/11173/stat : 11173 (java) R 11169 11171 11002 0 -1 64 15629 0 1 0 1709 12 0 0 25 0 9 0 1996960285 888565760 26744 996147200 134512640 134550740 4294956016 18446744073709551615 4127345047 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11174] ppid=11169 vsize=867740 CPUtime=0.39
/proc/11171/task/11174/stat : 11174 (java) S 11169 11171 11002 0 -1 64 10266 0 0 0 35 4 0 0 17 0 9 0 1996960287 888565760 26744 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11175] ppid=11169 vsize=867740 CPUtime=0
/proc/11171/task/11175/stat : 11175 (java) S 11169 11171 11002 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1996960287 888565760 26744 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11176] ppid=11169 vsize=867740 CPUtime=0
/proc/11171/task/11176/stat : 11176 (java) S 11169 11171 11002 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1996960287 888565760 26744 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11177] ppid=11169 vsize=867740 CPUtime=0
/proc/11171/task/11177/stat : 11177 (java) S 11169 11171 11002 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1996960289 888565760 26744 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11178] ppid=11169 vsize=867740 CPUtime=0.47
/proc/11171/task/11178/stat : 11178 (java) S 11169 11171 11002 0 -1 64 747 0 0 0 46 1 0 0 16 0 9 0 1996960289 888565760 26744 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11179] ppid=11169 vsize=867740 CPUtime=0
/proc/11171/task/11179/stat : 11179 (java) S 11169 11171 11002 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1996960289 888565760 26744 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11180] ppid=11169 vsize=867740 CPUtime=0
/proc/11171/task/11180/stat : 11180 (java) S 11169 11171 11002 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1996960289 888565760 26744 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 18.1
Current children cumulated vsize (KiB) 867740

[startup+18.5014 s]
/proc/loadavg: 2.01 1.45 1.24 3/90 11180
/proc/meminfo: memFree=1481592/2055920 swapFree=4180540/4192956
[pid=11171] ppid=11169 vsize=867740 CPUtime=18.3
/proc/11171/stat : 11171 (java) S 11169 11171 11002 0 -1 0 27372 0 1 0 1812 18 0 0 18 0 9 0 1996960284 888565760 26746 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11171/statm: 216935 26746 1999 9 0 211407 0
[pid=11171/tid=11173] ppid=11169 vsize=867740 CPUtime=17.41
/proc/11171/task/11173/stat : 11173 (java) R 11169 11171 11002 0 -1 64 15629 0 1 0 1729 12 0 0 25 0 9 0 1996960285 888565760 26746 996147200 134512640 134550740 4294956016 18446744073709551615 4127554842 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11174] ppid=11169 vsize=867740 CPUtime=0.39
/proc/11171/task/11174/stat : 11174 (java) S 11169 11171 11002 0 -1 64 10266 0 0 0 35 4 0 0 17 0 9 0 1996960287 888565760 26746 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11175] ppid=11169 vsize=867740 CPUtime=0
/proc/11171/task/11175/stat : 11175 (java) S 11169 11171 11002 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1996960287 888565760 26746 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11176] ppid=11169 vsize=867740 CPUtime=0
/proc/11171/task/11176/stat : 11176 (java) S 11169 11171 11002 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1996960287 888565760 26746 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11177] ppid=11169 vsize=867740 CPUtime=0
/proc/11171/task/11177/stat : 11177 (java) S 11169 11171 11002 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1996960289 888565760 26746 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11178] ppid=11169 vsize=867740 CPUtime=0.48
/proc/11171/task/11178/stat : 11178 (java) S 11169 11171 11002 0 -1 64 749 0 0 0 47 1 0 0 15 0 9 0 1996960289 888565760 26746 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11179] ppid=11169 vsize=867740 CPUtime=0
/proc/11171/task/11179/stat : 11179 (java) S 11169 11171 11002 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1996960289 888565760 26746 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11171/tid=11180] ppid=11169 vsize=867740 CPUtime=0
/proc/11171/task/11180/stat : 11180 (java) S 11169 11171 11002 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1996960289 888565760 26746 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 18.3
Current children cumulated vsize (KiB) 867740

Child status: 0
Real time (s): 18.5644
CPU time (s): 18.3492
CPU user time (s): 18.1452
CPU system time (s): 0.203968
CPU usage (%): 98.8406
Max. virtual memory (cumulated for all children) (KiB): 867740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.1452
system time used= 0.203968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27386
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= 2926
involuntary context switches= 3398

runsolver used 0.030995 second user time and 0.06499 second system time

The end

Launcher Data (download as text)

Begin job on node18 at 2008-07-04 15:57:39
IDJOB=1074810
IDBENCH=56445
IDSOLVER=349
FILE ID=node18/1074810-1215179859
PBS_JOBID= 7881598
Free space on /tmp= 66552 MiB

SOLVER NAME= choco2_dwdeg 2008-06-26
BENCH NAME= CPAI08/csp/os-taillard-20/normalized-os-taillard-20-105-8.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar choco2dwdeg.jar BENCHNAME 
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1074810-1215179859/watcher-1074810-1215179859 -o /tmp/evaluation-result-1074810-1215179859/solver-1074810-1215179859 -C 1800 -W 2200 -M 900 --output-limit 1,15  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar choco2dwdeg.jar HOME/instance-1074810-1215179859.xml 

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 86b24a9ba558d9e8e32f84b5d3fc0678
RANDOM SEED=360697725

node18.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.268
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	: 5931.00
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.268
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:       1582048 kB
Buffers:         37440 kB
Cached:         120992 kB
SwapCached:       6536 kB
Active:         371004 kB
Inactive:        50792 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1582048 kB
SwapTotal:     4192956 kB
SwapFree:      4180540 kB
Dirty:            6956 kB
Writeback:           0 kB
Mapped:         279232 kB
Slab:            36812 kB
Committed_AS:  3863696 kB
PageTables:       2300 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= 66548 MiB
End job on node18 at 2008-07-04 15:57:58