Trace number 271264

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
CSP4J - MAC 2007-01-16Wrong Cert. 21.0218 21.1011

DiagnosticValue
CHECKS11261
NODES319

General information on the benchmark

NamepseudoSeries/mps/
mps-mod008.xml
MD5SUMb442cdb530a4072595532eb21b8308c9
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.064989
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables319
Number of constraints6
Maximum constraint arity231
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension6
Global constraints used (with number of constraints)

Solver Data (download as text)

21.05	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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
21.05	s SATISFIABLE
21.05	c 3.0 s
21.05	d NODES 319
21.05	d CHECKS 11261

Verifier Data (download as text)

ERROR: constraint C0 is unsatisfied
Predicate is 
(((parm[0]*parm[1])+((parm[2]*parm[3])+((parm[4]*parm[5])+((parm[6]*parm[7])+((parm[8]*parm[9])+((parm[10]*parm[11])+((parm[12]*parm[13])+((parm[14]*parm[15])+((parm[16]*parm[17])+((parm[18]*parm[19])+((parm[20]*parm[21])+((parm[22]*parm[23])+((parm[24]*parm[25])+((parm[26]*parm[27])+((parm[28]*parm[29])+((parm[30]*parm[31])+((parm[32]*parm[33])+((parm[34]*parm[35])+((parm[36]*parm[37])+((parm[38]*parm[39])+((parm[40]*parm[41])+((parm[42]*parm[43])+((parm[44]*parm[45])+((parm[46]*parm[47])+((parm[48]*parm[49])+((parm[50]*parm[51])+((parm[52]*parm[53])+((parm[54]*parm[55])+((parm[56]*parm[57])+((parm[58]*parm[59])+((parm[60]*parm[61])+((parm[62]*parm[63])+((parm[64]*parm[65])+((parm[66]*parm[67])+((parm[68]*parm[69])+((parm[70]*parm[71])+((parm[72]*parm[73])+((parm[74]*parm[75])+((parm[76]*parm[77])+((parm[78]*parm[79])+((parm[80]*parm[81])+((parm[82]*parm[83])+((parm[84]*parm[85])+((parm[86]*parm[87])+((parm[88]*parm[89])+((parm[90]*parm[91])+((parm[92]*parm[93])+((parm[94]*parm[95])+((parm[96]*parm[97])+((parm[98]*parm[99])+((parm[100]*parm[101])+((parm[102]*parm[103])+((parm[104]*parm[105])+((parm[106]*parm[107])+((parm[108]*parm[109])+((parm[110]*parm[111])+((parm[112]*parm[113])+((parm[114]*parm[115])+((parm[116]*parm[117])+((parm[118]*parm[119])+((parm[120]*parm[121])+((parm[122]*parm[123])+((parm[124]*parm[125])+((parm[126]*parm[127])+((parm[128]*parm[129])+((parm[130]*parm[131])+((parm[132]*parm[133])+((parm[134]*parm[135])+((parm[136]*parm[137])+((parm[138]*parm[139])+((parm[140]*parm[141])+((parm[142]*parm[143])+((parm[144]*parm[145])+((parm[146]*parm[147])+((parm[148]*parm[149])+((parm[150]*parm[151])+((parm[152]*parm[153])+((parm[154]*parm[155])+((parm[156]*parm[157])+((parm[158]*parm[159])+((parm[160]*parm[161])+((parm[162]*parm[163])+((parm[164]*parm[165])+((parm[166]*parm[167])+((parm[168]*parm[169])+((parm[170]*parm[171])+((parm[172]*parm[173])+((parm[174]*parm[175])+((parm[176]*parm[177])+((parm[178]*parm[179])+((parm[180]*parm[181])+((parm[182]*parm[183])+((parm[184]*parm[185])+((parm[186]*parm[187])+((parm[188]*parm[189])+((parm[190]*parm[191])+((parm[192]*parm[193])+((parm[194]*parm[195])+((parm[196]*parm[197])+((parm[198]*parm[199])+((parm[200]*parm[201])+((parm[202]*parm[203])+((parm[204]*parm[205])+((parm[206]*parm[207])+((parm[208]*parm[209])+((parm[210]*parm[211])+((parm[212]*parm[213])+((parm[214]*parm[215])+((parm[216]*parm[217])+((parm[218]*parm[219])+((parm[220]*parm[221])+((parm[222]*parm[223])+((parm[224]*parm[225])+((parm[226]*parm[227])+((parm[228]*parm[229])+((parm[230]*parm[231])+((parm[232]*parm[233])+((parm[234]*parm[235])+((parm[236]*parm[237])+((parm[238]*parm[239])+((parm[240]*parm[241])+((parm[242]*parm[243])+((parm[244]*parm[245])+((parm[246]*parm[247])+((parm[248]*parm[249])+((parm[250]*parm[251])+((parm[252]*parm[253])+((parm[254]*parm[255])+((parm[256]*parm[257])+((parm[258]*parm[259])+((parm[260]*parm[261])+((parm[262]*parm[263])+((parm[264]*parm[265])+((parm[266]*parm[267])+((parm[268]*parm[269])+((parm[270]*parm[271])+((parm[272]*parm[273])+((parm[274]*parm[275])+((parm[276]*parm[277])+((parm[278]*parm[279])+((parm[280]*parm[281])+((parm[282]*parm[283])+((parm[284]*parm[285])+((parm[286]*parm[287])+((parm[288]*parm[289])+((parm[290]*parm[291])+((parm[292]*parm[293])+((parm[294]*parm[295])+((parm[296]*parm[297])+((parm[298]*parm[299])+((parm[300]*parm[301])+((parm[302]*parm[303])+((parm[304]*parm[305])+((parm[306]*parm[307])+((parm[308]*parm[309])+((parm[310]*parm[311])+((parm[312]*parm[313])+((parm[314]*parm[315])+((parm[316]*parm[317])+((parm[318]*parm[319])+((parm[320]*parm[321])+((parm[322]*parm[323])+((parm[324]*parm[325])+((parm[326]*parm[327])+((parm[328]*parm[329])+((parm[330]*parm[331])+((parm[332]*parm[333])+((parm[334]*parm[335])+((parm[336]*parm[337])+((parm[338]*parm[339])+((parm[340]*parm[341])+((parm[342]*parm[343])+((parm[344]*parm[345])+((parm[346]*parm[347])+((parm[348]*parm[349])+((parm[350]*parm[351])+((parm[352]*parm[353])+((parm[354]*parm[355])+((parm[356]*parm[357])+((parm[358]*parm[359])+((parm[360]*parm[361])+((parm[362]*parm[363])+((parm[364]*parm[365])+((parm[366]*parm[367])+((parm[368]*parm[369])+((parm[370]*parm[371])+((parm[372]*parm[373])+((parm[374]*parm[375])+((parm[376]*parm[377])+((parm[378]*parm[379])+((parm[380]*parm[381])+((parm[382]*parm[383])+((parm[384]*parm[385])+((parm[386]*parm[387])+((parm[388]*parm[389])+((parm[390]*parm[391])+((parm[392]*parm[393])+((parm[394]*parm[395])+((parm[396]*parm[397])+((parm[398]*parm[399])+((parm[400]*parm[401])+((parm[402]*parm[403])+((parm[404]*parm[405])+((parm[406]*parm[407])+((parm[408]*parm[409])+((parm[410]*parm[411])+((parm[412]*parm[413])+((parm[414]*parm[415])+((parm[416]*parm[417])+((parm[418]*parm[419])+((parm[420]*parm[421])+((parm[422]*parm[423])+((parm[424]*parm[425])+((parm[426]*parm[427])+((parm[428]*parm[429])+((parm[430]*parm[431])+((parm[432]*parm[433])+((parm[434]*parm[435])+((parm[436]*parm[437])+((parm[438]*parm[439])+((parm[440]*parm[441])+((parm[442]*parm[443])+((parm[444]*parm[445])+((parm[446]*parm[447])+((parm[448]*parm[449])+((parm[450]*parm[451])+((parm[452]*parm[453])+((parm[454]*parm[455])+((parm[456]*parm[457])+((parm[458]*parm[459])+(parm[460]*parm[461])))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))>=parm[462])
parm[0]=2000
parm[1]=0
parm[2]=2000
parm[3]=0
parm[4]=2000
parm[5]=0
parm[6]=2000
parm[7]=0
parm[8]=2000
parm[9]=0
parm[10]=2000
parm[11]=0
parm[12]=2000
parm[13]=0
parm[14]=2000
parm[15]=0
parm[16]=2000
parm[17]=0
parm[18]=2000
parm[19]=0
parm[20]=2000
parm[21]=0
parm[22]=2000
parm[23]=0
parm[24]=2000
parm[25]=0
parm[26]=2000
parm[27]=0
parm[28]=2000
parm[29]=0
parm[30]=2000
parm[31]=0
parm[32]=2000
parm[33]=0
parm[34]=2000
parm[35]=0
parm[36]=2000
parm[37]=0
parm[38]=2000
parm[39]=0
parm[40]=2000
parm[41]=0
parm[42]=2000
parm[43]=0
parm[44]=2000
parm[45]=0
parm[46]=2000
parm[47]=0
parm[48]=2000
parm[49]=0
parm[50]=2000
parm[51]=0
parm[52]=2000
parm[53]=0
parm[54]=2172
parm[55]=0
parm[56]=2189
parm[57]=0
parm[58]=2198
parm[59]=0
parm[60]=2198
parm[61]=0
parm[62]=2207
parm[63]=0
parm[64]=2226
parm[65]=0
parm[66]=2258
parm[67]=0
parm[68]=2281
parm[69]=0
parm[70]=2361
parm[71]=0
parm[72]=2383
parm[73]=0
parm[74]=2419
parm[75]=0
parm[76]=2442
parm[77]=0
parm[78]=2442
parm[79]=0
parm[80]=2549
parm[81]=0
parm[82]=2603
parm[83]=0
parm[84]=2605
parm[85]=0
parm[86]=2696
parm[87]=0
parm[88]=2697
parm[89]=0
parm[90]=2698
parm[91]=0
parm[92]=2704
parm[93]=0
parm[94]=2705
parm[95]=0
parm[96]=2763
parm[97]=0
parm[98]=2763
parm[99]=0
parm[100]=2794
parm[101]=0
parm[102]=2797
parm[103]=0
parm[104]=2845
parm[105]=0
parm[106]=2955
parm[107]=0
parm[108]=3017
parm[109]=0
parm[110]=3019
parm[111]=0
parm[112]=3057
parm[113]=0
parm[114]=3089
parm[115]=0
parm[116]=3089
parm[117]=0
parm[118]=3092
parm[119]=0
parm[120]=3112
parm[121]=0
parm[122]=3114
parm[123]=0
parm[124]=3209
parm[125]=0
parm[126]=3210
parm[127]=0
parm[128]=3216
parm[129]=0
parm[130]=3217
parm[131]=0
parm[132]=3234
parm[133]=0
parm[134]=3249
parm[135]=0
parm[136]=3272
parm[137]=0
parm[138]=3324
parm[139]=0
parm[140]=3324
parm[141]=0
parm[142]=3345
parm[143]=0
parm[144]=3360
parm[145]=0
parm[146]=3374
parm[147]=0
parm[148]=3375
parm[149]=0
parm[150]=3399
parm[151]=0
parm[152]=3429
parm[153]=0
parm[154]=3446
parm[155]=0
parm[156]=3491
parm[157]=0
parm[158]=3493
parm[159]=0
parm[160]=3496
parm[161]=0
parm[162]=3496
parm[163]=0
parm[164]=3538
parm[165]=0
parm[166]=3556
parm[167]=0
parm[168]=3557
parm[169]=0
parm[170]=3593
parm[171]=0
parm[172]=3593
parm[173]=0
parm[174]=3595
parm[175]=0
parm[176]=3616
parm[177]=0
parm[178]=3628
parm[179]=0
parm[180]=3684
parm[181]=0
parm[182]=3688
parm[183]=0
parm[184]=3700
parm[185]=0
parm[186]=3730
parm[187]=0
parm[188]=3730
parm[189]=0
parm[190]=3731
parm[191]=0
parm[192]=3738
parm[193]=0
parm[194]=3773
parm[195]=0
parm[196]=3793
parm[197]=0
parm[198]=3809
parm[199]=0
parm[200]=3819
parm[201]=0
parm[202]=3888
parm[203]=0
parm[204]=3888
parm[205]=0
parm[206]=3889
parm[207]=0
parm[208]=3898
parm[209]=0
parm[210]=3899
parm[211]=0
parm[212]=3923
parm[213]=0
parm[214]=3940
parm[215]=0
parm[216]=3941
parm[217]=0
parm[218]=3995
parm[219]=0
parm[220]=4016
parm[221]=0
parm[222]=4020
parm[223]=0
parm[224]=4022
parm[225]=0
parm[226]=4022
parm[227]=0
parm[228]=4036
parm[229]=0
parm[230]=4061
parm[231]=0
parm[232]=4099
parm[233]=0
parm[234]=4113
parm[235]=0
parm[236]=4114
parm[237]=0
parm[238]=4115
parm[239]=0
parm[240]=4115
parm[241]=0
parm[242]=4123
parm[243]=0
parm[244]=4138
parm[245]=0
parm[246]=4189
parm[247]=0
parm[248]=4218
parm[249]=0
parm[250]=4224
parm[251]=0
parm[252]=4224
parm[253]=0
parm[254]=4291
parm[255]=0
parm[256]=4350
parm[257]=0
parm[258]=4350
parm[259]=0
parm[260]=4381
parm[261]=0
parm[262]=4426
parm[263]=0
parm[264]=4428
parm[265]=0
parm[266]=4450
parm[267]=0
parm[268]=4545
parm[269]=0
parm[270]=4546
parm[271]=0
parm[272]=4585
parm[273]=0
parm[274]=4594
parm[275]=0
parm[276]=4598
parm[277]=0
parm[278]=4613
parm[279]=0
parm[280]=4629
parm[281]=0
parm[282]=4676
parm[283]=0
parm[284]=4689
parm[285]=0
parm[286]=4710
parm[287]=0
parm[288]=4710
parm[289]=0
parm[290]=4722
parm[291]=0
parm[292]=4749
parm[293]=0
parm[294]=4749
parm[295]=0
parm[296]=4777
parm[297]=0
parm[298]=4800
parm[299]=0
parm[300]=4801
parm[301]=0
parm[302]=4835
parm[303]=0
parm[304]=4885
parm[305]=0
parm[306]=4979
parm[307]=0
parm[308]=4994
parm[309]=0
parm[310]=4995
parm[311]=0
parm[312]=4995
parm[313]=0
parm[314]=5008
parm[315]=0
parm[316]=5056
parm[317]=0
parm[318]=5103
parm[319]=0
parm[320]=5104
parm[321]=0
parm[322]=5112
parm[323]=0
parm[324]=5164
parm[325]=0
parm[326]=5169
parm[327]=0
parm[328]=5235
parm[329]=0
parm[330]=5266
parm[331]=0
parm[332]=5267
parm[333]=0
parm[334]=5267
parm[335]=0
parm[336]=5299
parm[337]=0
parm[338]=5361
parm[339]=0
parm[340]=5372
parm[341]=0
parm[342]=5401
parm[343]=0
parm[344]=5497
parm[345]=0
parm[346]=5524
parm[347]=0
parm[348]=5540
parm[349]=0
parm[350]=5586
parm[351]=0
parm[352]=5586
parm[353]=0
parm[354]=5632
parm[355]=0
parm[356]=5685
parm[357]=0
parm[358]=5752
parm[359]=0
parm[360]=5886
parm[361]=0
parm[362]=5969
parm[363]=0
parm[364]=5972
parm[365]=0
parm[366]=5997
parm[367]=0
parm[368]=5997
parm[369]=0
parm[370]=5997
parm[371]=0
parm[372]=6205
parm[373]=0
parm[374]=6205
parm[375]=0
parm[376]=6205
parm[377]=0
parm[378]=6229
parm[379]=0
parm[380]=6260
parm[381]=0
parm[382]=6277
parm[383]=0
parm[384]=6278
parm[385]=0
parm[386]=6497
parm[387]=0
parm[388]=6497
parm[389]=0
parm[390]=6498
parm[391]=0
parm[392]=6498
parm[393]=0
parm[394]=6529
parm[395]=0
parm[396]=6582
parm[397]=0
parm[398]=6583
parm[399]=0
parm[400]=6877
parm[401]=0
parm[402]=6936
parm[403]=0
parm[404]=6998
parm[405]=0
parm[406]=6998
parm[407]=0
parm[408]=6999
parm[409]=0
parm[410]=6999
parm[411]=0
parm[412]=7034
parm[413]=0
parm[414]=7421
parm[415]=0
parm[416]=7422
parm[417]=0
parm[418]=7498
parm[419]=0
parm[420]=7498
parm[421]=0
parm[422]=7499
parm[423]=0
parm[424]=7499
parm[425]=0
parm[426]=7500
parm[427]=0
parm[428]=7500
parm[429]=0
parm[430]=7500
parm[431]=0
parm[432]=7500
parm[433]=0
parm[434]=7500
parm[435]=0
parm[436]=7500
parm[437]=0
parm[438]=7500
parm[439]=0
parm[440]=7500
parm[441]=0
parm[442]=7500
parm[443]=0
parm[444]=7500
parm[445]=0
parm[446]=7500
parm[447]=0
parm[448]=7500
parm[449]=0
parm[450]=7500
parm[451]=0
parm[452]=7500
parm[453]=0
parm[454]=7500
parm[455]=0
parm[456]=7500
parm[457]=0
parm[458]=7500
parm[459]=0
parm[460]=7600
parm[461]=0
parm[462]=22000

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node14/watcher-271264-1169160710 -o ROOT/results/node14/solver-271264-1169160710 -C 1800 -M 900 /tmp/evaluation/271264-1169160710/cspfj.sh -competition /tmp/evaluation/271264-1169160710/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: 1.00 1.00 1.00 4/78 5462
/proc/meminfo: memFree=1430440/2055920 swapFree=4158792/4192956
[pid=5461] ppid=5459 vsize=5352 CPUtime=0
/proc/5461/stat : 5461 (cspfj.sh) R 5459 5461 4482 0 -1 4194304 294 128 0 0 0 0 0 0 18 0 1 0 264465955 5480448 239 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 212234070515 0 0 4100 65536 0 0 0 17 1 0 0
/proc/5461/statm: 1338 240 201 169 0 49 0

[startup+0.107071 s]
/proc/loadavg: 1.00 1.00 1.00 4/78 5462
/proc/meminfo: memFree=1430440/2055920 swapFree=4158792/4192956
[pid=5461] ppid=5459 vsize=5352 CPUtime=0
/proc/5461/stat : 5461 (cspfj.sh) S 5459 5461 4482 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 264465955 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5461/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+0.515108 s]
/proc/loadavg: 1.00 1.00 1.00 4/78 5462
/proc/meminfo: memFree=1430440/2055920 swapFree=4158792/4192956
[pid=5461] ppid=5459 vsize=5352 CPUtime=0
/proc/5461/stat : 5461 (cspfj.sh) S 5459 5461 4482 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 264465955 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5461/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+1.33618 s]
/proc/loadavg: 1.00 1.00 1.00 2/86 5471
/proc/meminfo: memFree=1417768/2055920 swapFree=4158792/4192956
[pid=5461] ppid=5459 vsize=5352 CPUtime=0
/proc/5461/stat : 5461 (cspfj.sh) S 5459 5461 4482 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 264465955 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5461/statm: 1338 240 201 169 0 49 0
[pid=5464] ppid=5461 vsize=866280 CPUtime=1.28
/proc/5464/stat : 5464 (java) R 5461 5461 4482 0 -1 0 5310 0 1 0 123 5 0 0 17 0 8 0 264465956 887070720 4897 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073904257 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5464/statm: 216570 4897 1840 14 0 203831 0
[pid=5464/tid=5465] ppid=5461 vsize=866280 CPUtime=0.12
/proc/5464/task/5465/stat : 5465 (java) S 5461 5461 4482 0 -1 64 987 0 0 0 12 0 0 0 16 0 8 0 264465959 887070720 4897 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5464/tid=5466] ppid=5461 vsize=866280 CPUtime=0
/proc/5464/task/5466/stat : 5466 (java) S 5461 5461 4482 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 264465960 887070720 4897 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5464/tid=5467] ppid=5461 vsize=866280 CPUtime=0
/proc/5464/task/5467/stat : 5467 (java) S 5461 5461 4482 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 264465960 887070720 4897 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5464/tid=5468] ppid=5461 vsize=866280 CPUtime=0
/proc/5464/task/5468/stat : 5468 (java) S 5461 5461 4482 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 264465963 887070720 4897 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5464/tid=5469] ppid=5461 vsize=866280 CPUtime=0.18
/proc/5464/task/5469/stat : 5469 (java) S 5461 5461 4482 0 -1 64 607 0 0 0 17 1 0 0 16 0 8 0 264465963 887070720 4897 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5464/tid=5470] ppid=5461 vsize=866280 CPUtime=0
/proc/5464/task/5470/stat : 5470 (java) S 5461 5461 4482 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 264465963 887070720 4897 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5464/tid=5471] ppid=5461 vsize=866280 CPUtime=0
/proc/5464/task/5471/stat : 5471 (java) S 5461 5461 4482 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 264465963 887070720 4897 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 871632

[startup+2.97333 s]
/proc/loadavg: 1.00 1.00 1.00 2/86 5471
/proc/meminfo: memFree=1417768/2055920 swapFree=4158792/4192956
[pid=5461] ppid=5459 vsize=5352 CPUtime=0
/proc/5461/stat : 5461 (cspfj.sh) S 5459 5461 4482 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 264465955 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5461/statm: 1338 240 201 169 0 49 0
[pid=5464] ppid=5461 vsize=866280 CPUtime=2.93
/proc/5464/stat : 5464 (java) R 5461 5461 4482 0 -1 0 5312 0 1 0 287 6 0 0 17 0 8 0 264465956 887070720 4897 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073898127 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5464/statm: 216570 4897 1840 14 0 203831 0
[pid=5464/tid=5465] ppid=5461 vsize=866280 CPUtime=0.13
/proc/5464/task/5465/stat : 5465 (java) S 5461 5461 4482 0 -1 64 987 0 0 0 12 1 0 0 15 0 8 0 264465959 887070720 4897 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5464/tid=5466] ppid=5461 vsize=866280 CPUtime=0
/proc/5464/task/5466/stat : 5466 (java) S 5461 5461 4482 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 264465960 887070720 4897 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5464/tid=5467] ppid=5461 vsize=866280 CPUtime=0
/proc/5464/task/5467/stat : 5467 (java) S 5461 5461 4482 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 264465960 887070720 4897 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5464/tid=5468] ppid=5461 vsize=866280 CPUtime=0
/proc/5464/task/5468/stat : 5468 (java) S 5461 5461 4482 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 264465963 887070720 4897 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5464/tid=5469] ppid=5461 vsize=866280 CPUtime=0.18
/proc/5464/task/5469/stat : 5469 (java) S 5461 5461 4482 0 -1 64 607 0 0 0 17 1 0 0 16 0 8 0 264465963 887070720 4897 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5464/tid=5470] ppid=5461 vsize=866280 CPUtime=0
/proc/5464/task/5470/stat : 5470 (java) S 5461 5461 4482 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 264465963 887070720 4897 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5464/tid=5471] ppid=5461 vsize=866280 CPUtime=0
/proc/5464/task/5471/stat : 5471 (java) S 5461 5461 4482 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 264465963 887070720 4897 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 871632

[startup+6.17864 s]
/proc/loadavg: 1.00 1.00 1.00 2/86 5471
/proc/meminfo: memFree=1417704/2055920 swapFree=4158792/4192956
[pid=5461] ppid=5459 vsize=5352 CPUtime=0
/proc/5461/stat : 5461 (cspfj.sh) S 5459 5461 4482 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 264465955 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5461/statm: 1338 240 201 169 0 49 0
[pid=5464] ppid=5461 vsize=866248 CPUtime=6.13
/proc/5464/stat : 5464 (java) R 5461 5461 4482 0 -1 0 5313 0 1 0 607 6 0 0 18 0 8 0 264465956 887037952 4897 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073904257 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5464/statm: 216562 4897 1840 14 0 203823 0
[pid=5464/tid=5465] ppid=5461 vsize=866248 CPUtime=0.13
/proc/5464/task/5465/stat : 5465 (java) S 5461 5461 4482 0 -1 64 987 0 0 0 12 1 0 0 16 0 8 0 264465959 887037952 4897 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5464/tid=5466] ppid=5461 vsize=866248 CPUtime=0
/proc/5464/task/5466/stat : 5466 (java) S 5461 5461 4482 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 264465960 887037952 4897 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5464/tid=5467] ppid=5461 vsize=866248 CPUtime=0
/proc/5464/task/5467/stat : 5467 (java) S 5461 5461 4482 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 264465960 887037952 4897 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5464/tid=5468] ppid=5461 vsize=866248 CPUtime=0
/proc/5464/task/5468/stat : 5468 (java) S 5461 5461 4482 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 264465963 887037952 4897 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5464/tid=5469] ppid=5461 vsize=866248 CPUtime=0.18
/proc/5464/task/5469/stat : 5469 (java) S 5461 5461 4482 0 -1 64 607 0 0 0 17 1 0 0 16 0 8 0 264465963 887037952 4897 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5464/tid=5470] ppid=5461 vsize=866248 CPUtime=0
/proc/5464/task/5470/stat : 5470 (java) S 5461 5461 4482 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 264465963 887037952 4897 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5464/tid=5471] ppid=5461 vsize=866248 CPUtime=0
/proc/5464/task/5471/stat : 5471 (java) S 5461 5461 4482 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 264465963 887037952 4897 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 871600

[startup+12.6442 s]
/proc/loadavg: 1.00 1.00 1.00 2/86 5471
/proc/meminfo: memFree=1417728/2055920 swapFree=4158792/4192956
[pid=5461] ppid=5459 vsize=5352 CPUtime=0
/proc/5461/stat : 5461 (cspfj.sh) S 5459 5461 4482 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 264465955 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5461/statm: 1338 240 201 169 0 49 0
[pid=5464] ppid=5461 vsize=866248 CPUtime=12.6
/proc/5464/stat : 5464 (java) R 5461 5461 4482 0 -1 0 5315 0 1 0 1254 6 0 0 19 0 8 0 264465956 887037952 4897 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073904265 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5464/statm: 216562 4897 1840 14 0 203823 0
[pid=5464/tid=5465] ppid=5461 vsize=866248 CPUtime=0.14
/proc/5464/task/5465/stat : 5465 (java) S 5461 5461 4482 0 -1 64 987 0 0 0 13 1 0 0 16 0 8 0 264465959 887037952 4897 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5464/tid=5466] ppid=5461 vsize=866248 CPUtime=0
/proc/5464/task/5466/stat : 5466 (java) S 5461 5461 4482 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 264465960 887037952 4897 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5464/tid=5467] ppid=5461 vsize=866248 CPUtime=0
/proc/5464/task/5467/stat : 5467 (java) S 5461 5461 4482 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 264465960 887037952 4897 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5464/tid=5468] ppid=5461 vsize=866248 CPUtime=0
/proc/5464/task/5468/stat : 5468 (java) S 5461 5461 4482 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 264465963 887037952 4897 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5464/tid=5469] ppid=5461 vsize=866248 CPUtime=0.18
/proc/5464/task/5469/stat : 5469 (java) S 5461 5461 4482 0 -1 64 607 0 0 0 17 1 0 0 16 0 8 0 264465963 887037952 4897 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5464/tid=5470] ppid=5461 vsize=866248 CPUtime=0
/proc/5464/task/5470/stat : 5470 (java) S 5461 5461 4482 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 264465963 887037952 4897 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5464/tid=5471] ppid=5461 vsize=866248 CPUtime=0
/proc/5464/task/5471/stat : 5471 (java) S 5461 5461 4482 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 264465963 887037952 4897 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 871600

Child status: 0
Real time (s): 21.1011
CPU time (s): 21.0218
CPU user time (s): 20.9368
CPU system time (s): 0.084987
CPU usage (%): 99.6242
Max. virtual memory (cumulated for all children) (KiB): 884716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.9368
system time used= 0.084987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9129
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= 1479
involuntary context switches= 846

runsolver used 0.015997 s user time and 0.06499 s system time

The end

Launcher Data (download as text)

Begin job on node14 on Thu Jan 18 22:51:50 UTC 2007


IDJOB= 271264
IDBENCH= 5022
IDSOLVER= 91
FILE ID= node14/271264-1169160710

PBS_JOBID= 3582678

Free space on /tmp= 66564 MiB

SOLVER NAME= CSP4J - MAC 2007-01-16
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/mps/mps-mod008.xml
COMMAND LINE= /tmp/evaluation/271264-1169160710/cspfj.sh  -competition /tmp/evaluation/271264-1169160710/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node14/watcher-271264-1169160710 -o ROOT/results/node14/solver-271264-1169160710 -C 1800 -M 900  /tmp/evaluation/271264-1169160710/cspfj.sh  -competition /tmp/evaluation/271264-1169160710/unknown.xml

META MD5SUM SOLVER= 1cf1b9d4821c2ee5eee0dc0e02656faa
MD5SUM BENCH=  b442cdb530a4072595532eb21b8308c9

RANDOM SEED= 759218814

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.227
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.227
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:       1430920 kB
Buffers:         46044 kB
Cached:         480200 kB
SwapCached:       3272 kB
Active:          75188 kB
Inactive:       475572 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1430920 kB
SwapTotal:     4192956 kB
SwapFree:      4158792 kB
Dirty:             260 kB
Writeback:           0 kB
Mapped:          32176 kB
Slab:            59776 kB
Committed_AS:  8321552 kB
PageTables:       1808 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= 66564 MiB



End job on node14 on Thu Jan 18 22:52:11 UTC 2007