Trace number 233163

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, and are wall clock time (not CPU 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
Abscon 109 ACSAT 116.232 116.398

DiagnosticValue
CHECKS254190389
NODES400

General information on the benchmark

Nametaillard/os-taillard-20/
os-taillard-20-105-7.xml
MD5SUM374810fca23912defb7b4a24b5ed2d7b
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 benchmark0.635903
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1332
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)

0.34	   
0.34	Abscon 109 (November, 2006)
0.34	   
0.34	   configuration
0.34	     name=mac.xml
0.37	   
0.37	   instance
0.37	     name=/tmp/evaluation/233163-1168081339/unknown.xml
0.40	   
0.40	   domains being loaded...
0.46	   
0.46	   variables being loaded...
0.57	     nbVariables=400  nbDomainTypes=400  minDomainSize=1234  maxDomainSize=1332
0.57	       =>  wckTime=0.226  cpuTime=0.17  mem=20M631
0.57	   
0.57	   predicates being loaded...
0.57	   
0.57	   constraints being loaded...
4.68	   
4.69	   INFO : Stopping converting binary constraints (cpu=4.23, mem = 38M440)
5.84	     nbConstraints=7600  nbConvertedConstraints=9  nbConvertConstraintsChecks=14555385  nbExtensionStructures=9
5.84	     nbSharedExtensionStructures=0  nbConflictsStructures=9  nbSharedConflictsStructures=0
5.84	     nbSharedBinaryRepresentations=1432  nbEvaluationManagers=7591  nbSharedEvaluationManagers=0  maxDegree=38
5.84	     maxArity=2
5.84	       =>  wckTime=5.501  cpuTime=5.19  mem=55M985
5.98	   
5.98	   solver IterativeSystematicSolver being built... 
6.44	       =>  wckTime=6.098  cpuTime=5.49  mem=128M955
37.74	   
37.74	   preprocessing
37.74	     nbConstraintChecks=80472959  nbValidityChecks=508820  nbPropagations=400  nbRevisions=15182
37.74	     nbUselessRevisions=15182  nbRemovedValues=0  detectedInconsistency=no
37.74	       =>  wckTime=31.27  cpuTime=31.2  mem=128M955
116.32	   
116.32	   search
116.32	     run=0  nbConstraintChecks=173717430  nbValidityChecks=138257103  nbPropagations=7040  nbRevisions=192764
116.32	     nbUselessRevisions=186503  nbAssignments=400  nbFailedAssignments=0  nbBacktracks=0  nbVisitedNodes=401
116.32	     nbRestartNogoods=0  mapSize=0  nbInferences=0  nbTooLargeKeys=77
116.32	       =>  wckTime=109.851  cpuTime=109.73  mem=140M410
116.32	   
116.32	   global
116.32	     nbConstraintChecks=254190389  nbValidityChecks=138765923  nbPropagations=7440  nbRevisions=207946
116.32	     nbUselessRevisions=201685  nbRestartNogoods=0  solvingWckTime=109.855  solvingCpuTime=109.73  expiredTime=no
116.32	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=115.28
116.32	       =>  wckTime=115.979  cpuTime=115.24  mem=140M410
116.32	   
116.32	s SATISFIABLE
116.32	v 938 1145 481 1137 1105 421 292 264 63 559 777 95 871 1070 1002 635 704 182 0 341 737 847 696 816 296 553 486 1021 655 1091 344 1134 96 1272 724 931 451 198 149 0 843 251 221 257 0 1081 827 525 616 1015 134 889 796 394 969 301 427 677 1157 1207 1232 567 193 636 155 346 835 277 488 933 690 1050 1004 0 1272 977 1089 95 1320 1181 1048 175 75 357 394 1116 0 586 777 641 476 442 261 345 89 704 900 821 943 511 561 1061 999 853 773 1093 299 511 326 91 1156 903 1032 258 438 332 691 0 143 938 1032 177 227 583 671 752 99 0 1060 961 259 360 1244 798 344 1133 443 655 525 871 937 921 848 0 676 888 974 486 1025 1061 175 394 1298 737 272 630 95 827 337 550 734 0 159 478 691 1027 921 90 808 911 328 268 566 241 630 752 419 1134 611 451 394 241 999 969 261 0 1258 571 840 788 478 1070 637 918 346 186 752 96 671 871 1008 274 819 699 360 1067 567 175 486 0 438 97 1034 762 1054 871 921 968 89 633 1004 312 457 538 1061 867 1133 566 715 317 95 179 913 385 0 636 796 268 1082 404 724 840 1176 878 982 640 198 391 907 1091 99 419 277 694 488 570 762 337 0 416 181 423 843 281 0 961 1214 788 903 360 633 275 1093 880 1116 553 696 92 440 251 1176 227 335 867 621 491 543 518 384 1061 0 129 707 175 95 583 796 816 1015 264 1048 479 943 97 356 281 752 695 335 636 570 876 326 839 0 182 1011 1137 442 418 0 886 384 1190 466 808 863 143 937 634 771 261 1100 87 715 1045 1067 900 553 292 326 539 798 863 273 549 1008 1104 918 0 636 90 176 79 707 423 979 484 843 1156 933 390 97 637 258 193 518 334 1137 752 536 479 0 356 376 586 777 1128 571 553 661 752 1027 842 1146 394 186 624 0 925 697 538 1004 514 616 296 1176 886 491 88 
116.32	d NODES 400
116.32	d CHECKS 254190389
116.32	   
116.32	   totalWckTime=116.056  totalCpuTime=115.29

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node23/watcher-233163-1168081339 -o ROOT/results/node23/solver-233163-1168081339 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/233163-1168081339/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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

/proc/loadavg: 0.78 1.65 1.71 4/88 22196
/proc/meminfo: memFree=1548880/2055920 swapFree=4192812/4192956
[pid=22195] ppid=22193 vsize=292 CPUtime=0
/proc/22195/stat : 22195 (java) R 22193 22195 21770 0 -1 0 50 0 0 0 0 0 0 0 19 0 1 0 156529069 299008 33 18446744073709551615 134512640 134570532 4294956640 18446744073709551615 2449500 0 0 4096 0 0 0 0 17 1 0 0
/proc/22195/statm: 73 35 27 14 0 5 0

[startup+0.108519 s]
/proc/loadavg: 0.78 1.65 1.71 4/88 22196
/proc/meminfo: memFree=1548880/2055920 swapFree=4192812/4192956
[pid=22195] ppid=22193 vsize=911488 CPUtime=0.06
/proc/22195/stat : 22195 (java) R 22193 22195 21770 0 -1 0 2583 0 1 0 5 1 0 0 23 0 8 0 156529069 933363712 2330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154020542 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22195/statm: 227872 2330 1270 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 911488

[startup+0.516596 s]
/proc/loadavg: 0.78 1.65 1.71 4/88 22196
/proc/meminfo: memFree=1548880/2055920 swapFree=4192812/4192956
[pid=22195] ppid=22193 vsize=915328 CPUtime=0.45
/proc/22195/stat : 22195 (java) R 22193 22195 21770 0 -1 0 7375 0 1 0 41 4 0 0 16 0 8 0 156529069 937295872 7114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22195/statm: 228832 7115 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 915328

[startup+1.34075 s]
/proc/loadavg: 0.78 1.65 1.71 2/94 22229
/proc/meminfo: memFree=1474264/2055920 swapFree=4192812/4192956
[pid=22195] ppid=22193 vsize=915632 CPUtime=1.27
/proc/22195/stat : 22195 (java) R 22193 22195 21770 0 -1 0 20158 0 1 0 118 9 0 0 17 0 8 0 156529069 937607168 19896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073791482 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22195/statm: 228908 19896 2178 14 0 215378 0
[pid=22195/tid=22197] ppid=22193 vsize=915632 CPUtime=0.04
/proc/22195/task/22197/stat : 22197 (java) S 22193 22195 21770 0 -1 64 3565 0 0 0 3 1 0 0 16 0 8 0 156529073 937607168 19896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22195/tid=22198] ppid=22193 vsize=915632 CPUtime=0
/proc/22195/task/22198/stat : 22198 (java) S 22193 22195 21770 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156529074 937607168 19896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22195/tid=22199] ppid=22193 vsize=915632 CPUtime=0
/proc/22195/task/22199/stat : 22199 (java) S 22193 22195 21770 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156529074 937607168 19896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22195/tid=22200] ppid=22193 vsize=915632 CPUtime=0
/proc/22195/task/22200/stat : 22200 (java) S 22193 22195 21770 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156529079 937607168 19896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22195/tid=22201] ppid=22193 vsize=915632 CPUtime=0.13
/proc/22195/task/22201/stat : 22201 (java) S 22193 22195 21770 0 -1 64 402 0 0 0 13 0 0 0 16 0 8 0 156529079 937607168 19896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22195/tid=22202] ppid=22193 vsize=915632 CPUtime=0
/proc/22195/task/22202/stat : 22202 (java) S 22193 22195 21770 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156529079 937607168 19896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22195/tid=22203] ppid=22193 vsize=915632 CPUtime=0
/proc/22195/task/22203/stat : 22203 (java) S 22193 22195 21770 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156529080 937607168 19896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 915632

[startup+2.98307 s]
/proc/loadavg: 0.78 1.65 1.71 2/94 22231
/proc/meminfo: memFree=1474008/2055920 swapFree=4192812/4192956
[pid=22195] ppid=22193 vsize=915632 CPUtime=2.92
/proc/22195/stat : 22195 (java) R 22193 22195 21770 0 -1 0 20163 0 1 0 282 10 0 0 18 0 8 0 156529069 937607168 19900 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788837 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22195/statm: 228908 19900 2178 14 0 215378 0
[pid=22195/tid=22197] ppid=22193 vsize=915632 CPUtime=0.04
/proc/22195/task/22197/stat : 22197 (java) S 22193 22195 21770 0 -1 64 3565 0 0 0 3 1 0 0 16 0 8 0 156529073 937607168 19900 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22195/tid=22198] ppid=22193 vsize=915632 CPUtime=0
/proc/22195/task/22198/stat : 22198 (java) S 22193 22195 21770 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156529074 937607168 19900 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22195/tid=22199] ppid=22193 vsize=915632 CPUtime=0
/proc/22195/task/22199/stat : 22199 (java) S 22193 22195 21770 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156529074 937607168 19900 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22195/tid=22200] ppid=22193 vsize=915632 CPUtime=0
/proc/22195/task/22200/stat : 22200 (java) S 22193 22195 21770 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156529079 937607168 19900 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22195/tid=22201] ppid=22193 vsize=915632 CPUtime=0.14
/proc/22195/task/22201/stat : 22201 (java) S 22193 22195 21770 0 -1 64 405 0 0 0 14 0 0 0 15 0 8 0 156529079 937607168 19900 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22195/tid=22202] ppid=22193 vsize=915632 CPUtime=0
/proc/22195/task/22202/stat : 22202 (java) S 22193 22195 21770 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156529079 937607168 19900 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22195/tid=22203] ppid=22193 vsize=915632 CPUtime=0
/proc/22195/task/22203/stat : 22203 (java) S 22193 22195 21770 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156529080 937607168 19900 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915632

[startup+6.27871 s]
/proc/loadavg: 0.80 1.64 1.71 3/106 22245
/proc/meminfo: memFree=1386104/2055920 swapFree=4192812/4192956
[pid=22195] ppid=22193 vsize=915632 CPUtime=6.21
/proc/22195/stat : 22195 (java) R 22193 22195 21770 0 -1 0 38024 0 1 0 605 16 0 0 20 0 8 0 156529069 937607168 37756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22195/statm: 228908 37766 2498 14 0 215378 0
[pid=22195/tid=22197] ppid=22193 vsize=915632 CPUtime=0.37
/proc/22195/task/22197/stat : 22197 (java) R 22193 22195 21770 0 -1 64 21035 0 0 0 30 7 0 0 16 0 8 0 156529073 937607168 37771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153968444 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22195/tid=22198] ppid=22193 vsize=915632 CPUtime=0
/proc/22195/task/22198/stat : 22198 (java) S 22193 22195 21770 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156529074 937607168 37778 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22195/tid=22199] ppid=22193 vsize=915632 CPUtime=0
/proc/22195/task/22199/stat : 22199 (java) S 22193 22195 21770 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156529074 937607168 37785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22195/tid=22200] ppid=22193 vsize=915632 CPUtime=0
/proc/22195/task/22200/stat : 22200 (java) S 22193 22195 21770 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156529079 937607168 37791 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22195/tid=22201] ppid=22193 vsize=915632 CPUtime=0.21
/proc/22195/task/22201/stat : 22201 (java) S 22193 22195 21770 0 -1 64 451 0 0 0 21 0 0 0 15 0 8 0 156529079 937607168 37797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22195/tid=22202] ppid=22193 vsize=915632 CPUtime=0
/proc/22195/task/22202/stat : 22202 (java) S 22193 22195 21770 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156529079 937607168 37803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22195/tid=22203] ppid=22193 vsize=915632 CPUtime=0
/proc/22195/task/22203/stat : 22203 (java) S 22193 22195 21770 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156529080 937607168 37810 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915632

[startup+12.768 s]
/proc/loadavg: 0.89 1.64 1.71 3/100 22265
/proc/meminfo: memFree=1226288/2055920 swapFree=4192812/4192956
[pid=22195] ppid=22193 vsize=915632 CPUtime=12.67
/proc/22195/stat : 22195 (java) R 22193 22195 21770 0 -1 0 42437 0 1 0 1249 18 0 0 25 0 8 0 156529069 937607168 42163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074033847 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22195/statm: 228908 42163 2533 14 0 215378 0
[pid=22195/tid=22197] ppid=22193 vsize=915632 CPUtime=0.39
/proc/22195/task/22197/stat : 22197 (java) S 22193 22195 21770 0 -1 64 25342 0 0 0 31 8 0 0 17 0 8 0 156529073 937607168 42163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22195/tid=22198] ppid=22193 vsize=915632 CPUtime=0
/proc/22195/task/22198/stat : 22198 (java) S 22193 22195 21770 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156529074 937607168 42163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22195/tid=22199] ppid=22193 vsize=915632 CPUtime=0
/proc/22195/task/22199/stat : 22199 (java) S 22193 22195 21770 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156529074 937607168 42163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22195/tid=22200] ppid=22193 vsize=915632 CPUtime=0
/proc/22195/task/22200/stat : 22200 (java) S 22193 22195 21770 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156529079 937607168 42163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22195/tid=22201] ppid=22193 vsize=915632 CPUtime=0.25
/proc/22195/task/22201/stat : 22201 (java) S 22193 22195 21770 0 -1 64 480 0 0 0 25 0 0 0 15 0 8 0 156529079 937607168 42163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22195/tid=22202] ppid=22193 vsize=915632 CPUtime=0
/proc/22195/task/22202/stat : 22202 (java) S 22193 22195 21770 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156529079 937607168 42163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22195/tid=22203] ppid=22193 vsize=915632 CPUtime=0
/proc/22195/task/22203/stat : 22203 (java) S 22193 22195 21770 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156529080 937607168 42163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915632

[startup+25.6094 s]
/proc/loadavg: 1.14 1.66 1.72 3/100 22265
/proc/meminfo: memFree=1226360/2055920 swapFree=4192812/4192956
[pid=22195] ppid=22193 vsize=915632 CPUtime=25.51
/proc/22195/stat : 22195 (java) R 22193 22195 21770 0 -1 0 42440 0 1 0 2532 19 0 0 25 0 8 0 156529069 937607168 42164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074035701 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22195/statm: 228908 42164 2533 14 0 215378 0
[pid=22195/tid=22197] ppid=22193 vsize=915632 CPUtime=0.39
/proc/22195/task/22197/stat : 22197 (java) S 22193 22195 21770 0 -1 64 25342 0 0 0 31 8 0 0 16 0 8 0 156529073 937607168 42164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22195/tid=22198] ppid=22193 vsize=915632 CPUtime=0
/proc/22195/task/22198/stat : 22198 (java) S 22193 22195 21770 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156529074 937607168 42164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22195/tid=22199] ppid=22193 vsize=915632 CPUtime=0
/proc/22195/task/22199/stat : 22199 (java) S 22193 22195 21770 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156529074 937607168 42164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22195/tid=22200] ppid=22193 vsize=915632 CPUtime=0
/proc/22195/task/22200/stat : 22200 (java) S 22193 22195 21770 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156529079 937607168 42164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22195/tid=22201] ppid=22193 vsize=915632 CPUtime=0.26
/proc/22195/task/22201/stat : 22201 (java) S 22193 22195 21770 0 -1 64 482 0 0 0 26 0 0 0 15 0 8 0 156529079 937607168 42164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22195/tid=22202] ppid=22193 vsize=915632 CPUtime=0
/proc/22195/task/22202/stat : 22202 (java) S 22193 22195 21770 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156529079 937607168 42164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22195/tid=22203] ppid=22193 vsize=915632 CPUtime=0
/proc/22195/task/22203/stat : 22203 (java) S 22193 22195 21770 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156529080 937607168 42164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 915632

[startup+51.2184 s]
/proc/loadavg: 1.43 1.68 1.72 3/100 22265
/proc/meminfo: memFree=1226488/2055920 swapFree=4192812/4192956
[pid=22195] ppid=22193 vsize=915632 CPUtime=51.1
/proc/22195/stat : 22195 (java) R 22193 22195 21770 0 -1 0 42453 0 1 0 5091 19 0 0 25 0 8 0 156529069 937607168 42173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788710 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22195/statm: 228908 42173 2534 14 0 215378 0
[pid=22195/tid=22197] ppid=22193 vsize=915632 CPUtime=0.39
/proc/22195/task/22197/stat : 22197 (java) S 22193 22195 21770 0 -1 64 25342 0 0 0 31 8 0 0 16 0 8 0 156529073 937607168 42173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22195/tid=22198] ppid=22193 vsize=915632 CPUtime=0
/proc/22195/task/22198/stat : 22198 (java) S 22193 22195 21770 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156529074 937607168 42173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22195/tid=22199] ppid=22193 vsize=915632 CPUtime=0
/proc/22195/task/22199/stat : 22199 (java) S 22193 22195 21770 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156529074 937607168 42173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22195/tid=22200] ppid=22193 vsize=915632 CPUtime=0
/proc/22195/task/22200/stat : 22200 (java) S 22193 22195 21770 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156529079 937607168 42173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22195/tid=22201] ppid=22193 vsize=915632 CPUtime=0.27
/proc/22195/task/22201/stat : 22201 (java) S 22193 22195 21770 0 -1 64 488 0 0 0 27 0 0 0 17 0 8 0 156529079 937607168 42173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22195/tid=22202] ppid=22193 vsize=915632 CPUtime=0
/proc/22195/task/22202/stat : 22202 (java) S 22193 22195 21770 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156529079 937607168 42173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22195/tid=22203] ppid=22193 vsize=915632 CPUtime=0
/proc/22195/task/22203/stat : 22203 (java) S 22193 22195 21770 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156529080 937607168 42173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 915632

[startup+102.424 s]
/proc/loadavg: 1.75 1.73 1.73 3/100 22265
/proc/meminfo: memFree=1226616/2055920 swapFree=4192812/4192956
[pid=22195] ppid=22193 vsize=915632 CPUtime=102.3
/proc/22195/stat : 22195 (java) R 22193 22195 21770 0 -1 0 42462 0 1 0 10210 20 0 0 25 0 8 0 156529069 937607168 42177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788786 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22195/statm: 228908 42177 2534 14 0 215378 0
[pid=22195/tid=22197] ppid=22193 vsize=915632 CPUtime=0.39
/proc/22195/task/22197/stat : 22197 (java) S 22193 22195 21770 0 -1 64 25342 0 0 0 31 8 0 0 16 0 8 0 156529073 937607168 42177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22195/tid=22198] ppid=22193 vsize=915632 CPUtime=0
/proc/22195/task/22198/stat : 22198 (java) S 22193 22195 21770 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156529074 937607168 42177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22195/tid=22199] ppid=22193 vsize=915632 CPUtime=0
/proc/22195/task/22199/stat : 22199 (java) S 22193 22195 21770 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156529074 937607168 42177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22195/tid=22200] ppid=22193 vsize=915632 CPUtime=0
/proc/22195/task/22200/stat : 22200 (java) S 22193 22195 21770 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156529079 937607168 42177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22195/tid=22201] ppid=22193 vsize=915632 CPUtime=0.28
/proc/22195/task/22201/stat : 22201 (java) S 22193 22195 21770 0 -1 64 495 0 0 0 28 0 0 0 15 0 8 0 156529079 937607168 42177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22195/tid=22202] ppid=22193 vsize=915632 CPUtime=0
/proc/22195/task/22202/stat : 22202 (java) S 22193 22195 21770 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156529079 937607168 42177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22195/tid=22203] ppid=22193 vsize=915632 CPUtime=0
/proc/22195/task/22203/stat : 22203 (java) S 22193 22195 21770 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156529080 937607168 42177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 915632

Child status: 0
Real time (s): 116.398
CPU time (s): 116.232
CPU user time (s): 116.003
CPU system time (s): 0.228965
CPU usage (%): 99.8576
Max. virtual memory (cumulated for all children) (KiB): 915632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 116.003
system time used= 0.228965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42474
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= 3647
involuntary context switches= 3435

runsolver used 0.142978 s user time and 0.331949 s system time

The end

Launcher Data (download as text)

Begin job on node23 on Sat Jan  6 11:02:24 UTC 2007


IDJOB= 233163
IDBENCH= 6585
FILE ID= node23/233163-1168081339

PBS_JOBID= 3476093

Free space on /tmp= 66549 MiB

BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-20/os-taillard-20-105-7.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/233163-1168081339/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node23/watcher-233163-1168081339 -o ROOT/results/node23/solver-233163-1168081339 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/233163-1168081339/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  374810fca23912defb7b4a24b5ed2d7b

RANDOM SEED= 166667253

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/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.265
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.265
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:       1549816 kB
Buffers:         44740 kB
Cached:         321916 kB
SwapCached:          0 kB
Active:         131708 kB
Inactive:       297276 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1549816 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2800 kB
Writeback:           0 kB
Mapped:          81728 kB
Slab:            61856 kB
Committed_AS:  2982608 kB
PageTables:       2356 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= 66546 MiB



End job on node23 on Sat Jan  6 11:04:24 UTC 2007