Trace number 282023

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
aolibdvo 2007-01-17MSAT (TO) 2400.11 2405.56

General information on the benchmark

NameMaxCSP/maxclique/
p-hat300-1_ext.xml
MD5SUMa4c9e18e6c0366d167dd10d9130c1ed8
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints33925
Best CPU time to get the best result obtained on this benchmark291.942
Satisfiable
(Un)Satisfiability was proved
Number of variables301
Number of constraints34217
Maximum constraint arity2
Maximum domain size2
Number of constraints which are defined in extension34217
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

73.12	
73.12	s SATISFIABLE
73.12	o 33918
73.12	v 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1
73.12	s SATISFIABLE
73.12	o 33919
73.12	v 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1
73.12	s SATISFIABLE
73.12	o 33920
73.12	v 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1
73.12	s SATISFIABLE
73.12	o 33921
73.12	v 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1
73.12	s SATISFIABLE
73.12	o 33922
73.12	v 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 -1
73.12	s SATISFIABLE
73.12	o 33923
73.12	v 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1
73.12	s SATISFIABLE
73.12	o 33924
73.12	v 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0c 
c 
c 
c conversion script
c 
c 

parsing "/tmp/evaluation/282023-1169317356/unknown.xml" file ... done.
writing "/tmp/evaluation/282023-1169317356/unknown.wcsp" file ... done.

Verifier Data (download as text)

294 unsatisfied constraints, 33923 satisfied constraints

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node2/watcher-282023-1169317356 -o ROOT/results/node2/solver-282023-1169317356 -C 2400 -M 900 /tmp/evaluation/282023-1169317356/aolibdvo /tmp/evaluation/282023-1169317356/unknown.wcsp 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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
/proc/loadavg: 2.00 2.00 2.00 5/93 29867
/proc/meminfo: memFree=1196376/2055920 swapFree=4180552/4192956
[pid=29866] ppid=29864 vsize=18540 CPUtime=0
/proc/29866/stat : 29866 (runsolver) R 29864 29251 29251 0 -1 4194368 12 0 0 0 0 0 0 0 19 0 1 0 280132607 18984960 277 18446744073709551615 4194304 4267372 548682069072 18446744073709551615 206381503927 0 0 4096 24578 0 0 0 17 1 0 0
/proc/29866/statm: 4635 277 242 17 0 2626 0
Current StackSize limit: 10240 KiB


[startup+0.107293 s]
/proc/loadavg: 2.00 2.00 2.00 5/93 29867
/proc/meminfo: memFree=1196376/2055920 swapFree=4180552/4192956
[pid=29866] ppid=29864 vsize=2728 CPUtime=0.1
/proc/29866/stat : 29866 (aolibdvo) R 29864 29866 29251 0 -1 0 250 0 0 0 10 0 0 0 20 0 1 0 280132607 2793472 232 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 135728432 0 0 4096 0 0 0 0 17 1 0 0
/proc/29866/statm: 682 232 121 428 0 251 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2728

[startup+0.515405 s]
/proc/loadavg: 2.00 2.00 2.00 5/93 29867
/proc/meminfo: memFree=1196376/2055920 swapFree=4180552/4192956
[pid=29866] ppid=29864 vsize=3256 CPUtime=0.51
/proc/29866/stat : 29866 (aolibdvo) R 29864 29866 29251 0 -1 0 368 0 0 0 51 0 0 0 24 0 1 0 280132607 3334144 350 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 135054123 0 0 4096 0 0 0 0 17 1 0 0
/proc/29866/statm: 814 350 121 428 0 383 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 3256

[startup+1.33652 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 29867
/proc/meminfo: memFree=1195032/2055920 swapFree=4180552/4192956
[pid=29866] ppid=29864 vsize=3784 CPUtime=1.32
/proc/29866/stat : 29866 (aolibdvo) R 29864 29866 29251 0 -1 0 490 0 0 0 132 0 0 0 25 0 1 0 280132607 3874816 472 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 135054128 0 0 4096 0 0 0 0 17 1 0 0
/proc/29866/statm: 946 472 121 428 0 515 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 3784

[startup+2.97382 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 29867
/proc/meminfo: memFree=1194712/2055920 swapFree=4180552/4192956
[pid=29866] ppid=29864 vsize=4444 CPUtime=2.95
/proc/29866/stat : 29866 (aolibdvo) R 29864 29866 29251 0 -1 0 639 0 0 0 295 0 0 0 25 0 1 0 280132607 4550656 621 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 135054126 0 0 4096 0 0 0 0 17 1 0 0
/proc/29866/statm: 1111 621 121 428 0 680 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 4444

[startup+6.25943 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 29867
/proc/meminfo: memFree=1193944/2055920 swapFree=4180552/4192956
[pid=29866] ppid=29864 vsize=4972 CPUtime=6.22
/proc/29866/stat : 29866 (aolibdvo) R 29864 29866 29251 0 -1 0 785 0 0 0 621 1 0 0 25 0 1 0 280132607 5091328 767 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 135054126 0 0 4096 0 0 0 0 17 1 0 0
/proc/29866/statm: 1243 767 121 428 0 812 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 4972

[startup+12.7216 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 29867
/proc/meminfo: memFree=1193176/2055920 swapFree=4180552/4192956
[pid=29866] ppid=29864 vsize=5764 CPUtime=12.65
/proc/29866/stat : 29866 (aolibdvo) R 29864 29866 29251 0 -1 0 994 0 0 0 1264 1 0 0 25 0 1 0 280132607 5902336 976 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134925556 0 0 4096 0 0 0 0 17 1 0 0
/proc/29866/statm: 1441 976 121 428 0 1010 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 5764

[startup+25.547 s]
/proc/loadavg: 2.00 2.00 2.00 4/93 29867
/proc/meminfo: memFree=1161496/2055920 swapFree=4180552/4192956
[pid=29866] ppid=29864 vsize=36404 CPUtime=25.42
/proc/29866/stat : 29866 (aolibdvo) R 29864 29866 29251 0 -1 0 16740 0 0 0 2531 11 0 0 25 0 1 0 280132607 37277696 8640 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134650691 0 0 4096 0 0 0 0 17 1 0 0
/proc/29866/statm: 9101 8640 203 428 0 8670 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 36404

[startup+51.1987 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 29867
/proc/meminfo: memFree=1161816/2055920 swapFree=4180552/4192956
[pid=29866] ppid=29864 vsize=37164 CPUtime=50.94
/proc/29866/stat : 29866 (aolibdvo) R 29864 29866 29251 0 -1 0 19957 0 0 0 5079 15 0 0 25 0 1 0 280132607 38055936 8830 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 135051714 0 0 4096 0 0 0 0 17 1 0 0
/proc/29866/statm: 9291 8830 203 428 0 8860 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 37164

[startup+102.497 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 29867
/proc/meminfo: memFree=1161432/2055920 swapFree=4180552/4192956
[pid=29866] ppid=29864 vsize=37636 CPUtime=102
/proc/29866/stat : 29866 (aolibdvo) R 29864 29866 29251 0 -1 0 21728 0 0 0 10182 18 0 0 25 0 1 0 280132607 38539264 8948 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134926157 0 0 4096 0 0 0 0 17 1 0 0
/proc/29866/statm: 9409 8948 203 428 0 8978 0
Current children cumulated CPU time (s) 102
Current children cumulated vsize (KiB) 37636

[startup+162.516 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 29867
/proc/meminfo: memFree=1161240/2055920 swapFree=4180552/4192956
[pid=29866] ppid=29864 vsize=37936 CPUtime=161.73
/proc/29866/stat : 29866 (aolibdvo) R 29864 29866 29251 0 -1 0 24414 0 0 0 16151 22 0 0 25 0 1 0 280132607 38846464 8993 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134647928 0 0 4096 0 0 0 0 17 1 0 0
/proc/29866/statm: 9484 8993 203 428 0 9053 0
Current children cumulated CPU time (s) 161.73
Current children cumulated vsize (KiB) 37936

[startup+222.542 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 29867
/proc/meminfo: memFree=1161368/2055920 swapFree=4180552/4192956
[pid=29866] ppid=29864 vsize=37664 CPUtime=221.46
/proc/29866/stat : 29866 (aolibdvo) R 29864 29866 29251 0 -1 0 28976 0 0 0 22115 31 0 0 25 0 1 0 280132607 38567936 8955 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134644951 0 0 4096 0 0 0 0 17 1 0 0
/proc/29866/statm: 9416 8955 203 428 0 8985 0
Current children cumulated CPU time (s) 221.46
Current children cumulated vsize (KiB) 37664

[startup+282.56 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 29867
/proc/meminfo: memFree=1161176/2055920 swapFree=4180552/4192956
[pid=29866] ppid=29864 vsize=37840 CPUtime=281.2
/proc/29866/stat : 29866 (aolibdvo) R 29864 29866 29251 0 -1 0 33245 0 0 0 28081 39 0 0 25 0 1 0 280132607 38748160 8999 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134926156 0 0 4096 0 0 0 0 17 1 0 0
/proc/29866/statm: 9460 8999 203 428 0 9029 0
Current children cumulated CPU time (s) 281.2
Current children cumulated vsize (KiB) 37840

[startup+342.584 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 29867
/proc/meminfo: memFree=1161240/2055920 swapFree=4180552/4192956
[pid=29866] ppid=29864 vsize=37824 CPUtime=340.94
/proc/29866/stat : 29866 (aolibdvo) R 29864 29866 29251 0 -1 0 36803 0 0 0 34050 44 0 0 25 0 1 0 280132607 38731776 8995 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 135051475 0 0 4096 0 0 0 0 17 1 0 0
/proc/29866/statm: 9456 8995 203 428 0 9025 0
Current children cumulated CPU time (s) 340.94
Current children cumulated vsize (KiB) 37824

[startup+402.604 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 29867
/proc/meminfo: memFree=1160920/2055920 swapFree=4180552/4192956
[pid=29866] ppid=29864 vsize=38136 CPUtime=400.67
/proc/29866/stat : 29866 (aolibdvo) R 29864 29866 29251 0 -1 0 39735 0 0 0 40018 49 0 0 25 0 1 0 280132607 39051264 9073 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134647967 0 0 4096 0 0 0 0 17 1 0 0
/proc/29866/statm: 9534 9073 203 428 0 9103 0
Current children cumulated CPU time (s) 400.67
Current children cumulated vsize (KiB) 38136

[startup+462.622 s]
/proc/loadavg: 2.07 2.02 2.00 3/93 29867
/proc/meminfo: memFree=1161112/2055920 swapFree=4180552/4192956
[pid=29866] ppid=29864 vsize=37896 CPUtime=460.4
/proc/29866/stat : 29866 (aolibdvo) R 29864 29866 29251 0 -1 0 42035 0 0 0 45989 51 0 0 25 0 1 0 280132607 38805504 9013 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134650584 0 0 4096 0 0 0 0 17 1 0 0
/proc/29866/statm: 9474 9013 203 428 0 9043 0
Current children cumulated CPU time (s) 460.4
Current children cumulated vsize (KiB) 37896

[startup+522.647 s]
/proc/loadavg: 2.02 2.01 2.00 3/93 29867
/proc/meminfo: memFree=1161048/2055920 swapFree=4180552/4192956
[pid=29866] ppid=29864 vsize=37984 CPUtime=520.14
/proc/29866/stat : 29866 (aolibdvo) R 29864 29866 29251 0 -1 0 43512 0 0 0 51960 54 0 0 25 0 1 0 280132607 38895616 9035 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134926317 0 0 4096 0 0 0 0 17 1 0 0
/proc/29866/statm: 9496 9035 203 428 0 9065 0
Current children cumulated CPU time (s) 520.14
Current children cumulated vsize (KiB) 37984

[startup+582.664 s]
/proc/loadavg: 2.01 2.00 2.00 3/93 29867
/proc/meminfo: memFree=1160984/2055920 swapFree=4180552/4192956
[pid=29866] ppid=29864 vsize=38068 CPUtime=579.87
/proc/29866/stat : 29866 (aolibdvo) R 29864 29866 29251 0 -1 0 44686 0 0 0 57931 56 0 0 25 0 1 0 280132607 38981632 9056 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134647901 0 0 4096 0 0 0 0 17 1 0 0
/proc/29866/statm: 9517 9056 203 428 0 9086 0
Current children cumulated CPU time (s) 579.87
Current children cumulated vsize (KiB) 38068

[startup+642.763 s]
/proc/loadavg: 1.94 1.98 1.99 3/86 30037
/proc/meminfo: memFree=1185048/2055920 swapFree=4180552/4192956
[pid=29866] ppid=29864 vsize=38236 CPUtime=639.79
/proc/29866/stat : 29866 (aolibdvo) R 29864 29866 29251 0 -1 0 46864 0 0 0 63917 62 0 0 25 0 1 0 280132607 39153664 9098 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 135909426 0 0 4096 0 0 0 0 17 0 0 0
/proc/29866/statm: 9559 9098 203 428 0 9128 0
Current children cumulated CPU time (s) 639.79
Current children cumulated vsize (KiB) 38236

[startup+702.837 s]
/proc/loadavg: 1.98 1.98 1.99 3/86 30037
/proc/meminfo: memFree=1185176/2055920 swapFree=4180552/4192956
[pid=29866] ppid=29864 vsize=38192 CPUtime=699.79
/proc/29866/stat : 29866 (aolibdvo) R 29864 29866 29251 0 -1 0 48149 0 0 0 69915 64 0 0 25 0 1 0 280132607 39108608 9087 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134647901 0 0 4096 0 0 0 0 17 0 0 0
/proc/29866/statm: 9548 9087 203 428 0 9117 0
Current children cumulated CPU time (s) 699.79
Current children cumulated vsize (KiB) 38192

[startup+762.917 s]
/proc/loadavg: 1.89 1.95 1.98 3/86 30175
/proc/meminfo: memFree=1184728/2055920 swapFree=4180552/4192956
[pid=29866] ppid=29864 vsize=38404 CPUtime=759.8
/proc/29866/stat : 29866 (aolibdvo) R 29864 29866 29251 0 -1 0 49599 0 0 0 75910 70 0 0 25 0 1 0 280132607 39325696 9131 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134646903 0 0 4096 0 0 0 0 17 0 0 0
/proc/29866/statm: 9601 9131 203 428 0 9170 0
Current children cumulated CPU time (s) 759.8
Current children cumulated vsize (KiB) 38404

[startup+822.989 s]
/proc/loadavg: 1.96 1.96 1.98 3/86 30175
/proc/meminfo: memFree=1184600/2055920 swapFree=4180552/4192956
[pid=29866] ppid=29864 vsize=38532 CPUtime=819.81

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

Current children cumulated vsize (KiB) 39084

[startup+1423.47 s]
/proc/loadavg: 1.99 1.95 1.96 3/87 30763
/proc/meminfo: memFree=1098504/2055920 swapFree=4180552/4192956
[pid=29866] ppid=29864 vsize=38760 CPUtime=1419.23
/proc/29866/stat : 29866 (aolibdvo) R 29864 29866 29251 0 -1 0 61620 0 0 0 141827 96 0 0 25 0 1 0 280132607 39690240 9229 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134652201 0 0 4096 0 0 0 0 17 0 0 0
/proc/29866/statm: 9690 9229 203 428 0 9259 0
Current children cumulated CPU time (s) 1419.23
Current children cumulated vsize (KiB) 38760

[startup+1483.49 s]
/proc/loadavg: 2.07 1.98 1.96 3/87 30763
/proc/meminfo: memFree=1098184/2055920 swapFree=4180552/4192956
[pid=29866] ppid=29864 vsize=38856 CPUtime=1479.17
/proc/29866/stat : 29866 (aolibdvo) R 29864 29866 29251 0 -1 0 62205 0 0 0 147820 97 0 0 25 0 1 0 280132607 39788544 9253 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134647904 0 0 4096 0 0 0 0 17 0 0 0
/proc/29866/statm: 9714 9253 203 428 0 9283 0
Current children cumulated CPU time (s) 1479.17
Current children cumulated vsize (KiB) 38856

[startup+1543.51 s]
/proc/loadavg: 2.02 1.98 1.96 3/87 30763
/proc/meminfo: memFree=1098312/2055920 swapFree=4180552/4192956
[pid=29866] ppid=29864 vsize=38940 CPUtime=1539.13
/proc/29866/stat : 29866 (aolibdvo) R 29864 29866 29251 0 -1 0 62870 0 0 0 153815 98 0 0 25 0 1 0 280132607 39874560 9274 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134926320 0 0 4096 0 0 0 0 17 0 0 0
/proc/29866/statm: 9735 9274 203 428 0 9304 0
Current children cumulated CPU time (s) 1539.13
Current children cumulated vsize (KiB) 38940

[startup+1603.53 s]
/proc/loadavg: 2.01 1.98 1.96 3/87 30763
/proc/meminfo: memFree=1098312/2055920 swapFree=4180552/4192956
[pid=29866] ppid=29864 vsize=38956 CPUtime=1599.09
/proc/29866/stat : 29866 (aolibdvo) R 29864 29866 29251 0 -1 0 63297 0 0 0 159811 98 0 0 25 0 1 0 280132607 39890944 9278 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134648033 0 0 4096 0 0 0 0 17 0 0 0
/proc/29866/statm: 9739 9278 203 428 0 9308 0
Current children cumulated CPU time (s) 1599.09
Current children cumulated vsize (KiB) 38956

[startup+1663.55 s]
/proc/loadavg: 2.00 1.98 1.96 3/87 30763
/proc/meminfo: memFree=1098120/2055920 swapFree=4180552/4192956
[pid=29866] ppid=29864 vsize=39176 CPUtime=1659.01
/proc/29866/stat : 29866 (aolibdvo) R 29864 29866 29251 0 -1 0 63867 0 0 0 165802 99 0 0 25 0 1 0 280132607 40116224 9333 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134647963 0 0 4096 0 0 0 0 17 0 0 0
/proc/29866/statm: 9794 9333 203 428 0 9363 0
Current children cumulated CPU time (s) 1659.01
Current children cumulated vsize (KiB) 39176

[startup+1723.61 s]
/proc/loadavg: 2.00 1.98 1.96 3/87 30763
/proc/meminfo: memFree=1098120/2055920 swapFree=4180552/4192956
[pid=29866] ppid=29864 vsize=39176 CPUtime=1719.03
/proc/29866/stat : 29866 (aolibdvo) R 29864 29866 29251 0 -1 0 64207 0 0 0 171803 100 0 0 25 0 1 0 280132607 40116224 9333 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134646903 0 0 4096 0 0 0 0 17 0 0 0
/proc/29866/statm: 9794 9333 203 428 0 9363 0
Current children cumulated CPU time (s) 1719.03
Current children cumulated vsize (KiB) 39176

[startup+1783.68 s]
/proc/loadavg: 2.00 1.98 1.96 3/87 30763
/proc/meminfo: memFree=1098120/2055920 swapFree=4180552/4192956
[pid=29866] ppid=29864 vsize=39176 CPUtime=1779.03
/proc/29866/stat : 29866 (aolibdvo) R 29864 29866 29251 0 -1 0 64568 0 0 0 177803 100 0 0 25 0 1 0 280132607 40116224 9333 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134926156 0 0 4096 0 0 0 0 17 0 0 0
/proc/29866/statm: 9794 9333 203 428 0 9363 0
Current children cumulated CPU time (s) 1779.03
Current children cumulated vsize (KiB) 39176

[startup+1843.74 s]
/proc/loadavg: 2.00 1.98 1.96 3/87 30763
/proc/meminfo: memFree=1098056/2055920 swapFree=4180552/4192956
[pid=29866] ppid=29864 vsize=39196 CPUtime=1839.01
/proc/29866/stat : 29866 (aolibdvo) R 29864 29866 29251 0 -1 0 65230 0 0 0 183800 101 0 0 25 0 1 0 280132607 40136704 9338 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134647901 0 0 4096 0 0 0 0 17 0 0 0
/proc/29866/statm: 9799 9338 203 428 0 9368 0
Current children cumulated CPU time (s) 1839.01
Current children cumulated vsize (KiB) 39196

[startup+1903.8 s]
/proc/loadavg: 2.05 1.99 1.97 3/87 30763
/proc/meminfo: memFree=1097992/2055920 swapFree=4180552/4192956
[pid=29866] ppid=29864 vsize=39208 CPUtime=1899.03
/proc/29866/stat : 29866 (aolibdvo) R 29864 29866 29251 0 -1 0 65873 0 0 0 189800 103 0 0 25 0 1 0 280132607 40148992 9341 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134647054 0 0 4096 0 0 0 0 17 0 0 0
/proc/29866/statm: 9802 9341 203 428 0 9371 0
Current children cumulated CPU time (s) 1899.03
Current children cumulated vsize (KiB) 39208

[startup+1963.87 s]
/proc/loadavg: 2.02 1.99 1.97 3/87 30763
/proc/meminfo: memFree=1098056/2055920 swapFree=4180552/4192956
[pid=29866] ppid=29864 vsize=39196 CPUtime=1959.03
/proc/29866/stat : 29866 (aolibdvo) R 29864 29866 29251 0 -1 0 66518 0 0 0 195798 105 0 0 25 0 1 0 280132607 40136704 9338 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134613845 0 0 4096 0 0 0 0 17 0 0 0
/proc/29866/statm: 9799 9338 203 428 0 9368 0
Current children cumulated CPU time (s) 1959.03
Current children cumulated vsize (KiB) 39196

[startup+2023.93 s]
/proc/loadavg: 2.07 2.01 1.97 3/87 30763
/proc/meminfo: memFree=1097992/2055920 swapFree=4180552/4192956
[pid=29866] ppid=29864 vsize=39208 CPUtime=2019.01
/proc/29866/stat : 29866 (aolibdvo) R 29864 29866 29251 0 -1 0 67118 0 0 0 201795 106 0 0 25 0 1 0 280132607 40148992 9341 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134646903 0 0 4096 0 0 0 0 17 0 0 0
/proc/29866/statm: 9802 9341 203 428 0 9371 0
Current children cumulated CPU time (s) 2019.01
Current children cumulated vsize (KiB) 39208

[startup+2083.96 s]
/proc/loadavg: 2.02 2.00 1.97 3/87 30763
/proc/meminfo: memFree=1098056/2055920 swapFree=4180552/4192956
[pid=29866] ppid=29864 vsize=39220 CPUtime=2078.97
/proc/29866/stat : 29866 (aolibdvo) R 29864 29866 29251 0 -1 0 67856 0 0 0 207791 106 0 0 25 0 1 0 280132607 40161280 9344 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 135051475 0 0 4096 0 0 0 0 17 0 0 0
/proc/29866/statm: 9805 9344 203 428 0 9374 0
Current children cumulated CPU time (s) 2078.97
Current children cumulated vsize (KiB) 39220

[startup+2143.99 s]
/proc/loadavg: 2.01 2.00 1.97 3/87 30763
/proc/meminfo: memFree=1097992/2055920 swapFree=4180552/4192956
[pid=29866] ppid=29864 vsize=39724 CPUtime=2138.94
/proc/29866/stat : 29866 (aolibdvo) R 29864 29866 29251 0 -1 0 68660 0 0 0 213786 108 0 0 25 0 1 0 280132607 40677376 9452 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134647901 0 0 4096 0 0 0 0 17 0 0 0
/proc/29866/statm: 9931 9452 203 428 0 9500 0
Current children cumulated CPU time (s) 2138.94
Current children cumulated vsize (KiB) 39724

[startup+2204.04 s]
/proc/loadavg: 2.00 2.00 1.97 3/87 30763
/proc/meminfo: memFree=1097736/2055920 swapFree=4180552/4192956
[pid=29866] ppid=29864 vsize=39508 CPUtime=2198.91
/proc/29866/stat : 29866 (aolibdvo) R 29864 29866 29251 0 -1 0 69024 0 0 0 219783 108 0 0 25 0 1 0 280132607 40456192 9416 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134647901 0 0 4096 0 0 0 0 17 0 0 0
/proc/29866/statm: 9877 9416 203 428 0 9446 0
Current children cumulated CPU time (s) 2198.91
Current children cumulated vsize (KiB) 39508

[startup+2264.1 s]
/proc/loadavg: 2.00 2.00 1.97 3/87 30763
/proc/meminfo: memFree=1097672/2055920 swapFree=4180552/4192956
[pid=29866] ppid=29864 vsize=39508 CPUtime=2258.91
/proc/29866/stat : 29866 (aolibdvo) R 29864 29866 29251 0 -1 0 69287 0 0 0 225782 109 0 0 25 0 1 0 280132607 40456192 9416 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134982749 0 0 4096 0 0 0 0 17 0 0 0
/proc/29866/statm: 9877 9416 203 428 0 9446 0
Current children cumulated CPU time (s) 2258.91
Current children cumulated vsize (KiB) 39508

[startup+2324.14 s]
/proc/loadavg: 2.00 2.00 1.97 3/93 30881
/proc/meminfo: memFree=1096264/2055920 swapFree=4180552/4192956
[pid=29866] ppid=29864 vsize=39508 CPUtime=2318.83
/proc/29866/stat : 29866 (aolibdvo) R 29864 29866 29251 0 -1 0 69670 0 0 0 231763 120 0 0 25 0 1 0 280132607 40456192 9416 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134644951 0 0 4096 0 0 0 0 17 0 0 0
/proc/29866/statm: 9877 9416 203 428 0 9446 0
Current children cumulated CPU time (s) 2318.83
Current children cumulated vsize (KiB) 39508

[startup+2384.18 s]
/proc/loadavg: 2.00 2.00 1.97 3/87 30961
/proc/meminfo: memFree=1097480/2055920 swapFree=4180552/4192956
[pid=29866] ppid=29864 vsize=39596 CPUtime=2378.77
/proc/29866/stat : 29866 (aolibdvo) R 29864 29866 29251 0 -1 0 70227 0 0 0 237750 127 0 0 25 0 1 0 280132607 40546304 9438 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134644951 0 0 4096 0 0 0 0 17 0 0 0
/proc/29866/statm: 9899 9438 203 428 0 9468 0
Current children cumulated CPU time (s) 2378.77
Current children cumulated vsize (KiB) 39596



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2405.52 s]
/proc/loadavg: 2.00 2.00 1.97 3/87 30961
/proc/meminfo: memFree=1097416/2055920 swapFree=4180552/4192956
[pid=29866] ppid=29864 vsize=39596 CPUtime=2400.09
/proc/29866/stat : 29866 (aolibdvo) R 29864 29866 29251 0 -1 0 70519 0 0 0 239882 127 0 0 25 0 1 0 280132607 40546304 9438 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134647901 0 0 4096 0 0 0 0 17 0 0 0
/proc/29866/statm: 9899 9438 203 428 0 9468 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 39596

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2405.56
CPU time (s): 2400.11
CPU user time (s): 2398.83
CPU system time (s): 1.28181
CPU usage (%): 99.7734
Max. virtual memory (cumulated for all children) (KiB): 39988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.83
system time used= 1.2818
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70519
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 40135

runsolver used 2.79058 s user time and 7.46986 s system time

The end

Launcher Data (download as text)

Begin job on node2 on Sat Jan 20 18:22:36 UTC 2007


IDJOB= 282023
IDBENCH= 12350
IDSOLVER= 61
FILE ID= node2/282023-1169317356

PBS_JOBID= 3610024

Free space on /tmp= 66559 MiB

SOLVER NAME= aolibdvo 2007-01-17
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/maxclique/p-hat300-1_ext.xml
COMMAND LINE= /tmp/evaluation/282023-1169317356/aolibdvo /tmp/evaluation/282023-1169317356/unknown.wcsp
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node2/convwatcher-282023-1169317356 -o ROOT/results/node2/conversion-282023-1169317356 -C 600 -M 900 python xcsp2wcsp.py /tmp/evaluation/282023-1169317356/unknown.xml
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node2/watcher-282023-1169317356 -o ROOT/results/node2/solver-282023-1169317356 -C 2400 -M 900  /tmp/evaluation/282023-1169317356/aolibdvo /tmp/evaluation/282023-1169317356/unknown.wcsp

META MD5SUM SOLVER= 5d0282fabcfebd5fb942c79c8af6ce28
MD5SUM BENCH=  a4c9e18e6c0366d167dd10d9130c1ed8

RANDOM SEED= 528267434

TIME LIMIT= 2400 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.259
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.259
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:       1196856 kB
Buffers:         49960 kB
Cached:         656668 kB
SwapCached:        572 kB
Active:         240344 kB
Inactive:       542904 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1196856 kB
SwapTotal:     4192956 kB
SwapFree:      4180552 kB
Dirty:            5308 kB
Writeback:           0 kB
Mapped:          98236 kB
Slab:            60260 kB
Committed_AS:  8724260 kB
PageTables:       2492 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= 66558 MiB



End job on node2 on Sat Jan 20 19:02:55 UTC 2007